title: FastContext: an efficient and scalable implementation of the ConText algorithm

abstract: Objective: To develop and evaluate FastContext, an efficient, scalable implementation of the ConText algorithm suitable for very large-scale clinical natural language processing. Background: The ConText algorithm performs with state-of-art accuracy in detecting the experiencer, negation status, and temporality of concept mentions in clinical narratives. However, the speed limitation of its current implementations hinders its use in big data processing. Methods: We developed FastContext through hashing the ConText's rules, then compared its speed and accuracy with JavaConText and GeneralConText, two widely used Java implementations. Results: FastContext ran two orders of magnitude faster and was less decelerated by rule increase than the other two implementations used in this study for comparison. Additionally, FastContext consistently gained accuracy improvement as the rules increased (the desired outcome of adding new rules), while the other two implementations did not. Conclusions: FastContext is an efficient, scalable implementation of the popular ConText algorithm, suitable for natural language applications on very large clinical corpora.


title: AdaNet: A Scalable and Flexible Framework for Automatically Learning Ensembles

abstract: AdaNet is a lightweight TensorFlow-based (Abadi et al., 2015) framework for automatically learning high-quality ensembles with minimal expert intervention. Our framework is inspired by the AdaNet algorithm (Cortes et al., 2017) which learns the structure of a neural network as an ensemble of subnetworks. We designed it to: (1) integrate with the existing TensorFlow ecosystem, (2) offer sensible default search spaces to perform well on novel datasets, (3) present a flexible API to utilize expert information when available, and (4) efficiently accelerate training with distributed CPU, GPU, and TPU hardware. The code is open-source and available at: https://github.com/tensorflow/adanet.


title: The derivative of the Kardar-Parisi-Zhang equation is not in the KPZ universality class

abstract: The Kardar-Parisi-Zhang (KPZ) equation is a paradigmatic model of nonequilibrium low-dimensional systems with spatiotemporal scale invariance, recently highlighting universal behavior in fluctuation statistics. Its space derivative, namely the noisy Burgers equation, has played a very important role in its study, predating the formulation of the KPZ equation proper, and being frequently held as an equivalent system. We show that, while differences in the scaling exponents for the two equations are indeed due to a mere space derivative, the fluctuations behave in a remarkably different way: while KPZ displays Tracy-Widom statistics, its derivative displays Gaussian behavior, hence being in a different universality class. We reach this conclusion via direct numerical simulations of the equations, supported by a dynamic renormalization group analysis of field statistics.

categories: cond-mat.stat-mech cond-mat.dis-nn nlin.AO physics.data-an


title: On symmetries of Hamiltonians describing systems with arbitrary spins

abstract: We consider systems where dynamical variables are the generators of the SU(2) group. A subset of these Hamiltonians is exactly solvable using the Bethe ansatz techniques. We show that Bethe ansatz equations are equivalent to polynomial relationships between the operator invariants, or equivalently, between eigenvalues of those invariants.


title: Passive Tracer Dynamics in Slow-Bond Problem

abstract: Asymptotic Kardar-Parisi-Zhang (KPZ) properties are investigated in the totally asymmetric simple exclusion process (TASEP) with a localized geometric defect. In particular, we focus on the universal nature of nonequilibrium steady states of the modified TASEP. Since the original TASEP belongs to the KPZ universality class, it is mathematically and physically a quite interesting question whether the localized columnar defect, the slow bond (SB), is really always relevant to the KPZ universality or not. However, it is numerically controversial to address the possibility of the non-queued SB phase in the weak-strength SB limit. Based on the detailed statistical analysis of KPZ-type growing interfaces, we present a comprehensive view of the non-queue SB phase, compared to finite-size crossover effects that reported in our earlier work [Soh {\it et al.}, Phys. Rev. E {\bf 95}, 042123 (2017)]. Moreover, we employ two types of passive tracer dynamics as the probe of the SB dynamics. Finally, we provide intuitive arguments for additional clues to resolve the controversy of the SB problem.


title: A Probabilistic Approach for Demand-Aware Ride-Sharing Optimization

abstract: Ride-sharing is a modern urban-mobility paradigm with tremendous potential in reducing congestion and pollution. Demand-aware design is a promising avenue for addressing a critical challenge in ride-sharing systems, namely joint optimization of request-vehicle assignment and routing for a fleet of vehicles. In this paper, we develop a probabilistic demand-aware framework to tackle the challenge. We focus on maximizing the expected number of passenger pickups, given the probability distributions of future demands. The key idea of our approach is to assign requests to vehicles in a probabilistic manner. It differentiates our work from existing ones and allows us to explore a richer design space to tackle the request-vehicle assignment puzzle with a performance guarantee but still keeping the final solution practically implementable. The optimization problem is non-convex, combinatorial, and NP-hard in nature. As a key contribution, we explore the problem structure and propose an elegant approximation of the objective function to develop a dual-subgradient heuristic. We characterize a condition under which the heuristic generates a $\left(1-1/e\right)$ approximation solution. Our solution is simple and scalable, amendable for practical implementation. Results of numerical experiments based on real-world traces in Manhattan show that, as compared to a conventional demand-oblivious scheme, our demand-aware solution improves the passenger pickups by up to 46%. The results also show that joint optimization at the fleet level leads to 19% more pickups than that by separate optimizations at individual vehicles.


title: Regularity of elliptic and parabolic systems

abstract: We show uniqueness of cylindrical blowups for mean curvature flow in all dimension and all codimension. Cylindrical singularities are known to be the most important; they are the most prevalent in any codimension. Mean curvature flow in higher codimension is a nonlinear parabolic system where many of the methods used for hypersurfaces do not apply and uniqueness of cylindrical blowups remained a major open problem. Our results imply regularity of the singular set for the system.


title: Fourier-Mukai Transforms, Euler-Green Currents, and K-Stability

abstract: We provide an analog of the Hilbert-Chow morphism for generalized discriminants.


title: Curvature Blow-up in Doubly-warped Product Metrics Evolving by Ricci Flow

abstract: For any manifold $N^p$ admitting an Einstein metric with positive Einstein constant, we study the behavior of the Ricci flow on high-dimensional products $M = N^p \times S^{q+1}$ with doubly-warped product metrics. In particular, we provide a rigorous construction of local, type II, conical singularity formation on such spaces. It is shown that for any $k > 1$ there exists a solution with curvature blow-up rate $\| Rm \|_{\infty} (t) \gtrsim (T-t)^{-k}$ with singularity modeled on a Ricci-flat cone at parabolic scales.


title: Ballistic transport and boundary resistances in inhomogeneous quantum spin chains

abstract: Transport phenomena are central to physics, and transport in the many-body and fully-quantum regime is attracting an increasing amount of attention. It has been recently revealed that some quantum spin chains support ballistic transport of excitations at all energies. However, when joining two semi-infinite ballistic parts, such as the XX and XXZ spin-1/2 models, our understanding suddenly becomes less established. Employing a matrix-product-state ansatz of the wavefunction, we study the relaxation dynamics in this latter case. Here we show that it takes place inside a light cone, within which two qualitatively different regions coexist: an inner one with a strong tendency towards thermalization, and an outer one supporting ballistic transport. We comment on the possibility that even at infinite time the system supports stationary currents and displays a non-zero Kapitza boundary resistance. Our study paves the way to the analysis of the interplay between transport, integrability, and local defects.

categories: cond-mat.stat-mech cond-mat.dis-nn cond-mat.quant-gas cond-mat.str-el quant-ph


title: Generalized diffusion-wave equation with memory kernel

abstract: We study generalized diffusion-wave equation in which the second order time derivative is replaced by integro-differential operator. It yields time fractional and distributed order time fractional diffusion-wave equations as particular cases. We consider different memory kernels of the integro-differential operator, derive corresponding fundamental solutions, specify the conditions of their non-negativity and calculate mean squared displacement for all cases. In particular, we introduce and study generalized diffusion-wave equations with regularized Prabhakar derivative of single and distributed orders. The equations considered can be used for modeling broad spectrum of anomalous diffusion processes and various transitions between different diffusion regimes.


title: Explicit derivation of the Pauli spin matrices from the Jones vector

abstract: Using dyadic representations elaborated from vectors of Jones, and calculating relations of anti-commutation of these tensorial forms, we obtain in shape explicit the Pauli spin matrices.


title: Derandomization from Algebraic Hardness

abstract: A hitting-set generator (HSG) is a polynomial map $G:\mathbb{F}^k \to \mathbb{F}^n$ such that for all $n$-variate polynomials $C$ of small enough circuit size and degree, if $C$ is nonzero, then $C\circ G$ is nonzero. In this paper, we give a new construction of such an HSG assuming that we have an explicit polynomial of sufficient hardness. Formally, we prove the following over any field of characteristic zero: Let $k\in \mathbb{N}$ and $\delta > 0$ be arbitrary constants. Suppose $\{P_d\}_{d\in \mathbb{N}}$ is an explicit family of $k$-variate polynomials such that $\operatorname{deg} P_d = d$ and $P_d$ requires algebraic circuits of size $d^\delta$. Then, there are explicit hitting sets of polynomial size for $\mathsf{VP}$. This is the first HSG in the algebraic setting that yields a complete derandomization of polynomial identity testing (PIT) for general circuits from a suitable algebraic hardness assumption. As a direct consequence, we show that even saving a single point from the "trivial" explicit, exponential sized hitting sets for constant-variate polynomials of low individual degree which are computable by small circuits, implies a deterministic polynomial time algorithm for PIT. More precisely, we show the following: Let $k\in \mathbb{N}$ and $\delta > 0$ be arbitrary constants. Suppose for every $s$ large enough, there is an explicit hitting set of size at most $((s+1)^k - 1)$ for the class of $k$-variate polynomials of individual degree $s$ that are computable by size $s^\delta$ circuits. Then there is an explicit hitting set of size $\operatorname{poly}(s)$ for the class of $s$-variate polynomials, of degree $s$, that are computable by size $s$ circuits. As a consequence, we give a deterministic polynomial time construction of hitting sets for algebraic circuits, if a strengthening of the $\tau$-Conjecture of Shub and Smale is true.


title: Reproducible Research is more than Publishing Research Artefacts: A Systematic Analysis of Jupyter Notebooks from Research Articles

abstract: With the advent of Open Science, researchers have started to publish their research artefacts (i. e., data, software, and other products of the investigations) in order to allow others to reproduce their investigations. While this publication is beneficial for science in general, it often lacks a comprehensive documentation and completeness with respect to the artefacts. This, in turn, prevents the successful reproduction of the analyses. Typical examples are missing scripts, incomplete datasets or specification of used software. Moreover, issues about licences often create legal concerns. This is true for the use of commercial software but also for the publication of research artefacts without proper sharing licence. As a result, the sole publication of research artefacts does not automatically result in reproducible research. To empirically confirm this, we have been systematically analysing research publications that also published their investigations as Jupyter notebooks. In this paper, we present preliminary results of this analysis for five publications. The results show, that the quality of the published research artefacts must be improved in order to assure reproducibility.


title: Vertex-Constraints in 3D Higher Spin Theories

abstract: We analyse the constraints imposed by gauge invariance on higher-order interactions between massless bosonic fields in three-dimensional higher-spin gravities. We show that vertices of quartic and higher order that are independent of the cubic ones can only involve scalars and Maxwell fields. As a consequence, the full non-linear interactions of massless higher-spin fields are completely fixed by the cubic vertex.


title: Forget the Learning Rate, Decay Loss

abstract: In the usual deep neural network optimization process, the learning rate is the most important hyper parameter, which greatly affects the final convergence effect. The purpose of learning rate is to control the stepsize and gradually reduce the impact of noise on the network. In this paper, we will use a fixed learning rate with method of decaying loss to control the magnitude of the update. We used Image classification, Semantic segmentation, and GANs to verify this method. Experiments show that the loss decay strategy can greatly improve the performance of the model


title: Composite local low-rank structure in learning drug sensitivity

abstract: The molecular characterization of tumor samples by multiple omics data sets of different types or modalities (e.g. gene expression, mutation, CpG methylation) has become an invaluable source of information for assessing the expected performance of individual drugs and their combinations. Merging the relevant information from the omics data modalities provides the statistical basis for determining suitable therapies for specific cancer patients. Different data modalities may each have their specific structures that need to be taken into account during inference. In this paper, we assume that each omics data modality has a low-rank structure with only few relevant features that affect the prediction and we propose to use a composite local nuclear norm penalization for learning drug sensitivity. Numerical results show that the composite low-rank structure can improve the prediction performance compared to using a global low-rank approach or elastic net regression.


title: Isogeometric B\'ezier dual mortaring: The biharmonic problem

abstract: In this paper we develop an isogeometric B\'ezier dual mortar method for the biharmonic problem on multi-patch domains. The well-posedness of the discrete biharmonic problem requires a discretization with $C^1$ continuous basis functions. Hence, two Lagrange multipliers are required to apply both $C^0$ and $C^1$ continuity constraints on each intersection. The dual mortar method utilizes dual basis functions to discretize the Lagrange multiplier spaces. In order to preserve the sparsity of the coupled problem, we develop a dual mortar suitable $C^1$ constraint and utilize the B\'ezier dual basis to discretize the Lagrange multiplier spaces. The B\'ezier dual basis functions are constructed through B\'ezier projection and possess the same support size as the corresponding B-spline basis functions. We prove that this approach leads to a well-posed discrete problem and specify requirements to achieve optimal convergence. Although the B\'ezier dual basis is sub-optimal due to the lack of polynomial reproduction, our formulation successfully postpones the domination of the consistency error for practical problems. We verify the theoretical results and demonstrate the performance of the proposed formulation through several benchmark problems.


title: On Optimal Battery Sizing for Households Participating in Demand-Side Management Schemes

abstract: The smart grid with its two-way communication and bi-directional power layers is a cornerstone in the combat against global warming. It allows for the large scale adoption of distributed (individually-owned) renewable energy resources such as solar photovoltaic systems. Their intermittency poses a threat to the stability of the grid which can be addressed by the introduction of energy storage systems. Determining the optimal capacity of a battery has been an active area of research in recent years. In this research an in-depth analysis of the relation between optimal capacity, and demand and generation patterns is performed for households taking part in a community-wide demand-side management scheme. The scheme is based on a non-cooperative dynamic game approach in which participants compete for the lowest electricity bill by scheduling their energy storage systems. The results are evaluated based on self-consumption, the peak-to-average ratio of the aggregated load, and potential cost reductions. Furthermore, the difference between individually-owned batteries to a centralised community energy storage system serving the whole community is investigated.


title: Photon Acceleration in a Flying Focus

abstract: A high-intensity laser pulse propagating through a medium triggers an ionization front that can accelerate and frequency-upshift the photons of a second pulse. The maximum upshift is ultimately limited by the accelerated photons outpacing the ionization front or the ionizing pulse refracting from the plasma. Here we apply the flying focus--a moving focal point resulting from a chirped laser pulse focused by a chromatic lens--to overcome these limitations. Theory and simulations demonstrate that the ionization front produced by a flying focus can frequency-upshift an ultrashort optical pulse to the extreme ultraviolet over a centimeter of propagation. An analytic model of the upshift predicts that this scheme could be scaled to a novel table-top source of spatially coherent x-rays.


title: Some results on multithreshold graphs

abstract: Jamison and Sprague defined a graph $G$ to be a $k$-threshold graph with thresholds $\theta_1 , \ldots, \theta_k$ (strictly increasing) if one can assign real numbers $(r_v)_{v \in V(G)}$, called ranks, such that for every pair of vertices $v,w$, we have $vw \in E(G)$ if and only if the inequality $\theta_i \leq r_v + r_w$ holds for an odd number of indices $i$. When $k=1$ or $k=2$, the precise choice of thresholds $\theta_1, \ldots, \theta_k$ does not matter, as a suitable transformation of the ranks transforms a representation with one choice of thresholds into a representation with any other choice of thresholds. Jamison asked whether this remained true for $k \geq 3$ or whether different thresholds define different classes of graphs for such $k$, offering \$50 for a solution of the problem. Letting $C_t$ for $t > 1$ denote the class of $3$-threshold graphs with thresholds $-1, 1, t$, we prove that there are infinitely many distinct classes $C_t$, answering Jamison's question. We also consider some other problems on multithreshold graphs, some of which remain open.


title: Can dark energy be expressed as a power series of the Hubble parameter?

abstract: In this work we examine the possibility that the dark energy (DE) density, $\rho_{de}$ can be dynamical and appear as a power series expansion of the Hubble rate (and its derivatives), i.e.$\rho_{de}(H,\dot{H},...)$. For the present universe, however, only the terms $H$, $\dot{H}$ and $H^2$ can be relevant, together with an additive constant term. We fit these models to the current cosmological data on the main observables SNIa+$H(z)$+BAO+LSS+CMB+BBN. Our analysis involves both the background as well as the cosmic perturbation equations. The latter include, apart from the matter density perturbations, also the DE density perturbations. We assume that matter and dynamical DE are separately self-conserved. As a result the equation of state of the DE becomes a nontrivial function of the cosmological redshift, $w_D=w_D(z)$. The particular subset of DE models of this type having no additive constant term in $\rho_{de}$ include the so-called entropic-force and QCD-ghost DE models, as well as the pure linear model $\rho_{de} \sim H$ all of which are strongly disfavored in our fitting analysis. In contrast, the models that include the additive term plus one or both of the dynamical components $\dot{H}$ and $H^2$ appear more favored than the $\Lambda$CDM. In particular, the dynamical DE models provide a value of $\sigma_8\simeq 0.74-0.77$ which is substantially lower than that of the $\Lambda$CDM and hence more in accordance with the observations. This helps to significantly reduce the $\sigma_8$-tension in the structure formation data. At the same time the predicted value for $H_0$ is in between the local and Planck measurements, thus helping to alleviate this tension as well.


title: Quantitative Comparisons of Multiscale Geometric Properties

abstract: We generalize some characterizations of uniformly rectifiable (UR) sets to sets whose Hausdorff content is lower regular (and in particular, do not need to be Ahlfors regular). For example, David and Semmes showed that, given an Ahlfors $d$-regular set $E$, if we consider the set $\mathscr{B}$ of surface cubes (in the sense of Christ and David) near which $E$ does not look approximately like a union of planes, then $E$ is UR if and only if $\mathscr{B}$ satisfies a Carleson packing condition, that is, for any surface cube $R$, \[ \sum_{Q\subseteq R\atop Q\in \mathscr{B}} ({\rm diam} Q)^{d} \lesssim ({\rm diam} R)^{d}.\] We show that, for lower content regular sets that aren't necessarily Ahlfors regular, if $\beta_{E}(R)$ denotes the square sum of $\beta$-numbers over subcubes of $R$ as in the Traveling Salesman Theorem for higher dimensional sets [AS18], then \[ \mathscr{H}^{d}(R)+\sum_{Q\subseteq R\atop Q\in \mathscr{B}} ({\rm diam} Q)^{d}\sim \beta_{E}(R). \] We prove similar results for other uniform rectifiability critera, such as the Local Symmetry, Local Convexity, and Generalized Weak Exterior Convexity conditions. En route, we show how to construct a corona decomposition of any lower content regular set by Ahlfors regular sets, similar to the classical corona decomposition of UR sets by Lipschitz graphs developed by David and Semmes.


title: RG-2 flow and black hole entanglement entropy

abstract: We study the evolution of a metric of a two dimensional black hole under the second loop renormalization group fow, the RG-2 fow. Since the black hole metric is noncompact (we consider it asymptotically flat) we adapt some proofs for the compact case to the asymptotically flat case. We found that the appearance of horizons during the evolution is related to the condition of parabolicity of the flow. We also show that the entanglement entropy of a two dimensional black hole is monotonic under the RG-2 flow. We generalize the results obtained for the first loop approximation and discuss the implications for higher order loops.


title: Point-Particle Catalysis

abstract: We use the point-particle effective field theory (PPEFT) framework to describe particle-conversion mediated by a flavour-changing coupling to a point-particle. We do this for a toy model of two non-relativistic scalars coupled to the same point-particle, on which there is a flavour-violating coupling. It is found that the point-particle couplings all must be renormalized with respect to a radial cut-off near the origin, and it is an invariant of the flow of the flavour-changing coupling that is directly related to particle-changing cross-sections. At the same time, we find an interesting dependence of those cross-sections on the ratio k_out/k_in of the outgoing and incoming momenta, which can lead to a 1/k_in enhancement in certain regimes. We further connect this model to the case of a single-particle non-self-adjoint (absorptive) PPEFT, as well as to a PPEFT of a single particle coupled to a two-state nucleus. These results could be relevant for future calculations of any more complicated reactions, such as nucleus-induced electron-muon conversions, monopole catalysis of baryon number violation, as well as nuclear transfer reactions.


title: A new object-oriented framework for solving multiphysics problems via combination of different numerical methods

abstract: Many interesting phenomena are characterized by the complex interaction of different physical processes, each often best modeled numerically via a specific approach. In this paper, we present the design and implementation of an object-oriented framework for performing multiphysics simulations that allows for the monolithic coupling of different numerical schemes. In contrast, most of the currently available simulation tools are tailored towards a specific numerical model, so that one must resort to coupling different codes externally based on operator splitting. The current framework has been developed following the C++11 standard, and its main aim is to provide an environment that affords enough flexibility for developers to implement complex models while at the same time giving end users a maximum amount of control over finer details of the simulation without having to write additional code. The main challenges towards realizing these objectives are discussed in the paper, together with the manner in which they are addressed. Along with core objects representing the framework skeleton, we present the various polymorphic classes that may be utilized by developers to implement new formulations, material models and solution algorithms. The code architecture is designed to allow achievement of the aforementioned functionalities with a minimum level of inheritance in order to improve the learning curve for programmers who are not acquainted with the software. Key capabilities of the framework are demonstrated via the solution of numerical examples dealing on composite torsion, Biot poroelasticity (featuring a combined finite element-finite volume formulation), and brittle crack propagation using a phase-field approach.


title: High-dimensional variable selection via low-dimensional adaptive learning

abstract: A stochastic search method, the so-called Adaptive Subspace (AdaSub) method, is proposed for variable selection in high-dimensional linear regression models. The method aims at finding the best model with respect to a certain model selection criterion and is based on the idea of adaptively solving low-dimensional sub-problems in order to provide a solution to the original high-dimensional problem. Any of the usual $\ell_0$-type model selection criteria can be used, such as Akaike's Information Criterion (AIC), the Bayesian Information Criterion (BIC) or the Extended BIC (EBIC), with the last being particularly suitable for high-dimensional cases. The limiting properties of the new algorithm are analysed and it is shown that, under certain conditions, AdaSub converges to the best model according to the considered criterion. In a simulation study, the performance of AdaSub is investigated in comparison to alternative methods. The effectiveness of the proposed method is illustrated via various simulated datasets and a high-dimensional real data example.


title: Noise spectra in the reversible-irreversible transition in amorphous solids under oscillatory driving

abstract: We study the stress fluctuations in simulations of a two-dimensional amorphous solid under a cyclic drive. It is known that this system organizes into a reversible state for small driving amplitudes and remains in an irreversible state for high driving amplitudes, and that a critical driving amplitude separates the two regimes. Here we study the time series of the stress fluctuations below and above the reversible-irreversible transition. In the irreversible regime above the transition, the power spectrum of the stress fluctuations is broad and has a $1/f^{\alpha}$ shape with $1< \alpha <2$. We find that the low frequency noise power peaks near the stress at which dc yielding occurs, which is consistent with the behavior expected in systems undergoing a non-equilibrium phase transition.


title: Statistical Learning for Probability-Constrained Stochastic Optimal Control

abstract: We investigate Monte Carlo based algorithms for solving stochastic control problems with probabilistic constraints. Our motivation comes from microgrid management, where the controller tries to optimally dispatch a diesel generator while maintaining low probability of blackouts. The key question we investigate are empirical simulation procedures for learning the admissible control set that is specified implicitly through a probability constraint on the system state. We propose a variety of relevant statistical tools including logistic regression, Gaussian process regression, quantile regression and support vector machines, which we then incorporate into an overall Regression Monte Carlo (RMC) framework for approximate dynamic programming. Our results indicate that using logistic or Gaussian process regression to estimate the admissibility probability outperforms the other options. Our algorithms offer an efficient and reliable extension of RMC to probability-constrained control. We illustrate our findings with two case studies for the microgrid problem.


title: Semimartingale dynamics and estimation for a semi-Markov chain

abstract: We consider a finite state discrete time process X. Without loss of generality the finite state space can be identified with the set of unit vectors {e1, e2, . . . , eN} with ei = (0, . . . , 0, 1, 0, . . . , 0)0 2 RN. For a Markov chain the times the process stays in any state are geometrically distributed. This condition is relaxed for a semi-Markov chain. We first derive the semimartingale dynamics for a semi-Markov chain. We then consider the situation where the chain is observed in noise. We suggest how to estimate the occupation times in the states and derive filters and smoothers for quantities associated with the chain.


title: Computing the hull number in toll convexity

abstract: A walk $W$ between vertices $u$ and $v$ of a graph $G$ is called a {\em tolled walk between $u$ and $v$} if $u$, as well as $v$, has exactly one neighbour in $W$. A set $S \subseteq V(G)$ is {\em toll convex} if the vertices contained in any tolled walk between two vertices of $S$ are contained in $S$. The {\em toll convex hull of $S$} is the minimum toll convex set containing~$S$. The {\em toll hull number of $G$} is the minimum cardinality of a set $S$ such that the toll convex hull of $S$ is $V(G)$. The main contribution of this work is an algorithm for computing the toll hull number of a general graph in polynomial time.


title: A Study of the PDF uncertainty on the LHC W-boson mass measurement

abstract: The determination of the $W$-boson mass through an analysis of the decay charged-lepton transverse momentum distribution has a sizable uncertainty due to the imperfect knowledge of the relevant parton distribution functions (PDFs). In this paper, a quantitative assessment of the $W$-boson mass uncertainty at the LHC resulting from the PDF uncertainty is examined. We use the CT14 NNLO PDFs with a NNLL + NNLO calculation (ResBos) to simulate the $W$-boson production and decay kinematics. The uncertainty of the $W$-boson mass determination is then determined as a function of the boson and lepton kinematics. For $W^{+}$ production using $P_{T}^{W} < 15$ GeV and $35 < P_{T}^{l}$ (GeV) $< 45$, PDF uncertainties (at the 68% CL) of $^{+16.0}_{-17.5}$ MeV, $^{+13.9}_{-14.8}$ MeV, and $^{+12.2}_{-19.2}$ MeV, are determined at 7 TeV, 8 TeV and 13 TeV respectively. The uncertainties of $W^{-}$ for the same cuts are found to be $^{+15.9}_{-15.6}$ MeV, $^{+15.0}_{-12.7}$ MeV and $^{+14.8}_{-15.3}$ MeV, at 7 TeV, 8 TeV and 13 TeV respectively.


title: Universal Mutual Information Privacy Guarantees for Smart Meters

abstract: Smart meters enable improvements in electricity distribution system efficiency at some cost in customer privacy. Users with home batteries can mitigate this privacy loss by applying charging policies that mask their underlying energy use. A battery charging policy is proposed and shown to provide universal privacy guarantees subject to a constraint on energy cost. The guarantee bounds our strategy's maximal information leakage from the user to the utility provider under general stochastic models of user energy consumption. The policy construction adapts coding strategies for non-probabilistic permuting channels to this privacy problem.


title: Semitransparent Polymer-Based Solar Cells with Aluminum-Doped Zinc Oxide Electrodes

abstract: With the usage of two transparent electrodes, organic solar cells are semitransparent and may be combined to parallel-connected multi-junction devices or used for innovative applications like power-generating windows. A challenging issue is the optimization of the electrodes, in order to combine high transparency with adequate electric properties. In the present work, we study the potential of sputter-deposited aluminum-doped zinc oxide (AZO) as an alternative to the widely used but relatively expensive indium tin oxide (ITO) as cathode material in semitransparent polymer-fullerene solar cells. Concerning the anode, we utilized an insulator/metal/insulator structure based on ultra-thin Au films embedded between two evaporated MoO$_3$ layers, with the outer MoO$_3$ film (capping layer) serving as a light coupling layer. The performance of the ITO-free semitransparent solar cells is systematically studied as dependent on the thickness of the capping layer and the active layer, as well as the illumination direction. These variations are found to have strong impact on the obtained photocurrent. We performed optical simulations of the electric field distribution within the devices to analyze the origin of the current variations and provide deep insight in the device physics. With the conventional absorber materials studied herein, optimized ITO-free and semitransparent devices reached 2.0% power conversion efficiency and a maximum optical transmission of 60%, with the device concept being potentially transferable to other absorber materials.


title: The effect of perturbations of frames on their alternate and approximately dual frames

abstract: Approximately dual frames as a generalization of duality notion in Hilbert spaces have applications in Gabor systems, wavelets, coorbit theory and sensor modeling. In recent years, the computing of the associated deviations of the canonical and alternate dual frames from the original ones has been considered by some authors. However, the quantitative measurement of the associated deviations of the alternate and approximately dual frames from the original ones has not been satisfactorily answered. In this paper, among other things, it is proved that if the sequence $\Psi=(\psi_n)_n$ is sufficiently close to the frame $\Phi=(\varphi_n)_n$, then $\Psi$ is a frame for $\mathcal H$ and approximately dual frames $\Phi^{ad}=(\varphi^{ad}_n)_n$ and $\Psi^{ad}=(\psi^{ad}_n)_n$ can be found which are close to each other and particularly, we estimate the deviation from perfect reconstruction in terms of the operator ${\mathcal A}_1:=T_\Phi U_{\Phi^{ad}}$ and ${\mathcal A}_2:=T_\Psi U_{\Psi^{ad}}$ and their approximation rates, where $T_X$ and $U_X$ denote the synthesis and analysis operators of the frame $X$, respectively. Finally, we demonstrate how our results apply in the practical case of Gabor systems. It is worth mentioning that some of our perturbation conditions are quite different from those used in the previous literatures on this topic.


title: Static Perfect Fluids With Symmetries

abstract: In this paper we utilize symmetries in order to exhibit exact solutions to Einstein's equation of a perfect fluid on a static manifold all of whose spatial factor belongs to the conformal class of a Riemannian space of constant curvature.


title: A Performance Evaluation Tool for Drone Communications in 4G Cellular Networks

abstract: We introduce a measurement tool for the performance evaluation of wireless communications with drones over cellular networks. The Android software records various LTE parameters, evaluates the TCP and UDP throughput, and tracks the GPS position. Example measurement results are presented.


title: SCFTs, Holography, and Topological Strings

abstract: We show that the non-gravitational sectors of certain 6d and 5d supergravity theories can be decomposed into superconformal field theories (SCFTs) which are coupled together by pairwise identifying and gauging mutual global symmetries. In the case of 6d supergravity, we consider F-theory on compact elliptic Calabi-Yau 3-folds with base $B=T^4/\mathbb{Z}_n\times \mathbb{Z}_m$ and we show in many examples that the non-gravitational field theory sectors can be described as configurations of coupled 6d $(1,0)$ SCFTs. We also conjecture that the effective 2d $(0,4)$ SCFTs living on the self-dual strings of the 6d theories lead to holographically dual descriptions of type IIB string theory on $AdS_3\times S^3\times B$ and moreover that their elliptic genera can be used to compute the degeneracies of 5d spinning BPS black holes along with all-genus topological string amplitudes on the corresponding compact 3-fold. In the case of 5d supergravity, we consider M-theory on compact Calabi-Yau 3-folds and using similar ideas as in the 6d case we show the complete non-gravitational sector of 5d supergravity theories can be decomposed into coupled 5d $\mathcal{N}=1$ SCFTs. Furthermore, using this picture we propose a generalized topological vertex formalism which, excluding some curve classes, seems to capture all-genus topological string amplitudes for the mirror quintic.


title: Assessing temporal complementarity between three variable energy sources by means of correlation and compromise programming

abstract: Renewable energies are deployed worldwide to mitigate climate change and push power systems towards sustainability. However, the weather-dependent nature of renewable energy sources often hinders their integration to national grids. Combining different sources to profit from beneficial complementarity has often been proposed as a partial solution to overcome these issues. This paper introduces a novel method for quantifying total temporal energetic complementarity between three different variable renewable sources, based on well-known mathematical techniques: correlation coefficients and compromise programming. It has the major advantage of allowing the simultaneous assessment of partial and total complementarity. The method is employed to study the complementarity of wind, solar and hydro resources on different temporal scales in a region of Poland. Results show that timescale selection has a determinant impact on the total temporal complementarity.


title: Using Non-Linear Difference Equations to Study Quicksort Algorithms

abstract: Using non-linear difference equations, combined with symbolic computations, we make a detailed study of the running times of numerous variants of the celebrated Quicksort algorithms, where we consider the variants of single-pivot and multi-pivot Quicksort algorithms as discrete probability problems. With non-linear difference equations, recurrence relations and experimental mathematics techniques, explicit expressions for expectations, variances and even higher moments of their numbers of comparisons and swaps can be obtained. For some variants, Monte Carlo experiments are performed, the numerical results are demonstrated and the scaled limiting distribution is also discussed.


title: Orbital character effects in the photon energy and polarization dependence of pure C60 photoemission

abstract: Recent direct experimental observation of multiple highly-dispersive C$_{60}$ valence bands has allowed for a detailed analysis of the unique photoemission traits of these features through photon energy- and polarization-dependent measurements. Previously obscured dispersions and strong photoemission traits are now revealed by specific light polarizations. The observed intensity effects prove the locking in place of the C$_{60}$ molecules at low temperatures and the existence of an orientational order imposed by the substrate chosen. Most importantly, photon energy- and polarization-dependent effects are shown to be intimately linked with the orbital character of the C$_{60}$ band manifolds which allows for a more precise determination of the orbital character within the HOMO-2. Our observations and analysis provide important considerations for the connection between molecular and crystalline C$_{60}$ electronic structure, past and future band structure studies, and for increasingly popular C$_{60}$ electronic device applications, especially those making use of heterostructures.


title: Slim accretion disks: theory and observational consequences

abstract: Slim accretion disks idea emerged over 30 years ago as an answer to several unsolved problems. Since that time there was a tremendous increase in the amount of observational data where this model applies. However, many critical issues on the theoretical side remain unsolved, as they are inherently difficult. This is the issue of the disk stability under the radiation pressure, the role of the magnetic field in the energy transfer inside the disk and the formation (or not) of a warm corona, and outflows. Thus the progress has to be done both through further developments of the model and through the careful comparison to the observational data.


title: An Indefinite Elliptic Problem on RN Autonomous at Infinity: The Crossing Effect of the Spectrum and the Nonlinearity

abstract: We present a new approach to solve a Schr\"odinger Equation autonomous at infinity, by identifying the relation between the arrangement of the spectrum of the concerned operator and the behavior of the nonlinearity at zero and at infinity. In order to apply variational methods, we set up a suitable linking structure depending on the growth of the nonlinear term and making use of information about the autonomous problem at infinity. Our method allows us to circumvent the lack of compactness. The main novelty is that none monotonicity assumption is required on the nonlinearity, which may be sign-changing as well as the potential. Furthermore, depending on the nonlinearity, the limit of the potential at infinity may be non-positive, so that zero may be an interior point in the essential spectrum of the Schr\"odinger operator.


title: To believe or not to believe: Validating explanation fidelity for dynamic malware analysis

abstract: Converting malware into images followed by vision-based deep learning algorithms has shown superior threat detection efficacy compared with classical machine learning algorithms. When malware are visualized as images, visual-based interpretation schemes can also be applied to extract insights of why individual samples are classified as malicious. In this work, via two case studies of dynamic malware classification, we extend the local interpretable model-agnostic explanation algorithm to explain image-based dynamic malware classification and examine its interpretation fidelity. For both case studies, we first train deep learning models via transfer learning on malware images, demonstrate high classification effectiveness, apply an explanation method on the images, and correlate the results back to the samples to validate whether the algorithmic insights are consistent with security domain expertise. In our first case study, the interpretation framework identifies indirect calls that uniquely characterize the underlying exploit behavior of a malware family. In our second case study, the interpretation framework extracts insightful information such as cryptography-related APIs when applied on images created from API existence, but generate ambiguous interpretation on images created from API sequences and frequencies. Our findings indicate that current image-based interpretation techniques are promising for explaining vision-based malware classification. We continue to develop image-based interpretation schemes specifically for security applications.


title: New differential operator and non-collapsed $RCD$ spaces

abstract: We show characterizations of non-collapsed compact $RCD(K, N)$ spaces, which in particular confirm a conjecture of De Philippis-Gigli on the implication from the weakly non-collapsed condition to the non-collapsed one in the compact case. The key idea is to give the explicit formula of the Laplacian associated to the pull-back Riemannian metric by embedding in $L^2$ via the heat kernel. This seems the first application of geometric flow to the study of RCD spaces.


title: Source Coding Based Millimeter-Wave Channel Estimation with Deep Learning Based Decoding

abstract: The speed at which millimeter-Wave (mmWave) channel estimation can be carried out is critical for the adoption of mmWave technologies. This is particularly crucial because mmWave transceivers are equipped with large antenna arrays to combat severe path losses, which consequently creates large channel matrices, whose estimation may incur significant overhead. This paper focuses on the mmWave channel estimation problem. Our objective is to reduce the number of measurements required to reliably estimate the channel. Specifically, channel estimation is posed as a "source compression" problem in which measurements mimic an encoded (compressed) version of the channel. Decoding the observed measurements, a task which is traditionally computationally intensive, is performed using a deep-learning-based approach, facilitating a high-performance channel discovery. Our solution not only outperforms state-of-the-art compressed sensing methods, but it also determines the lower bound on the number of measurements required for reliable channel discovery.


title: Multi-resolution Networks For Flexible Irregular Time Series Modeling (Multi-FIT)

abstract: Missing values, irregularly collected samples, and multi-resolution signals commonly occur in multivariate time series data, making predictive tasks difficult. These challenges are especially prevalent in the healthcare domain, where patients' vital signs and electronic records are collected at different frequencies and have occasionally missing information due to the imperfections in equipment or patient circumstances. Researchers have handled each of these issues differently, often handling missing data through mean value imputation and then using sequence models over the multivariate signals while ignoring the different resolution of signals. We propose a unified model named Multi-resolution Flexible Irregular Time series Network (Multi-FIT). The building block for Multi-FIT is the FIT network. The FIT network creates an informative dense representation at each time step using signal information such as last observed value, time difference since the last observed time stamp and overall mean for the signal. Vertical FIT (FIT-V) is a variant of FIT which also models the relationship between different temporal signals while creating the informative dense representations for the signal. The multi-FIT model uses multiple FIT networks for sets of signals with different resolutions, further facilitating the construction of flexible representations. Our model has three main contributions: a.) it does not impute values but rather creates informative representations to provide flexibility to the model for creating task-specific representations b.) it models the relationship between different signals in the form of support signals c.) it models different resolutions in parallel before merging them for the final prediction task. The FIT, FIT-V and Multi-FIT networks improve upon the state-of-the-art models for three predictive tasks, including the forecasting of patient survival.


title: Uniform recovery in infinite-dimensional compressed sensing and applications to structured binary sampling

abstract: Infinite-dimensional compressed sensing deals with the recovery of analog signals (functions) from linear measurements, often in the form of integral transforms such as the Fourier transform. This framework is well-suited to many real-world inverse problems, which are typically modelled in infinite-dimensional spaces, and where the application of finite-dimensional approaches can lead to noticeable artefacts. Another typical feature of such problems is that the signals are not only sparse in some dictionary, but possess a so-called local sparsity in levels structure. Consequently, the sampling scheme should be designed so as to exploit this additional structure. In this paper, we introduce a series of uniform recovery guarantees for infinite-dimensional compressed sensing based on sparsity in levels and so-called multilevel random subsampling. By using a weighted $\ell^1$-regularizer we derive measurement conditions that are sharp up to log factors, in the sense they agree with those of certain oracle estimators. These guarantees also apply in finite dimensions, and improve existing results for unweighted $\ell^1$-regularization. To illustrate our results, we consider the problem of binary sampling with the Walsh transform using orthogonal wavelets. Binary sampling is an important mechanism for certain imaging modalities. Through carefully estimating the local coherence between the Walsh and wavelet bases, we derive the first known recovery guarantees for this problem.


title: Sub-solutions and a point-wise Hopf's Lemma for Fractional p-Laplacian

abstract: We prove a Hopf's lemma in the point-wise sense. The essential technique is to prove $(-\Delta)^s_p u(x)$ is uniformly bounded in the unit ball $B_1\subset\mathbb{R}^n$, where $u(x)=(1-|x|^2)^s_{+}$. Also we study the global H\"older continuity of bounded positive solutions for $(-\Delta)^s_p u(x)=f(x,u).$


title: Stability and holomorphic connections on vector bundles over LVMB manifolds

abstract: We characterize all LVMB manifolds X such that the holomorphic tangent bundle TX is spanned at the generic point by a family of global holomorphic vector fields, each of them having non-empty zero locus. We deduce that holomorphic connections on semi-stable holomorphic vector bundles over LVMB manifolds with this previous property are always flat.


title: Knuth-Bendix Completion Algorithm and Shuffle Algebras For Compiling NISQ Circuits

abstract: Compiling quantum circuits lends itself to an elegant formulation in the language of rewriting systems on non commutative polynomial algebras $\mathbb Q\langle X\rangle$. The alphabet $X$ is the set of the allowed hardware 2-qubit gates. The set of gates that we wish to implement from $X$ are elements of a free monoid $X^*$ (obtained by concatenating the letters of $X$). In this setting, compiling an idealized gate is equivalent to computing its unique normal form with respect to the rewriting system $\mathcal R\subset \mathbb Q\langle X\rangle$ that encodes the hardware constraints and capabilities. This system $\mathcal R$ is generated using two different mechanisms: 1) using the Knuth-Bendix completion algorithm on the algebra $\mathbb Q\langle X\rangle$, and 2) using the Buchberger algorithm on the shuffle algebra $\mathbb Q[L]$ where $L$ is the set of Lyndon words on $X$.


title: BFKL Pomeron loop contribution in diffractive photoproduction and inclusive hadroproduction of $J/\psi$ and $\Upsilon$

abstract: We analyze contributions to the heavy vector meson production with large transverse momentum in proton--proton and diffractive photon--proton scattering driven by an exchange of two Balitsky--Fadin--Kuraev--Lipatov Pomerons in the squared amplitudes. The Pomerons couple to a single parton and form a Pomeron loop closed by the vector meson impact factors. For the photon--proton case the diffractive cut of the Pomeron loop contributes, and for the inclusive hadroproduction one finds the loop with two cut Pomerons. We compute both of these Pomeron loop contributions and study in detail their properties. The results are then used to calculate the cross sections for diffractive $J/\psi$ photoproduction with large transverse momentum at HERA and the correlated two Pomeron contribution for inclusive $J/\psi$ and $\Upsilon$ production cross sections at the LHC. Within a unified approach a good description of the photoproduction data is found, but correlated two Pomeron mechanism gives only a small contribution to hadroproduction of the vector mesons at the LHC.


title: Improving the Time Stability of Superconducting Planar Resonators

abstract: Quantum computers are close to become a practical technology. Solid-state implementations based, for example, on superconducting devices strongly rely on the quality of the constituent materials. In this work, we fabricate and characterize superconducting planar resonators in the microwave range, made from aluminum films on silicon substrates. We study two samples, one of which is unprocessed and the other cleaned with a hydrofluoric acid bath and by heating at $880^{\circ}$C in high vacuum. We verify the efficacy of the cleaning treatment by means of scanning transmission electron microscope imaging of samples' cross sections. From 3 h-long resonator measurements at $\approx 10$ mK and with $\approx 10$ photonic excitations, we estimate the frequency flicker noise level using the Allan deviation and find an approximately tenfold noise reduction between the two samples; the cleaned sample shows a flicker noise power coefficient for the fractional frequency of $\approx 0.23 \times 10^{-15}$. Our preliminary results follow the generalized tunneling model for two-level state defects in amorphous dielectric materials and show that suitable cleaning treatments can help the operation of superconducting quantum computers.


title: Atomic-scale Control of Tunnel Coupling

abstract: Atomically precise donor-based quantum devices are a promising candidate for scalable solid-state quantum computing. Atomically precise design and implementation of the tunnel coupling in these devices is essential to realize gate-tunable exchange coupling, and electron spin initialization and readout. Current efforts in atomically precise lithography have enabled deterministic placement of single dopant atoms into the Si lattice with sub-nm precision. However, critical challenges in atomically precise fabrication have meant systematic, atomic-scale control of the tunneling coupling has not been demonstrated. Here using a room-temperature grown locking layer and precise control over the entire atomic-scale fabrication process, we demonstrate atomic-scale control of the tunnel coupling in atomically precise single-electron transistors (SETs). Using the naturally occurring Si (100) 2x1 surface reconstruction lattice as an atomically-precise ruler, we systematically vary the number of lattice counts within the tunnel junction gaps and demonstrate exponential scaling of the tunneling resistance at the atomic limit. Using low-temperature transport measurements, we characterize the tunnel coupling asymmetry in a pair of nominally identical tunnel gaps that results from atomic-scale variation in the tunnel junction and show a resistance difference of four that corresponds to half a dimer row pitch difference in the effective tunnel gap distances - the intrinsic limit of hydrogen lithography precision on Si (100) 2x1 surfaces. Our results demonstrate the key capability to do atom-scale design and engineering of the tunnel coupling necessary for solid-state quantum computing and analog quantum simulation.


title: Model-Based Estimation of Vortex Shedding in Unsteady Cylinder Wakes

abstract: This paper considers single-sensor estimation of vortex shedding in cylinder wakes at $Re=100$ in simulations and at $Re=1036$ in experiments. A model based on harmonic decomposition is developed to capture the periodic dynamics of vortex shedding. Two model-based methods are proposed to estimate time-resolved flow fields. First, Linear Estimation (LE) which implements a Kalman Filter to estimate the flow. Second, Linear-Trigonometric Estimation (LTE), which utilizes the same Kalman Filter together with a nonlinear relationship between harmonics of the vortex shedding frequency. LTE shows good performance and outperforms LE regarding the reconstruction of vortex shedding. Physically this suggests that, at the Reynolds numbers considered, the higher harmonic motions in the cylinder wake are slave to the fundamental frequency.


title: Accurate Energetic Constraints for Passive Grasp Stability Analysis

abstract: Passive reaction effects in grasp stability analysis occur when the contact forces and joint torques applied by a grasp change in response to external disturbances applied to the grasped object. For example, nonbackdrivable actuators (e.g. highly geared servos) will passively resist external disturbances without an actively applied command; for numerous robot hands using such motors, these effects can be highly beneficial as they increase grasp resistance without requiring active control. We introduce a grasp stability analysis method that can model these effects, and, for a given grasp, distinguish between disturbances that will be passively resisted and those that will not. We find that, in order to achieve this, the grasp model must include accurate energetic constraints. One way to achieve this is to consider the Maximum Dissipation Principle (MDP), a part of the Coulomb friction model that is rarely used in grasp stability analysis. However, the MDP constraints are non-convex, and difficult to solve efficiently. We thus introduce a convex relaxation method, along with an algorithm that successively refines this relaxation locally in order to obtain solutions to arbitrary accuracy efficiently. Our resulting algorithm can determine if a grasp is passively stable, solve for equilibrium contact forces and compute optimal actuator commands for stability. Its implementation is publicly available as part of the open-source GraspIt! simulator.


title: Harmonic Networks with Limited Training Samples

abstract: Convolutional neural networks (CNNs) are very popular nowadays for image processing. CNNs allow one to learn optimal filters in a (mostly) supervised machine learning context. However this typically requires abundant labelled training data to estimate the filter parameters. Alternative strategies have been deployed for reducing the number of parameters and / or filters to be learned and thus decrease overfitting. In the context of reverting to preset filters, we propose here a computationally efficient harmonic block that uses Discrete Cosine Transform (DCT) filters in CNNs. In this work we examine the performance of harmonic networks in limited training data scenario. We validate experimentally that its performance compares well against scattering networks that use wavelets as preset filters.


title: ResNet Can Be Pruned 60x: Introducing Network Purification and Unused Path Removal (P-RM) after Weight Pruning

abstract: The state-of-art DNN structures involve high computation and great demand for memory storage which pose intensive challenge on DNN framework resources. To mitigate the challenges, weight pruning techniques has been studied. However, high accuracy solution for extreme structured pruning that combines different types of structured sparsity still waiting for unraveling due to the extremely reduced weights in DNN networks. In this paper, we propose a DNN framework which combines two different types of structured weight pruning (filter and column prune) by incorporating alternating direction method of multipliers (ADMM) algorithm for better prune performance. We are the first to find non-optimality of ADMM process and unused weights in a structured pruned model, and further design an optimization framework which contains the first proposed Network Purification and Unused Path Removal algorithms which are dedicated to post-processing an structured pruned model after ADMM steps. Some high lights shows we achieve 232x compression on LeNet-5, 60x compression on ResNet-18 CIFAR-10 and over 5x compression on AlexNet. We share our models at anonymous link http://bit.ly/2VJ5ktv.


title: Absence of chiral symmetry breaking in Thirring models in 1+2 dimensions

abstract: The Thirring model is an interacting fermion theory with current-current interaction. The model in $1+2$ dimensions has applications in condensed-matter physics to describe the electronic excitations of Dirac materials. Earlier investigations with Schwinger-Dyson equations, the functional renormalization group and lattice simulations with staggered fermions suggest that a critical number of (reducible) flavors $N^{\mathrm{c}}$ exists, below which chiral symmetry can be broken spontaneously. Values for $N^{\mathrm{c}}$ found in the literature vary between $2$ and $7$. Recent lattice studies with chirally invariant SLAC fermions have indicated that chiral symmetry is unbroken for all integer flavor numbers [Wellegehausen et al., 2017]. An independent simulation based on domain wall fermions seems to favor a critical flavor-number that satisfies $1<N^{\mathrm{c}}<2$ [Hands, 2018]. However, in the latter simulations difficulties in reaching the massless limit in the broken phase (at strong coupling and after the $L_s\to\infty$ limit has been taken) are encountered. To find an accurate value $N^{\mathrm{c}}$ we study the Thirring model (by using an analytic continuation of the parity even theory to arbitrary real $N$) for $N$ between $0.5$ and $1.1$. We investigate the chiral condensate, the spectral density of the Dirac operator, the spectrum of (would-be) Goldstone bosons and the variation of the filling-factor and conclude that the critical flavor number is $N^{\mathrm{c}}=0.80(4)$. Thus we see no chiral symmetry breaking in all Thirring models with $1$ or more flavors of ($4$-component) fermions. Besides the artifact transition to the unphysical lattice artifact phase we find strong evidence for a hitherto unknown phase transition that exists for $N>N^{\mathrm{c}}$ and should answer the question of where to construct a continuum limit.


title: Phase transitions for edge-reinforced random walks on the half-line

abstract: We study the behaviour of a class of edge-reinforced random walks {on $\mathbb{Z}_+$}, with heterogeneous initial weights, where each edge weight can be updated only when the edge is traversed from left to right. We provide a description for different behaviours of this process and describe phase transitions that arise as trade-offs between the strength of the reinforcement and that of the initial weights. Our result aims to complete the ones given by Davis~\cite{Davis89, Davis90}, Takeshima~\cite{Takeshima00, Takeshima01} and Vervoort~\cite{Vervoort00}.


title: Significantly Reduced Thermal Conductivity in Beta-(Al0.1Ga0.9)2O3/Ga2O3 Superlattices

abstract: Beta-Ga2O3 has emerged as a promising candidate for electronic device applications because of its ultra-wide bandgap, high breakdown electric field, and large-area affordable substrates grown from the melt. However, its thermal conductivity is at least one order of magnitude lower than that of other wide bandgap semiconductors such as SiC and GaN. Thermal dissipation in electronics made from beta-Ga2O3 will be the bottleneck for real-world applications, especially for high power and high frequency devices. Similar to GaN/AlGaN interfaces, beta-(AlxGa1-x)2O3/Ga2O3 heterogeneous structures have been used to form a high mobility two-dimensional electron gas (2DEG) where joule heating is localized. The thermal properties of beta-(AlxGa1-x)2O3/Ga2O3 are the key for heat dissipation in these devices while they have not been studied before. This work reports the first measurement on thermal conductivity of beta-(Al0.1Ga0.9)2O3/Ga2O3 superlattices from 80 K to 480 K. Its thermal conductivity is significantly reduced (5.7 times reduction) at room temperature comparing with that of bulk Ga2O3. Additionally, the thermal conductivity of bulk Ga2O3 with (010) orientation is measured and found to be consistent with literature values regardless of Sn doping. We discuss the phonon scattering mechanism in these structures by calculating their inverse thermal diffusivity. By comparing the estimated thermal boundary conductance (TBC) of beta-(Al0.1Ga0.9)2O3/Ga2O3 interfaces and Ga2O3 maximum TBC, we reveal that some phonons in the superlattices transmit through several interfaces before scattering with other phonons or structural imperfections. This study is not only important for Ga2O3 electronics applications especially for high power and high frequency applications, but also for the fundamental thermal science of phonon transport across interfaces and in superlattices.


title: Large-scale and high-resolution analysis of food purchases and health outcomes

abstract: To complement traditional dietary surveys, which are costly and of limited scale, researchers have resorted to digital data to infer the impact of eating habits on people's health. However, online studies are limited in resolution: they are carried out at regional level and do not capture precisely the composition of the food consumed. We study the association between food consumption (derived from the loyalty cards of the main grocery retailer in London) and health outcomes (derived from publicly-available medical prescription records). The scale and granularity of our analysis is unprecedented: we analyze 1.6B food item purchases and 1.1B medical prescriptions for the entire city of London over the course of one year. By studying food consumption down to the level of nutrients, we show that nutrient diversity and amount of calories are the strongest predictors of the prevalence of three diseases related to what is called the "metabolic syndrome": hypertension, high cholesterol, and diabetes. This syndrome is a cluster of symptoms generally associated with obesity, is common across the rich world, and affects one in four adults in the UK. Our linear regression models achieve an R2 of 0.6 when estimating the prevalence of diabetes in nearly 1000 census areas in London, and a classifier can identify (un)healthy areas with up to 91% accuracy. Interestingly, healthy areas are not necessarily well-off (income matters less than what one would expect) and have distinctive features: they tend to systematically eat less carbohydrates and sugar, diversify nutrients, and avoid large quantities. More generally, our study shows that analytics of digital records of grocery purchases can be used as a cheap and scalable tool for health surveillance and, upon these records, different stakeholders from governments to insurance companies to food companies could implement effective prevention strategies.


title: Pushing the Limit: A Hybrid Parallel Implementation of the Multi-resolution Approximation for Massive Data

abstract: The multi-resolution approximation (MRA) of Gaussian processes was recently proposed to conduct likelihood-based inference for massive spatial data sets. An advantage of the methodology is that it can be parallelized. We implemented the MRA in C++ for both serial and parallel versions. In the parallel implementation, we use a hybrid parallelism that employs both distributed and shared memory computing for communications between and within nodes by using the Message Passing Interface (MPI) and OpenMP, respectively. The performance of the serial code is compared between the C++ and MATLAB implementations over a small data set on a personal laptop. The C++ parallel program is further carefully studied under different configurations by applications to data sets from around a tenth of a million to 47 million observations. We show the practicality of this implementation by demonstrating that we can get quick inference for massive real-world data sets. The serial and parallel C++ code can be found at https://github.com/hhuang90.


title: High-order DG solvers for under-resolved turbulent incompressible flows: A comparison of $L^2$ and $H$(div) methods

abstract: The accurate numerical simulation of turbulent incompressible flows is a challenging topic in computational fluid dynamics. For discretisation methods to be robust in the under-resolved regime, mass conservation as well as energy stability are key ingredients to obtain robust and accurate discretisations. Recently, two approaches have been proposed in the context of high-order discontinuous Galerkin (DG) discretisations that address these aspects differently. On the one hand, standard $L^2$-based DG discretisations enforce mass conservation and energy stability weakly by the use of additional stabilisation terms. On the other hand, pointwise divergence-free $H(\operatorname{div})$-conforming approaches ensure exact mass conservation and energy stability by the use of tailored finite element function spaces. The present work raises the question whether and to which extent these two approaches are equivalent when applied to under-resolved turbulent flows. This comparative study highlights similarities and differences of these two approaches. The numerical results emphasise that both discretisation strategies are promising for under-resolved simulations of turbulent flows due to their inherent dissipation mechanisms.


title: Boundedness of regular del Pezzo surfaces over imperfect fields

abstract: For a regular del Pezzo surface $X$, we prove that $|-12K_X|$ is very ample. Furthermore, we also give an explicit upper bound for the volume $K_X^2$ which depends only on $[k : k^p]$ for the base field $k$. As a consequence, we obtain the boundedness of geometrically integral regular del Pezzo surfaces.


title: BMO on shapes and sharp constants

abstract: We consider a very general definition of BMO on a domain in $\mathbb{R}^n$, where the mean oscillation is taken with respect to a basis of shapes, i.e. a collection of open sets covering the domain. We examine the basic properties and various inequalities that can be proved for such functions, with special emphasis on sharp constants. For the standard bases of shapes consisting of balls or cubes (classic BMO), or rectangles (strong BMO), we review known results, such as the boundedness of rearrangements and its consequences. Finally, we prove a product decomposition for BMO when the shapes exhibit some product structure, as in the case of strong BMO.


title: A 10,000-solar-mass black hole in the nucleus of a bulgeless dwarf galaxy

abstract: The motions of gas and stars in the nuclei of nearby large galaxies have demonstrated that massive black holes are common and that their masses strongly correlate with the stellar velocity dispersion $\sigma_{\star}$ of the bulge. This correlation suggests that massive black holes and galaxies influence each other's growth. Dynamical measurements are less reliable when the sphere of influence is unresolved, thus it remains unknown whether this correlation exists in galaxies much smaller than the Milky Way, as well as what fraction of these galaxies have central black holes. Light echoes from photoionized clouds around accreting black holes, in combination with the velocity of these clouds, yield a direct mass measurement that circumvents this difficulty. Here we report an exceptionally low reverberation delay of $83\pm14$ minutes between variability in the accretion disk and high velocity H$\alpha$ emission from the nucleus of the bulgeless dwarf galaxy NGC~4395. Combined with the H$\alpha$ line-of-sight velocity dispersion $\sigma_{\rm line}=426\pm1$~km~s$^{-1}$, this lag determines a mass of about 10,000~$M_{\odot}$ for the black hole. This mass is among the smallest central black hole masses reported, near the low end of expected masses for heavy "seeds", and the best direct mass measurement for a galaxy of this size. Despite the lack of a bulge, NGC~4395 is consistent with the $M_{\rm BH} - \sigma_{\star}$ relation when $\sigma_{\star}$ is measured from the central region. This indicates that the relation need not originate from hierarchical galaxy assembly nor from black hole feedback.


title: ON-OFF Privacy with Correlated Requests

abstract: We introduce the ON-OFF privacy problem. At each time, the user is interested in the latest message of one of N online sources chosen at random, and his privacy status can be ON or OFF for each request. Only when privacy is ON the user wants to hide the source he is interested in. The problem is to design ON-OFF privacy schemes with maximum download rate that allow the user to obtain privately his requested messages. In many realistic scenarios, the user's requests are correlated since they depend on his personal attributes such as age, gender, political views, or geographical location. Hence, even when privacy is OFF, he cannot simply reveal his request since this will leak information about his requests when privacy was ON. We study the case when the users's requests can be modeled by a Markov chain and N=2 sources. In this case, we propose an ON-OFF privacy scheme and prove its optimality.


title: Fair Classification and Social Welfare

abstract: Now that machine learning algorithms lie at the center of many resource allocation pipelines, computer scientists have been unwittingly cast as partial social planners. Given this state of affairs, important questions follow. What is the relationship between fairness as defined by computer scientists and notions of social welfare? In this paper, we present a welfare-based analysis of classification and fairness regimes. We translate a loss minimization program into a social welfare maximization problem with a set of implied welfare weights on individuals and groups--weights that can be analyzed from a distribution justice lens. In the converse direction, we ask what the space of possible labelings is for a given dataset and hypothesis class. We provide an algorithm that answers this question with respect to linear hyperplanes in $\mathbb{R}^d$ that runs in $O(n^dd)$. Our main findings on the relationship between fairness criteria and welfare center on sensitivity analyses of fairness-constrained empirical risk minimization programs. We characterize the ranges of $\Delta \epsilon$ perturbations to a fairness parameter $\epsilon$ that yield better, worse, and neutral outcomes in utility for individuals and by extension, groups. We show that applying more strict fairness criteria that are codified as parity constraints, can worsen welfare outcomes for both groups. More generally, always preferring "more fair" classifiers does not abide by the Pareto Principle---a fundamental axiom of social choice theory and welfare economics. Recent work in machine learning has rallied around these notions of fairness as critical to ensuring that algorithmic systems do not have disparate negative impact on disadvantaged social groups. By showing that these constraints often fail to translate into improved outcomes for these groups, we cast doubt on their effectiveness as a means to ensure justice.


abstract: We study problems that integrate depot location decisions along with the inventory routing problem of serving clients from these depots over time balancing the costs of routing vehicles from the depots with the holding costs of demand delivered before they are due. Since the inventory routing problem is already complex, we study the version that assumes that the daily vehicle routes are direct connections from the depot thus forming stars as solutions, and call this problem the Star Inventory Routing Problem with Facility Location (SIRPFL). As a stepping stone to solving SIRPFL, we first study the Inventory Access Problem (IAP), which is the single depot, single client special case of IRP. The Uncapacitated IAP is known to have a polynomial time dynamic program. We provide an NP-hardness reduction for Capacitated IAP where each demand cannot be split among different trips. We give a $3$-approximation for the case when demands can be split and a $6$-approximation for the unsplittable case. For Uncapacitated SIRPFL, we provide a $12$-approximation by rounding an LP relaxation. Combining the ideas from Capacitated IAP and Uncapacitated SIRPFL, we obtain a $24$-approximation for Capacitated Splittable SIRPFL and a $48$-approximation for the most general version, the Capacitated Unsplittable SIRPFL.


abstract: Subspace clustering methods based on data self-expression have become very popular for learning from data that lie in a union of low-dimensional linear subspaces. However, the applicability of subspace clustering has been limited because practical visual data in raw form do not necessarily lie in such linear subspaces. On the other hand, while Convolutional Neural Network (ConvNet) has been demonstrated to be a powerful tool for extracting discriminative features from visual data, training such a ConvNet usually requires a large amount of labeled data, which are unavailable in subspace clustering applications. To achieve simultaneous feature learning and subspace clustering, we propose an end-to-end trainable framework, called Self-Supervised Convolutional Subspace Clustering Network (S$^2$ConvSCN), that combines a ConvNet module (for feature learning), a self-expression module (for subspace clustering) and a spectral clustering module (for self-supervision) into a joint optimization framework. Particularly, we introduce a dual self-supervision that exploits the output of spectral clustering to supervise the training of the feature learning module (via a classification loss) and the self-expression module (via a spectral clustering loss). Our experiments on four benchmark datasets show the effectiveness of the dual self-supervision and demonstrate superior performance of our proposed approach.


title: On $q$-nearly bent Boolean functions

abstract: For each non-constant Boolean function $q$, Klapper introduced the notion of $q$-transforms of Boolean functions. The {\em $q$-transform} of a Boolean function $f$ is related to the Hamming distances from $f$ to the functions obtainable from $q$ by nonsingular linear change of basis. In this work we discuss the existence of $q$-nearly bent functions, a new family of Boolean functions characterized by the $q$-transform. Let $q$ be a non-affine Boolean function. We prove that any balanced Boolean functions (linear or non-linear) are $q$-nearly bent if $q$ has weight one, which gives a positive answer to an open question (whether there exist non-affine $q$-nearly bent functions) proposed by Klapper. We also prove a necessary condition for checking when a function isn't $q$-nearly bent.


title: A Style Transfer Approach to Source Separation

abstract: Training neural networks for source separation involves presenting a mixture recording at the input of the network and updating network parameters in order to produce an output that resembles the clean source. Consequently, supervised source separation depends on the availability of paired mixture-clean training examples. In this paper, we interpret source separation as a style transfer problem. We present a variational auto-encoder network that exploits the commonality across the domain of mixtures and the domain of clean sounds and learns a shared latent representation across the two domains. Using these cycle-consistent variational auto-encoders, we learn a mapping from the mixture domain to the domain of clean sounds and perform source separation without explicitly supervising with paired training examples.


title: Towards Smart and Reconfigurable Environment: Intelligent Reflecting Surface Aided Wireless Network

abstract: Although the fifth-generation (5G) technologies will significantly improve the spectrum and energy efficiency of today's wireless communication networks, their high complexity and hardware cost as well as increasingly more energy consumption are still crucial issues to be solved. Furthermore, despite that such technologies are generally capable of adapting to the space and time varying wireless environment, the signal propagation over it is essentially random and largely uncontrollable. Recently, intelligent reflecting surface (IRS) has been proposed as a revolutionizing solution to address this open issue, by smartly reconfiguring the wireless propagation environment with the use of massive low-cost, passive, reflective elements integrated on a planar surface. Specifically, different elements of an IRS can independently reflect the incident signal by controlling its amplitude and/or phase and thereby collaboratively achieve fine-grained three-dimensional (3D) passive beamforming for signal enhancement or cancellation. In this article, we provide an overview of the IRS technology, including its main applications in wireless communication, competitive advantages over existing technologies, hardware architecture as well as the corresponding new signal model. We focus on the key challenges in designing and implementing the new IRS-aided hybrid (with both active and passive components) wireless network, as compared to the traditional network comprising active components only. Furthermore, numerical results are provided to show the potential for significant performance enhancement with the use of IRS in typical wireless network scenarios.


title: Color-allowed Bottom Baryon to $s$-wave and $p$-wave Charmed Baryon non-leptonic Decays

abstract: We study color allowed bottom baryon to $s$-wave and $p$-wave charmed baryon non-leptonic decays in this work. The charmed baryons include spin-1/2 and spin-3/2 states. Explicitly, we consider $\Lambda_b\to \Lambda^{(*,**)}_c M^-$, $\Xi_b\to\Xi_c^{(**)} M^-$ and $\Omega_b\to\Omega^{(*,**)}_c M^-$ decays with $M=\pi, K, \rho, K^*, a_1, D, D_s, D^*, D^*_s$, $\Lambda^{(*,**)}_c=\Lambda_c, \Lambda_c(2595), \Lambda_c(2625), \Lambda_c(2765), \Lambda_c(2940)$, $\Xi_c^{(**)}=\Xi_c, \Xi_c(2815), \Xi_c(2790)$ and $\Omega^{(*,**)}_c=\Omega_c, \Omega_c(2770), \Omega_c(3050), \Omega_c(3090), \Omega_c(3120)$. There are six types of transitions, namely, (i) ${\cal B}_b({\bf \bar 3_f},1/2^+)$ to ${\cal B}_c({\bf \bar 3_f},1/2^+)$, (ii) ${\cal B}_b({\bf 6_f},1/2^+)$ to ${\cal B}_c({\bf 6_f},1/2^+)$, (iii) ${\cal B}_b({\bf 6_f},1/2^+)$ to ${\cal B}_c({\bf 6_f},3/2^+)$, (iv) ${\cal B}_b({\bf 6_f},1/2^+)$ to ${\cal B}_c({\bf 6_f},3/2^-)$, (v) ${\cal B}_b({\bf \bar 3_f},1/2^+)$ to ${\cal B}_c({\bf \bar 3_f},1/2^-)$, and (vi) ${\cal B}_b( {\bf \bar 3_f},1/2^+)$ to ${\cal B}_c({\bf \bar 3_f},3/2^-)$ transitions. Types (i) to (iii) involve spin 1/2 and 3/2 $s$-wave charmed baryons, while types (iv) to (vi) involve spin 1/2 and 3/2 $p$-wave charmed baryons. The transition form factors are calculated in the light-front quark model approach. All of the form factors in the $1/2\to 1/2$ and $1/2 \to 3/2$ transitions are extracted, and they are found to reasonably satisfy the relations obtained in the heavy quark limit, as we are using heavy but finite $m_b$ and $m_c$. Using na\"{i}ve factorization, decay rates and up-down asymmetries of the above modes are predicted and can be checked experimentally. The study on these decay modes may shed light on the quantum numbers of $\Lambda_c(2765)$, $\Lambda_c(2940)$ $\Omega_c(3050)$, $\Omega_c(3090)$ and $\Omega_c(3120)$.


title: On the Convergence Rates of Learning-based Signature Generation Schemes to Contain Self-propagating Malware

abstract: In this paper, we investigate the importance of a defense system's learning rates to fight against the self-propagating class of malware such as worms and bots. To this end, we introduce a new propagation model based on the interactions between an adversary (and its agents) who wishes to construct a zombie army of a specific size, and a defender taking advantage of standard security tools and technologies such as honeypots (HPs) and intrusion detection and prevention systems (IDPSes) in the network environment. As time goes on, the defender can incrementally learn from the collected/observed attack samples (e.g., malware payloads), and therefore being able to generate attack signatures. The generated signatures then are used for filtering next attack traffic and thus containing the attacker's progress in its malware propagation mission. Using simulation and numerical analysis, we evaluate the efficacy of signature generation algorithms and in general any learning-based scheme in bringing an adversary's maneuvering in the environment to a halt as an adversarial containment strategy.


title: Spectroscopic Mass and Host-star Metallicity Measurements for Newly Discovered Microlensing Planet OGLE-2018-BLG-0740Lb

abstract: We report the discovery of the microlensing planet OGLE-2018-BLG-0740Lb. The planet is detected with a very strong signal of $\Delta\chi^2\sim 4630$, but the interpretation of the signal suffers from two types of degeneracies. One type is caused by the previously known close/wide degeneracy, and the other is caused by an ambiguity between two solutions, in which one solution requires to incorporate finite-source effects, while the other solution is consistent with a point-source interpretation. Although difficult to be firmly resolved based on only the photometric data, the degeneracy is resolved in strong favor of the point-source solution with the additional external information obtained from astrometric and spectroscopic observations. The small astrometric offset between the source and baseline object supports that the blend is the lens and this interpretation is further secured by the consistency of the spectroscopic distance estimate of the blend with the lensing parameters of the point-source solution. The estimated mass of the host is $1.0\pm 0.1~M_\odot$ and the mass of the planet is $4.5\pm 0.6~M_{\rm J}$ (close solution) or $4.8\pm 0.6~M_{\rm J}$ (wide solution) and the lens is located at a distance of $3.2\pm 0.5$~kpc. The bright nature of the lens, with $I\sim 17.1$ ($V\sim 18.2$), combined with its dominance of the observed flux suggest that radial-velocity (RV) follow-up observations of the lens can be done using high-resolution spectrometers mounted on large telescopes, e.g., VLT/ESPRESSO, and this can potentially not only measure the period and eccentricity of the planet but also probe for close-in planets. We estimate that the expected RV amplitude would be $\sim 60\sin i ~{\rm m~s}^{-1}$.


title: Global well-posedness of $3$-D anisotropic Navier-Stokes system with small unidirectional derivative

abstract: In \cite{LZ4}, the authors proved that as long as the one-directional derivative of the initial velocity is sufficiently small in some scaling invariant spaces, then the classical Navier-Stokes system has a global unique solution. The goal of this paper is to extend this type of result to the 3-D anisotropic Navier-Stokes system $(ANS)$ with only horizontal dissipation. More precisely, given initial data $u_0=(u_0^\h,u_0^3)\in \cB^{0,\f12},$ $(ANS)$ has a unique global solution provided that $|D_\h|^{-1}\pa_3u_0$ is sufficiently small in the scaling invariant space $\cB^{0,\f12}.$


title: Improved Algorithms for the Bichromatic Two-Center Problem for Pairs of Points

abstract: We consider a bichromatic two-center problem for pairs of points. Given a set $S$ of $n$ pairs of points in the plane, for every pair, we want to assign a red color to one point and a blue color to the other, in such a way that the value $\max\{r_1,r_2\}$ is minimized, where $r_1$ (resp., $r_2$) is the radius of the smallest enclosing disk of all red (resp., blue) points. Previously, an exact algorithm of $O(n^3\log^2 n)$ time and a $(1+\varepsilon)$-approximate algorithm of $O(n + (1/\varepsilon)^6 \log^2 (1/\varepsilon))$ time were known. In this paper, we propose a new exact algorithm of $O(n^2\log^2 n)$ time and a new $(1+\varepsilon)$-approximate algorithm of $O(n + (1/\varepsilon)^3 \log^2 (1/\varepsilon))$ time.


title: On Scalable and Efficient Computation of Large Scale Optimal Transport

abstract: Optimal Transport (OT) naturally arises in many machine learning applications, yet the heavy computational burden limits its wide-spread uses. To address the scalability issue, we propose an implicit generative learning-based framework called SPOT (Scalable Push-forward of Optimal Transport). Specifically, we approximate the optimal transport plan by a pushforward of a reference distribution, and cast the optimal transport problem into a minimax problem. We then can solve OT problems efficiently using primal dual stochastic gradient-type algorithms. We also show that we can recover the density of the optimal transport plan using neural ordinary differential equations. Numerical experiments on both synthetic and real datasets illustrate that SPOT is robust and has favorable convergence behavior. SPOT also allows us to efficiently sample from the optimal transport plan, which benefits downstream applications such as domain adaptation.


title: Towards Sampling from Nondirected Probabilistic Graphical models using a D-Wave Quantum Annealer

abstract: A D-Wave quantum annealer (QA) having a 2048 qubit lattice, with no missing qubits and couplings, allowed embedding of a complete graph of a Restricted Boltzmann Machine (RBM). A handwritten digit OptDigits data set having 8x7 pixels of visible units was used to train the RBM using a classical Contrastive Divergence. Embedding of the classically-trained RBM into the D-Wave lattice was used to demonstrate that the QA offers a high-efficiency alternative to the classical Markov Chain Monte Carlo (MCMC) for reconstructing missing labels of the test images as well as a generative model. At any training iteration, the D-Wave-based classification had classification error more than two times lower than MCMC. The main goal of this study was to investigate the quality of the sample from the RBM model distribution and its comparison to a classical MCMC sample. For the OptDigits dataset, the states in the D-Wave sample belonged to about two times more local valleys compared to the MCMC sample. All the lowest-energy (the highest joint probability) local minima in the MCMC sample were also found by the D-Wave. The D-Wave missed many of the higher-energy local valleys, while finding many "new" local valleys consistently missed by the MCMC. It was established that the "new" local valleys that the D-Wave finds are important for the model distribution in terms of the energy of the corresponding local minima, the width of the local valleys, and the height of the escape barrier.


title: Precise Synthetic Image and LiDAR (PreSIL) Dataset for Autonomous Vehicle Perception

abstract: We introduce the Precise Synthetic Image and LiDAR (PreSIL) dataset for autonomous vehicle perception. Grand Theft Auto V (GTA V), a commercial video game, has a large detailed world with realistic graphics, which provides a diverse data collection environment. Existing works creating synthetic LiDAR data for autonomous driving with GTA V have not released their datasets, rely on an in-game raycasting function which represents people as cylinders, and can fail to capture vehicles past 30 metres. Our work creates a precise LiDAR simulator within GTA V which collides with detailed models for all entities no matter the type or position. The PreSIL dataset consists of over 50,000 frames and includes high-definition images with full resolution depth information, semantic segmentation (images), point-wise segmentation (point clouds), and detailed annotations for all vehicles and people. Collecting additional data with our framework is entirely automatic and requires no human annotation of any kind. We demonstrate the effectiveness of our dataset by showing an improvement of up to 5% average precision on the KITTI 3D Object Detection benchmark challenge when state-of-the-art 3D object detection networks are pre-trained with our data. The data and code are available at https://tinyurl.com/y3tb9sxy


title: State-of-the-art in 360{\deg} Video/Image Processing: Perception, Assessment and Compression

abstract: Nowadays, 360{\deg} video/image has been increasingly popular and drawn great attention. The spherical viewing range of 360{\deg} video/image accounts for huge data, which pose the challenges to 360{\deg} video/image processing in solving the bottleneck of storage, transmission, etc. Accordingly, the recent years have witnessed the explosive emergence of works on 360{\deg} video/image processing. In this paper, we review the state-of-the-art works on 360{\deg} video/image processing from the aspects of perception, assessment and compression. First, this paper reviews both datasets and visual attention modelling approaches for 360{\deg} video/image. Second, we survey the related works on both subjective and objective visual quality assessment (VQA) of 360{\deg} video/image. Third, we overview the compression approaches for 360{\deg} video/image, which either utilize the spherical characteristics or visual attention models. Finally, we summarize this overview paper and outlook the future research trends on 360{\deg} video/image processing.


title: Full-field Fourier ptychography (FFP): spatially varying pupil modeling and its application for rapid field-dependent aberration metrology

abstract: Digital aberration measurement and removal play a prominent role in computational imaging platforms aimed at achieving simple and compact optical arrangements. A recent important class of such platforms is Fourier ptychography, which is geared towards efficiently creating gigapixel images with high resolution and large field of view (FOV). In current FP implementations, pupil aberration is often recovered at each small segment of the entire FOV. This reconstruction strategy fails to consider the field-dependent nature of the optical pupil. Given the power series expansion of the wavefront aberration, the spatially varying pupil can be fully characterized by tens of coefficients over the entire FOV. With this observation, we report a Full-field Fourier Ptychography (FFP) scheme for rapid and robust aberration metrology. The meaning of 'full-field' in FFP is referred to the recovering of the 'full-field' coefficients that govern the field-dependent pupil over the entire FOV. The optimization degrees of freedom are at least two orders of magnitude lower than the previous implementations. We show that the image acquisition process of FFP can be completed in ~1s and the spatially varying aberration of the entire FOV can be recovered in ~35s using a CPU. The reported approach may facilitate the further development of Fourier ptychography. Since no moving part or calibration target is needed in this approach, it may find important applications in aberration metrology. The derivation of the full-field coefficients and its extension for Zernike modes also provide a general tool for analyzing spatially varying aberrations in computational imaging systems.


title: Separate Chaining Meets Compact Hashing

abstract: While separate chaining is a common strategy for resolving collisions in a hash table taught in most textbooks, compact hashing is a less common technique for saving space when hashing integers whose domain is relatively small with respect to the problem size. It is widely believed that hash tables waste a considerable amount of memory, as they either leave allocated space untouched (open addressing) or store additional pointers (separate chaining). For the former, Cleary introduced the compact hashing technique that stores only a part of a key to save space. However, as can be seen by the line of research focusing on compact hash tables with open addressing, there is additional information, called displacement, required for restoring a key. There are several representations of this displacement information with different space and time trade-offs. In this article, we introduce a separate chaining hash table that applies the compact hashing technique without the need for the displacement information. Practical evaluations reveal that insertions in this hash table are faster or use less space than all previously known compact hash tables on modern computer architectures when storing sufficiently large satellite data.


title: On a conditional inequality in Kolmogorov complexity and its applications in communication complexity

abstract: Romashchenko and Zimand~\cite{rom-zim:c:mutualinfo} have shown that if we partition the set of pairs $(x,y)$ of $n$-bit strings into combinatorial rectangles, then $I(x:y) \geq I(x:y \mid t(x,y)) - O(\log n)$, where $I$ denotes mutual information in the Kolmogorov complexity sense, and $t(x,y)$ is the rectangle containing $(x,y)$. We observe that this inequality can be extended to coverings with rectangles which may overlap. The new inequality essentially states that in case of a covering with combinatorial rectangles, $I(x:y) \geq I(x:y \mid t(x,y)) - \log \rho - O(\log n)$, where $t(x,y)$ is any rectangle containing $(x,y)$ and $\rho$ is the thickness of the covering, which is the maximum number of rectangles that overlap. We discuss applications to communication complexity of protocols that are nondeterministic, or randomized, or Arthur-Merlin, and also to the information complexity of interactive protocols.