title: Global Locality in Biomedical Relation and Event Extraction

abstract: Due to the exponential growth of biomedical literature, event and relation extraction are important tasks in biomedical text mining. Most work only focus on relation extraction, and detect a single entity pair mention on a short span of text, which is not ideal due to long sentences that appear in biomedical contexts. We propose an approach to both relation and event extraction, for simultaneously predicting relationships between all mention pairs in a text. We also perform an empirical study to discuss different network setups for this purpose. The best performing model includes a set of multi-head attentions and convolutions, an adaptation of the transformer architecture, which offers self-attention the ability to strengthen dependencies among related elements, and models the interaction between features extracted by multiple attention heads. Experiment results demonstrate that our approach outperforms the state of the art on a set of benchmark biomedical corpora including BioNLP 2009, 2011, 2013 and BioCreative 2017 shared tasks.


title: Distributed Equivalent Substitution Training for Large-Scale Recommender Systems

abstract: We present Distributed Equivalent Substitution (DES) training, a novel distributed training framework for large-scale recommender systems with dynamic sparse features. DES introduces fully synchronous training to large-scale recommendation system for the first time by reducing communication, thus making the training of commercial recommender systems converge faster and reach better CTR. DES requires much less communication by substituting the weights-rich operators with the computationally equivalent sub-operators and aggregating partial results instead of transmitting the huge sparse weights directly through the network. Due to the use of synchronous training on large-scale Deep Learning Recommendation Models (DLRMs), DES achieves higher AUC(Area Under ROC). We successfully apply DES training on multiple popular DLRMs of industrial scenarios. Experiments show that our implementation outperforms the state-of-the-art PS-based training framework, achieving up to 68.7% communication savings and higher throughput compared to other PS-based recommender systems.


title: A Machine Learning Method for Prediction of Multipath Channels

abstract: In this paper, a machine learning method for predicting the evolution of a mobile communication channel based on a specific type of convolutional neural network is developed and evaluated in a simulated multipath transmission scenario. The simulation and channel estimation are designed to replicate real-world scenarios and common measurements supported by reference signals in modern cellular networks. The capability of the predictor meets the requirements that a deployment of the developed method in a radio resource scheduler of a base station poses. Possible applications of the method are discussed.


title: GEN: Highly Efficient SMILES Explorer Using Autodidactic Generative Examination Networks

abstract: Recurrent neural networks have been widely used to generate millions of de novo molecules in a known chemical space. These deep generative models are typically setup with LSTM or GRU units and trained with canonical SMILEs. In this study, we introduce a new robust architecture, Generative Examination Networks GEN, based on bidirectional RNNs with concatenated sub-models to learn and generate molecular SMILES with a trained target space. GENs autonomously learn the target space in a few epochs while being subjected to an independent online examination mechanism to measure the quality of the generated set. Here we have used online statistical quality control (SQC) on the percentage of valid molecules SMILES as an examination measure to select the earliest available stable model weights. Very high levels of valid SMILES (95-98%) can be generated using multiple parallel encoding layers in combination with SMILES augmentation using unrestricted SMILES randomization. Our architecture combines an excellent novelty rate (85-90%) while generating SMILES with a strong conservation of the property space (95-99%). Our flexible examination mechanism is open to other quality criteria.


title: Spam filtering on forums: A synthetic oversampling based approach for imbalanced data classification

abstract: Forums play an important role in providing a platform for community interaction. The introduction of irrelevant content or spam by individuals for commercial and social gains tends to degrade the professional experience presented to the forum users. Automated moderation of the relevancy of posted content is desired. Machine learning is used for text classification and finds applications in spam email detection, fraudulent transaction detection etc. The balance of classes in training data is essential in the case of classification algorithms to make the learning efficient and accurate. However, in the case of forums, the spam content is sparse compared to the relevant content giving rise to a bias towards the latter while training. A model trained on such biased data will fail to classify a spam sample. An approach based on Synthetic Minority Over-sampling Technique(SMOTE) is presented in this paper to tackle imbalanced training data. It involves synthetically creating new minority class samples from the existing ones until balance in data is achieved. The enhanced data is then passed through various classifiers for which the performance is recorded. The results were analyzed on the data of forums of Spoken Tutorial, IIT Bombay over standard performance metrics and revealed that models trained after Synthetic Minority oversampling outperform the ones trained on imbalanced data by substantial margins. An empirical comparison of the results obtained by both SMOTE and without SMOTE for various supervised classification algorithms have been presented in this paper. Synthetic oversampling proves to be a critical technique for achieving uniform class distribution which in turn yields commendable results in text classification. The presented approach can be further extended to content categorization on educational websites thus helping to improve the overall digital learning experience.


title: Real-space characterization of cavity-coupled waveguide systems in hypersonic phononic crystals

abstract: A phononic crystal formed in a suspended membrane provides full confinement of hypersonic waves and thus realizes a range of chip-scale manipulations. In this letter, we demonstrate the mode-resolved real-space characterization of the mechanical vibration properties in cavities and waveguide systems. Multiple resonant modes are independently characterized in various designed cavities, and wavelength-scale high-$Q$ resonances up to $Q=$ 4200 under atmospheric conditions are confirmed. This also reveals that the waveguide allows us to resolve single-mode wave transmission and thereby drive evanescently-coupled cavities. The methods offer a significant tool with which to build compact and low-power microwave phononic circuitry for signal processing and hybrid quantum system applications.


title: A single photonic cavity with two independent physical synthetic dimensions

abstract: The concept of synthetic dimensions, which has enabled the study of higher-dimensional physics on lower-dimensional physical structures, has generated significant recent interest in many branches of science ranging from ultracold-atomic physics to photonics, since such a concept provides a versatile platform for realizing effective gauge potentials and novel topological physics. Previous experiments demonstrating this concept have augmented the real-space dimensionality by one additional physical synthetic dimension. Here we endow a single ring resonator with two independent physical synthetic dimensions. Our system consists of a temporally modulated ring resonator with spatial coupling between the clockwise and counterclockwise modes, creating a synthetic Hall ladder along the frequency and pseudospin degrees of freedom for photons propagating in the ring. We experimentally observe a wide variety of rich physics, including effective spin-orbit coupling, magnetic fields, spin-momentum locking, a Meissner-to-vortex phase transition, and chiral currents, completely in synthetic dimensions. Our experiments demonstrate that higher-dimensional physics can be studied in simple systems by leveraging the concept of multiple simultaneous synthetic dimensions.

categories: physics.optics cond-mat.mes-hall cond-mat.quant-gas physics.atom-ph quant-ph


title: Flux-conserving diagrammatic formulation of optical spectroscopy of open quantum systems

abstract: We present a theoretical approach to optical spectroscopy of open nonequilibrium systems, which generalizes traditional nonlinear optical spectroscopy tools by imposing charge and energy conservation at all levels of approximation. Both molecular and radiation field degrees of freedom are treated quantum mechanically. The formulation is based on the nonequilibrium Green's function (NEGF) approach and a double sided Feynman diagrammatic representation of the photon flux is developed. Numerical simulations are presented for a model system. Our study bridges the theoretical approaches of quantum transport and optical spectroscopy and establishes a firm basis for applying traditional tools of nonlinear optical spectroscopy in molecular optoelectronics.

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


title: Majorana bound state in the continuum: Coupling between Majorana bound state and quantum dot mediated by continuum

abstract: In this work, we consider a single-level quantum dot (QD) and a Majorana bound state (MBS) placed at the end of a topological superconducting nanowire (TSW). Both are coupled to the continuum and do not have a direct connection between them. We addressed the behavior of MBS leaking phenomena and its consequences into the QD physics in non-interacting and Coulomb blockade regime. By employing Green's function formalism via the equation of motion procedure, we calculate the physical quantities of interest. Our results show that the leakage of the MBS into the continuum state is achieved and can alter the physics of Coulomb blockade in the system through continuum-mediated coupling between MBS and QD. As a main consequence, we found a robust and non-trivial mechanism to accomplish a bound state in the continuum in the system.


title: Scaling Behavior of the Quantum Phase Transition from a Quantum Anomalous Hall Insulator to an Axion Insulator

abstract: The phase transitions from one plateau to the next plateau or to an insulator in quantum Hall and quantum anomalous Hall (QAH) systems have revealed universal scaling behaviors. A magnetic-field-driven quantum phase transition from a QAH insulator to an axion insulator was recently demonstrated in magnetic topological insulator sandwich samples. Here, we show that the temperature dependence of the derivative of the longitudinal resistance on magnetic field at the transition point follows a characteristic power-law that indicates a universal scaling behavior for the QAH to axion insulator phase transition. Similar to the quantum Hall plateau to plateau transition, the QAH to axion insulator transition can also be understood by the Chalker-Coddington network model. We extract a critical exponent k~ 0.38 in agreement with recent high-precision numerical results on the correlation length exponent of the Chalker-Coddington model at v ~ 2.6, rather than the generally-accepted value of 2.33.


title: A New Luminous blue variable in the outskirt of the Andromeda Galaxy

abstract: The hot massive luminous blue variables (LBVs) represent an important evolutionary phase of massive stars. Here, we report the discovery of a new LBV -- LAMOST J0037+4016 in the distant outskirt of the Andromeda galaxy. It is located in the south-western corner (a possible faint spiral arm) of M31 with an unexpectedly large projection distance of $\sim$ 22 kpc from the center. The optical light curve shows a 1.2 mag variation in $V$ band and its outburst and quiescence phases both last over several years. The observed spectra indicate an A-type supergiant at epoch close to the outburst phase and a hot B-type supergiant with weak [Fe II] emission lines at epoch of much dimmer brightness. The near-infrared color-color diagram further shows it follows the distribution of Galactic and M31 LBVs rather than B[e] supergiants. All the existing data strongly show that LAMOST J0037+4016 is an LBV. By spectral energy distribution fitting, we find it has a luminosity ($4.42 \pm 1.64$)$\times 10^5$ $L_{\odot}$ and an initial mass $\sim 30$ $M_{\odot}$, indicating its nature of less luminosity class of LBV.


title: Tunable group delay in a doubly resonant metasurface composed of two dissimilar split-ring resonators

abstract: We develop a method to control the group delay of electromagnetic waves continuously using a doubly resonant metasurface. The method is based on the dependences of i) the group velocity in a medium featuring two resonance lines on the resonance linewidths and ii) the resonance linewidth of a metasurface composed of split-ring resonators on an incidence angle of electromagnetic wave. To verify this method for group-delay control, we design a terahertz metasurface composed of two split-ring resonators with different resonance frequencies and numerically analyze the transmission characteristic of the metasurface. Double resonance lines are observed for oblique incidence and the resonance transmission dips become deeper and broader with increasing the incidence angle. The group delay at around the center frequency of the double resonance lines is found to vary in the range about from 0s to 20 times the period of the incident wave with the incidence angle. In contrast with a previously reported method for variable control of group delay using electromagnetically-induced-transparency-like metamaterials, a high transmittance is achieved for a small group delay condition.


title: Linear Equilibria for Dynamic LQG Games with Asymmetric Information and Dependent Types

abstract: We consider a non-zero-sum linear quadratic Gaussian (LQG) dynamic game with asymmetric information. Each player observes privately a noisy version of a (hidden) state of the world $V$, resulting in dependent private observations. We study perfect Bayesian equilibria (PBE) for this game with equilibrium strategies that are linear in players' private estimates of $V$. The main difficulty arises from the fact that players need to construct estimates on other players' estimate on $V$, which in turn would imply that an infinite hierarchy of estimates on estimates needs to be constructed, rendering the problem unsolvable. We show that this is not the case: each player's estimate on other players' estimates on $V$ can be summarized into her own estimate on $V$ and some appropriately defined public information. Based on this finding we characterize the PBE through a backward/forward algorithm akin to dynamic programming for the standard LQG control problem. Unlike the standard LQG problem, however, Kalman filter covariance matrices, as well as some other required quantities, are observation-dependent and thus cannot be evaluated off-line through a forward recursion.


title: Mathematical Foundations in Visualization

abstract: Mathematical concepts and tools have shaped the field of visualization in fundamental ways and played a key role in the development of a large variety of visualization techniques. In this chapter, we sample the visualization literature to provide a taxonomy of the usage of mathematics in visualization, and to identify a fundamental set of mathematics that should be taught to students as part of an introduction to contemporary visualization research. Within the scope of this chapter, we are unable to provide a full review of all mathematical foundations of visualization; rather, we identify a number of concepts that are useful in visualization, explain their significance, and provide references for further reading.


title: Topological theory of physical fields

abstract: We study the topology associated with physical vector and scalar fields. A mathematical object, e.g., a ball, can be continuously deformed, without tearing or gluing, to make other topologically equivalent objects, e.g., a cube or a solid disk. If tearing or gluing get involved, i.e., the deformation is not continuous anymore, the initial topology will consequently change giving rise to a topologically distinct object, e.g., a torus. This simple concept in general topology may be employed in the study of physical systems described by fields. Instead of continuously deforming objects, we can take a continuously evolving field, with an appropriately defined topology, such that the topology remains unchanged in time unless the system undergoes an important physical change, e.g., a transition to a different energy state. For instance, a sudden change in the magnetic topology in an energetically relaxing plasma, a process called reconnection, strongly affects the dynamics, e.g., it is involved in launching solar flares and generating large scale magnetic fields in astrophysical objects. In this topological formalism, the magnetic topology in a plasma can spontaneously change due to the presence of dissipative terms in the induction equation which break its time symmetry. We define a topology for the vector field $\bf F$ in the phase space $(\bf x, F)$. As for scalar fields represented by a perfect fluid, e.g., the inhomogeneous inflaton or Higgs fields, the fluid velocity $\bf u$ defines the corresponding topology. The vector field topology in its corresponding phase space $(\bf x, F)$ will be preserved in time if certain conditions including time reversal invariance are satisfied by the field and its governing differential equation.


title: Identifying and Resisting Adversarial Videos Using Temporal Consistency

abstract: Video classification is a challenging task in computer vision. Although Deep Neural Networks (DNNs) have achieved excellent performance in video classification, recent research shows adding imperceptible perturbations to clean videos can make the well-trained models output wrong labels with high confidence. In this paper, we propose an effective defense framework to characterize and defend adversarial videos. The proposed method contains two phases: (1) adversarial video detection using temporal consistency between adjacent frames, and (2) adversarial perturbation reduction via denoisers in the spatial and temporal domains respectively. Specifically, because of the linear nature of DNNs, the imperceptible perturbations will enlarge with the increasing of DNNs depth, which leads to the inconsistency of DNNs output between adjacent frames. However, the benign video frames often have the same outputs with their neighbor frames owing to the slight changes. Based on this observation, we can distinguish between adversarial videos and benign videos. After that, we utilize different defense strategies against different attacks. We propose the temporal defense, which reconstructs the polluted frames with their temporally neighbor clean frames, to deal with the adversarial videos with sparse polluted frames. For the videos with dense polluted frames, we use an efficient adversarial denoiser to process each frame in the spatial domain, and thus purify the perturbations (we call it as spatial defense). A series of experiments conducted on the UCF-101 dataset demonstrate that the proposed method significantly improves the robustness of video classifiers against adversarial attacks.


title: 3D traffic flow model for UAVs

abstract: In this work, we introduce a microscopic traffic flow model called Scalar Capacity Model (SCM) which can be used to study the formation of traffic on an airway link for autonomous Unmanned Aerial Vehicles (UAV) as well as for the ground vehicles on the road. Given the 3D nature of UAV flights, the main novelty in our model is to eliminate the commonly used notion of lanes and replace it with a notion of density and capacity of flow, but in such a way that individual vehicle motions can still be modeled. We name this a Density/Capacity View (DCV) of the link capacity and how vehicles utilize it versus the traditional One/Multi-Lane View (OMV). An interesting feature of this model is exhibiting both passing and blocking regimes (analogous to multi-lane or single-lane) depending on the set scalar parameter for capacity. We show the model has linear local (platoon) and string stability. Also, we perform numerical simulations and show evidence for non-linear stability. Our traffic flow model is represented by a nonlinear differential equation which we transform into a linear form. This makes our model analytically solvable in the blocking regime and piece-wise analytically solvable in the passing regime.


title: PDA: Progressive Data Augmentation for General Robustness of Deep Neural Networks

abstract: Adversarial images are designed to mislead deep neural networks (DNNs), attracting great attention in recent years. Although several defense strategies achieved encouraging robustness against adversarial samples, most of them fail to improve the robustness on common corruptions such as noise, blur, and weather/digital effects (e.g. frost, pixelate). To address this problem, we propose a simple yet effective method, named Progressive Data Augmentation (PDA), which enables general robustness of DNNs by progressively injecting diverse adversarial noises during training. In other words, DNNs trained with PDA are able to obtain more robustness against both adversarial attacks as well as common corruptions than the recent state-of-the-art methods. We also find that PDA is more efficient than prior arts and able to prevent accuracy drop on clean samples without being attacked. Furthermore, we theoretically show that PDA can control the perturbation bound and guarantee better generalization ability than existing work. Extensive experiments on many benchmarks such as CIFAR-10, SVHN, and ImageNet demonstrate that PDA significantly outperforms its counterparts in various experimental setups.


title: A Deep Learning Approach to Grasping the Invisible

abstract: We study an emerging problem named "grasping the invisible" in robotic manipulation, in which a robot is tasked to grasp an initially invisible target object via a sequence of pushing and grasping actions. In this problem, pushes are needed to search for the target and rearrange cluttered objects around it to enable effective grasps. We propose to solve the problem by formulating a deep learning approach in a critic-policy format. The target-oriented motion critic, which maps both visual observations and target information to the expected future rewards of pushing and grasping motion primitives, is learned via deep Q-learning. We divide the problem into two subtasks, and two policies are proposed to tackle each of them, by combining the critic predictions and relevant domain knowledge. A Bayesian-based policy accounting for past action experience performs pushing to search for the target; once the target is found, a classifier-based policy coordinates target-oriented pushing and grasping to grasp the target in clutter. The motion critic and the classifier are trained in a self-supervised manner through robot-environment interactions. Our system achieves a 93% and 87% task success rate on each of the two subtasks in simulation and an 85% task success rate in real robot experiments on the whole problem, which outperforms several baselines by large margins. Supplementary material is available at https://sites.google.com/umn.edu/grasping-invisible.


title: Packet Chasing: Spying on Network Packets over a Cache Side-Channel

abstract: This paper presents Packet Chasing, an attack on the network that does not require access to the network, and works regardless of the privilege level of the process receiving the packets. A spy process can easily probe and discover the exact cache location of each buffer used by the network driver. Even more useful, it can discover the exact sequence in which those buffers are used to receive packets. This then enables packet frequency and packet sizes to be monitored through cache side channels. This allows both covert channels between a sender and a remote spy with no access to the network, as well as direct attacks that can identify, among other things, the web page access patterns of a victim on the network. In addition to identifying the potential attack, this work proposes a software-based short-term mitigation as well as a light-weight, adaptive, cache partitioning mitigation that blocks the interference of I/O and CPU requests in the last-level cache.


title: Tailored nanodiamonds for hyperpolarized 13C MRI

abstract: Nanodiamond is poised to become an attractive material for hyperpolarized 13C MRI if large nuclear polarizations can be achieved without the accompanying rapid spin-relaxation driven by paramagnetic species. Here we report enhanced and long-lived 13C polarization in synthetic nanodiamonds tailored by acid-cleaning and air-oxidation protocols. Our results separate the contributions of different paramagnetic species on the polarization behavior, identifying the importance of substitutional nitrogen defect centers in the nanodiamond core. These results are likely of use in the development of nanodiamond-based imaging agents with size distributions of relevance for examining biological processes.


title: Clusters and the entropy in opinion dynamics on complex networks

abstract: In this work, we investigate a heterogeneous population in the modified Hegselmann-Krause opinion model on complex networks. We introduce the Shannon information entropy about all relative opinion clusters to characterize the cluster profile in the final configuration. Independent of network structures, there exists the optimal stubbornness of one subpopulation for the largest number of clusters and the highest entropy. Besides, there is the optimal bounded confidence (or subpopulation ratio) of one subpopulation for the smallest number of clusters and the lowest entropy. However, network structures affect cluster profiles indeed. A large average degree favors consensus for making different networks more similar with complete graphs. The network size has limited impact on cluster profiles of heterogeneous populations on scale-free networks but has significant effects upon those on small-world networks.


title: Recognizing Variables from their Data via Deep Embeddings of Distributions

abstract: A key obstacle in automated analytics and meta-learning is the inability to recognize when different datasets contain measurements of the same variable. Because provided attribute labels are often uninformative in practice, this task may be more robustly addressed by leveraging the data values themselves rather than just relying on their arbitrarily selected variable names. Here, we present a computationally efficient method to identify high-confidence variable matches between a given set of data values and a large repository of previously encountered datasets. Our approach enjoys numerous advantages over distributional similarity based techniques because we leverage learned vector embeddings of datasets which adaptively account for natural forms of data variation encountered in practice. Based on the neural architecture of deep sets, our embeddings can be computed for both numeric and string data. In dataset search and schema matching tasks, our methods outperform standard statistical techniques and we find that the learned embeddings generalize well to new data sources.


title: Spectral Radii of Products of Random Rectangular Matrices

abstract: We consider m independent random rectangular matrices whose entries are independent and identically distributed standard complex Gaussian random variables. Assume the product of the m rectangular matrices is an n by n square matrix. The maximum absolute values of the n eigenvalues of the product matrix is called spectral radius. In this paper, we study the limiting spectral radii of the product when m changes with n and can even diverge. We give a complete description for the limiting distribution of the spectral radius. Our results reduce to those in Jiang and Qi [26] when the rectangular matrices are square ones.


title: Covariance Matrix Adaptation Greedy Search Applied to Water Distribution System Optimization

abstract: Water distribution system design is a challenging optimisation problem with a high number of search dimensions and constraints. In this way, Evolutionary Algorithms (EAs) have been widely applied to optimise WDS to minimise cost subject whilst meeting pressure constraints. This paper proposes a new hybrid evolutionary framework that consists of three distinct phases. The first phase applied CMA-ES, a robust adaptive meta-heuristic for continuous optimisation. This is followed by an upward-greedy search phase to remove pressure violations. Finally, a downward greedy search phase is used to reduce oversized pipes. To assess the effectiveness of the hybrid method, it was applied to five well-known WDSs case studies. The results reveal that the new framework outperforms CMA-ES by itself and other previously applied heuristics on most benchmarks in terms of both optimisation speed and network cost.


title: RecSim: A Configurable Simulation Platform for Recommender Systems

abstract: We propose RecSim, a configurable platform for authoring simulation environments for recommender systems (RSs) that naturally supports sequential interaction with users. RecSim allows the creation of new environments that reflect particular aspects of user behavior and item structure at a level of abstraction well-suited to pushing the limits of current reinforcement learning (RL) and RS techniques in sequential interactive recommendation problems. Environments can be easily configured that vary assumptions about: user preferences and item familiarity; user latent state and its dynamics; and choice models and other user response behavior. We outline how RecSim offers value to RL and RS researchers and practitioners, and how it can serve as a vehicle for academic-industrial collaboration.


title: Epiconvergence, the Moreau envelope and generalized linear-quadratic functions

abstract: This work introduces the class of generalized linear-quadratic functions, constructed using maximally monotone symmetric linear relations. Calculus rules and properties of the Moreau envelope for this class of functions are developed. In finite dimensions, on a metric space defined by Moreau envelopes, we consider the epigraphical limit of a sequence of quadratic functions and categorize the results. We explore the question of when a quadratic function is a Moreau envelope of a generalized linear-quadratic function; characterizations involving nonexpansiveness and Lipschitz continuity are established. This work generalizes some results by Hiriart-Urruty and by Rockafellar and Wets.


title: A Discrete Hard EM Approach for Weakly Supervised Question Answering

abstract: Many question answering (QA) tasks only provide weak supervision for how the answer should be computed. For example, TriviaQA answers are entities that can be mentioned multiple times in supporting documents, while DROP answers can be computed by deriving many different equations from numbers in the reference text. In this paper, we show it is possible to convert such tasks into discrete latent variable learning problems with a precomputed, task-specific set of possible "solutions" (e.g. different mentions or equations) that contains one correct option. We then develop a hard EM learning scheme that computes gradients relative to the most likely solution at each update. Despite its simplicity, we show that this approach significantly outperforms previous methods on six QA tasks, including absolute gains of 2--10%, and achieves the state-of-the-art on five of them. Using hard updates instead of maximizing marginal likelihood is key to these results as it encourages the model to find the one correct answer, which we show through detailed qualitative analysis.


title: Towards Assume-Guarantee Profiles for Autonomous Vehicles

abstract: Rules or specifications for autonomous vehicles are currently formulated on a case-by-case basis, and put together in a rather ad-hoc fashion. As a step towards eliminating this practice, we propose a systematic procedure for generating a set of supervisory specifications for self-driving cars that are 1) associated with a distributed assume-guarantee structure and 2) characterizable by the notion of consistency and completeness. Besides helping autonomous vehicles make better decisions on the road, the assume-guarantee contract structure also helps address the notion of blame when undesirable events occur. We give several game-theoretic examples to demonstrate applicability of our framework.


title: Implementing distributed graph filters by elementary matrix decomposition

abstract: In this letter, we consider the implementation problem of distributed graph filters, where each node only has access to the signals of the current and its neighboring nodes. By using Gaussian elimination, we show that as long as the graph is connected, we can implement any graph filter by decomposing the filter into a product of directly implementable filters, filters that only use the signals at the current and neighboring nodes as inputs. We have also included a concrete example as an illustration.


title: Mixed Hamiltonian Monte Carlo for Mixed Discrete and Continuous Variables

abstract: Hamiltonian Monte Carlo (HMC) has emerged as a powerful Markov Chain Monte Carlo (MCMC) method to sample from complex continuous distributions. However, a fundamental limitation of HMC is that it can not be applied to distributions with mixed discrete and continuous variables. In this paper, we propose mixed HMC (M-HMC) as a general framework to address this limitation. M-HMC is a novel family of MCMC algorithms that evolves the discrete and continuous variables in tandem, allowing more frequent updates of discrete variables while maintaining HMC's ability to suppress random-walk behavior. We establish M-HMC's theoretical properties, and present an efficient implementation with Laplace momentum that introduces minimal overhead compared to existing HMC methods. The superior performances of M-HMC over existing methods are demonstrated with numerical experiments on Gaussian mixture models (GMMs), variable selection in Bayesian logistic regression (BLR), and correlated topic models (CTMs).


title: Bayesian Inference on Volatility in the Presence of Infinite Jump Activity and Microstructure Noise

abstract: Volatility estimation based on high-frequency data is key to accurately measure and control the risk of financial assets. A L\'{e}vy process with infinite jump activity and microstructure noise is considered one of the simplest, yet accurate enough, models for financial data at high-frequency. Utilizing this model, we propose a "purposely misspecified" posterior of the volatility obtained by ignoring the jump-component of the process. The misspecified posterior is further corrected by a simple estimate of the location shift and re-scaling of the log likelihood. Our main result establishes a Bernstein-von Mises (BvM) theorem, which states that the proposed adjusted posterior is asymptotically Gaussian, centered at a consistent estimator, and with variance equal to the inverse of the Fisher information. In the absence of microstructure noise, our approach can be extended to inferences of the integrated variance of a general It\^o semimartingale. Simulations are provided to demonstrate the accuracy of the resulting credible intervals, and the frequentist properties of the approximate Bayesian inference based on the adjusted posterior.


title: OGLE-2018-BLG-1700L: Microlensing Planet in Binary Stellar System

abstract: We report the discovery of a planet in a binary that was discovered from the analysis of the microlensing event OGLE-2018-BLG-1700. We identify the triple nature of the lens from the fact that the complex anomaly pattern can be decomposed into two parts produced by two binary-lens events, in which one binary pair has a very low mass ratio of $\sim 0.01$ between the lens components and the other pair has a mass ratio of $\sim 0.3$. We find two sets of degenerate solutions, in which one solution has a projected separation between the primary and its stellar companion less than the angular Einstein radius $\thetae$ (close solution), while the other solution has a separation greater than $\thetae$ (wide solution). From the Bayesian analysis with the constraints of the event time scale and angular Einstein radius together with the location of the source lying in the far disk behind the bulge, we find that the planet is a super-Jupiter with a mass of $4.4^{+3.0}_{-2.0}~M_{\rm J}$ and the stellar binary components are early and late M-type dwarfs with masses $0.42^{+0.29}_{-0.19}~M_\odot$ and $0.12^{+0.08}_{-0.05}~M_\odot$, respectively, and the planetary system is located at a distance of $D_{\rm L}=7.6^{+1.2}_{-0.9}~{\rm kpc}$. The planet is a circumstellar planet according to the wide solution, while it is a circumbinary planet according to the close solution. The projected primary-planet separation is $2.8^{+3.2}_{-2.5}~{\rm au}$ commonly for the close and wide solutions, but the primary-secondary binary separation of the close solution, $0.75^{+0.87}_{-0.66}~{\rm au}$, is widely different from the separation, $10.5^{+12.1}_{-9.2}~{\rm au}$, of the wide solution.


title: MOVPE-grown Si-doped \b{eta}-(Al0.26Ga0.74)2O3 thin films and heterostructures

abstract: We report on n-type degenerate doping in MOVPE grown \b{eta}-(Al0.26Ga0.74)2O3 epitaxial thin films and modulation doping in \b{eta}-(Al0.26Ga0.74)2O3/\b{eta}-Ga2O3 heterostructure. Alloy composition is confirmed using HRXRD measurements. Carrier concentration in the thin films is proportional to the silane molar flow. Room temperature hall measurements showed a high carrier concentration of 6x1018-7.3x1019 cm-3 with a corresponding electron mobility of 53-27 cm2/V.s in uniformly-doped \b{eta}-(Al0.26Ga0.74)2O3 layers. Modulation doping is used to realize a total electron sheet charge of 2.3x1012 cm-2 in a \b{eta}-(Al0.26Ga0.74)2O3/\b{eta}-Ga2O3 heterostructure using a uniformly-doped \b{eta}-(Al0.26Ga0.74)2O3 barrier layer and a thin spacer layer.


title: Correction to the paper "A robust IDA-PBC approach for handling uncertainties in underactuated mechanical systems"

abstract: In this note, it is shown that the results claimed in the paper [1]---as well as the examples presented there---are, unfortunately, incorrect.


title: Efficient Bayesian synthetic likelihood with whitening transformations

abstract: Likelihood-free methods are an established approach for performing approximate Bayesian inference for models with intractable likelihood functions. However, they can be computationally demanding. Bayesian synthetic likelihood (BSL) is a popular such method that approximates the likelihood function of the summary statistic with a known, tractable distribution -- typically Gaussian -- and then performs statistical inference using standard likelihood-based techniques. However, as the number of summary statistics grows, the number of model simulations required to accurately estimate the covariance matrix for this likelihood rapidly increases. This poses significant challenge for the application of BSL, especially in cases where model simulation is expensive. In this article we propose whitening BSL (wBSL) -- an efficient BSL method that uses approximate whitening transformations to decorrelate the summary statistics at each algorithm iteration. We show empirically that this can reduce the number of model simulations required to implement BSL by more than an order of magnitude, without much loss of accuracy. We explore a range of whitening procedures and demonstrate the performance of wBSL on a range of simulated and real modelling scenarios from ecology and biology.


title: Regularity and counting lemmas for multidimensional matrices

abstract: In the present paper we propose generalizations of the regularity and counting lemmas for multidimensional matrices under a finite alphabet. Firstly, we prove a variant of a multidimensional regularity lemma with the help of a translation of $\varepsilon$-regularity from graphs to matrices. Next, we state that this $\varepsilon$-regularity is sufficient for obtaining a matrix analogue of the counting lemma for $2$-dimensional matrices but not for higher-dimensional cases. Finally, we introduce $\varepsilon$-regular patterns that allow us to deduce a multidimensional counting lemma.


title: On hyperquadrics containing projective varieties

abstract: Classical Castelnuovo Lemma shows that the number of linearly independent quadratic equations of a nondegenerate irreducible projective variety of codimension $c$ is at most ${{c+1} \choose {2}}$ and the equality is attained if and only if the variety is of minimal degree. Also G. Fano's generalization of Castelnuovo Lemma implies that the next case occurs if and only if the variety is a del Pezzo variety. Recently, these results are extended to the next case. This paper is intended to complete the classification of varieties satisfying at least ${{c+1} \choose {2}}-3$ linearly independent quadratic equations. Also we investigate the zero set of those quadratic equations and apply our results to projective varieties of degree $\geq 2c+1$.


title: Deep Elastic Networks with Model Selection for Multi-Task Learning

abstract: In this work, we consider the problem of instance-wise dynamic network model selection for multi-task learning. To this end, we propose an efficient approach to exploit a compact but accurate model in a backbone architecture for each instance of all tasks. The proposed method consists of an estimator and a selector. The estimator is based on a backbone architecture and structured hierarchically. It can produce multiple different network models of different configurations in a hierarchical structure. The selector chooses a model dynamically from a pool of candidate models given an input instance. The selector is a relatively small-size network consisting of a few layers, which estimates a probability distribution over the candidate models when an input instance of a task is given. Both estimator and selector are jointly trained in a unified learning framework in conjunction with a sampling-based learning strategy, without additional computation steps. We demonstrate the proposed approach for several image classification tasks compared to existing approaches performing model selection or learning multiple tasks. Experimental results show that our approach gives not only outstanding performance compared to other competitors but also the versatility to perform instance-wise model selection for multiple tasks.


title: The Contribution of Dwarf Planets to the Origin of Jupiter Family Comets

abstract: We explore the long-term evolution of a bias-free orbital representation of the cometary nuclei (with diameters above 2 km) of the Kuiper belt, using the so-called L7 synthetic model from CFEPS, which consists of three dynamical sub-populations: the Classical, the Resonant, and the Scattering. The dynamical evolution of belt particles is studied under the gravitational influence of the Sun and the four giant planets, as well as of the 34 largest known trans-Neptunian objects (TNOs with $H_V < 4$). Here we indistinctly call Dwarf Planets (DPs) to the full sample of 34 large TNOs. Over a 1 Gyr timescale, we analyze the secular influence of the DPs over Kuiper belt disk particles and their contribution to the injection rate of new visible Jupiter Family Comets (JFCs). We found that DPs globally increase the number of JFCs by 12.6% when compared with the comets produced by the giant planets alone. When considering each population separately, we find that the increment produced by DPs is 17%, 12%, and 3% for the Classical, Resonant, and Scattering populations, respectively. Given the rate of escapes from the Kuiper belt, we find upper limits to the number of objects in each population required to maintain the JFCs in steady-state; the results are $55.9\times10^6$, $78.5\times10^6$, and $274.3\times10^6$ for the Scattering, Resonant, and Classical populations, respectively. Finally, we find that the Plutinos are the most important source of comets which were originally in a resonant configuration, where the presence of Pluto alone enhances by 10% the number of JFCs.


title: Using Herschel and Planck observations to delineate the role of magnetic fields in molecular cloud structure

abstract: We present a study of the relative orientation between the magnetic field projected onto the plane of sky ($B_{\perp}$) on scales down to 0.4 pc, inferred from the polarized thermal emission of Galactic dust observed by Planck at 353 GHz, and the distribution of gas column density ($N_{\rm H}$) structures on scales down to 0.026 pc, derived from the observations by Herschel in submillimeter wavelengths, toward ten nearby ($d$$<$450 pc) molecular clouds. Using the histogram of relative orientation technique in combination with tools from circular statistics, we found that the mean relative orientation between $N_{\rm H}$ and $B_{\perp}$ toward these regions increases progressively from 0\deg, where the $N_{\rm H}$ structures lie mostly parallel to $B_{\perp}$, with increasing $N_{\rm H}$, in many cases reaching 90\deg, where the $N_{\rm H}$ structures lie mostly perpendicular to $B_{\perp}$. We also compared the relative orientation between $N_{\rm H}$ and $B_{\perp}$ and the distribution of $N_{\rm H}$, which is characterized by the slope of the tail of the $N_{\rm H}$ probability density functions (PDFs). We found that the slopes of the $N_{\rm H}$ PDF tail are steepest in regions where $N_{\rm H}$ and $B_{\perp}$ are close to perpendicular. This coupling between the $N_{\rm H}$ distribution and the magnetic field suggests that the magnetic fields play a significant role in structuring the interstellar medium in and around molecular clouds. However, we found no evident correlation between the star formation rates, estimated from the counts of young stellar objects, and the relative orientation between $N_{\rm H}$ and $B_{\perp}$ in these regions.


title: Twisted associativity of the cyclically reduced product of words, part 1

abstract: The cyclically reduced product of two words $u, v$, denoted $u * v$, is the cyclically reduced form of the concatenation of $u$ by $v$. This product is not associative. Recently S. V. Ivanov has proved that the Andrews-Curtis conjecture can be restated in terms of the cyclically reduced product and cyclic permutations instead of the reduced product and conjugations. In a previous paper we have started a thorough study of $*$ and of the structure of the set of cyclically reduced words $\hat{\mathcal{F}}(X)$ equipped with $*$. In particular we have found that a certain number of properties of the free group equipped with the reduced product can be generalized to $(\hat{\mathcal{F}}(X), *)$. In this paper we continue this study by proving that a generalized version of the associative property holds for $*$ in a special case. In a following paper we will prove that a more general version of the associative property holds for any case.


title: Critical corrections to formulations of nonlinear energy dissipation of ultrasonically excited bubbles and a unifying parameter to asses and enhance bubble activity in applications

abstract: Nonlinear oscillations of bubbles can significantly increase the attenuation of the host media. Optimization of bubble related applications needs a realistic estimation of the medium attenuation and bubble activity. A correct estimation of the wave attenuation in bubbly media requires an accurate estimation of the power dissipated by nonlinear oscillations of bubbles. Pioneering work of Louisnard \cite{1} meticulously derived the nonlinear energy terms for viscous and thermal damping; however, radiation damping arising from the compressibility of the liquid was neglected. Jamshidi $\&$ Brenner \cite{2} have considered the effects of the compressibility of the liquid and showed that damping due to radiation becomes the most significant factor at pressures above the blake threshold. Despite the improvement in their formulation; however, the radiation damping term estimates non-physical values for some frequency and pressure regions including near resonance oscillations. Thus, the new terms arising from the compressibility of the liquid needs critical assessment. In this work, we provide critical corrections to the present formulations. Importance of the new corrections are highlighted by the scattering to damping ratio (STDR). We then introduce a unifying parameter to assess the efficacy of applications; this parameter is defined as the multiplication of maximum scattered pressure by STDR.


title: Feedback control of vortex shedding using a resolvent-based modelling approach

abstract: An investigation of optimal feedback controllers' performance and robustness is carried out for vortex shedding behind a 2D cylinder at low Reynolds numbers. To facilitate controller design, we present an efficient modelling approach in which we utilise the resolvent operator to recast the linearised Navier-Stokes equations into an input-output form from which frequency responses can be computed. The difficulty of applying modern control design techniques to complex, high-dimensional flow systems is thus overcome by using low-order models identified from these frequency responses. The low-order models are used to design optimal control laws using $\mathcal{H}_{\infty}$ loop shaping. Two distinct control arrangements are considered, both of which employ a single-input and a single-output. In the first control arrangement, a velocity sensor located in the wake drives a pair of body forces near the cylinder. Complete suppression of shedding is observed up to a Reynolds number of $Re=110$. Due to the convective nature of vortex shedding and the corresponding time delays, we observe a fundamental trade-off: the sensor should be close enough to the cylinder to avoid any excessive time lag, but it should be kept sufficiently far from the cylinder to measure any unstable modes developing downstream. It is found that these two conflicting requirements become more difficult to satisfy for larger Reynolds numbers. In the second control arrangement, we consider a practical setup with a body-mounted force sensor and an actuator that oscillates the cylinder according to the lift measurement. It is shown that the system is stabilised only up to $Re=100$, and we demonstrate why the performance of the resulting feedback controllers deteriorates much more rapidly with increasing Reynolds number. The challenges of designing robust controllers for each control setup are also analysed and discussed.


title: Deep Declarative Networks: A New Hope

abstract: We explore a new class of end-to-end learnable models wherein data processing nodes (or network layers) are defined in terms of desired behavior rather than an explicit forward function. Specifically, the forward function is implicitly defined as the solution to a mathematical optimization problem. Consistent with nomenclature in the programming languages community, we name these models deep declarative networks. Importantly, we show that the class of deep declarative networks subsumes current deep learning models. Moreover, invoking the implicit function theorem, we show how gradients can be back-propagated through many declaratively defined data processing nodes thereby enabling end-to-end learning. We show how these declarative processing nodes can be implemented in the popular PyTorch deep learning software library allowing declarative and imperative nodes to co-exist within the same network. We also provide numerous insights and illustrative examples of declarative nodes and demonstrate their application for image and point cloud classification tasks.


title: $R_{\rm e}$. I. Understanding galaxy sizes, associated luminosity densities, and the artificial division of the early-type galaxy population

abstract: The deceptive simplicity of the radius enclosing an arbitrary 50 percent of a galaxy's light has hamstrung the understanding of early-type galaxies (ETGs). Half a century ago, using the "effective half-light radii" $R_e$ from de Vaucouleurs' $R^{1/4}$ model, S\'ersic reported that bright ETGs follow the relation $\mathfrak{M}_B\propto2.5\log R_e$; and consequently one has that $\langle\mu\rangle_e\propto2.5\log R_e$ and $\mu_e\propto2.5\log R_e$, where $\mu_e$ and $\langle\mu\rangle_e$ are the effective surface brightness at $R_e$ and the mean effective surface brightness within $R_e$, respectively. S\'ersic additionally observed an apparent transition which led him to advocate for a division between what he called dwarf and giant ETGs; a belief frequently restated to occur at $\mathfrak{M}_B\approx-18$ mag or S\'ersic $n\approx 2.5$. Here, the location of this false dichotomy is shown to change by more than 3 mag simply depending on the arbitrary percentage of light used to quantify a galaxy's size, voiding claims for different formation physics operating on ETGs brighter and fainter than $\mathfrak{M}_B\approx-18$ mag. This is of further importance because quantities such as dynamical mass $\sigma^2R/G$, gravitational binding energy $GM^2/R$, acceleration $GM/R^2$, and the "Fundamental Plane" depend systematically on the arbitrary percentage of light used to define $R$, with implications for dark matter estimates, galaxy formation theories, compact massive galaxies, studies of peculiar velocity flows, and more. Finally, some of the vast literature which has advocated for segregating the ETG population at $\mathfrak{M}_B\approx-18$ mag ($M\approx1$-$2\times10^{10}\,M_{\odot}$) is addressed, and it is revealed how this pervasive mindset has spilled-over to influence both the classical bulge versus pseudobulge debate and recently also correlations involving supermassive black hole masses.


title: Is Heuristic Sampling Necessary in Training Deep Object Detectors?

abstract: To train accurate deep object detectors under the extreme foreground-background imbalance, heuristic sampling methods are always necessary, which either re-sample a subset of all training samples (hard sampling methods, \eg biased sampling, OHEM), or use all training samples but re-weight them discriminatively (soft sampling methods, \eg Focal Loss, GHM). In this paper, we challenge the necessity of such hard/soft sampling methods for training accurate deep object detectors. While previous studies have shown that training detectors without heuristic sampling methods would significantly degrade accuracy, we reveal that this degradation comes from an unreasonable classification gradient magnitude caused by the imbalance, rather than a lack of re-sampling/re-weighting. Motivated by our discovery, we propose a simple yet effective \emph{Sampling-Free} mechanism to achieve a reasonable classification gradient magnitude by initialization and loss scaling. Unlike heuristic sampling methods with multiple hyperparameters, our Sampling-Free mechanism is fully data diagnostic, without laborious hyperparameters searching. We verify the effectiveness of our method in training anchor-based and anchor-free object detectors, where our method always achieves higher detection accuracy than heuristic sampling methods on COCO and PASCAL VOC datasets. Our Sampling-Free mechanism provides a new perspective to address the foreground-background imbalance. Our code is released at \url{https://github.com/ChenJoya/sampling-free}.


title: A Lightweight and Accurate Localization Algorithm Using Multiple Inertial Measurement Units

abstract: This paper proposes a novel inertial-aided localization approach by fusing information from multiple inertial measurement units (IMUs) and exteroceptive sensors. IMU is a low-cost motion sensor which provides measurements on angular velocity and gravity compensated linear acceleration of a moving platform, and widely used in modern localization systems. To date, most existing inertial-aided localization methods exploit only one single IMU. While the single-IMU localization yields acceptable accuracy and robustness for different use cases, the overall performance can be further improved by using multiple IMUs. To this end, we propose a lightweight and accurate algorithm for fusing measurements from multiple IMUs and exteroceptive sensors, which is able to obtain noticeable performance gain without incurring additional computational cost. To achieve this, we first probabilistically map measurements from all IMUs onto a virtual IMU. This step is performed by stochastic estimation with least-square estimators and probabilistic marginalization of inter-IMU rotational accelerations. Subsequently, the propagation model for both state and error state of the virtual IMU is also derived, which enables the use of the classical filter-based or optimization-based sensor fusion algorithms for localization. Finally, results from both simulation and real-world tests are provided, which demonstrate that the proposed algorithm outperforms competing algorithms by noticeable margins.


title: Pre-proceedings of the DECLARE 2019 Conference

abstract: This volume constitutes the pre-proceedings of the DECLARE 2019 conference, held on September 9 to 13, 2019 at the University of Technology Cottbus - Senftenberg (Germany). Declarative programming is an advanced paradigm for the modeling and solving of complex problems. This method has attracted increased attention over the last decades, e.g., in the domains of data and knowledge engineering, databases, artificial intelligence, natural language processing, modeling and processing combinatorial problems, and for establishing systems for the web. The conference DECLARE 2019 aims at cross-fertilizing exchange of ideas and experiences among researches and students from the different communities interested in the foundations, implementation techniques, novel applications, and combinations of high-level, declarative programming and related areas. The technical program of the event included invited talks, presentations of refereed papers, and system demonstrations. DECLARE 2019 consisted of the sub-events INAP, WFLP, and WLP: INAP - 22nd International Conference on Applications of Declarative Programming and Knowledge Management WFLP - 27th International Workshop on Functional and (Constraint) Logic Programming WLP - 33rd Workshop on (Constraint) Logic Programming


title: Algebraic Theory of Promise Constraint Satisfaction Problems, First Steps

abstract: What makes a computational problem easy (e.g., in P, that is, solvable in polynomial time) or hard (e.g., NP-hard)? This fundamental question now has a satisfactory answer for a quite broad class of computational problems, so called fixed-template constraint satisfaction problems (CSPs) -- it has turned out that their complexity is captured by a certain specific form of symmetry. This paper explains an extension of this theory to a much broader class of computational problems, the promise CSPs, which includes relaxed versions of CSPs such as the problem of finding a 137-coloring of a 3-colorable graph.


title: Positive solutions for a class of singular Dirichlet problems

abstract: We consider a Dirichlet elliptic problem driven by the Laplacian with singular and superlinear nonlinearities. The singular term appears on the left-hand side while the superlinear perturbation is parametric with parameter $\lambda>0$ and it need not satisfy the AR-condition. Having as our starting point the work of Diaz-Morel-Oswald (1987), we show that there is a critical parameter value $\lambda_*$ such that for all $\lambda>\lambda_*$ the problem has two positive solutions, while for $\lambda<\lambda_*$ there are no positive solutions. What happens in the critical case $\lambda = \lambda_*$ is an interesting open problem.


title: Extremal graphs with local covering conditions

abstract: We systematically study a natural problem in extremal graph theory, to minimize the number of edges in a graph with a fixed number of vertices, subject to a certain local condition: each vertex must be in a copy of a fixed graph $H$. We completely solve this problem when $H$ is a clique, as well as more generally when $H$ is any regular graph with degree at least about half its number of vertices. We also characterize the extremal graphs when $H$ is an Erd\H{o}s-R\'enyi random graph. The extremal structures turn out to have the similar form as the conjectured extremal structures for a well-studied but elusive problem of similar flavor with local constraints: to maximize the number of copies of a fixed clique in graphs in which all degrees have a fixed upper bound.


title: Approximate semi-amenability of Banach algebras

abstract: Let $\mathfrak{A}$ be a Banach algebra, and $\mathcal{X}$ a Banach $\mathfrak{A}$-bimodule. A bounded linear mapping $\mathcal{D}:\mathfrak{A}\rightarrow \mathcal{X}$ is approximately semi-inner derivation if there eixist nets $(\xi_{\alpha})_{\alpha}$ and $(\mu_{\alpha})_{\alpha}$ in $\mathcal{X}$ such that, for each $a\in\mathfrak{A}$, $\mathcal{D}(a)=\lim_{\alpha}(a.\xi_{\alpha}-\mu_{\alpha}.a)$. $\mathfrak{A}$ is called approximately semi-amenable if for every Banach $\mathfrak{A}$-bimodule $\mathcal{X}$, every $\mathcal{D}\in\mathcal{Z}^{1}(\mathfrak{A},\mathcal{X}^{*})$ is approximtely semi-inner. There are some Banach algebras which are approximately semi-amenable, but not approximately amenable. In this manuscript, we investigate some properties of approximate semi-amenability of Banach algebras. Also in Theorem \ref{ee} we prove the approximate semi-amenability of Segal algebras on a locally compact group $G$.


title: Accessible set endofunctors are universal

abstract: It is shown that every concretizable category can be fully embedded into the category of accessible set functors and natural transformations.


title: Limiting Shifted Homotopy in Higher-Spin Theory and Spin-Locality

abstract: Higher-spin vertices containing up to quintic interactions at the Lagrangian level are explicitly calculated in the one-form sector of the non-linear unfolded higher-spin equations using a $\beta\to-\infty$--shifted contracting homotopy introduced in the paper. The problem is solved in a background independent way and for any value of the complex parameter $\eta$ in the HS equations. All obtained vertices are shown to be spin-local containing a finite number of derivatives in the spinor space for any given set of spins. The vertices proportional to $\eta^2$ and $\bar \eta^2$ are in addition ultra-local, i.e. zero-forms that enter into the vertex in question are free from the dependence on at least one of the spinor variables $y$ or $\bar y$. Also the $\eta^2$ and $\bar \eta^2$ vertices are shown to vanish on any purely gravitational background hence not contributing to the higher-spin current interactions on $AdS_4$. This implies in particular that the gravitational constant in front of the stress tensor is positive being proportional to $\eta\bar \eta$. It is shown that the $\beta$-shifted homotopy technique developed in this paper can be reinterpreted as the conventional one but in the $\beta$-dependent deformed star product.


title: Spin dynamics of the planar kagome lattice ferromagnet with four-site ring exchange processes

abstract: By means of quantum Monte Carlo simulations, combined with a stochastic analytic continuation, we examine the spin dynamics of the spin-1/2 planar (XY) ferromagnet on the kagome lattice with additional four-site ring exchange terms. Such exchange processes were previously considered to lead into an extended $Z_2$ quantum spin liquid phase beyond a quantum critical point from the XY-ferromagnet. We examine the dynamical spin structure factor in the non-magnetic regime and probe for signatures of spin fractionalization. Furthermore, we contrast our findings and the corresponding energy scales of the excitation gaps in the ring exchange model to those emerging in a related Balents-Fisher-Girvin model with a $Z_2$ quantum spin liquid phase, and monitor the softening of the magnon mode upon approaching the quantum critical point from the XY-ferromagnetic regime.


title: Promises Make Finite (Constraint Satisfaction) Problems Infinitary

abstract: The fixed template Promise Constraint Satisfaction Problem (PCSP) is a recently proposed significant generalization of the fixed template CSP, which includes approximation variants of satisfiability and graph coloring problems. All the currently known tractable (i.e., solvable in polynomial time) PCSPs over finite templates can be reduced, in a certain natural way, to tractable CSPs. However, such CSPs are often over infinite domains. We show that the infinity is in fact necessary by proving that a specific finite-domain PCSP, namely (1-in-3-SAT, Not-All-Equal-3-SAT), cannot be naturally reduced to a tractable finite-domain CSP, unless P=NP.


title: Dynamic Fusion: Attentional Language Model for Neural Machine Translation

abstract: Neural Machine Translation (NMT) can be used to generate fluent output. As such, language models have been investigated for incorporation with NMT. In prior investigations, two models have been used: a translation model and a language model. The translation model's predictions are weighted by the language model with a hand-crafted ratio in advance. However, these approaches fail to adopt the language model weighting with regard to the translation history. In another line of approach, language model prediction is incorporated into the translation model by jointly considering source and target information. However, this line of approach is limited because it largely ignores the adequacy of the translation output. Accordingly, this work employs two mechanisms, the translation model and the language model, with an attentive architecture to the language model as an auxiliary element of the translation model. Compared with previous work in English--Japanese machine translation using a language model, the experimental results obtained with the proposed Dynamic Fusion mechanism improve BLEU and Rank-based Intuitive Bilingual Evaluation Scores (RIBES) scores. Additionally, in the analyses of the attention and predictivity of the language model, the Dynamic Fusion mechanism allows predictive language modeling that conforms to the appropriate grammatical structure.


title: Oscillations of coronal loops using Rayleigh-Ritz technique

abstract: In this paper, we apply the Rayleigh-Ritz Variational Scheme for studying the transverse oscillations of a magnetic flux tube. The flux tube is considered in low-$\beta$ solar coronal condition. The perturbations decomposed into irrotational and solenoidal components and MHD equations are reduced as a matrix eigenvalue problem. In the case of longitudinally stratified thin flux tube, the fundamental and higher order kink frequencies are computed. The results are in good agreements with previous studies.


title: Algebraic Property Graphs

abstract: We present a case study in applied category theory written from the point of view of an applied domain: the formalization of the widely-used property graphs data model in an enterprise setting using elementary constructions from type theory and category theory, including limit and co-limit sketches. Observing that algebraic data types are a common foundation of most of the enterprise schema languages we deal with in practice, for graph data or otherwise, we introduce a type theory for algebraic property graphs wherein the types denote both algebraic data types in the sense of functional programming and join-union E/R diagrams in the sense of database theory. We also provide theoretical foundations for graph transformation along schema mappings with by-construction guarantees of semantic consistency. Our data model originated as a formalization of a data integration toolkit developed at Uber which carries data and schemas along composable mappings between data interchange languages such as Apache Avro, Apache Thrift, and Protocol Buffers, and graph languages including RDF with OWL or SHACL-based schemas.


title: Fractional hyperviscosity induced growth of bottlenecks in energy spectrum of Burgers equation solutions

abstract: Energy spectrum of turbulent fluids exhibit a bump at an intermediate wavenumber, between the inertial and the dissipation range. This bump is called bottleneck. Such bottlenecks are also seen in the energy spectrum of the solutions of hyperviscous Burgers equation. Previous work, have shown that this bump corresponds to oscillations in real space velocity field. In this paper we present numerical and analytical results of how the bottleneck and its' real space signature, the oscillations, grow as we tune the order of hyperviscosity. We look at a parameter regime $\alpha \in [1,2]$ where $\alpha = 1$ corresponds to normal viscosity and $\alpha = 2$ corresponds to hyperviscosity of order 2. We show that even for the slightest fractional increment in the order of hyperviscosity ($\alpha$) bottlenecks show up in the energy spectrum.


title: Semi-supervised Vector-valued Learning: Improved Bounds and Algorithms

abstract: Vector-valued learning, where the output space admits a vector-valued structure, is an important problem that covers a broad family of important domains, e.g. multi-task learning and transfer learning. Using local Rademacher complexity and unlabeled data, we derive novel semi-supervised excess risk bounds for general vector-valued learning from both kernel perspective and linear perspective. The derived bounds are much sharper than existing ones and the convergence rates are improved from the square root of labeled sample size to the square root of total sample size or directly dependent on labeled sample size. Motivated by our theoretical analysis, we propose a general semi-supervised algorithm for efficiently learning vector-valued functions, incorporating both local Rademacher complexity and Laplacian regularization. Extensive experimental results illustrate the proposed algorithm significantly outperforms the compared methods, which coincides with our theoretical findings.


title: The potassium absorption on HD189733b and HD209458b

abstract: In this work, we investigate the potassium excess absorption around 7699A of the exoplanets HD189733b and HD209458b. For this purpose, we used high spectral resolution transit observations acquired with the 2 x 8.4m Large Binocular Telescope (LBT) and the Potsdam Echelle Polarimetric and Spectroscopic Instrument (PEPSI). For a bandwidth of 0.8A, we present a detection > 7-sigma with an absorption level of 0.18% for HD189733b. Applying the same analysis to HD209458b, we can set 3-sigma upper limit of 0.09%, even though we do not detect a K- excess absorption. The investigation suggests that the K- feature is less present in the atmosphere of HD209458b than in the one of HD189733b. This comparison confirms previous claims that the atmospheres of these two planets must have fundamentally different properties.


title: Addressing Algorithmic Bottlenecks in Elastic Machine Learning with Chicle

abstract: Distributed machine learning training is one of the most common and important workloads running on data centers today, but it is rarely executed alone. Instead, to reduce costs, computing resources are consolidated and shared by different applications. In this scenario, elasticity and proper load balancing are vital to maximize efficiency, fairness, and utilization. Currently, most distributed training frameworks do not support the aforementioned properties. A few exceptions that do support elasticity, imitate generic distributed frameworks and use micro-tasks. In this paper we illustrate that micro-tasks are problematic for machine learning applications, because they require a high degree of parallelism which hinders the convergence of distributed training at a pure algorithmic level (i.e., ignoring overheads and scalability limitations). To address this, we propose Chicle, a new elastic distributed training framework which exploits the nature of machine learning algorithms to implement elasticity and load balancing without micro-tasks. We use Chicle to train deep neural network as well as generalized linear models, and show that Chicle achieves performance competitive with state of the art rigid frameworks, while efficiently enabling elastic execution and dynamic load balancing.


title: Towards Safe Machine Learning for CPS: Infer Uncertainty from Training Data

abstract: Machine learning (ML) techniques are increasingly applied to decision-making and control problems in Cyber-Physical Systems among which many are safety-critical, e.g., chemical plants, robotics, autonomous vehicles. Despite the significant benefits brought by ML techniques, they also raise additional safety issues because 1) most expressive and powerful ML models are not transparent and behave as a black box and 2) the training data which plays a crucial role in ML safety is usually incomplete. An important technique to achieve safety for ML models is "Safe Fail", i.e., a model selects a reject option and applies the backup solution, a traditional controller or a human operator for example, when it has low confidence in a prediction. Data-driven models produced by ML algorithms learn from training data, and hence they are only as good as the examples they have learnt. As pointed in [17], ML models work well in the "training space" (i.e., feature space with sufficient training data), but they could not extrapolate beyond the training space. As observed in many previous studies, a feature space that lacks training data generally has a much higher error rate than the one that contains sufficient training samples [31]. Therefore, it is essential to identify the training space and avoid extrapolating beyond the training space. In this paper, we propose an efficient Feature Space Partitioning Tree (FSPT) to address this problem. Using experiments, we also show that, a strong relationship exists between model performance and FSPT score.


title: New physics effects on quantum coherence in neutrino oscillations

abstract: Several measures of quantum correlations such as Leggett-Garg and Bell-type inequalities have been extensively studied in the context of neutrino oscillations. However these analyses are performed under the assumption of standard model (SM) interactions of neutrinos. In this work we study new physics effects on $l_1$-norm based measure of quantum coherence which quantifies the quantumness embedded in the system and is also intrinsically related to various measures of quantum correlations. Moreover, it is considered to be a resource theoretical tool which can be utilized in quantum algorithms and quantum channel discrimination. The new physics effects are incorporated in a model independent way by using the effective Lagrangian for the neutral current non-standard neutrino interactions (NSI). Bounds on the NSI parameters are extracted from a recent global analysis of oscillation experiments including COHERENT (coherent neutrino-nucleus scattering experiment) data. In the context of upcoming DUNE experimental setup, we find that the most favourable combination of LMA-Light sector of $\theta_{12}$ (i.e., $\theta_{12}< 45^o$) with normal mass ordering decreases the coherence in the system in comparison to the SM prediction for all values of neutrino energy E and CP violating phase $\delta$ (except in the narrow region around E ~ 2 GeV). On the other hand, a large enhancement in the value of coherence parameter in the entire $(E-\delta)$ plane is possible for the dark octant of $\theta_{12}$ ($\theta_{12}> 45^o$) with inverted ordering. For almost all values of CP violating phase, the enhancement is more protuberant in the region around E ~ 4 GeV where maximum neutrino flux is expected in the DUNE experiment. Therefore for the normal mass ordering, the SM interaction provides favourable conditions for quantum information tasks while the NSI favours inverted ordering scenario for such tasks.


title: Overcomplete Wavelets for Compressed Sensing

abstract: Compressed sensing (CS) using overcomplete wavelet dictionaries has been a well-investigated topic in the recent times for image and vision applications. In this paper, different overcomplete wavelet transforms have been studied to estimate the best transform. Performance evaluations are carried out for different overcomplete wavelet transforms from highly undersampled and inaccurate measurements for the recovery of images in frequency as well as physical domains.


title: Detection of Crab radiation with a meteorological balloon borne phoswich detector

abstract: We use existing light weight balloon facility of Indian Centre for Space Physics to detect the X-ray radiation from Crab pulsar with a phoswich detector. We present the design considerations and characterization of the detector used for this purpose. We model the background radiation in the detector environment at various altitudes and use this in spectral analysis. The background radiation level and limitations on the detector allowed us to calculate minimum detection limit for extrasolar radiation sources with our set up.


title: Aggregated Hold-Out

abstract: Aggregated hold-out (Agghoo) is a method which averages learning rules selected by hold-out (that is, cross-validation with a single split). We provide the first theoretical guarantees on Agghoo, ensuring that it can be used safely: Agghoo performs at worst like the hold-out when the risk is convex. The same holds true in classification with the 0-1 risk, with an additional constant factor. For the hold-out, oracle inequalities are known for bounded losses, as in binary classification. We show that similar results can be proved, under appropriate assumptions, for other risk-minimization problems. In particular, we obtain an oracle inequality for regularized kernel regression with a Lip-schitz loss, without requiring that the Y variable or the regressors be bounded. Numerical experiments show that aggregation brings a significant improvement over the hold-out and that Agghoo is competitive with cross-validation.


title: Uranus and Neptune: Origin, Evolution and Internal Structure

abstract: There are still many open questions regarding the nature of Uranus and Neptune, the outermost planets in the Solar System. In this review we summarize the current-knowledge about Uranus and Neptune with a focus on their composition and internal structure, formation including potential subsequent giant impacts, and thermal evolution. We present key open questions and discuss the uncertainty in the internal structures of the planets due to the possibility of non-adiabatic and inhomogeneous interiors. We also provide the reasoning for improved observational constraints on their fundamental physical parameters such as their gravitational and magnetic fields, rotation rates, and deep atmospheric composition and temperature. Only this way will we be able to improve our understating of these planetary objects, and the many similar-sized objects orbiting other stars.


title: Sublinear Latency for Simplified Successive Cancellation Decoding of Polar Codes

abstract: This work analyzes the latency of the simplified successive cancellation (SSC) decoding scheme for polar codes proposed by Alamdar-Yazdi and Kschischang. It is shown that, unlike conventional successive cancellation decoding, where latency is linear in the block length, the latency of SSC decoding is sublinear. More specifically, the latency of SSC decoding is $O(N^{1-1/\mu})$, where $N$ is the block length and $\mu$ is the scaling exponent of the channel, which captures the speed of convergence of the rate to capacity. Numerical results demonstrate the tightness of the bound and show that most of the latency reduction arises from the parallel decoding of subcodes of rate $0$ or $1$.


title: GRANDProto300: a pathfinder with richastroparticle and radio-astronomy science case

abstract: The GRANDProto300 (GP300) experiment is the first stage of the Giant Radio Array for Neutrino Detection (GRAND) project. It will be deployed between 2020 and 2021 in a radio-quiet area, at $3000\,$m of altitude at the rim of the Tibetan plateau, over a total surface of $200\,$km$^2$. The primary goal of GP300 is to demonstrate the viability of the GRAND detection concepts. It will provide a unique test bench to develop and validate new identification and reconstruction techniques for the radio detection of very inclined air-showers, in the perspective of the next stages of GRAND. GP300 also proposes a rich science case, which includes accurate measurements of cosmic-ray and gamma-ray air-showers in the energy range of 30 PeV to 1 EeV, and a wide-field survey of the Epoch of Reionization, and of radio transients such as Giant Radio Pulses and Fast Radio Bursts.


title: Automated Spectral Kernel Learning

abstract: The generalization performance of kernel methods is largely determined by the kernel, but common kernels are stationary thus input-independent and output-independent, that limits their applications on complicated tasks. In this paper, we propose a powerful and efficient spectral kernel learning framework and learned kernels are dependent on both inputs and outputs, by using non-stationary spectral kernels and flexibly learning the spectral measure from the data. Further, we derive a data-dependent generalization error bound based on Rademacher complexity, which estimates the generalization ability of the learning framework and suggests two regularization terms to improve performance. Extensive experimental results validate the effectiveness of the proposed algorithm and confirm our theoretical results.


title: Discrete transparent boundary conditions for the two-dimensional leap-frog scheme

abstract: We develop a general strategy in order to implement (approximate) discrete transparent boundary conditions for finite difference approximations of the two-dimensional transport equation. The computational domain is a rectangle equipped with a Cartesian grid. For the two-dimensional leapfrog scheme, we explain why our strategy provides with explicit numerical boundary conditions on the four sides of the rectangle and why it does not require prescribing any condition at the four corners of the computational domain. The stability of the numerical boundary condition on each side of the rectangle is analyzed by means of the so-called normal mode analysis. Numerical investigations for the full problem on the rectangle show that strong instabilities may occur when coupling stable strategies on each side of the rectangle. Other coupling strategies yield promising results.


title: Ergodic Decomposition

abstract: Ergodic systems, being indecomposable are important part of the study of dynamical systems but if a system is not ergodic, it is natural to ask the following question: Is it possible to split it into ergodic systems in such a way that the study of the former reduces to the study of latter ones? Also, it will be interesting to see if the latter ones inherit some properties of the former one. This document answers this question for measurable maps defined on complete separable metric spaces with Borel probability measure, using the Rokhlin Disintegration Theorem.


title: Curve counting via stable objects in derived categories of Calabi-Yau 4-folds

abstract: In our previous paper with Maulik, we proposed a conjectural Gopakumar-Vafa (GV) type formula for the generating series of stable pair invariants on Calabi-Yau (CY) 4-folds. The purpose of this paper is to give an interpretation of the above GV type formula in terms of wall-crossing phenomena in the derived category. We introduce invariants counting LePotier's stable pairs on CY 4-folds, and show that they count certain stable objects in D0-D2-D8 bound states in the derived category. We propose a conjectural wall-crossing formula for the generating series of our invariants, which recovers the conjectural GV type formula. Examples are computed for both compact and toric cases to support our conjecture.


title: Polar Coding for the Wiretap Broadcast Channel with Multiple Messages

abstract: A polar coding scheme is proposed for the Wiretap Broadcast Channel with two legitimate receivers and one eavesdropper. We consider a model in which the transmitter wishes to send different confidential (and non-confidential) information to each legitimate receiver. First, we compare two inner-bounds on the achievable region of this model from the literature, and then we design a polar coding scheme that achieves the stronger one. In the proposed scheme, the encoding uses polar-based Marton's coding, where one inner-layer must be reliably decoded by both legitimate receivers, and each receiver must decode its own corresponding outer-layer. Due to the non-degradedness condition of the broadcast channel, the encoder builds a chaining construction that induces bidirectional dependencies between adjacent blocks. Indeed, these dependencies can occur between different encoding layers of different blocks. The use of two secret-keys, whose length are negligible in terms of rate, are required to prove that the polar code satisfies the strong secrecy condition.


title: High order transition elements: The xNy-element concept -- Part I: Statics

abstract: Advanced transition elements are of utmost importance in many applications of the finite element method (FEM) where a local mesh refinement is required. Considering problems that exhibit singularities in the solution, an adaptive hp-refinement procedure must be applied. Even today, this is a very demanding task especially if only quadrilateral/hexahedral elements are deployed and consequently the hanging nodes problem is encountered. These element types, are, however, favored in computational mechanics due to the improved accuracy compared to triangular/tetrahedral elements. Therefore, we propose a compatible transition element - xNy-element - which provides the capability of coupling different element types. The adjacent elements can exhibit different element sizes, shape function types, and polynomial orders. Thus, it is possible to combine independently refined h- and p-meshes. The approach is based on the transfinite mapping concept and constitutes an extension/generalization of the pNh-element concept. By means of several numerical examples, the convergence behavior is investigated in detail, and the asymptotic rates of convergence are determined numerically. Overall, it is found that the proposed approach provides very promising results for local mesh refinement procedures.


title: An Alexandrov theorem in Minkowski spacetime

abstract: In this paper, we generalize a theorem {\`a} la Alexandrov of Wang, Wang and Zhang [WWZ] for closed codimension-two spacelike submanifolds in the Minkowski spacetime for an adapted CMC condition .


title: Development of Instruments for Space Exploration Using Meteorological-balloons

abstract: Indian Centre for Space Physics is engaged in studying terrestrial and extra-terrestrial high energy phenomena from meteorological balloon borne platforms. A complete payload system with such balloons is at the most about five kilograms of weight. One has to adopt innovative and optimal design for various components of the experiment, so that the data can be procured at decent heights of ~ 35-42 km and at the same time, some scientific goals are achieved. In this paper, we mainly describe the instruments in detail and present their test and calibration results. We discuss, how we implemented and tested three major instruments, namely, a Geiger-M\"uller counter, a single crystal scintillator detector and a phoswich type scintillator detector for our missions. We also present some flight data of a few missions to demonstrate the capability of such experiments.


title: The Cheeger constant of an asymptotically locally hyperbolic manifold and the Yamabe type of its conformal infinity

abstract: Let (M, g) be an (n + 1)-dimensional asymptotically locally hyperbolic (ALH) manifold with a conformal compactification whose conformal infinity is ($\partial$M, [$\gamma$]). We will first observe that Ch(M, g) $\le$ n, where Ch(M, g) is the Cheeger constant of M. We then prove that, if the Ricci curvature of M is bounded from below by --n and its scalar curvature approaches --n(n+1) fast enough at infinity, then Ch(M, g) = n if and only Y($\partial$M, [$\gamma$]) $\ge$ 0, where Y($\partial$M, [$\gamma$]) denotes the Yamabe invariant of the conformal infinity. This gives an answer to a question raised by J. Lee [L].


title: Estimating the volatility of Bitcoin using GARCH models

abstract: In this paper, an application of three GARCH-type models (sGARCH, iGARCH, and tGARCH) with Student t-distribution, Generalized Error distribution (GED), and Normal Inverse Gaussian (NIG) distribution are examined. The new development allows for the modeling of volatility clustering effects, the leptokurtic and the skewed distributions in the return series of Bitcoin. Comparative to the two distributions, the normal inverse Gaussian distribution captured adequately the fat tails and skewness in all the GARCH type models. The tGARCH model was the best model as it described the asymmetric occurrence of shocks in the Bitcoin market. That is, the response of investors to the same amount of good and bad news are distinct. From the empirical results, it can be concluded that tGARCH-NIG was the best model to estimate the volatility in the return series of Bitcoin. Generally, it would be optimal to use the NIG distribution in GARCH type models since time series of most cryptocurrency are leptokurtic.


title: Factorized MultiClass Boosting

abstract: In this paper, we introduce a new approach to multiclass classification problem. We decompose the problem into a series of regression tasks, that are solved with CART trees. The proposed method works significantly faster than state-of-the-art solutions while giving the same level of model quality. The algorithm is also robust to imbalanced datasets, allowing to reach high-quality results in significantly less time without class re-balancing.


title: SwarmMesh: A Distributed Data Structure for Cooperative Multi-Robot Applications

abstract: We present an approach to the distributed storage of data across a swarm of mobile robots that forms a shared global memory. We assume that external storage infrastructure is absent, and that each robot is capable of devoting a quota of memory and bandwidth to distributed storage. Our approach is motivated by the insight that in many applications data is collected at the periphery of a swarm topology, but the periphery also happens to be the most dangerous location for storing data, especially in exploration missions. Our approach is designed to promote data storage in the locations in the swarm that best suit a specific feature of interest in the data, while accounting for the constantly changing topology due to individual motion. We analyze two possible features of interest: the data type and the data item position in the environment. We assess the performance of our approach in a large set of simulated experiments. The evaluation shows that our approach is capable of storing quantities of data that exceed the memory of individual robots, while maintaining near-perfect data retention in high-load conditions.


title: Single-Particle-Picture Breakdown in laterally weakly confining GaAs Quantum Dots

abstract: We present a detailed investigation of different excitonic states weakly confined in single GaAs/AlGaAs quantum dots obtained by the Al droplet-etching method. For our analysis we make use of temperature-, polarization- and magnetic field-dependent $\mu$-photoluminescence measurements, which allow us to identify different excited states of the quantum dot system. Besides that, we present a comprehensive analysis of g-factors and diamagnetic coefficients of charged and neutral excitonic states in Voigt and Faraday configuration. Supported by theoretical calculations by the Configuration interaction method, we show that the widely used single-particle Zeeman Hamiltonian cannot be used to extract reliable values of the g-factors of the constituent particles from excitonic transition measurements.


title: Flag versions of quiver Grassmannians for Dynkin quivers have no odd cohomology over $\mathbb{Z}$

abstract: We prove that flag versions of quiver Grassmannians (also knows as Lusztig's fibers) for Dynkin quivers (types $A$, $D$, $E$) have no odd cohomology over $\mathbb{Z}$. Moreover, for types $A$ and $D$ we prove that these varieties have $\alpha$-partitions into affine spaces. We also show that to prove the same statement for type $E$, it is enough to check this for indecomposable representations. We also give a flag version of the result of Irelli-Esposito-Franzen-Reineke on rigid representations: we prove that flag versions of quiver Grassmannians for rigid representations have a diagonal decomposition. In particular, they have no odd cohomology over $\mathbb{Z}$.


title: Convex Integration Theory without Integration

abstract: We replace the usual Convex Integration formula by a Corrugation Process and introduce the notion of Kuiper differential relations. This notion provides a natural framework for the construction of solutions with self-similarity properties. We consider the case of the totally real relation, we prove that it is Kuiper and we state a totally real isometric embedding theorem. We then show that the totally real isometric embeddings obtained by the Corrugation Process exhibits a self-similarity property. Kuiper relations also enable a uniform expression of the Corrugation Process that no longer involves integrals. This expression generalizes the ansatz used in arXiv:0905.0370 to generate isometric maps. We apply it to build a new explicit immersion of the real projective plane inside R^3.


title: Optical Post Processing for High Speed Quantum Random Number Generators

abstract: The speed of quantum random number generators is a major concern for practical quantum applications. However, the bit extraction process limits the final bit rate due to lack of comparably fast electronics. Here we introduce optical scattering as a method to perform optical bit extraction. Scattering is a probabilistic phenomenon and it increases the chaotic behaviour of coherent sources. As a result, it broadens the distribution of photon statistics and makes it super-Poissonian. We show that the raw signal of the sources with super-Poissonian distribution have better randomness compared to Poissonian, indicated by their autocorrelation characteristics. Therefore, the optical bit extraction process allows faster sampling of raw signal without compromising the randomness quality. The use of scattering mechanisms as an entropy source eases the miniaturization of quantum random number generators, it also makes them compatible and adaptable to existing technologies.


title: An exact solution framework for the multiple gradual cover location problem

abstract: Facility and covering location models are key elements in many decision aid tools in logistics, supply chain design, telecommunications, public infrastructure planning, and many other industrial and public sectors. In many applications, it is likely that customers are not dichotomously covered by facilities, but gradually covered according to, e.g., the distance to the open facilities. Moreover, customers are not served by a single facility, but by a collection of them, which jointly serve them. In this paper we study the recently introduced multiple gradual cover location problem (MGCLP). The MGCLP addresses both of the issues described above. We provide four different mixed-integer programming formulations for the MGCLP, all of them exploiting the submodularity of the objective function and developed a branch-and-cut framework based one these formulations. The framework is further enhanced by starting and primal heuristics and initialization procedures. The computational results show that our approach allows to effectively address different sets of instances. We provide optimal solution values for 13 instances from literature, where the optimal solution was not known, and additionally provide improved solution values for seven instances. Many of these instances can be solved within a minute. We also analyze the dependence of the solution-structure on instance-characteristics.


title: A numerical method of computing oscillatory integral related to hyperfunction theory

abstract: In this paper, we propose a numerical method of computing an integral whose integrand is a slowly decaying oscillatory function. In the proposed method, we consider a complex analytic function in the upper-half complex plane, which is defined by an integral of the Fourier-Laplace transform type, and we obtain the desired integral by the analytic continuation of this analytic function onto the real axis using a continued fraction. We also remark that the proposed method is related to hyperfunction theory, a theory of generalized functions based on complex function theory. Numerical examples show the effectiveness of the proposed method.