title: Flexible Neural Representation for Physics Prediction

abstract: Humans have a remarkable capacity to understand the physical dynamics of objects in their environment, flexibly capturing complex structures and interactions at multiple levels of detail. Inspired by this ability, we propose a hierarchical particle-based object representation that covers a wide variety of types of three-dimensional objects, including both arbitrary rigid geometrical shapes and deformable materials. We then describe the Hierarchical Relation Network (HRN), an end-to-end differentiable neural network based on hierarchical graph convolution, that learns to predict physical dynamics in this representation. Compared to other neural network baselines, the HRN accurately handles complex collisions and nonrigid deformations, generating plausible dynamics predictions at long time scales in novel settings, and scaling to large scene configurations. These results demonstrate an architecture with the potential to form the basis of next-generation physics predictors for use in computer vision, robotics, and quantitative cognitive science.


title: Weighted Sobolev regularity and rate of approximation of the obstacle problem for the integral fractional Laplacian

abstract: We obtain regularity results in weighted Sobolev spaces for the solution of the obstacle problem for the integral fractional Laplacian. The weight is a power of the distance to the boundary. These bounds then serve us as a guide in the design and analysis of an optimal finite element scheme over graded meshes.


title: On the Robustness of Interpretability Methods

abstract: We argue that robustness of explanations---i.e., that similar inputs should give rise to similar explanations---is a key desideratum for interpretability. We introduce metrics to quantify robustness and demonstrate that current methods do not perform well according to these metrics. Finally, we propose ways that robustness can be enforced on existing interpretability approaches.


title: Portable Adaptive Optics for Exoplanet Imaging

abstract: The Portable Adaptive Optics (PAO) is a low-cost and compact system, designed for 4-meter class telescopes that have no Adaptive Optics (AO), because of the physical space limitation at the Nasmyth or Cassegrain focus and the historically high cost of the conventional AO. The initial scientific observations of the PAO are focused on the direct imaging of exoplanets and sub-stellar companions. This paper discusses the PAO concept and the associated high-contrast imaging performance in our recent observational runs. PAO is delivering a Strehl ratio better than 0.6 in H band under median seeing conditions of 1 arcsec. Combined with our dedicated image rotation and subtraction (IRS) technique and the optimized IRS (O-IRS) algorithm, the averaged contrast ratio for a Vmag (5-9) primary star is 1.3E10-5 and 3.3E10-6 at angular distance of 0.36 arcsec under exposure time of 7 minutes and 2 hours, respectively. PAO has successfully recovered the known exoplanet of \k{appa} And b, in our recent observation at 3.5-meter ARC telescope at Apache Point Observatory. We have performed the associated astrometry and photometry analysis of the recovered kappa And b planet, which gives a projected separation of 0.984 +/- 0.05 arcsec, a position angle of 51.1 +/- 0.5 degrees, and a mass of 10.15 (-1.255) (+2.19) MJup. These results demonstrate that PAO can be used for direct imaging of exoplanets with medium-sized telescopes.


title: Improved decay of conical averages of the Fourier transform

abstract: An improved lower bound is given for the decay of conical averages of Fourier transforms of measures, for cones of dimension $d \geq 4$. The proof uses a weighted version of the broad restriction inequality, a narrow decoupling inequality for the cone, and some techniques of Du and Zhang originally developed for the Schr\"odinger equation.


title: Exact solutions of primordial gravitational waves

abstract: The future detection projects of gravitational waves are expected to have the sensitivity of detecting the primordial gravitational waves, which may be useful to get new insight into the very early universe. It is essential to analyze the evolution equation of the gravitational waves to estimate the present field strength of the primordial gravitational waves. In this paper, we obtain analytic solutions of the gravitational wave equation in the presence of non-relativistic matters as well as the cosmological constant. Although it is difficult to obtain the solution directly, we find that the equation for the square of the amplitudes has a simple polynomial solution. This quantity, which is directly related to the energy density of the gravitational waves, turns out to be useful to construct analytic solutions for the amplitudes by using Weierstrass's elliptic functions.


title: Semantic information, autonomous agency, and nonequilibrium statistical physics

abstract: Shannon information theory provides various measures of so-called "syntactic information", which reflect the amount of statistical correlation between systems. In contrast, the concept of "semantic information" refers to those correlations which carry significance or "meaning" for a given system. Semantic information plays an important role in many fields, including biology, cognitive science, and philosophy, and there has been a long-standing interest in formulating a broadly applicable and formal theory of semantic information. In this paper we introduce such a theory. We define semantic information as the syntactic information that a physical system has about its environment which is causally necessary for the system to maintain its own existence. "Causal necessity" is defined in terms of counter-factual interventions which scramble correlations between the system and its environment, while "maintaining existence" is defined in terms of the system's ability to keep itself in a low entropy state. We also use recent results in nonequilibrium statistical physics to analyze semantic information from a thermodynamic point of view. Our framework is grounded in the intrinsic dynamics of a system coupled to an environment, and is applicable to any physical system, living or otherwise. It leads to formal definitions of several concepts that have been intuitively understood to be related to semantic information, including "value of information", "semantic content", and "agency".


title: Error Compensated Quantized SGD and its Applications to Large-scale Distributed Optimization

abstract: Large-scale distributed optimization is of great importance in various applications. For data-parallel based distributed learning, the inter-node gradient communication often becomes the performance bottleneck. In this paper, we propose the error compensated quantized stochastic gradient descent algorithm to improve the training efficiency. Local gradients are quantized to reduce the communication overhead, and accumulated quantization error is utilized to speed up the convergence. Furthermore, we present theoretical analysis on the convergence behaviour, and demonstrate its advantage over competitors. Extensive experiments indicate that our algorithm can compress gradients by a factor of up to two magnitudes without performance degradation.


title: Towards a Grounded Dialog Model for Explainable Artificial Intelligence

abstract: To generate trust with their users, Explainable Artificial Intelligence (XAI) systems need to include an explanation model that can communicate the internal decisions, behaviours and actions to the interacting humans. Successful explanation involves both cognitive and social processes. In this paper we focus on the challenge of meaningful interaction between an explainer and an explainee and investigate the structural aspects of an explanation in order to propose a human explanation dialog model. We follow a bottom-up approach to derive the model by analysing transcripts of 398 different explanation dialog types. We use grounded theory to code and identify key components of which an explanation dialog consists. We carry out further analysis to identify the relationships between components and sequences and cycles that occur in a dialog. We present a generalized state model obtained by the analysis and compare it with an existing conceptual dialog model of explanation.


title: Where does Titan Sand Come From: Insight from Mechanical Properties of Titan Sand Candidates

abstract: Extensive equatorial linear dunes exist on Titan, but the origin of the sand, which appears to be organic, is unknown. We used nanoindentation to study the mechanical properties of a few Titan sand candidates, several natural sands on Earth, and common materials used in the Titan Wind Tunnel, to understand the mobility of Titan sand. We measured the elastic modulus (E), hardness (H), and fracture toughness (Kc) of these materials. Tholin's elastic modulus (10.4+/-0.5 GPa) and hardness (0.53+/-0.03 GPa) are both an order of magnitude smaller than silicate sand, and is also smaller than the mechanically weak white gypsum sand. With a magnitude smaller fracture toughness (Kc=0.036+/-0.007 MPa-m^(1/2)), tholin is also much more brittle than silicate sand. This indicates that Titan sand should be derived close to the equatorial regions where the current dunes are located, because tholin is too soft and brittle to be transported for long distances.


title: Mechanism Design for Two-Opposite-Facility Location Games with Penalties on Distance

abstract: This paper is devoted to the two-opposite-facility location games with a penalty whose amount depends on the distance between the two facilities to be opened by an authority. The two facilities are "opposite" in that one is popular and the other is obnoxious. Every selfish agent in the game wishes to stay close to the popular facility and stay away from the obnoxious one; its utility is measured by the difference between its distances to the obnoxious facility and the popular one. The authority determines the locations of the two facilities on a line segment where all agents are located. Each agent has its location information as private, and is required to report its location to the authority. Using the reported agent locations as input, an algorithmic mechanism run by the authority outputs the locations of the two facilities with an aim to maximize certain social welfare. The sum-type social welfare concerns with the penalized total utility of all agents, for which we design both randomized and deterministic group strategy-proof mechanisms with provable approximation ratios, and establish a lower bound on the approximation ratio of any deterministic strategy-proof mechanism. The bottleneck-type social welfare concerns with the penalized minimum utility among all agents, for which we propose a deterministic group strategy-proof mechanism that ensures optimality.


title: Diffuse x-ray emission from the northern arc of loop I observed with suzaku

abstract: After discovery of the Fermi bubbles, giant structures observed in radio to X-rays have been discussed as possi- ble evidence of past activities in the Galactic Center (GC). We report here on the analysis of Suzaku data pointing around the Loop I arc. The diffuse X-ray emission was well represented by the three-component model: (1) an unabsorbed thermal plasma with kT ~ 0.1 keV either from the Local Hot Bubble (LHB) and/or solar wind charge exchange (SWCX), (2) an absorbed thermal plasma regarded as a contribution from the Loop I and the Galactic halo (GH), and (3) an absorbed power-law component representing the cosmic X-ray background. The temper- ature of the absorbed thermal plasma was clustered in a range of 0.30 +- 0.02 keV along Loop I ("ON" regions), whereas the temperature was about 20 % lower in the cavity adjacent to the bubbles and Loop I ("OFF" regions) with 0.24 +- 0.03 keV. The emission measure (EM) varied along the Galactic latitude, and was well correlated with the count rate variation as measured with the ROSAT in 0.75 keV band. Although the amount of neutral gas was not conclusive to constrain on the distance to Loop I, the observed EM values rule out a hypothesis that the structure is close to the Sun; we argue that the Loop I is a distant, kpc structure of the shock-heated GH gas. We discuss the origin of apparent mismatch in the morphologies of the Fermi bubbles and the Loop I arc, suggesting a two-step explosion process in the GC.


title: Avoiding Bias Due to Nonrandom Scheduling When Modeling Trends in Home-Field Advantage

abstract: Existing approaches for estimating home-field advantage (HFA) include modeling the difference between home and away scores as a function of the difference between home and away team ratings that are treated either as fixed or random effects. We uncover an upward bias in the mixed model HFA estimates that is due to the nonrandom structure of the schedule -- and thus the random effect design matrix -- and explore why the fixed effects model is not subject to the same bias. Intraconference HFAs and standard errors are calculated for each of 3 college sports and 3 professional sports over 18 seasons and then fitted with conference-specific slopes and intercepts to measure the potential linear population trend in HFA.


title: Reconstructing Entanglement Hamiltonian via Entanglement Eigenstates

abstract: The entanglement Hamiltonian $H_E$, defined through the reduced density matrix of a subsystem $\rho_A=\exp(-H_E)$, is an important concept in understanding the nature of quantum entanglement in many-body systems and quantum field theories. In this work, we explore a numerical scheme which explicitly reconstructs the entanglement Hamiltonian using one entangled mode (i.e., an eigenstate) of $\rho_A$. We demonstrate and benchmark this scheme on quantum spin lattice models. The resulting $H_E$ bears a form similar to a physical Hamiltonian with spatially varying couplings, which allows us to make quantitative comparison with perturbation theory and conformal field theory.


title: Interplanetary Scintillation studies with the Murchison Wide-field Array III: Comparison of source counts and densities for radio sources and their sub-arcsecond components at 162 MHz

abstract: We use Murchison Widefield Array observations of interplanetary scintillation (IPS) to determine the source counts of point ($<$0.3 arcsecond extent) sources and of all sources with some subarcsecond structure, at 162 MHz. We have developed the methodology to derive these counts directly from the IPS observables, while taking into account changes in sensitivity across the survey area. The counts of sources with compact structure follow the behaviour of the dominant source population above $\sim$3 Jy but below this they show Euclidean behaviour. We compare our counts to those predicted by simulations and find a good agreement for our counts of sources with compact structure, but significant disagreement for point source counts. Using low radio frequency SEDs from the GLEAM survey, we classify point sources as Compact Steep-Spectrum (CSS), flat spectrum, or peaked. If we consider the CSS sources to be the more evolved counterparts of the peaked sources, the two categories combined comprise approximately 80% of the point source population. We calculate densities of potential calibrators brighter than 0.4 Jy at low frequencies and find 0.2 sources per square degrees for point sources, rising to 0.7 sources per square degree if sources with more complex arcsecond structure are included. We extrapolate to estimate 4.6 sources per square degrees at 0.04 Jy. We find that a peaked spectrum is an excellent predictor for compactness at low frequencies, increasing the number of good calibrators by a factor of three compared to the usual flat spectrum criterion.


title: Gravity in Extreme Regions Based on Noncommutative Quantization of Teleparallel Gravity

abstract: In this paper, a noncommutative gravitational theory is constructed by applying Moyal deformation quantization and the Seiberg-Witten map to teleparallel gravity, a classical gravitational theory, as a gauge theory of local translational symmetry. Since our model is based on teleparallel gravity, it is an extremely simple noncommutative gravitational theory. We also clearly divide the role of the products, such that the metric is responsible for the rule of the inner product (which is calculated by taking the sum over the subscripts) and the Moyal product is responsible for tensor and field noncommutativity. This solves problems related to the order of the products and the relationship between the metric and the Moyal product. Furthermore, we analyze the cosmic evolution of the very early universe and the spacetime features around black holes using the constructed noncommutative gravitational theory, and find that gravity acts repulsively in the extreme region where its quantum effects become prominent.


title: Monolayer Mg$_{2}$C: Negative Poisson's ratio and unconventional 2D emergent fermions

abstract: Novel two-dimensional (2D) emergent fermions and negative Poisson's ratio in 2D materials are fascinating subjects of research. Here, based on first-principles calculations and theoretical analysis, we predict that the hexacoordinated Mg$_{2}$C monolayer hosts both exotic properties. We analyze its phonon spectrum, reveal the Raman active modes, and show that it has small in-plane stiffness constants. Particularly, under the tensile strain in the zigzag direction, the Mg$_{2}$C monolayer shows an intrinsic negative Poisson's ratio $\sim -0.023$, stemming from its unique puckered hinge structure. The material is metallic at its equilibrium state. A moderate biaxial strain can induce a metal-semimetal-semiconductor phase transition, during which several novel types of 2D fermions emerge, including the anisotropic Dirac fermions around 12 tilted Dirac points in the metallic phase, the $2$D double Weyl fermions in the semimetal phase where the conduction and valence bands touch quadratically at a single Fermi point, and the 2D pseudospin-1 fermions at the critical point of the semimetal-semiconductor phase transition where three bands cross at a single point on the Fermi level. In addition, uniaxial strains along the high-symmetry directions break the three-fold rotational symmetry and reduce the number of Dirac points. Interestingly, it also generates 2D type-II Dirac points. We construct effective models to characterize the properties of these novel fermions. Our result reveals Mg$_{2}$C monolayer as an intriguing platform for the study of novel 2D fermions, and also suggests its great potential for nanoscale device applications.


title: Discommensuration-enhanced superconductivity in the charge density wave phases of transition-metal dichalcogenides

abstract: We introduce a McMillan-Ginzburg-Landau theory to describe the cooperative coexistence of charge-density and superconducting order in two-dimensional crystals. With a free-energy that explicitly accounts for the competition between commensurate and incommensurate ground states, we are able to map the transition between these phases and monitor the development of discommensurations in the near-commensurate regime. Attributing the enhancement of superconducting order to density-wave fluctuations, we propose a coupling scheme that yields a phase diagram in qualitative agreement with experiments in conducting transition metal dichalcogenides. The model predicts the development of non-uniform superconductivity similar to that arising from a pair-density wave, with a spatial texture driven by the underlying charge-density wave fluctuations.


title: Learning Cognitive Models using Neural Networks

abstract: A cognitive model of human learning provides information about skills a learner must acquire to perform accurately in a task domain. Cognitive models of learning are not only of scientific interest, but are also valuable in adaptive online tutoring systems. A more accurate model yields more effective tutoring through better instructional decisions. Prior methods of automated cognitive model discovery have typically focused on well-structured domains, relied on student performance data or involved substantial human knowledge engineering. In this paper, we propose Cognitive Representation Learner (CogRL), a novel framework to learn accurate cognitive models in ill-structured domains with no data and little to no human knowledge engineering. Our contribution is two-fold: firstly, we show that representations learnt using CogRL can be used for accurate automatic cognitive model discovery without using any student performance data in several ill-structured domains: Rumble Blocks, Chinese Character, and Article Selection. This is especially effective and useful in domains where an accurate human-authored cognitive model is unavailable or authoring a cognitive model is difficult. Secondly, for domains where a cognitive model is available, we show that representations learned through CogRL can be used to get accurate estimates of skill difficulty and learning rate parameters without using any student performance data. These estimates are shown to highly correlate with estimates using student performance data on an Article Selection dataset.


title: Dimensionality-dependent crossover in motility of polyvalent burnt-bridges ratchets

abstract: The burnt-bridges ratchet (BBR) mechanism is a model for biased molecular motion whereby the construct destroys track binding sites as it progresses, and therefore acts as a diffusing forager, seeking new substrate sites. Using Monte Carlo simulations that implement the Gillespie algorithm, we investigate the kinetic characteristics of simple polyvalent BBRs as they move on tracks of increasing width. We find that as the track width is increased the BBRs remain nearly ballistic for considerable track widths proportional to the span (leg length) of the polyvalent walker, before transitioning to near-conventional diffusion on two-dimensional tracks. We find there exists a tradeoff in BBR track association time and superdiffusivity in the BBR design parameter space of span, polyvalency and track width. Furthermore, we develop an analytical model to describe the ensembleaverage motion on the track and find it is in good agreement with our Gillespie simulation results. This work offers insights into design criteria for de novo BBRs and their associated tracks, where experimentalists seek to optimize directionality and track association time.


title: Percolation Thresholds and Fisher Exponents in Hypercubic Lattices

abstract: We use invasion percolation to compute highly-accurate numerical values for bond and site percolation thresholds p_c on the hypercubic lattice Z^d for d = 4,,,,,13. We also compute the Fisher exponent tau governing the cluster size distribution at criticality. Our results support the claim that the mean-field value tau = 5/2 holds for d >= 6, with logarithmic corrections to power-law scaling at d=6.


title: A simple and efficient numerical procedure to compute the inverse Langevin function with high accuracy

abstract: The inverse Langevin function is a fundamental part of the statistical chain models used to describe the behavior of polymeric-like materials, appearing also in other fields such as magnetism, molecular dynamics and even biomechanics. In the last four years, several approximants of the inverse Langevin function have been proposed. In most of them, optimization techniques are used to reduce the relative error of previously published approximants to reach orders of magnitude of O(10^-2, 10^-3). In this paper a new simple and efficient numerical approach to calculate the inverse Langevin function is proposed. Its main feature is the reduction of the relative errors in all the domain x=[0,1) to near machine precision, maintaining function evaluation CPU times similar to those of the most efficient approximants. The method consists in the discretization of the Langevin function, the calculation of the inverse of these discretization points and their interpolation by cubic splines. In order to reproduce the asymptotic behavior of the inverse Langevin function, a rational function is considered only in the asymptotic zone keeping C^1 continuity with the cubic splines. We include customizable Matlab codes to create the spline coefficients, to evaluate the function, and to compare accuracy and efficiency with other published proposals.


title: Deep Gaussian Process-Based Bayesian Inference for Contaminant Source Localization

abstract: This paper proposes a Bayesian framework for localization of multiple sources in the event of accidental hazardous contaminant release. The framework assimilates sensor measurements of the contaminant concentration with an integrated multizone computational fluid dynamics (multizone-CFD) based contaminant fate and transport model. To ensure online tractability, the framework uses deep Gaussian process (DGP) based emulator of the multizone-CFD model. To effectively represent the transient response of the multizone-CFD model, the DGP emulator is reformulated using a matrix-variate Gaussian process prior. The resultant deep matrix-variate Gaussian process emulator (DMGPE) is used to define the likelihood of the Bayesian framework, while Markov Chain Monte Carlo approach is used to sample from the posterior distribution. The proposed method is evaluated for single and multiple contaminant sources localization tasks modeled by CONTAM simulator in a single-story building of 30 zones, demonstrating that proposed approach accurately perform inference on locations of contaminant sources. Moreover, the DMGP emulator outperforms both GP and DGP emulator with fewer number of hyperparameters.


title: Data Acquisition System for CSNS Neutron Beam Monitor

abstract: In Chinese Spallation Neutron Source (CSNS), proton beam is used to hit metal tungsten target, and then high flux neutrons are generated for experiments on instruments. For neutron flux spectrum correction, boron-coated GEM, lithium glass and 3He are used as neutron beam monitor in instruments. To be integrated into neutron instrument control, a new DAQ software for neutron beam monitor is developed, called NEROS (Neutron Event Readout System). NEROS is based on EPICS V4 and a unified data format for CSNS neutron beam monitor is defined. The framework and software design of NEROS is introduced in this paper, including real-time data readout, data processing, data visualization and data storage in Nexus format. The performance is evaluated through offline test, X-ray test and 252Cf test. The deployment of NEROS and its running result in CSNS instrument commissioning are also introduced in this paper.


title: A Convex Solution of the $H_\infty$-Optimal Controller Synthesis Problem for Multi-Delay Systems

abstract: Optimal controller synthesis is a bilinear problem and hence difficult to solve in a computationally efficient manner. We are able to resolve this bilinearity for systems with delay by first convexifying the problem in infinite-dimensions - formulating the $H_\infty$ optimal state-feedback controller synthesis problem for distributed-parameter systems as a Linear Operator Inequality - a form of convex optimization with operator variables. Next, we use positive matrices to parameterize positive `complete quadratic' operators - allowing the controller synthesis problem to be solved using Semidefinite Programming (SDP). We then use the solution to this SDP to calculate the feedback gains and provide effective methods for real-time implementation. Finally, we use several test cases to verify that the resulting controllers are \textit{optimal} to several decimal places as measured by the minimal achievable closed-loop $H_\infty$ norm, and as compared against controllers designed using high-order Pad\'e approximations.


title: Explosions of blue supergiants from binary mergers for SN 1987A

abstract: Based on the work of Menon & Heger (2017), we present the bolometric light curvesand spectra of the explosions of blue supergiant progenitors from binary mergers. We study SN 1987A and two other peculiar Type IIP supernovae: SN 1998A and SN 2006V. The progenitor models were produced using the stellar evolution code Keplerand then exploded using the 1D radiation hydrodynamic code Crab. The explosions of binary merger models exhibit an overall better fit to the light curve of SN 1987A than previous single star models, because of their lower helium-core masses, larger envelope masses, and smaller radii. The merger model that best matches the observational constraints of the progenitor of SN 1987A and the light curve is a model with a radius of 37 solar radii, an ejecta mass of 20.6 solar masses, an explosion energy of 1.7 Bethe, a nickel mass of 0.073 solar masses, and a nickel mixing velocity of 3,000 km/s. This model also works for SN 1998A and is comparable with earlier estimates from semi-analytic models. In the case of SN 2006V, however, a model with a radius of 150 solar radii and ejecta mass of 19.1 solar masses matches the light curve. These parameters are significantly higher than predictions from semi-analytic models for the progenitor of this supernova.


title: Modular-value-based metrology with spin coherent pointers

abstract: Modular values are quantities that described by pre- and postselected states of quantum systems like weak values but are different from them: The associated interaction is not necessary to be weak. We discuss an optimal modular-value-based measurement with a spin coherent pointer: A quantum system is exposed to a field in which strength is to be estimated through its modular value. We consider two cases, with a two-dimensional and a higher-dimensional pointer, and evaluate the quantum Fisher information. The modular-value-based measurement has no merit in the former case, while its sensitivity can be enhanced in the latter case. We also consider the pointer under a phase-flip error. Our study should motivate researchers to apply the modular-value-based measurements for quantum metrology.


title: Minimal QCDF Model for $B\to\pi K$ Puzzle

abstract: In this work, we propose a model by combining the parameterization method and the QCD factorization to study the $B\to\pi K$ puzzle. The parameterization introduces twelve parameters, the weak angle $\gamma$ and the other eleven hadronic parameters. These hadronic parameters are calculated by the QCD factorization (QCDF). The calculational accuracy of the QCDF is improved by including the twist-3 three parton tree and one loop corrections. Three additional nonperturbative strong phases from the gluonic penguin, color suppressed, and color favored tree diagrams are required to account for the direct CP asymmetries. The weak angle, three nonperturbative strong phases, and four scale variables are assumed as fitting parameters. These eight parameters are determined by a least squares fit to the eight measurements. The fit shows that the hadronic parameters need to be process-dependent. The process-dependent hadronic parameters break the isospin symmetry `dynamically'. A large negative relative phase associated with the internal up quark gluonic penguin diagram is observed. The weak angle $\gamma$ is found to be $72.1\pm5.8$ degree, being consistent with the world averaged value, $72.1\pm5.8$ degree. By a least squares fit to the mixing induced asymmetry $S(\pi^{0}K_{S})=0.58\pm0.06$, the weak angle $\beta$ is determined to be $22.9\pm2.1$ degree, which is in a well agreement with the world averaged value, $22.5\pm4.4\pm0.6$ degree. The model predicts the ratio $C^{\prime}/T^{\prime}$ (color suppressed/color favored) to be $0.59\pm0.08$. The above evidences indicate that the model can solve the $B\to\pi K$ puzzle consistently.


title: Embedding fractals in Banach, Hilbert or Euclidean spaces

abstract: By a metric fractal we understand a compact metric space $K$ endowed with a finite family $\mathcal F$ of contracting self-maps of $K$ such that $K=\bigcup_{f\in\mathcal F}f(K)$. If $K$ is a subset of a metric space $X$ and each $f\in\mathcal F$ extends to a contracting self-map of $X$, then we say that $(K,\mathcal F)$ is a fractal in $X$. We prove that each metric fractal $(K,\mathcal F)$ is $\bullet$ isometrically equivalent to a fractal in the Banach spaces $C[0,1]$ and $\ell_\infty$; $\bullet$ bi-Lipschitz equivalent to a fractal in the Banach space $c_0$; $\bullet$ isometrically equivalent to a fractal in the Hilbert space $\ell_2$ if $K$ is an ultrametric space. We prove that for a metric fractal $(K,\mathcal F)$ with the doubling property there exists $k\in\mathbb N$ such that the metric fractal $(K,\mathcal F^{\circ k})$ endowed with the fractal structure $\mathcal F^{\circ k}=\{f_1\circ\dots\circ f_k:f_1,\dots,f_k\in\mathcal F\}$ is equi-H\"older equivalent to a fractal in a Euclidean space $\mathbb R^d$. This result is used to prove our main result saying that each finite-dimensional compact metrizable space $K$ containing an open uncountable zero-dimensional space $Z$ is homeomorphic to a fractal in a Euclidean space $\mathbb R^d$. For $Z$, being a copy of the Cantor set, this embedding result was proved by Duvall and Husch in 1992.


title: The Proton Beam Real-time Monitor System in CSNS

abstract: In Chinese Spallation Neutron Source (CSNS), proton beam is used to hit metal tungsten target, and then high flux neutron are generated for experiments on instruments. For neutron flux spectrum correction, the current of proton beam is for each instrument. A real time monitor system is developed in CSNS, to monitor, broadcast and record each pulse of proton. Each proton pulse charge is measured and marked with high-precision timestamp. Then, the result of measurement will be broadcasted to control room and each neutron instrument. In control room, the proton charge of each pulse is listened and stored in database by agent program for offline use. The high-precision timestamp can be used to proton charge and neutron data alignment in time scale. The architecture of proton beam monitor system is introduced in this paper. And the performance of this system is evaluated in this paper.


title: Dictionary-Guided Editing Networks for Paraphrase Generation

abstract: An intuitive way for a human to write paraphrase sentences is to replace words or phrases in the original sentence with their corresponding synonyms and make necessary changes to ensure the new sentences are fluent and grammatically correct. We propose a novel approach to modeling the process with dictionary-guided editing networks which effectively conduct rewriting on the source sentence to generate paraphrase sentences. It jointly learns the selection of the appropriate word level and phrase level paraphrase pairs in the context of the original sentence from an off-the-shelf dictionary as well as the generation of fluent natural language sentences. Specifically, the system retrieves a set of word level and phrase level araphrased pairs derived from the Paraphrase Database (PPDB) for the original sentence, which is used to guide the decision of which the words might be deleted or inserted with the soft attention mechanism under the sequence-to-sequence framework. We conduct experiments on two benchmark datasets for paraphrase generation, namely the MSCOCO and Quora dataset. The evaluation results demonstrate that our dictionary-guided editing networks outperforms the baseline methods.


title: Finding Original Image Of A Sub Image Using CNNs

abstract: Convolututional Neural Networks have achieved state of the art in image classification, object detection and other image related tasks. In this paper I present another use of CNNs i.e. if given a set of images and then giving a single test image the network identifies that the test image is part of which image from the images given before. This is a task somehow similar to measuring image similarity and can be done using a simple CNN. Doing this task manually by looping can be quite a time consuming problem and won't be a generalizable solution. The task is quite similar to doing object detection but for that lots training data should be given or in the case of sliding window it takes lot of time and my algorithm can work with much fewer examples, is totally unsupervised and works much efficiently. Also, I explain that how unsupervised algorithm like K-Means or supervised algorithm like K-NN are not good enough to perform this task. The basic idea is that image encodings are collected for each image from a CNN, when a test image comes it is replaced by a part of original image, the encoding is generated using the same network, the frobenius norm is calculated and if it comes under a tolerance level then the test image is said to be the part of the original image.


title: GrCAN: Gradient Boost Convolutional Autoencoder with Neural Decision Forest

abstract: Random forest and deep neural network are two schools of effective classification methods in machine learning. While the random forest is robust irrespective of the data domain, the deep neural network has advantages in handling high dimensional data. In view that a differentiable neural decision forest can be added to the neural network to fully exploit the benefits of both models, in our work, we further combine convolutional autoencoder with neural decision forest, where autoencoder has its advantages in finding the hidden representations of the input data. We develop a gradient boost module and embed it into the proposed convolutional autoencoder with neural decision forest to improve the performance. The idea of gradient boost is to learn and use the residual in the prediction. In addition, we design a structure to learn the parameters of the neural decision forest and gradient boost module at contiguous steps. The extensive experiments on several public datasets demonstrate that our proposed model achieves good efficiency and prediction performance compared with a series of baseline methods.


title: Scalar assisted singlet doublet fermion dark matter model and electroweak vacuum stability

abstract: We extend the so-called singlet doublet dark matter model, where the dark matter is an admixture of a Standard Model singlet and a pair of electroweak doublet fermions, by a singlet scalar field. The new portal coupling of it with the dark sector not only contributes to the dark matter phenomenology (involving relic density and direct detection limits), but also becomes important for generation of dark matter mass through its vacuum expectation value. While the presence of dark sector fermions affects the stability of the electroweak vacuum adversely, we find this additional singlet is capable of making the electroweak vacuum absolutely stable upto the Planck scale. A combined study of dark matter phenomenology and Higgs vacuum stability issue reflects that the scalar sector mixing angle can be significantly constrained in this scenario.


title: Beyond Basins of Attraction: Quantifying Robustness of Natural Dynamics

abstract: Properly designing a system to exhibit favorable natural dynamics can greatly simplify designing or learning the control policy. However, it is still unclear what constitutes favorable natural dynamics and how to quantify its effect. Most studies of simple walking and running models have focused on the basins of attraction of passive limit-cycles and the notion of self-stability. We instead emphasize the importance of stepping beyond basins of attraction. We show an approach based on viability theory to quantify robust sets in state-action space. These sets are valid for the family of all robust control policies, which allows us to quantify the robustness inherent to the natural dynamics before designing the control policy or specifying a control objective. We illustrate our formulation using spring-mass models, simple low dimensional models of running systems. We then show an example application by optimizing robustness of a simulated planar monoped, using a gradient-free optimization scheme. Both case studies result in a nonlinear effective stiffness providing more robustness.


title: Experimental Analysis of Distributed Graph Systems

abstract: This paper evaluates eight parallel graph processing systems: Hadoop, HaLoop, Vertica, Giraph, GraphLab (PowerGraph), Blogel, Flink Gelly, and GraphX (SPARK) over four very large datasets (Twitter, World Road Network, UK 200705, and ClueWeb) using four workloads (PageRank, WCC, SSSP and K-hop). The main objective is to perform an independent scale-out study by experimentally analyzing the performance, usability, and scalability (using up to 128 machines) of these systems. In addition to performance results, we discuss our experiences in using these systems and suggest some system tuning heuristics that lead to better performance.


title: Expanding the Active Inference Landscape: More Intrinsic Motivations in the Perception-Action Loop

abstract: Active inference is an ambitious theory that treats perception, inference and action selection of autonomous agents under the heading of a single principle. It suggests biologically plausible explanations for many cognitive phenomena, including consciousness. In active inference, action selection is driven by an objective function that evaluates possible future actions with respect to current, inferred beliefs about the world. Active inference at its core is independent from extrinsic rewards, resulting in a high level of robustness across e.g.\ different environments or agent morphologies. In the literature, paradigms that share this independence have been summarised under the notion of intrinsic motivations. In general and in contrast to active inference, these models of motivation come without a commitment to particular inference and action selection mechanisms. In this article, we study if the inference and action selection machinery of active inference can also be used by alternatives to the originally included intrinsic motivation. The perception-action loop explicitly relates inference and action selection to the environment and agent memory, and is consequently used as foundation for our analysis. We reconstruct the active inference approach, locate the original formulation within, and show how alternative intrinsic motivations can be used while keeping many of the original features intact. Furthermore, we illustrate the connection to universal reinforcement learning by means of our formalism. Active inference research may profit from comparisons of the dynamics induced by alternative intrinsic motivations. Research on intrinsic motivations may profit from an additional way to implement intrinsically motivated agents that also share the biological plausibility of active inference.


title: Observation of the decay $\Lambda^0_b\rightarrow\psi(2S)p\pi^-$

abstract: The Cabibbo-suppressed decay $\Lambda^0_b\rightarrow\psi(2S)p\pi^-$ is observed for the first time using a data sample collected by the LHCb experiment in proton-proton collisions corresponding to 1.0, 2.0 and 1.9fb$^{-1}$ of integrated luminosity at centre-of-mass energies of 7, 8 and 13TeV, respectively. The $\psi(2S)$ mesons are reconstructed in the $\mu^+\mu^-$ final state. The~branching fraction with respect to that of the $\Lambda^0_b\rightarrow\psi(2S)pK^-$ decay mode is measured to be $$\frac{\mathcal{B}\left(\Lambda^0_b\rightarrow\psi(2S)p\pi^- \right)} {\mathcal{B}\left(\Lambda^0_b\rightarrow\psi(2S)pK^-\right)}=\left(11.4 \pm 1.3 \pm 0.2\right)\!\%\,,$$ where the first uncertainty is statistical and the second is systematic. The $\psi(2S)p$ and $\psi(2S)\pi^-$ mass spectra are investigated and no evidence for exotic resonances is found.


title: Inference of Quantized Neural Networks on Heterogeneous All-Programmable Devices

abstract: Neural networks have established as a generic and powerful means to approach challenging problems such as image classification, object detection or decision making. Their successful employment foots on an enormous demand of compute. The quantization of network parameters and the processed data has proven a valuable measure to reduce the challenges of network inference so effectively that the feasible scope of applications is expanded even into the embedded domain. This paper describes the making of a real-time object detection in a live video stream processed on an embedded all-programmable device. The presented case illustrates how the required processing is tamed and parallelized across both the CPU cores and the programmable logic and how the most suitable resources and powerful extensions, such as NEON vectorization, are leveraged for the individual processing steps. The crafted result is an extended Darknet framework implementing a fully integrated, end-to-end solution from video capture over object annotation to video output applying neural network inference at different quantization levels running at 16~frames per second on an embedded Zynq UltraScale+ (XCZU3EG) platform.


title: Towards Automated Single Channel Source Separation using Neural Networks

abstract: Many applications of single channel source separation (SCSS) including automatic speech recognition (ASR), hearing aids etc. require an estimation of only one source from a mixture of many sources. Treating this special case as a regular SCSS problem where in all constituent sources are given equal priority in terms of reconstruction may result in a suboptimal separation performance. In this paper, we tackle the one source separation problem by suitably modifying the orthodox SCSS framework and focus only on one source at a time. The proposed approach is a generic framework that can be applied to any existing SCSS algorithm, improves performance, and scales well when there are more than two sources in the mixture unlike most existing SCSS methods. Additionally, existing SCSS algorithms rely on fine hyper-parameter tuning hence making them difficult to use in practice. Our framework takes a step towards automatic tuning of the hyper-parameters thereby making our method better suited for the mixture to be separated and thus practically more useful. We test our framework on a neural network based algorithm and the results show an improved performance in terms of SDR and SAR.


title: General Relativistic Gravity Gradiometry

abstract: Gravity gradiometry within the framework of the general theory of relativity involves the measurement of the elements of the relativistic tidal matrix, which is theoretically obtained via the projection of the spacetime curvature tensor upon the nonrotating orthonormal tetrad frame of a geodesic observer. The behavior of the measured components of the curvature tensor under Lorentz boosts is briefly described in connection with the existence of certain special tidal directions. Relativistic gravity gradiometry in the exterior gravitational field of a rotating mass is discussed and a gravitomagnetic beat effect along an inclined spherical geodesic orbit is elucidated.


title: Experimental quantification of spatial correlations in quantum dynamics

abstract: Correlations between different partitions of quantum systems play a central role in a variety of many-body quantum systems, and they have been studied exhaustively in experimental and theoretical research. Here, we investigate dynamical correlations in the time evolution of multiple parts of a composite quantum system. A rigorous measure to quantify correlations in quantum dynamics based on a full tomographic reconstruction of the quantum process has been introduced recently [\'A. Rivas et al., New Journal of Physics, 17(6) 062001 (2015).]. In this work, we derive a lower bound for this correlation measure, which does not require full knowledge of the quantum dynamics. Furthermore we also extend the correlation measure to multipartite systems. We directly apply the developed methods to a trapped ion quantum information processor to experimentally characterize the correlations in quantum dynamics for two- and four-qubit systems. The method proposed and demonstrated in this work is scalable, platform-independent and applicable to other composite quantum systems and quantum information processing architectures. We apply the method to estimate spatial correlations in environmental noise processes, which are crucial for the performance of quantum error correction procedures.


title: Deep Reinforcement Learning for Surgical Gesture Segmentation and Classification

abstract: Recognition of surgical gesture is crucial for surgical skill assessment and efficient surgery training. Prior works on this task are based on either variant graphical models such as HMMs and CRFs, or deep learning models such as Recurrent Neural Networks and Temporal Convolutional Networks. Most of the current approaches usually suffer from over-segmentation and therefore low segment-level edit scores. In contrast, we present an essentially different methodology by modeling the task as a sequential decision-making process. An intelligent agent is trained using reinforcement learning with hierarchical features from a deep model. Temporal consistency is integrated into our action design and reward mechanism to reduce over-segmentation errors. Experiments on JIGSAWS dataset demonstrate that the proposed method performs better than state-of-the-art methods in terms of the edit score and on par in frame-wise accuracy. Our code will be released later.


title: On spin asymmetry in muon and tau decays

abstract: The angular asymmetry in decays of polarized muons and tau leptons is discussed. Both the standard $V-A$ Fermi model and the general parameterization via Michel parameters are considered. Numerical importance of contributions suppressed by charged lepton mass ratio is underlined. Contribution of the second order QED correction is estimated in the leading logarithm approximation.


title: Blind Deconvolutional Phase Retrieval via Convex Programming

abstract: We consider the task of recovering two real or complex $m$-vectors from phaseless Fourier measurements of their circular convolution. Our method is a novel convex relaxation that is based on a lifted matrix recovery formulation that allows a nontrivial convex relaxation of the bilinear measurements from convolution. We prove that if the two signals belong to known random subspaces of dimensions $k$ and $n$, then they can be recovered up to the inherent scaling ambiguity with $m >> (k+n) \log^2 m$ phaseless measurements. Our method provides the first theoretical recovery guarantee for this problem by a computationally efficient algorithm and does not require a solution estimate to be computed for initialization. Our proof is based Rademacher complexity estimates. Additionally, we provide an ADMM implementation of the method and provide numerical experiments that verify the theory.


title: GPOP: A cache- and work-efficient framework for Graph Processing Over Partitions

abstract: Past decade has seen the development of many shared-memory graph processing frameworks, intended to reduce the effort of developing high performance parallel applications. However many of these frameworks, based on Vertex-centric or Edge-centric paradigms suffer from several issues, such as poor cache utilization, irregular memory accesses, heavy use of synchronization primitives and theoretical inefficiency, that deteriorate overall performance and scalability. Recently, we proposed a cache and memory efficient partition-centric paradigm for computing PageRank. In this paper, we generalize this approach to develop a novel Graph Processing Over Partitions (GPOP) framework that is cache-efficient, scalable and work-efficient. GPOP induces locality in memory accesses by increasing granularity of execution to vertex subsets called 'partitions', thereby dramatically improving the cache performance of a variety of graph algorithms. It achieves high scalability by enabling completely lock and atomic free computation. GPOP's built-in analytical performance model enables it to use a hybrid of source and partitioncentric communication modes in a way that ensures work-efficiency each iteration, while simultaneously boosting high bandwidth sequential memory accesses. We extensively evaluate the performance of GPOP for a variety of graph algorithms, using several large datasets. We observe that GPOP incurs up to 9x, 6.8x and 5.5x less L2 cache misses compared to Ligra, GraphMat and Galois, respectively. In terms of execution time, GPOP is upto 19x, 9.3x and 3.6x faster than Ligra, GraphMat and Galois respectively.


title: Tidal Disruption of a Main-Sequence Star by an Intermediate-Mass Black Hole: A Bright Decade

abstract: There has been suggestive evidence of intermediate-mass black holes (IMBHs; 10^{3-5} M_sun) existing in some globular clusters (GCs) and dwarf galaxies, but IMBHs as a population remain elusive. As a main-sequence star passes too close by an IMBH it might be tidally captured and disrupted. We study the long-term accretion and observational consequence of such tidal disruption events. The disruption radius is hundreds to thousands of the BH's Schwarzschild radius, so the circularization of the falling-back debris stream is very inefficient due to weak general relativity effects. Due to this and a high mass fallback rate, the bound debris initially goes through a ~10 yr long super-Eddington accretion phase. The photospheric emission of the outflow ejected during this phase dominates the observable radiation and peaks in the UV/optical bands with a luminosity of 10^42 erg/s. After the accretion rate drops below the Eddington rate, the bolometric luminosity follows the conventional t^{-5/3} power-law decay, and X-rays from the inner accretion disk start to be seen. Modeling the newly reported IMBH tidal disruption event candidate 3XMM J2150-0551, we find a general consistency between the data and predictions. The search for these luminous, long-term events in GCs and nearby dwarf galaxies could unveil the IMBH population.


title: Higher-component quadrupole polarizabilities: Estimations for the clock states of the alkaline earth-metal ions

abstract: Derivations for the higher tensor components of the quadrupole polarizabilities are given and their values for the metastable states of the Ca$^+$, Sr$^+$ and Ba$^+$ alkaline earth-metal ions are estimated. We also give the scalar quadrupole polarizabilities of the ground and metastable states of these ions to compare our results with the previously available theoretical and experimental results. Reasonably good agreement between our calculations with the previous values of scalar quadrupole polarizabilities demonstrate their correctness. The reported scalar and tensor quadrupole polarizabilities could be very useful to estimate the uncertainties due to the gradient of the electric fields in the clock frequencies of the above alkaline earth-metal ions when accuracies of these frequency measurements attain below 10$^{-19}$ precision level.


title: Generic and Universal Parallel Matrix Summation with a Flexible Compression Goal for Xilinx FPGAs

abstract: Bit matrix compression is a highly relevant operation in computer arithmetic. Essentially being a multi-operand addition, it is the key operation behind fast multiplication and many higher-level operations such as multiply-accumulate, the computation of the dot product or the implementation of FIR filters. Compressor implementations have been constantly evolving for greater efficiency both in general and in the context of concrete applications or specific implementation technologies. This paper is building on this history and describes a generic implementation of a bit matrix compressor for Xilinx FPGAs, which does not require a generator tool. It contributes FPGA-oriented metrics for the evaluation of elementary parallel bit counters, a systematic analysis and partial decomposition of previously proposed counters and a fully implemented construction heuristic with a flexible compression target matching the device capabilities. The generic implementation is agnostic of the aspect ratio of the input matrix and can be used for multiplication the same way as it can be for single-column population count operations.


title: Gaia-ESO Survey: INTRIGOSS - A new library of High Resolution Synthetic Spectra

abstract: We present a high resolution synthetic spectral library, INTRIGOSS, designed for studying FGK stars. The library is based on atmosphere models computed with specified individual element abundances via ATLAS12 code. Normalized SPectra (NSP) and surface Flux SPectra (FSP), in the 4830-5400 A, wavelength range, were computed with the SPECTRUM code. INTRIGOSS uses the solar composition by Grevesse et al. 2007 and four [alpha/Fe] abundance ratios and consists of 15,232 spectra. The synthetic spectra are computed with astrophysical gf-values derived by comparing synthetic predictions with a very high SNR solar spectrum and the UVES-U580 spectra of five cool giants. The validity of the NSPs is assessed by using the UVES-U580 spectra of 2212 stars observed in the framework of the Gaia-ESO Survey and characterized by homogeneous and accurate atmospheric parameter values and by detailed chemical compositions. The greater accuracy of NSPs with respect to spectra from the AMBRE, GES_Grid, PHOENIX, C14, and B17 synthetic spectral libraries is demonstrated by evaluating the consistency of the predictions of the different libraries for the UVES-U580 sample stars. The validity of the FSPs is checked by comparing their prediction with both observed spectral energy distribution and spectral indices. The comparison of FSPs with SEDs derived from ELODIE, INDO--U.S., and MILES libraries indicates that the former reproduce the observed flux distributions within a few percent and without any systematic trend. The good agreement between observational and synthetic Lick/SDSS indices shows that the predicted blanketing of FSPs well reproduces the observed one, thus confirming the reliability of INTRIGOSS FSPs.


title: BFGAN: Backward and Forward Generative Adversarial Networks for Lexically Constrained Sentence Generation

abstract: Incorporating prior knowledge like lexical constraints into the model's output to generate meaningful and coherent sentences has many applications in dialogue system, machine translation, image captioning, etc. However, existing RNN-based models incrementally generate sentences from left to right via beam search, which makes it difficult to directly introduce lexical constraints into the generated sentences. In this paper, we propose a new algorithmic framework, dubbed BFGAN, to address this challenge. Specifically, we employ a backward generator and a forward generator to generate lexically constrained sentences together, and use a discriminator to guide the joint training of two generators by assigning them reward signals. Due to the difficulty of BFGAN training, we propose several training techniques to make the training process more stable and efficient. Our extensive experiments on two large-scale datasets with human evaluation demonstrate that BFGAN has significant improvements over previous methods.


title: Stability of Kalman Filtering with a Random Measurement Equation: Application to Sensor Scheduling with Intermittent Observations

abstract: Studying the stability of the Kalman filter whose measurements are randomly lost has been an active research topic for over a decade. In this paper we extend the existing results to a far more general setting in which the measurement equation, i.e., the measurement matrix and the measurement error covariance, are random. Our result also generalizes existing ones in the sense that it does not require the system matrix to be diagonalizable. For this general setting, we state a necessary and a sufficient condition for stability, and address its numerical computation. An important application of our generalization is a networking setting with multiple sensors which transmit their measurement to the estimator using a sensor scheduling protocol over a lossy network. We demonstrate how our result is used for assessing the stability of a Kalman filter in this multi-sensor setting.


title: Lamarckian Evolution of Convolutional Neural Networks

abstract: Convolutional neural networks belong to the most successul image classifiers, but the adaptation of their network architecture to a particular problem is computationally expensive. We show that an evolutionary algorithm saves training time during the network architecture optimization, if learned network weights are inherited over generations by Lamarckian evolution. Experiments on typical image datasets show similar or significantly better test accuracies and improved convergence speeds compared to two different baselines without weight inheritance. On CIFAR-10 and CIFAR-100 a 75 % improvement in data efficiency is observed.


title: Raman spectra of nanoparticles: elasticity theory-like approach for optical phonons

abstract: A simple way to investigate theoretically the Raman spectra (RS) of nonpolar nanoparticles is proposed. For this aim we substitute the original lattice optical phonon eigenproblem by the continuous Klein-Fock-Gordon-like equation with Dirichlet boundary conditions. This approach provides the basis for the continuous description of optical phonons in the same manner how the elasticity theory describes the longwavelength acoustic phonons. Together with continuous reformulation of the bond polarization model it allows to calculate the RS of nanoparticles without referring to their atomistic structure. It ensures the powerful tool for interpreting the experimental data, studying the effects of particle shape and their size distribution. We successfully fit recent experimental data on very small diamond and silicon particles, for which the commonly used phonon confinement model fails. The predictions of our theory are compared with recent results obtained within the dynamical matrix method - bond polarization model (DMM-BPM) approach and an excellent agreement between them is found. The advantages of the present theory are its simplicity and the rapidity of calculations. We analyze how the RS are affected by the nanoparticle faceting and propose a simple power law for Raman peak position dependence on the facets number. The method of powder RS calculations is formulated and the limitations on the accuracy of our analysis are discussed.


title: A Convex Model for Edge-Histogram Specification with Applications to Edge-preserving Smoothing

abstract: The goal of edge-histogram specification is to find an image whose edge image has a histogram that matches a given edge-histogram as much as possible. Mignotte has proposed a non-convex model for the problem [M. Mignotte. An energy-based model for the image edge-histogram specification problem. IEEE Transactions on Image Processing, 21(1):379--386, 2012]. In his work, edge magnitudes of an input image are first modified by histogram specification to match the given edge-histogram. Then, a non-convex model is minimized to find an output image whose edge-histogram matches the modified edge-histogram. The non-convexity of the model hinders the computations and the inclusion of useful constraints such as the dynamic range constraint. In this paper, instead of considering edge magnitudes, we directly consider the image gradients and propose a convex model based on them. Furthermore, we include additional constraints in our model based on different applications. The convexity of our model allows us to compute the output image efficiently using either Alternating Direction Method of Multipliers or Fast Iterative Shrinkage-Thresholding Algorithm. We consider several applications in edge-preserving smoothing including image abstraction, edge extraction, details exaggeration, and documents scan-through removal. Numerical results are given to illustrate that our method successfully produces decent results efficiently.


title: Fluctuation identities for omega-killed Markov additive processes and dividend problem

abstract: In this paper we solve the exit problems for an one-sided Markov additive process (MAP) which is exponentially killed with a bivariate killing intensity $\omega(\cdot,\cdot)$ dependent on the present level of the process and the present state of the environment. Moreover, we analyze respective resolvents. All identities are given in terms of new generalizations of classical scale matrices for the MAP. We also remark on a number of applications of the obtained identities to (controlled) insurance risk processes. In particular, we show that our results can be applied to the so-called Omega model, where bankruptcy occurs at rate $\omega(\cdot,\cdot)$ when the surplus process becomes negative. Finally, we consider the Markov modulated Brownian motion (MMBM) and present the results for the particular choice of piecewise intensity function $\omega(\cdot,\cdot)$.


title: Data-Driven Application Maintenance: Views from the Trenches

abstract: In this paper we present our experience during design, development, and pilot deployments of a data-driven machine learning based application maintenance solution. We implemented a proof of concept to address a spectrum of interrelated problems encountered in application maintenance projects including duplicate incident ticket identification, assignee recommendation, theme mining, and mapping of incidents to business processes. In the context of IT services, these problems are frequently encountered, yet there is a gap in bringing automation and optimization. Despite long-standing research around mining and analysis of software repositories, such research outputs are not adopted well in practice due to the constraints these solutions impose on the users. We discuss need for designing pragmatic solutions with low barriers to adoption and addressing right level of complexity of problems with respect to underlying business constraints and nature of data.


title: Hypergraph p-Laplacian Regularization for Remote Sensing Image Recognition

abstract: It is of great importance to preserve locality and similarity information in semi-supervised learning (SSL) based applications. Graph based SSL and manifold regularization based SSL including Laplacian regularization (LapR) and Hypergraph Laplacian regularization (HLapR) are representative SSL methods and have achieved prominent performance by exploiting the relationship of sample distribution. However, it is still a great challenge to exactly explore and exploit the local structure of the data distribution. In this paper, we present an effect and effective approximation algorithm of Hypergraph p-Laplacian and then propose Hypergraph p-Laplacian regularization (HpLapR) to preserve the geometry of the probability distribution. In particular, p-Laplacian is a nonlinear generalization of the standard graph Laplacian and Hypergraph is a generalization of a standard graph. Therefore, the proposed HpLapR provides more potential to exploiting the local structure preserving. We apply HpLapR to logistic regression and conduct the implementations for remote sensing image recognition. We compare the proposed HpLapR to several popular manifold regularization based SSL methods including LapR, HLapR and HpLapR on UC-Merced dataset. The experimental results demonstrate the superiority of the proposed HpLapR.


title: Fourier series of Jacobi-Sobolev polynomial

abstract: Let $\{q_n^{(\alpha,\beta,m)}(x)\}_{n\ge 0}$ be the orthonormal polynomials respect to the Sobolev-type inner product \begin{equation*} \langle f,g\rangle_{\alpha,\beta,m}=\sum_{k=0}^m \int_{-1}^{1}f^{(k)}(x)g^{(k)}(x)\, dw_{\alpha+k,\beta+k}(x), \quad \alpha,\beta>-1, \quad m\ge 1, \end{equation*} where $dw_{a,b}(x)=(1-x)^{a}(1+x)^b\, dx$. We obtain necessary and sufficient conditions for the uniform boundedness of the partial sum operators related to this sequence of polynomials in the Sobolev space $W_{\alpha,\beta}^{p,m}$. As a consequence we deduce the convergence of such partial sums in the norm of $W_{\alpha,\beta}^{p,m}$.


title: SAGE: using CubeSats for Gravitational Wave Detection

abstract: SAGE (SagnAc interferometer for Gravitational wavE) is a fast track project for a space observatory based on multiple 12-U CubeSats in geostationary orbit. The objective of this project is to create a Sagnac interferometer with 73000 km circular arms. The geometry of the interferometer makes it especially sensitive to circularly polarized gravitational waves at frequency close to 1 Hz. The nature of the Sagnac measurement makes it almost insensitive to position error, allowing spacecrafts in ballistic trajectory. The light source and recombination units of the interferometer are based on compact fibered technologies, without the need of an optical bench. The main limitation would come from non-gravitational acceleration of the spacecraft. However, conditionally upon our ability to post-process the effect of solar wind, solar pressure and thermal expansion, we would detect gravitational waves with strains down to 10^-21 over a few days of observation.


title: Arbitrage-Free Interpolation in Models of Market Observable Interest Rates

abstract: Models which postulate lognormal dynamics for interest rates which are compounded according to market conventions, such as forward LIBOR or forward swap rates, can be constructed initially in a discrete tenor framework. Interpolating interest rates between maturities in the discrete tenor structure is equivalent to extending the model to continuous tenor. The present paper sets forth an alternative way of performing this extension; one which preserves the Markovian properties of the discrete tenor models and guarantees the positivity of all interpolated rates.


title: Violation of all the second laws of thermal operations by inhomogeneous reservoirs

abstract: In the resource theory of thermodynamics, the decrease of the free energy based on von Neumann entropy is not a sufficient condition to determine free evolution. Rather, a whole family of generalised free energies $F_{\alpha}$ must be monotonically decreasing. We study the resilience of this result to relaxations of the framework. We use a toy collisional model, in which the deviations from the ideal situation can be described as arising from inhomogeneities of local fields or temperatures. For any small amount of perturbation, we find that there exist initial states such that both single-shot and averaged values of $F_{\alpha}$ do not decrease monotonically for all $\alpha>0$. A geometric representation accounts for the observed behavior in a graphic way.


title: Ensemble p-Laplacian Regularization for Remote Sensing Image Recognition

abstract: Recently, manifold regularized semi-supervised learning (MRSSL) received considerable attention because it successfully exploits the geometry of the intrinsic data probability distribution including both labeled and unlabeled samples to leverage the performance of a learning model. As a natural nonlinear generalization of graph Laplacian, p-Laplacian has been proved having the rich theoretical foundations to better preserve the local structure. However, it is difficult to determine the fitting graph p-Lapalcian i.e. the parameter which is a critical factor for the performance of graph p-Laplacian. Therefore, we develop an ensemble p-Laplacian regularization (EpLapR) to fully approximate the intrinsic manifold of the data distribution. EpLapR incorporates multiple graphs into a regularization term in order to sufficiently explore the complementation of graph p-Laplacian. Specifically, we construct a fused graph by introducing an optimization approach to assign suitable weights on different p-value graphs. And then, we conduct semi-supervised learning framework on the fused graph. Extensive experiments on UC-Merced data set demonstrate the effectiveness and efficiency of the proposed method.


title: Detecting Cyberattacks in Industrial Control Systems Using Convolutional Neural Networks

abstract: This paper presents a study on detecting cyberattacks on industrial control systems (ICS) using unsupervised deep neural networks, specifically, convolutional neural networks. The study was performed on a SecureWater Treatment testbed (SWaT) dataset, which represents a scaled-down version of a real-world industrial water treatment plant. e suggest a method for anomaly detection based on measuring the statistical deviation of the predicted value from the observed value.We applied the proposed method by using a variety of deep neural networks architectures including different variants of convolutional and recurrent networks. The test dataset from SWaT included 36 different cyberattacks. The proposed method successfully detects the vast majority of the attacks with a low false positive rate thus improving on previous works based on this data set. The results of the study show that 1D convolutional networks can be successfully applied to anomaly detection in industrial control systems and outperform more complex recurrent networks while being much smaller and faster to train.


title: Chirality Josephson current due to a novel quantum anomaly in inversion-asymmetric Weyl semimetals

abstract: We study Josephson junctions based on inversion-asymmetric but time-reversal symmetric Weyl semimetals under the influence of Zeeman fields. We find that, due to distinct spin textures, the Weyl nodes of opposite chirality respond differently to an external magnetic field. Remarkably, a Zeeman field perpendicular to the junction direction results in a phase shift of opposite sign in the current-phase relations of opposite chirality. This leads to a finite chirality Josephson current (CJC) even in the absence of a phase difference across the junction. This feature could allow for applications in chiralitytronics. In the long junction and zero temperature limit, the CJC embodies a novel quantum anomaly of Goldstone bosons at $\pi$ phase difference which is associated with a $\mathbb{Z}_2$ symmetry at low energies. It can be detected experimentally via an anomalous Fraunhofer pattern.


title: High fidelity quantum cloning of two known nonorthogonal quantum states via weak measurement

abstract: We propose a scheme to enhance the fidelity of symmetric quantum cloning machine using a weak measurement. By adjusting the intensity of weak measurement parameter $p$, we obtain the copies with different optimal fidelity. Choosing proper value of $p$, we can obtain the perfect copies for initial qubits. In this paper, we focus on $1-2$ quantum cloning for two nonorthogonal states. Sets containing more than two linear independent states are also discussed briefly. Due to weak measurements being probabilistic, we obtain high fidelity at risk of probability. If the weak measurement successes, we do the following operations to obtain copies with high fidelity, otherwise, the cloning process fails and we need do nothing. From this perspective, the scheme we propose is economical for saving quantum resource and time, which may be very useful in quantum information processing.


title: Electrohydrodynamic interaction between droplet pairs in confined shear flow

abstract: The present study deals with the numerical as well as asymptotic analysis of the electrohydrodynamic interaction between two deformable droplets in a confined shear flow. Considering both the phases as leaky dielectric, we have performed numerical simulations to study the effect of channel confinement on the drop trajectories in the presence of a uniform electric field. Two important varieties of motion are identified in the present analysis, namely (i) the reversing motion and (ii) the passing over motion. The study suggests that conversion of the passing over motion to the reversing motion or vice versa is possible via modulating the strength of the imposed electric field. Such a conversion of the pattern of droplet migration is also possible in a confined domain due to change in different electrical properties of the system. The present numerical model is also able to predict the pattern of the trajectory of individual droplets depending on the initial distance separating the two. For example, a smaller initial distance results in a reversing motion whereas a passing over motion is predicted when the distance between the droplets is significantly large. However, the final positions of the droplets are found to be independent of their initial positions. Interestingly, presence of electric field is found to prevent droplet coalescence to a certain extent depending on its strength, thus rendering the emulsion stable. A small deformation asymptotic model is also developed under the assumption of negligible fluid inertia to support the numerical results for the limiting case of an unbounded flow. The current investigation successfully presents a novel technique to predict the precise positions of a system of droplets in a micro-channel and how electric field can be used as a tool to modulate droplet trajectories in an emulsion.


title: A numerical study on the softening process of iron ore particles in the cohesive zone of an experimental blast furnace using a coupled CFD-DEM method

abstract: Reduced iron-bearing materials start softening in the cohesive zone of a blast furnace due to the high temperature and the weight of the burden above. Softening process causes a reduction of void space between particles. As a result, the pressure drop and gas flow change remarkably in this particular zone. As a consequence, it has a significant influence on the performance of a blast furnace and is needed to be fully characterized. For this reason, the gas rheology along with the deformation of the particles and the heat transfer between particle-particle and particle-gas should be adequately described. In this paper, the eXtended Discrete Element Method (XDEM), as a CFD-DEM approach coupled with the heat transfer, is applied to model complex gas- solid flow during the softening process of pre-reduced iron ore pellets in an Experimental Blast Furnace (EBF). The particle deformation, displacement, temperature, and gas pressure drop and flow under conditions relevant to the EBF operations are examined. Moreover, to accurately capture the high gas velocity inlet, a dual-grid multi-scale approach is applied. The approach and findings are helpful to understand the effect of the softening process on the pressure drop and gas flow in the cohesive zone of the blast furnace.


title: Modeling Word Emotion in Historical Language: Quantity Beats Supposed Stability in Seed Word Selection

abstract: To understand historical texts, we must be aware that language -- including the emotional connotation attached to words -- changes over time. In this paper, we aim at estimating the emotion which is associated with a given word in former language stages of English and German. Emotion is represented following the popular Valence-Arousal-Dominance (VAD) annotation scheme. While being more expressive than polarity alone, existing word emotion induction methods are typically not suited for addressing it. To overcome this limitation, we present adaptations of two popular algorithms to VAD. To measure their effectiveness in diachronic settings, we present the first gold standard for historical word emotions, which was created by scholars with proficiency in the respective language stages and covers both English and German. In contrast to claims in previous work, our findings indicate that hand-selecting small sets of seed words with supposedly stable emotional meaning is actually harmful rather than helpful.


title: The structure of near stoichiometric Ge-Ga-Sb-S glasses: a reverse Monte Carlo study

abstract: The structure of Ge$_{22}$Ga$_3$Sb$_{10}$S$_{65}$ and Ge$_{15}$Ga$_{10}$Sb$_{10}$S$_{65}$ glasses was investigated by neutron diffraction (ND), X-ray diffraction (XRD), and extended X-ray absorption fine structure (EXAFS) measurements at the Ge, Ga and Sb K-edges. Experimental data sets were fitted simultaneously in the framework of the reverse Monte Carlo (RMC) simulation technique. Short range order parameters were determined from the obtained large-scale configurations. It was found that the coordination numbers of Ge, Sb and S are around the values predicted by the Mott-rule (4, 3 and 2, respectively). The Ga atoms have on average 4 nearest neighbors. The structure of these stoichiometric glasses can be described by the chemically ordered network model: Ge-S, Ga-S and Sb-S bonds are the most important. Long Sb-S distances (0.3 - 0.4 {\AA} higher than the usual covalent bond lengths) are observed, suggesting that Sb atoms can be found in various local environments.


title: A data-driven model order reduction approach for Stokes flow through random porous media

abstract: Direct numerical simulation of Stokes flow through an impermeable, rigid body matrix by finite elements requires meshes fine enough to resolve the pore-size scale and is thus a computationally expensive task. The cost is significantly amplified when randomness in the pore microstructure is present and therefore multiple simulations need to be carried out. It is well known that in the limit of scale-separation, Stokes flow can be accurately approximated by Darcy's law with an effective diffusivity field depending on viscosity and the pore-matrix topology. We propose a fully probabilistic, Darcy-type, reduced-order model which, based on only a few tens of full-order Stokes model runs, is capable of learning a map from the fine-scale topology to the effective diffusivity and is maximally predictive of the fine-scale response. The reduced-order model learned can significantly accelerate uncertainty quantification tasks as well as provide quantitative confidence metrics of the predictive estimates produced.


title: Localised response retrieval from Hamamatsu H9500 for a coded aperture neutron-gamma imaging system based on an organic pixelated plastic scintillator (EJ-299-34)

abstract: Localised response of a sensitive light detector, such as Hamamatsu H9500 multi anode photomultiplier tube (MAPMT), is of vital importance for coded-aperture imaging systems. When coupled with a suitable sensitive detector (e.g. EJ-299-34 plastic scintillator), output signals of the MAPMT can be retrieved to infer the interaction location in the pixelated scintillator. Given the number of anodes in H9500 (256), significant processing power would be necessary to handle each pulse individually. Therefore, a readout electronics system was developed, based on resistive network approach, which reduces the number of output signals to individual X and Y coordinates, and subsequently allows particle identification. Coordinates retrieved in this manner can be analysed in real time and used to infer the two-dimensional location. Particle type can be also exploited by pulse shape discrimination (PSD) application to the scintillator response. In this study, 169 anodes were used (due to coded-aperture design rules), and reduced to two X and Y output signals. These have been digitised using a bespoke FPGA based two channel 14-bit 150 MSPS digitiser. The digital data are transferred to a host application using UART to USB converter operating at 12 Mbits/s. Promising results have been observed when the scintillator's response was tested in single particle field of Cs-137. However, further tests performed in the mixed-field environment of Cf-252 suggest that faster digitiser may be required to obtain the required PSD performance.


title: Rotation period of the minor planet 2010 WC9

abstract: Photometric observations of the minor planet 2010 WC9 carried out by one of us (Diepvens) in May 14$^{th}$, 2018 have allowed obtain a lightcurve of around 110 minutes and determine the rotation period of this asteroid.


title: Galaxy-galaxy lensing in the outskirts of CLASH clusters: constraints on local shear and testing mass-luminosity scaling relation

abstract: We present a selection of 24 candidate galaxy-galaxy lensing (GGLs) identified from Hubble images in the outskirts of the massive galaxy clusters from the CLASH survey. These GGLs provide insights into the mass distributions at larger scales than the strong lensing region in the cluster cores. We built parametric mass models for three of these GGLs showing simple lensing configurations, in order to assess the properties of their lens and its environment. We show that the local shear estimated from the GGLs traces the gravitational potential of the clusters at 1-2 arcmin radial distance, allowing us to derive their velocity dispersion. We also find a good agreement between the strength of the shear measured at the GGL positions through strong-lensing modelling and the value derived independently from a weak-lensing analysis of the background sources. Overall, we show the advantages of using single GGL events in the outskirts of clusters to robustly constrain the local shear, even when only photometric redshift estimates are known for the source. We argue that the mass-luminosity scaling relation of cluster members can be tested by modelling the GGLs found around them, and show that the mass parameters can vary up to $\sim$30% between the cluster and GGL models assuming this scaling relation.


title: Real root finding for equivariant semi-algebraic systems

abstract: Let $R$ be a real closed field. We consider basic semi-algebraic sets defined by $n$-variate equations/inequalities of $s$ symmetric polynomials and an equivariant family of polynomials, all of them of degree bounded by $2d < n$. Such a semi-algebraic set is invariant by the action of the symmetric group. We show that such a set is either empty or it contains a point with at most $2d-1$ distinct coordinates. Combining this geometric result with efficient algorithms for real root finding (based on the critical point method), one can decide the emptiness of basic semi-algebraic sets defined by $s$ polynomials of degree $d$ in time $(sn)^{O(d)}$. This improves the state-of-the-art which is exponential in $n$. When the variables $x_1, \ldots, x_n$ are quantified and the coefficients of the input system depend on parameters $y_1, \ldots, y_t$, one also demonstrates that the corresponding one-block quantifier elimination problem can be solved in time $(sn)^{O(dt)}$.


title: A New Approach for Resource Scheduling with Deep Reinforcement Learning

abstract: With the rapid development of deep learning, deep reinforcement learning (DRL) began to appear in the field of resource scheduling in recent years. Based on the previous research on DRL in the literature, we introduce online resource scheduling algorithm DeepRM2 and the offline resource scheduling algorithm DeepRM_Off. Compared with the state-of-the-art DRL algorithm DeepRM and heuristic algorithms, our proposed algorithms have faster convergence speed and better scheduling efficiency with regarding to average slowdown time, job completion time and rewards.


title: Symmetry Breaking of Kramers-Henneberger Atoms by Ponderomotive Force

abstract: It was believed that Kramers-Henneberger atoms in superintense laser field exhibit structure of "dichotomy". However this is not true for focused laser field. Because in focused laser, KH state electrons experience ponderomotive force, which will break the dichotomous structure.


title: A Lagrange Multiplier Method for Semilinear Elliptic State Constrained Optimal Control Problems

abstract: In this paper we apply an augmented Lagrange method to a class of semilinear elliptic optimal control problems with pointwise state constraints. We show strong convergence of subsequences of the primal variables to a local solution of the original problem as well as weak convergence of the adjoint states and weak* convergence of the multipliers associated to the state constraint. Moreover, we show existence of stationary points in arbitrary small neighborhoods of local solutions of the original problem. Additionally, various numerical results are presented.


title: Flow-independent Anisotropic space, and perturbation of resonances

abstract: Given an Anosov vector field $X_0$, all sufficiently close vector fields also are of Anosov type. In this note, we check that one can choose the so-called "Faure-Sj\"ostrand" anistropic spaces to be adapted to any smooth vector field sufficiently close to $X_0$ in $C^1$ norm. It follows that finite families of resonances depend smoothly on the vector field with the usual caveats. In this second version, more details are given on the perturbation of spectral projectors.


title: Topological Data Analysis Made Easy with the Topology ToolKit

abstract: This tutorial presents topological methods for the analysis and visualization of scientific data from a user's perspective, with the Topology ToolKit (TTK), a recently released open-source library for topological data analysis. Topological methods have gained considerably in popularity and maturity over the last twenty years and success stories of established methods have been documented in a wide range of applications (combustion, chemistry, astrophysics, material sciences, etc.) with both acquired and simulated data, in both post-hoc and in-situ contexts. While reference textbooks have been published on the topic, no tutorial at IEEE VIS has covered this area in recent years, and never at a software level and from a user's point-of-view. This tutorial fills this gap by providing a beginner's introduction to topological methods for practitioners, researchers, students, and lecturers. In particular, instead of focusing on theoretical aspects and algorithmic details, this tutorial focuses on how topological methods can be useful in practice for concrete data analysis tasks such as segmentation, feature extraction or tracking. The tutorial describes in detail how to achieve these tasks with TTK. First, after an introduction to topological methods and their application in data analysis, a brief overview of TTK's main entry point for end users, namely ParaView, will be presented. Second, an overview of TTK's main features will be given. A running example will be described in detail, showcasing how to access TTK's features via ParaView, Python, VTK/C++, and C++. Third, hands-on sessions will concretely show how to use TTK in ParaView for multiple, representative data analysis tasks. Fourth, the usage of TTK will be presented for developers, in particular by describing several examples of visualization and data analysis projects that were built on top of TTK. Finally, some feedback regarding the usage of TTK as a teaching platform for topological analysis will be given. Presenters of this tutorial include experts in topological methods, core authors of TTK as well as active users, coming from academia, labs, or industry. A large part of the tutorial will be dedicated to hands-on exercises and a rich material package (including TTK pre-installs in virtual machines, code, data, demos, video tutorials, etc.) will be provided to the participants. This tutorial mostly targets students, practitioners and researchers who are not experts in topological methods but who are interested in using them in their daily tasks. We also target researchers already familiar to topological methods and who are interested in using or contributing to TTK.


title: Two-dimensional, blue phase tactoids

abstract: We use full nematohydrodynamic simulations to study the statics and dynamics of monolayers of cholesteric liquid crystals. Using chirality and temperature as control parameters we show that we can recover the two-dimensional blue phases recently observed in chiral nematics, where hexagonal lattices of half-skyrmion topological excitations are interleaved by lattices of trefoil topological defects. Furthermore, we characterise the transient dynamics during the quench from isotropic to blue phase. We then proceed by confining cholesteric stripes and blue phases within finite-sized tactoids and show that it is possible to access a wealth of reconfigurable droplet shapes including disk-like, elongated, and star-shaped morphologies. Our results demonstrate a potential for constructing controllable, stable structures of liquid crystals by constraining 2D blue phases and varying the chirality, surface tension and elastic constants.


title: Strict Linearizability and Abstract Atomicity

abstract: Linearizability is a commonly accepted consistency condition for concurrent objects. Filipovi\'{c} et al. show that linearizability is equivalent to observational refinement. However, linearizability does not permit concurrent objects to share memory spaces with their client programs. We show that linearizability (or observational refinement) can be broken even though a client program of an object accesses the shared memory spaces without interference from the methods of the object. In this paper, we present strict linearizability which lifts this limitation and can ensure client-side traces and final-states equivalence even in a relaxed program model allowing clients to directly access the states of concurrent objects. We also investigate several important properties of strict linearizability. At a high level of abstraction, a concurrent object can be viewed as a concurrent implementation of an abstract data type (ADT). We also present a correctness criterion for relating an ADT and its concurrent implementation, which is the combination of linearizability and data abstraction and can ensure observational equivalence. We also investigate its relationship with strict linearizability.


title: Symmetry Aware Evaluation of 3D Object Detection and Pose Estimation in Scenes of Many Parts in Bulk

abstract: While 3D object detection and pose estimation has been studied for a long time, its evaluation is not yet completely satisfactory. Indeed, existing datasets typically consist in numerous acquisitions of only a few scenes because of the tediousness of pose annotation, and existing evaluation protocols cannot handle properly objects with symmetries. This work aims at addressing those two points. We first present automatic techniques to produce fully annotated RGBD data of many object instances in arbitrary poses, with which we produce a dataset of thousands of independent scenes of bulk parts composed of both real and synthetic images. We then propose a consistent evaluation methodology suitable for any rigid object, regardless of its symmetries. We illustrate it with two reference object detection and pose estimation methods on different objects, and show that incorporating symmetry considerations into pose estimation methods themselves can lead to significant performance gains. The proposed dataset is available at http://rbregier.github.io/dataset2017.


title: Behavior-based evaluation of session satisfaction

abstract: Nowadays, web search becomes more and more popular all over the world. Many researchers and developers have done lots of studies on behaviors of search users. In practice, the full understanding of these behaviors can not only help to evaluate the usefulness of newly-developed ranking algorithms and other changes of search engine, but also to guide the growth direction of search engine. As far as we know, most of past work are mainly focused on single search evaluation, which do promote the rapid development of search engine in early stage. However,these page-level behaviors are so limited that can no longer give explicit feedbacks on minor changes of the search engine. We think that it will be more accurate and sensitive when more information on search session are provided. In this paper, a session level evaluation method is proposed. The session-level features are retrieved and carefully analyzed. Some linear and non-linear features which can reflect the final degree of satisfaction are chosen and adopted in evaluation models. A two-layer hybrid evaluation model with different granularity, which can achieve good precision and recall, is designed and trained. Lots of real experiments are evaluated by the model, the result shows it achieved a higher accuracy performance than traditional page-level evaluation metrics. Furthermore, for practical application, it is important to interpret the reason of each session's satisfaction judgement. In all, a session-level evaluation model with improved performance and well capability on interpretation is proposed and applied in real practice in search engine companies.


title: An output-sensitive algorithm for the minimization of 2-dimensional String Covers

abstract: String covers are a powerful tool for analyzing the quasi-periodicity of 1-dimensional data and find applications in automata theory, computational biology, coding and the analysis of transactional data. A \emph{cover} of a string $T$ is a string $C$ for which every letter of $T$ lies within some occurrence of $C$. String covers have been generalized in many ways, leading to \emph{k-covers}, \emph{$\lambda$-covers}, \emph{approximate covers} and were studied in different contexts such as \emph{indeterminate strings}. In this paper we generalize string covers to the context of 2-dimensional data, such as images. We show how they can be used for the extraction of textures from images and identification of primitive cells in lattice data. This has interesting applications in image compression, procedural terrain generation and crystallography.


title: Applications for ultimate spatial resolution in LASER based $\mu$-ARPES: A FeSe case study

abstract: Combining Angle resolved photoelectron spectroscopy (ARPES) and a $\mu$-focused Laser, we have performed scanning ARPES microscopy measurements of the domain population within the nematic phase of FeSe single crystals. We are able to demonstrate a variation of the domain population density on a scale of a few 10 $\mu$m while constraining the upper limit of the single domain size to less than 5 $\mu m$. This experiment serves as a demonstration of how combining the advantages of high resolution Laser ARPES and an ultimate control over the spatial dimension can improve investigations of materials by reducing the cross contamination of spectral features of different domains.