title: Torsion Freeness of Schur Modules

abstract: Let $R$ be a Noetherian commutative ring and $M$ an $R$-module with $\operatorname{pd_R} M\le 1$ that has rank. Necessary and sufficient conditions were provided by Lebelt for an exterior power $\wedge^k M$ to be torsion free. When $M$ is an ideal of $R$ similar necessary and sufficient conditions were provided by Tchernev for a symmetric power $S_k M$ to be torsion free. We extend these results to a broad class of Schur modules $L_{\lambda/\mu} M$. En route, for any map of finite free $R$ modules $\phi\: F\rightarrow G$ we also study the general structure of the Schur complexes $L_{\lambda/\mu}\phi$, and provide necessary and sufficient conditions for the acyclicity of any given $L_{\lambda/\mu}\phi$ by computing explicitly the radicals of the ideals of maximal minors of all its differentials.


title: $\texttt{TRIQS}/\texttt{SOM}$: Implementation of the Stochastic Optimization Method for Analytic Continuation

abstract: We present the $\texttt{TRIQS}/\texttt{SOM}$ analytic continuation package, an efficient implementation of the Stochastic Optimization Method proposed by A. Mishchenko et al [Phys. Rev. B $\textbf{62}$, 6317 (2000)]. $\texttt{TRIQS}/\texttt{SOM}$ strives to provide a high quality open source (distributed under the GNU General Public License version 3) alternative to the more widely adopted Maximum Entropy continuation programs. It supports a variety of analytic continuation problems encountered in the field of computational condensed matter physics. Those problems can be formulated in terms of response functions of imaginary time, Matsubara frequencies or in the Legendre polynomial basis representation. The application is based on the $\texttt{TRIQS}$ C++/Python framework, which allows for easy interoperability with $\texttt{TRIQS}$-based quantum impurity solvers, electronic band structure codes and visualization tools. Similar to other $\texttt{TRIQS}$ packages, it comes with a convenient Python interface.


title: The $\mathrm{RO}(G)$-Graded Cohomology of the Equivariant Classifying Space $B_G\mathrm{SU}(2)$

abstract: We compute the additive structure of the $\mathrm{RO}(C_n)$-graded Bredon equivariant cohomology of the equivariant classifying space $B_{C_n}\mathrm{SU}(2)$, for any $n$ that is either prime or a product of distinct odd primes, and we also compute its multiplicative structure for $n=2$. In particular, as an algebra over the cohomology of a point, we show that the cohomology of $B_{C_2}\mathrm{SU}(2)$ is generated by two elements subject to a single relation: writing $\sigma$ for the sign representation of $C_2$ in $\mathrm{RO}(C_2)$, the generators are an element $c$ in dimension $4\sigma$ and an element $C$ in dimension $4+4\sigma$, satisfying the relation $c^2 = \epsilon^4 c + \xi^2 C$, where $\epsilon$ and $\xi$ are elements of the cohomology of a point. Throughout, we take coefficients in the Burnside ring Mackey functor $A$. The key tools used are equivariant "even-dimensional freeness" and "multiplicative comparison" theorems for $G$-cell complexes, both proven by Lewis in [Lew88] and subsequently refined by Shulman in [Shu10], and with the former theorem extended by Basu and Ghosh in [BG16]. The latter theorem enables us to compute the multiplicative structure of the cohomology of $B_{C_2}\mathrm{SU}(2)$ by embedding it in a direct sum of cohomology rings whose structure is more easily understood. Both theorems require the cells of the $G$-cell complex to be attached in a well-behaved order, and a significant step in our work is to give $B_{C_n}\mathrm{SU}(2)$ a satisfactory $C_n$-cell complex structure.


title: Physics-Based Generative Adversarial Models for Image Restoration and Beyond

abstract: We present an algorithm to directly solve numerous image restoration problems (e.g., image deblurring, image dehazing, image deraining, etc.). These problems are highly ill-posed, and the common assumptions for existing methods are usually based on heuristic image priors. In this paper, we find that these problems can be solved by generative models with adversarial learning. However, the basic formulation of generative adversarial networks (GANs) does not generate realistic images, and some structures of the estimated images are usually not preserved well. Motivated by an interesting observation that the estimated results should be consistent with the observed inputs under the physics models, we propose a physics model constrained learning algorithm so that it can guide the estimation of the specific task in the conventional GAN framework. The proposed algorithm is trained in an end-to-end fashion and can be applied to a variety of image restoration and related low-level vision problems. Extensive experiments demonstrate that our method performs favorably against the state-of-the-art algorithms.


title: AVA-Speech: A Densely Labeled Dataset of Speech Activity in Movies

abstract: Speech activity detection (or endpointing) is an important processing step for applications such as speech recognition, language identification and speaker diarization. Both audio- and vision-based approaches have been used for this task in various settings, often tailored toward end applications. However, much of the prior work reports results in synthetic settings, on task-specific datasets, or on datasets that are not openly available. This makes it difficult to compare approaches and understand their strengths and weaknesses. In this paper, we describe a new dataset which we will release publicly containing densely labeled speech activity in YouTube videos, with the goal of creating a shared, available dataset for this task. The labels in the dataset annotate three different speech activity conditions: clean speech, speech co-occurring with music, and speech co-occurring with noise, which enable analysis of model performance in more challenging conditions based on the presence of overlapping noise. We report benchmark performance numbers on AVA-Speech using off-the-shelf, state-of-the-art audio and vision models that serve as a baseline to facilitate future research.


title: Toward A Deep Understanding of What Makes a Scientific Visualization Memorable

abstract: We report results from a preliminary study exploring the memorability of spatial scientific visualizations, the goal of which is to understand the visual features that contribute to memorability. The evaluation metrics include three objective measures (entropy, feature congestion, the number of edges), four subjective ratings (clutter, the number of distinct colors, familiarity, and realism), and two sentiment ratings (interestingness and happiness). We curate 1142 scientific visualization (SciVis) images from the original 2231 images in published IEEE SciVis papers from 2008 to 2017 and compute memorability scores of 228 SciVis images from data collected on Amazon Mechanical Turk (MTurk). Results showed that the memorability of SciVis images is mostly correlated with clutter and the number of distinct colors. We further investigate the differences between scientific visualization and infographics as a means to understand memorability differences by data attributes.


title: Tight bounds for private communication over bosonic Gaussian channels based on teleportation simulation with optimal finite resources

abstract: Upper bounds for private communication over quantum channels can be derived by adopting channel simulation, protocol stretching, and relative entropy of entanglement. All these ingredients have led to single-letter upper bounds to the secret key capacity which can be directly computed over suitable resource states. For bosonic Gaussian channels, the tightest upper bounds have been derived by employing teleportation simulation over asymptotic resource states, namely the asymptotic Choi matrices of these channels. In this work, we adopt a different approach. We show that teleporting over an analytical class of finite-energy resource states allows us to closely approximate the ultimate bounds for increasing energy, so as to provide increasingly tight upper bounds to the secret-key capacity of one-mode phase-insensitive Gaussian channels. We then show that an optimization over the same class of resource states can be used to bound the maximum secret key rates that are achievable in a finite number of channel uses.


title: The excitation of a primordial cold asteroid belt as an outcome of the planetary instability

abstract: The main asteroid belt (MB) is low in mass but dynamically excited. Here we propose a new mechanism to excite the MB during the giant planet ('Nice model') instability, which is expected to have featured repeated close encounters between Jupiter and one or more ice giants ('Jumping Jupiter' -- JJ). We show that, when Jupiter temporarily reaches a high enough level of excitation, both in eccentricity and inclination it induces strong forced vectors of eccentricity and inclination across the MB region. Because during the JJ instability Jupiter's orbit `jumps' around, the forced vectors keep changing both in magnitude and phase throughout the whole MB region. The entire cold primordial MB is thus excited as a natural outcome of the JJ instability. The level of such an excitation, however, is typically larger than the current orbital excitation observed in the MB. We show that the subsequent evolution of the Solar System is capable of reshaping the resultant over-excited MB to its present day orbital state, and that a strong mass depletion ($\sim$90$\%$) is associated to the JJ instability phase and its subsequent evolution throughout the age of the Solar System.


title: Enhanced Attenuation Arising from Lattice Resonances in a Plasma Photonic Crystal

abstract: We describe the experimental verification of lattice resonances in two-dimensional photonic crystals constructed from an array of gaseous plasma columns. Enhancements are seen in the extinction of normal incidence transverse electric electromagnetic waves when the localized surface plasmon modes of the plasma columns are shifted into the vicinity of the photonic crystal Bragg resonances. Simulations and experiments are in reasonable agreement and confirm the appearance of a Fano-like profile with deep and broad extinction bands. The broadening of the spectra as surface plasmon modes come into coincidence with Bragg gaps suggest that the Bragg fields couple strongly into the radiating Mie dipoles to drive enhanced damping of the photonic crystal resonance.


title: Embeddings for the space $LD_\gamma^{p}$ on sets of finite perimeter

abstract: Given an open set with finite perimeter $\Omega\subset \mathbb{R}^n$, we consider the space $LD_\gamma^{p}(\Omega)$, $1\leq p<\infty$, of functions with $p$th-integrable deformation tensor on $\Omega$ and with $p$ th-integrable trace value on the essential boundary of $\Omega$. We establish the continuous embedding $LD_\gamma^{p}(\Omega)\subset L^{pN/(N-1)}(\Omega)$. The space $LD_\gamma^{p}(\Omega)$ and this embedding arise naturally in studying the motion of rigid bodies in a viscous, incompressible fluid.


title: $d$-dimensional SYK, AdS Loops, and $6j$ Symbols

abstract: We study the $6j$ symbol for the conformal group, and its appearance in three seemingly unrelated contexts: the SYK model, conformal representation theory, and perturbative amplitudes in AdS. The contribution of the planar Feynman diagrams to the three-point function of the bilinear singlets in SYK is shown to be a $6j$ symbol. We generalize the computation of these and other Feynman diagrams to $d$ dimensions. The $6j$ symbol can be viewed as the crossing kernel for conformal partial waves, which may be computed using the Lorentzian inversion formula. We provide closed-form expressions for $6j$ symbols in $d=1,2,4$. In AdS, we show that the $6j$ symbol is the Lorentzian inversion of a crossing-symmetric tree-level exchange amplitude, thus efficiently packaging the double-trace OPE data. Finally, we consider one-loop diagrams in AdS with internal scalars and external spinning operators, and show that the triangle diagram is a $6j$ symbol, while one-loop $n$-gon diagrams are built out of $6j$ symbols.


title: Recursive Geman-McClure method for implementing second-order Volterra filter

abstract: The second-order Volterra (SOV) filter is a powerful tool for modeling the nonlinear system. The Geman-McClure estimator, whose loss function is non-convex and has been proven to be a robust and efficient optimization criterion for learning system. In this paper, we present a SOV filter, named SOV recursive Geman-McClure, which is an adaptive recursive Volterra algorithm based on the Geman-McClure estimator. The mean stability and mean-square stability (steady-state excess mean square error (EMSE)) of the proposed algorithm is analyzed in detail. Simulation results support the analytical findings and show the improved performance of the proposed new SOV filter as compared with existing algorithms in both Gaussian and impulsive noise environments.


title: Kernel Stabilization of Unbounded Derivations on C*-algebras

abstract: A derivation $\delta$ on a $C^*$-algebra has kernel stabilization if for all $n\in \mathbb{N}$, $\ker \delta^n=\ker \delta.$ Our main result shows that a weakly-defined derivation studied recently by E. Christensen has kernel stabilization. As corollaries, we (1) show that a family of $*$-derivations on $C^*$-algebras studied by Bratteli and Robinson has kernel stabilization and (2) provide sufficient conditions for when operators satisfying the Heisenberg Commutation Relation must both be unbounded.


title: A Nonparametric Bayesian Methodology for Synthesizing Residential Solar Generation and Demand Data

abstract: The uptake of behind-the-meter distributed energy resources in low-voltage distribution networks has reached a level where network issues have started to emerge, which requires new tools for operation and planning. In this paper, we propose a methodology for synthesizing stochastic demand and generation profiles for unobserved customers with rooftop PV, called prosumers. The proposed model bridges the gap between the limited available empirical data, and the large amount of high-quality, stochastic demand and generation data required for probabilistic analysis. The approach employs clustering analysis and a Dirichlet-categorical hierarchical model of the features of unobserved prosumers. Based on the data of clusters of prosumers, Markov chain models of demand and generation profiles are constructed from empirical data, and synthetic demand profiles are subsequently sampled from these. The sampled traces are cross-validated and show a good statistical fit to the observed data. Two case studies are considered to confirm the validity of the proposed methodology. The first studies the impact of behavioral differences on the synthetic demand profiles, while the second looks at the impact of varying solar generation penetration on demand profiles.


title: Mixture Matrix Completion

abstract: Completing a data matrix X has become an ubiquitous problem in modern data science, with applications in recommender systems, computer vision, and networks inference, to name a few. One typical assumption is that X is low-rank. A more general model assumes that each column of X corresponds to one of several low-rank matrices. This paper generalizes these models to what we call mixture matrix completion (MMC): the case where each entry of X corresponds to one of several low-rank matrices. MMC is a more accurate model for recommender systems, and brings more flexibility to other completion and clustering problems. We make four fundamental contributions about this new model. First, we show that MMC is theoretically possible (well-posed). Second, we give its precise information-theoretic identifiability conditions. Third, we derive the sample complexity of MMC. Finally, we give a practical algorithm for MMC with performance comparable to the state-of-the-art for simpler related problems, both on synthetic and real data.


title: Encoding Visual Sensitivity by MaxPol Convolution Filters for Image Sharpness Assessment

abstract: In this paper, we propose a novel design of Human Visual System (HVS) response in a convolution filter form to decompose meaningful features that are closely tied with image sharpness level. No-reference (NR) Image sharpness assessment (ISA) techniques have emerged as the standard of image quality assessment in diverse imaging applications. Despite their high correlation with subjective scoring, they are challenging for practical considerations due to high computational cost and lack of scalability across different image blurs. We bridge this gap by synthesizing the HVS response as a linear combination of Finite Impulse Response (FIR) derivative filters to boost the falloff of high band frequency magnitudes in natural imaging paradigm. The numerical implementation of the HVS filter is carried out with MaxPol filter library that can be arbitrarily set for any differential orders and cutoff frequencies to balance out the estimation of informative features and noise sensitivities. We then design an innovative NR-ISA metric called `HVS-MaxPol' that (a) requires minimal computational cost, (b) produce high correlation accuracy with image blurriness, and (c) scales to assess synthetic and natural image blur. Specifically, the synthetic blur images are constructed by blurring the raw images using Gaussian filter, while natural blur is observed from real-life application such as motion, out-of-focus, etc. Furthermore, we create a natural benchmark database in digital pathology for validation of image focus quality in whole slide imaging systems called `FocusPath' consisting of 864 blurred images. Thorough experiments are designed to test and validate the efficiency of HVS-MaxPol across different blur databases and state-of-the-art NR-ISA metrics. The experiment result indicates that our metric has the best overall performance with respect to speed, accuracy and scalability.


title: The Double Dust Envelopes of R Coronae Borealis Stars

abstract: The study of extended, cold dust envelopes surrounding R Coronae Borealis (RCB) stars began with their discovery by IRAS. RCB stars are carbon-rich supergiants characterized by their extreme hydrogen deficiency and for their irregular and spectacular declines in brightness (up to 9 mags). We have analyzed new and archival Spitzer Space Telescope and Herschel Space Observatory data of the envelopes of seven RCB stars to examine the morphology and investigate the origin of these dusty shells. Herschel, in particular, has revealed the first ever bow shock associated with an RCB star with its observations of SU Tauri. These data have allowed the assembly of the most comprehensive spectral energy distributions (SEDs) of these stars with multi--wavelength data from the ultraviolet to the submillimeter. Radiative transfer modeling of the SEDs implies that the RCB stars in this sample are surrounded by an inner warm (up to 1,200 K) and an outer cold (up to 200 K) envelope. The outer shells are suggested to contain up to 10$^{-3}$ M$_\odot$ of dust and have existed for up to $10^5$ yr depending on the expansion rate of the dust. This age limit indicates that these structures have most likely been formed during the RCB phase.


title: Electronic properties of a $\pi$-conjugated Cairo pentagonal lattice: Direct band gap, ultrahigh carrier mobility and slant Dirac cones

abstract: Two-dimensional (2D) lattices composed exclusively of pentagons represent an exceptional structure of materials correlated to the famous pentagonal tiling problem in mathematics, but their $\pi$-conjugation and the related electronic properties have never been reported. Here, we propose a tight-binding (TB) model for a 2D Cairo pentagonal lattice and demonstrate that $p$-$d$ $\pi$-conjugation in the unique framework leads to intriguing properties, such as an intrinsic direct band gap, ultra-high carrier mobility and even slant Dirac cones. On the basis of first-principles calculations, we predict a candidate material, 2D penta-NiP$_2$ monolayer, derivated from bulk NiP$_2$ crystal, to realize the predictions of the TB model. It has ultra-high carrier mobility ($\sim$$10^5-10^6$ $cm^2V^{-1}s^{-1}$) comparable to that of graphene and an intrinsic direct band gap of 0.818 eV, which are long desired for high-speed electronic devices. The stability and possible synthetic routes of penta-NiP$_2$ monolayer are also discussed.


title: Multiplicity of disc-bearing stars in Upper Scorpius and Upper Centaurus-Lupus

abstract: We present observations of disc-bearing stars in Upper Scorpius (US) and Upper Centaurus-Lupus (UCL) with moderate resolution spectroscopy in order to determine the influence of multiplicity on disc persistence after ~5-20 Myr. Discs were identified using infra-red (IR) excess from the Wide-field Infra-red Survey Explorer (WISE) survey. Our survey consists of 55 US members and 28 UCL members, using spatial and kinematic information to assign a probability of membership. Spectra are gathered from the ANU 2.3m telescope using the Wide Field Spectrograph (WiFeS) to detect radial velocity variations that indicate the presence of a companion. We identify 2 double-lined spectroscopic binaries, both of which have strong IR excess. We find the binary fraction of disc-bearing stars in US and UCL for periods up to 20 years to be $0.06^{0.07}_{0.02}$ and $0.13^{0.06}_{0.03}$ respectively. Based on the multiplicity of field stars, we obtain an expected binary fraction of $0.12^{0.02}_{0.01}$. The determined binary fractions for disc-bearing stars does not vary significantly from the field, suggesting that the overall lifetime of discs may not differ between single and binary star systems.


title: A Class of Weighted TSPs with Applications

abstract: Motivated by applications to poaching and burglary prevention, we define a class of weighted Traveling Salesman Problems on metric spaces. The goal is to output an infinite (though typically periodic) tour that visits the n points repeatedly, such that no point goes unvisited for "too long." More specifically, we consider two objective functions for each point x. The maximum objective is simply the maximum duration of any absence from x, while the quadratic objective is the normalized sum of squares of absence lengths from x. For periodic tours, the quadratic objective captures the expected duration of absence from x at a uniformly random point in time during the tour. The overall objective is then the weighted maximum of the individual points' objectives. When a point has weight w_x, the absences under an optimal tour should be roughly a 1/w_x fraction of the absences from points of weight 1. Thus, the objective naturally encourages visiting high-weight points more frequently, and at roughly evenly spaced intervals. We give a polynomial-time combinatorial algorithm whose output is simultaneously an O(log n) approximation under both objectives. We prove that up to constant factors, approximation guarantees for the quadratic objective directly imply the same guarantees for a natural security patrol game defined in recent work.


title: A different approach to the MHD equilibrium

abstract: Equations describing plasma equilibria are derived from the total energy of the system. The MHD equilibrium is shown to hold even for systems where the magnetic field may locally vanish. Through conservation of helicity, confinement is shown to be intimately related to electromagnetic tension. For an axisymmetric device, the presence of a magnetic field or current circling the axis is shown to be destabilising. This provides a simple explanation for the poor performance of some devices for which MHD predicts stability.


title: A Highly Linear Calibration Metric for TES X-ray Microcalorimeters

abstract: Transition-edge sensor X-ray microcalorimeters are usually calibrated empirically, as the most widely-used calibration metric, optimal filtered pulse height (OFPH), in general has an unknown dependance on photon energy, $E_{\gamma}$. Because the calibration function can only be measured at specific points where photons of a known energy can be produced, this unknown dependence of OFPH on $E_{\gamma}$ leads to calibration errors and the need for time-intensive calibration measurements and analysis. A calibration metric that is nearly linear as a function of $E_{\gamma}$ could help alleviate these problems. In this work, we assess the linearity of a physically motivated calibration metric, $E_{Joule}$. We measure calibration pulses in the range 4.5 keV$<$$E_{\gamma}$$<$9.6 keV with detectors optimized for 6 keV photons to compare the linearity properties of $E_{Joule}$ to OFPH. In these test data sets, we find that $E_{Joule}$ fits a linear function an order of magnitude better than OFPH. Furthermore, calibration functions using $E_{J}$, an optimized version of $E_{Joule}$, are linear within the 2-3 eV noise of the data.


title: sCompile: Critical Path Identification and Analysis for Smart Contracts

abstract: Ethereum smart contracts are an innovation built on top of the blockchain technology, which provides a platform for automatically executing contracts in an anonymous, distributed, and trusted way. The problem is magnified by the fact that smart contracts, unlike ordinary programs, cannot be patched easily once deployed. It is important for smart contracts to be checked against potential vulnerabilities. In this work, we propose an alternative approach to automatically identify critical program paths (with multiple function calls including inter-contract function calls) in a smart contract, rank the paths according to their criticalness, discard them if they are infeasible or otherwise present them with user friendly warnings for user inspection. We identify paths which involve monetary transaction as critical paths, and prioritize those which potentially violate important properties. For scalability, symbolic execution techniques are only applied to top ranked critical paths. Our approach has been implemented in a tool called sCompile, which has been applied to 36,099 smart contracts. The experiment results show that sCompile is efficient, i.e., 5 seconds on average for one smart contract. Furthermore, we show that many known vulnerabilities can be captured if user inspects as few as 10 program paths generated by sCompile. Lastly, sCompile discovered 224 unknown vulnerabilities with a false positive rate of 15.4% before user inspection.


title: Harmonic Hadamard manifolds and Gauss hypergeometric differential equations

abstract: A new class of harmonic Hadamard manifolds, those spaces called of hypergeometric type, is defined in terms of Gauss hypergeometric equations. Spherical Fourier transform defined on a harmonic Hadamard manifold of hypergeometric type admits an inversion formula. A characterization of harmonic Hadamard manifold being of hypergeometric type is obtained with respect to volume density.


title: Slender Origami with Complex 3D Folding Shapes

abstract: One-dimensional slender bodies can be deformed or shaped into spatially complex curves relatively easily due to their inherent compliance. However, traditional methods of fabricating complex spatial shapes are cumbersome, prone to error accumulation and not amenable to elegant programmability. In this letter, we introduce a one-dimensional origami based on attaching Miura-ori that can fold into various programmed two or three-dimensional shapes. We study the out-of-plane displacement characteristics of this origami and demonstrate with examples, design of slender bodies that conform to programmed complex spatial curves. Our study provides a new, accurate, and single actuation solution of shape programmability.


title: Preconditioned Iterative Methods for Diffusion Problems with High-Contrast Inclusions

abstract: This paper concerns robust numerical treatment of an elliptic PDE with high contrast coefficients, for which classical finite-element discretizations yield ill-conditioned linear systems. This paper introduces a procedure by which the discrete system obtained from a linear finite element discretization of the given continuum problem is converted into an equivalent linear system of the saddle point type. Then three preconditioned iterative procedures -- preconditioned Uzawa, preconditioned Lanczos, and PCG for the square of the matrix -- are discussed for a special type of the application, namely, highly conducting particles distributed in the domain. Robust preconditioners for solving the derived saddle point problem are proposed and investigated. Robustness with respect to the contrast parameter and the discretization scale is also justified. Numerical examples support theoretical results and demonstrate independence of the number of iterations of the proposed iterative schemes on the contrast in parameters of the problem and the mesh size.


title: Fusion Subspace Clustering: Full and Incomplete Data

abstract: Modern inference and learning often hinge on identifying low-dimensional structures that approximate large scale data. Subspace clustering achieves this through a union of linear subspaces. However, in contemporary applications data is increasingly often incomplete, rendering standard (full-data) methods inapplicable. On the other hand, existing incomplete-data methods present major drawbacks, like lifting an already high-dimensional problem, or requiring a super polynomial number of samples. Motivated by this, we introduce a new subspace clustering algorithm inspired by fusion penalties. The main idea is to permanently assign each datum to a subspace of its own, and minimize the distance between the subspaces of all data, so that subspaces of the same cluster get fused together. Our approach is entirely new to both, full and missing data, and unlike other methods, it directly allows noise, it requires no liftings, it allows low, high, and even full-rank data, it approaches optimal (information-theoretic) sampling rates, and it does not rely on other methods such as low-rank matrix completion to handle missing data. Furthermore, our extensive experiments on both real and synthetic data show that our approach performs comparably to the state-of-the-art with complete data, and dramatically better if data is missing.


title: Induction of Non-Monotonic Logic Programs to Explain Boosted Tree Models Using LIME

abstract: We present a heuristic based algorithm to induce \textit{nonmonotonic} logic programs that will explain the behavior of XGBoost trained classifiers. We use the technique based on the LIME approach to locally select the most important features contributing to the classification decision. Then, in order to explain the model's global behavior, we propose the LIME-FOLD algorithm ---a heuristic-based inductive logic programming (ILP) algorithm capable of learning non-monotonic logic programs---that we apply to a transformed dataset produced by LIME. Our proposed approach is agnostic to the choice of the ILP algorithm. Our experiments with UCI standard benchmarks suggest a significant improvement in terms of classification evaluation metrics. Meanwhile, the number of induced rules dramatically decreases compared to ALEPH, a state-of-the-art ILP system.


title: Two-pass Light Field Image Compression for Spatial Quality and Angular Consistency

abstract: The quality assessment of light field images presents new challenges to conventional compression methods, as the spatial quality is affected by the optical distortion of capturing devices, and the angular consistency affects the performance of dynamic rendering applications. In this paper, we propose a two-pass encoding system for pseudo-temporal sequence based light field image compression with a novel frame level bit allocation framework that optimizes spatial quality and angular consistency simultaneously. Frame level rate-distortion models are estimated during the first pass, and the second pass performs the actual encoding with optimized bit allocations given by a two-step convex programming. The proposed framework supports various encoder configurations. Experimental results show that comparing to the anchor HM 16.16 (HEVC reference software), the proposed two-pass encoding system on average achieves 11.2% to 11.9% BD-rate reductions for the all-intra configuration, 15.8% to 32.7% BD-rate reductions for the random-access configuration, and 12.1% to 15.7% BD-rate reductions for the low-delay configuration. The resulting bit errors are limited, and the total time cost is less than twice of the one-pass anchor. Comparing with our earlier low-delay configuration based method, the proposed system improves BD-rate reduction by 3.1% to 8.3%, reduces the bit errors by more than 60%, and achieves more than 12x speed up.


title: A Scan Procedure for Multiple Testing

abstract: In a multiple testing framework, we propose a method that identifies the interval with the highest estimated false discovery rate of P-values and rejects the corresponding null hypotheses. Unlike the Benjamini-Hochberg method, which does the same but over intervals with an endpoint at the origin, the new procedure `scans' all intervals. In parallel with \citep*{storey2004strong}, we show that this scan procedure provides strong control of asymptotic false discovery rate. In addition, we investigate its asymptotic false non-discovery rate, deriving conditions under which it outperforms the Benjamini-Hochberg procedure. For example, the scan procedure is superior in power-law location models.


title: Gravitational waves and the polarizations in Ho\v{r}ava gravity after GW170817

abstract: The gravitational waves of Ho\v{r}ava gravity, their polarization states and their possible observational signatures are discussed. Using the gauge-invariant variable formalism, we found the three polarization modes in Ho\v{r}ava gravity excited by the three physical degrees of freedom contained in this theory. In particular, the scalar degree of freedom excites a mix of the transverse breathing and the longitudinal polarizations. The constraints from the previous experimental observations are taken into account, especially including the speed bound from the observations of GW170817 and GRB 170817A. It was found that Ho\v{r}ava theory is highly constrained. Within the experimentally allowed parametric space, we studied whether the pulsar timing arrays and the Gaia mission can be used to distinguish the different polarizations. After calculating the cross-correlation functions between the redshifts of photons and the astrometric positions of stars, one concludes that it is possible to tell whether there exits the scalar polarization using pulsar timing arrays and the Gaia mission.


title: Principal Chiral Model in Correlated Electron Systems

abstract: We discuss noncollinear magnetic phenomena whose local order parameter is characterized by more than one spin vector. By focusing on the simple cases of 2D triangular and 3D pyrochlore lattices, we demonstrate that their low-energy theories can be described by a one-parametric class of sigma models continuously interpolating between the classical Heisenberg model and the principal chiral model ${\rm Tr} \,\left( \partial_a U \partial_a U^\dagger\right)$ for all $U\in \text{SU}(2)$. The target space can be viewed as a U$(1)$ fibration over the $CP(1)$ space. The 3D version of our model is further generalized to break spatial and spin rotation symmetry $\text{SO}(3) \times \text{SO}(3) \to \text{SO}(3)$.


title: The BNSR-invariants of the Houghton groups, concluded

abstract: We give a complete computation of the BNSR-invariants $\Sigma^m(H_n)$ of the Houghton groups $H_n$. Partial results were previously obtained by the author, with a conjecture about the full picture, which we now confirm. The proof involves covering relevant subcomplexes of an associated $CAT(0)$ cube complex by their intersections with certain locally convex subcomplexes, and then applying a strong form of the Nerve Lemma. A consequence of the full computation is that for each $1\le m\le n-1$, $H_n$ admits a map onto $\mathbb{Z}$ whose kernel is of type $F_{m-1}$ but not $F_m$, and moreover no such kernel is ever of type $F_{n-1}$.


title: Transition radiation as a probe of chiral anomaly

abstract: A fast charged particle crossing the boundary between the chiral matter and vacuum radiates the transition radiation. Its most remarkable features --- the resonant behavior at a certain emission angle and the circular polarization of the spectrum --- depend on the parameters of the chiral anomaly in a particular material/matter. The chiral transition radiation can be used to investigate the chiral anomaly in such diverse media as the quark-gluon plasma, the Weyl semimetals, and the axionic dark matter.


title: A comprehensive analysis of Fermi Gamma-Ray Burst Data: IV. Spectral lag and Its Relation to Ep Evolution

abstract: The spectral evolution and spectral lag behavior of 92 bright pulses from 84 gamma-ray bursts (GRBs) observed by the Fermi GBM telescope are studied. These pulses can be classified into hard-to-soft pulses (H2S, 64/92), H2S-dominated-tracking pulses (21/92), and other tracking pulses (7/92). We focus on the relationship between spectral evolution and spectral lags of H2S and H2S-dominated-tracking pulses. %in hard-to-soft pulses (H2S, 64/92) and H2S-dominating-tracking (21/92) pulses. The main trend of spectral evolution (lag behavior) is estimated with $\log E_p\propto k_E\log(t+t_0)$ (${\hat{\tau}} \propto k_{\hat{\tau}}\log E$), where $E_p$ is the peak photon energy in the radiation spectrum, $t+t_0$ is the observer time relative to the beginning of pulse $-t_0$, and ${\hat{\tau}}$ is the spectral lag of photons with energy $E$ with respect to the energy band $8$-$25$ keV. For H2S and H2S-dominated-tracking pulses, a weak correlation between $k_{{\hat{\tau}}}/W$ and $k_E$ is found, where $W$ is the pulse width. We also study the spectral lag behavior with peak time $t_{\rm p_E}$ of pulses for 30 well-shaped pulses and estimate the main trend of the spectral lag behavior with $\log t_{\rm p_E}\propto k_{t_p}\log E$. It is found that $k_{t_p}$ is correlated with $k_E$. We perform simulations under a phenomenological model of spectral evolution, and find that these correlations are reproduced. We then conclude that spectral lags are closely related to spectral evolution within the pulse. The most natural explanation of these observations is that the emission is from the electrons in the same fluid unit at an emission site moving away from the central engine, as expected in the models invoking magnetic dissipation in a moderately-high-$\sigma$ outflow.


title: Laboratory Experiments on Agglomeration of Particles in a Granular Stream

abstract: Inelastic collisions occur among regolith particles, such as those in the ejecta curtain from a crater, and may cause clustering or agglomeration of particles and thus produce discrete patterns of ejecta deposits around a crater. Previous studies have shown that clusters, and even agglomerates, are formed via mutual, inelastic collisions of spherical particles due to adhering forces between particles in granular streams. To investigate the condition of agglomerate formation in granular streams, we conducted laboratory experiments of granular streams using both spherical and irregular, non-spherical particles. Measurements of particle adhesion in this study were performed using a centrifugal separation method, in contrast to the previous study in which atomic force microscopy (AFM) was used. This enabled simultaneous measurements of multiple particles of various shapes for a statistical analysis of the results. With similar relative velocities and adhesion values, irregular particles were found to form agglomerates much more easily than spherical particles. The axial ratio of the agglomerates of spherical particles and irregular particles was similar and was in accordance with those observed in previous laboratory studies, whereas the size of the agglomerates of irregular particles was larger than the size of spherical particles. The degree of agglomeration and the size of agglomerates can be used as an indicator of the shape or adhesive force of the particles in granular stream. Our findings on agglomeration in granular streams could provide new insights into the origin of rays on airless bodies and grooves on Phobos.


title: Dynamic Multi-level Privilege Control in Behavior-based Implicit Authentication Systems Leveraging Mobile Devices

abstract: Implicit authentication (IA) is gaining popularity over recent years due to its use of user behavior as the main input, relieving users from explicit actions such as remembering and entering passwords. However, such convenience comes with a cost of authentication accuracy and delay which we propose to improve in this paper. Authentication accuracy deteriorates as users' behaviors change as a result of mood, age, a change of routine, etc. Current authentication systems handle failed authentication attempts by locking the users out of their mobile devices. It is unsuitable for IA whose accuracy deterioration induces a high false reject rate, rendering the IA system unusable. Furthermore, existing IA systems leverage computationally expensive machine learning, which can introduce a large authentication delay. It is challenging to improve the authentication accuracy of these systems without sacrificing authentication delay. In this paper, we propose a multi-level privilege control (MPC) scheme that dynamically adjusts users' access privilege based on their behavior change. MPC increases the system's confidence in users' legitimacy even when their behaviors deviate from historical data, thus improving authentication accuracy. It is a lightweight feature added to the existing IA schemes that helps avoid frequent and expensive retraining of machine learning models, thus improving authentication delay. We demonstrate that MPC increases authentication accuracy by 18.63\% and reduces authentication delay by 7.02 minutes on average, using a public dataset that contains comprehensive user behavior data.


title: Sequence Discriminative Training for Deep Learning based Acoustic Keyword Spotting

abstract: Speech recognition is a sequence prediction problem. Besides employing various deep learning approaches for framelevel classification, sequence-level discriminative training has been proved to be indispensable to achieve the state-of-the-art performance in large vocabulary continuous speech recognition (LVCSR). However, keyword spotting (KWS), as one of the most common speech recognition tasks, almost only benefits from frame-level deep learning due to the difficulty of getting competing sequence hypotheses. The few studies on sequence discriminative training for KWS are limited for fixed vocabulary or LVCSR based methods and have not been compared to the state-of-the-art deep learning based KWS approaches. In this paper, a sequence discriminative training framework is proposed for both fixed vocabulary and unrestricted acoustic KWS. Sequence discriminative training for both sequence-level generative and discriminative models are systematically investigated. By introducing word-independent phone lattices or non-keyword blank symbols to construct competing hypotheses, feasible and efficient sequence discriminative training approaches are proposed for acoustic KWS. Experiments showed that the proposed approaches obtained consistent and significant improvement in both fixed vocabulary and unrestricted KWS tasks, compared to previous frame-level deep learning based acoustic KWS methods.


title: A golden ratio inequality for vertex degrees of graphs

abstract: Motivated by the study of the crossing number of graphs, it is shown that, for trees, the sum of the products of the degrees of the end-vertices of all edges has an upper bound in terms of the sum of all vertex degrees to the power of $\phi^2$, where $\phi$ is the golden ratio. The exponent $\phi^2$ is best possible. This inequality is generalized for all graphs with bounded maximum average degree.


title: Object Localization and Size Estimation from RGB-D Images

abstract: Depth sensing cameras (e.g., Kinect sensor, Tango phone) can acquire color and depth images that are registered to a common viewpoint. This opens the possibility of developing algorithms that exploit the advantages of both sensing modalities. Traditionally, cues from color images have been used for object localization (e.g., YOLO). However, the addition of a depth image can be further used to segment images that might otherwise have identical color information. Further, the depth image can be used for object size (height/width) estimation (in real-world measurements units, such as meters) as opposed to image based segmentation that would only support drawing bounding boxes around objects of interest. In this paper, we first collect color camera information along with depth information using a custom Android application on Tango Phab2 phone. Second, we perform timing and spatial alignment between the two data sources. Finally, we evaluate several ways of measuring the height of the object of interest within the captured images under a variety of settings.


title: Orbital- and spin-driven lattice instabilities in quasi-one-dimensional CaV$_2$O$_4$

abstract: Calcium vanadate CaV$_2$O$_4$ has a crystal structure of quasi-one-dimensional zigzag chains composed of orbital-active V$^{3+}$ ions and undergoes successive structural and antiferromagnetic phase transitions at $T_s\sim 140$ K and $T_N \sim 70$ K, respectively. We perform ultrasound velocity measurements on a single crystal of CaV$_2$O$_4$. The temperature dependence of its shear elastic moduli exhibits huge Curie-type softening upon cooling that emerges above and below $T_s$ depending on the elastic mode. The softening above $T_s$ suggests the presence of either onsite Jahn-Teller-type or intersite ferro-type orbital fluctuations in the two inequivalent V$^{3+}$ zigzag chains. The softening below $T_s$ suggests the occurrence of a dimensional spin-state crossover, from quasi-one to three, that is driven by the spin-lattice coupling along the inter-zigzag-chain orthogonal direction. The successive emergence of the orbital- and spin-driven lattice instabilities above and below $T_s$, respectively, is unique to the orbital-spin zigzag chain system of CaV$_2$O$_4$.


title: On the tails of the limiting QuickSort density

abstract: We give upper and lower asymptotic bounds for the left tail and for the right tail of the continuous limiting QuickSort density f that are nearly matching in each tail. The bounds strengthen results from a paper of Svante Janson (2015) concerning the corresponding distribution function F. Furthermore, we obtain similar bounds on absolute values of derivatives of f of each order.


title: Microlocal analysis of a restricted ray transform on symmetric $m$-tensor fields in $\mathbb{R}^n$

abstract: We study the microlocal inversion of the ray transform on symmetric $m$-tensor fields restricted to all lines passing through a curve in $\mathbb{R}^{n}$. From this incomplete data, we show that the wavefront set of the solenoidal component of a symmetric $m$-tensor field can be recovered modulo a known singular error term.


title: A Practical Searchable Symmetric Encryption Scheme for Smart Grid Data

abstract: Outsourcing data storage to the remote cloud can be an economical solution to enhance data management in the smart grid ecosystem. To protect the privacy of data, the utility company may choose to encrypt the data before uploading them to the cloud. However, while encryption provides confidentiality to data, it also sacrifices the data owners' ability to query a special segment in their data. Searchable symmetric encryption is a technology that enables users to store documents in ciphertext form while keeping the functionality to search keywords in the documents. However, most state-of-the-art SSE algorithms are only focusing on general document storage, which may become unsuitable for smart grid applications. In this paper, we propose a simple, practical SSE scheme that aims to protect the privacy of data generated in the smart grid. Our scheme achieves high space complexity with small information disclosure that was acceptable for practical smart grid application. We also implement a prototype over the statistical data of advanced meter infrastructure to show the effectiveness of our approach.


title: Power Allocation Strategies for Secure Spatial Modulation

abstract: In secure spatial modulation (SM) networks, power allocation (PA) strategies are investigated in this paper under the total power constraint. Considering that there is no closed-form expression for secrecy rate (SR), an approximate closed-form expression of SR is presented, which is used as an efficient metric to optimize PA factor and can greatly reduce the computation complexity. Based on this expression, a convex optimization (CO) method of maximizing SR (Max-SR) is proposed accordingly. Furthermore, a method of maximizing the product of signal-to-leakage and noise ratio (SLNR) and artificial noise-to-leakage-and noise ratio (ANLNR) (Max-P-SAN) is proposed to provide an analytic solution to PA with extremely low-complexity. Simulation results demonstrate that the SR performance of the proposed CO method is close to that of the optimal PA strategy of Max-SR with exhaustive search and better than that of Max-P-SAN in the high signal-to-noise ratio (SNR) region. However, in the low and medium SNR regions, the SR performance of the proposed Max-P-SAN slightly exceeds that of the proposed CO.


title: Multi-threshold Change Plane Model: Estimation Theory and Applications in Subgroup Identification

abstract: We propose a multi-threshold change plane regression model which naturally partitions the observed subjects into subgroups with different covariate effects. The underlying grouping variable is a linear function of covariates and thus multiple thresholds form parallel change planes in the covariate space. We contribute a novel 2-stage approach to estimate the number of subgroups, the location of thresholds and all other regression parameters. In the first stage we adopt a group selection principle to consistently identify the number of subgroups, while in the second stage change point locations and model parameter estimates are refined by a penalized induced smoothing technique. Our procedure allows sparse solutions for relatively moderate- or high-dimensional covariates. We further establish the asymptotic properties of our proposed estimators under appropriate technical conditions. We evaluate the performance of the proposed methods by simulation studies and provide illustration using two medical data. Our proposal for subgroup identification may lead to an immediate application in personalized medicine.


title: The Effect of Vorticity on QGP Thermodynamics

abstract: Currently there is intense interest in the properties of the Quark-Gluon Plasma produced in peripheral collisions of heavy ions at various facilities, such as the RHIC. In particular, it is essential to understand the difference between such plasmas and their more readily understood counterparts produced in nearly central collisions. The differences arise primarily from the intense magnetic and vorticity fields generated in the QGP in the peripheral case. It has been argued that the magnetic fields might have a profound effect on QGP thermodynamics. Here we will argue, using a gauge-gravity model incorporating the recently proposed holographic vorticity bound, that vorticity also has important consequences for the plasma thermodynamics, in particular, for the entropy density at a given impact energy. A crucial point in our analysis is the need to determine the fate of bulk gravitational parameters when the duality translates them to the boundary.


title: Robust Tracking with Model Mismatch for Fast and Safe Planning: an SOS Optimization Approach

abstract: In the pursuit of real-time motion planning, a commonly adopted practice is to compute a trajectory by running a planning algorithm on a simplified, low-dimensional dynamical model, and then employ a feedback tracking controller that tracks such a trajectory by accounting for the full, high-dimensional system dynamics. While this strategy of planning with model mismatch generally yields fast computation times, there are no guarantees of dynamic feasibility, which hampers application to safety-critical systems. Building upon recent work that addressed this problem through the lens of Hamilton-Jacobi (HJ) reachability, we devise an algorithmic framework whereby one computes, offline, for a pair of "planner" (i.e., low-dimensional) and "tracking" (i.e., high-dimensional) models, a feedback tracking controller and associated tracking bound. This bound is then used as a safety margin when generating motion plans via the low-dimensional model. Specifically, we harness the computational tool of sum-of-squares (SOS) programming to design a bilinear optimization algorithm for the computation of the feedback tracking controller and associated tracking bound. The algorithm is demonstrated via numerical experiments, with an emphasis on investigating the trade-off between the increased computational scalability afforded by SOS and its intrinsic conservativeness. Collectively, our results enable scaling the appealing strategy of planning with model mismatch to systems that are beyond the reach of HJ analysis, while maintaining safety guarantees.


title: The BaseJump Manycore Accelerator Network

abstract: The BaseJump Manycore Accelerator-Network is an open source mesh-based On-Chip-Network which is designed leveraging the Bespoke Silicon Group's 20+ years of experience in designing manycore architectures. It has been used in the 16nm 511-core RISC-V compatible Celerity chip Davidson et al. (2018), forming the basis of both a 1 GHz 496-core RISC-V manycore and a 10-core always-on low voltage complex. It was also used in the 180nm BSG Ten chip, which featured ten cores and a mesh that extends over off-chip links to an FPGA. To facilitate use by the open source community of the BaseJump Manycore network, we explain the ideas, protocols, interfaces and potential uses of the mesh network. We also show an example with source code that demonstrates how to integrate user designs into the mesh network.


title: Direct and indirect $\alpha$ transfer in the elastic $^{16}$O+$^{12}$C scattering

abstract: The extensive elastic $^{16}$O+$^{12}$C scattering data measured at low energies show consistently an oscillating enhancement of the elastic cross section at backward angles that is difficult to describe within the conventional optical model. Given the significant $\alpha$ spectroscopic factors predicted for the dissociation $^{16}$O$\to\alpha+^{12}$C by the shell model (SM) and $\alpha$-cluster model calculations, the contribution of the $\alpha$ transfer channels to the elastic $^{16}$O+$^{12}$C scattering should not be negligible, and is expected to account for the enhanced oscillation of the elastic cross section at backward angles. To reveal the impact of the $\alpha$ transfer, a systematic coupled reaction channels (CRC) analysis of the elastic $^{16}$O+$^{12}$C scattering has been performed where the multistep couplings between the elastic and inelastic scattering channels, the direct and indirect $\alpha$ transfer channels were treated explicitly, using the real optical potentials and inelastic scattering form factors determined by the double-folding model. We show that a consistent CRC description of the elastic $^{16}$O+$^{12}$C data at different energies can be obtained over the whole angular region, using the $\alpha$ spectroscopic factors determined recently in the large scale SM calculation. The present CRC results are, therefore, of interest not only for the nuclear scattering studies but also provide an important spectroscopic information on the cluster dissociation of $^{16}$O.


title: First detection of H$_2$S in a protoplanetary disk. The dense GG Tau A ring

abstract: Studying molecular species in protoplanetary disks is very useful to characterize the properties of these objects, which are the site of planet formation. We attempt to constrain the chemistry of S-bearing molecules in the cold parts of circumstellar disk of GG Tau A. We searched for H$_2$S, CS, SO, and SO$_2$ in the dense disk around GG Tau A with the NOrthem Extended Millimeter Array (NOEMA) interferometer. We detected H$_2$S emission from the dense and cold ring orbiting around GG Tau A. This is the first detection of H$_2$S in a protoplanetary disk. We also detected HCO$^+$, H$^{13}$CO$^+$, and DCO$^+$ in the disk. Upper limits for other molecules, CCS, SO$_2$, SO, HC$_3$N, and $c$-C$_3$H$_2$ are also obtained. The observed DCO$^+$/HCO$^+$ ratio is similar to those in other disks. The observed column densities, derived using our radiative transfer code DiskFit, are then compared with those from our chemical code Nautilus. The column densities are in reasonable agreement for DCO$^{+}$, CS, CCS, and SO$_2$. For H$_2$S and SO, our predicted vertical integrated column densities are more than a factor of 10 higher than the measured values. Our results reinforce the hypothesis that only a strong sulfur depletion may explain the low observed H$_2$S column density in the disk. The H$_2$S detection in GG Tau A is most likely linked to the much larger mass of this disk compared to that in other T Tauri systems.


title: Energy-Efficiency Gains of Caching for Interference Channels

abstract: This paper initiates the study of energy-efficiency gains provided by caching. We focus on the cache-aided Gaussian interference channel in the low-SNR regime. We propose a strategy that creates content overlaps at the transmitter caches to allow for co-operation between the transmitters. This co-operation yields a beamforming gain, which has to be traded off against a multicasting gain. We evaluate the performance of this strategy and show its approximate optimality in both the single-receiver case and the single-transmitter case.


title: Cluster-Based Haldane States in Spin-1/2 Cluster Chains

abstract: The Haldane state is a typical quantum and topological state of matter, which exhibits an edge state corresponding to symmetry-protected topological order in a one-dimensional integer spin chain. This edge state can be utilized for a processing unit of quantum computation. Its realization, however, has difficulties with synthesis of integer spin compounds. In contrast, one-half spin systems are more designable due to recent progress on intended synthesis of organic materials, quantum dots, and optical lattices. Here we propose a concept to design the Haldane state with one-half spins by making use of a chain composed of one-half spin clusters. If the clusters contains two spins, the ground state of a chain corresponds to the Affleck--Kennedy--Lieb--Tasaki state. In the case of an odd number of spins in the clusters, we propose a concrete procedure to construct a field-induced Haldane state. We illustrate the procedure with a 5-spin cluster chain.


title: A variational approximation scheme for elastodynamic problems using a new class of admissible mappings

abstract: We consider a variational approximation scheme for the 3D elastodynamics problem. Our approach uses a new class of admissible mappings that are closed with respect to the space of mappings with finite distortion.


title: Asian Option Pricing under Uncertain Volatility Model

abstract: In this paper, we study the asymptotic behavior of Asian option prices in the worst case scenario under an uncertain volatility model. We give a procedure to approximate the Asian option prices with a small volatility interval. By imposing additional conditions on the boundary condition and cutting the obtained Black-Scholes-Barenblatt equation into two Black-Scholes-like equations, we obtain an approximation method to solve the fully nonlinear PDE.


title: Almost sure well-posedness for the cubic nonlinear Schr\"{o}dinger equation in the super-critical regime on $\TTT^d$, $d\geq 3$

abstract: In this paper we prove almost sure local well-posedness in both atomic spaces $X^s$ and Fourier restriction spaces $X^{s, b}$ for the cubic nonlinear Schr\"odinger equation on $\TTT^d$ ($d\geq 3$) in the super-critical regime.


title: Computing the Dirichlet-Neumann Operator on a Cylinder

abstract: The computation of the Dirichlet-Neumann operator for the Laplace equation is the primary challenge for the numerical simulation of the ideal fluid equations. The techniques used commonly for 2D fluids, such as conformal mapping and boundary integral methods, fail to generalize suitably to 3D. In this study, we address this problem by developing a Transformed Field Expansion method for computing the Dirichlet-Neumann operator in a cylindrical geometry with a variable upper boundary. This technique reduces the problem to a sequence of Poisson equations on a flat geometry. We design a fast and accurate solver for these sub-problems, a key ingredient being the use of Zernike polynomials for the circular cross-section instead of the traditional Bessel functions. This lends spectral accuracy to the method as well as allowing significant computational speed-up. We rigorously analyze the algorithm and prove its applicability to a wide class of problems before demonstrating its effectiveness numerically.


title: Chaff Bugs: Deterring Attackers by Making Software Buggier

abstract: Sophisticated attackers find bugs in software, evaluate their exploitability, and then create and launch exploits for bugs found to be exploitable. Most efforts to secure software attempt either to eliminate bugs or to add mitigations that make exploitation more difficult. In this paper, we introduce a new defensive technique called chaff bugs, which instead target the bug discovery and exploit creation stages of this process. Rather than eliminating bugs, we instead add large numbers of bugs that are provably (but not obviously) non-exploitable. Attackers who attempt to find and exploit bugs in software will, with high probability, find an intentionally placed non-exploitable bug and waste precious resources in trying to build a working exploit. We develop two strategies for ensuring non-exploitability and use them to automatically add thousands of non-exploitable bugs to real-world software such as nginx and libFLAC; we show that the functionality of the software is not harmed and demonstrate that our bugs look exploitable to current triage tools. We believe that chaff bugs can serve as an effective deterrent against both human attackers and automated Cyber Reasoning Systems (CRSes).


title: $C^*$-algebras associated with asymptotic equivalence relations defined by hyperbolic toral automorphisms

abstract: We study the $C^*$-algebras of the \'etale groupoids defined by the asymptotic equivalence relations for hyperbolic automorphisms on the two-dimensional torus. The algebras are proved to be four-dimensional non-commutative tori by an explicit numerical computation. The ranges of the unique tracial states of its $K_0$-groups of the $C^*$-algebras are described in terms of the hyperbolic matrices of the automorphisms on the torus.


title: Adaptive Temporal Encoding Network for Video Instance-level Human Parsing

abstract: Beyond the existing single-person and multiple-person human parsing tasks in static images, this paper makes the first attempt to investigate a more realistic video instance-level human parsing that simultaneously segments out each person instance and parses each instance into more fine-grained parts (e.g., head, leg, dress). We introduce a novel Adaptive Temporal Encoding Network (ATEN) that alternatively performs temporal encoding among key frames and flow-guided feature propagation from other consecutive frames between two key frames. Specifically, ATEN first incorporates a Parsing-RCNN to produce the instance-level parsing result for each key frame, which integrates both the global human parsing and instance-level human segmentation into a unified model. To balance between accuracy and efficiency, the flow-guided feature propagation is used to directly parse consecutive frames according to their identified temporal consistency with key frames. On the other hand, ATEN leverages the convolution gated recurrent units (convGRU) to exploit temporal changes over a series of key frames, which are further used to facilitate the frame-level instance-level parsing. By alternatively performing direct feature propagation between consistent frames and temporal encoding network among key frames, our ATEN achieves a good balance between frame-level accuracy and time efficiency, which is a common crucial problem in video object segmentation research. To demonstrate the superiority of our ATEN, extensive experiments are conducted on the most popular video segmentation benchmark (DAVIS) and a newly collected Video Instance-level Parsing (VIP) dataset, which is the first video instance-level human parsing dataset comprised of 404 sequences and over 20k frames with instance-level and pixel-wise annotations.


title: Bayesian Classification of Multiclass Functional Data

abstract: We propose a Bayesian approach to estimating parameters in multiclass functional models. Unordered multinomial probit, ordered multinomial probit and multinomial logistic models are considered. We use finite random series priors based on a suitable basis such as B-splines in these three multinomial models, and classify the functional data using the Bayes rule. We average over models based on the marginal likelihood estimated from Markov Chain Monte Carlo (MCMC) output. Posterior contraction rates for the three multinomial models are computed. We also consider Bayesian linear and quadratic discriminant analyses on the multivariate data obtained by applying a functional principal component technique on the original functional data. A simulation study is conducted to compare these methods on different types of data. We also apply these methods to a phoneme dataset.


title: Unique equilibrium states for geodesic flows over surfaces without focal points

abstract: In this paper, we study dynamics of geodesic flows over closed surfaces of genus greater than or equal to 2 without focal points. Especially, we prove that there is a large class of potentials having unique equilibrium states, including scalar multiples of the geometric potential, provided the scalar is less than 1. Moreover, we discuss ergodic properties of these unique equilibrium states. We show these unique equilibrium states are Bernoulli, and weighted regular periodic orbits are equidistributed relative to these unique equilibrium states.


title: Efficient and Secure Group Key Management in IoT using Multistage Interconnected PUF

abstract: Secure group-oriented communication is crucial to a wide range of applications in Internet of Things (IoT). Security problems related to group-oriented communications in IoT-based applications placed in a privacy-sensitive environment have become a major concern along with the development of the technology. Unfortunately, many IoT devices are designed to be portable and light-weight; thus, their functionalities, including security modules, are heavily constrained by the limited energy resources (e.g., battery capacity). To address these problems, we propose a group key management scheme based on a novel physically unclonable function (PUF) design: multistage interconnected PUF (MIPUF) to secure group communications in an energy-constrained environment. Our design is capable of performing key management tasks such as key distribution, key storage and rekeying securely and efficiently. We show that our design is secure against multiple attack methods and our experimental results show that our design saves 47.33% of energy globally comparing to state-of-the-art Elliptic-curve cryptography (ECC)-based key management scheme on average.


title: Investigating accuracy of pitch-accent annotations in neural network-based speech synthesis and denoising effects

abstract: We investigated the impact of noisy linguistic features on the performance of a Japanese speech synthesis system based on neural network that uses WaveNet vocoder. We compared an ideal system that uses manually corrected linguistic features including phoneme and prosodic information in training and test sets against a few other systems that use corrupted linguistic features. Both subjective and objective results demonstrate that corrupted linguistic features, especially those in the test set, affected the ideal system's performance significantly in a statistical sense due to a mismatched condition between the training and test sets. Interestingly, while an utterance-level Turing test showed that listeners had a difficult time differentiating synthetic speech from natural speech, it further indicated that adding noise to the linguistic features in the training set can partially reduce the effect of the mismatch, regularize the model, and help the system perform better when linguistic features of the test set are noisy.


title: Parameter redundancy in Type III functional response models with consumer interference

abstract: The consumption rate is a process critically important for the stability of consumer-resource systems and the persistence, sustainability and biodiversity of complex food webs. Its mathematical description in the form of functional response equations is a key problem for describing all trophic interactions. Because some of the functional response models used in this study presented redundancy between its parameters two methods were used to check for parameter redundancy: the Hessian matrix calculation using automatic differentiation (AD) which calculates derivatives numerically, but does not use finite differences, and the symbolic method that calculates a derivative matrix and its rank. In this work, we found that the models that better describe the functional response of a rotifer is consumer dependant even at low consumer densities, but their parameters can not be estimated simultaneously because parameter redundancy. This means that fewer parameters or parameter combination can be estimated than the original number of parameters in the models. Here, the model parameters that incorporate intraspecific competition by interference in the consumer-resource interaction are not identifiable, suggesting that this problem may be more widespread than is generally appreciated in the literature of food webs. Including knowledge on competitive interactions in current model predictions will be a necessity in the next years for ecology as ecological models are getting more complex and more real. Identifiability of biological parameters in nonlinear ecological models will be an issue to consider.


title: Deep Learning for Radio Resource Allocation in Multi-Cell Networks

abstract: Increased complexity and heterogeneity of emerging 5G and beyond 5G (B5G) wireless networks will require a paradigm shift from traditional resource allocation mechanisms. Deep learning (DL) is a powerful tool where a multi-layer neural network can be trained to model a resource management algorithm using network data.Therefore, resource allocation decisions can be obtained without intensive online computations which would be required otherwise for the solution of resource allocation problems. In this context, this article focuses on the application of DL to obtain solutions for the radio resource allocation problems in multi-cell networks. Starting with a brief overview of a deep neural network (DNN) as a DL model, relevant DNN architectures and the data training procedure, we provide an overview of existing state-of-the-art applying DL in the context of radio resource allocation. A qualitative comparison is provided in terms of their objectives, inputs/outputs, learning and data training methods. Then, we present a supervised DL model to solve the sub-band and power allocation problem in a multi-cell network. Using the data generated by a genetic algorithm, we first train the model and then test the accuracy of the proposed model in predicting the resource allocation solutions. Simulation results show that the trained DL model is able to provide the desired optimal solution 86.3% of time.


title: On the achievability of blind source separation for high-dimensional nonlinear source mixtures

abstract: For many years, a combination of principal component analysis (PCA) and independent component analysis (ICA) has been used for blind source separation (BSS). However, it remains unclear why these linear methods work well with real-world data that involve nonlinear source mixtures. This work theoretically validates that a cascade of linear PCA and ICA can solve a nonlinear BSS problem accurately -- when the sensory inputs are generated from hidden sources via nonlinear mappings with sufficient dimensionality. Our proposed theorem, termed the asymptotic linearization theorem, theoretically guarantees that applying linear PCA to the inputs can reliably extract a subspace spanned by the linear projections from every hidden source as the major components -- and thus projecting the inputs onto their major eigenspace can effectively recover a linear transformation of the hidden sources. Then, subsequent application of linear ICA can separate all the true independent hidden sources accurately. Zero-element-wise-error nonlinear BSS is asymptotically attained when the source dimensionality is large and the input dimensionality is sufficiently larger than the source dimensionality. Our proposed theorem is validated analytically and numerically. Moreover, the same computation can be performed by using Hebbian-like plasticity rules, implying the biological plausibility of this nonlinear BSS strategy. Our results highlight the utility of linear PCA and ICA for accurately and reliably recovering nonlinearly mixed sources -- and further suggest the importance of employing sensors with sufficient dimensionality to identify true hidden sources of real-world data.


title: Massive vector multiplet with Dirac-Born-Infeld and new Fayet-Iliopoulos terms in supergravity

abstract: We propose a four-dimensional N = 1 supergravity-based Starobinsky-type inflationary model in terms of a single massive vector multiplet, whose action includes the Dirac-Born-Infeld-type kinetic terms and a generalized (new) Fayet-Iliopolulos-type term without gauging the R-symmetry. The bosonic action and the scalar potential are computed. Inflaton is the superpartner of goldstino in our model, and supersymmetry is spontaneously broken after inflation by the D-type mechanism, whose scale is related to the value of the cosmological constant.


abstract: Cosmic strings and primordial black holes (PBHs) commonly and naturally form in many scenarios describing the early universe. Here we show that if both cosmic strings and PBHs are present, their interaction leads to a range of interesting consequences. At the time of their formation, the PBHs get attached to the strings and influence their evolution, leading to the formation of black-hole-string networks and commonly to the suppression of loop production in a range of redshifts. Subsequently, reconnections within the network give rise to small nets made of several black holes and connecting strings. The number of black holes in the network as well as the stability of the nets depend on the topological properties of the strings. The nets oscillate and shrink exponentially due to the emission of gravitational waves. This leads to potentially observable string-driven mergers of PBHs. The strings can keep PBHs from galactic halos, making the current bounds on PBHs not generally applicable. Alternatively, heavy PBHs can drag low-tension strings into the centers of galaxies. The superconducting strings can appear as radio filaments pointing towards supermassive black holes.


title: PCN: Point Completion Network

abstract: Shape completion, the problem of estimating the complete geometry of objects from partial observations, lies at the core of many vision and robotics applications. In this work, we propose Point Completion Network (PCN), a novel learning-based approach for shape completion. Unlike existing shape completion methods, PCN directly operates on raw point clouds without any structural assumption (e.g. symmetry) or annotation (e.g. semantic class) about the underlying shape. It features a decoder design that enables the generation of fine-grained completions while maintaining a small number of parameters. Our experiments show that PCN produces dense, complete point clouds with realistic structures in the missing regions on inputs with various levels of incompleteness and noise, including cars from LiDAR scans in the KITTI dataset.


title: Lackadaisical quantum walks with multiple marked vertices

abstract: The concept of lackadaisical quantum walk -- quantum walk with self loops -- was first introduced for discrete-time quantum walk on one-dimensional line. Later it was successfully applied to improve the running time of the spacial search on two-dimensional grid. In this paper we study search by lackadaisical quantum walk on the two-dimensional grid with multiple marked vertices. First, we show that the lackadaisical quantum walk, similarly to the regular (non-lackadaisical) quantum walk, has exceptional configuration, i.e. placements of marked vertices for which the walk has no speed-up over the classical exhaustive search. Next, we demonstrate that the weight of the self-loop suggested in the previous papers is not optimal for multiple marked vertices. And, last, we show how to adjust the weight of the self-loop to overcome the aforementioned problem.


title: From Euclidean to Lorentzian Loop Quantum Gravity via a Positive Complexifier

abstract: We construct a positive complexifier, differentiable almost everywhere on the classical phase space of real triads and $SU(2)$ connections, which generates a Wick Transform from Euclidean to Lorentzian gravity everywhere except on a phase space set of measure zero. This Wick transform assigns an equal role to the self dual and anti-self dual Ashtekar variables in quantum theory. We argue that the appropriate quantum arena for an analysis of the properties of the Wick rotation is the diffeomorphism invariant Hilbert space of Loop Quantum Gravity (LQG) rather than its kinematic Hilbert space. We examine issues related to the construction, in quantum theory, of the positive complexifier as a positive operator on this diffeomorphism invariant Hilbert space. Assuming the existence of such an operator, we explore the possibility of identifying physical states in Lorentzian LQG as Wick rotated images of physical states in the Euclidean theory. Our considerations derive from Thiemann's remarkable proposal to define Lorentzian LQG from Euclidean LQG via the implementation in quantum theory of a phase space `Wick rotation' which maps real Ashtekar-Barbero variables to Ashtekar's complex, self dual variables.


title: Reconstructing Strings from Substrings: Optimal Randomized and Average-Case Algorithms

abstract: The problem called "String reconstruction from substrings" is a mathematical model of sequencing by hybridization that plays an important role in DNA sequencing. In this problem, we are given a blackbox oracle holding an unknown string ${\mathcal X}$ and are required to obtain (reconstruct) ${\mathcal X}$ through "substring queries" $Q(S)$. $Q(S)$ is given to the oracle with a string $S$ and the answer of the oracle is Yes if ${\mathcal X}$ includes $S$ as a substring and No otherwise. Our goal is to minimize the number of queries for the reconstruction. In this paper, we deal with only binary strings for ${\mathcal X}$ whose length $n$ is given in advance by using a sequence of good $S$'s. In 1995, Skiena and Sundaram first studied this problem and obtained an algorithm whose query complexity is $n+O(\log n)$. Its information theoretic lower bound is $n$, and they posed an obvious open question; if we can remove the $O(\log n)$ additive term. No progress has been made until now. This paper gives two partially positive answers to this open question. One is a randomized algorithm whose query complexity is $n+O(1)$ with high probability and the other is an average-case algorithm also having a query complexity of $n+O(1)$ on average. The $n$ lower bound is still true for both cases, and hence they are optimal up to an additive constant.


title: Winner-Take-All as Basic Probabilistic Inference Unit of Neuronal Circuits

abstract: Experimental observations of neuroscience suggest that the brain is working a probabilistic way when computing information with uncertainty. This processing could be modeled as Bayesian inference. However, it remains unclear how Bayesian inference could be implemented at the level of neuronal circuits of the brain. In this study, we propose a novel general-purpose neural implementation of probabilistic inference based on a ubiquitous network of cortical microcircuits, termed winner-take-all (WTA) circuit. We show that each WTA circuit could encode the distribution of states defined on a variable. By connecting multiple WTA circuits together, the joint distribution can be represented for arbitrary probabilistic graphical models. Moreover, we prove that the neural dynamics of WTA circuit is able to implement one of the most powerful inference methods in probabilistic graphical models, mean-field inference. We show that the synaptic drive of each spiking neuron in the WTA circuit encodes the marginal probability of the variable in each state, and the firing probability (or firing rate) of each neuron is proportional to the marginal probability. Theoretical analysis and experimental results demonstrate that the WTA circuits can get comparable inference result as mean-field approximation. Taken together, our results suggest that the WTA circuit could be seen as the minimal inference unit of neuronal circuits.


title: Phase-evolution in Co-Sb System: CoSb3 Hydrothermal Synthesis

abstract: Nanostructure CoSb3 samples were synthesized via hydrothermal technique along with different routes to study the phaseevolution in Co-Sb system. X-ray diffraction (XRD) explored to study the phase evolution in Co-Sb system via. Special emphasis on rietveld refinement and scanning electron microscope (SEM) were evaluated to study morphology of the samples. The samples prepared using ramp-route showed presence of different phases that eventually helps in formation of pure phase CoSb3 skuterrudite. Using different solvents to eliminate NaCl impurity also shows that DI-water eliminates NaCl impurity better because of its high solubility.


title: Double Supervised Network with Attention Mechanism for Scene Text Recognition

abstract: In this paper, we propose Double Supervised Network with Attention Mechanism (DSAN), a novel end-to-end trainable framework for scene text recognition. It incorporates one text attention module during feature extraction which enforces the model to focus on text regions and the whole framework is supervised by two branches. One supervision branch comes from context-level modelling and another comes from one extra supervision enhancement branch which aims at tackling inexplicit semantic information at character level. These two supervisions can benefit each other and yield better performance. The proposed approach can recognize text in arbitrary length and does not need any predefined lexicon. Our method outperforms the current state-of-the-art methods on three text recognition benchmarks: IIIT5K, ICDAR2013 and SVT reaching accuracy 88.6%, 92.3% and 84.1% respectively which suggests the effectiveness of the proposed method.


title: An example of a fractal finitely generated solvable group

abstract: A finitely generated solvable group with unbounded iterated identity is constructed.


title: Memristor-based Synaptic Sampling Machines

abstract: Synaptic Sampling Machine (SSM) is a type of neural network model that considers biological unreliability of the synapses. We propose the circuit design of the SSM neural network which is realized through the memristive-CMOS crossbar structure with the synaptic sampling cell (SSC) being used as a basic stochastic unit. The increase in the edge computing devices in the Internet of things era, drives the need for hardware acceleration for data processing and computing. The computational considerations of the processing speed and possibility for the real-time realization pushes the synaptic sampling algorithm that demonstrated promising results on software for hardware implementation.


title: A universal tensor network algorithm for any infinite lattice

abstract: We present a general graph-based Projected Entangled-Pair State (gPEPS) algorithm to approximate ground states of nearest-neighbor local Hamiltonians on any lattice or graph of infinite size. By introducing the structural-matrix which codifies the details of tensor networks on any graphs in any dimension $d$, we are able to produce a code that can be essentially launched to simulate any lattice. We further introduce an optimized algorithm to compute simple tensor updates as well as expectation values and correlators with a mean-field-like effective environments. Though not being variational, this strategy allows to cope with PEPS of very large bond dimension (e.g., $D=100$), and produces remarkably accurate results in the thermodynamic limit in many situations, and specially when the correlation length is small and the connectivity of the lattice is large. We prove the validity of our approach by benchmarking the algorithm against known results for several models, i.e., the antiferromagnetic Heisenberg model on a chain, star and cubic lattices, the hardcore Bose-Hubbard model on square lattice, the ferromagnetic Heisenberg model in a field on the pyrochlore lattice, as well as the $3$-state quantum Potts model in field on the kagome lattice and the spin-$1$ bilinear-biquadratic Heisenberg model on the triangular lattice. We further demonstrate the performance of gPEPS by studying the quantum phase transition of the $2d$ quantum Ising model in transverse magnetic field on the square lattice, and the phase diagram of the Kitaev-Heisenberg model on the hyperhoneycomb lattice. Our results are in excellent agreement with previous studies.


title: Homotopy theory of Lie functors

abstract: A description of the derived functors of Lie functors for free abelian groups is given.


title: Prospects of Neutral Higgs boson decays in the NMSSM

abstract: In this paper, we present the branching ratios of the two lightest CP-even Higgses, $h_1$ and $h_2$, and of the lightest CP-odd Higgs, $a_1$, in the context of the Non-Minimal Supersymmetric Standard Model (NMSSM). We find that for some regions of the parameter space, the branching fractions of $a_1$ into the lightest charginos ($a_1\to \chi^+_1\chi^-_1)$ and neutralinos ($a_1\to \chi^0_1\chi^0_1)$ are larger than $50\%$, and can reach a $100 \%$ level in the latter case. Furthermore, the branching ratio of the $h_2\to a_1a_1$ can be equal to unity for all masses of $h_2$ when it is a pure singlet. The above unusual channels are hallmarks of the existence of the NMSSM.


title: Near-Infrared Spectroscopy of SN 2017eaw in 2017: Carbon Monoxide and Dust Formation in a Type II-P Supernova

abstract: The origin of dust in the early Universe has been the subject of considerable debate. Core-collapse supernovae (ccSNe), which occur several million years after their massive progenitors form, could be a major source of that dust, as in the local universe several ccSNe have been observed to be copious dust producers. Here we report nine near-infrared (0.8 - 2.5 micron) spectra of the Type II-P SN 2017eaw in NGC 6946, spanning the time interval 22 - 205 days after discovery. The specta show the onset of CO formation and continuum emission at wavelengths greater than 2.1 micron from newly-formed hot dust, in addition to numerous lines of hydrogen and metals, which reveal the change in ionization as the density of much of the ejecta decreases. The observed CO masses estimated from an LTE model are typically 10^{-4} Msun during days 124 - 205, but could be an order of magnitude larger if non-LTE conditions are present in the emitting region. The timing of the appearance of CO is remarkably consistent with chemically controlled dust models of Sarangi & Cherchneff.


title: Synapse: Synthetic Application Profiler and Emulator

abstract: Motivated by the need to emulate workload execution characteristics on high-performance and distributed heterogeneous resources, we introduce Synapse. Synapse is used as a proxy application (or "representative application") for real workloads, with the advantage that it can be tuned in different ways and dimensions, and also at levels of granularity that are not possible with real applications. Synapse has a platform-independent application profiler, and has the ability to emulate profiled workloads on a variety of resources. Experiments show that the automated profiling performed using Synapse captures an application's characteristics with high fidelity. The emulation of an application using Synapse can reproduce the application's execution behavior in the original run-time environment, and can also reproduce those behaviors on different run-time environments.


title: corr2D - Implementation of Two-Dimensional Correlation Analysis in R

abstract: In the package corr2D two-dimensional correlation analysis is implemented in R. This paper describes how two-dimensional correlation analysis is done in the package and how the mathematical equations are translated into R code. The paper features a simple tutorial with executable code for beginners, insight into at the calculations done before the correlation analysis, a detailed look at the parallelization of the fast Fourier transformation based correlation analysis and a speed test of the calculation. The package corr2D offers the possibility to preprocess, correlate and postprocess spectroscopic data using exclusively the R language. Thus, corr2D is a welcome addition to the toolbox of spectroscopists and makes two-dimensional correlation analysis more accessible and transparent.


title: Minimal Generators of Annihilators of Neat Even Elements in The Exterior Algebra

abstract: In this paper we exhibit a minimal set of generators form the annihilator of even neat elements of the exterior algebra of a vector space, when the base field is of positive characteristic and thus we prove the conjecture we established in [3]. In order to do that we heavily use the results obtained in [1] and [2]. This also allows us to exhibit a vector space basis for the annihilators under consideration.


title: Linguistic Search Optimization for Deep Learning Based LVCSR

abstract: Recent advances in deep learning based large vocabulary con- tinuous speech recognition (LVCSR) invoke growing demands in large scale speech transcription. The inference process of a speech recognizer is to find a sequence of labels whose corresponding acoustic and language models best match the input feature [1]. The main computation includes two stages: acoustic model (AM) inference and linguistic search (weighted finite-state transducer, WFST). Large computational overheads of both stages hamper the wide application of LVCSR. Benefit from stronger classifiers, deep learning, and more powerful computing devices, we propose general ideas and some initial trials to solve these fundamental problems.


title: Multi-Shot Distributed Transaction Commit (Extended Version)

abstract: Atomic Commit Problem (ACP) is a single-shot agreement problem similar to consensus, meant to model the properties of transaction commit protocols in fault-prone distributed systems. We argue that ACP is too restrictive to capture the complexities of modern transactional data stores, where commit protocols are integrated with concurrency control, and their executions for different transactions are interdependent. As an alternative, we introduce Transaction Certification Service (TCS), a new formal problem that captures safety guarantees of multi-shot transaction commit protocols with integrated concurrency control. TCS is parameterized by a certification function that can be instantiated to support common isolation levels, such as serializability and snapshot isolation. We then derive a provably correct crash-resilient protocol for implementing TCS through successive refinement. Our protocol achieves a better time complexity than mainstream approaches that layer two-phase commit on top of Paxos-style replication.


title: Grain Boundary Premelting of Monolayer Ices in 2D Nano-channels

abstract: We employ molecular-dynamics (MD) simulations to study grain boundary (GB) premelting in ices confined in two-dimensional hydrophobic nano-channels. Premelting transition is observed in a symmetric tilt GB in monolayer ices an involves the formation of a premelting band of liquid phase water with a width that grows logarithmically as the melting temperature is approached from below, consistent with the existing theory of GB premelting. Based on current MD observations, one may expect GB premelting exists over a wide range of low dimensional phases of confined ice and shows important consequences for crystal growth of low dimensional ices.


title: 3D mixed finite elements for curved, flat piezoelectric structures

abstract: The Tangential-Displacement Normal-Normal-Stress (TDNNS) method is a finite element method that was originally introduced for elastic solids and later extended to piezoelectric materials. It uses tangential components of the displacement and normal components of the normal stress vector as degrees of freedom for elasticity. For the electric field, the electric potential is used. The TDNNS method has been shown to provide elements which do not suffer from shear locking. Therefore thin structures (e.g. piezoelectric patch actuators) can be modeled efficiently. Hexahedral and prismatic elements of arbitrary polynomial order are provided in the current contribution. We show that these elements can be used to discretize curved, shell-like geometries by curved elements of high aspect ratio. The order of geometry approximation can be chosen independently from the polynomial order of the shape functions. We present two examples of curved geometries, a circular patch actor and a radially polarized piezoelectric semi-cylinder. Simulation results of the TDNNS method are compared to results gained in ABAQUS. We obtain good results for displacements and electric potential as well as for stresses, strains and electric field when using only one element in thickness direction.


title: On Triangle Estimation using Tripartite Independent Set Queries

abstract: Estimating the number of triangles in a graph is one of the most fundamental problems in sublinear algorithms. In this work, we provide an algorithm that approximately counts the number of triangles in a graph using only polylogarithmic queries when \emph{the number of triangles on any edge in the graph is polylogarithmically bounded}. Our query oracle {\em Tripartite Independent Set} (TIS) takes three disjoint sets of vertices $A$, $B$ and $C$ as inputs, and answers whether there exists a triangle having one endpoint in each of these three sets. Our query model generally belongs to the class of \emph{group queries} (Ron and Tsur, ACM ToCT, 2016; Dell and Lapinskas, STOC 2018) and in particular is inspired by the {\em Bipartite Independent Set} (BIS) query oracle of Beame {\em et al.} (ITCS 2018). We extend the algorithmic framework of Beame {\em et al.}, with \tis replacing \bis, for approximately counting triangles in graphs.


title: Online Temporal Calibration for Monocular Visual-Inertial Systems

abstract: Accurate state estimation is a fundamental module for various intelligent applications, such as robot navigation, autonomous driving, virtual and augmented reality. Visual and inertial fusion is a popular technology for 6-DOF state estimation in recent years. Time instants at which different sensors' measurements are recorded are of crucial importance to the system's robustness and accuracy. In practice, timestamps of each sensor typically suffer from triggering and transmission delays, leading to temporal misalignment (time offsets) among different sensors. Such temporal offset dramatically influences the performance of sensor fusion. To this end, we propose an online approach for calibrating temporal offset between visual and inertial measurements. Our approach achieves temporal offset calibration by jointly optimizing time offset, camera and IMU states, as well as feature locations in a SLAM system. Furthermore, the approach is a general model, which can be easily employed in several feature-based optimization frameworks. Simulation and experimental results demonstrate the high accuracy of our calibration approach even compared with other state-of-art offline tools. The VIO comparison against other methods proves that the online temporal calibration significantly benefits visual-inertial systems. The source code of temporal calibration is integrated into our public project, VINS-Mono.


title: Kinetic Spinodal Instabilities in the Mott Transition in V2O3: Evidence from Hysteresis Scaling and Dissipative Phase Ordering

abstract: We present the first systematic observation of scaling of thermal hysteresis with the temperature scanning rate around an abrupt thermodynamic transition in correlated electron systems. We show that the depth of supercooling and superheating in vanadium sesquioxide (V2O3) shifts with the temperature quench rates. The dynamic scaling exponent is close to the mean field prediction of 2/3. These observations, combined with the purely dissipative continuous ordering seen in "quench-and-hold" experiments, indicate departures from classical nucleation theory toward a barrier-free phase ordering associated with critical dynamics. Observation of critical-like features and scaling in a thermally induced abrupt phase transition suggests that the presence of a spinodal-like instability is not just an artifact of the mean field theories but can also exist in the transformation kinetics of real systems, surviving fluctuations.