title: Inverse Optimization with Kernel Regression: Application to the Power Forecasting and Bidding of a Fleet of Electric Vehicles

abstract: This paper considers an aggregator of Electric Vehicles (EVs) who aims to learn the aggregate power of his/her fleet while also participating in the electricity market. The proposed approach is based on a data-driven inverse optimization (IO) method, which is highly nonlinear. To overcome such a caveat, we use a two-step estimation procedure which requires solving two convex programs. Both programs depend on penalty parameters that can be adjusted by using grid search. In addition, we propose the use of kernel regression to account for the nonlinear relationship between the behaviour of the pool of EVs and the explanatory variables, i.e., the past electricity prices and EV fleet's driving patterns. Unlike any other forecasting method, the proposed IO framework also allows the aggregator to derive a bid/offer curve, i.e. the tuple of price-quantity to be submitted to the electricity market, according to the market rules. We show the benefits of the proposed method against the machine-learning techniques that are reported to exhibit the best forecasting performance for this application in the technical literature.


title: Perturbation Scheme for the Effective Nuclear Force

abstract: Based on a systematic Hartree-Fock+BCS calculation, new perturbation scheme is proposed to modify the existing Skyrme-type effective nuclear force. Much attention is paid to have a better description of fission property of heavy nuclei. In terms of incorporating the nuclear medium effects on the fission barrier height more correctly, two typical Skyrme parameter sets (SkM* and SLy4) are modified. In conclusion, according to the comparison to experiments, the calculated fission barrier heights are improved by almost 90$\%$.


title: In-situ electron backscatter diffraction of thermal cycling in a single grain Cu/Sn-3Ag-0.5Cu/Cu solder joint

abstract: The heterogeneous evolution of microstructure in a single Cu/SAC305/Cu solder joint is investigated using in-situ thermal cycling combined with electron backscatter diffraction (EBSD). Local deformation due to thermal expansion mismatch results in heterogeneous lattice rotation, localised towards the corners of the joint and decreases towards the centre of the joint. This deformation is induced by the constraint from the CTE between the \b{eta}-Sn, Cu6Sn5 and Cu at interfaces. The formation of subgrains with continuous increase in misorientation is revealed during deformation, implying the accumulation of plastic slip at the strain-localised regions and the activation of slip systems (1-10)[111]/2 and (11-0)[111]/2.


title: Thermal conductivity of porous jennite by molecular dynamics method

abstract: The thermal conductivity of porous jennite, as the major component of cement paste, and its porosity and temperature dependences are simulated by molecular dynamics methods using ClayFF force field. The porous jennite models with different porosities are created by removing atoms within the sphere from bulk jennite model. The thermal conductivity elements of bulk jennite calculated by equilibrium Green-Kubo method are almost identical to those by non-equilibrium M\"{u}ller-Plathe (MP) method at 300 K. The volumetric thermal conductivity of porous jennite is found to decrease from 1.141 W/m$\cdot$K to 0.144 W/m$\cdot$K as increasing the porosity from 0\% to 72.22\% at 300 K, following the empirical coherent potential model when the pore is assumed to be filled with air. As increasing temperature, the thermal conductivity is observed to increase from 240 K to 560 K and gradually decrease until 1100 K for porous jennites with the porosities of 0\%, 15.99\% and 32.79\%.


title: Evaluating Perceptual Bias During Geometric Scaling of Scatterplots

abstract: Scatterplots are frequently scaled to fit display areas in multi-view and multi-device data analysis environments. A common method used for scaling is to enlarge or shrink the entire scatterplot together with the inside points synchronously and proportionally. This process is called geometric scaling. However, geometric scaling of scatterplots may cause a perceptual bias, that is, the perceived and physical values of visual features may be dissociated with respect to geometric scaling. For example, if a scatterplot is projected from a laptop to a large projector screen, then observers may feel that the scatterplot shown on the projector has fewer points than that viewed on the laptop. This paper presents an evaluation study on the perceptual bias of visual features in scatterplots caused by geometric scaling. The study focuses on three fundamental visual features (i.e., numerosity, correlation, and cluster separation) and three hypotheses that are formulated on the basis of our experience. We carefully design three controlled experiments by using well-prepared synthetic data and recruit participants to complete the experiments on the basis of their subjective experience. With a detailed analysis of the experimental results, we obtain a set of instructive findings. First, geometric scaling causes a bias that has a linear relationship with the scale ratio. Second, no significant difference exists between the biases measured from normally and uniformly distributed scatterplots. Third, changing the point radius can correct the bias to a certain extent. These findings can be used to inspire the design decisions of scatterplots in various scenarios.


title: Complex-BP-Neural-Network-based Hybrid Precoding for Millimeter Wave Multiuser Massive MIMO Systems

abstract: The high energy consumption of massive multi-input multi-out (MIMO) system has become a prominent problem in the millimeter wave(mm-Wave) communication scenario. The hybrid precoding technology greatly reduces the number of radio frequency(RF) chains by handing over part of the coding work to the phase shifting network, which can effectively improve energy efficiency. However, conventional hybrid precoding algorithms based on mathematical means often suffer from performance loss and high computational complexity. In this paper, a novel BP-neural-network-enabled hybrid precoding algorithm is proposed, in which the full-digital zero-forcing(ZF) precoding is set as the training target. Considering that signals at the base station are complex, we choose the complex neural network that has a richer representational capacity. Besides, we present the activation function of the complex neural network and the gradient derivation of the back propagation process. Simulation results demonstrate that the performance of the proposed hybrid precoding algorithm can optimally approximate the ZF precoding.


title: Global well-posedness for Dirac equation with concentrated nonlinearity

abstract: We prove global well-posedness for 3D Dirac equation with a concentrated nonlinearity.


title: Cycle class maps and birational invariants

abstract: We introduce new obstructions to rationality for geometrically rational threefolds arising from the geometry of curves and their cycle maps.


title: InSituNet: Deep Image Synthesis for Parameter Space Exploration of Ensemble Simulations

abstract: We propose InSituNet, a deep learning based surrogate model to support parameter space exploration for ensemble simulations that are visualized in situ. In situ visualization, generating visualizations at simulation time, is becoming prevalent in handling large-scale simulations because of the I/O and storage constraints. However, in situ visualization approaches limit the flexibility of post-hoc exploration because the raw simulation data are no longer available. Although multiple image-based approaches have been proposed to mitigate this limitation, those approaches lack the ability to explore the simulation parameters. Our approach allows flexible exploration of parameter space for large-scale ensemble simulations by taking advantage of the recent advances in deep learning. Specifically, we design InSituNet as a convolutional regression model to learn the mapping from the simulation and visualization parameters to the visualization results. With the trained model, users can generate new images for different simulation parameters under various visualization settings, which enables in-depth analysis of the underlying ensemble simulations. We demonstrate the effectiveness of InSituNet in combustion, cosmology, and ocean simulations through quantitative and qualitative evaluations.


title: Posing Constraints on the Free Parameters of a New Model of Dark Energy EoS : Responses Through Cosmological Behaviours

abstract: Since the late 1990's observations of type Ia Supernova, our universe is predicted to experience a late time cosmic acceleration. Theoretical support to this observation were intended to be built via proposition of a hypothetical fluid which staying inside the universe exerts negative pressure. Cosmologists have prescribed many candidates for this exotic fluid so far. In this alley, a popular method is to choose time dependent equation of state parameter $\omega = \frac{p}{\rho}$ and to parametrize it as a function of redshift. Again some common families of such parametrizations are constructed among which different members justify different properties of observed universe. Mainly, these were model dependent studies which comprise free parameters to be constrained by different observations. In this present article, a new expression for redshift parametrization is considered and we have constrain its free parameters for two Hubble parameter vs redshift data sets. These data sets are obtained depending on two basic methodologies known as different ages method and baryonic acoustic oscillation method. Different confidence contours for our model are located under the constraints of said data sets. Besides, different thermodynamic parameters related to the evolution of our universe are analysed. It is notified that our model indicates towards a delayed dark matter model which mimics EoS = $-1(\Lambda)$ phenomena at the present epoch. Deceleration parameters behaviour's are studied. It is noticed that a possibility of future deceleration may occur for this new model. Outcomes for both the data sets are compared with each other.


title: Deduction Theorem: The Problematic Nature of Common Practice in Game Theory

abstract: We consider the Deduction Theorem used in the literature of game theory to run a purported proof by contradiction. In the context of game theory, it is stated that if we have a proof of $\phi \vdash \varphi$, then we also have a proof of $\phi \Rightarrow \varphi$. Hence, the proof of $\phi \Rightarrow \varphi$ is deduced from a previously known statement. However, we argue that one has to manage to establish that a proof exists for the clauses $\phi$ and $\varphi$, i.e., they are known true statements in order to show that $\phi \vdash \varphi$ is provable, and that therefore $\phi \Rightarrow \varphi$ is provable as well. Thus, we are not allowed to assume that the clause $\phi$ or $\varphi$ is a true statement. This leads immediately to a wrong conclusion. Apart from this, we stress to other facts why the Deduction Theorem is not applicable to run a proof by contradiction. Finally, we present an example from industrial cooperation where the Deduction Theorem is not correctly applied with the consequence that the obtained result contradicts the well-known aggregation issue.


title: Pathological Myopic Image Analysis with Transfer Learning

abstract: We present a summary of transfer learning based methods for several challenging myopic fundus image analysis tasks including classification of pathological and non-pathological myopia,localisation of fovea,and segmentation of optic disc.By adapting existing popular deep learning architectures,our proposed methods have achieved 1st and 2nd place in several tasks at the Pathologic Myopia Challenge held at ISBI2019.


title: Single-shot x-ray speckle-based imaging of a single-material object

abstract: We develop a means for speckle-based phase imaging of the projected thickness of a single-material object, under the assumption of illumination by spatially random time-independent x-ray speckles. These speckles are generated by passing x rays through a suitable spatially random mask. The method makes use of a single image obtained in the presence of the object, which serves to deform the illuminating speckle field relative to a reference speckle field (which only needs to be measured once) obtained in the presence of the mask and the absence of the object. The method implicitly rather than explicitly tracks speckles, and utilizes the transport-of-intensity equation to give a closed-form solution to the inverse problem of determining the complex transmission function of the object. Implementation using x-ray synchrotron data shows the method to be robust and efficient with respect to noise. Applications include x-ray phase--amplitude radiography and tomography, as well as time-dependent imaging of dynamic and radiation-sensitive samples using low-flux sources.


title: Neural networks-based backward scheme for fully nonlinear PDEs

abstract: We propose a numerical method for solving high dimensional fully nonlinear partial differential equations (PDEs). Our algorithm estimates simultaneously by backward time induction the solution and its gradient by multi-layer neural networks, while the Hessian is approximated by automatic differentiation of the gradient at previous step. This methodology extends to the fully nonlinear case the approach recently proposed in \cite{HPW19} for semi-linear PDEs. Numerical tests illustrate the performance and accuracy of our method on several examples in high dimension with nonlinearity on the Hessian term including a linear quadratic control problem with control on the diffusion coefficient, Monge-Amp{\`e}re equation and Hamilton-Jacobi-Bellman equation in portfolio optimization.


title: MeLU: Meta-Learned User Preference Estimator for Cold-Start Recommendation

abstract: This paper proposes a recommender system to alleviate the cold-start problem that can estimate user preferences based on only a small number of items. To identify a user's preference in the cold state, existing recommender systems, such as Netflix, initially provide items to a user; we call those items evidence candidates. Recommendations are then made based on the items selected by the user. Previous recommendation studies have two limitations: (1) the users who consumed a few items have poor recommendations and (2) inadequate evidence candidates are used to identify user preferences. We propose a meta-learning-based recommender system called MeLU to overcome these two limitations. From meta-learning, which can rapidly adopt new task with a few examples, MeLU can estimate new user's preferences with a few consumed items. In addition, we provide an evidence candidate selection strategy that determines distinguishing items for customized preference estimation. We validate MeLU with two benchmark datasets, and the proposed model reduces at least 5.92% mean absolute error than two comparative models on the datasets. We also conduct a user study experiment to verify the evidence selection strategy.


title: Bias Correction and Robust Inference in Semiparametric Models

abstract: This paper analyzes several different biases that emerge from the (possibly) low-precision nonparametric ingredient in a semiparametric model. We show that both the variance part and the bias part of the nonparametric ingredient can lead to some biases in the semiparametric estimator, under conditions weaker than typically required in the literature. We then propose two bias-robust inference procedures, based on multi-scale jackknife and analytical bias correction, respectively. We also extend our framework to the case where the semiparametric estimator is constructed by some discontinuous functionals of the nonparametric ingredient. Simulation study shows that both bias-correction methods have good finite-sample performance.


title: Nonlinear Seebeck effect of SU($N$) Kondo impurity

abstract: We develop a theoretical framework to study the influences of coupling asymmetry on the thermoelectrics of a strongly coupled SU($N$) Kondo impurity based on a local Fermi liquid theory. Applying non-equilibrium Keldysh formalism, we investigate charge current driven by the voltage bias and temperature gradient in the strong coupling regime of an asymmetrically coupled SU($N$) quantum impurity. The thermoelectric characterizations are made via non-linear Seebeck effects. We demonstrate that the beyond particle-hole (PH) symmetric SU($N$) Kondo variants are highly desirable with respect to the corresponding PH symmetric setups in order to have significantly improved thermoelectric performance. The greatly enhanced Seebeck coefficients by tailoring the coupling asymmetry of beyond PH symmetric SU($N$) Kondo effects are explored. Apart from presenting the analytical expressions of asymmetry dependent transport coefficients for general SU($N$) Kondo effects, we make a close connection of our findings with the experimentally studied SU(2) and SU(4) Kondo effects in quantum dot nano structures. Seebeck effects associated with the theoretically proposed SU(3) Kondo effects are discussed in detail.


title: The mass-size plane of EAGLE galaxies

abstract: Current observational results show that both late-and-early-type galaxies follow tight mass-size planes, on which physical properties such as age, velocity dispersion and metallicities correlate with the scatter on the plane. We study the mass-size plane of galaxies in cosmological hydrodynamical simulations, as a function of velocity dispersion, age, chemical abundances, ellipticity and spin parameters with the aim at assessing to what extent the current cosmological paradigm can reproduce these observations and provide a physical interpretation of them. We select a sample of well-resolved galaxies from the (100 Mpc)^3 simulation of the EAGLE Project. This sample is composed by 508 spheroid-dominated galaxies and 1213 disc-dominated galaxies. The distributions of velocity dispersion, age, metallicity indicators and gradients and spin parameters across the mass-size plane are analysed. Furthermore, we study the relation between shape and kinematic parameters. The results are compared with observations. The mass-weighted ages of the EAGLE galaxies are found to vary along lines of constant velocity dispersion on the mass-size plane, except for galaxies with velocity dispersion larger than aprox 150 km s^(-1) . Negative age gradients tend to be found in extended disc galaxies in agreement with observations. However, the age distributions of early-type galaxies show a larger fraction with inverted radial profiles. The distribution of metallicity gradients does not show any clear dependence on this plane. Galaxies with similar spin parameters ({\lambda}) display larger sizes as their dynamical masses increase. Stellar-weighted ages are found to be good proxies for {\lambda} in galaxies with low ellipticity ({\epsilon}). Abridged


title: A compression based framework for the detection of anomalies in heterogeneous data sources

abstract: Nowadays, information and communications technology systems are fundamental assets of our social and economical model, and thus they should be properly protected against the malicious activity of cybercriminals. Defence mechanisms are generally articulated around tools that trace and store information in several ways, the simplest one being the generation of plain text files coined as security logs. This log files are usually inspected, in a semi-automatic way, by security analysts to detect events that may affect system integrity. On this basis, we propose a parameter-free methodology to detect security incidents from structured text regardless its nature. We use the Normalized Compression Distance to obtain a set of features that can be used by a Support Vector Machine to classify events from a heterogeneous cybersecurity environment. In specific, we explore and validate the application of our methodology in four different cybersecurity domains: HTTP anomaly identification, spam detection, Domain Generation Algorithms tracking and sentiment analysis. The results obtained show the validity and flexibility of our approach in different security scenarios with a low configuration burden.


title: MIN: Co-Governing Multi-Identifier Network Architecture and its Prototype on Operator's Network

abstract: IP protocol is the core of TCP/IP network layer. However, since IP address and its Domain Name are allocated and managed by a single agency, there are risks of centralization. The semantic overload of IP address also reduces its scalability and mobility, which further hinders the security. This paper proposes a co-governing Multi-Identifier Network (MIN) architecture that constructs a network layer with parallel coexistence of multiple identifiers, including identity, content, geographic information, and IP address. On the management plane, we develop an efficient management system using consortium blockchain with voting consensus, so the network can simultaneously manage and support by hundreds or thousands of nodes with high throughput. On the data plane, we propose an algorithm merging hash table and prefix tree (HTP) for FIB, which avoids the false-negative error and can inter-translate different identifiers with tens of billions of entries. Further, we propose a scheme to transport IP packets using CCN as a tunnel for supporting progressive deployment. We deployed the prototype of MIN to the largest operators' network in Mainland China, Hongkong and Macao, and demonstrated that the network can register identifier under co-governing consensus algorithm, support VoD service very well.


title: Sudden Death: A New Way to Compare Recommendation Diversification

abstract: This paper describes problems with the current way we compare the diversity of different recommendation lists in offline experiments. We illustrate the problems with a case study. We propose the Sudden Death score as a new and better way of making these comparisons.


title: pySOT and POAP: An event-driven asynchronous framework for surrogate optimization

abstract: This paper describes Plumbing for Optimization with Asynchronous Parallelism (POAP) and the Python Surrogate Optimization Toolbox (pySOT). POAP is an event-driven framework for building and combining asynchronous optimization strategies, designed for global optimization of expensive functions where concurrent function evaluations are useful. POAP consists of three components: a worker pool capable of function evaluations, strategies to propose evaluations or other actions, and a controller that mediates the interaction between the workers and strategies. pySOT is a collection of synchronous and asynchronous surrogate optimization strategies, implemented in the POAP framework. We support the stochastic RBF method by Regis and Shoemaker along with various extensions of this method, and a general surrogate optimization strategy that covers most Bayesian optimization methods. We have implemented many different surrogate models, experimental designs, acquisition functions, and a large set of test problems. We make an extensive comparison between synchronous and asynchronous parallelism and find that the advantage of asynchronous computation increases as the variance of the evaluation time or number of processors increases. We observe a close to linear speed-up with 4, 8, and 16 processors in both the synchronous and asynchronous setting.


title: A Prym variety with everywhere good reduction over $\mathbb{Q}(\sqrt{61})$

abstract: We compute an equation for a modular abelian surface $A$ that has everywhere good reduction over the quadratic field $K = \mathbb{Q}(\sqrt{61})$ and that does not admit a principal polarization over $K$.


title: Correlations and dynamics of tunnel-coupled one-dimensional Bose gases

abstract: We present a series of experiments performed with two ultracold one-dimensional Bose gases (rubidium atoms) in a double well potential. Employing matter-wave interference, we can measure the spatially resolved phase difference between the two gases and consequently investigate spatial correlations. By investigating whether higher order correlation functions can be factorized into correlations of lower order, we can investigate the interaction properties of the system. For a non-interacting system, all correlation functions with orders greater than two factorize and one observes Gaussian fluctuations. Here, we present the measurement of non-factorizing fourth-order correlation functions, leading to an experimental characterization of the interactions between the collective excitations of the quantum many-body system. The degree of non-factorizibility, i.e., the degree of non-Gaussianity of the phase fluctuations, depends on the tuneable tunneling strength between the wells. Starting from such a non-Gaussian state, we are able to observe the dynamical evolution towards a state with factorizing correlation functions (Gaussian fluctuations). We start in a double well with tunneling and then abruptly decouple the two subsystems. Subsequently, we observe how the initially non-Gaussian phase fluctuations become Gaussian. Moreover, we discuss the dynamical emergence of phase coherence in a double well potential with tunneling. We experimentally investigate the evolution starting from two different initial states. In one case, we split a cloud of atoms into two and trigger global oscillations in their relative phase. The oscillations subsequently damp and phase coherence sets in. In the other case, two independent clouds are suddenly coupled by tunneling. Again, phase coherence emerges between the two subsystems.


title: Isospin-Violating Dark Matter in the $U(1)'$ Model with $E_6$ Origin

abstract: We propose a $U(1)'$ model from $E_6$ which has an isospin-violation dark matter. By choosing a proper linear combination of two extra $U(1)$ gauge symmetries in $E_6$, it is natural to realize the ratio $f_n/f_p=-0.7$ so as to maximally relax the constraints from the Xenon based direct detection experiments. We study the sensitivities of the dark matter direct and indirect detection experiments, and identify the parameter spaces that can give the observed relic density. We also study the sensitivities of the future colliders with center mass energy $\sqrt{s}$= 33/50/100 TeV, and compare the different detection methods. We show that in some parameter spaces the future colliders can give much stronger limits.


title: Gaussian Process Regression and Conditional Polynomial Chaos for Parameter Estimation

abstract: We present a new approach for constructing a data-driven surrogate model and using it for Bayesian parameter estimation in partial differential equation (PDE) models. We first use parameter observations and Gaussian Process regression to condition the Karhunen-Lo\'{e}ve (KL) expansion of the unknown space-dependent parameters and then build the conditional generalized Polynomial Chaos (gPC) surrogate model of the PDE states. Next, we estimate the unknown parameters by computing coefficients in the KL expansion minimizing the square difference between the gPC predictions and measurements of the states using the Markov Chain Monte Carlo method. Our approach addresses two major challenges in the Bayesian parameter estimation. First, it reduces dimensionality of the parameter space and replaces expensive direct solutions of PDEs with the conditional gPC surrogates. Second, the estimated parameter field exactly matches the parameter measurements. In addition, we show that the conditional gPC surrogate can be used to estimate the states variance, which, in turn, can be used to guide data acquisition. We demonstrate that our approach improves its accuracy with application to one- and two-dimensional Darcy equation with (unknown) space-dependent hydraulic conductivity. We also discuss the effect of hydraulic conductivity and head locations on the accuracy of the hydraulic conductivity estimations.


title: Tetrahedrality dictates dynamics in hard spheres

abstract: Glasses are ubiquitous amorphous solids that remain one of the big mysteries in condensed matter. Despite the vast body of literature on glasses, a unifying approach to link the structure and dynamics of glasses is still missing. A growing set of evidence, however, indicates the microscopic local geometry as a key ingredient. This originated from the seminal work of Frank, who conjectured that glasses may be the result of the local tendency of liquids to form icosahedral structures, which are not capable of globally filling space regularly. Here, we show that, for a fundamental glass model, dynamics can be fully understood by simply counting the number of tetrahedra. Both globally and locally, these local structures directly predict dynamical slowdown. After more than 60 years of Frank's Conjecture, it might not be the icosahedra that matter for glasses, but rather the tetrahedra inside them.


title: Deconfinement and freezeout boundaries in equilibrium thermal models

abstract: In different approaches, the temperature-baryon density plane of QCD matter is studied for deconfinement and chemical freezeout boundaries. Results from various heavy-ion experiments are compared with the recent lattice simulations, the effective QCD-like Polyakov linear-sigma model, and the equilibrium thermal models. Along the entire freezeout boundary, there is an excellent agreement between the thermal model calculations and the experiments. Also, the thermal model calculations agree well with the estimations deduced from the Polyakov linear-sigma model (PLSM). At low baryonic density or high energies, both deconfinement and chemical freezeout boundaries are likely coincident and therefore the agreement with the lattice simulations becomes excellent as well, while at large baryonic density, the two boundaries become distinguishable forming a phase where hadrons and quark-gluon plasma likely coexist.


title: Bitcoin Security under Temporary Dishonest Majority

abstract: We prove Bitcoin is secure under temporary dishonest majority. We assume the adversary can corrupt a specific fraction of parties and also introduce crash failures, i.e., some honest participants are offline during the execution of the protocol. We demand a majority of honest online participants on expectation. We explore three different models and present the requirements for proving Bitcoin's security in all of them: we first examine a synchronous model, then extend to a bounded delay model and last we consider a synchronous model that allows message losses.


title: General proof of a limit related to AR(k) model of Statistics

abstract: Computing moments of various parameter estimators related to an autoregressive model of Statistics, one needs to evaluate several non-trivial limits. This was done by arXiv:1506.03131 for the case of two, three and four dimensions; in this article, we present a proof of a fully general formula, based on an ingenious solution of https://mathoverflow.net/users/4312/fedor-petrov.


title: Photonic integrated circuits in the continuum

abstract: Waves that are perfectly confined in the continuous spectrum of radiating waves without interaction with them are known as bound states in the continuum (BICs). Despite recent discoveries of BICs in nanophotonics, full routing and control of BICs are yet to be explored. Here, we experimentally demonstrate BICs in a fundamentally new photonic architecture by patterning a low-refractive-index material on a high-refractive-index substrate, where dissipation to the substrate continuum is eliminated by engineering the geometric parameters. Pivotal BIC-based photonic components are demonstrated, including waveguides, microcavities, directional couplers, and modulators. Therefore, this work presents the critical step of photonic integrated circuits in the continuum, and enables the exploration of new single-crystal materials on an integrated photonic platform without the fabrication challenges of patterning the single-crystal materials. The demonstrated lithium niobate platform will facilitate development of functional photonic integrated circuits for optical communications, nonlinear optics at the single photon level as well as scalable photonic quantum information processors.


title: Geometric analysis of the Yang-Mills-Higgs-Dirac model

abstract: The harmonic sections of the Kaluza-Klein model can be seen as a variant of harmonic maps with additional gauge symmetry. Geometrically, they are realized as sections of a fiber bundle associated to a principal bundle with a connection. In this paper, we investigate geometric and analytic aspects of a model that combines the Kaluza-Klein model with the Yang-Mills action and a Dirac action for twisted spinors. In dimension two we show that weak solutions of the Euler-Lagrange system are smooth. For a sequence of approximate solutions on surfaces with uniformly bounded energies we obtain compactness modulo bubbles, namely, energy identities and the no-neck property hold.


title: Mapping the uncertainty of 19th century West African slave origins using a Markov decision process model

abstract: The advent of modern computers has added an increased emphasis on channeling computational power and statistical methods into digital humanities. Including increased statistical rigor in history poses unique challenges due to the inherent uncertainties of word-of-mouth and poorly recorded data. African genealogies form an important such example, both in terms of individual ancestries and broader historical context in the absence of written records. Our project aims to bridge the lack of accurate maps of Africa during the trans-Atlantic slave trade with the personalized question of where within Africa an individual slave may have hailed. We approach this question with a two part mathematical model informed by two primary sets of data. We begin with a conflict intensity surface which can generate capture locations of theoretical slaves, and accompany this with a Markov decision process which models the transport of these slaves through existing cities to the coastal areas. Ultimately, we can use this two-step approach of providing capture locations to a historical trade network in a simulative fashion to generate and visualize the conditional probability of a slave coming from a certain spatial region given they were sold at a certain port. This is a data-driven visual answer to the research question of where the slaves departing these ports originated.


title: Online Payment Network Design

abstract: Payment channels allow transactions between participants of the blockchain to be executed securely off-chain, and thus provide a promising solution for the scalability problem of popular blockchains. We study the online network design problem for payment channels, assuming a central coordinator. We focus on a single channel, where the coordinator desires to maximize the number of accepted transactions under given capital constraints. Despite the simplicity of the problem, we present a flurry of impossibility results, both for deterministic and randomized algorithms against adaptive as well as oblivious adversaries.


title: GANs 'N Lungs: improving pneumonia prediction

abstract: We propose a novel method to improve deep learning model performance on highly-imbalanced tasks. The proposed method is based on CycleGAN to achieve balanced dataset. We show that data augmentation with GAN helps to improve accuracy of pneumonia binary classification task even if the generative network was trained on the same training dataset.


title: A metric space with its transfinite asymptotic dimension omega + 1

abstract: We construct a metric space whose transfinite asymptotic dimension and complementary-finite asymptotic dimension are both omega+1, where omega is the smallest infinite ordinal number. Therefore, we prove that the omega conjecture is not true.


title: Autoequivalences for 3-fold flops: an overview

abstract: This is an overview article, based on my 2018 Kinosaki lecture, that surveys and announces work on 3-fold flopping contractions, their affine combinatorics, stability conditions, tilting bundles and autoequivalences. Some first applications are given.


title: Payment Networks as Creation Games

abstract: Payment networks were introduced to address the limitation on the transaction throughput of popular blockchains. To open a payment channel one has to publish a transaction on-chain and pay the appropriate transaction fee. A transaction can be routed in the network, as long as there is a path of channels with the necessary capital. The intermediate nodes on this path can ask for a fee to forward the transaction. Hence, opening channels, although costly, can benefit a party, both by reducing the cost of the party for sending a transaction and by collecting the fees from forwarding transactions of other parties. This trade-off spawns a network creation game between the channel parties. In this work, we introduce the first game theoretic model for analyzing the network creation game on blockchain payment channels. Further, we examine various network structures (path, star, complete bipartite graph and clique) and determine for each one of them the constraints (fee value) under which they constitute a Nash equilibrium, given a fixed fee policy. Last, we show that the star is a Nash equilibrium when each channel party can freely decide the channel fee. On the other hand, we prove the complete bipartite graph can never be a Nash equilibrium, given a free fee policy.


title: A variable-frequency HFQPO in GRS 1915+105 as observed with Astrosat

abstract: From the analysis of more than 92 ks of data obtained with the laxpc instrument on board Astrosat we have detected a clear high-frequency QPO whose frequency varies between 67.4 and 72.3 Hz. In the classification of variability classes of GRS 1915+105, at the start of the observation period the source was in class omega and at the end the variability was that of class mu: both classes are characterized by the absence of hard intervals and correspond to disk-dominated spectra. After normalization to take into account time variations of the spectral properties as measured by X-ray hardness, the QPO centroid frequency is observed to vary along the hardness-intensity diagram, increasing with hardness. We also measure phase lags that indicate that HFQPO variability at high energies lags that at lower energies and detect systematic variations with the position on the hardness-intensity diagram. This is the first time that (small) variations of the HFQPO frequency and lags are observed to correlate with other properties of the source. We discuss the results in the framework of existing models, although the small (7%) variability observed is too small to draw firm conclusions.


title: Five Gas-rich Ultra-faint Dwarf Galaxy Candidates Discovered in WIYN Imaging of ALFALFA Sources

abstract: We present results from the analysis of WIYN pODI imaging of 23 ultra-compact high-velocity clouds (UCHVCs), which were identified in the ALFALFA HI survey as possible dwarf galaxies in or near the Local Group. To search for a resolved stellar population associated with the HI gas in these objects, we carried out a series of steps designed to identify stellar overdensities in our optical images. We identify five objects that are likely stellar counterparts to the UCHVCs, at distances of $\sim 350$ kpc to $\sim 1.6$ Mpc. Two of the counterparts were already described in Janesh et al. (2015) and Janesh et al. (2017); the estimated distance and detection significance for one of them changed in the final analysis of the full pODI data set. At their estimated distances, the detected objects have HI masses from $2 \times 10^4$ to $3 \times 10^6$ Msun, $M_V$ from -1.4 to -7.1, and stellar masses from $4 \times 10^2$ to $4 \times 10^5$ Msun. None of the objects shows evidence of a young stellar population. Their properties would make the UCHVCs some of the most extreme objects in and around the Local Group, comparable to ultra faint dwarf galaxies in their stellar populations, but with significant gas content. Such objects probe the extreme end of the galaxy mass function, and provide a testbed for theories regarding the baryonic feedback processes that impact star formation and galaxy evolution in this low-mass regime.


title: Moulding Humans: Non-parametric 3D Human Shape Estimation from Single Images

abstract: In this paper, we tackle the problem of 3D human shape estimation from single RGB images. While the recent progress in convolutional neural networks has allowed impressive results for 3D human pose estimation, estimating the full 3D shape of a person is still an open issue. Model-based approaches can output precise meshes of naked under-cloth human bodies but fail to estimate details and un-modelled elements such as hair or clothing. On the other hand, non-parametric volumetric approaches can potentially estimate complete shapes but, in practice, they are limited by the resolution of the output grid and cannot produce detailed estimates. In this work, we propose a non-parametric approach that employs a double depth map to represent the 3D shape of a person: a visible depth map and a "hidden" depth map are estimated and combined, to reconstruct the human 3D shape as done with a "mould". This representation through 2D depth maps allows a higher resolution output with a much lower dimension than voxel-based volumetric representations. Additionally, our fully derivable depth-based model allows us to efficiently incorporate a discriminator in an adversarial fashion to improve the accuracy and "humanness" of the 3D output. We train and quantitatively validate our approach on SURREAL and on 3D-HUMANS, a new photorealistic dataset made of semi-synthetic in-house videos annotated with 3D ground truth surfaces.


title: Some constructions in the M\=anava \'Sulvas\=utra

abstract: The M\=anava \'Sulvas\=utra, while less sophisticated than the other \'sulvas\=utras, is seen to contain some mathematical ideas and constructions not found in the other \'sulvas\=utras. Here we discuss some of these constructions and discuss their significance in the overall context of the \'sulvas\=utra literature.


title: Refinement Kinds: Type-safe Programming with Practical Type-level Computation (Extended Version)

abstract: This work introduces the novel concept of kind refinement, which we develop in the context of an explicitly polymorphic ML-like language with type-level computation. Just as type refinements embed rich specifications by means of comprehension principles expressed by predicates over values in the type domain, kind refinements provide rich kind specifications by means of predicates over types in the kind domain. By leveraging our powerful refinement kind discipline, types in our language are not just used to statically classify program expressions and values, but also conveniently manipulated as tree-like data structures, with their kinds refined by logical constraints on such structures. Remarkably, the resulting typing and kinding disciplines allow for powerful forms of type reflection, ad-hoc polymorphism and type meta-programming, which are often found in modern software development, but not typically expressible in a type-safe manner in general purpose languages. We validate our approach both formally and pragmatically by establishing the standard meta-theoretical results of type safety and via a prototype implementation of a kind checker, type checker and interpreter for our language.


title: Quantum Hall effect induced by electron-phonon interaction

abstract: When phonons couple to fermions in 2D semimetals, the interaction may turn the system into an insulator. There are several insulating phases in which the time reversal and the sublattice symmetries are spontaneously broken. Examples are many-body states commensurate to Haldane's staggered flux model or to lattice models with periodically modulated strain. We find that the effective field theories of these phases exhibit characteristic Chern-Simons terms, whose coefficients are related to the topological invariants of the microscopic model. This implies that the corresponding quantized Hall conductivities characterize these insulating states.


title: Optimal Clock Speed of Single-Qubit Operations on Open Quantum Systems

abstract: Efficient implementation of quantum algorithms requires single- or multi-qubit gates with high fidelity. In this report, we report that the fidelity of single-qubit gate operations on open quantum systems has a maximum value corresponding to an optimum value of the drive-amplitude in the presence of drive-induced decoherence. To show this, we use a previously reported fluctuation-regulated quantum master equation [Phys. Rev. A 97, 063837 (2018)]. The fidelity is found to be a function of the drive-induced dissipative terms as well as the relaxation terms arising from the qubit-environment coupling; as a result, it behaves non-monotonically with the drive-amplitude. The existence of an optimum drive-amplitude implies that the single-qubit operations on open quantum systems would have an optimal clock speed.


title: The Betti side of the double shuffle theory. III. Bitorsor structures

abstract: In the two first parts of the series, we constructed stabilizer subtorsors of a `twisted Magnus' torsor, studied their relations with the associator and double shuffle torsors, and explained their `de Rham' nature. In this paper, we make the associated bitorsor structures explicit and explain the `Betti' nature of the corresponding right torsors; we thereby complete one aim of the series. We study the discrete and pro-p versions of the `Betti' group of the double shuffle bitorsor.


title: The interest rate for saving as a possibilistic risk

abstract: In the paper there is studied an optimal saving model in which the interest-rate risk for saving is a fuzzy number. The total utility of consumption is defined by using a concept of possibilistic expected utility. A notion of possibilistic precautionary saving is introduced as a measure of the variation of optimal saving level when moving from a sure saving model to a possibilistic risk model. A first result establishes a necessary and sufficient condition that the presence of a possibilistic interest-rate risk generates an extra-saving. This result can be seen as a possibilistic version of a Rothschilld and Stiglitz theorem on a probabilistic model of saving. A second result of the paper studies the variation of the optimal saving level when moving from a probabilistic model (the interest-rate risk is a random variable) to a possibilistic model (the interest-rate risk is a fuzzy number).


title: Azimuthal asymmetries in semi-inclusive $J/\psi\,+\,\mathrm{jet}$ production at an EIC

abstract: We consider transverse momentum dependent gluon distributions inside both unpolarized and transversely polarized protons and show how they can be probed by looking at azimuthal modulations in $e \, p \to e \, J/\psi \, \mathrm{jet} \, X$. We find that the contribution due to quark induced subprocesses is always suppressed in the considered kinematic regions, accessible in principle at a future Electron-Ion Collider. Our model-independent estimates of the maximal values of these asymmetries allowed by positivity bounds suggest the feasibility of their measurement. In addition, by adopting the McLerran-Venugopalan model for the unpolarized and linearly polarized gluon densities, we study the behavior of the $\cos2\phi$ asymmetries in the small-$x$ limit.


title: Candidates for non-pulsating stars located in the Cepheid instability strip in the Large Magellanic Cloud based on Str\"omgren photometry

abstract: We present candidates for non-pulsating stars lying in the classical Cepheid instability strip based on OGLE photometric maps combined with Str\"omgren photometry obtained with the 4.1-m SOAR telescope, and Gaia DR2 data in four fields in the Large Magellanic Cloud. We selected 19 candidates in total. After analysis of their light curves from OGLE surveys we found that all these stars appear to be photometrically stable at the level of a few mmag. Our results show that non-pulsating stars might constitute to about 21%-30% of the whole sample of giant stars located in the classical instability strip. Furthermore, we identified potential candidates for classical Cepheids with hot companions based on their Str\"omgren colours.


title: Learning Densities in Feature Space for Reliable Segmentation of Indoor Scenes

abstract: Deep learning has enabled remarkable advances in scene understanding, particularly in semantic segmentation tasks. Yet, current state of the art approaches are limited to a closed set of classes, and fail when facing novel elements, also known as out of distribution (OoD) data. This is a problem as autonomous agents will inevitably come across a wide range of objects, all of which cannot be included during training. We propose a novel method to distinguish any object (foreground) from empty building structure (background) in indoor environments. We use normalizing flow to estimate the probability distribution of high-dimensional background descriptors. Foreground objects are therefore detected as areas in an image for which the descriptors are unlikely given the background distribution. As our method does not explicitly learn the representation of individual objects, its performance generalizes well outside of the training examples. Our model results in an innovative solution to reliably segment foreground from background in indoor scenes, which opens the way to a safer deployment of robots in human environments.


title: Tree-Transformer: A Transformer-Based Method for Correction of Tree-Structured Data

abstract: Many common sequential data sources, such as source code and natural language, have a natural tree-structured representation. These trees can be generated by fitting a sequence to a grammar, yielding a hierarchical ordering of the tokens in the sequence. This structure encodes a high degree of syntactic information, making it ideal for problems such as grammar correction. However, little work has been done to develop neural networks that can operate on and exploit tree-structured data. In this paper we present the Tree-Transformer \textemdash{} a novel neural network architecture designed to translate between arbitrary input and output trees. We applied this architecture to correction tasks in both the source code and natural language domains. On source code, our model achieved an improvement of $25\%$ $\text{F}0.5$ over the best sequential method. On natural language, we achieved comparable results to the most complex state of the art systems, obtaining a $10\%$ improvement in recall on the CoNLL 2014 benchmark and the highest to date $\text{F}0.5$ score on the AESW benchmark of $50.43$.


title: The order of convergence of an optimal quadrature formula with derivative in the space $W_2^{(2,1)}$

abstract: The present work is devoted to extension of the trapezoidal rule in the space $W_2^{(2,1)}$. The optimal quadrature formula is obtained by minimizing the error of the formula by coefficients at values of the first derivative of a integrand. Using the discrete analog of the operator $\frac{d^2}{dx^{2}}-1$ the explicit formulas for the coefficients of the optimal quadrature formula are obtained. Furthermore, it is proved that the obtained quadrature formula is exact for any function of the set $\mathbf{F}=\mathrm{span}\{1,x,e^{x},e^{-x}\}$. Finally, in the space $W_2^{(2,1)}$ the square of the norm of the error functional of the constructed quadrature formula is calculated. It is shown that the error of the obtained optimal quadrature formula is less than the error of the Euler-Maclaurin quadrature formula on the space $L_2^{(2)}$.


title: PHSD -- a microscopic transport approach for strongly interacting systems

abstract: We present the basic ideas of the Parton-Hadron-String Dynamics (PHSD) transport approach which is a microscopic covariant dynamical model for strongly interacting systems formulated on the basis of Kadanoff-Baym equations for Green's functions in phase-space representation (in 1st order gradient expansion beyond the quasi-particle approximation). The approach consistently describes the full evolution of a relativistic heavy-ion collision from the initial hard scatterings and string formation through the dynamical deconfinement phase transition to the strongly-interacting quark-gluon plasma (sQGP) as well as hadronization and the subsequent interactions in the expanding hadronic phase. The PHSD approach has been applied to p+p, p+A and A+A collisions from lower SIS to LHC energies and been successful in describing a large number of experimental data including single-particle spectra, collective flow and electromagnetic probes. Some highlights of recent PHSD results will be presented.


title: Estimation of Tire-Road Friction for Road Vehicles: a Time Delay Neural Network Approach

abstract: The performance of vehicle active safety systems is dependent on the friction force arising from the contact of tires and the road surface. Therefore, an adequate knowledge of the tire-road friction coefficient is of great importance to achieve a good performance of different vehicle control systems. This paper deals with the tire-road friction coefficient estimation problem through the knowledge of lateral tire force. A time delay neural network (TDNN) is adopted for the proposed estimation design. The TDNN aims at detecting road friction coefficient under lateral force excitations avoiding the use of standard mathematical tire models, which may provide a more efficient method with robust results. Moreover, the approach is able to estimate the road friction at each wheel independently, instead of using lumped axle models simplifications. Simulations based on a realistic vehicle model are carried out on different road surfaces and driving maneuvers to verify the effectiveness of the proposed estimation method. The results are compared with a classical approach, a model-based method modeled as a nonlinear regression.


title: First Experimental Demonstration of Probabilistic Enumerative Sphere Shaping in Optical Fiber Communications

abstract: We transmit probabilistic enumerative sphere shaped dual-polarization 64-QAM at 350Gbit/s/channel over 1610km SSMF using a short blocklength of 200. A reach increase of 15% over constant composition distribution matching with identical blocklength is demonstrated.


title: Observation of Shock-Front Separation in Multi-Ion-Species Collisional Plasma Shocks

abstract: We observe shock-front separation and species-dependent shock widths in multi-ion-species collisional plasma shocks, which are produced by obliquely merging plasma jets of a He/Ar mixture (97% He and 3% Ar by initial number density) on the Plasma Liner Experiment [S. C. Hsu et al., IEEE Trans. Plasma Sci. 46, 1951 (2018)]. Visible plasma emission near the He-I 587.6 nm and Ar-II 476.5-514.5 nm lines are simultaneously recorded by splitting a single visible image of the shock into two different fast-framing cameras with different narrow bandpass filters (589 +/- 5 nm for observing the He-I line and 500 +/- 25 nm for the Ar-II lines). For conditions in these experiments (pre-shock ion and electron densities ~5*10^14 cm^-3, ion and electron temperatures of ~2.2 eV, and relative plasma-merging speed of 22 km/s), the observationally inferred magnitude of He/Ar shock-front separation and the shock widths themselves are < 1 cm, which correspond to ~50 post-shock thermal ion-ion mean free paths. These experimental lengths scales are in reasonable qualitative and quantitative agreement with results from 1D multi-fluid simulations using the Chicago code. However, there are differences between the experimentally-inferred and simulation-predicted ionization states and line emission intensities, particularly in the post-shock region. Overall, the experimental and simulation results are consistent with theoretical predictions that the lighter He ions diffuse farther ahead within the overall shock front than the heavier Ar ions.


title: Double Hurwitz numbers and multisingularity loci in genus 0

abstract: In the Hurwitz space of rational functions on CP^1 with poles of given orders, we study the loci of multisingularities, that is, the loci of functions with a given ramification profile over 0. We prove a recursion relation on the Poincare dual cohomology classes of these loci and deduce a differential equation on Hurwitz numbers.


title: Auditing News Curation Systems: A Case Study Examining Algorithmic and Editorial Logic in Apple News

abstract: This work presents an audit study of Apple News as a sociotechnical news curation system that exercises gatekeeping power in the media. We examine the mechanisms behind Apple News as well as the content presented in the app, outlining the social, political, and economic implications of both aspects. We focus on the Trending Stories section, which is algorithmically curated, and the Top Stories section, which is human-curated. Results from a crowdsourced audit showed minimal content personalization in the Trending Stories section, and a sock-puppet audit showed no location-based content adaptation. Finally, we perform an extended two-month data collection to compare the human-curated Top Stories section with the algorithmically curated Trending Stories section. Within these two sections, human curation outperformed algorithmic curation in several measures of source diversity, concentration, and evenness. Furthermore, algorithmic curation featured more "soft news" about celebrities and entertainment, while editorial curation featured more news about policy and international events. To our knowledge, this study provides the first data-backed characterization of Apple News in the United States.


title: CloudSat-inferred vertical structure of precipitation over the Antarctic continent

abstract: Current global warming is causing significant changes in snowfall in polar regions, directly impacting the mass balance of the ice caps. The only water supply in Antarctica, precipitation, is poorly estimated from surface measurements. The onboard cloud-profiling radar of the CloudSat satellite provided the first real opportunity to estimate precipitation at continental scale. Based on CloudSat observations, we propose to explore the vertical structure of precipitation in Antarctica over the 2007-2010 period. A first division of this dataset following a topographical approach (continent versus peripheral regions, with a 2250m topographical criterion) shows a high precipitation rate (275mm/yr at 1200meters above ground level) with low relative seasonal variation (+/-11%) over the peripheral areas. Over the plateau, the precipitation rate is low (34mm/yr at 1200m.a.g.l.) with a much larger relative seasonal variation (+/-143%). A second study that follows a geographical division highlights the average vertical structure of precipitation and temperature depending on the regions and their interactions with topography. In particular, over ice-shelves, we see a strong dependence of the distribution of precipitation on the sea-ice coverage. Finally, the relationship between precipitation and temperature is analyzed and compared with a simple analytical relationship. This study highlights that precipitation is largely dependent on the advection of air masses along the topographic slopes with an average vertical wind of 0.02m/s. This provides new diagnostics to evaluate climate models with a three-dimensional approach of the atmospheric structure of precipitation.


title: Massive spin one-half one particle states for the mass dimension one fermions

abstract: We study the conditions under which a non-standard Wigner class concerning discrete symmetries may arise for massive spin one-half states. The mass dimension one fermionic states are shown \textcolor{red}{to} constitute explicit examples. We also show how to conciliate these states with the current criticism due to the Lee and Wick, and Weinberg formulation.


title: Spin-Orbit Excitons in CoO

abstract: CoO has an odd number of electrons in its unit cell, and therefore is expected to be metallic. Yet, CoO is strongly insulating owing to significant electronic correlations, thus classifying it as a Mott insulator. We investigate the magnetic fluctuations in CoO using neutron spectroscopy. The strong and spatially far-reaching exchange constants reported in [Sarte et al. Phys. Rev. B 98 024415 (2018)], combined with the single-ion spin-orbit coupling of similar magnitude [Cowley et al. Phys. Rev. B 88, 205117 (2013)] results in significant mixing between $j_{eff}$ spin-orbit levels in the low temperature magnetically ordered phase. The high degree of entanglement, combined with the structural domains originating from the Jahn-Teller structural distortion at $\sim$ 300 K, make the magnetic excitation spectrum highly structured in both energy and momentum. We extend previous theoretical work on PrTl$_{3}$ [Buyers et al. Phys. Rev. B 11, 266 (1975)] to construct a mean-field and multi-level spin exciton model employing the aforementioned spin exchange and spin-orbit coupling parameters for coupled Co$^{2+}$ ions on a rocksalt lattice. This parameterization, based on a tetragonally distorted type-II antiferromagnetic unit cell, captures both the sharp low energy excitations at the magnetic zone center, and the energy broadened peaks at the zone boundary. However, the model fails to describe the momentum dependence of the excitations at high energy transfers, where the neutron response decays faster with momentum than the Co$^{2+}$ form factor. We discuss such a failure in terms of a possible breakdown of localized spin-orbit excitons at high energy transfers.


title: Learning to Denoise and Decode: A Novel Residual Neural Network Decoder for Polar Codes

abstract: Polar codes have been adopted as the control channel coding scheme in the fifth generation new radio (5G NR) standard due to its capacity-achievable property. Traditional polar decoding algorithms such as successive cancellation (SC) suffer from high latency problem because of their sequential decoding nature. Neural network decoder (NND) has been proved to be a candidate for polar decoder since it is capable of oneshot decoding and parallel computing. Whereas, the bit-errorrate (BER) performance of NND is still inferior to that of SC algorithm. In this paper, we propose a residual neural network decoder (RNND) for polar codes. Different from previous works which directly use neural network for decoding symbols received from the channel, the proposed RNND introduces a denoising module based on residual learning before NND. The proposed residual learning denoiser is able to remove remarkable amount of noise from received signals. Numerical results show that our proposed RNND outperforms traditional NND with regard to the BER performance under comparable latency.


title: Low-Rank plus Sparse Decomposition of Covariance Matrices using Neural Network Parametrization

abstract: This paper revisits the problem of decomposing a positive semidefinite matrix as a sum of a matrix with a given rank plus a sparse matrix. An immediate application can be found in portfolio optimization, when the matrix to be decomposed is the covariance between the different assets in the portfolio. Our approach consists in representing the low-rank part of the solution as the product $MM^{T}$, where $M$ is a rectangular matrix of appropriate size, parametrized by the coefficients of a deep neural network. We then use a gradient descent algorithm to minimize an appropriate loss function over the parameters of the network. We deduce its convergence rate to a local optimum from the Lipschitz smoothness of our loss function. We show that the rate of convergence grows polynomially in the dimensions of the input, output, and the size of each of the hidden layers.


title: Investigation of finite-sample properties of robust location and scale estimators

abstract: When the experimental data set is contaminated, we usually employ robust alternatives to common location and scale estimators such as the sample median and Hodges-Lehmann estimators for location and the sample median absolute deviation and Shamos estimators for scale. It is well known that these estimators have high positive asymptotic breakdown points and are Fisher-consistent as the sample size tends to infinity. To the best of our knowledge, the finite-sample properties of these estimators, depending on the sample size, have not well been studied in the literature. In this paper, we fill this gap by providing their closed-form finite-sample breakdown points and calculating the unbiasing factors and relative efficiencies of the robust estimators through the extensive Monte Carlo simulations up to the sample size 100. The numerical study shows that the unbiasing factor improves the finite-sample performance significantly. In addition, we provide the predicted values for the unbiasing factors obtained by using the least squares method which can be used for the case of sample size more than 100.


title: DIODE: A Dense Indoor and Outdoor DEpth Dataset

abstract: We introduce DIODE, a dataset that contains thousands of diverse high resolution color images with accurate, dense, long-range depth measurements. DIODE (Dense Indoor/Outdoor DEpth) is the first public dataset to include RGBD images of indoor and outdoor scenes obtained with one sensor suite. This is in contrast to existing datasets that focus on just one domain/scene type and employ different sensors, making generalization across domains difficult. The dataset is available for download at http://diode-dataset.org


title: The effect of thermal history on the atomic structure and mechanical properties of amorphous alloys

abstract: The influence of thermal processing on the potential energy, atomic structure, and mechanical properties of metallic glasses is examined using molecular dynamics simulations. We study the three-dimensional binary mixture, which was first relaxed near the glass transition temperature, and then rapidly cooled deep into the glass phase. It was found that glasses prepared at higher annealing temperatures are relocated to higher energy states and their average glass structure remains more disordered, as reflected in the shape of the pair correlation function. The results of mechanical testing demonstrate that both the shear modulus and yielding peak increase significantly when the annealing temperature approaches $T_g$ from above. Moreover, the shear modulus becomes a strong function of strain rate only for samples equilibrated at sufficiently high temperatures. Based on the spatial distribution of nonaffine displacements, we show that the deformation mode changes from brittle to ductile upon increasing annealing temperature. These results can be useful for the design and optimization of the fabrication processes of bulk glassy alloys with improved plasticity.


title: On Sullivan's construction of eigenfunctions via exit times of Brownian motion

abstract: The purpose of this note is to give details for an argument of Sullivan to construct eigenfunctions of the Laplacian on a Riemannian manifold using exit times of Brownian motion \cite{sullivanpos}. Let $X$ be a complete, simply connected Riemannian manifold of pinched negative sectional curvature. Let $\lambda_1 = \lambda_1(X) < 0$ be the supremum of the spectrum of the Laplacian on $L^2(X)$, and let $D \subset X$ be a bounded domain in $X$ with smooth boundary. Let $(B_t)_{t \geq 0}$ be Brownian motion on $X$ and let $\tau = \tau_D$ be the first exit time of Brownian motion from $D$. For each $\lambda \in \mathbb{C}$ with $\hbox{Re } \ \lambda > \lambda_1$ and $x \in D$, we show that for any continuous function $\phi : \partial D \to \mathbb{C}$, the function $$ h(x) = \mathbb{E}_x(e^{-\lambda \tau} \phi(B_{\tau})) \ , \ x \in D, $$ is an eigenfunction of the Laplacian on $D$ with eigenvalue $\lambda$ and boundary value $\phi$.


title: 125-211 GHz Low Noise MMIC Amplifier Design for Radio Astronomy

abstract: To achieve the low noise and wide bandwidth required for millimeter wavelength astronomy applications, superconductor-insulator-superconductor (SIS) mixer based receiver systems have typically been used. This paper investigates the performance of high electron mobility transistor (HEMT) based low noise amplifiers (LNAs) as an alternative approach for systems operating in the 125 - 211 GHz frequency range. A four-stage, common-source, unconditionally stable monolithic microwave integrated circuit (MMIC) design is presented using the state-of-the-art 35 nm indium phosphide HEMT process from Northrop Grumman Corporation. The simulated MMIC achieves noise temperature (Te) lower than 58 K across the operational bandwidth, with average Te of 38.8 K (corresponding to less than 5 times the quantum limit (hf/k) at 170 GHz) and forward transmission of 20.5 +/- 0.85 dB. Input and output reflection coefficients are better than -6 and -12 dB, respectively, across the desired bandwidth. To the authors knowledge, no LNA currently operates across the entirety of this frequency range. Successful fabrication and implementation of this LNA would challenge the dominance SIS mixers have on sub-THz receivers.


title: On the existence of paradoxical motions of generically rigid graphs on the sphere

abstract: We interpret realizations of a graph on the sphere up to rotations as elements of a moduli space of curves of genus zero. We focus on those graphs that admit an assignment of edge lengths on the sphere resulting in a flexible object. Our interpretation of realizations allows us to provide a combinatorial characterization of these graphs in terms of the existence of particular colorings of the edges. Moreover, we determine necessary relations for flexibility between the spherical lengths of the edges. We conclude by classifying all possible motions on the sphere of the complete bipartite graph with $3+3$ vertices where no two vertices coincide or are antipodal.


title: Data informativity: a new perspective on data-driven analysis and control

abstract: The use of persistently exciting data has recently been popularized in the context of data-driven analysis and control. Such data have been used to assess system theoretic properties and to construct control laws, without using a system model. Persistency of excitation is a strong condition that also allows unique identification of the underlying dynamical system from the data within a given model class. In this paper, we develop a new framework in order to work with data that are not necessarily persistently exciting. Within this framework, we investigate necessary and sufficient conditions on the informativity of data for several data-driven analysis and control problems. For certain analysis and design problems, our results reveal that persistency of excitation is not necessary. In fact, in these cases data-driven analysis/control is possible while the combination of (unique) system identification and model-based control is not. For certain other control problems, our results justify the use of persistently exciting data as data-driven control is possible only with data that are informative for system identification.


title: Answering Complex Questions by Joining Multi-Document Evidence with Quasi Knowledge Graphs

abstract: Direct answering of questions that involve multiple entities and relations is a challenge for text-based QA. This problem is most pronounced when answers can be found only by joining evidence from multiple documents. Curated knowledge graphs (KGs) may yield good answers, but are limited by their inherent incompleteness and potential staleness. This paper presents QUEST, a method that can answer complex questions directly from textual sources on-the-fly, by computing similarity joins over partial results from different documents. Our method is completely unsupervised, avoiding training-data bottlenecks and being able to cope with rapidly evolving ad hoc topics and formulation style in user questions. QUEST builds a noisy quasi KG with node and edge weights, consisting of dynamically retrieved entity names and relational phrases. It augments this graph with types and semantic alignments, and computes the best answers by an algorithm for Group Steiner Trees. We evaluate QUEST on benchmarks of complex questions, and show that it substantially outperforms state-of-the-art baselines.


title: On variational iterative methods for semilinear problems

abstract: This paper presents an iterative method suitable for inverting semilinear problems which are important kernels in many numerical applications. The primary idea is to employ a parametrization that is able to reduce semilinear problems into linear systems which are solvable using fast Poisson solvers. Theoretical justifications are provided and supported by several experiments. Numerical results show that the method is not only computationally less expensive, but also yields accurate approximations.


title: IAEA Photonuclear Data Library 2019

abstract: Photo-induced reaction cross section data are of importance for a variety of current or emerging applications, such as radiation shielding design and radiation transport analyses, calculations of absorbed dose in the human body during radiotherapy, physics and technology of fission reactors (influence of photo-reactions on neutron balance) and fusion reactors (plasma diagnostics and shielding), activation analyses, safeguards and inspection technologies, nuclear waste transmutation, medical isotope production and astrophysical applications. Since the release of the IAEA Photonuclear Data Library in 1999 however, new experimental data as well as new methods to assess the reliability of experimental cross sections have become available. Theoretical models and input parameters used to evaluate photo-induced reactions have improved significantly over the years. In addition, new measurements of partial photoneutron cross sections using mono-energetic photon beams and advanced neutron detection systems have been performed allowing for the validation of the evaluations and assessments of the experimental data. Furthermore, technological advances have led to the construction of new and more powerful gamma-beam facilities, therefore new data needs are emerging. We report our coordinated efforts to address these data needs and present the results of the new evaluations of more than 200 nuclides included in the new updated IAEA Photonuclear Data Library, where the photon energy goes up to 200 MeV. We discuss the new assessment method and make recommendations to the user community in cases where the experimental data are discrepant and the assessments disagree. In addition, in the absence of experimental data, we present model predictions for photo-induced reaction cross section on nuclides of potential interest to medical radioisotope production.


title: On Translation Lengths of Anosov Maps on Curve Graph of Torus

abstract: We show that an Anosov map has a geodesic axis on the curve graph of a torus. The direct corollary of our result is the stable translation length of an Anosov map on the curve graph is always a positive integer. As the proof is constructive, we also provide an algorithm to calculate the exact translation length for any given Anosov map. The application of our result is threefold: (a) to determine which word realizes the minimal translation length on the curve graph within a specific class of words, (b) to establish the effective bound on the ratio of translation lengths of an Anosov map on the curve graph to that on Teichm\"uller space, and (c) to estimate the overall growth of the number of Anosov maps which have a sufficient number of Anosov maps with the same translation length.


title: A Survey on Deep Learning of Small Sample in Biomedical Image Analysis

abstract: The success of deep learning has been witnessed as a promising technique for computer-aided biomedical image analysis, due to end-to-end learning framework and availability of large-scale labelled samples. However, in many cases of biomedical image analysis, deep learning techniques suffer from the small sample learning (SSL) dilemma caused mainly by lack of annotations. To be more practical for biomedical image analysis, in this paper we survey the key SSL techniques that help relieve the suffering of deep learning by combining with the development of related techniques in computer vision applications. In order to accelerate the clinical usage of biomedical image analysis based on deep learning techniques, we intentionally expand this survey to include the explanation methods for deep models that are important to clinical decision making. We survey the key SSL techniques by dividing them into five categories: (1) explanation techniques, (2) weakly supervised learning techniques, (3) transfer learning techniques, (4) active learning techniques, and (5) miscellaneous techniques involving data augmentation, domain knowledge, traditional shallow methods and attention mechanism. These key techniques are expected to effectively support the application of deep learning in clinical biomedical image analysis, and furtherly improve the analysis performance, especially when large-scale annotated samples are not available. We bulid demos at https://github.com/PengyiZhang/MIADeepSSL.


title: A cross-context look at upper-division student difficulties with integration

abstract: We investigate upper-division student difficulties with direct integration in multiple contexts involving the calculation of a potential from a continuous distribution (e.g., mass, charge, or current). Integration is a tool that has been historically studied at several different points in the curriculum including introductory and upper-division levels. We build off of these prior studies and contribute additional data around student difficulties with multi-variable integration at two new points in the curriculum: middle-division classical mechanics, and upper-division magnetostatics. To facilitate comparisons across prior studies as well as the current work, we utilize an analytical framework that focuses on how students activate, construct, execute, and reflect on mathematical tools during physics problem solving (i.e., the ACER framework). Using a mixed-methods approach involving coded exam solutions and student problem-solving interviews, we identify and compare students' difficulties in these two different context and relate them to what has been found previously in other levels and contexts. We find that some of the observed student difficulties were persistent accross all three contexts (e.g., identifying integration as the appropriate tool, and expressing the difference vector), while other difficulties seemed to fade as students advanced through the curriculum (e.g., expressing differential line, area, and volume elements). We also identified new difficulties that appear in different contexts (e.g., interpreting and expressing the current density).


title: Semantic Concept Spaces: Guided Topic Model Refinement using Word-Embedding Projections

abstract: We present a framework that allows users to incorporate the semantics of their domain knowledge for topic model refinement while remaining model-agnostic. Our approach enables users to (1) understand the semantic space of the model, (2) identify regions of potential conflicts and problems, and (3) readjust the semantic relation of concepts based on their understanding, directly influencing the topic modeling. These tasks are supported by an interactive visual analytics workspace that uses word-embedding projections to define concept regions which can then be refined. The user-refined concepts are independent of a particular document collection and can be transferred to related corpora. All user interactions within the concept space directly affect the semantic relations of the underlying vector space model, which, in turn, change the topic modeling. In addition to direct manipulation, our system guides the users' decision-making process through recommended interactions that point out potential improvements. This targeted refinement aims at minimizing the feedback required for an efficient human-in-the-loop process. We confirm the improvements achieved through our approach in two user studies that show topic model quality improvements through our visual knowledge externalization and learning process.


title: Anomalous quartic term in the expansion of the symmetry energy

abstract: The quartic term in the framework of relativistic mean field theory with inclusion of scalar meson interactions is investigated. It is shown that the quartic term in the asymmetric expansion of nuclear matter energy may reach very large values. This makes the even power expansion of asymmetry questionable and suggests possible non-analytic contributions to the energy of matter.


title: Jackknife Empirical Likelihood Approach for K-sample Tests

abstract: The categorical Gini correlation is an alternative measure of dependence between a categorical and numerical variables, which characterizes the independence of the variables. A nonparametric test for the equality of K distributions has been developed based on the categorical Gini correlation. By applying the jackknife empirical likelihood approach, the standard limiting chi-square distribution with degree freedom of $K-1$ is established and is used to determine critical value and $p$-value of the test. Simulation studies show that the proposed method is competitive to existing methods in terms of power of the tests in most cases. The proposed method is illustrated in an application on a real data set.


title: A Unified Point-Based Framework for 3D Segmentation

abstract: 3D point cloud segmentation remains challenging for structureless and textureless regions. We present a new unified point-based framework for 3D point cloud segmentation that effectively optimizes pixel-level features, geometrical structures and global context priors of an entire scene. By back-projecting 2D image features into 3D coordinates, our network learns 2D textural appearance and 3D structural features in a unified framework. In addition, we investigate a global context prior to obtain a better prediction. We evaluate our framework on ScanNet online benchmark and show that our method outperforms several state-of-the-art approaches. We explore synthesizing camera poses in 3D reconstructed scenes for achieving higher performance. In-depth analysis on feature combinations and synthetic camera pose verify that features from different modalities benefit each other and dense camera pose sampling further improves the segmentation results.


title: One Powell generator is redundant

abstract: In 1980 J. Powell proposed that five specific elements sufficed to generate the Goeritz group of any Heegaard splitting of $S^3$. This conjecture remains unresolved for genus $g \geq 4$. Here a short argument shows that one of his proposed generators is redundant, in fact a consequence of three of the other four.


title: The CLASS 150/220 GHz Polarimeter Array: Design, Assembly, and Characterization

abstract: We report on the development of a polarization-sensitive dichroic (150/220 GHz) detector array for the Cosmology Large Angular Scale Surveyor (CLASS) delivered to the telescope site in June 2019. In concert with existing 40 and 90 GHz telescopes, the 150/220 GHz telescope will make observations of the cosmic microwave background over large angular scales aimed at measuring the primordial B-mode signal, the optical depth to reionization, and other fundamental physics and cosmology. The 150/220 GHz focal plane array consists of three detector modules with 1020 transition edge sensor (TES) bolometers in total. Each dual-polarization pixel on the focal plane contains four bolometers to measure the two linear polarization states at 150 and 220 GHz. Light is coupled through a planar orthomode transducer (OMT) fed by a smooth-walled feedhorn array made from an aluminum-silicon alloy (CE7). In this work, we discuss the design, assembly, and in-lab characterization of the 150/220 GHz detector array. The detectors are photon-noise limited, and we estimate the total array noise-equivalent power (NEP) to be 2.5 and 4 aW$\sqrt{\mathrm{s}}$ for 150 and 220 GHz arrays, respectively.


title: How Can Smart Buildings Be Price-Responsive?

abstract: The prospective participation of smart buildings in the electricity system is strongly related to the increasing active role of demand-side resources in the electrical grid. In addition, the growing penetration of smart meters and recent advances on home automation technologies will spur the development of new mathematical tools to help optimize the local resources of these buildings. Within this context, this paper first provides a comprehensive model to determine the electrical consumption of a single-zone household based on economic model predictive control. The goal of this problem is to minimize the electricity consumption cost while accounting for the heating dynamics of the building, smart home appliances, and comfort constraints. This paper then identifies and analyzes the key parameters responsible for the price-responsive behaviour of smart households.


title: Adaptive Conditional Bias-Penalized Kalman Filter for Improved Estimation of Extremes and its Approximation for Reduced Computation

abstract: In many signal processing applications of Kalman filter (KF) and its variants and extensions, accurate estimation of extreme states is often of great importance. When the observations used are uncertain, however, KF suffers from conditional bias (CB) which results in consistent under- and overestimation of extremes in the right and left tails, respectively. Recently, CB-penalized KF, or CBPKF, has been developed to address CB. In this paper, we present an alternative formulation based on variance-inflated KF to reduce computation and algorithmic complexity, and describe adaptive implementation to improve unconditional performance. For theoretical basis and context, we also provide a complete self-contained description of CB-penalized Fisher-like estimation and CBPKF. The results from 1-dimensional synthetic experiments for a linear system with varying degrees of nonstationarity show that adaptive CBPKF reduces root mean square error at the extreme tail ends by 20 to 30% over KF while performing comparably to KF in the unconditional sense. The alternative formulation is found to approximate the original formulation very closely while reducing computing time to 1.5 to 3.5 times of that for KF depending on the dimensionality of the problem. Adaptive CBPKF hence offers a significant addition to the dynamic filtering methods for general application in signal processing when accurate estimation of extremes is of importance.


title: Convergence of stochastic nonlinear systems and implications for Stochastic Model Predictive Control

abstract: The stability of stochastic Model Predictive Control (MPC) subject to additive disturbances is often demonstrated in the literature by constructing Lyapunov-like inequalities that ensure closed-loop performance bounds and boundedness of the state, but tight ultimate bounds for the state and non-conservative performance bounds are typically not determined. In this work we use an input-to-state stability property to find conditions that imply convergence with probability 1 of a disturbed nonlinear system to a minimal robust positively invariant set. We discuss implications for the convergence of the state and control laws of stochastic MPC formulations, and we prove convergence results for several existing stochastic MPC formulations for linear and nonlinear systems.


title: Evolution of the nematic susceptibility in LaFe$_{1-x}$Co$_x$AsO

abstract: The identification of electronic nematicity across series of iron-based superconductors raises the question of its relationship with superconductivity and other ordered states. Here, we report a systematic elastoresistivity study on LaFe$_{1-x}$Co$_x$AsO single crystals, which have well separated structural and magnetic transition lines. All crystals show Curie-Weiss-like nematic susceptibility in the tetragonal phase. The extracted nematic temperature is monotonically suppressed upon cobalt doping, and changes sign around the optimal doping level, indicating a possible nematic quantum critical point beneath the superconducting dome. The amplitude of nematic susceptibility shows a peculiar double-peak feature. This could be explained by a combined effect of different contributions to the nematic susceptibility, which are amplified at separated doping levels of LaFe$_{1-x}$Co$_x$AsO.


title: Learning to Adapt Invariance in Memory for Person Re-identification

abstract: This work considers the problem of unsupervised domain adaptation in person re-identification (re-ID), which aims to transfer knowledge from the source domain to the target domain. Existing methods are primary to reduce the inter-domain shift between the domains, which however usually overlook the relations among target samples. This paper investigates into the intra-domain variations of the target domain and proposes a novel adaptation framework w.r.t. three types of underlying invariance, i.e., Exemplar-Invariance, Camera-Invariance, and Neighborhood-Invariance. Specifically, an exemplar memory is introduced to store features of samples, which can effectively and efficiently enforce the invariance constraints over the global dataset. We further present the Graph-based Positive Prediction (GPP) method to explore reliable neighbors for the target domain, which is built upon the memory and is trained on the source samples. Experiments demonstrate that 1) the three invariance properties are indispensable for effective domain adaptation, 2) the memory plays a key role in implementing invariance learning and improves the performance with limited extra computation cost, 3) GPP could facilitate the invariance learning and thus significantly improves the results, and 4) our approach produces new state-of-the-art adaptation accuracy on three re-ID large-scale benchmarks.


title: Galerkin-Ivanov transformation for nonsmooth modeling of vibro-impacts in continuous structures

abstract: This work deals with the modeling of nonsmooth vibro-impact motion of a continuous structure against a rigid distributed obstacle. Galerkin's approach is used to approximate the solutions of the governing partial differential equations of the structure, which results in a system of ordinary differential equations (ODEs). When these ODEs are subjected to unilateral constraints and velocity jump conditions, one must use an event detection algorithm to calculate the time of impact accurately. Event detection in the presence of multiple simultaneous impacts is a computationally demanding task. Ivanov proposed a nonsmooth transformation for a vibro-impacting multi-degree-of-freedom system subjected to a single unilateral constraint. This transformation eliminates the unilateral constraints from the problem and, therefore, no event detection is required during numerical integration. Ivanov used his transformation to make analytical calculations for the stability and bifurcations of vibro-impacting motions; however, he did not explore its application for simulating distributed collisions in spatially continuous structures. We adopt Ivanov's transformation to deal with multiple unilateral constraints in spatially continuous structures. Also, imposing the velocity jump conditions exactly in the modal coordinates is nontrivial and challenging. Therefore, in this work we use a modal-physical transformation to convert the system from modal to physical coordinates on a spatially discretized grid. We then apply Ivanov's transformation on the physical system to simulate the vibro-impact motion of the structure. The developed method is demonstrated by modeling the distributed collision of a nonlinear string against a rigid distributed surface. For validation, we compare our results with the well-known penalty approach.


title: A Partial Differential Equation for the Mean--Return-Time Phase of Planar Stochastic Oscillators

abstract: Stochastic oscillations are ubiquitous in many systems. For deterministic systems, the oscillator's phase has been widely used as an effective one-dimensional description of a higher dimensional dynamics, particularly for driven or coupled systems. Hence, efforts have been made to generalize the phase concept to the stochastic framework. One notion of phase due to Schwabedal and Pikovsky is based on the mean-return time (MRT) of the oscillator but has so far been described only in terms of a numerical algorithm. Here we develop the boundary condition by which the partial differential equation for the MRT has to be complemented in order to obtain the isochrons (lines of equal phase) of a two-dimensional stochastic oscillator, and rigorously establish the existence and uniqueness of the MRT isochron function (up to an additive constant). We illustrate the method with a number of examples: the stochastic heteroclinic oscillator (which would not oscillate in the absence of noise); the isotropic Stuart-Landau oscillator, the Newby-Schwemmer oscillator, and the Stuart-Landau oscillator with polarized noise. For selected isochrons we confirm by extensive stochastic simulations that the return time from an isochron to the same isochron (after one complete rotation) is always the mean first-passage time (irrespective of the initial position on the isochron). Put differently, we verify that Schwabedal and Pikovsky's criterion for an isochron is satisfied. In addition, we discuss how to extend the construction to arbitrary finite dimensions. Our results will enable development of analytical tools to study and compare different notions of phase for stochastic oscillators.


title: Some of Erd\H os' unconventional problems in number theory, thirty-four years later

abstract: We give an historical account, including recent progress, on some problems of Erd\H os in number theory.


title: On the extraction of power-law parts of the probability density functions in star-forming clouds

abstract: We present a new approach to extract the power-law part of a density/column-density probability density function (rho-pdf/N-pdf) in star-forming clouds. It is based on the mathematical method bPLFIT of Virkar & Clauset (2014) and assesses the power-law part of an arbitrary distribution, without any assumptions about the other part of this distribution. The slope and deviation point are derived as averaged values as the number of bins is varied. Neither parameter is sensitive to spikes and other local features of the tail. This adapted bPLFIT method is applied to two different sets of data from numerical simulations of star-forming clouds at scales 0.5 and 500 pc and displays rho-pdf and N-pdf evolution in agreement with a number of numerical and theoretical studies. Applied to Herschel data on the regions Aquila and Rosette, the method extracts pronounced power-law tails, consistent with those seen in simulations of evolved clouds.


title: The "Terrascope": On the Possibility of Using the Earth as an Atmospheric Lens

abstract: Distant starlight passing through the Earth's atmosphere is refracted by an angle of just over one degree near the surface. This focuses light onto a focal line starting at an inner (and chromatic) boundary out to infinity - offering an opportunity for pronounced lensing. It is shown here that the focal line commences at ~85% of the Earth-Moon separation, and thus placing an orbiting detector between here and one Hill radius could exploit this refractive lens. Analytic estimates are derived for a source directly behind the Earth (i.e. on-axis) showing that starlight is lensed into a thin circular ring of thickness $W H_{\Delta}/R$, yielding an amplification of $8 H_{\Delta}/W$, where $H_{\Delta}$ is the Earth's refractive scale height, $R$ is its geopotential radius and $W$ is the detector diameter. These estimates are verified through numerical ray-tracing experiments from optical to 30 micron light with standard atmospheric models. The numerical experiments are extended to include extinction from both a clear atmosphere and one with clouds. It is found that a detector at one Hill radius is least affected by extinction since lensed rays travel no deeper than 13.7 km, within the stratosphere and above most clouds. Including extinction, a 1 metre Hill radius 'terrascope' is calculated to produce an amplification of ~45,000 for a lensing timescale of ~20 hours. In practice, the amplification is likely halved in order to avoid daylight scattering i.e. 22,500 ($\Delta$mag=10.9) for $W=$1 metre, or equivalent to a 150 metre optical/infrared telescope.


title: On Cycle Transversals and Their Connected Variants in the Absence of a Small Linear Forest

abstract: A graph is $H$-free if it contains no induced subgraph isomorphic to $H$. We prove new complexity results for the two classical cycle transversal problems Feedback Vertex Set and Odd Cycle Transversal by showing that they can be solved in polynomial time on $(sP_1+P_3)$-free graphs for every integer $s\geq 1$. We show the same result for the variants Connected Feedback Vertex Set and Connected Odd Cycle Transversal. We also prove that the latter two problems are polynomial-time solvable on cographs; this was already known for Feedback Vertex Set and Odd Cycle Transversal. We complement these results by proving that Odd Cycle Transversal and Connected Odd Cycle Transversal are NP-complete on $(P_2+P_5,P_6)$-free graphs.