title: PASTRIE: A Corpus of Prepositions Annotated with Supersense Tags in Reddit International English

abstract: We present the Prepositions Annotated with Supersense Tags in Reddit International English ("PASTRIE") corpus, a new dataset containing manually annotated preposition supersenses of English data from presumed speakers of four L1s: English, French, German, and Spanish. The annotations are comprehensive, covering all preposition types and tokens in the sample. Along with the corpus, we provide analysis of distributional patterns across the included L1s and a discussion of the influence of L1s on L2 preposition choice.


title: Operational Characterization of a Public Scientific Datacenter During and Beyond the COVID-19 Period

abstract: Datacenters are imperative for the digital society. They offer services such as computing, telecommunication, media, and entertainment. Datacenters, however, consume a lot of power. Thus, Improving datacenter operations is important and may result in better services, reduced energy consumption and reduced costs. To improve datacenters, we must understand what is going on inside them. Therefore, we use operational traces from a scientific cluster in the Netherlands to investigate and understand how that cluster operates. Due to work-from-home circumstance, the covid period might have changed our daily usage of online applications, such as zoom and google meet. In this research, we focus on the operations of a scientific cluster (LISA) inside the SURF datacenter. The global pandemic might have changed how the LISA cluster operates. To understand the change, we collect, combine, and analyze operational logs from the LISA cluster. The tool to collect the data that belongs to the non-covid period was accomplished in previous research. Nonetheless, both the tool and instrument to combine and analyze the traces are lacking. This research focuses on designing an instrument that can combine and analyze the traces during and before the coronavirus period. The instrument can also produce graphs for customarily selected rack, nodes and periods. Moreover, we characterize the traces that belong to the coronavirus period using the scientific instrument and additional tools. The outcome of this research helps us understand how the operations for a scientific cluster (LISA) in the Netherlands has changed after the global pandemic.


title: Knowledge Transfer based Radio and Computation Resource Allocation for 5G RAN Slicing

abstract: To implement network slicing in 5G, resource allocation is a key function to allocate limited network resources such as radio and computation resources to multiple slices. However, the joint resource allocation also leads to a higher complexity in the network management. In this work, we propose a knowledge transfer based resource allocation (KTRA) method to jointly allocate radio and computation resources for 5G RAN slicing. Compared with existing works, the main difference is that the proposed KTRA method has a knowledge transfer capability. It is designed to use the prior knowledge of similar tasks to improve performance of the target task, e.g., faster convergence speed or higher average reward. The proposed KTRA is compared with Qlearning based resource allocation (QLRA), and KTRA method presents a 18.4% lower URLLC delay and a 30.1% higher eMBB throughput as well as a faster convergence speed.


title: Parametric Variational Linear Units (PVLUs) in Deep Convolutional Networks

abstract: The Rectified Linear Unit is currently a state-of-the-art activation function in deep convolutional neural networks. To combat ReLU's dying neuron problem, we propose the Parametric Variational Linear Unit (PVLU), which adds a sinusoidal function with trainable coefficients to ReLU. Along with introducing nonlinearity and non-zero gradients across the entire real domain, PVLU acts as a mechanism of fine-tuning when implemented in the context of transfer learning. On a simple, non-transfer sequential CNN, PVLU substitution allowed for relative error decreases of 16.3% and 11.3% (without and with data augmentation) on CIFAR-100. PVLU is also tested on transfer learning models. The VGG-16 and VGG-19 models experience relative error reductions of 9.5% and 10.7% on CIFAR-10, respectively, after the substitution of ReLU with PVLU. When training on Gaussian-filtered CIFAR-10 images, similar improvements are noted for the VGG models. Most notably, fine-tuning using PVLU allows for relative error reductions up to and exceeding 10% for near state-of-the-art residual neural network architectures on the CIFAR datasets.


title: Blow-ups of Lie groupoids and Lie algebroids

abstract: In this master's thesis, we will go into the (projective) blow-up construction for Lie groupoids and Lie algebroids. In the literature, there are different methods to be found on how to do this, especially for Lie groupoids. The main goal of the thesis is to explain, in detail, the Lie groupoid and the Lie algebroid blow-up constructions, but also to examine and compare different points of view. More explicitly, we will rigorously explain the blow-up construction for Lie groupoids by Claire Debord and Georges Skandalis. Moreover, we will show that the blow-up construction for Lie groupoids by Songhao Li and Marco Gualtieri, and the construction by Kirsten Wang, fit into this setting. Also, we will show that, analogously, we obtain a general geometric blow-up construction for Lie algebroids. This construction for Lie algebroids coincides with the construction of lower elementary modification in the codimension one case (by e.g. Songhao Li and Marco Gualtieri, Melinda Lanius, or Ralph Klaasse). Examples that are discussed include the blow-up of a pair groupoid (resp. tangent bundle) along a pair groupoid (resp. tangent bundle), the blow-up of a groupoid (resp. algebroid) along the groupoid (resp. algebroid) restricted to a saturated submanifold, and the blow-up of a regularly foliated manifold along a leaf. The blow-up construction by Debord and Skandalis uses the theory of deformation to the normal cones. We will give a broad introduction to this theory and go into some of its known applications. We also discuss the observation made by Debord and Skandalis about Morita invariance of the construction of blow-up and of deformation to the normal cone.


title: A semi-supervised approach to dark matter searches in direct detection data with machine learning

abstract: The dark matter sector remains completely unknown. It is therefore crucial to keep an open mind regarding its nature and possible interactions. Focusing on the case of Weakly Interacting Massive Particles, in this work we make this general philosophy more concrete by applying modern machine learning techniques to dark matter direct detection. We do this by encoding and decoding the graphical representation of background events in the XENONnT experiment with a convolutional variational autoencoder. We describe a methodology that utilizes the `anomaly score' derived from the reconstruction loss of the convolutional variational autoencoder as well as a pre-trained standard convolutional neural network, in a semi-supervised fashion. Indeed, we observe that optimum results are obtained only when both unsupervised and supervised anomaly scores are considered together. A data set that has a higher proportion of anomaly score is deemed anomalous and deserves further investigation. Contrary to classical analyses, in principle all information about the events is used, preventing unnecessary information loss. Lastly, we demonstrate the reach of learning-focused anomaly detection in this context by comparing results with classical inference, observing that, if tuned properly, these techniques have the potential to outperform likelihood-based methods.


title: Being nice to the server: Wrapping a REST API for a cosmological distance/velocity calculator with Python

abstract: In this paper we present PyCF3, a python client for the cosmological distance-velocity calculator CosmicFlow-3. The project has a cache and retry system designed with the objective of reducing the stress on the server and mitigating the waiting times of the users in the calculations. We also address Quality Assurance code standards and availability of the code.


title: Localised Dirac eigenmodes and Goldstone's theorem at finite temperature

abstract: I show that a finite density of near-zero localised Dirac modes can lead to the disappearance of the massless excitations predicted by the finite-temperature version of Goldstone's theorem in the chirally broken phase of a gauge theory.


title: Unit conversions and collected numbers in cosmology

abstract: This note collects together useful unit conversions and numerical values from early universe cosmology. It is a quick reference that can be used to make easy order-of-magnitude estimates. Included are tables for unit conversions, the thermal history of the universe, and collected properties of astronomical objects. The note also introduces a modifiable Mathematica package NaturalUnits (newest version 2.0), which makes it easy to convert between natural and physical units.


title: Concurrent generative models inform prediction error in the human auditory pathway

abstract: Predictive coding is the leading algorithmic framework to understand how expectations shape our experience of reality. Its main tenet is that sensory neurons encode prediction error: the residuals between a generative model of the sensory world and the actual sensory input. However, it is yet unclear how this scheme generalises to the multi-level hierarchical architecture of sensory processing. Theoretical accounts of predictive coding agree that neurons computing prediction error and the generative model exist at all levels of the processing hierarchy. However, there is not a current consensus of how predictions from independent models at different stages are integrated during the computation of prediction error. Here we investigated predictive processing with respect to two independent concurrent generative models in the auditory pathway using functional magnetic resonance imaging. We used two paradigms where human participants listened to sequences of either pure tones or FM-sweeps while we recorded BOLD responses in inferior colliculus (IC), medial geniculate body (MGB), and auditory cortex (AC). Each paradigm included the induction of two generative models: one based on local stimulus statistics; and another model based on the subjective expectations induced by task instruction. We used Bayesian model comparison to test whether neural responses in IC, MGB, and AC encoded prediction error with respect to either of the two generative models, or a combination of both. Results showed that neural populations in bilateral IC, MGB, and AC encode prediction error with respect to a combination of the two generative models, suggesting that the predictive architecture of predictive coding might be more complex than previously hypothesised.


title: MiMeS: Misalignment Mechanism Solver

abstract: We introduce a C++ header-only library that is used to solve the axion equation of motion, MiMeS. MiMeS makes no assumptions regarding the cosmology and the mass of the axion, which allows the user to consider various cosmological scenarios and axion-like models. MiMeS also includes a convenient python interface that allows the library to be called without writing any code in C++, with minimal overhead.


title: The COSmic Monopole Observer (COSMO)

abstract: The COSmic Monopole Observer (COSMO) is an experiment to measure low-level spectral distortions in the isotropic component of the Cosmic Microwave Background (CMB). Deviations from a pure blackbody spectrum are expected at low level ($<$ 1 ppm) due to several astrophysical and cosmological phenomena, and promise to provide important independent information on the early and late phases of the universe. They have not been detected yet, due to the extreme accuracy required, the best upper limits being still those from the COBE-FIRAS mission. COSMO is based on a cryogenic differential Fourier Transform Spectrometer, measuring the spectral brightness difference between the sky and an accurate cryogenic blackbody. The first implementation of COSMO, funded by the Italian PRIN and PNRA programs, will operate from the Concordia station at Dome-C, in Antarctica, and will take advantage of a fast sky-dip technique to get rid of atmospheric emission and its fluctuations, separating them from the monopole component of the sky brightness. Here we describe the instrument design, its capabilities, the current status. We also discuss its subsequent implementation in a balloon-flight, which has been studied within the COSMOS program of the Italian Space Agency.


title: Confidence-Aware Active Feedback for Interactive Instance Search

abstract: Online relevance feedback (RF) is widely utilized in instance search (INS) tasks to further refine imperfect ranking results, but it often has low interaction efficiency. The active learning (AL) technique addresses this problem by selecting valuable feedback candidates. However, mainstream AL methods require an initial labeled set for a cold start and are often computationally complex to solve. Therefore, they cannot fully satisfy the requirements for online RF in interactive INS tasks. To address this issue, we propose a confidence-aware active feedback method (CAAF) that is specifically designed for online RF in interactive INS tasks. Inspired by the explicit difficulty modeling scheme in self-paced learning, CAAF utilizes a pairwise manifold ranking loss to evaluate the ranking confidence of each unlabeled sample. The ranking confidence improves not only the interaction efficiency by indicating valuable feedback candidates but also the ranking quality by modulating the diffusion weights in manifold ranking. In addition, we design two acceleration strategies, an approximate optimization scheme and a top-K search scheme, to reduce the computational complexity of CAAF. Extensive experiments on both image INS tasks and video INS tasks searching for buildings, landscapes, persons, and human behaviors demonstrate the effectiveness of the proposed method. Notably, in the real-world, large-scale video INS task of NIST TRECVID 2021, CAAF uses 25% fewer feedback samples to achieve a performance that is nearly equivalent to the champion solution. Moreover, with the same number of feedback samples, CAAF's mAP is 51.9%, significantly surpassing the champion solution by 5.9%. Code is available at https://github.com/nercms-mmap/caaf.


title: A decomposition for Levy processes inspected at Poisson moments

abstract: We consider a L\'evy process $Y(t)$ that is not permanently observed, but rather inspected at Poisson($\omega$) moments only, over an exponentially distributed time $T_\beta$ with parameter $\beta$. The focus lies on the analysis of the distribution of the running maximum at such inspection moments up to $T_\beta$, denoted by $Y_{\beta,\omega}$. Our main result is a decomposition: we derive a remarkable distributional equality that contains $Y_{\beta,\omega}$ as well as the running maximum process $\bar Y(t)$ at the exponentially distributed times $T_\beta$ and $T_{\beta+\omega}$. Concretely, $\overline{Y}(T_\beta)$ can be written the sum of the two independent random variables that are distributed as $Y_{\beta,\omega}$ and $\overline{Y}(T_{\beta+\omega})$. The distribution of $Y_{\beta,\omega}$ can be identified more explicitly in the two special cases of a spectrally positive and a spectrally negative L\'evy process. As an illustrative example of the potential of our results, we show how to determine the asymptotic behavior of the bankruptcy probability in the Cram\'er-Lundberg insurance risk model.


title: Game of Gradients: Mitigating Irrelevant Clients in Federated Learning

abstract: The paradigm of Federated learning (FL) deals with multiple clients participating in collaborative training of a machine learning model under the orchestration of a central server. In this setup, each client's data is private to itself and is not transferable to other clients or the server. Though FL paradigm has received significant interest recently from the research community, the problem of selecting the relevant clients w.r.t. the central server's learning objective is under-explored. We refer to these problems as Federated Relevant Client Selection (FRCS). Because the server doesn't have explicit control over the nature of data possessed by each client, the problem of selecting relevant clients is significantly complex in FL settings. In this paper, we resolve important and related FRCS problems viz., selecting clients with relevant data, detecting clients that possess data relevant to a particular target label, and rectifying corrupted data samples of individual clients. We follow a principled approach to address the above FRCS problems and develop a new federated learning method using the Shapley value concept from cooperative game theory. Towards this end, we propose a cooperative game involving the gradients shared by the clients. Using this game, we compute Shapley values of clients and then present Shapley value based Federated Averaging (S-FedAvg) algorithm that empowers the server to select relevant clients with high probability. S-FedAvg turns out to be critical in designing specific algorithms to address the FRCS problems. We finally conduct a thorough empirical analysis on image classification and speech recognition tasks to show the superior performance of S-FedAvg than the baselines in the context of supervised federated learning settings.


title: Asymmetric Diamond Emitters for Unidirectional Photon Coupling

abstract: The demand of single photon coupling to optical systems requires a suitable interface between negatively charged Nitrogen Vacancy (NV-) emitters in diamond to waveguides or optical circuits for applications in quantum network systems and in unidirectional emission with controlled photon states. Here, we propose a hybrid asymmetric structure of elliptically faceted (ELFA) diamond nanowire with Bragg Grating containing negatively charged NV center for efficient and unidirectional optical coupling to optical nanowire. Our calculations indicate that the structure can provide coupling efficiency of ~90% towards the elliptically facet direction and ~1% towards the opposite direction. Further, Purcell factor is enhanced due to the augmented electric field intensity in the Bragg Grating assisted ELFA structure. Further, we observe higher chirality constant for ELFA+BG structure -- an indicative of efficient unidirectional photon coupling. By integrating two ELFA diamond nanowire having opposite aligned elliptical facet can be used to design and develop complex optical circuits. Further, this structure can also be used as an inline polarizer filter where it can reflect only one particular mode (e.g. TE mode or TM mode) with higher extinct ratio. The hybrid structure can potentially be used for various applications in quantum photonics, quantum-nonlinear systems.


title: In Search of Probeable Generalization Measures

abstract: Understanding the generalization behaviour of deep neural networks is a topic of recent interest that has driven the production of many studies, notably the development and evaluation of generalization "explainability" measures that quantify model generalization ability. Generalization measures have also proven useful in the development of powerful layer-wise model tuning and optimization algorithms, though these algorithms require specific kinds of generalization measures which can probe individual layers. The purpose of this paper is to explore the neglected subtopic of probeable generalization measures; to establish firm ground for further investigations, and to inspire and guide the development of novel model tuning and optimization algorithms. We evaluate and compare measures, demonstrating effectiveness and robustness across model variations, dataset complexities, training hyperparameters, and training stages. We also introduce a new dataset of trained models and performance metrics, GenProb, for testing generalization measures, model tuning algorithms and optimization algorithms.


title: Adaptive Control of Underactuated Planar Pronking Hexapod

abstract: Underactuated legged robots depict highly nonlinear and complex dynamical behaviors that create significant challenges in accurately modeling system dynamics using both first principles and system identification approaches. Hence, it makes a more substantial challenge to design stabilizing controllers. If physical parameters on mathematical models have miscalibrations due to uncertainty in identifying and modeling processes, designed controllers could perform poorly or even result in unstable responses. Moreover, these parameters can certainly change-over-time due to operation and environmental conditions. In that respect, analogous to a living organism modifying its behavior in response to novel conditions, adapting/updating system parameters, such as spring constant, to compensate for modeling errors could provide the advantage of constructing a stable gait level controller without needing "exact" dynamical parameter values. This paper presents an online, model-based adaptive control approach for an underactuated planar hexapod robot's pronking behavior adopted from antelope species. We show through systematic simulation studies that the adaptive control policy is robust to high levels of parameter uncertainties compared to a non-adaptive model-based dead-beat controller.


title: espiownage: Tracking Transients in Steelpan Drum Strikes Using Surveillance Technology

abstract: We present an improvement in the ability to meaningfully track features in high speed videos of Caribbean steelpan drums illuminated by Electronic Speckle Pattern Interferometry (ESPI). This is achieved through the use of up-to-date computer vision libraries for object detection and image segmentation as well as a significant effort toward cleaning the dataset previously used to train systems for this application. Besides improvements on previous metric scores by 10% or more, noteworthy in this project are the introduction of a segmentation-regression map for the entire drum surface yielding interference fringe counts comparable to those obtained via object detection, as well as the accelerated workflow for coordinating the data-cleaning-and-model-training feedback loop for rapid iteration allowing this project to be conducted on a timescale of only 18 days.


title: Bloch Waves in High Contrast Electromagnetic Crystals

abstract: Analytic representation formulas and power series are developed describing the band structure inside non-magnetic periodic photonic three-dimensional crystals made from high dielectric contrast inclusions. Central to this approach is the identification and utilization of a resonance spectrum for quasiperiodic source-free modes. These modes are used to represent solution operators associated with electromagnetic and acoustic waves inside periodic high contrast media. A convergent power series for the Bloch wave spectrum is recovered from the representation formulas. Explicit conditions on the contrast are found that provide lower bounds on the convergence radius. These conditions are sufficient for the separation of spectral branches of the dispersion relation for any fixed quasi-momentum.


title: Fixed-Time Convergent Distributed Observer Design of Linear Systems: A Kernel-Based Approach

abstract: The robust distributed state estimation for a class of continuous-time linear time-invariant systems is achieved by a novel kernel-based distributed observer, which, for the first time, ensures fixed-time convergence properties. The communication network between the agents is prescribed by a directed graph in which each node involves a fixed-time convergent estimator. The local observer estimates and broadcasts the observable states among neighbours so that the full state vector can be recovered at each node and the estimation error reaches zero after a predefined fixed time in the absence of perturbation. This represents a new distributed estimation framework that enables faster convergence speed and further reduced information exchange compared to a conventional Luenberger-like approach. The ubiquitous time-varying communication delay across the network is suitably compensated by a prediction scheme. Moreover, the robustness of the algorithm in the presence of bounded measurement and process noise is characterised. Numerical simulations and comparisons demonstrate the effectiveness of the observer and its advantages over the existing methods.


title: The weight and rank filtrations

abstract: We compare the weight and stable rank filtrations of algebraic K-theory, and relate the Beilinson-Soul\'e vanishing conjecture to the author's connectivity conjecture.


title: The volume of a spherical antiprism

abstract: We consider a spherical antiprism. It is a convex polyhedron with $2n$ vertices in the spherical space $\mathbb{S}^3$. This polyhedron has a group of symmetries $S_{2n}$ generated by a mirror-rotational symmetry of order $2n$, i.e. rotation to the angle $\pi/n$ followed by a reflection. We establish necessary and sufficient conditions for the existence of such polyhedron in $\mathbb{S}^3$. Then we find relations between its dihedral angles and edge lengths in the form of cosine rules through a property of a spherical isosceles trapezoid. Finally, we obtain an explicit integral formula for the volume of a spherical antiprism in terms of the edge lengths.


title: Joint Beamforming and Interference Cancellation in MmWave Wideband Full-Duplex Systems

abstract: Full-duplex (FD) systems have the capability to transmit and receive at the same time in the same frequency band. FD systems can reduce congestion and latency and improve coverage and spectral efficiency. As a relay, they can increase range and decrease outages. Full-duplex (FD) wireless systems have been emerging as a practical solution to provide high bandwidth, low latency, and big data processing in millimeter wave and Terahertz systems to support cellular networks, autonomous driving, platooning, advanced driving assistance and other systems. However, FD systems suffer from loopback self-interference that can swamp the analog-to-digital converters (ADCs) resulting in very low spectral efficiency. In this context, we consider a cellular system wherein uplink and downlink users independently communicate with FD base station. The proposed contributions are (1) three hybrid beamforming algorithms to cancel self-interference and increase the received power, and (2) evaluation of outage probability, spectral efficiency, and energy efficiency of the proposed algorithms. We consider full-digital beamforming and upper bound as benchmarks. Finally, we show the resiliency of Algorithm 2 against self-interference in comparison with Algorithms 1 and 3, as well as conventional approaches such as beam steering, angle search and singular value decomposition.


title: Influence of vacancies on phonons and pressure phase transitions in TiO: a DFT study

abstract: Since recently, some interests appeared in TiO as a thin film coating material due to its promising physical properties. Moreover, because of the existence of intrinsic vacancies, TiO demonstrates memristive properties. To use these compounds in active region for memristive switching, the investigation of the dynamical stability of these compounds is of importance. Therefore, the structural, electronic, and dynamical properties of TiO in two different phases, namely cubic and monoclinic structures along with vacancies, are debated from the framework of density functional theory. The structural calculations show that the vacancies have quite an impact on the bulk modulus of these compounds. The electronic band structure remarks that these structures are metallic. In addition, there is an energy gap between O-2p and Ti-3d states in these compounds below the Fermi level that can be altered via vacancy concentration. The phonon calculations reveal that monoclinic structure is dynamically stable whereas the cubic phase is unstable at room temperature. Considering ~12.5% of both Ti and O vacancy concentration, eliminate the imaginary modes for the cubic structure. Moreover, the vacancy-free cubic structure can be stable above ~ 10 GPa applied pressure, which is consistent with the experiment. Additionally, phonon dispersion curves of TiOx compounds suggest that these materials are not favorable for thermal conductivity. The pressure phase transition results indicate the transition from monoclinic to vacant cubic TiO at ~8 GPa, whereas the monoclinic to vacancy-free cubic TiO transition occurs at ~ 44 GPa, which are in a good agreement with the recent reports. Therefore, it can be concluded that engineering of the vacancy sites and their concentration in TiO phases can play an important role in applying them in technological applications.


title: Treatment effect validation via a permutation test in Stata

abstract: In this paper we describe the testing procedure for assessing the statistical significance of treatment effect under the experimental conditions of baseline imbalance across covariates and attrition from the survey, using the permutation tests proposed by Freedman and Lane (1983) and Romano and Wolf (2016). We discuss the testing procedure for these hypotheses based on a linear regression model and introduce the new Stata command [R] permtest for the implementation of the permutation test in Stata. Moreover, we investigate the finite-sample performance as well as the statistical validity of the test with a Monte Carlo simulation study in which we examine the empirical size and power properties under the conditions of baseline imbalance and attrition for a fixed number of permutation steps.


title: Reciprocity and the Kernel of Dedekind Sums

abstract: We use the action of Atkin-Lehner operators to generate a family of reciprocity formulas for newform Dedekind sums. This family of reciprocity formulas provides symmetries which we use to investigate the kernel of these Dedekind sums.


title: Benchmarking of Lightweight Deep Learning Architectures for Skin Cancer Classification using ISIC 2017 Dataset

abstract: Skin cancer is one of the deadly types of cancer and is common in the world. Recently, there has been a huge jump in the rate of people getting skin cancer. For this reason, the number of studies on skin cancer classification with deep learning are increasing day by day. For the growth of work in this area, the International Skin Imaging Collaboration (ISIC) organization was established and they created an open dataset archive. In this study, images were taken from ISIC 2017 Challenge. The skin cancer images taken were preprocessed and data augmented. Later, these images were trained with transfer learning and fine-tuning approach and deep learning models were created in this way. 3 different mobile deep learning models and 3 different batch size values were determined for each, and a total of 9 models were created. Among these models, the NASNetMobile model with 16 batch size got the best result. The accuracy value of this model is 82.00%, the precision value is 81.77% and the F1 score value is 0.8038. Our method is to benchmark mobile deep learning models which have few parameters and compare the results of the models.


title: Self-Validation: Early Stopping for Single-Instance Deep Generative Priors

abstract: Recent works have shown the surprising effectiveness of deep generative models in solving numerous image reconstruction (IR) tasks, even without training data. We call these models, such as deep image prior and deep decoder, collectively as single-instance deep generative priors (SIDGPs). The successes, however, often hinge on appropriate early stopping (ES), which by far has largely been handled in an ad-hoc manner. In this paper, we propose the first principled method for ES when applying SIDGPs to IR, taking advantage of the typical bell trend of the reconstruction quality. In particular, our method is based on collaborative training and self-validation: the primal reconstruction process is monitored by a deep autoencoder, which is trained online with the historic reconstructed images and used to validate the reconstruction quality constantly. Experimentally, on several IR problems and different SIDGPs, our self-validation method is able to reliably detect near-peak performance and signal good ES points. Our code is available at https://sun-umn.github.io/Self-Validation/.


title: Optical activation and detection of charge transport between individual color centers in room-temperature diamond

abstract: Charge control of color centers in semiconductors promises opportunities for novel forms of sensing and quantum information processing. Here, we articulate confocal fluorescence microscopy and magnetic resonance protocols to induce and probe charge transport between discrete sets of engineered nitrogen-vacancy (NV) centers in diamond, down to the level of individual defects. In our experiments, a "source" NV undergoes optically-driven cycles of ionization and recombination to produce a stream of photo-generated carriers, one of which we subsequently capture via a "target" NV several micrometers away. We use a spin-to-charge conversion scheme to encode the spin state of the source color center into the charge state of the target, in the process allowing us to set an upper bound to carrier injection from other background defects. We attribute our observations to the action of unscreened Coulomb potentials producing giant carrier capture cross-sections, orders of magnitude greater than those typically attained in ensemble measurements. Besides their fundamental interest, these results open intriguing prospects in the use of free carriers as a quantum bus to mediate effective interactions between paramagnetic defects in a solid-state chip.


title: Inferring the sources of HIV infection in Africa from deep sequence data with semi-parametric Bayesian Poisson flow models

abstract: Pathogen deep-sequencing is an increasingly routinely used technology in infectious disease surveillance. We present a semi-parametric Bayesian Poisson model to exploit these emerging data for inferring infectious disease transmission flows and the sources of infection at the population level. The framework is computationally scalable in high dimensional flow spaces thanks to Hilbert Space Gaussian process approximations, allows for sampling bias adjustments, and estimation of gender- and age-specific transmission flows at finer resolution than previously possible. We apply the approach to densely sampled, population-based HIV deep-sequence data from Rakai, Uganda, and find substantive evidence that adolescent and young women are predominantly infected through age-disparate relationships.


title: "One-Shot" Reduction of Additive Artifacts in Medical Images

abstract: Medical images may contain various types of artifacts with different patterns and mixtures, which depend on many factors such as scan setting, machine condition, patients' characteristics, surrounding environment, etc. However, existing deep-learning-based artifact reduction methods are restricted by their training set with specific predetermined artifact types and patterns. As such, they have limited clinical adoption. In this paper, we introduce One-Shot medical image Artifact Reduction (OSAR), which exploits the power of deep learning but without using pre-trained general networks. Specifically, we train a light-weight image-specific artifact reduction network using data synthesized from the input image at test-time. Without requiring any prior large training data set, OSAR can work with almost any medical images that contain varying additive artifacts which are not in any existing data sets. In addition, Computed Tomography (CT) and Magnetic Resonance Imaging (MRI) are used as vehicles and show that the proposed method can reduce artifacts better than state-of-the-art both qualitatively and quantitatively using shorter test time.


title: Signal to Noise Ratio Loss Function

abstract: This work proposes a new loss function targeting classification problems, utilizing a source of information overlooked by cross entropy loss. First, we derive a series of the tightest upper and lower bounds for the probability of a random variable in a given interval. Second, a lower bound is proposed for the probability of a true positive for a parametric classification problem, where the form of probability density function (pdf) of data is given. A closed form for finding the optimal function of unknowns is derived to maximize the probability of true positives. Finally, for the case that the pdf of data is unknown, we apply the proposed boundaries to find the lower bound of the probability of true positives and upper bound of the probability of false positives and optimize them using a loss function which is given by combining the boundaries. We demonstrate that the resultant loss function is a function of the signal to noise ratio both within and across logits. We empirically evaluate our proposals to show their benefit for classification problems.


title: Coarse-Grained Smoothness for RL in Metric Spaces

abstract: Principled decision-making in continuous state--action spaces is impossible without some assumptions. A common approach is to assume Lipschitz continuity of the Q-function. We show that, unfortunately, this property fails to hold in many typical domains. We propose a new coarse-grained smoothness definition that generalizes the notion of Lipschitz continuity, is more widely applicable, and allows us to compute significantly tighter bounds on Q-functions, leading to improved learning. We provide a theoretical analysis of our new smoothness definition, and discuss its implications and impact on control and exploration in continuous domains.


title: The JUNO experiment and its electronics readout system

abstract: The main goal of the Jiangmen Underground Neutrino Observatory (JUNO) under construction in China is to determine the neutrino mass hierarchy and to measure oscillation parameters to the sub-percent level. The detector consists of 20 ktons of liquid scintillator instrumented by 17612 20-inch photo-multiplier tubes, and 25600 3-inch small PMTs, with photo-cathode coverage of 77%. The electronics system is separated into two main parts. The front-end system, sitting under water, performs analog signal processing. The back-end electronics system, sitting outside water, consists of the DAQ and the trigger. The current production status of the experiment as well as the design of the electronics system will be reported in the presentation.


title: Two-Point Boundary Value Problems on Diffeomorphism Groups

abstract: We consider a variety of geodesic equations on Sobolev diffeomorphism groups, including the equations of ideal hydrodynamics. We prove that solutions of the corresponding two-point boundary value problems are precisely as smooth as their boundary conditions. We further utilise this regularity property to construct continuously differentiable exponential maps in the Frech\'et setting.


title: SCHA-VAE: Hierarchical Context Aggregation for Few-Shot Generation

abstract: A few-shot generative model should be able to generate data from a novel distribution by only observing a limited set of examples. In few-shot learning the model is trained on data from many sets from distributions sharing some underlying properties such as sets of characters from different alphabets or objects from different categories. We extend current latent variable models for sets to a fully hierarchical approach with an attention-based point to set-level aggregation and call our method SCHA-VAE for Set-Context-Hierarchical-Aggregation Variational Autoencoder. We explore likelihood-based model comparison, iterative data sampling, and adaptation-free out-of-distribution generalization. Our results show that the hierarchical formulation better captures the intrinsic variability within the sets in the small data regime. This work generalizes deep latent variable approaches to few-shot learning, taking a step toward large-scale few-shot generation with a formulation that readily works with current state-of-the-art deep generative models.


title: Quantized single-particle Thouless pump induced by topology transfer from a Chern insulator at finite temperature

abstract: Quantized particle or spin transport upon cyclic parameter variations, determined by topological invariants, is a key signature of Chern insulators in the ground state. While measurable many-body observables exist that preserve the integrity of topological invariants also at finite temperature, quantized transport is generically lost. We here show that a coupling of a one-dimensional Chern insulator at arbitrary finite temperature to an auxiliary lattice can induce quantized transport determined by the finite-temperature invariant. We show for the example of a Rice-Mele model that the spatial distribution of a single particle in the auxiliary chain moves by a quantized number of unit cells in a Thouless cycle when subtracting a spatially homogeneous offset even at a temperature exceeding the band gap.


title: On Seven Fundamental Optimization Challenges in Machine Learning

abstract: Many recent successes of machine learning went hand in hand with advances in optimization. The exchange of ideas between these fields has worked both ways, with machine learning building on standard optimization procedures such as gradient descent, as well as with new directions in the optimization theory stemming from machine learning applications. In this thesis, we discuss new developments in optimization inspired by the needs and practice of machine learning, federated learning, and data science. In particular, we consider seven key challenges of mathematical optimization and develop a solution to each. Our first contribution is the resolution of a key open problem in Federated Learning: we establish the first theoretical guarantees for the famous Local SGD algorithm in the heterogeneous data regime. As the second challenge, we close the gap between the upper and lower bounds for the theory of two algorithms known as Random Reshuffling (RR) and Shuffle-Once that are widely used in practice, and set as the default data selection strategies for SGD in modern machine learning software. Our third contribution can be seen as a combination of our new theory for proximal RR and Local SGD yielding a new algorithm, which we call FedRR. Unlike Local SGD, FedRR can provably beat gradient descent in communication complexity in the heterogeneous data regime. The fourth challenge is related to the class of adaptive methods. In particular, we present the first parameter-free stepsize rule for gradient descent that provably works for any locally smooth convex objective. The fifth challenge is the development of an algorithm for distributed optimization with quantized updates that preserves linear convergence of gradient descent. Finally, in our sixth and seventh challenges, we develop new VR mechanisms applicable to the non-smooth setting based on proximal operators.


title: MAD Risk Parity Portfolios

abstract: In this paper, we investigate the features and the performance of the Risk Parity (RP) portfolios using the Mean Absolute Deviation (MAD) as a risk measure. The RP model is a recent strategy for asset allocation that aims at equally sharing the global portfolio risk among all the assets of an investment universe. We discuss here some existing and new results about the properties of MAD that are useful for the RP approach. We propose several formulations for finding MAD-RP portfolios computationally, and compare them in terms of accuracy and efficiency. Furthermore, we provide extensive empirical analysis based on three real-world datasets, showing that the performances of the RP approaches generally tend to place both in terms of risk and profitability between those obtained from the minimum risk and the Equally Weighted strategies.


title: Perineural Invasion Detection in Multiple Organ Cancer Based on Deep Convolutional Neural Network

abstract: Perineural invasion (PNI) by malignant tumor cells has been reported as an independent indicator of poor prognosis in various cancers. Assessment of PNI in small nerves on glass slides is a labor-intensive task. In this study, we propose an algorithm to detect the perineural invasions in colon, prostate, and pancreas cancers based on a convolutional neural network (CNN).


title: A phase-field model for thermo-mechanical fracture with an open-source implementation of it using Gridap in Julia

abstract: In this article, we propose a thermodynamically consistent phase-field model for thermo-mechanical fracture and provide an open-source implementation of the proposed model using a recently developed finite element toolbox, Gridap in Julia. Here, we have derived the balance equations for the thermo-mechanical fracture by invoking the virtual power principle and determined the constitutive relations for the thermodynamic fluxes based on the satisfaction of the thermodynamic laws. Our proposed formulation provides an equation of temperature evolution that can easily accommodate dissipative effects such as viscous damping. One may consider the proposed model as a non-trivial extension of a recently developed iso-thermal phase-field model by Dhas {\it{et al.}} \cite{dhas2018phase} for the non-isothermal case. We provide very compact and user-friendly open-source codes for implementing the proposed model using Gridap in Julia that requires very low memory usage and gives a high degree of flexibility to the users in defining weak forms of the governing partial differential equations. We have validated the proposed model and its implementation against such standard results available in the literature as crack propagation in the cruciform shape material, single edge-notched plate, bi-material beam and a quenching test.


title: Generalized Resubstitution for Classification Error Estimation

abstract: We propose the family of generalized resubstitution classifier error estimators based on empirical measures. These error estimators are computationally efficient and do not require re-training of classifiers. The plain resubstitution error estimator corresponds to choosing the standard empirical measure. Other choices of empirical measure lead to bolstered, posterior-probability, Gaussian-process, and Bayesian error estimators; in addition, we propose bolstered posterior-probability error estimators as a new family of generalized resubstitution estimators. In the two-class case, we show that a generalized resubstitution estimator is consistent and asymptotically unbiased, regardless of the distribution of the features and label, if the corresponding generalized empirical measure converges uniformly to the standard empirical measure and the classification rule has a finite VC dimension. A generalized resubstitution estimator typically has hyperparameters that can be tuned to control its bias and variance, which adds flexibility. Numerical experiments with various classification rules trained on synthetic data assess the thefinite-sample performance of several representative generalized resubstitution error estimators. In addition, results of an image classification experiment using the LeNet-5 convolutional neural network and the MNIST data set demonstrate the potential of this class of error estimators in deep learning for computer vision.


title: A data-informed mean-field approach to mapping of cortical parameter landscapes

abstract: Constraining the many biological parameters that govern cortical dynamics is computationally and conceptually difficult because of the curse of dimensionality. This paper addresses these challenges by proposing (1) a novel data-informed mean-field (MF) approach to efficiently map the parameter space of network models; and (2) an organizing principle for studying parameter space that enables the extraction biologically meaningful relations from this high-dimensional data. We illustrate these ideas using a large-scale network model of the Macaque primary visual cortex. Of the 10-20 model parameters, we identify 7 that are especially poorly constrained, and use the MF algorithm in (1) to discover the firing rate contours in this 7D parameter cube. Defining a "biologically plausible" region to consist of parameters that exhibit spontaneous Excitatory and Inhibitory firing rates compatible with experimental values, we find that this region is a slightly thickened codimension-1 submanifold. An implication of this finding is that while plausible regimes depend sensitively on parameters, they are also robust and flexible provided one compensates appropriately when parameters are varied. Our organizing principle for conceptualizing parameter dependence is to focus on certain 2D parameter planes that govern lateral inhibition: Intersecting these planes with the biologically plausible region leads to very simple geometric structures which, when suitably scaled, have a universal character independent of where the intersections are taken. In addition to elucidating the geometry of the plausible region, this invariance suggests useful approximate scaling relations. Our study offers, for the first time, a complete characterization of the set of all biologically plausible parameters for a detailed cortical model, which has been out of reach due to the high dimensionality of parameter space.


title: Phase Transitions and the Theory of Early Warning Indicators for Critical Transitions

abstract: Critical transitions, or large changes in the state of a system after a small change in the system's external conditions or parameters, commonly occur in a wide variety of disciplines, from the biological and social sciences to physics. Statistical physics first confronted the problem of emergent phenomena such as critical transitions in the 1800s and 1900s, culminating in the theory of phase transitions. However, although phase transitions show a strong resemblance to critical transitions, the theoretical connections between the two sets of phenomena are tenuous at best, and it would be advantageous to make them more concrete in order to take advantage of the theoretical methods developed by physicists to study phase transitions. Here we attempt to explicitly connect the theory of critical transitions to phase transitions in physics. We initially find something paradoxical, that many critical transitions closely resemble first-order phase transitions, but that many of the early warning indicators developed to anticipate critical transitions, such as critical slowing down or increasing spatial correlations, occur instead in second-order phase transitions. We attempt to reconcile these disparities by making the connection with other phenomena associated with first-order phase transitions, such as spinodal instabilities and metastable states.


title: Path Signature Area-Based Causal Discovery in Coupled Time Series

abstract: Coupled dynamical systems are frequently observed in nature, but often not well understood in terms of their causal structure without additional domain knowledge about the system. Especially when analyzing observational time series data of dynamical systems where it is not possible to conduct controlled experiments, for example time series of climate variables, it can be challenging to determine how features causally influence each other. There are many techniques available to recover causal relationships from data, such as Granger causality, convergent cross mapping, and causal graph structure learning approaches such as PCMCI. Path signatures and their associated signed areas provide a new way to approach the analysis of causally linked dynamical systems, particularly in informing a model-free, data-driven approach to algorithmic causal discovery. With this paper, we explore the use of path signatures in causal discovery and propose the application of confidence sequences to analyze the significance of the magnitude of the signed area between two variables. These confidence sequence regions converge with greater sampling length, and in conjunction with analyzing pairwise signed areas across time-shifted versions of the time series, can help identify the presence of lag/lead causal relationships. This approach provides a new way to define the confidence of a causal link existing between two time series, and ultimately may provide a framework for hypothesis testing to define whether one time series causes another


title: pystorms: A simulation sandbox for the development and evaluation of stormwater control algorithms

abstract: Recent accessibility of affordable sensing technologies, microcontrollers, and wireless communication technology has made it possible for stormwater systems to be retrofitted with an assortment of sensors and actuators. These smart stormwater systems have enabled the real-time sensing of their surrounding environmental dynamics, and subsequently, provide the basis for autonomous and adaptive operational control strategies. Additionally, these systems allow for inexpensive and minimally-invasive stormwater control interventions (e.g. hydraulic valve operated by cellularly-connected actuator) in lieu of new construction. However promising this area of smart stormwater control, there still remain barriers -- for experts and novices alike -- to access a set of shared tools and methods for investigating, developing, and contributing to it. In an effort to make smart stormwater control research more methodical, efficient, and accessible, we present pystorms, a Python-based simulation sandbox that facilitates the quantitative evaluation and comparison of control strategies. The pystorms simulation sandbox comes with (i) a collection of real world-inspired stormwater control scenarios on which any number of control strategies can be applied and tested via (ii) an accompanying Python programming interface coupled with a stormwater simulator. For the first time, pystorms enables rigorous and efficient evaluation of smart stormwater control methodologies across a diverse set of watersheds with only a few lines of code. We present the details of pystorms here and demonstrate its usage by applying and evaluating two stormwater control strategies.


title: Face sketch to photo translation using generative adversarial networks

abstract: Translating face sketches to photo-realistic faces is an interesting and essential task in many applications like law enforcement and the digital entertainment industry. One of the most important challenges of this task is the inherent differences between the sketch and the real image such as the lack of color and details of the skin tissue in the sketch. With the advent of adversarial generative models, an increasing number of methods have been proposed for sketch-to-image synthesis. However, these models still suffer from limitations such as the large number of paired data required for training, the low resolution of the produced images, or the unrealistic appearance of the generated images. In this paper, we propose a method for converting an input facial sketch to a colorful photo without the need for any paired dataset. To do so, we use a pre-trained face photo generating model to synthesize high-quality natural face photos and employ an optimization procedure to keep high-fidelity to the input sketch. We train a network to map the facial features extracted from the input sketch to a vector in the latent space of the face generating model. Also, we study different optimization criteria and compare the results of the proposed model with those of the state-of-the-art models quantitatively and qualitatively. The proposed model achieved 0.655 in the SSIM index and 97.59% rank-1 face recognition rate with higher quality of the produced images.


title: Thermal convection in a linearly viscous fluid overlying a bidisperse porous medium

abstract: A bidisperse porous medium is one with two porosity scales. There are the usual pores known as macro pores but also cracks or fissures in the skeleton which give rise to micro pores. In this article we develop and analyse a model for thermal convection where a layer of viscous incompressible fluid overlies a layer of bidisperse porous medium. Care has to be taken with the boundary conditions at the interface of the fluid and the porous material and this aspect is investigated. The situation is one in a layer which is heated from below and under appropriate conditions bimodal neutral curves are found. These depend on the ratio ${\hat d}$ of the depth $d$ of the fluid layer to the depth $d_m$ of the porous layer. We show that there is a critical value of ${\hat d}$ such that below this value convective motion initiates in the porous layer whereas for ${\hat d}$ above this value the convective instability commences in the fluid layer.


title: Federated Multiple Label Hashing (FedMLH): Communication Efficient Federated Learning on Extreme Classification Tasks

abstract: Federated learning enables many local devices to train a deep learning model jointly without sharing the local data. Currently, most of federated training schemes learns a global model by averaging the parameters of local models. However, most of these training schemes suffer from high communication cost resulted from transmitting full local model parameters. Moreover, directly averaging model parameters leads to a significant performance degradation, due to the class-imbalanced non-iid data on different devices. Especially for the real life federated learning tasks involving extreme classification, (1) communication becomes the main bottleneck since the model size increases proportionally to the number of output classes; (2) extreme classification (such as user recommendation) normally have extremely imbalanced classes and heterogeneous data on different devices. To overcome this problem, we propose federated multiple label hashing (FedMLH), which leverages label hashing to simultaneously reduce the model size (up to 3.40X decrease) with communication cost (up to 18.75X decrease) and achieves significant better accuracy (up to 35.5%} relative accuracy improvement) and faster convergence rate (up to 5.5X increase) for free on the federated extreme classification tasks compared to federated average algorithm.


title: Hawking-Like Radiation as Tunneling from a Cosmological Black Hole in Modified Gravity: Semiclassical Approximation and Beyond

abstract: Hawking radiation as a quantum phenomenon is generally attributed to the existence of the event horizon of a black hole. However, we demonstrate in this paper that there is indeed ingoing Hawking-like radiation associated with apparent horizons of the first cosmological black hole solution in the framework of Scalar-Tensor-Vector Gravity (STVG) theory living in the Friedmann-Lema\^{\i}tre-Robertson-Walker (FLRW) background. Such radiation can be attributed also to the cosmological apparent horizon of the FLRW universe and even to the cosmological event horizon of de Sitter spacetime. We see how STVG theory as a good theory for explaining black holes both on local and global scales affect the Hawking effect. Based on semiclassical approximation, we follow Hamilton-Jacobi and Parikh-Wilczek tunneling methods, respectively with and without back-reaction effects. We find out that back-reaction effects make a correlation between the emission modes in Parikh-Wilczek tunneling formalism, which can address the information paradox. We obtain the corresponding Hawking-like temperature as a function of inverse powers of apparent horizons radiuses of the cosmological black hole in STVG theory. We analyze the influence of the STVG parameter associated with a deviation of the STVG theory from General Theory of Relativity (GR) on both apparent horizons and the Hawking-like temperature of the cosmological black hole. We show that increasing the STVG parameter results in appearing the Hawking-like temperature in later cosmic times with some smaller values. Also, we follow the Hamilton-Jacobi approach beyond semiclassical approximation to involve all quantum correction terms in the deduced semiclassical outcomes for the cosmological black hole in the STVG theory.


title: An analysis of the spectroscopic signatures of layering in the ejecta of type Iax supernovae

abstract: Investigations of some type Iax supernovae have led to the suggestion that their ejecta must be layered to some degree. Such an ejecta structure has been argued as inconsistent with the well-mixed composition predicted by pure deflagrations. Based on explosion models, we create toy models in which the ejecta are artificially stratified and progressively mixed until a uniform composition is obtained. We find that models that are heavily mixed, containing burned and unburned material at all velocities, produce reasonably good agreement with SN 2012Z, for which a layered structure has been suggested. We also discuss how existing ejecta compositions determined for type Iax supernovae do not necessarily contradict pure deflagration models and may be consistent with a steeper density profile. We investigate previous claims that differences in line profile shapes may be due to strong blending, by presenting a series of models with different plasma states. These models indicate that blending could indeed explain differences in the observed profiles. Alternatively, stratification could also explain such differences, however all of our models indicate that this does not necessarily require stratification in abundance. Sufficient stratification in ionisation state can be achieved even for a well-mixed model. Based on our analysis, we demonstrate that there is insufficient evidence to suggest the ejecta of type Iax supernovae must be layered and therefore argue the pure deflagration scenario is not ruled out, even for the brightest type Iax supernovae. Our analysis does not indicate the ejecta cannot be layered to some degree, but observations within days of explosion are necessary to determine the extent to which the outer ejecta could be layered.


title: A simple model to include initial-state and hot-medium effects in the computation of quarkonium nuclear modification factor

abstract: Quarkonium suppression is one of the more useful observables to obtain information about the hot medium created in ultrarelativistic heavy-ion collisions. In this manuscript, we discuss a simple way to implement both the initial-state effects and the hot-medium evolution, and to compute the quarkonium nuclear modification factor if the survival probability for a bound state at a given energy density is known. Based on the Glauber model, the temperature of the evolving medium and the centrality dependence of the nuclear modification factor will be analysed.


title: Cybersecurity Misinformation Detection on Social Media: Case Studies on Phishing Reports and Zoom's Threats

abstract: Prior work has extensively studied misinformation related to news, politics, and health, however, misinformation can also be about technological topics. While less controversial, such misinformation can severely impact companies' reputations and revenues, and users' online experiences. Recently, social media has also been increasingly used as a novel source of knowledgebase for extracting timely and relevant security threats, which are fed to the threat intelligence systems for better performance. However, with possible campaigns spreading false security threats, these systems can become vulnerable to poisoning attacks. In this work, we proposed novel approaches for detecting misinformation about cybersecurity and privacy threats on social media, focusing on two topics with different types of misinformation: phishing websites and Zoom's security & privacy threats. We developed a framework for detecting inaccurate phishing claims on Twitter. Using this framework, we could label about 9% of URLs and 22% of phishing reports as misinformation. We also proposed another framework for detecting misinformation related to Zoom's security and privacy threats on multiple platforms. Our classifiers showed great performance with more than 98% accuracy. Employing these classifiers on the posts from Facebook, Instagram, Reddit, and Twitter, we found respectively that about 18%, 3%, 4%, and 3% of posts were misinformation. In addition, we studied the characteristics of misinformation posts, their authors, and their timelines, which helped us identify campaigns.


title: On the detection of multiple shock fronts in A1914 using deep Chandra X-ray observations

abstract: Here, we report the new detection of three shock fronts using archival \textit{Chandra} X-ray observations in Abell 1914, which also hosts a radio halo, a radio phoenix, and a head-tail galaxy. In this study, we report the X-ray shock front at the position of the radio phoenix, which further strengthens the scenario that radio phoenix traces old plasma that gets lit up when compressed by shock passage. We further analyze the thermodynamic structure of the cluster in detail. We create temperature maps of A1914 using three different techniques, Adaptive Circular Binning (ACB), Weighted Voronoi Tessellations (WVT), and Contour binning (Contbin) method. These thermodynamic maps, along with the pseudo pressure and the pseudo entropy maps for the cluster, are evidence of disturbed morphology produced by multiple merger events. These merger events create cluster-wide turbulence, which may re-accelerate the relativistic particles and result in a radio halo within the cluster. Further, comparing X-ray and radio images reveals that the radio halo is contained within two X-ray shock fronts. Our analysis suggests that A1914 has both equatorial shock and axial shock within the cluster's ICM. We proposed a dual merging scenario based on the shock position and analysis of the thermodynamic maps obtained from the deeper \textit{Chandra} X-ray observations.


title: Astroparticle physics with compact objects

abstract: Probing the existence of hypothetical particles beyond the Standard model often deals with extreme parameters: large energies, tiny cross-sections, large time scales, etc. Sometimes laboratory experiments can test required regions of parameter space, but more often natural limitations leads to poorly restrictive upper limits. In such cases astrophysical studies can help to expand the range of values significantly. Among astronomical sources, used in interests of fundamental physics, compact objects -- neutron stars and white dwarfs, -- play a leading role. We review several aspects of astroparticle physics studies related to observations and properties of these celestial bodies. Dark matter particles can be collected inside compact objects resulting in additional heating or collapse. We summarize regimes and rates of particle capturing as well as possible astrophysical consequences. Then we focus on a particular type of hypothetical particles -- axions. Their existence can be uncovered due to observations of emission originated due to Primakoff process in magnetospheres of neutron stars or white dwarfs. Alternatively, they can contribute to cooling of these compact objects. We present results in these areas, including upper limits based on recent observations.


title: Exploring quantum quasicrystal patterns: a variational study

abstract: We study the emergence of quasicrystal configurations produced purely by quantum fluctuations in the ground-state phase diagram of interacting bosonic systems. By using a variational mean-field approach, we determine the relevant features of the pair interaction potential that stabilize such quasicrystalline states in two dimensions. Unlike their classical counterpart, in which the interplay between only two wave vectors determines the resulting symmetries of the solutions, the quantum picture relates in a more complex way to the instabilities of the excitation spectrum. Moreover, the quantum quasicrystal patterns are found to emerge as the ground state with no need of moderate thermal fluctuations. The study extends to the exploration of the excitation properties and the possible existence of super-quasicrystals, i.e. supersolid-like quasicrystalline states in which the long-range non-periodic density profile coexist with a non-zero superfluid fraction. Our calculations show that, in an intermediate region between the homogeneous superfluid and the normal quasicrystal phases, these exotic states indeed exist at zero temperature. Comparison with full numerical simulations provides a solid verification of the variational approach adopted in this work.


title: The twistor geometry of parabolic structures in rank two

abstract: Let $X$ be a quasi-projective curve, compactified to $(Y,D)$ with $X=Y-D$. We construct a Deligne-Hitchin twistor space out of moduli spaces of framed $\lambda$-connections of rank $2$ over $Y$ with logarithmic singularities and quasi-parabolic structure along $D$. To do this, one should divide by a Hecke-gauge groupoid. Tame harmonic bundles on $X$ give preferred sections, and the relative tangent bundle along a preferred section has a mixed twistor structure with weights $0,1,2$. The weight $2$ piece corresponds to the deformations of the KMS structure including parabolic weights and the residues of the $\lambda$-connection.


title: Map Induction: Compositional spatial submap learning for efficient exploration in novel environments

abstract: Humans are expert explorers. Understanding the computational cognitive mechanisms that support this efficiency can advance the study of the human mind and enable more efficient exploration algorithms. We hypothesize that humans explore new environments efficiently by inferring the structure of unobserved spaces using spatial information collected from previously explored spaces. This cognitive process can be modeled computationally using program induction in a Hierarchical Bayesian framework that explicitly reasons about uncertainty with strong spatial priors. Using a new behavioral Map Induction Task, we demonstrate that this computational framework explains human exploration behavior better than non-inductive models and outperforms state-of-the-art planning algorithms when applied to a realistic spatial navigation domain.


title: Lattice study of the confinement/deconfinement transition in rotating gluodynamics

abstract: We study the influence of relativistic rotation on the confinement/deconfinement phase transition in gluodynamics by means of lattice simulations. The simulation is performed in the reference frame which rotates with the system under investigation, where rotation is reduced to external gravitational field. The Polyakov loop and its susceptibility are calculated for various lattice parameters and values of angular velocities which are characteristic for heavy-ion collision experiments. Different types of boundary conditions (open, periodic, Dirichlet) are imposed in directions, orthogonal to rotation axis. It is shown, that the critical temperature of the confinement/deconfinement transition in gluodynamics grows quadratically with increasing angular velocity. This conclusion does not depend on the boundary conditions used in our study and we believe that this is universal property of gluodynamics. We also present first results of the study of the phase diagram of rotating QCD matter with fermions. The results indicate, that effect of the rotation on fermions is opposite to gluons: it leads to the decrease of the critical temperature.


title: Acoustic-phonon-mediated superconductivity in Bernal bilayer graphene

abstract: We present a systematic theory of acoustic-phonon-mediated superconductivity, which incorporates Coulomb repulsion, explaining the recent experiment in Bernal bilayer graphene under a large displacement field. The acoustic-phonon mechanism predicts that $s$-wave spin-singlet and $f$-wave spin-triplet pairings are degenerate and dominant. Assuming a spin-polarized valley-unpolarized normal state, we obtain $f$-wave spin-triplet superconductivity with a $T_c\sim 20$ mK near $n_e=-0.6\times 10^{12}$ cm$^{-2}$ for hole doping, in approximate agreement with the experiment. We further predict the existence of superconductivity for larger doping in both electron-doped and hole-doped regimes. Our results indicate that the observed spin-triplet superconductivity in Bernal bilayer graphene arises from acoustic phonons.


title: A Study of Acoustic Features in Arabic Speaker Identification under Noisy Environmental Conditions

abstract: One of the major parts of the voice recognition field is the choice of acoustic features which have to be robust against the variability of the speech signal, mismatched conditions, and noisy environments. Thus, different speech feature extraction techniques have been developed. In this paper, we investigate the robustness of several front-end techniques in Arabic speaker identification. We evaluate five different features in babble, factory and subway conditions at the various signal to noise ratios (SNR). The obtained results showed that two of the auditory feature i.e. gammatone frequency cepstral coefficient (GFCC) and power normalization cepstral coefficients (PNCC), unlike their combination performs substantially better than a conventional speaker features i.e. Mel-frequency cepstral coefficients (MFCC).


title: Homotopy momentum sections on multisymplectic manifolds

abstract: We introduce a notion of a homotopy momentum section on a Lie algebroid over a pre-multisymplectic manifold. A homotopy momentum section is a generalization of the momentum map with a Lie group action and the momentum section on a pre-symplectic manifold, and is also regarded as a generalization of the homotopy momentum map on a multisymplectic manifold. We show that a gauged nonlinear sigma model with Wess-Zumino term with Lie algebroid gauging has the homotopy momentum section structure.


title: Fully Distributed Actor-Critic Architecture for Multitask Deep Reinforcement Learning

abstract: We propose a fully distributed actor-critic architecture, named Diff-DAC, with application to multitask reinforcement learning (MRL). During the learning process, agents communicate their value and policy parameters to their neighbours, diffusing the information across a network of agents with no need for a central station. Each agent can only access data from its local task, but aims to learn a common policy that performs well for the whole set of tasks. The architecture is scalable, since the computational and communication cost per agent depends on the number of neighbours rather than the overall number of agents. We derive Diff-DAC from duality theory and provide novel insights into the actor-critic framework, showing that it is actually an instance of the dual ascent method. We prove almost sure convergence of Diff-DAC to a common policy under general assumptions that hold even for deep-neural network approximations. For more restrictive assumptions, we also prove that this common policy is a stationary point of an approximation of the original problem. Numerical results on multitask extensions of common continuous control benchmarks demonstrate that Diff-DAC stabilises learning and has a regularising effect that induces higher performance and better generalisation properties than previous architectures.


title: Characterizing The Limits of Linear Modeling of Non-Linear Swarm Behaviors

abstract: We study the limits of linear modeling of swarm behavior by characterizing the inflection point beyond which linear models of swarm collective behavior break down. The problem we consider is a central place object gathering task. We design a linear model which strives to capture the underlying dynamics of object gathering in robot swarms from first principles, rather than extensively relying on post-hoc model fitting. We evaluate our model with swarms of up to 8,000 robots in simulation, demonstrating that it accurately captures underlying swarm behavioral dynamics when the swarm can be approximated using the mean-field model, and when it cannot, and finite-size effects are present. We further apply our model to swarms exhibiting non-linear behaviors, and show that it still provides accurate predictions in some scenarios, thereby establishing better practical limits on linear modeling of swarm behaviors.


title: A Layer-wise Adversarial-aware Quantization Optimization for Improving Robustness

abstract: Neural networks are getting better accuracy with higher energy and computational cost. After quantization, the cost can be greatly saved, and the quantized models are more hardware friendly with acceptable accuracy loss. On the other hand, recent research has found that neural networks are vulnerable to adversarial attacks, and the robustness of a neural network model can only be improved with defense methods, such as adversarial training. In this work, we find that adversarially-trained neural networks are more vulnerable to quantization loss than plain models. To minimize both the adversarial and the quantization losses simultaneously and to make the quantized model robust, we propose a layer-wise adversarial-aware quantization method, using the Lipschitz constant to choose the best quantization parameter settings for a neural network. We theoretically derive the losses and prove the consistency of our metric selection. The experiment results show that our method can effectively and efficiently improve the robustness of quantized adversarially-trained neural networks.


title: Control of Orbital Angular Momentum Regimen by Modulated Metasurface Leaky-Wave Antennas

abstract: In this paper, we present the design procedure of modulated metasurface leaky-wave antennas (MMLWAs) to generate coaxial superposition of vortex beams with several orbital angular momentum (OAM) states. Based on the Flat Optics (FO) technique and aperture field estimation (AFE) method, an analytical framework is proposed to facilitate the implementation of MMLWAs generating multiple topological charges in the OAM regimen. Furthermore, using the spectral analysis which has been derived from the proposed model, we have shown that the symmetry of aperture shape can affect the purity of the mode. Also the perfectly symmetric circular shape is introduced as an ideal choice for high-purity vortex generation. This single aperture antenna with embedded monopole feed can be an appropriate alternative to more complex vortex beam generators such as spiral phase plates and circular antenna arrays.


title: Data-driven estimation of system norms via impulse response

abstract: This paper proposes a method for estimating the norms of a system in a pure data-driven fashion based on their identified Impulse Response (IR) coefficients. The calculation of norms is briefly reviewed and the main expressions for the IR-based estimations are presented. As a case study, the $\mathcal{H}_{1}$, $\mathcal{H}_2$, and $\mathcal{H}_{\infty}$ norms of the sensitivity transfer function of five different discrete-time closed-loop systems are estimated for a Signal-to-Noise-Ratio (SNR) of 10 dB, achieving low percent error values if compared to the real value. To verify the influence of the noise amplitude, norms are estimated considering a wide range of SNR values, for a specific system, presenting low Mean Percent Error (MPE) if compared to the real norms. The proposed technique is also compared to an existing state-space-based method in terms of $\mathcal{H}_{\infty}$, through Monte Carlo, showing a reduction of approximately 48 % in the MPE for a wide range of SNR values.


title: Vector Optimization with Stochastic Bandit Feedback

abstract: We introduce vector optimization problems with stochastic bandit feedback, in which preferences among designs are encoded by a polyhedral ordering cone $C$. Our setup generalizes the best arm identification problem to vector-valued rewards by extending the concept of Pareto set beyond multi-objective optimization. We characterize the sample complexity of ($\epsilon,\delta$)-PAC Pareto set identification by defining a new cone-dependent notion of complexity, called the ordering complexity. In particular, we provide gap-dependent and worst-case lower bounds on the sample complexity and show that, in the worst-case, the sample complexity scales with the square of ordering complexity. Furthermore, we investigate the sample complexity of the na\"ive elimination algorithm and prove that it nearly matches the worst-case sample complexity. Finally, we run experiments to verify our theoretical results and illustrate how $C$ and sampling budget affect the Pareto set, the returned ($\epsilon,\delta$)-PAC Pareto set, and the success of identification.


title: On ductile-regime elliptical vibration cutting of silicon with identifying the lower bound of practical nominal cutting velocity

abstract: This study investigates the ductile-to-brittle transition behavior in elliptical vibration cutting (EVC) of silicon and identifies the practical process window for ductile-regime cutting. EVC has been reported to increase the critical depth of ductile-regime cutting of silicon. This study demonstrates that the enhanced ductile cutting performance, however, is only optimal in a carefully-determined process window. The vibration amplitudes and nominal cutting velocity have significant impacts on the ductile-to-brittle transition behaviors. Systematic experiments covering a wide span of vibration amplitudes and cutting velocity have been conducted to investigate their effects. Two quantitative performance indices, the critical depth and ductile ratio, are utilized to analyze cutting performance by considering two unique characteristics of elliptical vibration cutting, i.e., the time-varying undeformed chip thickness and effective cutting direction angle. The results show that there exists a lower bound for the nominal cutting velocity to ensure the ductile-regime material removal, besides the well-known upper bound. Besides, the increases of vibration amplitudes in both the cutting and depth-of-cut (DOC) directions first enhance but then deteriorate the cutting performance. Based on the theoretical analysis and experimental results, the optimal process parameters have been recommended for the elliptical vibration cutting of silicon.


title: High-Sensitivity Electric Potential Sensors for Non-Contact Monitoring of Physiological Signals

abstract: The paper describes highly-sensitive passive electric potential sensors (EPS) for non-contact detection of multiple biophysical signals, including electrocardiogram (ECG), respiration cycle (RC), and electroencephalogram (EEG). The proposed EPS uses an optimized transimpedance amplifier (TIA), a single guarded sensing electrode, and an adaptive cancellation loop (ACL) to maximize sensitivity (DC transimpedance $=150$~G$\Omega$) in the presence of power line interference (PLI) and motion artifacts. Tests were performed on healthy adult volunteers in noisy and unshielded indoor environments. Useful sensing ranges for ECG, RC, and EEG measurements, as validated against reference contact sensors, were observed to be approximately 50~cm, 100~cm, and 5~cm, respectively. ECG and RC signals were also successfully measured through wooden tables for subjects in sleep-like postures. The EPS were integrated with a wireless microcontroller to realize wireless sensor nodes capable of streaming acquired data to a remote base station in real-time.


title: Simplicial complexes from finite projective planes and colored configurations

abstract: In the 7-vertex triangulation of the torus, the 14 triangles can be partitioned as $T_{1} \sqcup T_{2}$, such that each $T_{i}$ represents the lines of a copy of the Fano plane $PG(2, \mathbb{F}_{2})$. We generalize this observation by constructing, for each prime power $q$, a simplicial complex $X_{q}$ with $q^{2} + q + 1$ vertices and $2(q^{2} + q + 1)$ facets consisting of two copies of $PG(2, \mathbb{F}_{q})$. Our construction works for any colored $k$-configuration, defined as a $k$-configuration whose associated bipartite graph $G$ is connected and has a $k$-edge coloring $\chi \colon E(G) \to [k]$, such that for all $v \in V(G)$, $a, b, c \in [k]$, following edges of colors $a, b, c, a, b, c$ from $v$ brings us back to $v$. We give one-to-one correspondences between (1) Sidon sets of order 2 and size $k + 1$ in groups with order $n$, (2) linear codes with radius 1 and index $n$ in the lattice $A_{k}$, and (3) colored $(k + 1)$-configurations with $n$ points and $n$ lines. (The correspondence between (1) and (2) is known.) As a result, we suggest possible topological obstructions to the existence of Sidon sets, and in particular, planar difference sets.


title: A Candidate Kiloparsec-scale Quasar Pair at $z=5.66$

abstract: We report the discovery of a close quasar pair candidate at $z=5.66$, J2037--4537. J2037--4537 is resolved into two quasar images at the same redshift in ground-based observations. Followup spectroscopy shows significant differences in both the continuum slopes and emission line properties of the two images. The two quasar images have a projected separation of $1\farcs24$ ($7.3\text{~kpc}$ at $z=5.66$) and a redshift difference of $\Delta z\lesssim0.01$. High-resolution images taken by {\em Hubble Space Telescope} do not detect the foreground lensing galaxy. The observational features of J2037--4537 strongly disfavor the lensing hypothesis. If J2037--4537 is a physical quasar pair, it indicates a quasar clustering signal of $\sim10^5$ at a separation of $\sim10$ proper kpc (pkpc), and gives the first observational constraint on the pair fraction of $z>5$ quasars, $f_\text{pair}(r<30\text{~pkpc})>0.3\%$. The properties of J2037--4537 are consistent with those of merger-triggered quasar pairs in hydrodynamical simulations of galaxy mergers.


title: Semiparametric discrete data regression with Monte Carlo inference and prediction

abstract: Discrete data are abundant and often arise as counts or rounded data. These data commonly exhibit complex distributional features such as zero-inflation, over-/under-dispersion, boundedness, and heaping, which render many parametric models inadequate. Yet even for parametric regression models, approximations such as MCMC typically are needed for posterior inference. This paper introduces a Bayesian modeling and algorithmic framework that enables semiparametric regression analysis for discrete data with Monte Carlo (not MCMC) sampling. The proposed approach pairs a nonparametric marginal model with a latent linear regression model to encourage both flexibility and interpretability, and delivers posterior consistency even under model misspecification. For a parametric or large-sample approximation of this model, we identify a class of conjugate priors with (pseudo) closed-form posteriors. All posterior and predictive distributions are available analytically or via direct Monte Carlo sampling. These tools are broadly useful for linear regression, nonlinear models via basis expansions, and variable selection with discrete data. Simulation studies demonstrate significant advantages in computing, prediction, estimation, and selection relative to existing alternatives. This novel approach is applied successfully to self-reported mental health data that exhibit zero-inflation, overdispersion, boundedness, and heaping.


title: Exact solutions of nonlinear delay reaction-diffusion equations with variable coefficients

abstract: A modified method of functional constraints is used to construct the exact solutions of nonlinear equations of reaction-diffusion type with delay and which are associated with variable coefficients. This study considers a most generalized form of nonlinear equations of reaction-diffusion type with delay and which are nonlinear and associated with variable coefficients. A novel technique is used in this study to obtain the exact solutions which are new and are of the form of traveling-wave solutions. Arbitrary functions are present in the solutions and they also contain free parameters, which make them suitable for usage in solving certain modeling problems, testing numerical and approximate analytical methods. The results of this study also find applications in obtaining the exact solutions of other forms of partial differential equations which are more complex. Specific examples of nonlinear equations of reaction-diffusion type with delay are given and their exact solutions are presented. Solutions of certain reaction-diffusion equations are also displayed graphically.


title: Hidden variable model for quantum computation with magic states on qudits of any dimension

abstract: It was recently shown that a hidden variable model can be constructed for universal quantum computation with magic states on qubits. Here we show that this result can be extended, and a hidden variable model can be defined for quantum computation with magic states on qudits with any Hilbert space dimension. This model leads to a classical simulation algorithm for universal quantum computation.


title: Non-Asymptotic Error Bounds for Bidirectional GANs

abstract: We derive nearly sharp bounds for the bidirectional GAN (BiGAN) estimation error under the Dudley distance between the latent joint distribution and the data joint distribution with appropriately specified architecture of the neural networks used in the model. To the best of our knowledge, this is the first theoretical guarantee for the bidirectional GAN learning approach. An appealing feature of our results is that they do not assume the reference and the data distributions to have the same dimensions or these distributions to have bounded support. These assumptions are commonly assumed in the existing convergence analysis of the unidirectional GANs but may not be satisfied in practice. Our results are also applicable to the Wasserstein bidirectional GAN if the target distribution is assumed to have a bounded support. To prove these results, we construct neural network functions that push forward an empirical distribution to another arbitrary empirical distribution on a possibly different-dimensional space. We also develop a novel decomposition of the integral probability metric for the error analysis of bidirectional GANs. These basic theoretical results are of independent interest and can be applied to other related learning problems.


title: CoVA: Context-aware Visual Attention for Webpage Information Extraction

abstract: Webpage information extraction (WIE) is an important step to create knowledge bases. For this, classical WIE methods leverage the Document Object Model (DOM) tree of a website. However, use of the DOM tree poses significant challenges as context and appearance are encoded in an abstract manner. To address this challenge we propose to reformulate WIE as a context-aware Webpage Object Detection task. Specifically, we develop a Context-aware Visual Attention-based (CoVA) detection pipeline which combines appearance features with syntactical structure from the DOM tree. To study the approach we collect a new large-scale dataset of e-commerce websites for which we manually annotate every web element with four labels: product price, product title, product image and background. On this dataset we show that the proposed CoVA approach is a new challenging baseline which improves upon prior state-of-the-art methods.


title: ADC: Adversarial attacks against object Detection that evade Context consistency checks

abstract: Deep Neural Networks (DNNs) have been shown to be vulnerable to adversarial examples, which are slightly perturbed input images which lead DNNs to make wrong predictions. To protect from such examples, various defense strategies have been proposed. A very recent defense strategy for detecting adversarial examples, that has been shown to be robust to current attacks, is to check for intrinsic context consistencies in the input data, where context refers to various relationships (e.g., object-to-object co-occurrence relationships) in images. In this paper, we show that even context consistency checks can be brittle to properly crafted adversarial examples and to the best of our knowledge, we are the first to do so. Specifically, we propose an adaptive framework to generate examples that subvert such defenses, namely, Adversarial attacks against object Detection that evade Context consistency checks (ADC). In ADC, we formulate a joint optimization problem which has two attack goals, viz., (i) fooling the object detector and (ii) evading the context consistency check system, at the same time. Experiments on both PASCAL VOC and MS COCO datasets show that examples generated with ADC fool the object detector with a success rate of over 85% in most cases, and at the same time evade the recently proposed context consistency checks, with a bypassing rate of over 80% in most cases. Our results suggest that how to robustly model context and check its consistency, is still an open problem.


title: Spin dynamics in the skyrmion-host lacunar spinel GaV4S8

abstract: In the lacunar spinel GaV4S8, the interplay of spin, charge, and orbital degrees of freedom produces a rich phase diagram that includes an unusual Neel-type skyrmion phase composed of molecular spins. To provide insight into the interactions underlying this complex phase diagram, we study the spin excitations in GaV4S8 through inelastic neutron scattering measurements on polycrystalline and single-crystal samples. Using linear spin-wave theory, we describe the spin-wave excitations using a model where V4 clusters decorate an FCC lattice. The effective cluster model includes a ferromagnetic interaction and a weaker antisymmetric Dzyaloshinskii-Moriya (DM) interaction between the neighboring molecular spins. Our work clarifies the spin interactions in GaV4S8 and supports the picture of interacting molecular clusters.


title: Multiple droplets on a conical fiber: formation, motion, and droplet mergers

abstract: Small droplets on slender conical fibers spontaneously move along the fiber due to capillary action. The droplet motion depends on the geometry of the cone, the surface wettability, the surface tension, the viscosity, and the droplet size. Here we study with experiments and numerical simulations, the formation, spontaneous motion, and the eventual merger, of multiple droplets on slender conical fibers as they interact with each other. The droplet size and their spacing on the fibre is controlled by the Plateau-Rayleigh instability after dip-coating the conical fiber. Once these droplets are formed on the fiber, they spontaneously start to move. Since droplets of different size move with different speeds, they effectively coarsen the droplet patterning by merging on the fiber. The droplet merging process affects locally the droplet speed and alters the spatiotemporal film deposition on the fiber.


title: Vanishing first cohomology and strong 1-boundedness for von Neumann algebras

abstract: In this paper, we obtain a new proof result of Shlyakhtenko which states that if $G$ is a sofic, finitely presented group with vanishing first $\ell^2$-Betti number, then $L(G)$ is strongly 1-bounded. Our proof of this result adapts and simplifies Jung's technical arguments which showed strong 1-boundedness under certain conditions on the Fuglede-Kadison determinant of the matrix capturing the relations. Our proof also features a key idea due to Jung which involves an iterative estimate for the covering numbers of microstate spaces. We also provide a short proof using works of Shlyakhtenko and Shalom that the von Neumann algebras of sofic groups with Property T are strongly 1 bounded, which is a special case of another result by the authors.


title: Fast High-Quality Tabletop Rearrangement in Bounded Workspace

abstract: In this paper, we examine the problem of rearranging many objects on a tabletop in a cluttered setting using overhand grasps. Efficient solutions for the problem, which capture a common task that we solve on a daily basis, are essential in enabling truly intelligent robotic manipulation. In a given instance, objects may need to be placed at temporary positions ("buffers") to complete the rearrangement, but allocating these buffer locations can be highly challenging in a cluttered environment. To tackle the challenge, a two-step baseline planner is first developed, which generates a primitive plan based on inherent combinatorial constraints induced by start and goal poses of the objects and then selects buffer locations assisted by the primitive plan. We then employ the "lazy" planner in a tree search framework which is further sped up by adapting a novel preprocessing routine. Simulation experiments show our methods can quickly generate high-quality solutions and are more robust in solving large-scale instances than existing state-of-the-art approaches. source:github.com/arc-l/TRLB


title: Prescribing discrete Gaussian curvature on polyhedral surfaces

abstract: Vertex scaling of piecewise linear metrics on surfaces introduced by Luo is a straightforward discretization of smooth conformal structures on surfaces. Combinatorial $\alpha$-curvature for vertex scaling of piecewise linear metrics on surfaces is a discretization of Gaussian curvature on surfaces. In this paper, we investigate the prescribing combinatorial $\alpha$-curvature problem on polyhedral surfaces. Using Gu-Luo-Sun-Wu's discrete conformal theory for piecewise linear metrics on surfaces and variational principles with constraints, we prove some Kazdan-Warner type theorems for prescribing combinatorial $\alpha$-curvature problem, which generalize the results obtained by Gu-Luo-Sun-Wu on prescribing combinatorial curvatures on surfaces. Gu-Luo-Sun-Wu conjectured that one can prove Kazdan-Warner's theorems via approximating smooth surfaces by polyhedral surfaces. This paper takes the first step in this direction.