title: A review of heath economic evaluation practice in the Netherlands: are we moving forward?

abstract: In 2016, the Dutch National Health Care Institute issued new guidelines that aggregated and updated previous recommendations on key elements for conducting economic evaluation. However, the impact on standard practice after the introduction of the guidelines in terms of design, methodology and reporting choices, is still uncertain. To assess this impact, we examine and compare key analysis components of economic evaluations conducted in the Netherlands before (2010-2015) and after (2016-2020) the introduction of the guidelines. We specifically focus on two aspects of the analysis that are crucial in determining the plausibility of the results: statistical methodology and missing data handling. Our review shows how many components of economic evaluations have changed in accordance with the new recommendations towards more transparent and advanced analytic approaches. However, potential limitations are identified in terms of the statistical software and information provided to support the choice of missing data methods.


title: The Asteroid Routing Problem: A Benchmark for Expensive Black-Box Permutation Optimization

abstract: Inspired by the recent 11th Global Trajectory Optimisation Competition, this paper presents the asteroid routing problem (ARP) as a realistic benchmark of algorithms for expensive bound-constrained black-box optimization in permutation space. Given a set of asteroids' orbits and a departure epoch, the goal of the ARP is to find the optimal sequence for visiting the asteroids, starting from Earth's orbit, in order to minimize both the cost, measured as the sum of the magnitude of velocity changes required to complete the trip, and the time, measured as the time elapsed from the departure epoch until visiting the last asteroid. We provide open-source code for generating instances of arbitrary sizes and evaluating solutions to the problem. As a preliminary analysis, we compare the results of two methods for expensive black-box optimization in permutation spaces, namely, Combinatorial Efficient Global Optimization (CEGO), a Bayesian optimizer based on Gaussian processes, and Unbalanced Mallows Model (UMM), an estimation-of-distribution algorithm based on probabilistic Mallows models. We investigate the best permutation representation for each algorithm, either rank-based or order-based. Moreover, we analyze the effect of providing a good initial solution, generated by a greedy nearest neighbor heuristic, on the performance of the algorithms. The results suggest directions for improvements in the algorithms being compared.


title: OakInk: A Large-scale Knowledge Repository for Understanding Hand-Object Interaction

abstract: Learning how humans manipulate objects requires machines to acquire knowledge from two perspectives: one for understanding object affordances and the other for learning human's interactions based on the affordances. Even though these two knowledge bases are crucial, we find that current databases lack a comprehensive awareness of them. In this work, we propose a multi-modal and rich-annotated knowledge repository, OakInk, for visual and cognitive understanding of hand-object interactions. We start to collect 1,800 common household objects and annotate their affordances to construct the first knowledge base: Oak. Given the affordance, we record rich human interactions with 100 selected objects in Oak. Finally, we transfer the interactions on the 100 recorded objects to their virtual counterparts through a novel method: Tink. The recorded and transferred hand-object interactions constitute the second knowledge base: Ink. As a result, OakInk contains 50,000 distinct affordance-aware and intent-oriented hand-object interactions. We benchmark OakInk on pose estimation and grasp generation tasks. Moreover, we propose two practical applications of OakInk: intent-based interaction generation and handover generation. Our datasets and source code are publicly available at https://github.com/lixiny/OakInk.


title: Interdependence of the new "MUON G-2" Result and the $W$-Boson Mass

abstract: The electroweak (EW) sector of the Minimal Supersymmetric extension of the Standard Model (MSSM), assuming the lightest neutralino as Dark Matter (DM) candidate, can account for a variety of experimental results. In particular it can account for the discrepancy between the experimental result for the anomalous magnetic moment of the muon, $(g-2)_{\mu}$, and its Standard Model (SM) prediction. The new "MUON G-2" result, combined with the older BNL result on $(g-2)_{\mu}$, yields a deviation from the SM prediction of $\Delta a_{\mu} = (25.1 \pm 5.9) \times 10^{-10}$, corresponding to $4.2~\sigma$. Using this updated bound, together with the other constraints, we calculate the MSSM prediction for the mass of the $W$ boson, $M_W$. We assume contributions only from the EW sector, with the colored sector of the MSSM taken to be heavy. We investigate five scenarios, distinguished by the mechanisms which yield a relic DM density in agreement with the latest Planck bounds. We find that with the new $(g-2)_{\mu}$ result taken into account and depending on the scenario, values up to $M_W^{\mathrm{MSSM}} \lesssim 80.376~\mathrm{GeV}$ are reached. The largest values are obtained for wino DM and in the case of slepton co-annihilation, where points well within the $1\,\sigma$ range of the experimental world average of $M_W^{\mathrm{exp}} = 80.379 \pm~0.012~\mathrm{GeV}$ are reached, whereas the SM predicts a too small value of $M_W^{\mathrm{SM}} = 80.353~\mathrm{GeV}$. We analyze the dependence of $M_W^{\mathrm{MSSM}}$ on the relevant masses of the EW superpartners and demonstrate that future $M_W$ measurements, e.g. at the ILC, could distinguish between various MSSM realizations. Sizable contributions to $M_W^{\mathrm{MSSM}}$ are associated with a relatively light $\tilde{\chi}^0_1$, accompanied by either a light chargino or a light smuon, setting interesting targets for future collider searches.


title: Two kinetic models for non-instantaneous binary alignment collisions

abstract: A new type of kinetic models with non-instantaneous binary collisions is considered. Collisions are described by a transport process in the joint state space of a pair of particles. The interactions are of alignment type, where the states of the particles approach each other. For two spatially homogeneous models with deterministic or stochastic collision times existence and uniqueness of solutions, the long time behavior, and the instantaneous limit are considered, where the latter leads to standard kinetic models of Boltzmann type.


title: Integrative Few-Shot Learning for Classification and Segmentation

abstract: We introduce the integrative task of few-shot classification and segmentation (FS-CS) that aims to both classify and segment target objects in a query image when the target classes are given with a few examples. This task combines two conventional few-shot learning problems, few-shot classification and segmentation. FS-CS generalizes them to more realistic episodes with arbitrary image pairs, where each target class may or may not be present in the query. To address the task, we propose the integrative few-shot learning (iFSL) framework for FS-CS, which trains a learner to construct class-wise foreground maps for multi-label classification and pixel-wise segmentation. We also develop an effective iFSL model, attentive squeeze network (ASNet), that leverages deep semantic correlation and global self-attention to produce reliable foreground maps. In experiments, the proposed method shows promising performance on the FS-CS task and also achieves the state of the art on standard few-shot segmentation benchmarks.


title: On an electrostatic problem and a new class of exceptional subdomains of $\mathbb{R}^3$

abstract: We study the existence of nontrivial unbounded surfaces $S\subset \mathbb{R}^3$ with the property that the constant charge distribution on $S$ is an electrostatic equilibrium, i.e. the resulting electrostatic force is normal to the surface at each point on $S$. Among bounded regular surfaces $S$, only the round sphere has this property by a result of Reichel $[23]$ (see also Mendez and Reichel $[16]$) confirming a conjecture of P. Gruber. In the present paper, we show the existence of nontrivial exceptional domains $\Omega \subset \mathbb{R}^3$ whose boundaries $S=\partial \Omega$ enjoy the above property.


title: The cosmological constant as a boundary term

abstract: We compare the path integral for transition functions in unimodular gravity and in general relativity. In unimodular gravity the cosmological constant is a property of states that are specified at the boundaries whereas in general relativity the cosmological constant is a parameter of the action. Unimodular gravity with a nondynamical background spacetime volume element has a time variable that is canonically conjugate to the cosmological constant. Wave functions depend on time and satisfy a Schr\"odinger equation. On the contrary, in the covariant version of unimodular gravity with a 3-form gauge field, proposed by Henneaux and Teitelboim, wave functions are time independent and satisfy a Wheeler-DeWitt equation, as in general relativity. The 3-form gauge field integrated over spacelike hypersurfaces becomes a "cosmic time" only in the semiclassical approximation. In unimodular gravity the smallness of the observed cosmological constant has to be explained as a property of the initial state.


title: Commuting maps with the Mean Transform under Jordan product

abstract: In this article, we give a complete characterization of the bijective maps which commute with the mean transform under Jordan product. The main result is the following : Let $H,K$ be two complex Hilbert spaces and $\Phi :B(H) \to B(K)$ be a bijective map, then $$ \mathcal {M}(\Phi(A)\circ\Phi(B))=\Phi(\mathcal{M}(A\circ B)) \;\; \text{for all}\;\; A, B \in B(H)$$ if and only if there exists a unitary or anti-unitary operator $U:H\to K $ such that, $$ \Phi(T)= UTU^* \; \text{for all} \;T\in B(H).$$


title: Application of Quantum Computers in Foreign Exchange Reserves Management

abstract: The main purpose of this article is to evaluate possible applications of quantum computers in foreign exchange reserves management. The capabilities of quantum computers are demonstrated by means of risk measurement using the quantum Monte Carlo method and portfolio optimization using a linear equations system solver (the Harrow-Hassidim-Lloyd algorithm) and quadratic unconstrained binary optimization (the quantum approximate optimization algorithm). All demonstrations are carried out on the cloud-based IBM Quantum(TM) platform. Despite the fact that real-world applications are impossible under the current state of development of quantum computers, it is proven that in principle it will be possible to apply such computers in FX reserves management in the future. In addition, the article serves as an introduction to quantum computing for the staff of central banks and financial market supervisory authorities.


title: Near-critical dimers and massive SLE

abstract: We consider the dimer model on the square and hexagonal lattices with doubly periodic weights. Although in the near-critical regime the Kasteleyn matrix is related to a massive Laplacian, Chhita proved that on the whole plane square lattice, the corresponding height function has a scaling limit which surprisingly is not even Gaussian. The purpose of this paper is threefold: (a) we establish a rigourous connection with the massive SLE$_2$ constructed by Makarov and Smirnov (and recently revisited by Chelkak and Wan); (b) we show that the convergence takes place in arbitrary ({bounded}) domains subject to Temperleyan boundary conditions, and that the scaling limit is universal; and (c) we prove conformal covariance of the scaling limit. This requires allowing the drift to be a smoothly varying vector field; along the way we prove that the corresponding loop-erased random walk has a universal scaling limit. Our techniques rely on the imaginary geometry approach developed in \cite{BLR_DimersGeometry} and some exact discrete Girsanov identities which are of independent interest.


title: $\Lambda$ spin polarization in event-by-event relativistic heavy-ion collisions

abstract: We present a systematic study of $\Lambda$ hyperon's polarization observables using event-by-event (3+1)D relativistic hydrodynamics. The effects of initial hot spot size and QGP's specific shear viscosity on the polarization observables are quantified. We examine the effects of the two formulations of the thermal shear tensor on the polarization observables using the same hydrodynamic background. With event-by-event simulations, we make predictions for the Fourier coefficients of $\Lambda$'s longitudinal polarization $P^z$ with respect to the event planes of different orders of anisotropic flow. We propose new correlations among the Fourier coefficients of $P^z$ and charged hadron anisotropic flow coefficients to further test the mapping from fluid velocity gradients to hyperon's polarization. Finally, we present a system size scan with Au+Au, Ru+Ru, and O+O collisions at $\sqrt{s_\mathrm{NN}} = 200$ GeV to study the system size dependence of polarization observables at the Relativistic Heavy-ion Collider.


title: Adaptive Quantum State Tomography with Active Learning

abstract: Recently, tremendous progress has been made in the field of quantum science and technologies: different platforms for quantum simulation as well as quantum computing, ranging from superconducting qubits to neutral atoms, are starting to reach unprecedentedly large systems. In order to benchmark these systems and gain physical insights, the need for efficient tools to characterize quantum states arises. The exponential growth of the Hilbert space with system size renders a full reconstruction of the quantum state prohibitively demanding in terms of the number of necessary measurements. Here we propose and implement an efficient scheme for quantum state tomography using active learning. Based on a few initial measurements, the active learning protocol proposes the next measurement basis, designed to yield the maximum information gain. We apply the active learning quantum state tomography scheme to reconstruct different multi-qubit states with varying degree of entanglement as well as to ground states of the XXZ model in 1D and a kinetically constrained spin chain. In all cases, we obtain a significantly improved reconstruction as compared to a reconstruction based on the exact same number of measurements and measurement configurations, but with randomly chosen basis configurations. Our scheme is highly relevant to gain physical insights in quantum many-body systems as well as for benchmarking and characterizing quantum devices, e.g. for quantum simulation, and paves the way for scalable adaptive protocols to probe, prepare, and manipulate quantum systems.


title: Transformer Inertial Poser: Real-time Human Motion Reconstruction from Sparse IMUs with Simultaneous Terrain Generation

abstract: Real-time human motion reconstruction from a sparse set of (e.g. six) wearable IMUs provides a non-intrusive and economic approach to motion capture. Without the ability to acquire position information directly from IMUs, recent works took data-driven approaches that utilize large human motion datasets to tackle this under-determined problem. Still, challenges remain such as temporal consistency, drifting of global and joint motions, and diverse coverage of motion types on various terrains. We propose a novel method to simultaneously estimate full-body motion and generate plausible visited terrain from only six IMU sensors in real-time. Our method incorporates 1. a conditional Transformer decoder model giving consistent predictions by explicitly reasoning prediction history, 2. a simple yet general learning target named "stationary body points" (SBPs) which can be stably predicted by the Transformer model and utilized by analytical routines to correct joint and global drifting, and 3. an algorithm to generate regularized terrain height maps from noisy SBP predictions which can in turn correct noisy global motion estimation. We evaluate our framework extensively on synthesized and real IMU data, and with real-time live demos, and show superior performance over strong baseline methods.


title: On Decoding Strategies for Neural Text Generators

abstract: When generating text from probabilistic models, the chosen decoding strategy has a profound effect on the resulting text. Yet the properties elicited by various decoding strategies do not always transfer across natural language generation tasks. For example, while mode-seeking methods like beam search perform remarkably well for machine translation, they have been observed to lead to incoherent and repetitive text in story generation. Despite such observations, the effectiveness of decoding strategies is often assessed with respect to only a single task. This work -- in contrast -- provides a comprehensive analysis of the interaction between language generation tasks and decoding strategies. Specifically, we measure changes in attributes of generated text as a function of both decoding strategy and task using human and automatic evaluation. Our results reveal both previously-observed and surprising findings. For example, the nature of the diversity-quality trade-off in language generation is very task-specific; the length bias often attributed to beam search is not constant across tasks.


title: Transformer Network-based Reinforcement Learning Method for Power Distribution Network (PDN) Optimization of High Bandwidth Memory (HBM)

abstract: In this article, for the first time, we propose a transformer network-based reinforcement learning (RL) method for power distribution network (PDN) optimization of high bandwidth memory (HBM). The proposed method can provide an optimal decoupling capacitor (decap) design to maximize the reduction of PDN self- and transfer impedance seen at multiple ports. An attention-based transformer network is implemented to directly parameterize decap optimization policy. The optimality performance is significantly improved since the attention mechanism has powerful expression to explore massive combinatorial space for decap assignments. Moreover, it can capture sequential relationships between the decap assignments. The computing time for optimization is dramatically reduced due to the reusable network on positions of probing ports and decap assignment candidates. This is because the transformer network has a context embedding process to capture meta-features including probing ports positions. In addition, the network is trained with randomly generated data sets. Therefore, without additional training, the trained network can solve new decap optimization problems. The computing time for training and data cost are critically decreased due to the scalability of the network. Thanks to its shared weight property, the network can adapt to a larger scale of problems without additional training. For verification, we compare the results with conventional genetic algorithm (GA), random search (RS), and all the previous RL-based methods. As a result, the proposed method outperforms in all the following aspects: optimality performance, computing time, and data efficiency.


title: FlexR: Few-shot Classification with Language Embeddings for Structured Reporting of Chest X-rays

abstract: The automation of chest X-ray reporting has garnered significant interest due to the time-consuming nature of the task. However, the clinical accuracy of free-text reports has proven challenging to quantify using natural language processing metrics, given the complexity of medical information, the variety of writing styles, and the potential for typos and inconsistencies. Structured reporting and standardized reports, on the other hand, can provide consistency and formalize the evaluation of clinical correctness. However, high-quality annotations for structured reporting are scarce. Therefore, we propose a method to predict clinical findings defined by sentences in structured reporting templates, which can be used to fill such templates. The approach involves training a contrastive language-image model using chest X-rays and related free-text radiological reports, then creating textual prompts for each structured finding and optimizing a classifier to predict clinical findings in the medical image. Results show that even with limited image-level annotations for training, the method can accomplish the structured reporting tasks of severity assessment of cardiomegaly and localizing pathologies in chest X-rays.


title: On $d$-stable locally checkable problems parameterized by mim-width

abstract: In this paper we continue the study of locally checkable problems under the framework introduced by Bonomo-Braberman and Gonzalez in 2020, by focusing on graphs of bounded mim-width. We study which restrictions on a locally checkable problem are necessary in order to be able to solve it efficiently on graphs of bounded mim-width. To this end, we introduce the concept of $d$-stability of a check function. The related locally checkable problems contain large classes of problems, among which we can mention, for example, LCVP problems. We give an algorithm showing that these problems are XP when parameterized by the mim-width of a given binary decomposition tree of the input graph, that is, that they can be solved in polynomial time given a binary decomposition tree of bounded mim-width. We explore the relation between $d$-stable locally checkable problems and the recently introduced DN logic (Bergougnoux, Dreier and Jaffke, 2022), and show that both frameworks model the same family of problems. We include a list of concrete examples of $d$-stable locally checkable problems whose complexity on graphs of bounded mim-width was open so far.


title: Physics-/Model-Based and Data-Driven Methods for Low-Dose Computed Tomography: A survey

abstract: Since 2016, deep learning (DL) has advanced tomographic imaging with remarkable successes, especially in low-dose computed tomography (LDCT) imaging. Despite being driven by big data, the LDCT denoising and pure end-to-end reconstruction networks often suffer from the black box nature and major issues such as instabilities, which is a major barrier to apply deep learning methods in low-dose CT applications. An emerging trend is to integrate imaging physics and model into deep networks, enabling a hybridization of physics/model-based and data-driven elements. %This type of hybrid methods has become increasingly influential. In this paper, we systematically review the physics/model-based data-driven methods for LDCT, summarize the loss functions and training strategies, evaluate the performance of different methods, and discuss relevant issues and future directions.


title: Scheduling UET-UCT DAGs of Depth Two on Two Processors

abstract: Given unit execution time (UET) tasks whose precedence constraints form a directed acyclic graph (DAG), the arcs are associated with unit communication time (UCT) delays. The problem is to schedule the tasks on two processors in order to minimize the makespan. Several polynomial algorithms in the literature are proposed for special classes of digraphs, but the complexity of solving this problem in general case stills a challenging open question. We propose in this paper a linear time algorithm to compute an optimal schedule for the class of DAGs of depth two.


title: A Quantum Optimal Control Problem with State Constrained Preserving Coherence

abstract: In this work, we address the problem of maximizing fidelity in a quantum state transformation process controlled in such a way as to keep decoherence within given bounds. We consider a three-level $\Lambda$-type atom subjected to Markovian decoherence characterized by non-unital decoherence channels. We introduce fidelity as the performance index for the quantum state transformation process since the goal is to maximize the similarity of the final state density operator with the one of the desired target state. We formulate the quantum optimal control problem with state constraints where the later reflect the fact that the decoherence level remains within a pre-defined bound. Optimality conditions in the form of a Maximum Principle of Pontryagin in Gamkrelidze's form are given. These provide a complete set of relations enabling the computation of the optimal control strategy. This is a novel approach in the context of quantum systems.


title: Wasserstein-Fisher-Rao Splines

abstract: We study interpolating splines on the Wasserstein-Fisher-Rao (WFR) space of measures with differing total masses. To achieve this, we derive the covariant derivative and the curvature of an absolutely continuous curve in the WFR space. We prove that this geometric notion of curvature is equivalent to a Lagrangian notion of curvature in terms of particles on the cone. Finally, we propose a practical algorithm for computing splines extending the work of arXiv:2010.12101.


title: Evaluating the ILC SUSY reach in the most challenging scenario: $\widetilde{\tau}$ NLSP, low $\Delta M$ , lowest cross-section

abstract: Pair-production of the superpartner of the $\tau$-lepton, the $\tilde{\tau}$, is one of the most interesting channels to search for SUSY in: The $\tilde{\tau}$ is likely to be the lightest scalar lepton, and the signature of $\tilde{\tau}$ pair production is one of the experimentally most difficult ones, thereby constituting the "worst" possible scenario for SUSY searches. The current model-independent $\tilde{\tau}$ limits comes from analyses performed at LEP but they suffer from the limited energy of this facility. Limits obtained at the LHC do extend to higher masses, but they are only valid under strong assumptions. The International Linear Collider, the ILC, is a future electron-positron collider, to operate initially at an energy of 250 GeV, then to be upgraded to 500 GeV, and possibly to 1 TeV at a later stage. ILC will be a powerful facility for SUSY searches. The capability of the ILC for determining exclusion/discovery limits for the $\tilde{\tau}$ in a model-independent way is shown in this paper. A detailed study of the "worst" scenario for $\tilde{\tau}$ exclusion/discovery, taking into account the effect of the $\tilde{\tau}$ mixing on $\tilde{\tau}$ production cross-section and detection efficiency, is presented. The study also includes an analysis of the effect of the overlay particles in the $\tilde{\tau}$ searches. The conclusion is that both the exclusion and discovery reaches for this "worst" case would extend to only a few GeV below the kinematic limit at the ILC. Also scenarios with the $\tilde{\tau}$ and the Lightest SUSY Particle (the LSP) quite close in mass can be discovered or excluded at most $\tilde{\tau}$ masses. The studies were done using detailed detector simulation of the ILD concept at the ILC. For signal, the fast detector simulation SGV was used, while the full Geant4 based DDSim was used for the standard model backgrounds.


title: Band Alignment in Black Phosphorus/Transition Metal Dichalcogenide Heterolayers: Impact of Charge Redistribution, Electric Field, Strain and Layer Engineering

abstract: The objective of this work is to study the effects of charge redistribution, applied layer-normal electric fields, applied strain, and layer engineering on the band alignment of Black Phosphorus (BP)/Molybdenum disulphide (MoS2) heterostructure through Density Functional Theory (DFT) simulations. Black phosphorus works as a p-type material with high mobility, mechanical flexibility, and sensitivity to number of layers. Combining it with the more electronegative material, MoS2 results in strong carrier confinement and a Type II heterostructure. Charge redistribution among the layers shifts the band alignment expected from the Electron Affinity Rule. Applied external fields, strain and multiple BP layers provide band-alignment tunability within the Type II range and/or, transition to Type I and Type III heterostructures. The tunability in BP/MoS2 heterostructure may be useful as tunnel field effect transistors, rectifier diodes with tunable barrier height, reconfigurable FETs, and electro-optical modulators. Furthermore, considering heterostructures of monolayer BP with other monolayer Transitional Metal Dichalcogenides (TMD) suggests the ability to achieve different band alignment types. In our simulations, a Type I alignment is found with Tungsten diselenide (WSe2), Molybdenum diselenide (MoSe2), and Tungsten disulphide (WS2), and a Type III for Hafnium disulphide (HfS2) and Hafnium diselenide (HfSe2).


title: Equivalences between different forms of the Kakeya conjecture and duality of Hausdorff and packing dimensions for additive complements

abstract: The Kakeya conjecture is generally formulated as one the following statements: every compact/Borel/arbitrary subset of ${\mathbb R}^n$ that contains a (unit) line segment in every direction has Hausdorff dimension $n$; or, sometimes, that every closed/Borel/arbitrary subset of ${\mathbb R}^n$ that contains a full line in every direction has Hausdorff dimension $n$. These statements are generally expected to be equivalent. Moreover, the condition that the set contains a line (segment) in every direction is often relaxed by requiring a line (segment) for a "large" set of directions only, where large could mean a set of positive $(n-1)$-dimensional Lebesgue measure. Here we prove that all the above forms of the Kakeya conjecture are indeed equivalent. In fact, we prove that there exist $d\le n$ and a compact subset $C$ of ${\mathbb R}^n$ of Hausdorff dimension $d$ that contains a unit line segment in every direction (and also a closed set of dimension $d$ that contains a line in every direction) such that every subset $S$ of ${\mathbb R}^n$ that contains a line segment in every direction of a set of Hausdorff dimension $n-1$, must have dimension at least $d$. We also obtain results on the duality of Hausdorff and packing dimensions via additive complements: For any non-empty Borel set $A$ of ${\mathbb R}^n$ we show that (1) the Hausdorff dimension of $A$ can be obtained as $n-p$, where $p$ is the infimum of the packing dimension of those Borel subsets $B$ of ${\mathbb R}^n$ for which $A+B={\mathbb R}^n$; and (2) the packing dimension of $A$ can be obtained as $n-h$, where $h$ is the infimum of the Hausdorff dimension of those Borel subsets $B$ of ${\mathbb R}^n$ for which $A+B={\mathbb R}^n$.


title: Accurate electronic properties and intercalation voltages of olivine-type Li-ion cathode materials from extended Hubbard functionals

abstract: The design of novel cathode materials for Li-ion batteries would greatly benefit from accurate first-principles predictions of structural, electronic, and magnetic properties as well as intercalation voltages in compounds containing transition-metal elements. For such systems, density-functional theory (DFT) with standard (semi-)local exchange-correlation functionals is of limited use as it often fails due to strong self-interaction errors that are especially relevant in the partially filled $d$ shells. Here, we perform a detailed comparative study of the phospho-olivine cathode materials Li$_x$MnPO$_4$, Li$_x$FePO$_4$, and the mixed transition metal Li$_x$Mn$_{1/2}$Fe$_{1/2}$PO$_4$ ($x=0, 1/4, 1/2, 3/4, 1$) using four electronic-structure methods: DFT, DFT+$U$, DFT+$U$+$V$, and HSE06. We show that DFT+$U$+$V$, with onsite $U$ and intersite $V$ Hubbard parameters determined from first principles and self-consistently with respect to the structural parameters by means of density-functional perturbation theory (linear response), provides the most accurate description of the electronic structure of these challenging compounds. In particular, we demonstrate that DFT+$U$+$V$ displays very clearly "digital" changes in oxidation states of the transition-metal ions in all compounds, including the mixed-valence phases occurring at intermediate Li concentrations, leading to voltages in remarkable agreement with experiments. We show that the inclusion of intersite Hubbard interactions is essential for the accurate prediction of thermodynamic quantities, balancing the drive for localization induced by the onsite $U$ with intersite $V$ orbital hybridizations.


title: Energy Balancing Algorithm for Wireless Sensor Network

abstract: A Wireless Sensor Network (WSN) is made up of a large number of nodes that are spread randomly or on a regular basis to detect the surrounding environment and transfer data to a base station (BS) over the Internet to the user. It is widely used in a variety of civil and military concerns. Because the sensor has limited battery capacity, energy efficiency is a critical issue with WSNs. As a result, developing a routing protocol that decreases energy consumption in sensor nodes to extend the lifetime of the WSN using an intelligence algorithm has become difficult. LEACH is the first hierarchical routing protocol that divides the WSN into clusters to reduce energy usage. However, it has reached its limit in selecting a suitable cluster head and the sensor nodes to be joined, as well as their quantity. Thus, this research proposes an algorithm called Wireless Energy Balancing algorithm (WEB) that works on energy balancing distribution by identifying a suitable cluster head with minimum distance and high energy. Then it uses the knapsack-problem as a novel algorithm to design the cluster members. The simulation results demonstrate that the WEB algorithm outperforms LEACH by 31% in terms of energy conservation and WSN lifetime extension.


title: Implicit Likelihood Inference of Reionization Parameters from the 21 cm Power Spectrum

abstract: The first measurements of the 21 cm brightness temperature power spectrum from the epoch of reionization will very likely be achieved in the near future by radio interferometric array experiments such as the Hydrogen Epoch of Reionization Array (HERA) and the Square Kilometre Array (SKA). Standard MCMC analyses use an explicit likelihood approximation to infer the reionization parameters from the 21 cm power spectrum. In this paper, we present a new Bayesian inference of the reionization parameters where the likelihood is implicitly defined through forward simulations using density estimation likelihood-free inference (DELFI). Realistic effects including thermal noise and foreground avoidance are also applied to the mock observations from the HERA and SKA. We demonstrate that this method recovers accurate posterior distributions for the reionization parameters, and outperforms the standard MCMC analysis in terms of the location and size of credible parameter regions. With the minutes-level processing time once the network is trained, this technique is a promising approach for the scientific interpretation of future 21 cm power spectrum observation data. Our code 21cmDELFI-PS is publicly available at this link.


title: Derived equivalences between one-branch extensions of "rectangles"

abstract: In this paper we investigate the incidence algebras arising from one-branch extensions of "rectangles". There are four different ways to form such extensions, and all four kinds of incidence algebras turn out to be derived equivalent. We provide realizations for all of them by tilting complexes in a Nakayama algebra. As an application, we obtain the explicit formulas of the Coxeter polynomials for a half of Nakayama algebras (i.e., the Nakayama algebras $N(n,r)$ with $2r\geq n+2$). Meanwhile, an unexpected derived equivalence between Nakayama algebras $N(2r-1,r)$ and $N(2r-1,r+1)$ has been found.


title: Exact Community Recovery in Correlated Stochastic Block Models

abstract: We consider the problem of learning latent community structure from multiple correlated networks. We study edge-correlated stochastic block models with two balanced communities, focusing on the regime where the average degree is logarithmic in the number of vertices. Our main result derives the precise information-theoretic threshold for exact community recovery using multiple correlated graphs. This threshold captures the interplay between the community recovery and graph matching tasks. In particular, we uncover and characterize a region of the parameter space where exact community recovery is possible using multiple correlated graphs, even though (1) this is information-theoretically impossible using a single graph and (2) exact graph matching is also information-theoretically impossible. In this regime, we develop a novel algorithm that carefully synthesizes algorithms from the community recovery and graph matching literatures.

categories: math.ST cs.IT cs.LG cs.SI math.IT math.PR stat.TH


title: Towards Spatio-Temporal Aware Traffic Time Series Forecasting--Full Version

abstract: Traffic time series forecasting is challenging due to complex spatio-temporal dynamics time series from different locations often have distinct patterns; and for the same time series, patterns may vary across time, where, for example, there exist certain periods across a day showing stronger temporal correlations. Although recent forecasting models, in particular deep learning based models, show promising results, they suffer from being spatio-temporal agnostic. Such spatio-temporal agnostic models employ a shared parameter space irrespective of the time series locations and the time periods and they assume that the temporal patterns are similar across locations and do not evolve across time, which may not always hold, thus leading to sub-optimal results. In this work, we propose a framework that aims at turning spatio-temporal agnostic models to spatio-temporal aware models. To do so, we encode time series from different locations into stochastic variables, from which we generate location-specific and time-varying model parameters to better capture the spatio-temporal dynamics. We show how to integrate the framework with canonical attentions to enable spatio-temporal aware attentions. Next, to compensate for the additional overhead introduced by the spatio-temporal aware model parameter generation process, we propose a novel window attention scheme, which helps reduce the complexity from quadratic to linear, making spatio-temporal aware attentions also have competitive efficiency. We show strong empirical evidence on four traffic time series datasets, where the proposed spatio-temporal aware attentions outperform state-of-the-art methods in term of accuracy and efficiency. This is an extended version of "Towards Spatio-Temporal Aware Traffic Time Series Forecasting", to appear in ICDE 2022 [1], including additional experimental results.


title: Encryption and encoding of facial images into quick response and high capacity color 2d code for biometric passport security system

abstract: In this thesis, a multimodal biometric, secure encrypted data and encrypted biometric encoded into the QR code-based biometric-passport authentication method is proposed for national security applications. Firstly, using the Extended Profile - Local Binary Patterns (EP-LBP), a Canny edge detector, and the Scale Invariant Feature Transform (SIFT) algorithm with Image File Information (IMFINFO) process, the facial mark size recognition is initially achieved. Secondly, by using the Active Shape Model (ASM) into Active Appearance Model (AAM) to follow the hand and infusion the hand geometry characteristics for verification and identification, hand geometry recognition is achieved. Thirdly, the encrypted biometric passport information that is publicly accessible is encoded into the QR code and inserted into the electronic passport to improve protection. Further, Personal information and biometric data are encrypted by applying the Advanced Encryption Standard (AES) and the Secure Hash Algorithm (SHA) 256 algorithm. It will enhance the biometric passport security system.


title: Accurate Deep Learning-aided Density-free Strategy for Many-Body Dispersion-corrected Density Functional Theory

abstract: Using a Deep Neuronal Network model (DNN) trained on the large ANI-1 data set of small organic molecules, we propose a transferable density-free many-body dispersion model (DNN-MBD). The DNN strategy bypasses the explicit Hirshfeld partitioning of the Kohn-Sham electron density required by MBD models to obtain the atom-in-molecules volumes used by the Tkatchenko-Scheffler polarizability rescaling. The resulting DNN-MBD model is trained with minimal basis iterative Stockholder atomic volumes and, coupled to Density Functional Theory (DFT), exhibits comparable (if not greater) accuracy to other approaches based on different partitioning schemes. Implemented in the Tinker-HP package, the DNN-MBD model decreases the overall computational cost compared to MBD models where the explicit density partitioning is performed. Its coupling with the recently introduced Stochastic formulation of the MBD equations (J. Chem. Theory. Comput., 2022, 18, 3, 1633-1645) enables large routine dispersion-corrected DFT calculations at preserved accuracy. Furthermore, the DNN electron density-free features extend MBD's applicability beyond electronic structure theory within methodologies such as force fields and neural networks.


title: Exotic Calder\'on-Zygmund operators

abstract: We study singular integral operators with kernels that are more singular than standard Calder\'on-Zygmund kernels, but less singular than bi-parameter product Calder\'on-Zygmund kernels. These kernels arise as restrictions to two dimensions of certain three-dimensional kernels adapted to so-called Zygmund dilations, which is part of our motivation for studying these objects. We make the case that such kernels can, in many ways, be seen as part of the extended realm of standard kernels by proving that they satisfy both a T1 theorem and commutator estimates in a form reminiscent of the corresponding results for standard Calder\'on-Zygmund kernels. However, we show that one-parameter weighted estimates, in general, fail.


title: Zeta functions in higher Teichmuller theory

abstract: In this note we introduce zeta functions and L-functions for discrete and faithful representations of surface groups in PSL(d, R), for d >= 3. These are natural generalizations of the wellknown classical Selberg zeta function and L-function for Fuchsian groups, corresponding to the case d=2.We show that these complex functions have meromorphic extensions to the entire complex plane C.


title: The Hopping Forcing Rule

abstract: Zero forcing is a combinatorial game played on graphs that can be used to model the spread of information with repeated applications of a color change rule. In general, a zero forcing parameter is the minimum number of initial blue vertices that are needed to eventually color every vertex blue with a given color change rule. Furthermore, the throttling number minimizes the sum of the number of initial blue vertices and the time taken for all vertices to become blue. In 2013, Barioli et al. added a new rule, called hopping, to existing color change rules in order to demonstrate that the minor monotone floor of various zero forcing parameters is itself, a zero forcing parameter. In this paper, we examine the hopping color change rule independently from the other classic rules. Specifically, we study the hopping forcing number and the hopping throttling number. We investigate the ways in which these numbers are related to various graph theory parameters (such as vertex connectivity and independence number) as well as other zero forcing parameters.


title: Phototactic cyanobacteria as an active matter system

abstract: Flocks of birds, schools of fish, mixtures of motors and cytoskeletal filaments, swimming bacteria and driven granular media are systems of interacting motile units that exhibit collective behaviour. These can all be described as active matter systems, since each individual unit takes energy from an internal energy depot and transduces it into work performed on the environment. We review a model for cyanobacterial phototaxis, emphasising the differences from other models for collective behaviour in active matter systems. The interactions between individual cells during phototaxis are dominated by mechanical forces mediated by their physical attachments through type IV pili (T4P) and through the production of "slime", a complex mixture of non-diffusible polysaccharides deposited by cells that acts to decrease friction locally. The slime, in particular, adds a component to the interaction that is local in space but non-local in time, perhaps most comparable to the pheromones laid down in ant trails. Our results suggest that the time-delayed component of the interactions between bacteria qualify their description as a novel active system, which we refer to as "damp" active matter.


title: The $L_{\infty}$-structure of noncommutative gravity

abstract: We summarise recent perspectives on symmetries of noncommutative field theories based on homotopy algebras. We show how these viewpoints naturally lead to a new class of noncommutative field theories which possess braided gauge symmetries, and explain in detail their uses in gravity. We review how these considerations lead to a new theory of noncommutative gravity in four dimensions within the Einstein-Cartan-Palatini formalism.


title: Super-resolving multiple scatterers detection in SAR Tomography assisted by correlation information

abstract: This paper proposes a method for detecting multiple scatterers (targets) in the elevation direction for synthetic aperture radar (SAR) tomography. The proposed method can resolve closely spaced targets through a twostep procedure. In the first step, coarse detection is performed with a successive cancellation scheme in which possible locations of targets are marked. Then, in the second step, by searching in the reduced search space which is finely 10 gridded, the accurate location of the targets is found. For estimating the actual number of targets, a model order selection scheme is used in two cases of known and unknown noise variance. Also, by analytical investigation of the probability of detection for the proposed method, the effect of the influential parameters on the detection ability is explicitly demonstrated. Compared to the super-resolution methods based on compressed sensing (CS), the proposed method has a lower computational cost and higher estimation accuracy, especially at low signal-to-noise ratio regime. 15 Simulation results show the superiority of the proposed method in terms of both 3D scatterer reconstruction and detection ability


title: Selectivity Trends and Role of Adsorbate-Adsorbate Interactions in CO Hydrogenation on Rhodium Catalysts

abstract: Predictive-quality computational modeling of heterogeneously catalyzed reactions has emerged as an important tool for the analysis and assessment of activity and activity trends. In contrast, more subtle selectivities and selectivity trends still pose a significant challenge to prevalent microkinetic modeling approaches that typically employ a mean-field approximation (MFA). Here, we focus on CO hydrogenation on Rh catalysts with the possible products methane, acetaldehyde, ethanol and water. This reaction has already been subject to a number of experimental and theoretical studies with conflicting views on the factors controlling activity and selectivity towards the more valuable higher oxygenates. Using accelerated first-principles kinetic Monte Carlo (KMC) simulations and explicitly and systematically accounting for adsorbate-adsorbate interactions through a cluster expansion approach, we model the reaction on the low-index Rh(111) and stepped Rh(211) surfaces. We find that the Rh(111) facet is selective towards methane, while the Rh(211) facet exhibits a similar selectivity towards methane and acetaldehyde. This is consistent with the experimental selectivity observed for larger, predominantly (111)-exposing Rh nanoparticles and resolves the discrepancy to earlier first-principles MFA microkinetic work that found the Rh(111) facet to be selective towards acetaldehyde. While the latter work tried to approximately account for lateral interactions through coverage-dependent rate expressions, our analysis demonstrates that this fails to sufficiently capture concomitant correlations among the adsorbed reaction intermediates that crucially determine the overall selectivity.


title: A new approach to the mean-field limit of Vlasov-Fokker-Planck equations

abstract: This article introduces a novel approach to the mean-field limit of stochastic systems of interacting particles, leading to the first ever derivation of the mean-field limit to the Vlasov-Poisson-Fokker-Planck system for plasmas in dimension~$2$ together with a partial result in dimension~$3$. The method is broadly compatible with second order systems that lead to kinetic equations and it relies on novel estimates on the BBGKY hierarchy. By taking advantage of the diffusion in velocity, those estimates bound weighted $L^p$ norms of the marginals or observables of the system, uniformly in the number of particles. This allows to qualitatively derive the mean-field limit for very singular interaction kernels between the particles, including repulsive Poisson interactions, together with quantitative estimates for a general kernel in $L^2$.


title: An Adaptive Benchmark for Modeling User Exploration of Large Datasets

abstract: Interactive analysis systems provide efficient and accessible means by which users of varying technical experience can comfortably manipulate and analyze data using interactive widgets. Widgets are elements of interaction within a user interface (e.g. scrollbar, button, etc). Interactions with these widgets produce database queries whose results determine the subsequent changes made to the current visualization made by the user. In this paper, we present a tool that extends IDEBench to ingest visualization interfaces and a dataset, and estimate the expected database load that would be generated by real users. Our tool analyzes the interactive capabilities of the visualization and creates the queries that support the various interactions. We began with a proof of concept implementation of every interaction widget, which led us to define three distinct sets of query templates that can support all interactions. We then show that these templates can be layered to imitate various interfaces and tailored to any dataset. Secondly, we simulate how users would interact with the proposed interface and report on the strain that such use would place on the database management system.


title: Ergodicity for Three-Dimensional Stochastic Navier-Stokes Equations with Markov Switching

abstract: Asymptotic behavior of the three-dimensional stochastic Navier-Stokes equations with Markov switching in additive noises is studied for incompressible fluid flow in a bounded domain in the three-dimensional space. To study such a system, we introduce a family of regularized equations and investigate the asymptotic behavior of the regularized equations first. The existence an ergodic measure for the regularized system is established via the Krylov-Bogolyubov method. Then the existence of an stationary measure to the original system is obtained by extracting a limit from the ergodic measures of the family of the regularized system.


title: On the Ergodicity of Interacting Particle Systems under Number Rigidity

abstract: In this paper, we provide relations among the following properties: (a) the tail triviality of a probability measure $\mu$ on the configuration space ${\boldsymbol\Upsilon}$; (b) the finiteness of the $L^2$-transportation-type distance $\bar{\mathsf d}_{{\boldsymbol\Upsilon}}$; (c) the irreducibility of $\mu$-symmetric Dirichlet forms on ${\boldsymbol\Upsilon}$. As an application, we obtain the ergodicity (i.e., the convergence to the equilibrium) of interacting infinite diffusions having logarithmic interaction arisen from determinantal/permanental point processes including $\mathrm{sine}_{2}$, $\mathrm{Airy}_{2}$, $\mathrm{Bessel}_{\alpha, 2}$ ($\alpha \ge 1$), and $\mathrm{Ginibre}$ point processes, in particular, the case of unlabelled Dyson Brownian motion is covered. For the proof, the number rigidity of point processes in the sense of Ghosh--Peres plays a key role.


title: A Passive Similarity based CNN Filter Pruning for Efficient Acoustic Scene Classification

abstract: We present a method to develop low-complexity convolutional neural networks (CNNs) for acoustic scene classification (ASC). The large size and high computational complexity of typical CNNs is a bottleneck for their deployment on resource-constrained devices. We propose a passive filter pruning framework, where a few convolutional filters from the CNNs are eliminated to yield compressed CNNs. Our hypothesis is that similar filters produce similar responses and give redundant information allowing such filters to be eliminated from the network. To identify similar filters, a cosine distance based greedy algorithm is proposed. A fine-tuning process is then performed to regain much of the performance lost due to filter elimination. To perform efficient fine-tuning, we analyze how the performance varies as the number of fine-tuning training examples changes. An experimental evaluation of the proposed framework is performed on the publicly available DCASE 2021 Task 1A baseline network trained for ASC. The proposed method is simple, reduces computations per inference by 27%, with 25% fewer parameters, with less than 1% drop in accuracy.


title: Information Consumption and Boundary Spanning in Decentralized Online Social Networks: the case of Mastodon Users

abstract: Decentralized Online Social Networks (DOSNs) represent a growing trend in the social media landscape, as opposed to the well-known centralized peers, which are often in the spotlight due to privacy concerns and a vision typically focused on monetization through user relationships. By exploiting open-source software, DOSNs allow users to create their own servers, or instances, thus favoring the proliferation of platforms that are independent yet interconnected with each other in a transparent way. Nonetheless, the resulting cooperation model, commonly known as the Fediverse, still represents a world to be fully discovered, since existing studies have mainly focused on a limited number of structural aspects of interest in DOSNs. In this work, we aim to fill a lack of study on user relations and roles in DOSNs, by taking two main actions: understanding the impact of decentralization on how users relate to each other within their membership instance and/or across different instances, and unveiling user roles that can explain two interrelated axes of social behavioral phenomena, namely information consumption and boundary spanning. To this purpose, we build our analysis on user networks from Mastodon, since it represents the most widely used DOSN platform. We believe that the findings drawn from our study on Mastodon users' roles and information flow can pave a way for further development of fascinating research on DOSNs.


title: HardVis: Visual Analytics to Handle Instance Hardness Using Undersampling and Oversampling Techniques

abstract: Despite the tremendous advances in machine learning (ML), training with imbalanced data still poses challenges in many real-world applications. Among a series of diverse techniques to solve this problem, sampling algorithms are regarded as an efficient solution. However, the problem is more fundamental, with many works emphasizing the importance of instance hardness. This issue refers to the significance of managing unsafe or potentially noisy instances that are more likely to be misclassified and serve as the root cause of poor classification performance. This paper introduces HardVis, a visual analytics system designed to handle instance hardness mainly in imbalanced classification scenarios. Our proposed system assists users in visually comparing different distributions of data types, selecting types of instances based on local characteristics that will later be affected by the active sampling method, and validating which suggestions from undersampling or oversampling techniques are beneficial for the ML model. Additionally, rather than uniformly undersampling/oversampling a specific class, we allow users to find and sample easy and difficult to classify training instances from all classes. Users can explore subsets of data from different perspectives to decide all those parameters, while HardVis keeps track of their steps and evaluates the model's predictive performance in a test set separately. The end result is a well-balanced data set that boosts the predictive power of the ML model. The efficacy and effectiveness of HardVis are demonstrated with a hypothetical usage scenario and a use case. Finally, we also look at how useful our system is based on feedback we received from ML experts.


title: Evaluating Prompts Across Multiple Choice Tasks In a Zero-Shot Setting

abstract: Large language models have shown that impressive zero-shot performance can be achieved through natural language prompts (Radford et al., 2019; Brown et al., 2020; Sanh et al., 2021). Creating an effective prompt, however, requires significant trial and error. That \textit{prompts} the question: how do the qualities of a prompt effects its performance? To this end, we collect and standardize prompts from a diverse range of tasks for use with tasks they were not designed for. We then evaluate these prompts across fixed multiple choice datasets for a quantitative analysis of how certain attributes of a prompt affect performance. We find that including the choices and using prompts not used during pre-training provide significant improvements. All experiments and code can be found https://github.com/gabeorlanski/zero-shot-cross-task.


title: Demonstration-Bootstrapped Autonomous Practicing via Multi-Task Reinforcement Learning

abstract: Reinforcement learning systems have the potential to enable continuous improvement in unstructured environments, leveraging data collected autonomously. However, in practice these systems require significant amounts of instrumentation or human intervention to learn in the real world. In this work, we propose a system for reinforcement learning that leverages multi-task reinforcement learning bootstrapped with prior data to enable continuous autonomous practicing, minimizing the number of resets needed while being able to learn temporally extended behaviors. We show how appropriately provided prior data can help bootstrap both low-level multi-task policies and strategies for sequencing these tasks one after another to enable learning with minimal resets. This mechanism enables our robotic system to practice with minimal human intervention at training time while being able to solve long horizon tasks at test time. We show the efficacy of the proposed system on a challenging kitchen manipulation task both in simulation and in the real world, demonstrating the ability to practice autonomously in order to solve temporally extended problems.


title: Causal de Finetti: On the Identification of Invariant Causal Structure in Exchangeable Data

abstract: Constraint-based causal discovery methods leverage conditional independence tests to infer causal relationships in a wide variety of applications. Just as the majority of machine learning methods, existing work focuses on studying $\textit{independent and identically distributed}$ data. However, it is known that even with infinite i.i.d.$\ $ data, constraint-based methods can only identify causal structures up to broad Markov equivalence classes, posing a fundamental limitation for causal discovery. In this work, we observe that exchangeable data contains richer conditional independence structure than i.i.d.$\ $ data, and show how the richer structure can be leveraged for causal discovery. We first present causal de Finetti theorems, which state that exchangeable distributions with certain non-trivial conditional independences can always be represented as $\textit{independent causal mechanism (ICM)}$ generative processes. We then present our main identifiability theorem, which shows that given data from an ICM generative process, its unique causal structure can be identified through performing conditional independence tests. We finally develop a causal discovery algorithm and demonstrate its applicability to inferring causal relationships from multi-environment data. Our code and models are publicly available at: https://github.com/syguo96/Causal-de-Finetti


title: Infrared Optical Spectroscopy of Molten Fluorides: Methods, Electronic and Vibrational Data, Structural Interpretation, and Relevance to Radiative Heat Transfer

abstract: To help address the need for predicting radiative heat transfer (RHT) behavior of molten salts, we conducted a comprehensive review of methods and data from infrared optical spectroscopic measurements on molten fluoride salts. Transmittance, reflectance, and trans-reflectance experimental methods are discussed, along with the corresponding data reduction methodology and the limitations of each technique. Optical spectroscopy is a convenient indirect probe for changes in structural parameters with temperature and composition. Electronic and vibrational absorption data for transition-metal, lanthanide, and actinide solutes and vibrational absorption data for alkali and alkaline earth fluoride solvents are compiled, and the corresponding structural interpretation is discussed and compared with other experimental and theoretical work. We find that solvent and solute vibrational absorption can be significant in the mid-infrared, resulting in near-infrared edges of significance to RHT. Extrapolation and averaging of existing edge data leads to estimated gray absorption coefficient values at 700 degrees C of 493 m^(-1) for FLiBe and 148 m^(-1) for FLiNaK, both within the range of 1 to 6000 m^(-1) identified to be of engineering relevance for radiative heat transfer analysis.


title: A Sparsity-promoting Dictionary Model for Variational Autoencoders

abstract: Structuring the latent space in probabilistic deep generative models, e.g., variational autoencoders (VAEs), is important to yield more expressive models and interpretable representations, and to avoid overfitting. One way to achieve this objective is to impose a sparsity constraint on the latent variables, e.g., via a Laplace prior. However, such approaches usually complicate the training phase, and they sacrifice the reconstruction quality to promote sparsity. In this paper, we propose a simple yet effective methodology to structure the latent space via a sparsity-promoting dictionary model, which assumes that each latent code can be written as a sparse linear combination of a dictionary's columns. In particular, we leverage a computationally efficient and tuning-free method, which relies on a zero-mean Gaussian latent prior with learnable variances. We derive a variational inference scheme to train the model. Experiments on speech generative modeling demonstrate the advantage of the proposed approach over competing techniques, since it promotes sparsity while not deteriorating the output speech quality.


title: Galactic diffuse gamma rays meet the PeV frontier

abstract: The Tibet AS$\gamma$ and LHAASO collaborations recently reported the observation of a $\gamma$-ray diffuse emission with energy up to the PeV from the Galactic plane. We discuss the relevance of non-uniform cosmic-ray transport scenarios and the implications of these results for cosmic-ray physics. We use the {\tt DRAGON} and {\tt HERMES} codes to build high-resolution maps and spectral distributions of that emission for several representative models under the condition that they reproduce a wide set of local cosmic-ray data up to 100 PeV. We show that the energy spectra measured by Tibet AS$\gamma$, LHAASO, ARGO-YBJ and Fermi-LAT in several regions of interest in the sky can all be consistently described in terms of the emission arising by the Galactic cosmic-ray "sea". We also show that all our models are compatible with IceTop $\gamma$-ray upper limits. Our results favor transport models characterized by spatial-dependent diffusion although some degeneracy remains between the choice of the transport scenario and that of the cosmic-ray spectral shape above 10 TeV. We discuss the role of forthcoming measurements in resolving that ambiguity.


title: A New Expression for the Product of Two $\kappa-\mu $ Shadowed Random Variables and its Application to Wireless Communication

abstract: In this work, the product of two independent and non-identically distributed (i.n.i.d) $\kappa - \mu $ shadowed random variables is studied. We derive the series expression for the probability density function (PDF), cumulative distribution function (CDF), and moment generating function (MGF) of the product of two (i.n.i.d) $\kappa - \mu $ shadowed random variables. The derived formulation in this work is quite general as they incorporate most of the typically used fading channels. As an application example, outage probability (OP) has been derived for cascaded wireless systems and relay-assisted communications with a variable gain relay. Extensive Monte-Carlo simulations have also been carried out.


title: The maximum domain of attraction of multivariate extreme value distributions is small

abstract: Consider the set of Borel probability measures on $\mathbf{R}^k$ and endow it with the topology of weak convergence. We show that the subset of all probability measures which belong to the domain of attraction of some multivariate extreme value distributions is dense and of the first Baire category. In addition, the analogue result holds in the context of free probability theory.


title: Elastohydrodynamic synchronization of rotating bacterial flagella

abstract: To rotate continuously without jamming, the flagellar filaments of bacteria need to be locked in phase. While several models have been proposed for eukaryotic flagella, the synchronization of bacterial flagella is less well understood. Starting from a reduced model of flexible and hydrodynamically-coupled bacterial flagella, we rigorously coarse-grain the equations of motion using the method of multiple scales, and hence show that bacterial flagella generically synchronize to zero phase difference via an elastohydrodynamic mechanism. Remarkably, the far-field rate of synchronization is maximized at an intermediate value of elastic compliance, with surprising implications for bacteria.


title: Identifying the population of stable ${\nu}_6$ resonant asteroids using large databases

abstract: Large observational surveys, like those that will be conducted at the Vera C. Rubin Observatory, are expected to discover up to one million new asteroids in the first year of operation. This will more than double the database of known asteroids. New methods and techniques will be needed to handle the large influx of data. Here, we tested some of these new methods by studying the population of asteroids on stable orbits inside the ${\nu}_6$ secular resonance. This resonance is one of the strongest mechanisms for destabilizing the orbits of main-belt bodies and producing Near-Earth Asteroids (NEAs). Yet, stable orbital configurations where the asteroid pericenter is either aligned or anti-aligned with that of Saturn exist inside the resonance. The population of stable ${\nu}_6$ resonators is now the largest population of asteroids in stable orbits inside a secular resonance. Here we obtained the largest sample of asteroids' proper elements ever used for this problem. Clustering methods and the use of machine learning algorithms permitted the identification of the known asteroid families crossed by the ${\nu}_6$ resonance and of two entirely new groups: the Tiffanykapler and the 138605 QW177 families. The Tiffanykapler family is the first young asteroid family ever found in a linear secular resonance, with an age of $3.0\pm1.2$ Myr and an ejection velocity field parameter of $V_{EJ} = 15^{+6}_{-3}$ m/s. We identify a population of high-eccentricity objects around the Tina family that may be the first example of an asteroid family "resonant halo".


title: 10 Problems for Partitions of Triangle-free Graphs

abstract: We will state 10 problems, and solve some of them, for partitions in triangle-free graphs related to Erd\H{o}s' Sparse Half Conjecture. Among others we prove the following variant of it: For every sufficiently large even integer $n$ the following holds. Every triangle-free graph on $n$ vertices has a partition $V(G)=A\cup B$ with $|A|=|B|=n/2$ such that $e(G[A])+e(G[B])\leq n^2/16$. This result is sharp since the complete bipartite graph with class sizes $3n/4$ and $n/4$ achieves equality, when $n$ is a multiple of 4. Additionally, we discuss similar problems for $K_4$-free graphs.


title: FisherMatch: Semi-Supervised Rotation Regression via Entropy-based Filtering

abstract: Estimating the 3DoF rotation from a single RGB image is an important yet challenging problem. Recent works achieve good performance relying on a large amount of expensive-to-obtain labeled data. To reduce the amount of supervision, we for the first time propose a general framework, FisherMatch, for semi-supervised rotation regression, without assuming any domain-specific knowledge or paired data. Inspired by the popular semi-supervised approach, FixMatch, we propose to leverage pseudo label filtering to facilitate the information flow from labeled data to unlabeled data in a teacher-student mutual learning framework. However, incorporating the pseudo label filtering mechanism into semi-supervised rotation regression is highly non-trivial, mainly due to the lack of a reliable confidence measure for rotation prediction. In this work, we propose to leverage matrix Fisher distribution to build a probabilistic model of rotation and devise a matrix Fisher-based regressor for jointly predicting rotation along with its prediction uncertainty. We then propose to use the entropy of the predicted distribution as a confidence measure, which enables us to perform pseudo label filtering for rotation regression. For supervising such distribution-like pseudo labels, we further investigate the problem of how to enforce loss between two matrix Fisher distributions. Our extensive experiments show that our method can work well even under very low labeled data ratios on different benchmarks, achieving significant and consistent performance improvement over supervised learning and other semi-supervised learning baselines. Our project page is at https://yd-yin.github.io/FisherMatch.


title: From asymptotic freedom to $\theta$ vacua: Qubit embeddings of the O(3) nonlinear $\sigma$ model

abstract: Conventional lattice formulations of $\theta$ vacua in the $1+1$-dimensional $\text{O}(3)$ nonlinear sigma model suffer from a sign problem. Here, we construct the first sign-problem-free regularization for arbitrary $\theta$. Using efficient lattice Monte Carlo algorithms, we demonstrate how a Hamiltonian model of spin-$\tfrac12$ degrees of freedom on a 2-dimensional spatial lattice reproduces both the infrared sector for arbitrary $\theta$, as well as the ultraviolet physics of asymptotic freedom. Furthermore, as a model of qubits on a two-dimensional square lattice with only nearest-neighbor interactions, it is naturally suited for studying the physics of $\theta$ vacua and asymptotic freedom on near-term quantum devices. Our construction generalizes to $\theta$ vacua in all $\text{CP}(N-1)$ models, solving a long standing sign problem.


title: Polite or Direct? Conversation Design of a Smart Display for Older Adults Based on Politeness Theory

abstract: Conversational interfaces increasingly rely on human-like dialogue to offer a natural experience. However, relying on dialogue involving multiple exchanges for even simple tasks can overburden users, particularly older adults. In this paper, we explored the use of politeness theory in conversation design to alleviate this burden and improve user experience. To achieve this goal, we categorized the voice interaction offered by a smart display application designed for older adults into seven major speech acts: request, suggest, instruct, comment, welcome, farewell, and repair. We identified face needs for each speech act, applied politeness strategies that best address these needs, and tested the ability of these strategies to shape the perceived politeness of a voice assistant in an online study ($n=64$). Based on the findings of this study, we designed direct and polite versions of the system and conducted a field study ($n=15$) in which participants used each of the versions for five days at their homes. Based on five factors merged from our qualitative findings, we identified four distinctive user personas$\unicode{x2013}$socially oriented follower, socially oriented leader, utility oriented follower, and utility oriented leader$\unicode{x2013}$that can inform personalized design of smart displays.


title: Approximations of Eilenberg-MacLane spaces by smooth projective varieties

abstract: In this note we construct approximations by smooth projective varieties of some Eienberg-MacLane spaces in the $A^1$-homotopy category. Using these, we study the cycle maps from Chow rings to etale cohomology rings.


title: On the level set version of partial uniform ellipticity and applications

abstract: We derive level set version of partial uniform ellipticity for symmetric concave functions. This suggests an effective approach to investigate second order fully nonlinear equations of elliptic and parabolic type.


title: Target Geometry Estimation Using Deep Neural Networks in Sonar Sensing

abstract: Accurate imaging of target shape is a crucial aspect of wideband FM biosonar in echolocating bats, for which we have developed new algorithms that provide a solution for the shape of complicated targets in the computational domain. We use recurrent neural networks and convolutional neural networks to determine the number of glints (i.e., major reflecting surfaces) making up the target's structure and the distances between the glints (target shape in sonar). Echoes are dechirped relative to broadcasts, and the dechirped spectrograms are scanned in short time segments to find local spectral ripple patterns arising from different interglint delay separations. By proceeding in successive time-window slices, we mimic time-frequency neural processing in the bat's auditory system as a novel means of real-time target discrimination for sonar sensing in robotics.


title: Operations on spectral partition Lie algebras and TAQ cohomology

abstract: We determine all natural operations and their relations on the homotopy groups of spectral partition Lie algebras, which coincide with $\mathbb{F}_p$-linear topological Andr\'{e}-Quillen cohomology operations at any prime. We construct unary operations and a shifted restricted Lie algebra structure on the homotopy groups of spectral partition Lie algebras. Then we prove a composition law for the unary operations, as well as a compatibility condition between unary operations and the shifted Lie bracket with restriction up to a unit for the restriction. Comparing with Brantner-Mathew's result on the ranks of the homotopy groups of free spectral partition Lie algebras, we deduce that these generate all natural operations and obtain the target category, thereby also recovering unpublished results of Kriz and Basterra-Mandell on $\mathbb{F}_p$-linear TAQ cohomology operations. As a corollary, we determine the structure of natural operations on mod $p$ $\mathbb{S}$-linear TAQ cohomology.


title: Impact of Information Flow Topology on Safety of Tightly-coupled Connected and Automated Vehicle Platoons Utilizing Stochastic Control

abstract: Cooperative driving, enabled by Vehicle-to-Everything (V2X) communication, is expected to significantly contribute to the transportation system's safety and efficiency. Cooperative Adaptive Cruise Control (CACC), a major cooperative driving application, has been the subject of many studies in recent years. The primary motivation behind using CACC is to reduce traffic congestion and improve traffic flow, traffic throughput, and highway capacity. Since the information flow between cooperative vehicles can significantly affect the dynamics of a platoon, the design and performance of control components are tightly dependent on the communication component performance. In addition, the choice of Information Flow Topology (IFT) can affect certain platoons properties such as stability and scalability. Although cooperative vehicles perception can be expanded to multiple predecessors information by using V2X communication, the communication technologies still suffer from scalability issues. Therefore, cooperative vehicles are required to predict each other's behavior to compensate for the effects of non-ideal communication. The notion of Model-Based Communication (MBC) was proposed to enhance cooperative vehicles perception under non-ideal communication by introducing a new flexible content structure for broadcasting joint vehicles dynamic/drivers behavior models. By utilizing a non-parametric (Bayesian) modeling scheme, i.e., Gaussian Process Regression (GPR), and the MBC concept, this paper develops a discrete hybrid stochastic model predictive control approach and examines the impact of communication losses and different information flow topologies on the performance and safety of the platoon. The results demonstrate an improvement in response time and safety using more vehicles information, validating the potential of cooperation to attenuate disturbances and improve traffic flow and safety.


title: Streaming parallel transducer beam search with fast-slow cascaded encoders

abstract: Streaming ASR with strict latency constraints is required in many speech recognition applications. In order to achieve the required latency, streaming ASR models sacrifice accuracy compared to non-streaming ASR models due to lack of future input context. Previous research has shown that streaming and non-streaming ASR for RNN Transducers can be unified by cascading causal and non-causal encoders. This work improves upon this cascaded encoders framework by leveraging two streaming non-causal encoders with variable input context sizes that can produce outputs at different audio intervals (e.g. fast and slow). We propose a novel parallel time-synchronous beam search algorithm for transducers that decodes from fast-slow encoders, where the slow encoder corrects the mistakes generated from the fast encoder. The proposed algorithm, achieves up to 20% WER reduction with a slight increase in token emission delays on the public Librispeech dataset and in-house datasets. We also explore techniques to reduce the computation by distributing processing between the fast and slow encoders. Lastly, we explore sharing the parameters in the fast encoder to reduce the memory footprint. This enables low latency processing on edge devices with low computation cost and a low memory footprint.


title: Weighted Ehrhart series and a type-$\mathsf{B}$ analogue of a formula of MacMahon

abstract: We present a formula for a generalisation of the Eulerian polynomial, namely the joint distribution of major index and descent statistic on signed multiset permutations. It allows a description in terms of the $h^*$-polynomial of a certain polytope. We associate a family of polytopes to (generalised) permutations of types $\mathsf{A}$ and $\mathsf{B}$. We use this connection to study properties of the (generalised) Eulerian numbers, such as palindromicity and unimodality, by identifying certain properties of the associated polytope. We also present partial results on generalising the connection between descent polynomials and polytopes to coloured (multiset) permutations.


title: Decadal bandwidth phase matching for frequency resolved optical gating from the near to the long wavelength infrared

abstract: Ultra-fast laser pulses have made possible the study of extreme nonlinear processes. Many of these experiments however require a full characterization of the electric field, which typically requires a separate parametric optical process. As the central wavelength range of new sources continues to increase so too does the need for nonlinear crystals suited for characterizing these differing wavelengths. Here we report on the use of polycrystalline Zinc Selenide as a universal nonlinear crystal in the frequency resolved optical gating characterization technique from the near to long-wavelength infrared, capable of phase matching second-harmonic generation and sum-frequency generation over a decade of bandwidth, as well as ultra-broadband pulses, all of which being crystal orientation and input polarization independent. With the majority of ultra-fast laser sources being in this span of wavelengths, this work demonstrates a greatly simplified approach towards ultra-fast pulse characterization in the mid to long-wavelength infrared.


title: Efficiently Evolving Swarm Behaviors Using Grammatical Evolution With PPA-style Behavior Trees

abstract: Evolving swarm behaviors with artificial agents is computationally expensive and challenging. Because reward structures are often sparse in swarm problems, only a few simulations among hundreds evolve successful swarm behaviors. Additionally, swarm evolutionary algorithms typically rely on ad hoc fitness structures, and novel fitness functions need to be designed for each swarm task. This paper evolves swarm behaviors by systematically combining Postcondition-Precondition-Action (PPA) canonical Behavior Trees (BT) with a Grammatical Evolution. The PPA structure replaces ad hoc reward structures with systematic postcondition checks, which allows a common grammar to learn solutions to different tasks using only environmental cues and BT feedback. The static performance of learned behaviors is poor because no agent learns all necessary subtasks, but performance while evolving is excellent because agents can quickly change behaviors in new contexts. The evolving algorithm succeeded in 75\% of learning trials for both foraging and nest maintenance tasks, an eight-fold improvement over prior work.


title: Multiresolution analysis and Zygmund dilations

abstract: Zygmund dilations are a group of dilations lying in between the standard product theory and the one-parameter setting - in $\mathbb{R}^3 = \mathbb{R} \times \mathbb{R} \times \mathbb{R}$ they are the dilations $(x_1, x_2, x_3) \mapsto (\delta_1 x_1, \delta_2 x_2, \delta_1 \delta_2 x_3)$. The dyadic multiresolution analysis and the related dyadic-probabilistic methods have been very impactful in the modern product singular integral theory. However, the multiresolution analysis has not been understood in the Zygmund dilation setting or in other modified product space settings. In this paper we develop this missing dyadic multiresolution analysis of Zygmund type, and justify its usefulness by bounding, on weighted spaces, a general class of singular integrals that are invariant under Zygmund dilations. We provide novel examples of Zygmund $A_p$ weights and Zygmund kernels showcasing the optimality of our kernel assumptions for weighted estimates.


title: Text-Driven Video Acceleration: A Weakly-Supervised Reinforcement Learning Method

abstract: The growth of videos in our digital age and the users' limited time raise the demand for processing untrimmed videos to produce shorter versions conveying the same information. Despite the remarkable progress that summarization methods have made, most of them can only select a few frames or skims, creating visual gaps and breaking the video context. This paper presents a novel weakly-supervised methodology based on a reinforcement learning formulation to accelerate instructional videos using text. A novel joint reward function guides our agent to select which frames to remove and reduce the input video to a target length without creating gaps in the final video. We also propose the Extended Visually-guided Document Attention Network (VDAN+), which can generate a highly discriminative embedding space to represent both textual and visual data. Our experiments show that our method achieves the best performance in Precision, Recall, and F1 Score against the baselines while effectively controlling the video's output length. Visit https://www.verlab.dcc.ufmg.br/semantic-hyperlapse/tpami2022/ for code and extra results.


title: IIB matrix model, bosonic master field, and emergent spacetime

abstract: The IIB matrix model has been suggested as a particular formulation of nonperturbative superstring theory (M-theory). It has now been realized that an emerging classical spacetime may reside in its large-$N$ master field. This bosonic master field can, in principle, give rise to Minkowski and Robertson-Walker spacetimes. The outstanding task is to solve the bosonic master-field equation, which is essentially an algebraic equation. In this article, we present new results for the $(D,\,N)=(10,\,4)$ bosonic master-field equation of the IIB matrix model, where $D$ is the number of bosonic matrices and $N$ the matrix size. We also give, in a self-contained appendix, explicit results for critical points of the effective bosonic action. The main physics application of the (dimensionless) IIB matrix model may be in providing a (conformal) phase that replaces the Friedmann big bang singularity.


title: Adaptive Learning with Artificial Barriers Yielding Nash Equilibria in General Games

abstract: Artificial barriers in Learning Automata (LA) is a powerful and yet under-explored concept although it was first proposed in the 1980s. Introducing artificial non-absorbing barriers makes the LA schemes resilient to being trapped in absorbing barriers, a phenomenon which is often referred to as lock in probability leading to an exclusive choice of one action after convergence. Within the field of LA and reinforcement learning in general, there is a sacristy of theoretical works and applications of schemes with artificial barriers. In this paper, we devise a LA with artificial barriers for solving a general form of stochastic bimatrix game. Classical LA systems possess properties of absorbing barriers and they are a powerful tool in game theory and were shown to converge to game's of Nash equilibrium under limited information. However, the stream of works in LA for solving game theoretical problems can merely solve the case where the Saddle Point of the game exists in a pure strategy and fail to reach mixed Nash equilibrium when no Saddle Point exists for a pure strategy. In this paper, by resorting to the powerful concept of artificial barriers, we suggest a LA that converges to an optimal mixed Nash equilibrium even though there may be no Saddle Point when a pure strategy is invoked. Our deployed scheme is of Linear Reward-Inaction ($L_{R-I}$) flavor which is originally an absorbing LA scheme, however, we render it non-absorbing by introducing artificial barriers in an elegant and natural manner, in the sense that that the well-known legacy $L_{R-I}$ scheme can be seen as an instance of our proposed algorithm for a particular choice of the barrier. Furthermore, we present an $S$ Learning version of our LA with absorbing barriers that is able to handle $S$-Learning environment in which the feedback is continuous and not binary as in the case of the $L_{R-I}$.


title: Deep Reinforcement Learning Aided Platoon Control Relying on V2X Information

abstract: The impact of Vehicle-to-Everything (V2X) communications on platoon control performance is investigated. Platoon control is essentially a sequential stochastic decision problem (SSDP), which can be solved by Deep Reinforcement Learning (DRL) to deal with both the control constraints and uncertainty in the platoon leading vehicle's behavior. In this context, the value of V2X communications for DRL-based platoon controllers is studied with an emphasis on the tradeoff between the gain of including exogenous information in the system state for reducing uncertainty and the performance erosion due to the curse-of-dimensionality. Our objective is to find the specific set of information that should be shared among the vehicles for the construction of the most appropriate state space. SSDP models are conceived for platoon control under different information topologies (IFT) by taking into account `just sufficient' information. Furthermore, theorems are established for comparing the performance of their optimal policies. In order to determine whether a piece of information should or should not be transmitted for improving the DRL-based control policy, we quantify its value by deriving the conditional KL divergence of the transition models. More meritorious information is given higher priority in transmission, since including it in the state space has a higher probability in offsetting the negative effect of having higher state dimensions. Finally, simulation results are provided to illustrate the theoretical analysis.


title: Model Selection for Maternal Hypertensive Disorders with Symmetric Hierarchical Dirichlet Processes

abstract: Hypertensive disorders of pregnancy occur in about 10% of pregnant women around the world. Though there is evidence that hypertension impacts maternal cardiac functions, the relation between hypertension and cardiac dysfunctions is only partially understood. The study of this relationship can be framed as a joint inferential problem on multiple populations, each corresponding to a different hypertensive disorder diagnosis, that combines multivariate information provided by a collection of cardiac function indexes. A Bayesian nonparametric approach seems particularly suited for this setup and we demonstrate it on a dataset consisting of transthoracic echocardiography results of a cohort of Indian pregnant women. We are able to perform model selection, provide density estimates of cardiac function indexes and a latent clustering of patients: these readily interpretable inferential outputs allow to single out modified cardiac functions in hypertensive patients compared to healthy subjects and progressively increased alterations with the severity of the disorder. The analysis is based on a Bayesian nonparametric model that relies on a novel hierarchical structure, called symmetric hierarchical Dirichlet process. This is suitably designed so that the mean parameters are identified and used for model selection across populations, a penalization for multiplicity is enforced, and the presence of unobserved relevant factors is investigated through a latent clustering of subjects. Posterior inference relies on a suitable Markov Chain Monte Carlo algorithm and the model behaviour is also showcased on simulated data.


title: A Systematic Review on Interactive Virtual Reality Laboratory

abstract: Virtual Reality has become a significant element of education throughout the years. To understand the quality and advantages of these techniques, it is important to understand how they were developed and evaluated. Since COVID-19, the education system has drastically changed a lot. It has shifted from being in a classroom with a whiteboard and projectors to having your own room in front of your laptop in a virtual meeting. In this respect, virtual reality in the laboratory or Virtual Laboratory is the main focus of this research, which is intended to comprehend the work done in quality education from a distance using VR. As per the findings of the study, adopting virtual reality in education can help students learn more effectively and also help them increase perspective, enthusiasm, and knowledge of complex notions by offering them an interactive experience in which they can engage and learn more effectively. This highlights the importance of a significant expansion of VR use in learning, the majority of which employ scientific comparison approaches to compare students who use VR to those who use the traditional method for learning.


title: Implementation of an Automated Learning System for Non-experts

abstract: Automated machine learning systems for non-experts could be critical for industries to adopt artificial intelligence to their own applications. This paper detailed the engineering system implementation of an automated machine learning system called YMIR, which completely relies on graphical interface to interact with users. After importing training/validation data into the system, a user without AI knowledge can label the data, train models, perform data mining and evaluation by simply clicking buttons. The paper described: 1) Open implementation of model training and inference through docker containers. 2) Implementation of task and resource management. 3) Integration of Labeling software. 4) Implementation of HCI (Human Computer Interaction) with a rebuilt collaborative development paradigm. We also provide subsequent case study on training models with the system. We hope this paper can facilitate the prosperity of our automated machine learning community from industry application perspective. The code of the system has already been released to GitHub (https://github.com/industryessentials/ymir).


title: Eliminating black holes singularity in Brane world Cosmology

abstract: In recent works, a construction was proposed resulting emergent universes inside black holes. This result can be obtained from a 4D black hole embedded in a 5D space time with the fifth dimension compactified on a circle [0, 2] (0 and 2 are identified) such that the two branes are at 0 and 1. In the present work, we study this setup by deriving particles equations of motion in the new universes, based on redefining energy and angular momentum. This leads to disappearance of the singularity in centres of black holes in classical General Relativity.


title: Electric-field-coupled oscillators for collective electrochemical perception in underwater robotics

abstract: This work explores the application of nonlinear oscillators coupled by electric field in water for collective tasks in underwater robotics. Such coupled oscillators operate in clear and colloidal (mud, bottom silt) water and represent a collective electrochemical sensor that is sensitive to global environmental parameters, geometry of common electric field and spatial dynamics of autonomous underwater vehicles (AUVs). Implemented in hardware and software, this approach can be used to create global awareness in the group of robots, which possess limited sensing and communication capabilities. Using oscillators from different AUVs enables extending the range limitations related to electric dipole of a single AUV. Applications of this technique are demonstrated for detecting the number of AUVs, distances between them, perception of dielectric objects, synchronization of behavior and discrimination between 'collective self' and 'collective non-self' through an 'electrical mirror'. These approaches have been implemented in several research projects with AUVs in fresh and salt water.


title: Effective and Acceptable Eco-Driving Guidance for Human-Driving Vehicles: A Review

abstract: Ecodriving guidance includes courses or suggestions for human drivers to improve driving behaviour, reducing energy use and emissions. This paper presents a systematic review of existing eco-driving guidance studies and identifies challenges to tackle in the future. A standard agreement on the guidance design has not been reached, leading to difficulties in designing and implementing eco-driving guidance for human drivers. Both static and dynamic guidance systems have a great variety of guidance results. In addition, the influencing factors, such as the suggestion content, the displaying methods, and drivers socio-demographic characteristics, have opposite effects on the guidance result across studies, while the reason has not been revealed. Drivers motivation to practice eco behaviour, especially long-term, is overlooked. Besides, the relationship between users acceptance and system effectiveness is still unclear. Adaptive driving suggestions based on drivers habits can improve the effectiveness, while this field is under investigation.


title: COMPASS: Contrastive Multimodal Pretraining for Autonomous Systems

abstract: Learning representations that generalize across tasks and domains is challenging yet necessary for autonomous systems. Although task-driven approaches are appealing, designing models specific to each application can be difficult in the face of limited data, especially when dealing with highly variable multimodal input spaces arising from different tasks in different environments.We introduce the first general-purpose pretraining pipeline, COntrastive Multimodal Pretraining for AutonomouS Systems (COMPASS), to overcome the limitations of task-specific models and existing pretraining approaches. COMPASS constructs a multimodal graph by considering the essential information for autonomous systems and the properties of different modalities. Through this graph, multimodal signals are connected and mapped into two factorized spatio-temporal latent spaces: a "motion pattern space" and a "current state space." By learning from multimodal correspondences in each latent space, COMPASS creates state representations that models necessary information such as temporal dynamics, geometry, and semantics. We pretrain COMPASS on a large-scale multimodal simulation dataset TartanAir \cite{tartanair2020iros} and evaluate it on drone navigation, vehicle racing, and visual odometry tasks. The experiments indicate that COMPASS can tackle all three scenarios and can also generalize to unseen environments and real-world data.