title: Flexure-Tuned Membrane-at-the-Edge Optomechanical System

abstract: We introduce a passively-aligned, flexure-tuned cavity optomechanical system in which a membrane is positioned microns from one end mirror of a Fabry-Perot optical cavity. By displacing the membrane through gentle flexure of its silicon supporting frame (i.e., to ~80 m radius of curvature (ROC)), we gain access to the full range of available optomechanical couplings, finding also that the optical spectrum exhibits none of the abrupt discontinuities normally found in "membrane-in-the-middle" (MIM) systems. More aggressive flexure (3 m ROC) enables >15 microns membrane travel, milliradian tilt tuning, and a wavelength-scale (1.64 $\pm$ 0.78 microns) membrane-mirror separation. We also provide a complete set of analytical expressions for this system's leading-order dispersive and dissipative optomechanical couplings. Notably, this system can potentially generate orders of magnitude larger linear dissipative or quadratic dispersive strong coupling parameters than is possible with a MIM system. Additionally, it can generate the same purely quadratic dispersive coupling as a MIM system, but with significantly suppressed linear dissipative back-action (and force noise).


title: Three-state Majority-Vote Model on Barab\'asi-Albert and Cubic Networks and the Unitary Relation for Critical Exponents

abstract: We investigate the three-state majority-vote model with noise on scale-free and regular networks. In this model, an individual selects an opinion equal to the opinion of the majority of its neighbors with probability $1 - q$ and opposite to it with probability $q$. The parameter $q$ is called the noise parameter of the model. We build a network of interactions where $z$ neighbors are selected by each added site in the system, yielding a preferential attachment network with degree distribution $k^{-\lambda}$, where $\lambda \sim 3$. In this work, $z$ is called growth parameter. Using finite-size scaling analysis, we show that the critical exponents associated with the magnetization and magnetic susceptibility add up to unity when a volumetric scaling is used, regardless of the dimension of the network of interactions. Using Monte Carlo simulations, we calculate the critical noise parameter $q_c$ as a function of $z$ for the scale-free networks and obtain the phase diagram of the model. We find that the critical noise is an increasing function of the growth parameter $z$, and we define and verify numerically the unitary relation $\upsilon$ for the critical exponents by calculating $\beta /\bar\nu$, $\gamma /\bar\nu$ and $1/\bar\nu$ for several values of the network parameter $z$. We also obtain the critical noise and the critical exponents for the two and three-state majority-vote model on cubic lattices networks where we illustrate the application of the unitary relation with a volumetric scaling.


title: Deep Layered LMS Predictor

abstract: In this study, we present a new approach to design a Least Mean Squares (LMS) predictor. This approach exploits the concept of deep neural networks and their supremacy in terms of performance and accuracy. The new LMS predictor is implemented as a deep neural network using multiple non linear LMS filters. The network consists of multiple layers with nonlinear activation functions, where each neuron in the hidden layers corresponds to a certain FIR filter output which goes through nonlinearity. The output of the last layer is the prediction. We hypothesize that this approach will outperform the traditional adaptive filters.


title: Gaussian Lattice Boltzmann method and its applications to rarefied flows

abstract: A novel discretization approach for the Bhatnager-Gross-Krook (BGK) kinetic equation is proposed. An hierarchy of LB models starting from $D1Q3$ model with increasing number of velocities converging to BGK model is derived. The method inherits properties of the Lattice Boltzmann (LB) method like linear streaming step, conservation of moments. Similar to the finite-difference methods for the BGK model the presented approach describes high-order moments of the distribution function with controllable error. The Sod shock tube problem, the Poiseuille flow between parallel plates and the plane Couette flow are considered for wide range of Knudsen numbers. Good stability and significant increase in precision over the conventional LB models are observed.


title: Robustness of Object Recognition under Extreme Occlusion in Humans and Computational Models

abstract: Most objects in the visual world are partially occluded, but humans can recognize them without difficulty. However, it remains unknown whether object recognition models like convolutional neural networks (CNNs) can handle real-world occlusion. It is also a question whether efforts to make these models robust to constant mask occlusion are effective for real-world occlusion. We test both humans and the above-mentioned computational models in a challenging task of object recognition under extreme occlusion, where target objects are heavily occluded by irrelevant real objects in real backgrounds. Our results show that human vision is very robust to extreme occlusion while CNNs are not, even with modifications to handle constant mask occlusion. This implies that the ability to handle constant mask occlusion does not entail robustness to real-world occlusion. As a comparison, we propose another computational model that utilizes object parts/subparts in a compositional manner to build robustness to occlusion. This performs significantly better than CNN-based models on our task with error patterns similar to humans. These findings suggest that testing under extreme occlusion can better reveal the robustness of visual recognition, and that the principle of composition can encourage such robustness.


title: Mobile XR over 5G: A way forward with mmWaves and Edge

abstract: This e-letter summarizes our most recent work and contributed approaches to increase the capacity, cut down on the latency and provide higher reliability in several extended reality (XR) scenarios. To that end, several technologies from emerging 5G communications systems are weaved together towards enabling a fully immersive XR experience.


title: Swirling fluid flow in flexible, expandable elastic tubes: variational approach, reductions and integrability

abstract: Many engineering and physiological applications deal with situations when a fluid is moving in flexible tubes with elastic walls. In the real-life applications like blood flow, there is often an additional complexity of vorticity being present in the fluid. We present a theory for the dynamics of interaction of fluids and structures. The equations are derived using the variational principle, with the incompressibility constraint of the fluid giving rise to a pressure-like term. In order to connect this work with the previous literature, we consider the case of inextensible and unshearable tube with a straight centerline. In the absence of vorticity, our model reduces to previous models considered in the literature, yielding the equations of conservation of fluid momentum, wall momentum and the fluid volume. We show that even when the vorticity is present, but is kept at a constant value, the case of an inextensible, unshearable and straight tube with elastics walls carrying a fluid allows an alternative formulation, reducing to a single compact equation for the back-to-labels map instead of three conservation equations. That single equation shows interesting instability in solutions when the vorticity exceeds a certain threshold. Furthermore, the equation in stable regime can be reduced to Boussinesq-type, KdV and Monge-Amp\`ere equations equations in several appropriate limits, namely, the first two in the limit of long time and length scales and the third one in the additional limit of the small cross-sectional area. For the unstable regime, we numerical solutions demonstrate the spontaneous appearance of large oscillations in the cross-sectional area.


title: Mixed hidden sector/visible sector dark matter and observation of CP odd Higgs at HL-LHC and HE-LHC

abstract: It is very likely that similar to the case of visible matter, dark matter too is composed of more than one stable component. In this work we investigate a two-component dark matter with one component from the visible sector and the other from the hidden sector. Specifically we consider a $U(1)_X$ hidden sector extension of MSSM/SUGRA where we allow for kinetic and Stueckelberg mass mixing between the two abelian $U(1)'s$, i.e., $U(1)_X$ and $U(1)_Y$. We further assume that the hidden sector has chiral matter which leads to a Dirac fermion as a candidate for dark matter. The lightest neutralino in the visible sector and the Dirac fermion in the hidden sector then constitute the two components of dark matter. We investigate in particular MSSM/SUGRA models with radiative breaking occurring on the hyperbolic branch where the Higgs mixing parameter $\mu$ is small (order the electroweak scale) which leads to a lightest neutralino being dominantly a higgsino. While dark matter constituted only of higgsinos is significantly constrained by data on dark matter relic density and by limits on spin independent proton-DM scattering cross section, consistency with data can be achieved if only a fraction of the dark matter relic density is constituted of higgsinos with the rest coming from the hidden sector. An aspect of the proposed model is the prediction of a relatively light CP odd Higgs $A$ (as well as a CP even $H$ and a charged Higgs $H^{\pm}$) which is observable at HL-LHC and HE-LHC. We perform a detailed collider analysis search for the CP odd Higgs using boosted decision trees in $\tau_h\tau_h$ final states and compare the discovery potential at HL-LHC and HE-LHC. We show that while several of the points among our benchmarks may be observable at HL-LHC, all of them are visible at HE-LHC with much lower integrated luminosities thus reducing significantly the run time for discovery.


title: Unveiling cosmography from the dark energy equation of state

abstract: Constraining the dark energy equation of state, $w_x(z)$, is one of the main issues of current and future cosmological surveys. In practice, this requires making assumptions about the evolution of $w_x$ with redshift $z$, which can be manifested in a choice of a specific parametric form where the number of cosmological parameters play an important role in the observed cosmic acceleration. Since any attempt to constrain the EoS requires fixing some prior in one form or the other, settling a method to constrain cosmological parameters is of great importance. In this paper, we provide a straightforward approach to show how cosmological tests can be improved via a parametric methodology based on cosmography. Using Supernovae Type IA samplers we show how by performing a statistical analysis of a specific dark energy parameterisation can give directly the cosmographic parameters values.


title: A New Stock Market Valuation Measure with Applications to Retirement Planning

abstract: We generalize the classic Shiller cyclically adjusted price-earnings ratio (CAPE) used for prediction of future total returns of the stock market. We treat earnings growth as exogenous. The difference between log wealth and log earnings is modeled as an autoregression of order 1 with linear trend 4.5\% and Gaussian innovations. Detrending gives us a new valuation measure. This autoregression is significantly different from the random walk. Therefore, our results disprove the Efficient Market Hypothesis. Therefore, long-run total returns equal long-run earnings growth plus 4.5\%. We apply results to retirement planning. A withdrawal process governs how a retired capital owner withdraws a certain fraction of wealth annually. The fraction can vary from year to year. We study the long-term behavior of such processes.


title: Dark solitons revealed in Lieb-Liniger eigenstates

abstract: We study how dark solitons, i.e. solutions of one-dimensional single-particle nonlinear time-dependent Schr\"odinger equation, emerge from eigenstates of a linear many-body model of contact interacting bosons moving on a ring, the Lieb-Liniger model. This long-standing problem was addressed by various groups, which presented different, seemingly unrelated, procedures to reveal the solitonic waves directly from the many-body model. Here, we propose a unification of these results using a simple Ansatz for the many-body eigenstate of the Lieb-Liniger model, which gives us access to systems of hundreds of atoms. In this approach, mean-field solitons emerge in a single-particle density through repeated measurements of particle positions in the Ansatz state. The post-measurement state turns out to be a wave packet of yrast states of the reduced system.


title: Matrix calculations for inhomogeneous Markov reward processes, with applications to life insurance and point processes

abstract: A multi--state life insurance model is naturally described in terms of the intensity matrix of an underlying (time--inhomogeneous) Markov process which describes the dynamics for the states of an insured person. Between and at transitions, benefits and premiums are paid, defining a payment process, and the technical reserve is defined as the present value of all future payments of the contract. Classical methods for finding the reserve and higher order moments involve the solution of certain differential equations (Thiele and Hattendorf, respectively). In this paper we present an alternative matrix--oriented approach based on general reward considerations for Markov jump processes. The matrix approach provides a general framework for effortlessly setting up general and even complex multi--state models, where moments of all orders are then expressed explicitly in terms of so--called product integrals (matrix--exponentials) of certain matrices. As Thiele and Hattendorf type of theorems can be retrieved immediately from the matrix formulae, this methods also provides a quick and transparent approach to proving these classical results. Methods for obtaining distributions and related properties of interest (e.g. quantiles or survival functions) of the future payments are presented from both a theoretical and practical point of view (via Laplace transforms and methods involving orthogonal polynomials).


title: Time delay estimation in satellite imagery time series of precipitation and NDVI: Pearson's cross correlation revisited

abstract: In order to describe more accurately the time relationships between daily satellite imagery time series of precipitation and NDVI we propose an estimator which takes into account the sparsity naturally observed in precipitation. We conducted a series of simulation studies and show that the proposed estimator's variance is smaller than the canonical's (Pearson-based), in particular, when the signal-to-noise ratio is rather low. Also, the proposed estimator's variance was found smaller than the canonical's one when we applied them to stacks of images (2002-2016) taken on some ecological regions of Mexico. Computations for this paper are based on functions implemented in our new R package geoTS.


title: Photon waiting time distributions: a keyhole into dissipative quantum chaos

abstract: Open quantum systems can exhibit complex states, which classification and quantification is still not well resolved. The Kerr-nonlinear cavity, periodically modulated in time by coherent pumping of the intra-cavity photonic mode, is one of the examples. Unraveling the corresponding Markovian master equation into an ensemble of quantum trajectories and employing the recently proposed calculation of quantum Lyapunov exponents [I.I. Yusipov {\it et al.}, Chaos {\bf 29}, 063130 (2019)], we identify `chaotic' and `regular' regimes there. In particular, we show that chaotic regimes manifest an intermediate power-law asymptotics in the distribution of photon waiting times. This distribution can be retrieved by monitoring photon emission with a single-photon detector, so that chaotic and regular states can be discriminated without disturbing the intra-cavity dynamics.


title: Mirror symmetry of 3d $\mathcal{N}=4$ gauge theories and supersymmetric indices

abstract: We compute supersymmetric indices to test mirror symmetry of three-dimensional $\mathcal{N}=4$ gauge theories and dualities of half-BPS enriched boundary conditions and interfaces in four-dimensional $\mathcal{N}=4$ Super Yang-Mills theory. We find the matching of indices as strong evidences for various dualities of the 3d interfaces conjectured by Gaiotto and Witten under the action of S-duality in Type IIB string theory.


title: On the geometric mean method for incomplete pairwise comparisons

abstract: When creating the ranking based on the pairwise comparisons very often, we face difficulties in completing all the results of direct comparisons. In this case, the solution is to use the ranking method based on the incomplete PC matrix. The article presents the extension of the well known geometric mean method for incomplete PC matrices. The description of the methods is accompanied by theoretical considerations showing the existence of the solution and the optimality of the proposed approach.


title: Explainable AI for Trees: From Local Explanations to Global Understanding

abstract: Tree-based machine learning models such as random forests, decision trees, and gradient boosted trees are the most popular non-linear predictive models used in practice today, yet comparatively little attention has been paid to explaining their predictions. Here we significantly improve the interpretability of tree-based models through three main contributions: 1) The first polynomial time algorithm to compute optimal explanations based on game theory. 2) A new type of explanation that directly measures local feature interaction effects. 3) A new set of tools for understanding global model structure based on combining many local explanations of each prediction. We apply these tools to three medical machine learning problems and show how combining many high-quality local explanations allows us to represent global structure while retaining local faithfulness to the original model. These tools enable us to i) identify high magnitude but low frequency non-linear mortality risk factors in the general US population, ii) highlight distinct population sub-groups with shared risk characteristics, iii) identify non-linear interaction effects among risk factors for chronic kidney disease, and iv) monitor a machine learning model deployed in a hospital by identifying which features are degrading the model's performance over time. Given the popularity of tree-based machine learning models, these improvements to their interpretability have implications across a broad set of domains.


title: Data description and retrieval using periods represented by uncertain time intervals

abstract: Time periods are frequently used to specify time in metadata and retrieval. However, it is not easy to describe and retrieve information about periods, because the temporal ranges represented by periods are often ambiguous. This is because these temporal ranges do not have fixed beginning and end points. To solve this problem, basic logics to describe and process uncertain time intervals were developed in this study. An uncertain time interval is represented as a set of time intervals that indicate states when the uncertain time interval is determined. Based on this concept, a logic to retrieve uncertain time intervals satisfying a given condition was established, and it was revealed that retrieval results belong to three states: reliable, impossible, and possible matches. Additionally, to describe data about uncertain periods, an ontology (the HuTime Ontology) was constructed based on the logic. This ontology is characterized by the fact that uncertain time intervals can be defined recursively. It is expected that more data about time periods will be created and released using the result of this study.


title: Continuous-Time Systems for Solving 0-1 Integer Linear Programming Feasibility Problems

abstract: The 0-1 integer linear programming feasibility problem is an important NP-complete problem. This paper proposes a continuous-time dynamical system for solving that problem without getting trapped in non-solution local minima. First, the problem is transformed to an easier form in linear time. Then, we propose an "impulse algorithm" to escape from local traps and show its performance is better than randomization for escaping traps. Second, we present the time-to-solution distribution of the impulse algorithm and compare it with exhaustive search to see its advantages. Third, we show that the fractional size of the basin of attraction of the global minimum is significantly larger than $2^{-N}$, the corresponding discrete probability for exhaustive search. Finally, we conduct a case study to show that the location of the basin is independent of different dimensions. These findings reveal a better way to solve the 0-1 integer linear programming feasibility problem continuously and show that its cost could be less than discrete methods in average cases.


title: Singularities in rotating black holes coupled to a massless scalar field

abstract: We employ a late-time expansion to study the interior of rotating black holes coupled to a massless scalar field in asymptotically flat spacetime. We find that decaying fluxes of scalar radiation into the black hole necessitate the existence of a null singularity at the Cauchy horizon and a central spacelike singularity at radius $r = 0$. In particular, the decaying influxes source a localized cloud of scalar radiation near $r=0$ whose amplitude grows unboundedly large as advanced time $v \to \infty$. The scalar cloud inevitably results in a central spacelike singularity at late times $v$, with the curvature near $r = 0$ diverging like $r^{-\alpha v}$, where $\alpha > 0$ is a constant.


title: Change of basis for m-primary ideals in one and two variables

abstract: Following recent work by van der Hoeven and Lecerf (ISSAC 2017), we discuss the complexity of linear mappings, called untangling and tangling by those authors, that arise in the context of computations with univariate polynomials. We give a slightly faster tangling algorithm and discuss new applications of these techniques. We show how to extend these ideas to bivariate settings, and use them to give bounds on the arithmetic complexity of certain algebras.


title: The Language of Biometrics: Analysing Public Perceptions

abstract: There is an increasing shift in technology towards biometric solutions, but one of the biggest barriers to widespread use is the acceptance by the users. In this paper we investigate the understanding, awareness and acceptance of biometrics by the general public. The primary research method was a survey, which had 282 respondents, designed to gauge public opinion around biometrics. Additionally, qualitative data was captured in the form of the participants' definition of the term \textit{biometrics}. We applied thematic analysis as well as an automated Word Vector analysis to this data to provide a deeper insight into the perceptions and understanding of the term. Our results demonstrate that while there is generally a reasonable level of understanding of what biometrics are, this is typically limited to the techniques that are most familiar to participants (e.g., fingerprints or facial recognition). Most notably individuals' awareness overlooks emerging areas such as behavioural biometrics (e.g., gait). This was also apparent when we compared participants' views to definitions provided by official, published sources (e.g., ISO, NIST, OED, DHS). Overall, this article provides unique insight into the perceptions and understanding of biometrics as well as areas where users may lack knowledge on biometric applications.


title: VizNet: Towards A Large-Scale Visualization Learning and Benchmarking Repository

abstract: Researchers currently rely on ad hoc datasets to train automated visualization tools and evaluate the effectiveness of visualization designs. These exemplars often lack the characteristics of real-world datasets, and their one-off nature makes it difficult to compare different techniques. In this paper, we present VizNet: a large-scale corpus of over 31 million datasets compiled from open data repositories and online visualization galleries. On average, these datasets comprise 17 records over 3 dimensions and across the corpus, we find 51% of the dimensions record categorical data, 44% quantitative, and only 5% temporal. VizNet provides the necessary common baseline for comparing visualization design techniques, and developing benchmark models and algorithms for automating visual analysis. To demonstrate VizNet's utility as a platform for conducting online crowdsourced experiments at scale, we replicate a prior study assessing the influence of user task and data distribution on visual encoding effectiveness, and extend it by considering an additional task: outlier detection. To contend with running such studies at scale, we demonstrate how a metric of perceptual effectiveness can be learned from experimental results, and show its predictive power across test datasets.


title: Higher-form symmetries and $d-wave$ superconductors from doped Mott insulators

abstract: One path to high-temperature cuprate superconductors is doping a Mott insulator. In this paper, we study this system from the view point of higher-form symmetries. On the introduction of slave bosons, the $t-J$ model at a finite hole doping can be written in the form of $U(1)$ gauge theories. After a duality transformation, they can be written as a generalized $BF$ theory, in which the higher-form symmetries are more manifest. We identify the emergent continuous and discrete higher-form symmetries in both $s-wave$ and $d-wave$ superconducting phases, expected to be realized from a doped Mott insulator. The existence of a topological order is tested by examining if there is a spontaneously broken discrete one-form symmetry. We claim that a spontaneous breaking of discrete one-form symmetry may extend to a phase that has massless Dirac fermions in the limit of large number of flavors. We discuss the possibility of a topological phase transition inside the superconducting dome of high $T_{c}$ cuprates.


title: L-space surgeries on 2-component L-space links

abstract: In this paper, we analyze L-space surgeries on two component L-space links. We show that if one surgery coefficient is negative for the L-space surgery, then the corresponding link component is an unknot. If the link admits very negative (i.e. $d_{1}, d_{2}\ll0$) L-space surgeries, it is the Hopf link. We also give a way to characterize the torus link $T(2, 2l)$ by observing an L-space surgery $S^{3}_{d_{1}, d_{2}}(\mathcal{L})$ with $d_{1}d_{2}<0$ on a 2-component L-space link with unknotted components. For some 2-component L-space links, we give explicit descriptions of the L-space surgery sets.


title: Competitive Suppression of Synchronization and Non-Monotonic Transitions in Oscillator Communities with Distributed Time Delay

abstract: Community structure and interaction delays are common features of ensembles of network coupled oscillators, but their combined effect on the emergence of synchronization has not been studied in detail. We study the transitions between macroscopic states in coupled oscillator systems with community structure and time delays. We show that the combination of these two properties gives rise to non-monotonic transitions, whereby increasing the global coupling strength can both inhibit and promote synchronization, yielding both desynchronization and synchronization transitions. For relatively wide parameter choices we also observe asymmetric suppression of synchronization, where communities compete to suppress one another's synchronization properties until one or more win, totally suppressing the others to effective incoherence. Using the ansatz of Ott and Antonsen we provide analytical descriptions for these transitions that confirm numerical simulations.


title: Using statistical techniques and replication samples for imputation of metabolite missing values

abstract: Background: Data preparation, such as missing values imputation and transformation, is the first step in any data analysis and requires crucial attention. Particularly, analysis of metabolites demands more preparation since those small compounds have recently been measurable in large scales with mass spectrometry techniques. We introduce novel statistical techniques for metabolite missing values imputation by utilizing replication samples. Results: To understand the nature of the missing values using replication samples, we obtained the empirical distribution of missing values and observed that the rate of missing values is approximately distributed as uniform across the metabolite range. Therefore, the missing values cannot be imputed with the lowest values. Using the identified distribution, we illustrated a simulation study to find an optimal imputation approach for metabolites. Conclusions: We demonstrated that the missing values in metabolomic data sets might not be necessarily low value. After identification of the nature of missing values, we validated K nearest neighborhood as an optimal approach for imputation.


title: Generative Adversarial Networks and Conditional Random Fields for Hyperspectral Image Classification

abstract: In this paper, we address the hyperspectral image (HSI) classification task with a generative adversarial network and conditional random field (GAN-CRF) -based framework, which integrates a semi-supervised deep learning and a probabilistic graphical model, and make three contributions. First, we design four types of convolutional and transposed convolutional layers that consider the characteristics of HSIs to help with extracting discriminative features from limited numbers of labeled HSI samples. Second, we construct semi-supervised GANs to alleviate the shortage of training samples by adding labels to them and implicitly reconstructing real HSI data distribution through adversarial training. Third, we build dense conditional random fields (CRFs) on top of the random variables that are initialized to the softmax predictions of the trained GANs and are conditioned on HSIs to refine classification maps. This semi-supervised framework leverages the merits of discriminative and generative models through a game-theoretical approach. Moreover, even though we used very small numbers of labeled training HSI samples from the two most challenging and extensively studied datasets, the experimental results demonstrated that spectral-spatial GAN-CRF (SS-GAN-CRF) models achieved top-ranking accuracy for semi-supervised HSI classification.


title: Criticality of the Higgs mass for the long-range quantum $XY$ chain: Amplitude ratio between the Higgs and paramagnetic gaps

abstract: The quantum $XY$ spin chain with the interactions decaying as a power law $1/r^{1+ \sigma}$ of the distance between spins $r$ was investigated with the exact diagonalization method. Here, the constituent spin is set to $S=1$, which enables us to incorporate the biquadratic interactions so as to realize the order-disorder transition with the O$(2)$ symmetry maintained. Thereby, in the ordered phase, we resolved the Higgs mass $m_H$ out of the Goldstone-excitation continuum by specifying Higgs-particle's quantum numbers to adequate indices. We then turn to the analysis of the critical amplitude ratio $m_H / \Delta$ ($\Delta$: paramagnetic gap in the disordered phase). As the power of the algebraic decay $\sigma$ increases, the amplitude ratio $m_H/\Delta$ gets enhanced gradually in agreement with the $\epsilon(=4-D)$-expansion-renormalization-group result; here, we resort to the $\sigma \leftrightarrow D$ relation advocated recently in order to establish a relationship between the renormalization-group result and ours.


title: Coherent sheaves and quantum Coulomb branches I: tilting bundles from integrable systems

abstract: In this paper, we consider how the approach of Bezrukavnikov and Kaledin to understanding the categories of coherent sheaves on symplectic resolutions can be applied to the Coulomb branches introduced by Braverman, Finkelberg and Nakajima. In particular, we construct tilting generators on resolved Coulomb branches, and give explicit quiver presentations of categories of coherent sheaves on these varieties, with the wall-crossing functors described by natural bimodules.


title: Diversification Across Mining Pools: Optimal Mining Strategies under PoW

abstract: Mining is a central operation of all proof-of-work (PoW) based cryptocurrencies. The vast majority of miners today participate in "mining pools" instead of "solo mining" in order to lower risk and achieve a more steady income. However, this rise of participation in mining pools negatively affects the decentralization levels of most cryptocurrencies. In this work, we look into mining pools from the point of view of a miner: We present an analytical model and implement a computational tool that allows miners to optimally distribute their computational power over multiple pools and PoW cryptocurrencies (i.e. build a mining portfolio), taking into account their risk aversion levels. Our tool allows miners to maximize their risk-adjusted earnings by diversifying across multiple mining pools which enhances PoW decentralization. Finally, we run an experiment in Bitcoin historical data and demonstrate that a miner diversifying over multiple pools, as instructed by our model/tool, receives a higher overall Sharpe ratio (i.e. average excess reward over its standard deviation/volatility).


title: CKS VIII: Eccentricities of Kepler Planets and Tentative Evidence of a High Metallicity Preference for Small Eccentric Planets

abstract: Characterizing the dependence of the orbital architectures and formation environments on the eccentricity distribution of planets is vital for understanding planet formation. In this work, we perform statistical eccentricity studies of transiting exoplanets using transit durations measured via Kepler combined with precise and accurate stellar radii from the California-Kepler Survey and Gaia. Compared to previous works that characterized the eccentricity distribution from transit durations, our analysis benefits from both high precision stellar radii ($\sim$3%) and a large sample of $\sim$1000 planets. We observe that that systems with only a single observed transiting planet have a higher mean eccentricity ($\bar{e} \sim 0.21$) than systems with multiple transiting planets ($\bar{e} \sim 0.05$), in agreement with previous studies. We confirm the preference for high and low eccentricity subpopulations among the singly transiting systems. Finally, we show suggestive new evidence that high $e$ planets in the Kepler sample are preferentially found around high metallicity ([Fe/H] $>0$) stars. We conclude by discussing the implications on planetary formation theories.


title: Standard Conjecture D for matrix factorizations

abstract: We prove the non-commutative analogue of Grothendieck's Standard Conjecture D for the dg-category of matrix factorizations of an isolated hypersurface singularity in characteristic 0. Along the way, we show the Euler pairing for such dg-categories of matrix factorizations is positive semi-definite.


title: Sparse Recovery Beyond Compressed Sensing: Separable Nonlinear Inverse Problems

abstract: Extracting information from nonlinear measurements is a fundamental challenge in data analysis. In this work, we consider separable inverse problems, where the data are modeled as a linear combination of functions that depend nonlinearly on certain parameters of interest. These parameters may represent neuronal activity in a human brain, frequencies of electromagnetic waves, fluorescent probes in a cell, or magnetic relaxation times of biological tissues. Separable nonlinear inverse problems can be reformulated as underdetermined sparse-recovery problems, and solved using convex programming. This approach has had empirical success in a variety of domains, from geophysics to medical imaging, but lacks a theoretical justification. In particular, compressed-sensing theory does not apply, because the measurement operators are deterministic and violate incoherence conditions such as the restricted-isometry property. Our main contribution is a theory for sparse recovery adapted to deterministic settings. We show that convex programming succeeds in recovering the parameters of interest, as long as their values are sufficiently distinct with respect to the correlation structure of the measurement operator. The theoretical results are illustrated through numerical experiments for two applications: heat-source localization and estimation of brain activity from electroencephalography data.

categories: eess.SP cs.IT cs.NA math.IT math.NA math.OC


title: Improving Opus Low Bit Rate Quality with Neural Speech Synthesis

abstract: The voice mode of the Opus audio coder can compress wideband speech at bit rates ranging from 6 kb/s to 40 kb/s. However, Opus is at its core a waveform matching coder, and as the rate drops below 10 kb/s, quality degrades quickly. As the rate reduces even further, parametric coders tend to perform better than waveform coders. In this paper we propose a backward-compatible way of improving low bit rate Opus quality by re-synthesizing speech from the decoded parameters. We compare two different neural generative models, WaveNet and LPCNet. WaveNet is a powerful, high-complexity, and high-latency architecture that is not feasible for a practical system, yet provides a best known achievable quality with generative models. LPCNet is a low-complexity, low-latency RNN-based generative model, and practically implementable on mobile phones. We apply these systems with parameters from Opus coded at 6 kb/s as conditioning features for the generative models. A listening test shows that for the same 6 kb/s Opus bit stream, synthesized speech using LPCNet clearly outperforms the output of the standard Opus decoder. This opens up ways to improve the decoding quality of existing speech and audio waveform coders without breaking compatibility.


title: Efficient Low-Rank Semidefinite Programming with Robust Loss Functions

abstract: In real-world applications, it is important for machine learning algorithms to be robust against data outliers or corruptions. In this paper, we focus on improving the robustness of a large class of learning algorithms that are formulated as low-rank semi-definite programming (SDP) problems. Traditional formulations use square loss, which is notorious for being sensitive to outliers. We propose to replace this with more robust noise models, including the $\ell_1$-loss and other nonconvex losses. However, the resultant optimization problem becomes difficult as the objective is no longer convex or smooth. To alleviate this problem, we design an efficient algorithm based on majorization-minimization. The crux is on constructing a good optimization surrogate, and we show that this surrogate can be efficiently obtained by the alternating direction method of multipliers (ADMM). By properly monitoring ADMM's convergence, the proposed algorithm is empirically efficient and also theoretically guaranteed to converge to a critical point. Extensive experiments are performed on four machine learning applications using both synthetic and real-world data sets. Results show that the proposed algorithm is not only fast but also has better performance than the state-of-the-art.


title: Finite-dimensional representations of hyper multicurrent and multiloop algebras

abstract: We investigate the categories of finite-dimensional representations of multicurrent and multiloop hyperalgebras in positive characteristic, i.e., the hyperalgebras associated to the multicurrent algebras $\mathfrak g\otimes\mathbb{C}[t_1,\ldots,t_n]$ and to the multiloop algebras $\mathfrak g\otimes\mathbb{C}[t_1^{\pm1},\ldots,t_n^{\pm 1}]$, where $\mathfrak g$ is any finite-dimensional complex simple Lie algebra. The main results are the construction of the universal finite-dimensional highest-weight modules and a classification of irreducible modules in each category. In the characteristic zero setting we also provide a relationship between them.


title: Fractional matching preclusion for restricted hypercube-like graphs

abstract: The restricted hypercube-like graphs, variants of the hypercube, were proposed as desired interconnection networks of parallel systems. The matching preclusion number of a graph is the minimum number of edges whose deletion results in the graph with neither perfect matchings nor almost perfect matchings. The fractional perfect matching preclusion and fractional strong perfect matching preclusion are generalizations of the concept matching preclusion. In this paper, we obtain fractional matching preclusion number and fractional strong matching preclusion numbers of restricted hypercube-like graphs, which extend some known results.


title: Ceiling Effects for Hybrid Aerial-Surface Locomotion of Small Rotorcraft

abstract: As platform size is reduced, the flight of aerial robots becomes increasingly energetically expensive. Limitations on payload and endurance of these small robots have prompted researchers to explore the use of bimodal aerial-surface locomotion as a strategy to prolong operation time while retaining a high vantage point. In this work, we propose the use of ``ceiling effects'' as a power conserving strategy for small rotorcraft to perch on an overhang. In the vicinity of a ceiling, spinning propellers generate markedly higher thrust. To understand the observed aerodynamic phenomena}, momentum theory and blade element method are employed to describe the thrust, power, and rotational rate of spinning propellers in terms of propeller-to-ceiling distance. The models, which take into account the influence of neighboring propellers as present in multirotor vehicles, are verified using two propeller types 23-mm and 50-mm radii in various configurations on a benchtop setup. The results are consistent with the proposed models. In proximity to the ceiling, power consumption of propellers with 23-mm radius arranged in a quadrotor configuration was found to reduce by a factor of three. To this end, we present a conceptual prototype that demonstrates the use of ceiling effects for perching maneuvers. Overall, the promising outcomes highlight possible uses of ceiling effects for efficient bimodal locomotion in small multirotor vehicles


title: Valence Neutron-Proton Orientation in Atomic Nuclei

abstract: It is shown that the renormalized nuclear deformations in different mass regions can be globally scaled by two probability partition factors of Boltzmann-like distribution, which are derived from the competing valence $np$ and like-nucleon interactions. The partition factors are simply related to the probabilities of anti-parallel and fully-aligned orientations of the angular momenta of the neutrons and protons in the valence $np$ pairs, responsible for spherical- and deformed-shape phases, respectively. The partition factors derived from the renormalized deformations are also present in the new scaling law for the energies of the first $2^+$ states. A striking concordance between the distributions of the renormalized deformations and of the newly introduced parameter for the energies of the first $2^+$ states over the extended mass region from Ge to Cf is achieved, giving strong support to the existence of two phases: anti-aligned and fully-aligned subsets of $np$ pairs.


title: One-Shot Federated Learning: Theoretical Limits and Algorithms to Achieve Them

abstract: We consider distributed statistical optimization in one-shot setting, where there are $m$ machines each observing $n$ i.i.d. samples. Based on its observed samples, each machine sends a $B$-bit-long message to a server. The server then collects messages from all machines, and estimates a parameter that minimizes an expected convex loss function. We investigate the impact of communication constraint, $B$, on the expected error and derive a tight lower bound on the error achievable by any algorithm. We then propose an estimator, which we call Multi-Resolution Estimator (MRE), whose expected error (when $B\ge\log mn$) meets the aforementioned lower bound up to poly-logarithmic factors, and is thereby order optimal. We also address the problem of learning under tiny communication budget, and present lower and upper error bounds when $B$ is a constant. The expected error of MRE, unlike existing algorithms, tends to zero as the number of machines ($m$) goes to infinity, even when the number of samples per machine ($n$) remains upper bounded by a constant. This property of the MRE algorithm makes it applicable in new machine learning paradigms where $m$ is much larger than $n$.


title: A New Line-By-Line General Circulation Model for Simulations of Diverse Planetary Atmospheres: Initial Validation and Application to the Exoplanet GJ 1132b

abstract: Exploring diverse planetary atmospheres requires modeling tools that are both accurate and flexible. Here, we develop a three-dimensional general circulation model (3D GCM) that for the first time uses a line-by-line approach to describe the radiative transfer. We validate our GCM by comparing with published results done by different 1D and 3D models. To demonstrate the versatility of the model, we apply the GCM to the hot Earth-sized exoplanet GJ 1132b and study its climate and circulation assuming an atmosphere dominated by abiotic oxygen (O$_2$). Our simulations show that a minor CO$_2$ composition can change the circulation pattern substantially, intensifying the equatorial superrotation in particular. Computation of the phase-resolved spectroscopy indicates that the vertical profile of the superrotating jet could be inferred in future spectro-photometric observations by the phase shift of the hotspot in the CO$_2$ principle absorption band centered at 667 cm$^{-1}$. We also show that atmospheric mass could potentially be constrained by the phase amplitude in the O$_2$ vibrational fundamental band for planets with O$_2$-rich atmospheres, although further experimental and/or theoretical O$_2$-O$_2$ collision-induced absorption data at high temperatures is needed to confirm this. More physical schemes such as moist dynamics will be implemented in the GCM in the future so that it can be used to tackle a wide variety of planetary climate problems.


title: The Cycle Structure of Permutations Without Long Cycles

abstract: We consider the cycle structure of a random permutation $\sigma$ chosen uniformly from the symmetric group, subject to the constraint that $\sigma$ does not contain cycles of length exceeding $r.$ We prove that under suitable conditions the distribution of the cycle counts is approximately Poisson and obtain an upper bound on the total variation distance between the distributions using Stein's method of exchangeable pairs. Our results extend the recent work of Betz, Sch\"{a}fer, and Zeindler.


title: Effect of accreting tidally disrupted stars on the spin evolution of $\sim 10^6M_{\odot}$ black holes

abstract: Accretion of tidally disrupted stars (TDSs) is expected to contribute significantly to the growth of massive black holes (MBHs) with mass $\sim 10^6 M_{\odot}$ in galactic centers. In this paper, we quantitatively investigate the effect of the TDS accretion on the spin evolution of these relatively small MBHs, by also considering the accretion of gas-clouds with (many) chaotic episodes. We find that the accretion of TDSs can play an important role or even a dominant role in shaping the spin distribution of $\sim 10^6 M_{\odot}$ MBHs, depending on the contribution fraction ($f_{\rm TDE}$) of the TDS accretion to the MBH growth. If $f_{\rm TDE}$ is as large as $\gtrsim 0.9$, most $\sim 10^6M_{\odot}$ MBHs have low spins ($|a| \lesssim 0.3$); if $f_{\rm TDE}$ is as small as $\lesssim 0.1$, most $\sim 10^6 M_{\odot}$ MBHs have high spins ($|a| \gtrsim 0.7$). We also find that (1) the fraction of highly spinning $\sim 10^6 M_{\odot}$ MBHs in the TDS accretion states is smaller than that in the gas-cloud (AGN) accretion states, which is a consequence of more rapid spin decrease during the period of consecutive TDS accretion than the spin increase during the AGN periods when the spin is large; (2) the fraction of retrograde spin accretion in the TDS accretion states is almost the same as that of prograde spin accretion, while it is negligible in the gas-cloud (AGN) accretion states. Current scarce sample of AGNs ($\sim 10^6 M_{\odot}$) with spin measurements hints an insignificant contribution from TDS accretion to MBH growth. Future measurements on spins of $\sim 10^6 M_{\odot}$ MBHs may provide stronger constraints on the importance of both AGN and TDS accretion states in their growth history.


title: Kyrix: Interactive Visual Data Exploration at Scale

abstract: Scalable interactive visual data exploration is crucial in many domains due to increasingly large datasets generated at rapid rates. Details-on-demand provides a useful interaction paradigm for exploring large datasets, where users start at an overview, find regions of interest, zoom in to see detailed views, zoom out and then repeat. This paradigm is the primary user interaction mode of widely-used systems such as Google Maps, Aperture Tiles and ForeCache. These earlier systems, however, are highly customized with hardcoded visual representations and optimizations. A more general framework is needed to facilitate the development of visual data exploration systems at scale. In this paper, we present Kyrix, an end-to-end system for developing scalable details-on-demand data exploration applications. Kyrix provides developers with a declarative model for easy specification of general visualizations. Behind the scenes, Kyrix utilizes a suite of performance optimization techniques to achieve a response time within 500ms for various user interactions. We also report results from a performance study which shows that a novel dynamic fetching scheme adopted by Kyrix outperforms tile-based fetching used in earlier systems.


title: Waveguide-integrated, plasmonic enhanced graphene photodetectors

abstract: We present a micrometer scale, on-chip integrated, plasmonic enhanced graphene photodetector (GPD) for telecom wavelengths operating at zero dark current. The GPD is designed and optimized to directly generate a photovoltage and has an external responsivity~12.2V/W with a 3dB bandwidth~42GHz. We utilize Au split-gates with a$\sim$100nm gap to electrostatically create a p-n-junction and simultaneously guide a surface plasmon polariton gap-mode. This increases light-graphene interaction and optical absorption and results in an increased electronic temperature and steeper temperature gradient across the GPD channel. This paves the way to compact, on-chip integrated, power-efficient graphene based photodetectors for receivers in tele and datacom modules


title: Mega-Reward: Achieving Human-Level Play without Extrinsic Rewards

abstract: Intrinsic rewards were introduced to simulate how human intelligence works; they are usually evaluated by intrinsically-motivated play, i.e., playing games without extrinsic rewards but evaluated with extrinsic rewards. However, none of the existing intrinsic reward approaches can achieve human-level performance under this very challenging setting of intrinsically-motivated play. In this work, we propose a novel megalomania-driven intrinsic reward (called mega-reward), which, to our knowledge, is the first approach that achieves human-level performance in intrinsically-motivated play. Intuitively, mega-reward comes from the observation that infants' intelligence develops when they try to gain more control on entities in an environment; therefore, mega-reward aims to maximize the control capabilities of agents on given entities in a given environment. To formalize mega-reward, a relational transition model is proposed to bridge the gaps between direct and latent control. Experimental studies show that mega-reward (i) can greatly outperform all state-of-the-art intrinsic reward approaches, (ii) generally achieves the same level of performance as Ex-PPO and professional human-level scores, and (iii) has also a superior performance when it is incorporated with extrinsic rewards.


title: Predictive Ensemble Learning with Application to Scene Text Detection

abstract: Deep learning based approaches have achieved significant progresses in different tasks like classification, detection, segmentation, and so on. Ensemble learning is widely known to further improve performance by combining multiple complementary models. It is easy to apply ensemble learning for classification tasks, for example, based on averaging, voting, or other methods. However, for other tasks (like object detection) where the outputs are varying in quantity and unable to be simply compared, the ensemble of multiple models become difficult. In this paper, we propose a new method called Predictive Ensemble Learning (PEL), based on powerful predictive ability of deep neural networks, to directly predict the best performing model among a pool of base models for each test example, thus transforming ensemble learning to a traditional classification task. Taking scene text detection as the application, where no suitable ensemble learning strategy exists, PEL can significantly improve the performance, compared to either individual state-of-the-art models, or the fusion of multiple models by non-maximum suppression. Experimental results show the possibility and potential of PEL in predicting different models' performance based only on a query example, which can be extended for ensemble learning in many other complex tasks.


title: Software System Design based on Patterns for Newton-Type Methods

abstract: A wide range of engineering applications uses optimisation techniques as part of their solution process. The researcher uses specialized software that implements well-known optimisation techniques to solve his problem. However, when it comes to develop original optimisation techniques that fit a particular problem the researcher has no option but to implement his own new method from scratch. This leads to large development times and error prone code that, in general, will not be reused for any other application. In this work, we present a novel methodology that simplifies, fasten and improves the development process of scientific software. This methodology guide us on the identification of design patterns. The application of this methodology generates reusable, flexible and high quality scientific software. Furthermore, the produced software becomes a documented tool to transfer the knowledge on the development process of scientific software. We apply this methodology for the design of an optimisation framework implementing Newton's type methods which can be used as a fast prototyping tool of new optimisation techniques based on Newton's type methods. The abstraction, reusability and flexibility of the developed framework is measured by means of Martin's metric. The results indicate that the developed software is highly reusable.


title: Secure Error Correction using Multi-Party Computation

abstract: During recent years with the increase of data and data analysis needs, privacy preserving data analysis methods have become of great importance. Researchers have proposed different methods for this purpose. Secure multi-party computation is one of such techniques that allows a group of parties to evaluate a function on their data without revealing the data. This is done by secret sharing approach, in which parties share a piece of their data using polynomials and after doing function evaluation on shares of data finally they do a Lagrange interpolation to get the result. Two approaches have been proposed in secure multi-party computation for evaluating a function, arithmetic gates and logical gates. In both of them and since communication is an important step in multi-party computation, errors may happen. So, being able to detect and correct errors is important. Moreover, as adversaries may interrupt communication or manipulate the data, either in communication or during computation, this error detection and correction provide participating parties with a technique to detect such errors. Hence, in this paper we present a secure multi-party computation error correcting technique that has the ability to detect and correct errors on players shares. This technique is based on Berlekamp-Welch error correcting codes and we assume that players shares are generated using Reed-Solomon codes.


title: The center of monoidal 2-categories in 3+1D Dijkgraaf-Witten Theory

abstract: In this work, for a finite group $G$ and a 4-cocycle $\omega \in Z^4(G, \mathbf{k}^\times)$, we compute explicitly the center of the monoidal 2-category $\operatorname{2Vec}_G^{\omega}$ of $\omega$-twisted $G$-graded 1-categories of finite dimensional $\mathbf{k}$-vector spaces. This center gives a precise mathematical description of the topological defects in the associated 3+1D Dijkgraaf-Witten TQFT. We prove that this center is a braided monoidal 2-category with a trivial sylleptic center.


title: Arithmetic on Moran sets

abstract: Let $(\mathcal{M}, c_k,n_k)$ be a class of Moran sets. We assume that the convex hull of any $E\in (\mathcal{M}, c_k,n_k)$ is $[0,1]$. Let $A,B$ be two non-empty sets in $\mathbb{R}$. Suppose that $f$ is a continuous function defined on an open set $U\subset \mathbb{R}^{2}$. Denote the continuous image of $f$ by \begin{equation*} f_{U}(A,B)=\{f(x,y):(x,y)\in (A\times B)\cap U\}. \end{equation*} In this paper, we prove the following result. Let $E_1,E_2\in(\mathcal{M}, c_k, n_k)$. If there exists some $(x_0,y_0)\in (E_1\times E_2)\cap U$ such that $$\sup_{k\geq 1}\left\{1-c_kn_k\right\}<\left\vert \frac{\partial _{y}f|_{(x_{0},y_{0})}}{\partial _{x}f|_{(x_{0},y_{0})}}\right\vert <\inf_{k\geq 1}\left\{\dfrac{c_k}{1-n_kc_k}\right\},$$ then $f_U(E_1, E_2)$ contains an interior.


title: Dimensional hierarchy of higher-order topology in three-dimensional sonic crystals

abstract: Topological phases of matter have been extensively studied for their intriguing bulk and edge properties. Recently, higher-order topological insulators with boundary states that are two or more dimensions lower than the bulk states, have been proposed and investigated as novel states of matter. Previous implementations of higher-order topological insulators were based on two-dimensional (2D) systems in which 1D gapped edge states and 0D localized corner states were observed. Here we theoretically design and experimentally realize a 3D higher-order topological insulator in a sonic crystal with a large topological band gap. We observe the coexistence of third-, second- and first-order topological boundary states with codimension three, two and one, respectively, indicating a dimensional hierarchy of higher-order topological phenomena in 3D crystals. Our acoustic metamaterial goes beyond the descriptions of tight-binding model and possesses a band structure which automatically breaks the chiral symmetry, leading to the separation of bulk, surface, hinge and corner states. Our study opens a new route toward higher-order topological phenomena in three-dimensions and paves the way for topological wave trapping and manipulation in a hierarchy of dimensions in a single system.


title: Computational Doppler-limited dual-comb spectroscopy with a free-running all-fiber laser

abstract: Dual-comb spectroscopy has emerged as an indispensable analytical technique in applications that require high resolution and broadband coverage within short acquisition times. Its experimental realization, however, remains hampered by intricate experimental setups with large power consumption. Here, we demonstrate an ultra-simple free-running dual-comb spectrometer realized in a single all-fiber cavity suitable for the most demanding Doppler-limited measurements. Our dual-comb laser utilizes just a few basic fiber components, allows to tailor the repetition rate difference, and requires only 350 mW of electrical power for sustained operation over a dozen of hours. As a demonstration, we measure low-pressure hydrogen cyanide within 1.7 THz bandwidth, and obtain better than 1% precision over a terahertz in 200 ms enabled by a drastically simplified all-computational phase correction algorithm. The combination of the unprecedented setup simplicity, comb tooth resolution and high spectroscopic precision paves the way for proliferation of frequency comb spectroscopy even outside the laboratory.


title: Automating chaos experiments in production

abstract: Distributed systems often face transient errors and localized component degradation and failure. Verifying that the overall system remains healthy in the face of such failures is challenging. At Netflix, we have built a platform for automatically generating and executing chaos experiments, which check how well the production system can handle component failures and slowdowns. This paper describes the platform and our experiences operating it.


title: A Survey of Controller Placement Problem in Software Defined Networks

abstract: Software Defined Network (SDN) is an emerging network paradigm which provides a centralized view of the network by decoupling the network control plane from the data plane. This strategy of maintaining a global view of the network optimizes resource management. However, the implementation of SDN using a single physical controller lead to issues of scalability and robustness. A physically distributed but logically centralized SDN controller architecture promises to resolve both these issues. Distributed SDN along with its benefits brings along the problem of the number of controllers required and their placement in the network. This problem is referred to as the controller placement problem (CPP) and this paper is mainly concerned with the CPP solution techniques. The paper formally defines CPP, gives a comprehensive review of the various performance metrics and characteristics of the available CPP solutions. Finally, we point out the existing literature gap and discuss the future research direction in this domain.


title: Nearly maximal violation of the Mermin-Klyshko inequality with multimode entangled coherent states

abstract: Entangled coherent states for multiple bosonic modes, also referred to as multimode cat states, not only are of fundamental interest, but also have practical applications. The nonclassical correlation among these modes is well characterized by the violation of the Mermin-Klyshko inequality. We here study Mermin-Klyshko inequality violations for such multi-mode entangled states with rotated quantum-number parity operators. Our results show that the Mermin-Klyshko signal obtained with these operators can approach the maximal value even when the average quantum number in each mode is only 1, and the inequality violation exponentially increases with the number of entangled modes. The correlations among the rotated parities of the entangled bosonic modes are in distinct contrast with those among the displaced parities, with which a nearly maximal Mermin-Klyshko inequality violation requires the size of the cat state to be increased by about 15 times.


title: Passport: Enabling Accurate Country-Level Router Geolocation using Inaccurate Sources

abstract: When does Internet traffic cross international borders? This question has major geopolitical, legal and social implications and is surprisingly difficult to answer. A critical stumbling block is a dearth of tools that accurately map routers traversed by Internet traffic to the countries in which they are located. This paper presents Passport: a new approach for efficient, accurate country-level router geolocation and a system that implements it. Passport provides location predictions with limited active measurements, using machine learning to combine information from IP geolocation databases, router hostnames, whois records, and ping measurements. We show that Passport substantially outperforms existing techniques, and identify cases where paths traverse countries with implications for security, privacy, and performance.


title: A diquark model for the d*(2380) dibaryon resonance?

abstract: Diquark models have been applied with varying degree of success to tetraquark and pentaquark states involving both light and heavy quark degrees of freedom. We discuss the applicability of such models to light quark dibaryons, viewed as three-diquark objects. Highlighting the case of the d*(2380) dibaryon resonance, we demonstrate the inapplicability of diquark models in the light quark sector.


title: Monochromatic connected matchings in 2-edge-colored multipartite graphs

abstract: A matching $M$ in a graph $G$ is connected if all the edges of $M$ are in the same component of $G$. Following \L uczak,there have been many results using the existence of large connected matchings in cluster graphs with respect to regular partitions of large graphs to show the existence of long paths and other structures in these graphs. We prove exact Ramsey-type bounds on the sizes of monochromatic connected matchings in $2$-edge-colored multipartite graphs. In addition, we prove a stability theorem for such matchings.


title: On the Performance of Thompson Sampling on Logistic Bandits

abstract: We study the logistic bandit, in which rewards are binary with success probability $\exp(\beta a^\top \theta) / (1 + \exp(\beta a^\top \theta))$ and actions $a$ and coefficients $\theta$ are within the $d$-dimensional unit ball. While prior regret bounds for algorithms that address the logistic bandit exhibit exponential dependence on the slope parameter $\beta$, we establish a regret bound for Thompson sampling that is independent of $\beta$. Specifically, we establish that, when the set of feasible actions is identical to the set of possible coefficient vectors, the Bayesian regret of Thompson sampling is $\tilde{O}(d\sqrt{T})$. We also establish a $\tilde{O}(\sqrt{d\eta T}/\lambda)$ bound that applies more broadly, where $\lambda$ is the worst-case optimal log-odds and $\eta$ is the "fragility dimension," a new statistic we define to capture the degree to which an optimal action for one model fails to satisfice for others. We demonstrate that the fragility dimension plays an essential role by showing that, for any $\epsilon > 0$, no algorithm can achieve $\mathrm{poly}(d, 1/\lambda)\cdot T^{1-\epsilon}$ regret.


title: Improving Natural Language Interaction with Robots Using Advice

abstract: Over the last few years, there has been growing interest in learning models for physically grounded language understanding tasks, such as the popular blocks world domain. These works typically view this problem as a single-step process, in which a human operator gives an instruction and an automated agent is evaluated on its ability to execute it. In this paper we take the first step towards increasing the bandwidth of this interaction, and suggest a protocol for including advice, high-level observations about the task, which can help constrain the agent's prediction. We evaluate our approach on the blocks world task, and show that even simple advice can help lead to significant performance improvements. To help reduce the effort involved in supplying the advice, we also explore model self-generated advice which can still improve results.


title: AstroSat view of MAXI J1535-571: broadband spectro-temporal features

abstract: We present the results of Target of Opportunity (ToO) observations made with AstroSat of the newly discovered black hole binary MAXI J1535-571. We detect prominent C-type Quasi-periodic Oscillations (QPOs) of frequencies varying from 1.85 Hz to 2.88 Hz, along with distinct harmonics in all the AstroSat observations. We note that while the fundamental QPO is seen in the 3 - 50 keV energy band, the harmonic is not significant above ~ 35 keV. The AstroSat observations were made in the hard intermediate state, as seen from state transitions observed by MAXI and Swift. We attempt spectral modelling of the broadband data (0.7-80 keV) provided by AstroSat using phenomenological and physical models. The spectral modelling using nthComp gives a photon index in the range between 2.18-2.37 and electron temperature ranging from 21 to 63 keV. The seed photon temperature is within 0.19 to 0.29 keV. The high flux in 0.3 - 80 keV band corresponds to a luminosity varying from 0.7 to 1.07 L_Edd assuming the source to be at a distance of 8 kpc and hosting a black hole with a mass of 6 M$_{\odot}$. The physical model based on the two-component accretion flow gives disc accretion rates as high as ~ 1 $\dot{m}_{Edd}$ and halo rate ~ 0.2 $\dot{m}_{Edd}$ respectively. The near Eddington accretion rate seems to be the main reason for the unprecedented high flux observed from this source. The two-component spectral fitting of AstroSat data also provides an estimate of a black hole mass between 5.14 to 7.83 M$_{\odot}$.


title: Long monochromatic paths and cycles in 2-edge-colored multipartite graphs

abstract: We solve four similar problems: For every fixed $s$ and large $n$, we describe all values of $n_1,\ldots,n_s$ such that for every $2$-edge-coloring of the complete $s$-partite graph $K_{n_1,\ldots,n_s}$ there exists a monochromatic (i) cycle $C_{2n}$ with $2n$ vertices, (ii) cycle $C_{\geq 2n}$ with at least $2n$ vertices, (iii) path $P_{2n}$ with $2n$ vertices, and (iv) path $P_{2n+1}$ with $2n+1$ vertices. This implies a generalization for large $n$ of the conjecture by Gy\'arf\'as, Ruszink\'o, S\'ark\H{o}zy and Szemer\'edi that for every $2$-edge-coloring of the complete $3$-partite graph $K_{n,n,n}$ there is a monochromatic path $P_{2n+1}$. An important tool is our recent stability theorem on monochromatic connected matchings.


title: Generation of stable multi-vortex clusters in a dissipative medium with anti-cubic nonlinearity

abstract: We demonstrate the generation of vortex solitons in a model of dissipative optical media with the singular anti-cubic (AC) nonlinearity, by launching a vorticity-carrying Gaussian input into the medium modeled by the cubic-quintic complex Ginzburg-Landau equation with the additional AC term. The effect of the latter term on the beam propagation is investigated in detail. An analytical result is produced for the asymptotic form of fundamental and vortical solitons at r --> 0, which is determined by the AC term. Numerical simulations identify parameter domains which maintain stable dissipative solitons in the form of vortex clusters. The number of vortices in the clusters is equal to the vorticity embedded in the Gaussian input.


title: The discovery and legacy of Kepler's multi-transiting planetary systems

abstract: We revisit the discovery and implications of the first candidate systems to contain multiple transiting exoplanets. These systems were discovered using data from the Kepler space telescope. The initial paper, presenting five systems (Steffen et al. 2010), was posted online at the time the project released the first catalog of Kepler planet candidates. The first extensive analysis of the observed population of multis was presented in a follow-up paper published the following year (Lissauer et al. 2011a). Multiply-transiting systems allow us to answer a variety of important questions related to the formation and dynamical evolution of planetary systems. These two papers addressed a wide array of topics including: the distribution of orbital period ratios, planet size ratios, system architectures, mean-motion resonance, orbital eccentricities, planet validation and confirmation, and the identification of different planet populations. They set the stage for many subsequent, detailed studies by other groups. Intensive studies of individual multiplanet systems provided some of Kepler's most important exoplanet discoveries. As we examine the scientific impact of the first of these systems, we also present some history of the people and circumstances surrounding their discoveries.


title: List Decodable Learning via Sum of Squares

abstract: In the list-decodable learning setup, an overwhelming majority (say a $1-\beta$-fraction) of the input data consists of outliers and the goal of an algorithm is to output a small list $\mathcal{L}$ of hypotheses such that one of them agrees with inliers. We develop a framework for list-decodable learning via the Sum-of-Squares SDP hierarchy and demonstrate it on two basic statistical estimation problems {\it Linear regression:} Suppose we are given labelled examples $\{(X_i,y_i)\}_{i \in [N]}$ containing a subset $S$ of $\beta N$ {\it inliers} $\{X_i \}_{i \in S}$ that are drawn i.i.d. from standard Gaussian distribution $N(0,I)$ in $\mathbb{R}^d$, where the corresponding labels $y_i$ are well-approximated by a linear function $\ell$. We devise an algorithm that outputs a list $\mathcal{L}$ of linear functions such that there exists some $\hat{\ell} \in \mathcal{L}$ that is close to $\ell$. This yields the first algorithm for linear regression in a list-decodable setting. Our results hold for any distribution of examples whose concentration and anticoncentration can be certified by Sum-of-Squares proofs. {\it Mean Estimation:} Given data points $\{X_i\}_{i \in [N]}$ containing a subset $S$ of $\beta N$ {\it inliers} $\{X_i \}_{i \in S}$ that are drawn i.i.d. from a Gaussian distribution $N(\mu,I)$ in $\mathbb{R}^d$, we devise an algorithm that generates a list $\mathcal{L}$ of means such that there exists $\hat{\mu} \in \mathcal{L}$ close to $\mu$. The recovery guarantees of the algorithm are analogous to the existing algorithms for the problem by Diakonikolas \etal and Kothari \etal. In an independent and concurrent work, Karmalkar \etal \cite{KlivansKS19} also obtain an algorithm for list-decodable linear regression using the Sum-of-Squares SDP hierarchy.


title: Quantum Probes for Ohmic Environments at Thermal Equilibrium

abstract: It is often the case that the environment of a quantum system may be described as a bath of oscillators with Ohmic density of states. In turn, the precise characterization of these classes of environments is a crucial tool to engineer decoherence or to tailor quantum information protocols. Recently, the use of quantum probes in characterizing Ohmic environments at zero-temperature has been discussed, showing that a single qubit provides precise estimation of the cutoff frequency. On the other hand, thermal noise often spoil quantum probing schemes, and for this reason we here extend the analysis to complex system at thermal equilibrium. In particular, we discuss the interplay between thermal fluctuations and time evolution in determining the precision {attainable by} quantum probes. Our results show that the presence of thermal fluctuations degrades the precision for low values of the cutoff frequency, i.e. values of the order $\omega_c \lesssim T$ (in natural units). For larger values of $\omega_c$ decoherence is mostly due to the structure of environment, rather than thermal fluctuations, such that quantum probing by a single qubit is still an effective estimation procedure.


title: A note of values of minors for Hadamard matrices

abstract: In this note we present a formulae for all possible values of $(n-j)\times(n-j)$ minors of an Hadamard matrix of order $n$.


title: Learning to Convolve: A Generalized Weight-Tying Approach

abstract: Recent work (Cohen & Welling, 2016) has shown that generalizations of convolutions, based on group theory, provide powerful inductive biases for learning. In these generalizations, filters are not only translated but can also be rotated, flipped, etc. However, coming up with exact models of how to rotate a 3 x 3 filter on a square pixel-grid is difficult. In this paper, we learn how to transform filters for use in the group convolution, focussing on roto-translation. For this, we learn a filter basis and all rotated versions of that filter basis. Filters are then encoded by a set of rotation invariant coefficients. To rotate a filter, we switch the basis. We demonstrate we can produce feature maps with low sensitivity to input rotations, while achieving high performance on MNIST and CIFAR-10.


title: Using Oshima splines to produce accurate numerical results and high quality graphical output

abstract: We illustrate the use of Oshima splines in producing high-quality \LaTeX\ output in two cases: first, the numerical computation of derivatives and integrals, and second, the display of silhouettes and wireframe surfaces, using the macros package KeTCindy. Both cases are of particular interest for college and university teachers wanting to create handouts to be used by students, or drawing figures for a research paper. When dealing with numerical computations, KeTCindy can make a call to the CAS Maxima to check for accuracy; in the case of surface graphics, it is particularly important to be able to detect intersections of projected curves, and we show how to do it in a seamlessly manner using Oshima splines in KeTCindy. A C compiler can be called in this case to speed up computations.


title: Detection limits of exoplanetary atmospheres with 2-m class telescopes

abstract: Transmission spectroscopy is an important technique to probe the atmospheres of exoplanets. With the advent of TESS and, in the future, of PLATO, more and more transiting planets around bright stars will be found and the observing time at large telescopes currently used to apply these techniques will not suffice. We demonstrate here that 2-m class telescopes equipped with spectrographs with high resolving power may be used for a certain number of potential targets. We obtained a time series of high-resolution FEROS spectra at the 2.2-m telescope at La Silla of the very hot Jupiter hosting planet WASP-18b and show that our upper limit is consistent with the expectations. This is the first analysis of its kind using 2-m class telescopes, and serves to highlight their potential. In this context, we then proceed to discuss the suitability of this class of telescopes for the upcoming flood of scientifically interesting targets from TESS space mission, and propose a methodology to select the most promising targets. This is of particular significance given that observing time on 2-m class telescopes is more readily available than on large 8-m class facilities.


title: Privacy-Preserving and Collusion-Resistant Charging Coordination Schemes for Smart Grid

abstract: Energy storage units (ESUs) including EVs and home batteries enable several attractive features of the modern smart grids such as effective demand response and reduced electric bills. However, uncoordinated charging of ESUs stresses the power system. In this paper, we propose privacy-preserving and collusion-resistant charging coordination centralized and decentralized schemes for the smart grid. The centralized scheme is used in case of robust communication infrastructure that connects the ESUs to the utility, while the decentralized scheme is useful in case of infrastructure not available or costly. In the centralized scheme, each energy storage unit should acquire anonymous tokens from a charging controller (CC) to send multiple charging requests to the CC via the aggregator. CC can use the charging requests to enough data to run the charging coordination scheme, but it cannot link the data to particular ESUs or reveal any private information. Our centralized scheme uses a modified knapsack problem formulation technique to maximize the amount of power delivered to the ESUs before the charging requests expire without exceeding the available maximum charging capacity. In the decentralized scheme, several ESUs run the scheme in a distributed way with no need to aggregator or CC. One ESU is selected as a head node that should decrypt the ciphertext of the aggregated messages of the ESUs' messages and broadcast it to the community while not revealing the ESUs' individual charging demands. Then, ESUs can coordinate charging requests based on the aggregated charging demand while not exceeding the maximum charging capacity. Extensive experiments and simulations are conducted to demonstrate that our schemes are efficient and secure against various attacks, and can preserve ESU owner's privacy.


title: Functional Correlations in the Pursuit of Performance Assessment of Classifiers

abstract: In statistical classification and machine learning, as well as in social and other sciences, a number of measures of association have been proposed for assessing and comparing individual classifiers, raters, as well as their groups. In this paper, we introduce, justify, and explore several new measures of association, which we call CO-, ANTI- and COANTI-correlation coefficients, that we demonstrate to be powerful tools for classifying confusion matrices. We illustrate the performance of these new coefficients using a number of examples, from which we also conclude that the coefficients are new objects in the sense that they differ from those already in the literature.

categories: stat.ML cs.LG math.ST stat.AP stat.ME stat.TH


title: On Flow Profile Image for Video Representation

abstract: Video representation is a key challenge in many computer vision applications such as video classification, video captioning, and video surveillance. In this paper, we propose a novel approach for video representation that captures meaningful information including motion and appearance from a sequence of video frames and compacts it into a single image. To this end, we compute the optical flow and use it in a least squares optimization to find a new image, the so-called Flow Profile Image (FPI). This image encodes motions as well as foreground appearance information while background information is removed. The quality of this image is validated in activity recognition experiments and the results are compared with other video representation techniques such as dynamic images [1] and eigen images [2]. The experimental results as well as visual quality confirm that FPIs can be successfully used in video processing applications.


title: Report on LSST Next-generation Instrumentation Workshop, April 11, 12 2019

abstract: The Large Synoptic Survey Telescope (LSST) is a wide-field imaging system of unprecedented etendue. The initial goal of the project is to carry out a ten year imaging survey in six broad passbands (ugrizy) that cover $350 nm < \lambda < 1.1 \mu m$. This document reports on the discussions that occurred at workshop (held April 11-12, 2019 at Argonne National Laboratory) that was convened to explore concepts for using the LSST system once the initial survey is complete. Participants discussed the tradeoffs in science performance, cost, and uniqueness for i) imaging surveys using the initial wide-field CCD instrument, perhaps supplemented with different filters, ii) replacing the focal plane with some alternative sensor technology, and iii) converting the LSST system to a wide-field multi-object fiber-fed spectrograph. Participants concluded that the fiber spectrograph option would be most effective if the focal plane were to feed upwards of 30,000 fibers. Thermal management and power considerations in the LSST instrument barrel make it difficult to accommodate infrared sensors that require very low operating temperatures, and the current generation of buttable IR sensors that would extend sensitivity to 2 $\mu$m are, we concluded, cost-prohibitive. Procuring and using an alternative filter set, on the other hand, is modest in cost, would take full advantage of the LSST image reduction pipeline, and could yield considerable additional information.


title: A Pulsar Wind Nebula Embedded in the Kilonova AT2017gfo Associated with GW 170817/GRB 170817A

abstract: The first detected gravitational wave GW170817 from a binary neutron star merger is associated with an important optical transient AT 2017gfo, which is a direct observation of kilonova. Recent observations suggest that the remnant compact object of the binary neutron star merger associated with GW170817/GRB 170817A may be a stable long-lived magnetized neutron star. In this situation, there would be a pulsar wind nebula (PWN) embedded inside the dynamic ejecta. The PWN emission may be absorbed by the ejecta or leak out of the system. We study the effect of the PWN emission on the observed light curves and radiation spectra. Different from previous works, the absorption and leakage of the PWN emission are all involved in our model, where the absorption of the PWN emission heats up the ejecta and alters its radiation. It is found that the characteristic emission of the embedded PWN quickly evolves. For the multiband and long-term observations of AT 2017gfo, we find that the dynamic ejecta with a PWN emission can fit the observational data very well, especially for the light curves at $t\sim 5$ days and those in the late phase. In addition, our model can naturally generate the thermal to nonthermal spectrum evolution of AT 2017gfo. Our fitting result suggests that a PWN is embedded in the AT 2017gfo.


title: High multiplicity and chaos for an indefinite problem arising from genetic models

abstract: We deal with the periodic boundary value problem associated with the parameter-dependent second-order nonlinear differential equation \begin{equation*} u'' + cu' + \bigr{(} \lambda a^{+}(x) - \mu a^{-}(x) \bigr{)} g(u) = 0, \end{equation*} where $\lambda,\mu>0$ are parameters, $c\in\mathbb{R}$, $a(x)$ is a locally integrable $P$-periodic sign-changing weight function, and $g\colon\mathopen{[}0,1\mathclose{]}\to\mathbb{R}$ is a continuous function such that $g(0)=g(1)=0$, $g(u)>0$ for all $u\in\mathopen{]}0,1\mathclose{[}$, with superlinear growth at zero. A typical example for $g(u)$, that is of interest in population genetics, is the logistic-type nonlinearity $g(u)=u^{2}(1-u)$. Using a topological degree approach, we provide high multiplicity results by exploiting the nodal behaviour of $a(x)$. More precisely, when $m$ is the number of intervals of positivity of $a(x)$ in a $P$-periodicity interval, we prove the existence of $3^{m}-1$ non-constant positive $P$-periodic solutions, whenever the parameters $\lambda$ and $\mu$ are positive and large enough. Such a result extends to the case of subharmonic solutions. Moreover, by an approximation argument, we show the existence of a countable family of globally defined solutions with a complex behaviour, coded by (possibly non-periodic) bi-infinite sequences of $3$ symbols.


title: Mean-Field Theory for Fermion Pairs and the ab initio Particle-Vibration-Coupling Approach

abstract: A Dyson Bethe-Salpeter equation (Dyson-BSE) for fermion pairs is presented whose kernel has a static and a one frequency dependent contribution, analogous to the self energy of the single particle Dyson equation with the (static) mean field term and the energy dependent correlation term. The static part of the Dyson-BSE is the self-consistent mean field for the vibrations. At the same time, for the correlated single particle self-energy a full particle-vibration coupling (PVC) scattering equation is established where the vibration is the same as obtained from the Dyson-BSE. Both equations, single particle Dyson equation and Dyson-BSE, are coupled through self-consistency. Numerical results for Lipkin and 1D Hubbard chain are very promising.


title: High-order derivatives of the Bessel functions with an application

abstract: We determine the asymptotic behaviour of the $n$th derivatives of the Bessel functions $J_\nu(a)$ and $K_\nu(a)$, where $a$ is a fixed positive quantity, as $n\to\infty$. These results are applied to the asymptotic evaluation of two incomplete Laplace transforms of these Bessel functions on the interval $[0,a]$ as the transform variable $x\to+\infty$. Similar evaluation of the integrals involving the Bessel functions $Y_\nu(t)$ and $I_\nu(t)$ is briefly mentioned.


title: The majority preference relation based on cone preference relations of the decision makers

abstract: A multicriteria group choice problem is considered in the paper. The model includes a set of feasible alternatives, a vector criterion, and n preference relations of the decision makers (DMs). Each preference relation is a cone relation with corresponding properties. It is considered the majority preference relation, as a cone relation constructed upon the cones of the DMs' preference relations. It is shown how to use and aggregate additional information about the DMs' preference relations in case of three DMs and two criteria. The Pareto set of multicriteria problem with "new" vector criterion forms a group choice, which reduces the Pareto set of initial multicriteria problem.


title: Multiple band-crossings and Fermi surface topology: role of double nonsymmorphic symmetries in MnP-type crystal structures

abstract: We use relativistic ab-initio methods combined with model Hamiltonian approaches to analyze the normal-phase electronic and structural properties of the recently discovered WP superconductor. Remarkably, the outcomes of such study can be employed to set fundamental connections among WP and the CrAs and MnP superconductors belonging to the same space group. One of the key features of the resulting electronic structure is represented by the occurrence of multiple band crossings along specific high symmetry lines of the Brilloiun zone. In particular, we demonstrate that the eight-fold band degeneracy obtained along the SR path at (kx,ky)=(Pi,Pi) is due to inversion-time reversal invariance and a pair of nonsymmorphic symmetries. The presence of multiple degenerate Fermi points along the SR direction constraints the topology of the Fermi surface, which manifests distinctive marks when considering its evolution upon band filling variation. If the Fermi level crosses the bands along the SR line as it happens at the nominal filling of the MnP, these Fermi surfaces are open or closed Fermi pockets. Moving the relative position of the Fermi level away from the eight-fold degenerate bands as for the WP and CrAs compounds, the electronic changeover exhibits a simultaneous modification of the Fermi surface dimensionality and topology. Four two-dimensional (2D) Fermi surface sheets are centered around the SR line with a corrugated profile along the kz direction. Moreover, we show that the spin-orbit interaction determines a selective removal of the band degeneracy and, consequently, a splitting of the quasi 2D Fermi sheets, as it happens in WP. Finally, we comment on the connections between our results and recent experimental and theoretical proposals about the triplet superconductivity in this class of compounds.


title: On Hardy type spaces in strictly pseudoconvex domains and the density, in these spaces, of certain classes of singular functions

abstract: In this paper we prove generic results concerning Hardy spaces in one or several complex variables. More precisely, we show that the generic function in certain Hardy type spaces is totally unbounded and hence non-extentable, despite the fact that these functions have non tangential limits at the boundary of the domain. We also consider local Hardy spaces and show that generically these functions do not belong, not even locally, to Hardy spaces of higher order. We work first in the case of the unit ball of Cn where the calculations are easier and the results are somehow better, and then we extend them to the case of strictly pseudoconvex domains.


title: A construction for clique-free pseudorandom graphs

abstract: A construction of Alon and Krivelevich gives highly pseudorandom $K_k$-free graphs on $n$ vertices with edge density equal to $\Theta(n^{-1/(k -2)})$. In this short note we improve their result by constructing an infinite family of highly pseudorandom $K_k$-free graphs with a higher edge density of $\Theta(n^{-1/(k - 1)})$.


title: HLO: Half-kernel Laplacian Operator for Surface Smoothing

abstract: This paper presents a simple yet effective method for feature-preserving surface smoothing. Through analyzing the differential property of surfaces, we show that the conventional discrete Laplacian operator with uniform weights is not applicable to feature points at which the surface is non-differentiable and the second order derivatives do not exist. To overcome this difficulty, we propose a Half-kernel Laplacian Operator (HLO) as an alternative to the conventional Laplacian. Given a vertex v, HLO first finds all pairs of its neighboring vertices and divides each pair into two subsets (called half windows); then computes the uniform Laplacians of all such subsets and subsequently projects the computed Laplacians to the full-window uniform Laplacian to alleviate flipping and degeneration. The half window with least regularization energy is then chosen for v. We develop an iterative approach to apply HLO for surface denoising. Our method is conceptually simple and easy to use because it has a single parameter, i.e., the number of iterations for updating vertices. We show that our method can preserve features better than the popular uniform Laplacian-based denoising and it significantly alleviates the shrinkage artifact. Extensive experimental results demonstrate that HLO is better than or comparable to state-of-the-art techniques both qualitatively and quantitatively and that it is particularly good at handling meshes with high noise. We will make our source code publicly available.


title: An Anisotropic shrinking flow and L_p Minkowski problem

abstract: We consider a shrinking flow of smooth, closed, uniformly convex hypersurfaces in (n+1)-dimensional Euclidean space with speed fu^{alpha}{sigma}_n^{beta}, where u is the support function of the hypersurface, alpha, beta are two constants, and beta>0, sigma_n is the n-th symmetric polynomial of the principle curvature radii of the hypersurface. We prove that the flow has a unique smooth and uniformly convex solution for all time, and converges smoothly after normalisation, to a soliton which is a solution of an elliptic equation, when the constants alpha, beta belong to a suitable range, provided the initial hypersuface is origin-symmetric and f is a smooth positive even function on S^n. For the case alpha>= 1+n*beta, beta>0, we prove that the flow converges smoothly after normalisation to a unique smooth solution of an elliptic equation without any constraint on the initial hypersuface and smooth positive function f. When beta=1, our argument provides a uniform proof to the existence of the solutions to the equation of L_p Minkowski problem for p belongs to (-n-1,+infty).


title: Note on Bulk Reconstruction in AdS$_3$/WCFT$_2$

abstract: The bulk reconstructions in AdS/CFT and its cousins are essential to understand the holographic nature of quantum gravity. In this work, we try to study the bulk reconstruction in the AdS$_3$/WCFT$_2$ correspondence. After deriving the bulk-boundary propagator, which is different from the usual one in AdS/CFT, we define the bulk proto-scalar field by using the Virasoro-Kac-Moody symmetry in two different ways. One is to impose the bulk primary conditions on the field and construct the field algebraically. The other is to use the bulk-boundary vacuum OPE block, which can be read by applying the diffeomorphism preserving the CSS boundary conditions. Two approaches lead to consistent picture.


title: How to Test the Two-Families Scenario

abstract: We shortly summarize the two-families scenario in which both hadronic stars and strange quark stars can exist and we describe the main predictions one can obtain from it. We then concentrate on the observables that most likely will be measured in the near future, i.e. masses, radii, tidal deformabilities and moments of inertia and we present a list of objects that are candidate strange quark stars in this scheme. We show that the estimates of the radii derived up to now from observations are all compatible with the two-families scenario and in particular all the objects having large radii can easily be interpreted as strange quark stars.


title: On Graph Classification Networks, Datasets and Baselines

abstract: Graph classification receives a great deal of attention from the non-Euclidean machine learning community. Recent advances in graph coarsening have enabled the training of deeper networks and produced new state-of-the-art results in many benchmark tasks. We examine how these architectures train and find that performance is highly-sensitive to initialisation and depends strongly on jumping-knowledge structures. We then show that, despite the great complexity of these models, competitive performance is achieved by the simplest of models -- structure-blind MLP, single-layer GCN and fixed-weight GCN -- and propose these be included as baselines in future.


title: Optical heterodyne imaging of magnetostatic modes in one-dimensional magnonic crystals

abstract: We demonstrate a real-space imaging of a heterodyne signal of light that is produced as a result of the Brillouin light scattering by coherently driven magnons in magnetostatic modes. With this imaging technique, we characterize surface magnetostatic modes (Damon-Eshbach modes) in a one-dimensional magnonic crystal, which is formed by patterned aluminum strips deposited on the ferromagnetic film. The modified band structures of the magnonic crystal are deduced from the Fourier transforms of the real-space images. The heterodyne imaging provides a simple and powerful method to probe magnons in structured ferromagnetic films, paving a way to investigate more complex phenomena, such as Anderson localization and topological transport with magnons.


title: Lack of Unique Factorization as a Tool in Block Cipher Cryptanalysis

abstract: Linear (or differential) cryptanalysis may seem dull topics for a mathematician: they are about super simple invariants characterized by say a word on n=64 bits with very few bits at 1, the space of possible attacks is small, and basic principles are trivial. In contract mathematics offers an infinitely rich world of possibilities. If so, why is that cryptographers have ever found so few attacks on block ciphers? In this paper we argue that black-box methods used so far to find attacks in symmetric cryptography are inadequate and we work with a more recent white-box algebraic methodology. Invariant attacks can be constructed explicitly through the study of roots of the so-called Fundamental Equation (FE). We also argue that certain properties of the ring of Boolean polynomials such as lack of unique factorization allow for a certain type of product construction attacks to flourish. As a proof of concept we show how to construct a complex and non-trivial attack where a polynomial of degree 7 is an invariant for any number of rounds for a complex block cipher.