title: A geometrically adapted reduced set of frequencies for a FFT-based microstructure simulation

abstract: We present a modified model order reduction (MOR) technique for the FFT-based simulation of composite microstructures. It utilizes the earlier introduced MOR technique (Kochmann et al. [2019]), which is based on solving the Lippmann-Schwinger equation in Fourier space by a reduced set of frequencies. Crucial for the accuracy of this MOR technique is on the one hand the amount of used frequencies and on the other hand the choice of frequencies used within the simulation. Kochmann et al. [2019] defined the reduced set of frequencies by using a fixed sampling pattern, which is most general but leads to poor microstructural results when considering only a few frequencies. Consequently, a reconstruction algorithm based on the TV1-algorithm [Candes et al., 2006] was used in a post-processing step to generate highly resolved micromechanical fields. The present work deals with a modified sampling pattern generation for this MOR technique. Based on the idea, that the micromechanical material response strongly depends on the phase-wise material behavior, we propose the usage of sampling patterns adapted to the spatial arrangement of the individual phases. This leads to significantly improved microscopic and overall results. Hence, the time-consuming reconstruction in the post-processing step that was necessary in the earlier work is no longer required. To show the adaptability and robustness of this new choice of sampling patterns, several two dimensional examples are investigated. In addition, also the 3D extension of the algorithm is presented.


title: The C*-algebra of the variable Mautner group

abstract: Let $\M=P\times{M}$ be a variable Mautner group. We describe the $C^*$-algebra $C^*(\M)$ of $\M$ in terms of an algebra of operator fields defined over $P\times{\C^2} $.


title: Longitudinal electromagnetic waves with extremely short wavelength

abstract: Electromagnetic waves in vacuum and most materials have transverse polarization. Longitudinal electromagnetic waves with electric field parallel to wave vector are very rare and appear under special conditions in a limited class of media, for example in plasma. In this work, we study the dispersion properties of an easy-to-manufacture metamaterial consisting of two three-dimensional cubic lattices of connected metallic wires inserted one into another, also known as an interlaced wire medium. It is shown that the metamaterial supports longitudinal waves at extremely wide frequency band from very low frequencies up to the Bragg resonances of the structure. The waves feature unprecedentedly short wavelengths comparable to the period of the material. The revealed effects highlight spatially dispersive response of interlaced wire medium and provide a route toward generating electromagnetic fields with strong spatial variation.


title: DanceFormer: Music Conditioned 3D Dance Generation with Parametric Motion Transformer

abstract: Generating 3D dances from music is an emerged research task that benefits a lot of applications in vision and graphics. Previous works treat this task as sequence generation, however, it is challenging to render a music-aligned long-term sequence with high kinematic complexity and coherent movements. In this paper, we reformulate it by a two-stage process, ie, a key pose generation and then an in-between parametric motion curve prediction, where the key poses are easier to be synchronized with the music beats and the parametric curves can be efficiently regressed to render fluent rhythm-aligned movements. We named the proposed method as DanceFormer, which includes two cascading kinematics-enhanced transformer-guided networks (called DanTrans) that tackle each stage, respectively. Furthermore, we propose a large-scale music conditioned 3D dance dataset, called PhantomDance, that is accurately labeled by experienced animators rather than reconstruction or motion capture. This dataset also encodes dances as key poses and parametric motion curves apart from pose sequences, thus benefiting the training of our DanceFormer. Extensive experiments demonstrate that the proposed method, even trained by existing datasets, can generate fluent, performative, and music-matched 3D dances that surpass previous works quantitatively and qualitatively. Moreover, the proposed DanceFormer, together with the PhantomDance dataset (https://github.com/libuyu/PhantomDanceDataset), are seamlessly compatible with industrial animation software, thus facilitating the adaptation for various downstream applications.


title: Canonical Representations for Direct Generation of Strategies in High-level Petri Games (Full Version)

abstract: Petri games are a multi-player game model for the synthesis problem in distributed systems, i.e., the automatic generation of local controllers. The model represents causal memory of the players, which are tokens on a Petri net and divided into two teams: the controllable system and the uncontrollable environment. For one environment player and a bounded number of system players, the problem of solving Petri games can be reduced to that of solving B\"uchi games. High-level Petri games are a concise representation of ordinary Petri games. Symmetries, derived from a high-level representation, can be exploited to significantly reduce the state space in the corresponding B\"uchi game. We present a new construction for solving high-level Petri games. It involves the definition of a unique, canonical representation of the reduced B\"uchi game. This allows us to translate a strategy in the B\"uchi game directly into a strategy in the Petri game. An implementation applied on six structurally different benchmark families shows in most cases a performance increase for larger state spaces.


title: Twisted Milnor Hypersurface I

abstract: In this paper, we study {\bf twisted Milnor hypersurfaces} and compute their $\hat A$-genus and Atiyah-Singer-Milnor $\alpha$-invariant. Our tool to compute the $\alpha$-invariant is Zhang's analytic Rokhlin congruence formula. We also give some applications about group actions and metrics of positive scalar curvature on twisted Milnor hypersurfaces.


title: Quarkyonic stars with isospin-flavor asymmetry

abstract: We suggest an extension to isospin asymmetric matter of the quarkyonic model from McLerran and Reddy. This extension allows us to construct the $\beta$-equilibrium between quarks, nucleons and leptons. The concept of the quarkyonic matter originates from the large number of color limit for which nucleons are the correct degrees of freedom near the Fermi surface -- reflecting the confining forces -- while deep inside the Fermi sea quarks naturally appear. In isospin asymmetric matter, we suggest that this new concept can be implemented within a global isoscalar relation between the shell gaps differentiating the nucleon and the quark sectors. In addition, we impose the conservation of the isospin-flavor asymmetry in the nucleon and the quark phases. Within this model, several quarkyonic stars are constructed on top of the SLy4 model for the nucleon sector, producing a bump in the sound speed, which implies that quarkyonic stars are systematically bigger and have a larger maximum mass than the associated neutron stars. They also predict lower proton fraction at $\beta$-equilibrium, which potentially quenches fast cooling in massive compact stars.


title: S2P2: Self-Supervised Goal-Directed Path Planning Using RGB-D Data for Robotic Wheelchairs

abstract: Path planning is a fundamental capability for autonomous navigation of robotic wheelchairs. With the impressive development of deep-learning technologies, imitation learning-based path planning approaches have achieved effective results in recent years. However, the disadvantages of these approaches are twofold: 1) they may need extensive time and labor to record expert demonstrations as training data; and 2) existing approaches could only receive high-level commands, such as turning left/right. These commands could be less sufficient for the navigation of mobile robots (e.g., robotic wheelchairs), which usually require exact poses of goals. We contribute a solution to this problem by proposing S2P2, a self-supervised goal-directed path planning approach. Specifically, we develop a pipeline to automatically generate planned path labels given as input RGB-D images and poses of goals. Then, we present a best-fit regression plane loss to train our data-driven path planning model based on the generated labels. Our S2P2 does not need pre-built maps, but it can be integrated into existing map-based navigation systems through our framework. Experimental results show that our S2P2 outperforms traditional path planning algorithms, and increases the robustness of existing map-based navigation systems. Our project page is available at https://sites.google.com/view/s2p2.


title: Space-Time Crop & Attend: Improving Cross-modal Video Representation Learning

abstract: The quality of the image representations obtained from self-supervised learning depends strongly on the type of data augmentations used in the learning formulation. Recent papers have ported these methods from still images to videos and found that leveraging both audio and video signals yields strong gains; however, they did not find that spatial augmentations such as cropping, which are very important for still images, work as well for videos. In this paper, we improve these formulations in two ways unique to the spatio-temporal aspect of videos. First, for space, we show that spatial augmentations such as cropping do work well for videos too, but that previous implementations, due to the high processing and memory cost, could not do this at a scale sufficient for it to work well. To address this issue, we first introduce Feature Crop, a method to simulate such augmentations much more efficiently directly in feature space. Second, we show that as opposed to naive average pooling, the use of transformer-based attention improves performance significantly, and is well suited for processing feature crops. Combining both of our discoveries into a new method, Space-Time Crop & Attend (STiCA) we achieve state-of-the-art performance across multiple video-representation learning benchmarks. In particular, we achieve new state-of-the-art accuracies of 67.0% on HMDB-51 and 93.1% on UCF-101 when pre-training on Kinetics-400.


title: Stochastic Simulation Techniques for Inference and Sensitivity Analysis of Bayesian Attack Graphs

abstract: A vulnerability scan combined with information about a computer network can be used to create an attack graph, a model of how the elements of a network could be used in an attack to reach specific states or goals in the network. These graphs can be understood probabilistically by turning them into Bayesian attack graphs, making it possible to quantitatively analyse the security of large networks. In the event of an attack, probabilities on the graph change depending on the evidence discovered (e.g., by an intrusion detection system or knowledge of a host's activity). Since such scenarios are difficult to solve through direct computation, we discuss and compare three stochastic simulation techniques for updating the probabilities dynamically based on the evidence and compare their speed and accuracy. From our experiments we conclude that likelihood weighting is most efficient for most uses. We also consider sensitivity analysis of BAGs, to identify the most critical nodes for protection of the network and solve the uncertainty problem in the assignment of priors to nodes. Since sensitivity analysis can easily become computationally expensive, we present and demonstrate an efficient sensitivity analysis approach that exploits a quantitative relation with stochastic inference.


title: ICDAR2019 Competition on Scanned Receipt OCR and Information Extraction

abstract: Scanned receipts OCR and key information extraction (SROIE) represent the processeses of recognizing text from scanned receipts and extracting key texts from them and save the extracted tests to structured documents. SROIE plays critical roles for many document analysis applications and holds great commercial potentials, but very little research works and advances have been published in this area. In recognition of the technical challenges, importance and huge commercial potentials of SROIE, we organized the ICDAR 2019 competition on SROIE. In this competition, we set up three tasks, namely, Scanned Receipt Text Localisation (Task 1), Scanned Receipt OCR (Task 2) and Key Information Extraction from Scanned Receipts (Task 3). A new dataset with 1000 whole scanned receipt images and annotations is created for the competition. In this report we will presents the motivation, competition datasets, task definition, evaluation protocol, submission statistics, performance of submitted methods and results analysis.


title: Formal aspects on parametrized topological complexity and its pointed version

abstract: The notion of parametrized topological complexity, introduced by Cohen, Farber and Weinberger, is extended to fibrewise spaces which are not necessarily Hurewicz fibrations. After exploring some formal properties of this extension we also introduce the pointed version of parametrized topological complexity. Finally we give sufficient conditions so that both notions agree.


title: Electrooptics of mm-scale polar domains in the ferroelectric splay nematic phase

abstract: The recent discovery of the ferroelectric splay nematic phase has opened the door to experimental investigation of one of the most searched liquid crystal phases in decades, with high expectations for future applications. However, at this moment, there are more questions than answers. In this work, we examine the formation and structure of large polar nematic domains of the ferroelectric splay nematic material RM734 in planar liquid crystals cells with different aligning agents and specifications. We observe that confining surfaces have a strong influence over the formation of different types of domains, resulting in various twisted structures of the nematic director. For those cells predominantly showing mm-scale domains, we investigate the optical and second harmonic generation switching behaviour under applications of electric fields with a special focus on in-plane fields perpendicular to the confinement media rubbing direction. In order to characterize the underlying structure, the polar optical switching behaviour is reproduced using a simplified model together with Berreman calculations.


title: The CARMENES search for exoplanets around M dwarfs, No evidence for a super-Earth in a 2-day orbit around GJ 1151

abstract: The interaction between Earth-like exoplanets and the magnetic field of low-mass host stars are considered to produce weak emission signals at radio frequencies. A study using LOFAR data announced the detection of radio emission from the mid M-type dwarf GJ 1151 that could potentially arise from a close-in terrestrial planet. Recently, the presence of a 2.5-Me planet orbiting GJ 1151 with a 2-day period has been claimed using 69 radial velocities (RVs) from the HARPS-N and HPF instruments. We have obtained 70 new high-precision RV measurements in the framework of the CARMENES M-dwarf survey and use these data to confirm the presence of the claimed planet and to place limits on possible planetary companions in the GJ 1151 system. We analyse the periodicities present in the combined RV data sets from all three instruments and calculate the detection limits for potential planets in short-period orbits. We cannot confirm the recently-announced candidate planet and conclude that the 2-day signal in the HARPS-N and HPF data sets is most probably produced by a long-term RV variability possibly arising from an outer planetary companion yet unconstrained. We calculate a 99.9% significance detection limit of 1.50 ms-1 in the RV semi-amplitude, which places upper limits of 0.7 Me and 1.2 Me to the minimum masses of any potential exoplanets with orbital periods of 1 and 5 days, respectively.


title: Model-independent searches for new physics in multi-body invariant masses

abstract: Model-independent searches for physics beyond the Standard Model typically focus on invariant masses of two objects (jets, leptons or photons). In this study we explore opportunities for similar model-agnostic searches in multi-body invariant masses. In particular, we focus on the situations when new physics can be observed in a model-independent way in three- and four-body invariant masses of jets and leptons. Such searches may have good prospects in finding new physics in the situations when two-body invariant masses, that have been extensively explored at collider experiments in the past, cannot provide sufficient signatures for experimental observations.


title: A superfluid perspective on neutron star dynamics

abstract: As mature neutron stars are cold (on the relevant temperature scale), one has to carefully consider the state of matter in their interior. The outer kilometer or so is expected to freeze to form an elastic crust of increasingly neutron-rich nuclei, coexisting with a superfluid neutron component, while the star's fluid core contains a mixed superfluid/superconductor. The dynamics of the star depend heavily on the parameters associated with the different phases. The presence of superfluidity brings new degrees of freedom -- in essence we are dealing with a complex multi-fluid system -- and additional features: Bulk rotation is supported by a dense array of quantised vortices, which introduce dissipation via mutual friction, and the motion of the superfluid is affected by the so-called entrainment effect. This brief survey provides an introduction to -- along with a commentary on our current understanding of -- these dynamical aspects, paying particular attention to the role of entrainment, and outlines the impact of superfluidity on neutron-star seismology.


title: Experimental SWAP test of infinite dimensional quantum states

abstract: Efficient overlap estimation of high-dimensional quantum states is an important task in quantum information and a core element in computational speedups of quantum machine learning. Here we experimentally demonstrate the SWAP test that measures the overlap of two motional states in a system of trapped $^{171}\mathrm{Yb}^+$ ions. To illustrate the versatility of our implementation, we report the overlap measurement of a variety of quantum states: Fock states, coherent states, squeezed vacuum states, and cat states. We highlight applications of the SWAP test by measuring the purity of mixed states. Our results enable quantum information processing with high dimensional quantum states.


title: A multifluid perspective on multimessenger modelling

abstract: This brief review introduces the notion of a relativistic multifluid system -- a multi-component system with identifiable relative flows -- and outlines a set of models for scenarios relevant for different astronomical observation channels. The specific problems used to illustrate the key principles include superfluid hydrodynamics (with relevance for radio and x-ray pulsar timing and gravitational-wave searches), heat flow (connecting to the problem of neutron star cooling and associated x-ray observations) and the coupling between matter and electromagnetism (linking to explosive phenomena like gamma-ray bursts and more subtle issues like the long-term evolution of a neutron star's magnetic field). We also comment on the coupling between matter and radiation, for which the multifluid approach would seem less appropriate. The main motivation of the survey is to illustrate less familiar aspects that come into play in multifluid problems, establish the relevant "language" and provide a platform for more detailed work on these issues.


title: A model for the size distribution of marine microplastics: a statistical mechanics approach

abstract: The size distribution of marine microplastics provides a fundamental data source for understanding the dispersal, break down, and biotic impacts of the microplastics in the ocean. The observed size distribution at the sea surface generally shows, from large to small sizes, a gradual increase followed by a rapid decrease. This decrease has led to the hypothesis that the smallest fragments are selectively removed by sinking or biological uptake. Here we propose a new model of size distribution without any removal of material from the system. The model uses an analogy with black-body radiation and the resultant size distribution is analogous to Planck's law. In this model, the original large plastic piece is broken into smaller pieces once by the application of "energy" or work by waves or other processes, under two assumptions, one that fragmentation into smaller pieces requires larger energy and the other that the probability distribution of the "energy" follows the Boltzmann distribution. Our formula well reproduces observed size distributions over wide size ranges from micro- to mesoplastics. According to this model, the smallest fragments are fewer because large "energy" required to produce such small fragments occurs more rarely.


title: Optically reconfigurable quasi-phase-matching in silicon nitride microresonators

abstract: Bringing efficient second-order nonlinear effects in integrated photonics is an important task motivated by the prospect of enabling all possible optical functionalities on chip. Such task has proved particularly challenging in silicon photonics, as materials best suited for photonic integration lack second-order susceptibility ($\chi^{(2)}$). Methods for inducing effective $\chi^{(2)}$ in such materials have recently opened new opportunities. Here, we present optically reconfigurable quasi-phase-matching in large radius Si$_3$N$_4$ microresonators resulting in mW level on-chip second-harmonic generated powers. Most importantly we show that such all-optical poling can occur unconstrained from intermodal phase-matching, leading to widely tunable second-harmonic generation. We confirm the phenomenon by two-photon imaging of the inscribed $\chi^{(2)}$ grating structures within the microresonators as well as by dynamic tracking of both the pump and second-harmonic mode resonances. These results unambiguously establish that the photogalvanic effect, responsible for all-optical poling, can overcome phase mismatch constraints even in resonant systems, and simultaneously allow for the combined record of output power and tunability.


title: A gravitational-wave perspective on neutron-star seismology

abstract: We provide a bird's-eye view of neutron-star seismology, which aims to probe the extreme physics associated with these objects, in the context of gravitational-wave astronomy. Focussing on the fundamental mode of oscillation, which is an efficient gravitational-wave emitter, we consider the seismology aspects of a number of astrophysically relevant scenarios, ranging from transients (like pulsar glitches and magnetar flares), to the dynamics of tides in inspiralling compact binaries and the eventual merged object and instabilities acting in isolated, rapidly rotating, neutron stars. The aim is not to provide a thorough review, but rather to introduce (some of) the key ideas and highlight issues that need further attention.


title: Lepton-Charge and Forward-Backward Asymmetries in Drell-Yan Processes for Precision Electroweak Measurements and New Physics Searches

abstract: Precision determinations of Standard Model (SM) Electro-Weak (EW) parameters at the Large Hadron Collider (LHC) are dominated by uncertainties due to Parton Distribution Functions (PDFs). Reweighting and profiling techniques are routinely employed to treat this. We explore approaches based on combining measurements of charged current and neutral current Drell-Yan (DY) asymmetries to improve PDF uncertainties. We present the results of a numerical analysis performed with the open-source platform xFitter. PDF uncertainties are examined for lepton-charge and forward-backward asymmetries in regions of transverse and invariant masses near the vector-boson peak, based on LHC Run III and HL-LHC luminosity scenarios. We discuss the complementarity of the asymmetries in reducing PDF uncertainties in observables relevant to both SM and Beyond the SM (BSM) physics.


title: Mapping the impact of papers on various status groups: A new excellence mapping tool based on citation and reader scores

abstract: In over five years, Bornmann, Stefaner, de Moya Anegon, and Mutz (2014) and Bornmann, Stefaner, de Moya Anegon, and Mutz (2014, 2015) have published several releases of the www.excellencemapping.net tool revealing (clusters of) excellent institutions worldwide based on citation data. With the new release, a completely revised tool has been published. It is not only based on citation data (bibliometrics), but also Mendeley data (altmetrics). Thus, the institutional impact measurement of the tool has been expanded by focusing on additional status groups besides researchers such as students and librarians. Furthermore, the visualization of the data has been completely updated by improving the operability for the user and including new features such as institutional profile pages. In this paper, we describe the datasets for the current excellencemapping.net tool and the indicators applied. Furthermore, the underlying statistics for the tool and the use of the web application are explained.


title: Beyond Trivial Counterfactual Explanations with Diverse Valuable Explanations

abstract: Explainability for machine learning models has gained considerable attention within the research community given the importance of deploying more reliable machine-learning systems. In computer vision applications, generative counterfactual methods indicate how to perturb a model's input to change its prediction, providing details about the model's decision-making. Current methods tend to generate trivial counterfactuals about a model's decisions, as they often suggest to exaggerate or remove the presence of the attribute being classified. For the machine learning practitioner, these types of counterfactuals offer little value, since they provide no new information about undesired model or data biases. In this work, we identify the problem of trivial counterfactual generation and we propose DiVE to alleviate it. DiVE learns a perturbation in a disentangled latent space that is constrained using a diversity-enforcing loss to uncover multiple valuable explanations about the model's prediction. Further, we introduce a mechanism to prevent the model from producing trivial explanations. Experiments on CelebA and Synbols demonstrate that our model improves the success rate of producing high-quality valuable explanations when compared to previous state-of-the-art methods. Code is available at https://github.com/ElementAI/beyond-trivial-explanations.


title: Lipschitz Stability for the Hunter-Saxton Equation

abstract: We study the Lipschitz stability in time for $\alpha$-dissipative solutions to the Hunter-Saxton equation, where $\alpha \in [0,1]$ is a constant. We define metrics in both Lagrangian and Eulerian coordinates, and establish Lipschitz stability for those metrics.


title: Colored HOMFLY-PT for hybrid weaving knot $\hat{W}_{3}(m,n)$

abstract: Weaving knots $W(p, n)$ of type $(p, n)$ denote an infinite family of hyperbolic knots which have not been addressed by the knot theorists as yet. Unlike the well-known $(p,n)$ torus knots, we do not have a closed-form expression for HOMFLY-PT and the colored HOMFLY-PT for $W(p,n)$. In this paper, we confine to a hybrid generalization of $W(3,n)$ which we denote as $\hat{W}_3(m,n)$ and obtain a closed-form expression for HOMFLY-PT using the Reshitikhin and Turaev method involving $\mathcal R$-matrices. Further, we also compute $[r]$-colored HOMFLY-PT for $W(3,n)$. Surprisingly, we observe that trace of the product of two dimensional $\hat{\mathcal{R}}$-matrices can be written in terms of an infinite family of Laurent polynomials $\mathcal{V}_{n,t}[q]$ whose absolute coefficients has an interesting relation to the Fibonacci numbers $\mathcal{F}_{n}$. We also computed reformulated invariants and the BPS integers in the context of topological strings. From our analysis, we propose that certain refined BPS integers for weaving knot $W(3,n)$ can be explicitly derived from the coefficients of Chebyshev polynomials of the first kind.


title: Explainable Adversarial Attacks in Deep Neural Networks Using Activation Profiles

abstract: As neural networks become the tool of choice to solve an increasing variety of problems in our society, adversarial attacks become critical. The possibility of generating data instances deliberately designed to fool a network's analysis can have disastrous consequences. Recent work has shown that commonly used methods for model training often result in fragile abstract representations that are particularly vulnerable to such attacks. This paper presents a visual framework to investigate neural network models subjected to adversarial examples, revealing how models' perception of the adversarial data differs from regular data instances and their relationships with class perception. Through different use cases, we show how observing these elements can quickly pinpoint exploited areas in a model, allowing further study of vulnerable features in input data and serving as a guide to improving model training and architecture.


title: Collective Decision of One-vs-Rest Networks for Open Set Recognition

abstract: Unknown examples that are unseen during training often appear in real-world machine learning tasks, and an intelligent self-learning system should be able to distinguish between known and unknown examples. Accordingly, open set recognition (OSR), which addresses the problem of classifying knowns and identifying unknowns, has recently been highlighted. However, conventional deep neural networks using a softmax layer are vulnerable to overgeneralization, producing high confidence scores for unknowns. In this paper, we propose a simple OSR method based on the intuition that OSR performance can be maximized by setting strict and sophisticated decision boundaries that reject unknowns while maintaining satisfactory classification performance on knowns. For this purpose, a novel network structure is proposed, in which multiple one-vs-rest networks (OVRNs) follow a convolutional neural network feature extractor. Here, the OVRN is a simple feed-forward neural network that enhances the ability to reject nonmatches by learning class-specific discriminative features. Furthermore, the collective decision score is modeled by combining the multiple decisions reached by the OVRNs to alleviate overgeneralization. Extensive experiments were conducted on various datasets, and the experimental results showed that the proposed method performed significantly better than the state-of-the-art methods by effectively reducing overgeneralization.


title: Identification of Partial-Differential-Equations-Based Models from Noisy Data via Splines

abstract: We propose a two-stage method called \textit{Spline Assisted Partial Differential Equation based Model Identification (SAPDEMI)} to identify partial differential equation (PDE)-based models from noisy data. In the first stage, we employ the cubic splines to estimate unobservable derivatives. The underlying PDE is based on a subset of these derivatives. This stage is computationally efficient: its computational complexity is a product of a constant with the sample size; this is the lowest possible order of computational complexity. In the second stage, we apply the Least Absolute Shrinkage and Selection Operator (Lasso) to identify the underlying PDE-based model. Statistical properties are developed, including the model identification accuracy. We validate our theory through various numerical examples and a real data case study. The case study is based on a National Aeronautics and Space Administration (NASA) data set.


title: Local Stellar Kinematics and Oort Constants from the LAMOST A-type Stars

abstract: We estimate the solar peculiar velocities and Oort constants using a sample of 5,627 A-type stars with $d<0.6\,\rm kpc$ and $|z|<0.1\,\rm kpc$, selected from the LAMOST surveys. The radial and tangential velocities of these A-type stars are fitted by using a non-axisymmetric model. The best-fitting result yields the solar peculiar velocities $(U_\odot,V_\odot,W_\odot)=(11.69\pm0.68, 10.16\pm0.51, 7.67\pm0.10)\,\rm km\,s^{-1}$ and Oort constants $A=16.31\pm0.89\,\rm km\,s^{-1}\,kpc^{-1}$, $B=-11.99\pm0.79\,\rm km\,s^{-1}\,kpc^{-1}$, $C=-3.10\pm0.48\,\rm km\,s^{-1}\,kpc^{-1}$, $K=-1.25\pm1.04\,\rm km\,s^{-1}\,kpc^{-1}$, respectively. $|K+C|>4\,\rm km\,s^{-1}\,kpc^{-1}$ means that there is a radial velocity gradient in the extended local disk, implying the local disk is in a non-asymmetric potential. Using the derived Oort constants, we derive the local angular velocity $\Omega\,{\approx}\,A-B=28.30\pm1.19\,\rm km\,s^{-1}\,kpc^{-1}$. By using A-type star sample of different volumes, we further try to evaluate the impacts of the ridge pattern in $R$-$V_{\phi}$ plane on constraining the solar motions and Oort constants. As the volume becomes larger toward the anti-center direction, the values of $A$ and $B$ become larger (implying a steeper slope of the local rotation curve) and the value of $V_\odot$ becomes smaller probably caused by the ridge structure and its signal increasing with distance.


title: Fast radio burst detection in the presence of coloured noise

abstract: In this paper, we investigate the impact of correlated noise on fast radio burst (FRB) searching. We found that 1) the correlated noise significantly increases the false alarm probability; 2) the signal-to-noise ratios (S/N) of the false positives become higher; 3) the correlated noise also affects the pulse width distribution of false positives, and there will be more false positives with wider pulse width. We use 55-hour observation for M82 galaxy carried out at Nanshan 26m radio telescope to demonstrate the application of the correlated noise modelling. The number of candidates and parameter distribution of the false positives can be reproduced with the modelling of correlated noise. We will also discuss a low S/N candidate detected in the observation, for which we demonstrate the method to evaluate the false alarm probability in the presence of correlated noise.Possible origins of the candidate are discussed, where two possible pictures, an M82-harbored giant pulse and a cosmological FRB, are both compatible with the observation.


title: Pseudo-ISP: Learning Pseudo In-camera Signal Processing Pipeline from A Color Image Denoiser

abstract: The success of deep denoisers on real-world color photographs usually relies on the modeling of sensor noise and in-camera signal processing (ISP) pipeline. Performance drop will inevitably happen when the sensor and ISP pipeline of test images are different from those for training the deep denoisers (i.e., noise discrepancy). In this paper, we present an unpaired learning scheme to adapt a color image denoiser for handling test images with noise discrepancy. We consider a practical training setting, i.e., a pre-trained denoiser, a set of test noisy images, and an unpaired set of clean images. To begin with, the pre-trained denoiser is used to generate the pseudo clean images for the test images. Pseudo-ISP is then suggested to jointly learn the pseudo ISP pipeline and signal-dependent rawRGB noise model using the pairs of test and pseudo clean images. We further apply the learned pseudo ISP and rawRGB noise model to clean color images to synthesize realistic noisy images for denoiser adaption. Pseudo-ISP is effective in synthesizing realistic noisy sRGB images, and improved denoising performance can be achieved by alternating between Pseudo-ISP training and denoiser adaption. Experiments show that our Pseudo-ISP not only can boost simple Gaussian blurring-based denoiser to achieve competitive performance against CBDNet, but also is effective in improving state-of-the-art deep denoisers, e.g., CBDNet and RIDNet.


title: An infinite interval version of the {\alpha}-Kakutani equidistribution problem

abstract: In this article we extend results of Kakutani, Adler-Flatto, Smilansky and others on the classical $\alpha$-Kakutani equidistribution result for sequences arising from finite partitions of the interval. In particular, we describe a generalization of the equidistribution result to infinite partitions. In addition, we give discrepancy estimates, extending results of Drmota-Infusino.


title: Confidence Regions Near Singular Information and Boundary Points With Applications to Mixed Models

abstract: We propose confidence regions with asymptotically correct uniform coverage probability of parameters whose Fisher information matrix can be singular at important points of the parameter set. Our work is motivated by the need for reliable inference on scale parameters close or equal to zero in mixed models, which is obtained as a special case. The confidence regions are constructed by inverting a continuous extension of the score test statistic standardized by expected information, which we show exists at points of singular information under regularity conditions. Similar results have previously only been obtained for scalar parameters, under conditions stronger than ours, and applications to mixed models have not been considered. In simulations our confidence regions have near-nominal coverage with as few as $n = 20$ independent observations, regardless of how close to the boundary the true parameter is. It is a corollary of our main results that the proposed test statistic has an asymptotic chi-square distribution with degrees of freedom equal to the number of tested parameters, even if they are on the boundary of the parameter set.


title: Condenser capacity and hyperbolic perimeter

abstract: We study the conformal capacity by using novel computational algorithms based on implementations of the fast multipole method, and analytic techniques. Especially, we apply domain functionals to study the capacities of condensers $(G,E)$ where $G$ is a simply connected domain in the complex plane and $E$ is a compact subset of $G$. Due to conformal invariance, our main tools are the hyperbolic geometry and functionals such as the hyperbolic perimeter of $E$. Our computational experiments demonstrate, for instance, sharpness of established inequalities. In the case of model problems with known analytic solutions, very high precision of computation is observed.


title: Two-dimensional multiferroic metal with voltage-tunable magnetization and metallicity

abstract: We design a multiferroic metal that combines seemingly incompatible ferromagnetism, ferroelectricity, and metallicity by hole doping a two-dimensional (2D) ferroelectric with high density of states near the Fermi level. The strong magnetoelectric effect is demonstrated in hole-doped and arsenic-doped monolayer {\alpha}-In2Se3 using first-principles calculations. Taking advantage of the oppositely charged surfaces created by an out-of-plane polarization, the 2D magnetization and metallicity can be electrically switched on and off in an asymmetrically doped monolayer. The substitutional arsenic defect pair exhibits an intriguing electric field-tunable charge disproportionation process accompanied with an on-off switch of local magnetic moments. The charge ordering process can be controlled by tuning the relative strength of on-site Coulomb repulsion and defect dipole-polarization coupling via strain engineering. Our design principle relying on no transition metal broadens the materials design space for 2D multiferroic metals.


title: Non-metric interaction rules in models of active matter

abstract: It is common in the study of a dizzying array of soft matter systems to perform agent-based simulations of particles interacting via conservative and often short-ranged forces. In this context, well-established algorithms for efficiently computing the set of pairs of interacting particles have established excellent open-source packages to efficiently simulate large systems over long time scales -- a crucial consideration given the separation in time- and length-scales often observed in soft matter. What happens, though, when we think more broadly about what it means to construct a neighbor list? What if interactions are non-reciprocal, or if the "range" of an interaction is determined not by a distance scale but according to some other consideration? As the field of soft and active matter increasingly considers the properties of living matter -- from the cellular to the super-organismal scale -- these questions become increasingly relevant, and encourage us to think about new physical and computational paradigms in the modeling of active matter. In this chapter we examine case studies in the use of non-metric interactions.


title: Hierarchical structure of physical Yukawa couplings from matter field K\"ahler metric

abstract: We study the impacts of matter field K\"ahler metric on physical Yukawa couplings in string compactifications. Since the K\"ahler metric is non-trivial in general, the kinetic mixing of matter fields opens a new avenue for realizing a hierarchical structure of physical Yukawa couplings, even when holomorphic Yukawa couplings have the trivial structure. The hierarchical Yukawa couplings are demonstrated by couplings of pure untwisted modes on toroidal orbifolds and their resolutions in the context of heterotic string theory with standard embedding. Also, we study the hierarchical couplings among untwisted and twisted modes on resolved orbifolds.


title: Analyzing Uplink Grant-free Sparse Code Multiple Access System in Massive IoT Networks

abstract: Grant-free sparse code multiple access (GF-SCMA) is considered to be a promising multiple access candidate for future wireless networks. In this paper, we focus on characterizing the performance of uplink GF-SCMA schemes in a network with ubiquitous connections, such as the Internet of Things (IoT) networks. To provide a tractable approach to evaluate the performance of GF-SCMA, we first develop a theoretical model taking into account the property of multi-user detection (MUD) in the SCMA system. We then analyze the error rate performance of GF-SCMA in the case of codebook collision to investigate the reliability of GF-SCMA when reusing codebook in massive IoT networks. For performance evaluation, accurate approximations for both success probability and average symbol error probability (ASEP) are derived. To elaborate further, we utilize the analytical results to discuss the impact of codeword sparse degree in GFSCMA. After that, we conduct a comparative study between SCMA and its variant, dense code multiple access (DCMA), with GF transmission to offer insights into the effectiveness of these two schemes. This facilitates the GF-SCMA system design in practical implementation. Simulation results show that denser codebooks can help to support more UEs and increase the reliability of data transmission in a GF-SCMA network. Moreover, a higher success probability can be achieved by GFSCMA with denser UE deployment at low detection thresholds since SCMA can achieve overloading gain.


title: A Methodology for Approaching the Integration of Complex Robotics Systems Illustrated through a Bi-manual Manipulation Case-Study

abstract: The multidisciplinarity of robotics creates a need for robust integration methodologies that can facilitate the adoption of state-of-the-art research components in an industrial application. Unfortunately, there are no clear, community accepted guidelines or standards that define the integration of such components in a single robotic system. In this paper, we propose a methodology that assesses the software components of a candidate system on the basis of the effort required to integrate them and the impact their integration will have on a target system. We demonstrate how this methodology can be applied using an industrial tool packing system as an example. The system integrates a wide range of both in-house and third-party research outputs and software components. We prove the effectiveness of our approach by evaluating system performance with an experimental benchmark that assesses the robustness, reliability and operational speed of the system for the given packing task. We also demonstrate how our methodology can be used to predict the amount of integration time required for a component. The proposed integration methodology can be applied to any robotic system to facilitate its transition from the research to an industrial environment.


title: Size limit of superparamagnetic inclusions in dust grains and difficulty of magnetic grain alignment in protoplanetary disks

abstract: Alignment of non-spherical grains with magnetic fields is an important problem as it lays the foundation of probing magnetic fields with polarized dust thermal emissions. In this paper, we investigate the feasibility of magnetic alignment in protoplanetary disks (PPDs). We use an alignment condition that Larmor precession should be fast compared with the damping timescale. We first show that the Larmor precession timescale is some three orders of magnitude longer than the damping time for millimeter-sized grains under conditions typical of PPDs, making the magnetic alignment unlikely. The precession time can be shortened by superparamagnetic inclusions (SPIs), but the reduction factor strongly depends on the size of the SPI clusters, which we find is limited by the so-called "N\'{e}el's relaxation process." In particular, the size limit of SPIs is set by the so-called "anisotropic energy constant" of the SPI material, which describes the energy barrier needed to change the direction of the magnetic moment of an SPI. For the most common iron-bearing materials, we find maximum SPI sizes corresponding to a reduction factor of the Larmor precession timescale of order $10^3$. We also find that reaching this maximum reduction factor requires fine-tuning on the SPI sizes. Lastly, we illustrate the effects of the SPI size limits on magnetic alignment of dust grains with a simple disk model, and we conclude that it is unlikely for relatively large grains of order 100 $\mu$m or more to be aligned with magnetic fields even with SPIs.


title: Comparative Design-Choice Analysis of Color Refinement Algorithms Beyond the Worst Case

abstract: Color refinement is a crucial subroutine in symmetry detection in theory as well as practice. It has further applications in machine learning and in computational problems from linear algebra. While tight lower bounds for the worst case complexity are known [Berkholz, Bonsma, Grohe, ESA2013] no comparative analysis of design choices for color refinement algorithms is available. We devise two models within which we can compare color refinement algorithms using formal methods, an online model and an approximation model. We use these to show that no online algorithm is competitive beyond a logarithmic factor and no algorithm can approximate the optimal color refinement splitting scheme beyond a logarithmic factor. We also directly compare strategies used in practice showing that, on some graphs, queue based strategies outperform stack based ones by a logarithmic factor and vice versa. Similar results hold for strategies based on priority queues.


title: Building Safer Autonomous Agents by Leveraging Risky Driving Behavior Knowledge

abstract: Simulation environments are good for learning different driving tasks like lane changing, parking or handling intersections etc. in an abstract manner. However, these simulation environments often restrict themselves to operate under conservative interaction behavior amongst different vehicles. But, as we know, real driving tasks often involve very high risk scenarios where other drivers often don't behave in the expected sense. There can be many reasons for this behavior like being tired or inexperienced. The simulation environment doesn't take this information into account while training the navigation agent. Therefore, in this study we especially focus on systematically creating these risk prone scenarios with heavy traffic and unexpected random behavior for creating better model-free learning agents. We generate multiple autonomous driving scenarios by creating new custom Markov Decision Process (MDP) environment iterations in the highway-env simulation package. The behavior policy is learnt by agents trained with the help from deep reinforcement learning models. Our behavior policy is deliberated to handle collisions and risky randomized driver behavior. We train model free learning agents with supplement information of risk prone driving scenarios and compare their performance with baseline agents. Finally, we casually measure the impact of adding these perturbations in the training process to precisely account for the performance improvement obtained from utilizing the learnings from these scenarios.


title: Stochastic Bandits for Multi-platform Budget Optimization in Online Advertising

abstract: We study the problem of an online advertising system that wants to optimally spend an advertiser's given budget for a campaign across multiple platforms, without knowing the value for showing an ad to the users on those platforms. We model this challenging practical application as a Stochastic Bandits with Knapsacks problem over $T$ rounds of bidding with the set of arms given by the set of distinct bidding $m$-tuples, where $m$ is the number of platforms. We modify the algorithm proposed in Badanidiyuru \emph{et al.,} to extend it to the case of multiple platforms to obtain an algorithm for both the discrete and continuous bid-spaces. Namely, for discrete bid spaces we give an algorithm with regret $O\left(OPT \sqrt {\frac{mn}{B} }+ \sqrt{mn OPT}\right)$, where $OPT$ is the performance of the optimal algorithm that knows the distributions. For continuous bid spaces the regret of our algorithm is $\tilde{O}\left(m^{1/3} \cdot \min\left\{ B^{2/3}, (m T)^{2/3} \right\} \right)$. When restricted to this special-case, this bound improves over Sankararaman and Slivkins in the regime $OPT \ll T$, as is the case in the particular application at hand. Second, we show an $ \Omega\left (\sqrt {m OPT} \right)$ lower bound for the discrete case and an $\Omega\left( m^{1/3} B^{2/3}\right)$ lower bound for the continuous setting, almost matching the upper bounds. Finally, we use a real-world data set from a large internet online advertising company with multiple ad platforms and show that our algorithms outperform common benchmarks and satisfy the required properties warranted in the real-world application.


title: Interpretable Feature Construction for Time Series Extrinsic Regression

abstract: Supervised learning of time series data has been extensively studied for the case of a categorical target variable. In some application domains, e.g., energy, environment and health monitoring, it occurs that the target variable is numerical and the problem is known as time series extrinsic regression (TSER). In the literature, some well-known time series classifiers have been extended for TSER problems. As first benchmarking studies have focused on predictive performance, very little attention has been given to interpretability. To fill this gap, in this paper, we suggest an extension of a Bayesian method for robust and interpretable feature construction and selection in the context of TSER. Our approach exploits a relational way to tackle with TSER: (i), we build various and simple representations of the time series which are stored in a relational data scheme, then, (ii), a propositionalisation technique (based on classical aggregation / selection functions from the relational data field) is applied to build interpretable features from secondary tables to "flatten" the data; and (iii), the constructed features are filtered out through a Bayesian Maximum A Posteriori approach. The resulting transformed data can be processed with various existing regressors. Experimental validation on various benchmark data sets demonstrates the benefits of the suggested approach.


title: Systematic Mapping Study on the Machine Learning Lifecycle

abstract: The development of artificial intelligence (AI) has made various industries eager to explore the benefits of AI. There is an increasing amount of research surrounding AI, most of which is centred on the development of new AI algorithms and techniques. However, the advent of AI is bringing an increasing set of practical problems related to AI model lifecycle management that need to be investigated. We address this gap by conducting a systematic mapping study on the lifecycle of AI model. Through quantitative research, we provide an overview of the field, identify research opportunities, and provide suggestions for future research. Our study yields 405 publications published from 2005 to 2020, mapped in 5 different main research topics, and 31 sub-topics. We observe that only a minority of publications focus on data management and model production problems, and that more studies should address the AI lifecycle from a holistic perspective.


title: Arithmetic Digit Manipulation and The Conway Base-13 Function

abstract: To demonstrate the ability in standard arithmetic operations to perform a variety of digit manipulation tasks, a closed-form representation of the Conway Base-13 Function over the integers is given.


title: Modulation instability induced supercontinuum generation in liquid core suspended photonic crystal fiber with cubic-quintic nonlinearities

abstract: In this paper, we propose a liquid core suspended photonic crystal fiber (LCSPCF) as a potential waveguide structure for nonlinear applications. We emphasize the dramatic improvement of the nonlinear properties of the PCF through the infiltration of liquid and highlight the effect of suspension in the further enhancement of nonlinearity. To demonstrate the capability of LCSPCF, we perform a modulation instability (MI) study and illustrate the MI enhancement in the LCSPCF against conventional PCF. As the LCSPCF possesses high nonlinearity, it is important to consider the effects of higher-order nonlinearities. We observe that the quintic nonlinearity (QN) increases the MI for cooperating nonlinearities while it suppresses the MI for competing nonlinearities. We have also importantly studied the effect of QN on the MI induced supercontinuum generation (SCG) for silica and CS2 liquid core PCF. Thus, we propose the LCSPCF as a platform for nonlinear applications such as SCG, pulse compression, etc., owing to the presence of high and controllable nonlinear coefficients.


title: Optimal Targeting in Fundraising: A Causal Machine-Learning Approach

abstract: Ineffective fundraising lowers the resources charities can use to provide goods. We combine a field experiment and a causal machine-learning approach to increase a charity's fundraising effectiveness. The approach optimally targets a fundraising instrument to individuals whose expected donations exceed solicitation costs. Our results demonstrate that machine-learning-based optimal targeting allows the charity to substantially increase donations net of fundraising costs relative to uniform benchmarks in which either everybody or no one receives the gift. To that end, it (a) should direct its fundraising efforts to a subset of past donors and (b) never address individuals who were previously asked but never donated. Further, we show that the benefits of machine-learning-based optimal targeting even materialize when the charity only exploits publicly available geospatial information or applies the estimated optimal targeting rule to later fundraising campaigns conducted in similar samples. We conclude that charities not engaging in optimal targeting waste significant resources.


title: Augmenting Supervised Learning by Meta-learning Unsupervised Local Rules

abstract: The brain performs unsupervised learning and (perhaps) simultaneous supervised learning. This raises the question as to whether a hybrid of supervised and unsupervised methods will produce better learning. Inspired by the rich space of Hebbian learning rules, we set out to directly learn the unsupervised learning rule on local information that best augments a supervised signal. We present the Hebbian-augmented training algorithm (HAT) for combining gradient-based learning with an unsupervised rule on pre-synpatic activity, post-synaptic activities, and current weights. We test HAT's effect on a simple problem (Fashion-MNIST) and find consistently higher performance than supervised learning alone. This finding provides empirical evidence that unsupervised learning on synaptic activities provides a strong signal that can be used to augment gradient-based methods. We further find that the meta-learned update rule is a time-varying function; thus, it is difficult to pinpoint an interpretable Hebbian update rule that aids in training. We do find that the meta-learner eventually degenerates into a non-Hebbian rule that preserves important weights so as not to disturb the learner's convergence.


title: New Generalization Families of Higher Order Changhee Numbers and Polynomials

abstract: In this paper, we introduce new generalizations of higher-order Changhee of the first and second kind. Moreover, we derive some new results for these numbers and polynomials. Furthermore, some interesting special cases of the generalized higher-order Changhee numbers and polynomials are deduced.


title: Thermodynamic Description of Interfaces applying the 2PT method on ReaxFF Molecular Dynamics simulations

abstract: The interface between liquid water and the Pt(111) metal surface is characterized structurally and thermodynamically via reactive molecular dynamics (MD) simulations within the ReaxFF framework. The formation of a distinct buckled adsorbate layer and subsequent wetting layers is tracked via the course of the waters density as well as the distribution of the H2O molecules with increasing distance to the metal surface. Hereby, also the Two Phase Thermodynamics method (2PT) has been utilized for studying the course of entropy as well as the translational, rotational and vibrational entropic contributions throughout the Pt(111)/H2O interface. A significant reduction of the entropy compared to the bulk value is observed in the adsorbate layer ($S$ = 31.05$\pm$2.48\,J/molK ) along with a density of 3.26$\pm$0.06g/cm$^{3}$. The O-O interlayer distribution allows direct tracing of the water ordering and a quantified comparison to the ideal hexagonal adlayer. While the adsorbate layer at the Pt surface shows the occurrence of hexagonal motifs, this near-order is already weakened in the wetting layers. Bulk behavior is reached at 15$\mathrm{\mathring{A}}$ distance from the Pt(111) metal. Introducing an electric field of 0.1 V/$\mathrm{\mathring{A}}$ prolongs the ordering effect of the metal surface into the liquid water.


title: Equivariant Filters for Efficient Tracking in 3D Imaging

abstract: We demonstrate an object tracking method for 3D images with fixed computational cost and state-of-the-art performance. Previous methods predicted transformation parameters from convolutional layers. We instead propose an architecture that does not include either flattening of convolutional features or fully connected layers, but instead relies on equivariant filters to preserve transformations between inputs and outputs (e.g. rot./trans. of inputs rotate/translate outputs). The transformation is then derived in closed form from the outputs of the filters. This method is useful for applications requiring low latency, such as real-time tracking. We demonstrate our model on synthetically augmented adult brain MRI, as well as fetal brain MRI, which is the intended use-case.


title: Noise-assisted routing in mode-coupling devices

abstract: The dynamical control of energy transfer between interacting systems is fundamental in diverse applications related to physical, electronic and chemical processes. Recent developments show that noise may enhance or suppress power transfer in systems described by Coupled-Mode Theory. We show a semi-analytic approach to utilize dynamical noise to produce routing in coupled mode devices. We present results for an optical mode-coupling device with induced noise in the refractive index of the material. However, our approach is valid for networks of coupled oscillators of any type as long as their dynamics are described by Coupled-Mode Theory.


title: Domain Generalization using Ensemble Learning

abstract: Domain generalization is a sub-field of transfer learning that aims at bridging the gap between two different domains in the absence of any knowledge about the target domain. Our approach tackles the problem of a model's weak generalization when it is trained on a single source domain. From this perspective, we build an ensemble model on top of base deep learning models trained on a single source to enhance the generalization of their collective prediction. The results achieved thus far have demonstrated promising improvements of the ensemble over any of its base learners.


title: The Nun Path: The Evolution and Quenching of Satellite Galaxies

abstract: The galaxy quenching process, in which a galaxy stops forming stars is a crucial stage in galaxy life. Two mechanisms for quenching are possible: halo mass quenching of central galaxies and environmental quenching of satellite galaxies. This thesis describes the satellite galaxies (SG) quenching process and its primary causes. The analysis contains a study of a large sample of 118 SGs within the Vela cosmological simulation, identified by a specific SG merger tree algorithm. We find that the quenching evolves through a typical path in the diagram of specific star formation (sSFR) vs. inner stellar surface density ($\Sigma_{\star, 0.5\textrm kpc}$), with the inner surface density defined as the density within 0.5kpc from the center of mass of the SG. Three discrete phases characterize this path: 1. Halt in gas accretion with SG compaction at high sSFR as the SG keeps forming stars 2. Gas removal and rapid drop in the sSFR at the peri-center of its orbit within the host halo 3. Stellar heating and stripping may lead to coalescing with the halo center, an ultra-diffuse galaxy (UDG), a compact elliptical galaxy (eCg), or a globular cluster (GC). We find that the main drivers of SG evolution are ram pressure stripping at the initial stages and tidal forces at the final stages, aided by starvation, suppression of gas accretion. We show that other processes, such as gas depletion by star formation or stellar feedback are secondary. Moreover, we present an innovative method for constructing merger trees in simulations that solve systemic errors. Two new significant results presented here: a. Decoupling of dark-matter from the stellar component in SGs. b. Compact elliptical SG formation. An assembly of these results and others are presented in a fast and robust catalog.


title: The susceptibility exponent of Nambu-Goto strings

abstract: We compute the string susceptibility $\gamma_{str}$ for the regularized Nambu-Goto string in $d$ dimensions and obtain $\gamma_{str}=1/2 $ in $2<d<26$. This agrees with previous results obtained for lattice strings.


title: Mean zonal flows induced by weak mechanical forcings in rotating spheroids

abstract: The generation of mean flows is a long-standing issue in rotating fluids. Motivated by planetary objects, we consider here a rapidly rotating fluid-filled spheroid, which is subject to weak perturbations of either the boundary (e.g. tides) or the rotation vector (e.g. in direction by precession, or in magnitude by longitudinal librations). Using boundary-layer theory, we determine the mean zonal flows generated by nonlinear interactions within the viscous Ekman layer. These flows are of interest because they survive in the relevant planetary regime of both vanishing forcings and viscous effects. We extend the theory to take into account (i) the combination of spatial and temporal perturbations, providing new mechanically driven zonal flows (e.g. driven by latitudinal librations), and (ii) the spheroidal geometry relevant for planetary bodies. Wherever possible, our analytical predictions are validated with direct numerical simulations. The theoretical solutions are in good quantitative agreement with the simulations, with expected discrepancies (zonal jets) in the presence of inertial waves generated at the critical latitudes (as for precession). Moreover, we find that the mean zonal flows can be strongly affected in spheroids. Guided by planetary applications, we also revisit the scaling laws for the geostrophic shear layers at the critical latitudes, and the influence of a solid inner core.


title: Harmonic analysis on certain spherical varieties

abstract: Braverman and Kazhdan proposed a conjecture, later refined by Ng\^o and broadened to the framework of spherical varieties by Sakellaridis, that asserts that affine spherical varieties admit Schwartz spaces, Fourier transforms, and Poisson summation formulae. The first author in joint work with B.~Liu and later the first two authors proved these conjectures for certain spherical varieties $Y$ built out of triples of quadratic spaces. However, in these works the Fourier transform was only proven to exist. In the present paper we give, for the first time, an explicit formula for the Fourier transform on $Y.$ We also prove that it is unitary in the nonarchimedean case. As preparation for this result, we give explicit formulae for Fourier transforms on Braverman-Kazhdan spaces attached to maximal parabolic subgroups of split, simple, simply connected groups. These Fourier transforms are of independent interest, for example, from the point of view of analytic number theory.


title: Soft mode theory of ferroelectric phase transitions in the low-temperature phase

abstract: Historically, the soft mode theory of ferroelectric phase transitions has been developed for the high-temperature (paraelectric) phase, where the phonon mode softens upon decreasing the temperature. In the low-temperature ferroelectric phase, a similar phonon softening occurs, also leading to a bosonic condensation of the frozen-in mode at the transition, but in this case the phonon softening occurs upon increasing the temperature. Here we present a soft mode theory of ferroelectric and displacive phase transitions by describing what happens in the low-temperature phase in terms of phonon softening and instability. A new derivation of the generalized Lyddane-Sachs-Teller (LST) relation for materials with strong anharmonic phonon damping is also presented which leads to the expression $\varepsilon_{0}/\varepsilon_{\infty}=|\omega_{LO}|^{2}/|\omega_{TO}|^{2}$. The theory provides a microscopic expression for $T_c$ as a function of physical parameters, including the mode specific Gr\"uneisen parameter. The theory also shows that $\omega_{TO} \sim (T_{c}-T)^{1/2}$, and again specifies the prefactors in terms of Gr\"uneisen parameter and fundamental physical constants. Using the generalized LST relation, the softening of the TO mode leads to the divergence of $\epsilon_0$ and to a polarization catastrophe at $T_c$. A quantitative microscopic form of the Curie-Weiss law is derived with prefactors that depend on microscopic physical parameters.


title: Correlations of primary fields in the critical Ising model

abstract: We prove convergence of renormalized correlations of primary fields, i. e., spins, disorders, fermions and energy densities, in the scaling limit of the critical Ising model in arbitrary finitely connected domains, with fixed (plus or minus) or free boundary conditions, or mixture thereof. We describe the limits of correlations in terms of solutions of Riemann boundary value problems, and prove their conformal covariance. Moreover, we prove fusion rules, or operator product expansions, which describe asymptotics of the scaling limits of the correlations as some of the points collide together. We give explicit formulae for correlations in the case of simply-connected and doubly-connected domains. Our presentation is self-contained, and the proofs are simplified as compared to the previous work where particular cases are treated.


title: How to Compute Invariant Manifolds and their Reduced Dynamics in High-Dimensional Finite-Element Models

abstract: Invariant manifolds are important constructs for the quantitative and qualitative understanding of nonlinear phenomena in dynamical systems. In nonlinear damped mechanical systems, for instance, spectral submanifolds have emerged as useful tools for the computation of forced response curves, backbone curves, detached resonance curves (isolas) via exact reduced-order models. For conservative nonlinear mechanical systems, Lyapunov subcenter manifolds and their reduced dynamics provide a way to identify nonlinear amplitude-frequency relationships in the form of conservative backbone curves. Despite these powerful predictions offered by invariant manifolds, their use has largely been limited to low-dimensional academic examples. This is because several challenges render their computation unfeasible for realistic engineering structures described by finite-element models. In this work, we address these computational challenges and develop methods for computing invariant manifolds and their reduced dynamics in very high-dimensional nonlinear systems arising from spatial discretization of the governing partial differential equations. We illustrate our computational algorithms on finite-element models of mechanical structures that range from a simple beam containing tens of degrees of freedom to an aircraft wing containing more than a hundred-thousand degrees of freedom.


title: Super-Eddington accretion onto a stellar mass ultraluminous X-ray source NGC 4190 ULX1

abstract: We present the results of high-quality XMM-NEWTON observations of a ULX in the galaxy NGC 4190. The detection of spectral cutoff in NGC 4190 ULX1 spectra rules out the interpretation of the ULX to be in a standard low/hard canonical accretion state. We report that the high quality EPIC spectra can be better described by broad thermal component, such as a slim disk. In addition we found long term spectral and flux variability in the source using several XMM-NEWTON and Swift data. A clear anti-correlation between flux and power-law photon index is found which further confirms the unusual spectral state evolution of the ULX. Spectral properties of the ULX suggest that the source is in a broadened disk state with luminosities ($\approx (3-10) \times 10^{39}$ ergs s$^{-1}$) falling in the ultraluminous regime. The positive Luminosity-temperature relation further suggests that the multi color disk model follows the $L \propto T^4$ relation which is expected for a black body disk emission from a constant area and the slim disk model seems to favour $L \propto T^2$ relation consistent with an advection dominated disk emission . From the broadened disk like spectral feature at such luminosity, we estimated the upper limit of the mass of the central compact object from the inner disk radius and found that the ULX hosts a stellar mass black hole.


title: Multilevel Selective Harmonic Modulation via Optimal Control

abstract: We consider the Selective Harmonic Modulation (SHM) problem, consisting in the design of a staircase control signal with some prescribed frequency components. In this work, we propose a novel methodology to address SHM as an optimal control problem in which the admissible controls are piecewise constant functions, taking values only in a given finite set. In order to fulfill this constraint, we introduce a cost functional with piecewise affine penalization for the control, which, by means of Pontryagin's maximum principle, makes the optimal control have the desired staircase form. Moreover, the addition of the penalization term for the control provides uniqueness and continuity of the solution with respect to the target frequencies. Another advantage of our approach is that the number of switching angles and the waveform need not be determined a priori. Indeed, the solution to the optimal control problem is the entire control signal, and therefore, it determines the waveform and the location of the switches. We also provide several numerical examples in which the SHM problem is solved by means of our approach.


title: Exploiting Isomorphic Subgraphs in SAT (Long version)

abstract: While static symmetry breaking has been explored in the SAT community for decades, only as of 2010 research has focused on exploiting the same discovered symmetry dynamically, during the run of the SAT solver, by learning extra clauses. The two methods are distinct and not compatible. The former prunes solutions, whereas the latter does not -- it only prunes areas of the search that do not have solutions, like standard conflict clauses. Both approaches, however, require what we call \emph{full symmetry}, namely a propositionally-consistent mapping $\sigma$ between the literals, such that $\sigma(\varphi) \equiv \varphi$, where here $\equiv$ means syntactic equivalence modulo clause ordering and literal ordering within the clauses. In this article we show that such full symmetry is not a necessary condition for adding extra clauses: isomorphism between possibly-overlapping subgraphs of the colored incidence graph is sufficient. While finding such subgraphs is a computationally hard problem, there are many cases in which they can be detected a priory by analyzing the high-level structure of the problem from which the CNF was derived. We demonstrate this principle with several well-known problems, including Van der Waerden numbers, bounded model checking and Boolean Pythagorean triples.


title: Comment on: Crossover of Charge Fluctuations across the Strange Metal Phase Diagram

abstract: In a recent paper by Husain et al. [PRX 9, 041062 (2019)], the two-particle electronic excitations in Bi2Sr2CaCu2O8+x have been studied by Electron Energy-Loss Spectroscopy in reflection (R-EELS) in the strange metal range between underdoped and overdoped materials. The authors conclude that there are no well defined plasmons. Rather they obtain a momentum-independent continuum which they discuss in terms of holographic theories. In this Comment it is pointed out that the experimental results are in stark contrast to previous EELS in transmission (T-EELS), Resonant Inelastic X-ray Scattering (RIXS), and optical studies. The differences can be probably explained by an inaccurate momentum scale in the R-EELS experiments. Furthermore, it is shown, that many material specific experimental results from T-EELS, R-EELS, RIXS, and optical spectroscopy can be explained by a more traditional extended Lindhard model. This model describes the energy, the width, and the dispersion of normal and acoustic plasmons in cuprates, as well as the continuum. The latter is explained by electron-hole excitations inside a lifetime broadened conduction band. This continuum is directly related to the scattering rates of the charge carriers, which in turn, by a feed back process, lead to the continuum.


title: Zooid: a DSL for Certified Multiparty Computation

abstract: We design and implement Zooid, a domain specific language for certified multiparty communication, embedded in Coq and implemented atop our mechanisation framework of asynchronous multiparty session types (the first of its kind). Zooid provides a fully mechanised metatheory for the semantics of global and local types, and a fully verified end-point process language that faithfully reflects the type-level behaviours and thus inherits the global types properties such as deadlock freedom, protocol compliance, and liveness guarantees.


title: Requirement Engineering Challenges for AI-intense Systems Development

abstract: Availability of powerful computation and communication technology as well as advances in artificial intelligence enable a new generation of complex, AI-intense systems and applications. Such systems and applications promise exciting improvements on a societal level, yet they also bring with them new challenges for their development. In this paper we argue that significant challenges relate to defining and ensuring behaviour and quality attributes of such systems and applications. We specifically derive four challenge areas from relevant use cases of complex, AI-intense systems and applications related to industry, transportation, and home automation: understanding, determining, and specifying (i) contextual definitions and requirements, (ii) data attributes and requirements, (iii) performance definition and monitoring, and (iv) the impact of human factors on system acceptance and success. Solving these challenges will imply process support that integrates new requirements engineering methods into development approaches for complex, AI-intense systems and applications. We present these challenges in detail and propose a research roadmap.


title: Playing with the index of M-theory

abstract: Motivated by M-theory, we study rank n K-theoretic Donaldson-Thomas theory on a toric threefold X. In the presence of compact four-cycles, we discuss how to include the contribution of D4-branes wrapping them. Combining this with a simple assumption on the (in)dependence on Coulomb moduli in the 7d theory, we show that the partition function factorizes and, when X is Calabi-Yau and it admits an ADE ruling, it reproduces the 5d master formula for the geometrically engineered theory on A(n-1) ALE space, thus extending the usual geometric engineering dictionary to n>1. We finally speculate about implications for instanton counting on Taub-NUT.


title: General Theory of Music by Icosahedron 1: A bridge between "artificial" scales and "natural" scales, Duality between chromatic scale and Pythagorean chain, and Golden Major Minor Self-Duality

abstract: Relations among various musical concepts are investigated through a new concept, musical icosahedron that is the regular icosahedron each of whose vertices has one of 12 tones. First, we found that there exist four musical icosahedra that characterize the topology of the chromatic scale and one of the whole tone scales, and have the hexagon-icosahedron symmetry (an operation of raising all the tones of a given scale by two semitones corresponds to a symmetry transformation of the regular icosahedron): chromatic/whole tone musical icosahedra. The major triads or the minor triads are set on the golden triangles of these musical icosahedra. Also, various dualities between musical concepts are shown by these musical icosahedra: the major triads/scales and the minor triads/scales, the major/minor triads and the fundamental triads for the hexatonic major/minor scales, the major/minor scales and the Gregorian modes. Second, we proposed Pythagorean/whole tone musical icosahedra that characterize the topology of the Pythagorean chain and one of the whole tone scales, and have the hexagon-icosahedron symmetry. The Pythagorean chain (chromatic scale) in the chromatic (Pythagorean)/whole tone musical icosahedron is constructed by "middle" lines of the regular icosahedron. While some golden triangles correspond to the major/minor triads in the chromatic/whole tone musical icosahedra, in the Pythagorean/whole tone musical icosahedra, some golden gnomons correspond to the minor/major triads. Third, we found four types of musical icosahedra other than the chromatic/whole tone musical icosahedra and the Pythagorean/whole tone musical icosahedra that have the hexagon-icosahedron symmetry. All the major triads and minor triads are represented by the golden triangles or the golden gnomons on each type. All of these musical icosahedra lead to generalizations of major/minor triads and scales.


title: Minimal Euler Characteristics of 4-manifolds with 3-manifold groups

abstract: Let $\pi=\pi_1(M)$ for a compact 3-manifold $M$, and let $\chi_4$, $p$ and $q^*$ be the invariants of Hausmann-Weinberger, Kotschick and Hillman respectively. For certain class of compact 3-manifolds $M$, including all those not containing two-sided $RP^2$, we determine $\chi_4(\pi)$. We address when does $\chi_4(\pi)=p(\pi)$, when does $\chi_4(\pi)=q^*(\pi)$, and answer a question raised by Hillman.


title: TOP: Backdoor Detection in Neural Networks via Transferability of Perturbation

abstract: Deep neural networks (DNNs) are vulnerable to "backdoor" poisoning attacks, in which an adversary implants a secret trigger into an otherwise normally functioning model. Detection of backdoors in trained models without access to the training data or example triggers is an important open problem. In this paper, we identify an interesting property of these models: adversarial perturbations transfer from image to image more readily in poisoned models than in clean models. This holds for a variety of model and trigger types, including triggers that are not linearly separable from clean data. We use this feature to detect poisoned models in the TrojAI benchmark, as well as additional models.


title: Disorder-induced topological phase transition in a 1D mechanical system

abstract: We numerically investigate the topological phase transition induced purely by disorder in a spring-mass chain. We employ two types of disorders - chiral and random types - to explore the interplay between topology and disorder. By tracking the evolution of real space topological invariants, we obtain the topological phase diagrams and demonstrate the bilateral capacity of disorder to drive topological transitions, from topologically nontrivial to trivial and vice versa. The corresponding transition is accompanied by the realization of a mechanical Topological Anderson Insulator. The findings from this study hint that the combination of disorder and topology can serve as an efficient control knob to manipulate the transfer of mechanical energy.


title: Determining the helicity structure of the nucleon at the Electron Ion Collider in China

abstract: Understanding how sea quarks behave inside a nucleon is one of the most important physics goals of the proposed Electron-Ion Collider in China (EicC), which is designed to have 3.5 GeV polarized electron beam (80% polarization) colliding with 20 GeV polarized proton beam (70% polarization) at instantaneous luminosity of $2 \times 10^{33} {\rm cm}^{-2} {\rm s}^{-1}$. A specific topic at EicC is to understand the polarization of individual quarks inside a longitudinally polarized nucleon. The potential of various future EicC data, including the inclusive and semi-inclusive deep inelastic scattering data from both doubly polarized electron-proton and electron-$^3{\rm He}$ collisions, to reduce the uncertainties of parton helicity distributions is explored at the next-to-leading order in QCD, using the Error PDF Updating Method Package ({\sc ePump}) which is based on the Hessian profiling method. We show that the semi-inclusive data are well able to provide good separation between flavour distributions, and to constrain their uncertainties in the $x>0.005$ region, especially when electron-$^3{\rm He}$ collisions, acting as effective electron-neutron collisions, are taken into account. To enable this study, we have generated a Hessian representation of the DSSV14 set of PDF replicas, named DSSV14H PDFs.


title: Deep Reinforcement Learning-Aided RAN Slicing Enforcement for B5G Latency Sensitive Services

abstract: The combination of cloud computing capabilities at the network edge and artificial intelligence promise to turn future mobile networks into service- and radio-aware entities, able to address the requirements of upcoming latency-sensitive applications. In this context, a challenging research goal is to exploit edge intelligence to dynamically and optimally manage the Radio Access Network Slicing (that is a less mature and more complex technology than fifth-generation Network Slicing) and Radio Resource Management, which is a very complex task due to the mostly unpredictably nature of the wireless channel. This paper presents a novel architecture that leverages Deep Reinforcement Learning at the edge of the network in order to address Radio Access Network Slicing and Radio Resource Management optimization supporting latency-sensitive applications. The effectiveness of our proposal against baseline methodologies is investigated through computer simulation, by considering an autonomous-driving use-case.


title: Hydrodynamic Decay of Decorated Quantum Vortex Rings

abstract: The decay of quantum vortex rings in counterflow regimes, visualized in Helium II with the help of solid hydrogen particles trapped to their cores, has been a puzzling issue within the usual description of superfluid vortex dynamics, grounded on the hypothesis that a vortex filament is, effectively, an extended massless object subject to a canceling superposition of Magnus and mutual friction forces. We discuss, from a general energy-budget point of view, a phenomenological solution of this problem, which relies on viscous and quantum dissipation mechanisms, the later associated to the backreaction of vortex singular structures on the surrounding two-component fluid mixture.


title: Chiral sensing with achiral anisotropic metasurfaces

abstract: Recently, we proposed a metasurface design for chiral sensing that (i) results in enhanced chiroptical signals by more than two orders of magnitude for ultrathin, subwavelength, chiral samples over a uniform and accessible area, (ii) allows for complete measurements of the total chirality (magnitude and sign of both its real and imaginary part), and (iii) offers the possibility for a crucial signal reversal (excitation with reversed polarization) that enables chirality measurements in an absolute manner, i.e., without the need for sample removal. Our design is based on the anisotropic response of the metasurface, rather than the superchirality of the generated near-fields, as in most contemporary nanophotonic-based chiral sensing approaches. Here, we derive analytically, and verify numerically, simple formulas that provide insight to the sensing mechanism and explain how anisotropic metasurfaces, in general, offer additional degrees of freedom with respect to their isotropic counterparts. We provide a detailed discussion of the key functionalities and benefits of our proposed design and we demonstrate practical measurement schemes for the unambiguous determination of an unknown chirality. Last, we provide the design principles towards broadband operation - from near-infrared to near-ultraviolet frequencies - opening the way for highly sensitive nanoscale chiroptical spectroscopy.


title: Computing Parameterized Invariants of Parameterized Petri Nets

abstract: A fundamental advantage of Petri net models is the possibility to automatically compute useful system invariants from the syntax of the net. Classical techniques used for this are place invariants, P-components, siphons or traps. Recently, Bozga et al. have presented a novel technique for the \emph{parameterized} verification of safety properties of systems with a ring or array architecture. They show that the statement \enquote{for every instance of the parameterized Petri net, all markings satisfying the linear invariants associated to all the P-components, siphons and traps of the instance are safe} can be encoded in \acs{WS1S} and checked using tools like MONA. However, while the technique certifies that this infinite set of linear invariants extracted from P-components, siphons or traps are strong enough to prove safety, it does not return an explanation of this fact understandable by humans. We present a CEGAR loop that constructs a \emph{finite} set of \emph{parameterized} P-components, siphons or traps, whose infinitely many instances are strong enough to prove safety. For this we design parameterization procedures for different architectures.


title: Quantum-enhanced radiometry via approximate quantum error correction

abstract: By exploiting the exotic quantum states of a probe, it is possible to realize efficient sensors that are attractive for practical metrology applications and fundamental studies. Similar to other quantum technologies, quantum sensing is suffering from noises and thus the experimental developments are hindered. Although theoretical schemes based on quantum error correction (QEC) have been proposed to combat noises, their demonstrations are prevented by the stringent experimental requirements, such as perfect quantum operations and the orthogonal condition between the sensing interaction Hamiltonian and the noise Lindbladians. Here, we report an experimental demonstration of a quantum enhancement in sensing with a bosonic probe with different encodings, by exploring the large Hilbert space of the bosonic mode and developing both the approximate QEC and the quantum jump tracking approaches. In a practical radiometry scenario, we attain a 5.3 dB enhancement of sensitivity, which reaches $9.1\times10^{-4}\,\mathrm{Hz}^{-1/2}$ when measuring the excitation population of a receiver mode. Our results demonstrate the potential of quantum sensing with near-term quantum technologies, not only shedding new light on the quantum advantage of sensing by revealing its difference from other quantum applications, but also stimulating further efforts on bosonic quantum technologies.


title: Modeling the Second Player in Distributionally Robust Optimization

abstract: Distributionally robust optimization (DRO) provides a framework for training machine learning models that are able to perform well on a collection of related data distributions (the "uncertainty set"). This is done by solving a min-max game: the model is trained to minimize its maximum expected loss among all distributions in the uncertainty set. While careful design of the uncertainty set is critical to the success of the DRO procedure, previous work has been limited to relatively simple alternatives that keep the min-max optimization problem exactly tractable, such as $f$-divergence balls. In this paper, we argue instead for the use of neural generative models to characterize the worst-case distribution, allowing for more flexible and problem-specific selection of the uncertainty set. However, while simple conceptually, this approach poses a number of implementation and optimization challenges. To circumvent these issues, we propose a relaxation of the KL-constrained inner maximization objective that makes the DRO problem more amenable to gradient-based optimization of large scale generative models, and develop model selection heuristics to guide hyper-parameter search. On both toy settings and realistic NLP tasks, we find that the proposed approach yields models that are more robust than comparable baselines.


title: Analytical Energy Formalism and Kinetic Effects of Grain Boundary: A Case Study of Graphene

abstract: Grain boundaries (GBs), an important constituent of polycrystalline materials, have a wide range of manifestion and significantly affect the properties of materials. Fully understanding the effects of GBs is stalemated due to lack of complete knowledge of their structures and energetics. Here, for the first time, by taking graphene as an example, we propose an analytical energy functional of GBs in angle space. We find that an arbitrary GB can be characterized by a geometric combination of symmetric GBs that follow the principle of uniform distribution of their dislocation cores in straight lines. Furthermore, we determine the elusive kinetic effects on GBs from the difference between experimental statistics and energy-dependent thermodynamic effects. This study not only presents an analytical energy functional of GBs which could also be extended to other two-dimensional materials, but also sheds light on understanding the kinetic effects of GBs in material synthesizing processes.


title: SG-Net: Spatial Granularity Network for One-Stage Video Instance Segmentation

abstract: Video instance segmentation (VIS) is a new and critical task in computer vision. To date, top-performing VIS methods extend the two-stage Mask R-CNN by adding a tracking branch, leaving plenty of room for improvement. In contrast, we approach the VIS task from a new perspective and propose a one-stage spatial granularity network (SG-Net). Compared to the conventional two-stage methods, SG-Net demonstrates four advantages: 1) Our method has a one-stage compact architecture and each task head (detection, segmentation, and tracking) is crafted interdependently so they can effectively share features and enjoy the joint optimization; 2) Our mask prediction is dynamically performed on the sub-regions of each detected instance, leading to high-quality masks of fine granularity; 3) Each of our task predictions avoids using expensive proposal-based RoI features, resulting in much reduced runtime complexity per instance; 4) Our tracking head models objects centerness movements for tracking, which effectively enhances the tracking robustness to different object appearances. In evaluation, we present state-of-the-art comparisons on the YouTube-VIS dataset. Extensive experiments demonstrate that our compact one-stage method can achieve improved performance in both accuracy and inference speed. We hope our SG-Net could serve as a strong and flexible baseline for the VIS task. Our code will be available.


title: LcTools II: The QuickFind Method for Finding Signals and Associated TTVs in Light Curves from NASA Space Missions

abstract: This paper describes the new QuickFind method in LcTools for finding signals and associated TTVs (Transit Timing Variations) in light curves from NASA space missions. QuickFind is adept at finding medium to large sized signals (generally those with S/N ratios above 15) extremely fast, significantly reducing overall processing time for a light curve as compared to the BLS detection method. For example, on the lead author's computer, QuickFind was able to detect both KOI signals for star 10937029 in a 14 quarter Kepler light curve spanning 1,459 days in roughly 2 seconds whereas BLS took about 155 seconds to find both signals making QuickFind in this example about 77 times faster than BLS. This paper focuses on the user interfaces, data processing algorithm, and performance tests for the QuickFind method in LcTools.


title: On energy ground states among crystal lattice structures with prescribed bonds

abstract: We consider pairwise interaction energies and we investigate their minimizers among lattices with prescribed minimal vectors (length and coordination number), i.e. the one corresponding to the crystal's bonds. In particular, we show the universal minimality -- i.e. the optimality for all completely monotone interaction potentials -- of strongly eutactic lattices among these structures. This gives new optimality results for the square, triangular, simple cubic (SC), face-centred-cubic (FCC) and body-centred-cubic (BCC) lattices in dimensions 2 and 3 when points are interacting through completely monotone potentials. We also show the universal maximality of the triangular and FCC lattices among all lattices with prescribed bonds. Furthermore, we apply our results to Lennard-Jones type potentials, showing the minimality of any universal minimizer (resp. maximizer) for small (resp. large) bond lengths, where the ranges of optimality are easily computable. Finally, a numerical investigation is presented where a phase transition of type "square-rhombic-triangular" (resp. "SC-rhombic-BCC-rhombic-FCC") in dimension $d=2$ (resp. $d=3$) among lattices with more than 4 (resp. 6) bonds is observed.


title: Formation Control for Connected and Automated Vehicles on Multi-lane Roads: Relative Motion Planning and Conflict Resolution

abstract: Multi-vehicle coordinated decision making and control can improve traffic efficiency while guaranteeing driving safety. Formation control is a typical multi-vehicle coordination method in the multi-lane scenario. Among the existing formation control methods, the formation switching process is predefined and the collision-free behavior of vehicles has not been considered and explained in detail. This paper proposes a formation control method for multiple Connected and Automated Vehicles (CAVs) on multi-lane roads. Firstly, a bi-level planning framework is proposed to switch the structure of the formation in different scenarios smoothly and effectively. Secondly, the relative coordinate system is established and the conflict-free relative paths are planned in the upper level. Then, multi-stage trajectory planning and tracking are modeled and solved as an optimal control problem with path constraints in the lower level. Next, case study is conducted to verify the function of the proposed method in different scenarios. Finally, simulation in the lane-drop bottleneck scenario is carried out under different traffic volume and numerical results indicate that the proposed method can improve both traffic efficiency and fuel economy at high traffic volume.


title: Some remarks on the weak maximizing property

abstract: A pair of Banach spaces $(E, F)$ is said to have the weak maximizing property (WMP, for short) if for every bounded linear operator $T$ from $E$ into $F$, the existence of a non-weakly null maximizing sequence for $T$ implies that $T$ attains its norm. This property was recently introduced in an article by R. Aron, D. Garc\'ia, D. Pelegrino and E. Teixeira, raising several open questions. The aim of the present paper is to contribute to the better knowledge of the WMP and its limitations. Namely, we provide sufficient conditions for a pair of Banach spaces to fail the WMP and study the behaviour of this property with respect to quotients, subspaces, and direct sums, which open the gate to present several consequences. For instance, we deal with pairs of the form $(L_p[0,1], L_q[0,1])$, proving that these pairs fail the WMP whenever $p>2$ or $q<2$. We also show that, under certain conditions on $E$, the assumption that $(E, F)$ has the WMP for every Banach space $F$ implies that $E$ must be finite dimensional. On the other hand, we show that $(E, F)$ has the WMP for every reflexive space $E$ if and only if $F$ has the Schur property. We also give a complete characterization for the pairs $(\ell_s \oplus_p \ell_p, \ell_s \oplus_q \ell_q)$ to have the WMP by calculating the moduli of asymptotic uniform convexity of $\ell_s \oplus_p \ell_p$ and of asymptotic uniform smoothness of $\ell_s \oplus_q \ell_q$ when $1 < p \leq s \leq q < \infty$. We conclude the paper by discussing some variants of the WMP and presenting a list of open problems on the topic of the paper.