title: Effective-energy universality approach describing total multiplicity centrality dependence in heavy-ion collisions

abstract: The recently proposed participant dissipating effective-energy approach is applied to describe the dependence on centrality of the multiplicity of charged particles measured in heavy-ion collisions at the collision energies up to the highest LHC energy of 5 TeV. The effective-energy approach relates multihadron production in different types of collisions, by combining, under the proper collision energy scaling, the constituent quark picture with Landau relativistic hydrodynamics. The measurements are shown to be well described in terms of the centrality-dependent effective energy of participants and an explanation of the differences in the measurements at RHIC and LHC are given by means of the recently introduced hypothesis of the energy-balanced limiting fragmentation scaling. A similarity between the centrality data and the data from most central collisions is proposed pointing to the central character of participant interactions independent of centrality. The findings complement our recent investigations of the similar midrapidity pseudorapidity density measurements extending the description to the full pseudorapidity range in view of the considered similarity of multihadron production in nucleon interactions and heavy-ion collisions.


title: Classification of the Horndeski cosmologies via Noether Symmetries

abstract: Adopting Noether point symmetries, we classify and integrate dynamical systems coming from Horndeski cosmologies. The method is particularly effective both to select the form of Horndeski models and to derive exact cosmological solutions. Starting from the Lagrangians selected by the Noether symmetries, it is possible to derive several modified theories of gravity like $f(R)$ gravity, Brans-Dicke gravity, string inspired gravity and so on. In any case, exact solutions are found out.


title: On Rigid Origami I: Piecewise-planar Paper with Straight-line Creases

abstract: We develop a theoretical framework for rigid origami, and show how this framework can be used to connect rigid origami and results from cognate areas, such as the rigidity theory, graph theory, linkage folding and computer science. First, we give definitions on important concepts in rigid origami, then focus on how to describe the configuration space of a creased paper. The shape and 0-connectedness of the configuration space are analyzed using algebraic, geometric and numeric methods, where the key results from each method are gathered and reviewed.


title: Design of a Low Voltage Analog-to-Digital Converter using Voltage Controlled Stochastic Switching of Low Barrier Nanomagnets

abstract: The inherent stochasticity in many nano-scale devices makes them prospective candidates for low-power computations. Such devices have been demonstrated to exhibit probabilistic switching between two stable states to achieve stochastic behavior. Recently, superparamagnetic nanomagnets (having low energy barrier EB $\sim$ 1kT) have shown promise of achieving stochastic switching at GHz rates, with very low currents. On the other hand, voltage-controlled switching of nanomagnets through the Magneto-electric (ME) effect has shown further improvements in energy efficiency. In this simulation paper, we first analyze the stochastic switching characteristics of such super-paramagnetic nanomagnets in a voltage-controlled spintronic device. We study the influence of external bias on the switching behavior. Subsequently, we show that our proposed device leverages the voltage controlled stochasticity in performing low-voltage 8-bit analog to digital conversions. This eliminates the need for comparators, unlike the Complementary Metal-Oxide Semiconductor (CMOS)-based flash Analog-to-Digital converters (ADC). This device allows for a simple and compact design which can potentially be applied in implementing sensors which desire low voltage conversions.


title: Gersten weight structures for motivic homotopy categories; retracts of cohomology of function fields, motivic dimensions, and coniveau spectral sequences

abstract: For any cohomology theory $H$ that can be factorized through (the Morel-Voevodsky's triangulated motivic homotopy category) $SH^{S^1}(k)$ we establish the $SH^{S^1}(k)$-functoriality of coniveau spectral sequences for $H$. We also prove: for any affine essentially smooth semi-local $S$ the Cousin complex for $H^*(S)$ splits; if $H$ also factorizes through $SH^+(k)$ or $DM(k)$, then this is also true for any primitive $S$. Moreover, the cohomology of such an $S$ is a direct summand of the cohomology of any its open dense subscheme. This is a vast generalization of the results of a previous paper. In order to prove these results we consider certain triangulated categories of motivic pro-spectra, and introduce Gersten weight structures for them. We study in detail the notions of cohomological dimensions of scheme associated to various categories of motivic pro-spectra; they are defined in terms of the corresponding weight structures and count the number of non-zero Nisnevich cohomology for sheaves in the hearts of orthogonal "homotopy" $t$-structures.


title: A continuation method for tensor complementarity problems

abstract: We introduce a Kojima-Megiddo-Mizuno type continuation method for solving tensor complementarity problems. We show that there exists a bounded continuation trajectory when the tensor is strictly semi-positive and any limit point tracing the trajectory gives a solution of the tensor complementarity problem. Moreover, when the tensor is strong strictly semi-positive, tracing the trajectory will converge to the unique solution. Some numerical results are given to illustrate the effectiveness of the method.


title: Dynamical analysis of the circumprimary planet in the eccentric binary system HD59686

abstract: We present a detailed orbital and stability analysis of the HD~59686 binary-star planet system. HD~59686 is a single-lined moderately close ($a_{B} = 13.6\,$AU) eccentric ($e_{B} = 0.73$) binary, where the primary is an evolved K giant with mass $M = 1.9 M_{\odot}$ and the secondary is a star with a minimum mass of $m_{B} = 0.53 M_{\odot}$. Additionally, on the basis of precise radial velocity (RV) data a Jovian planet with a minimum mass of $m_p = 7 M_{\mathrm{Jup}}$, orbiting the primary on a nearly circular S-type orbit with $e_p = 0.05$ and $a_p = 1.09\,$AU, has recently been announced. We investigate large sets of orbital fits consistent with HD 59686's radial velocity data by applying bootstrap and systematic grid-search techniques coupled with self-consistent dynamical fitting. We perform long-term dynamical integrations of these fits to constrain the permitted orbital configurations. We find that if the binary and the planet in this system have prograde and aligned coplanar orbits, there are narrow regions of stable orbital solutions locked in a secular apsidal alignment with the angle between the periapses, $\Delta \omega$, librating about $0^\circ$. We also test a large number of mutually inclined dynamical models in an attempt to constrain the three-dimensional orbital architecture. We find that for nearly coplanar and retrograde orbits with mutual inclination $145^\circ \lesssim \Delta i \leq 180^\circ$, the system is fully stable for a large range of orbital solutions.


title: Primitive values of quadratic polynomials in a finite field

abstract: We prove that for all $q>211$, there always exists a primitive root $g$ in the finite field $\mathbb{F}_{q}$ such that $Q(g)$ is also a primitive root, where $Q(x)= ax^2 + bx + c$ is a quadratic polynomial with $a, b, c\in \mathbb{F}_{q}$ such that $b^{2} - 4ac \neq 0$.


title: Gradient Bounds for Kolmogorov Type Diffusions

abstract: We study gradient bounds and other functional inequalities for the diffusion semigroup generated by Kolmogorov type operators. The focus is on two different methods: coupling techniques and generalized $\Gamma$-calculus techniques. The advantages and drawbacks of each of these methods are discussed.


title: The radius of a typical-mass neutron star and chiral effective field theory

abstract: We calculate neutron star masses and radii from equations of state based on recent high-quality chiral nucleon-nucleon potentials up to fifth order of the chiral expansion and the leading chiral three- nucleon force. Our focus is on the radius of a 1.4 M_{Sun} neutron star, for which we report predictions that are consistent with the most recent constraints. We also show the full M(R) relations up to their respective maximum masses. Beyond the densities for which microscopic predictions are derived from chiral forces, the equations of state are obtained via polytropic continuations. However, the radius of a 1.4 M_{Sun} neutron star is nearly insensitive to the high-density extrapolation.


title: High-Precision Measurement of Sine and Pulse Reference Signals using Software-Defined Radio

abstract: This paper addresses simultaneous, high-precision measurement and analysis of generic reference signals by using inexpensive commercial off-the-shelf Software Defined Radio hardware. Sine reference signals are digitally down-converted to baseband for the analysis of phase deviations. Hereby, we compare the precision of the fixed-point hardware Digital Signal Processing chain with a custom Single Instruction Multiple Data (SIMD) x86 floating-point implementation. Pulse reference signals are analyzed by a software trigger that precisely locates the time where the slope passes a certain threshold. The measurement system is implemented and verified using the Universal Software Radio Peripheral (USRP) N210 by Ettus Research LLC. Applying standard 10 MHz and 1 PPS reference signals for testing, a measurement precision (standard deviation) of 0.36 ps and 16.6 ps is obtained, respectively. In connection with standard PC hardware, the system allows long-term acquisition and storage of measurement data over several weeks. A comparison is given to the Dual Mixer Time Difference (DMTD) and Time Interval Counter (TIC), which are state-of-the-art measurement methods for sine and pulse signal analysis, respectively. Furthermore, we show that our proposed USRP-based approach outperforms measurements with a high-grade Digital Sampling Oscilloscope.


title: An Investigation of the Bound State Solutions of the Klein-Gordon Equation for the Generalized Woods-Saxon Potential in Spin Symmetry and Pseudo-spin Symmetry Limits

abstract: Recently, scattering of a Klein-Gordon particle in the presence of mixed scalar-vector generalized symmetric Woods-Saxon potential was investigated for the spin symmetric and the pseudo-spin symmetric limits in one spatial dimension. In this manuscript, the bound state solutions of the Klein-Gordon equation with mixed scalar-vector generalized symmetric Woods-Saxon potential are examined analytically within the framework of spin and pseudo-spin symmetry limits. We prove that the occurrence of bound state energy spectrum exists only in the spin symmetric limit, while in the pseudo-spin symmetric limit, the bound state spectrum does not exist. Besides the theoretical proof, the Newton-Raphson numerical methods are used to calculate the bound state energy spectra of a neutral Kaon particle, confined in a generalized symmetric Woods-Saxon potential, energy well constituted with repulsive or attractive surface interactions, for the spin and pseudo-spin symmetric limits, respectively. Numerical results are consistent with the non-existence of the bound state energy spectrum in the pseudo-spin symmetric limit.


title: Hierarchical Modeling and Shrinkage for User Session Length Prediction in Media Streaming

abstract: An important metric of users' satisfaction and engagement within on-line streaming services is the user session length, i.e. the amount of time they spend on a service continuously without interruption. Being able to predict this value directly benefits the recommendation and ad pacing contexts in music and video streaming services. Recent research has shown that predicting the exact amount of time spent is highly nontrivial due to many external factors for which a user can end a session, and the lack of predictive covariates. Most of the other related literature on duration based user engagement has focused on dwell time for websites, for search and display ads, mainly for post-click satisfaction prediction or ad ranking. In this work we present a novel framework inspired by hierarchical Bayesian modeling to predict, at the moment of login, the amount of time a user will spend in the streaming service. The time spent by a user on a platform depends upon user-specific latent variables which are learned via hierarchical shrinkage. Our framework enjoys theoretical guarantees and naturally incorporates flexible parametric/nonparametric models on the covariates, including models robust to outliers. Our proposal is found to outperform state-of- the-art estimators in terms of efficiency and predictive performance on real world public and private datasets.


title: On Antipodes Of Hom-Hopf algebras

abstract: In the recent definition of Hom-Hopf algebras the antipode S is the relative Hominverse of the identity map with respect to the convolution product. We observe that some fundamental properties of the antipode of Hopf algebras and Hom-Hopf algebras, with the original definition, do not hold generally in the new setting. We show that the antipode is a relative Hom-anti algebra and a relative anti-coalgebra morphism. It is also relative Hom-unital, and relative Hom-counital. Furthermore if the twisting maps of multiplications and comultiplications are invertible then S is an anti-algebra and an anti-coalgebra map. We show that any Hom-bialgebra map between two Hom-Hopf algebras is a relative Hom-morphism of Hom-Hopf alegbras. Specially if the corresponding twisting maps are all invertible then it is a Hom-Hopf algebra map. If the Hom-Hopf algebra is commutative or cocommutative we observe that S^2 is equal to the identity map in some sense. At the end we study the images of primitive and group-like elements under the antipode.


title: Stochastic Activation Pruning for Robust Adversarial Defense

abstract: Neural networks are known to be vulnerable to adversarial examples. Carefully chosen perturbations to real images, while imperceptible to humans, induce misclassification and threaten the reliability of deep learning systems in the wild. To guard against adversarial examples, we take inspiration from game theory and cast the problem as a minimax zero-sum game between the adversary and the model. In general, for such games, the optimal strategy for both players requires a stochastic policy, also known as a mixed strategy. In this light, we propose Stochastic Activation Pruning (SAP), a mixed strategy for adversarial defense. SAP prunes a random subset of activations (preferentially pruning those with smaller magnitude) and scales up the survivors to compensate. We can apply SAP to pretrained networks, including adversarially trained models, without fine-tuning, providing robustness against adversarial examples. Experiments demonstrate that SAP confers robustness against attacks, increasing accuracy and preserving calibration.


title: Entanglement in finite quantum systems under twisted boundary conditions

abstract: In a recent publication, we have discussed the effects of boundary conditions in finite quantum systems and their connection with symmetries. Focusing on the one-dimensional Hubbard Hamiltonian under twisted boundary conditions, we have shown that properties, such as the ground-state and gap energies, converge faster to the thermodynamical limit ($L \rightarrow \infty$) if a special torsion $\Theta^*$ is adjusted to ensure particle-hole symmetry. Complementary to the previous research, the present paper extends our analysis to a key quantity for understanding correlations in many-body systems: the entanglement. Specifically, we investigate the average single-site entanglement $\langle S_j \rangle$ as a function of the coupling $U/t$ in Hubbard chains with up to $L=8$ sites and further examine the dependence of the per-site ground-state $\epsilon_0$ on the torsion $\Theta$ in different coupling regimes. We discuss the scaling of $\epsilon_0$ and $\langle S_j \rangle$ under $\Theta^*$ and analyse their convergence to Bethe Ansatz solution of the infinite Hubbard Hamiltonian. Additionally, we describe the exact diagonalization procedure used in our numerical calculations and show analytical calculations for the case-study of a trimer.


title: Stellar and AGN feedback in isolated early-type galaxies: the role in regulating star formation and ISM properties

abstract: Understanding how galaxies maintain the inefficiency of star formation with physically self-consistent models is a central problem for galaxy evolution. Although numerous theoretical models have been proposed in recent decades, the debate still exists. By means of high-resolution two-dimensional hydrodynamical simulations, we study the three feedback effects (the stellar wind heating, SNe feedback, and AGN feedback) in suppressing star formation activities on the evolution of early-type galaxies with different stellar masses. AGN feedback models are updated based on \citet{Yuan2018}. The gas sources comes exclusively from the mass losses of dying low-mass stars for most of our models. We find that SNe feedback can keep star formation at a significantly low level for low mass elliptical galaxies for a cosmological evolution time. For the high mass galaxies, AGN feedback can efficiently offset the radiative cooling and thus regulate the star formation activities. Such a suppression of star formation is extremely efficient in the inner region of the galaxies. AGB heating cannot account for this suppression for low and high mass galaxies. The X-ray temperature $T_{\rm X}$ and luminosity $L_{\rm X}$ of hot plasma can be in agreement with the observed data with the inclusion of effective feedback processes. These results thus suggest that we can use $T_{\rm X}$ and $L_{\rm X}$ to probe the role of different feedback processes. The inclusion of additional gas sources can make the mass scale between SNe and AGN feedback dominating in suppressing star formation decrease to an observationally inferred value of a few $10^{10}~M_{\odot}$.


title: Universal (and Existential) Nulls

abstract: Incomplete Information research is quite mature when it comes to so called {\em existential nulls}, where an existential null is a value stored in the database, representing an unknown object. For some reason {\em universal nulls}, that is, values representing {\em all} possible objects, have received almost no attention. We remedy the situation in this paper, by showing that a suitable finite representation mechanism, called {\em Star Cylinders}, handling universal nulls can be developed based on the {\em Cylindric Set Algebra} of Henkin, Monk and Tarski. We provide a finitary version of the cylindric set algebra, called {\em Cylindric Star Algebra}, and show that our star-cylinders are closed under this algebra. Moreover, we show that any {\em First Order Relational Calculus} query over databases containing universal nulls can be translated into an equivalent expression in our cylindric star-algebra, and vice versa, in time polynomial in the size of the database. The representation mechanism is then extended to {\em Naive Star Cylinders}, which are star-cylinders allowing existential nulls in addition to universal nulls. For positive queries (with universal quantification), the well known naive evaluation technique can still be applied on the existential nulls, thereby allowing polynomial time evaluation of certain answers on databases containing both universal and existential nulls. If precise answers are required, certain answer evaluation with universal and existential nulls remains in coNP. Note that the problem is coNP-hard, already for positive existential queries and databases with only existential nulls. If inequalities $\neg(x_i\approx x_j)$ are allowed, reasoning over existential databases is known to be $\Pi^p_2$-complete, and it remains in $\Pi^p_2$ when universal nulls and full first order queries are allowed.


title: Learning to Sequence Robot Behaviors for Visual Navigation

abstract: Recent literature in the robotics community has focused on learning robot behaviors that abstract out lower-level details of robot control. To fully leverage the efficacy of such behaviors, it is necessary to select and sequence them to achieve a given task. In this paper, we present an approach to both learn and sequence robot behaviors, applied to the problem of visual navigation of mobile robots. We construct a layered representation of control policies composed of low- level behaviors and a meta-level policy. The low-level behaviors enable the robot to locomote in a particular environment while avoiding obstacles, and the meta-level policy actively selects the low-level behavior most appropriate for the current situation based purely on visual feedback. We demonstrate the effectiveness of our method on three simulated robot navigation tasks: a legged hexapod robot which must successfully traverse varying terrain, a wheeled robot which must navigate a maze-like course while avoiding obstacles, and finally a wheeled robot navigating in the presence of dynamic obstacles. We show that by learning control policies in a layered manner, we gain the ability to successfully traverse new compound environments composed of distinct sub-environments, and outperform both the low-level behaviors in their respective sub-environments, as well as a hand-crafted selection of low-level policies on these compound environments.


title: Blending Mathematical and Physical Negative-ness

abstract: Expressing physics problems in the form of a mathematical model is one of the most important stages in the problem-solving process. Particularly in algebraic symbolization, understanding the meanings of signs and being able to manipulate them becomes a challenging task for students, especially when more than two elements in the mathematical expression could carry a negative sign. We use Conceptual Blending theory to investigate how students attribute emergent meaning to the signs and how they articulate different signs in their algebraic symbolization. The data for this research is drawn from oral exams of students enrolled in upper-division physics. The results shed light on students' understanding of algebraic symbols and their competence in formulating and manipulating them.


title: Tree dimension in verification of constrained Horn clauses

abstract: In this paper, we show how the notion of tree dimension can be used in the verification of constrained Horn clauses (CHCs). The dimension of a tree is a numerical measure of its branching complexity and the concept here applies to Horn clause derivation trees. Derivation trees of dimension zero correspond to derivations using linear CHCs, while trees of higher dimension arise from derivations using non-linear CHCs. We show how to instrument CHCs predicates with an extra argument for the dimension, allowing a CHC verifier to reason about bounds on the dimension of derivations. Given a set of CHCs $P$, we define a transformation of $P$ yielding a dimension bounded set of CHCs $P^{\leq{k}}$. The set of derivations for $P^{\leq{k}}$ consists of the derivations for $P$ that have dimension at most $k$. We also show how to construct a set of clauses denoted $P^{>{k}}$ whose derivations have dimension exceeding $k$. We then present algorithms using these constructions to decompose a CHC verification problem. One variation of this decomposition considers derivations of successively increasing dimension. The paper includes descriptions of implementations and experimental results. Under consideration for publication in Theory and Practice of Logic Programming (TPLP).


title: Deep Continuous Clustering

abstract: Clustering high-dimensional datasets is hard because interpoint distances become less informative in high-dimensional spaces. We present a clustering algorithm that performs nonlinear dimensionality reduction and clustering jointly. The data is embedded into a lower-dimensional space by a deep autoencoder. The autoencoder is optimized as part of the clustering process. The resulting network produces clustered data. The presented approach does not rely on prior knowledge of the number of ground-truth clusters. Joint nonlinear dimensionality reduction and clustering are formulated as optimization of a global continuous objective. We thus avoid discrete reconfigurations of the objective that characterize prior clustering algorithms. Experiments on datasets from multiple domains demonstrate that the presented algorithm outperforms state-of-the-art clustering schemes, including recent methods that use deep networks.


title: An Implementation of Adaptive Mesh Refinement for Shallow Water Equations

abstract: An implementation of adaptive mesh refinement algorithms is presented for use with multilayer shallow water equations. Currently, adaptive mesh refinement is implemented with a single layer shallow water model in the GeoClaw framework. This implementation, also in the GeoClaw framework, is for multilayer models, which have been implemented in GeoClaw previously. Until now, however, these models were too computationally expensive to run on large domains while resolving detail in coastal regions.


title: Near-optimal planning using approximate dynamic programming to enhance post-hazard community resilience management

abstract: The lack of a comprehensive decision-making approach at the community level is an important problem that warrants immediate attention. Network-level decision-making algorithms need to solve large-scale optimization problems that pose computational challenges. The complexity of the optimization problems increases when various sources of uncertainty are considered. This research introduces a sequential discrete optimization approach, as a decision-making framework at the community level for recovery management. The proposed mathematical approach leverages approximate dynamic programming along with heuristics for the determination of recovery actions. Our methodology overcomes the curse of dimensionality and manages multi-state, large-scale infrastructure systems following disasters. We also provide computational results showing that our methodology not only incorporates recovery policies of responsible public and private entities within the community but also substantially enhances the performance of their underlying strategies with limited resources. The methodology can be implemented efficiently to identify near-optimal recovery decisions following a severe earthquake based on multiple objectives for an electrical power network of a testbed community coarsely modeled after Gilroy, California, United States. The proposed optimization method supports risk-informed community decision makers within chaotic post-hazard circumstances.


title: The when and where of water in the history of the universe

abstract: It is undeniable that life as we know it depends on liquid water. It is difficult to imagine any biochemical machinery that does not require water. On Earth, life adapts to the most diverse environments and, once established, it is very resilient. Considering that water is a common compound in the Universe, it seems possible (maybe even likely) that one day we will find life elsewhere in the universe. In this study, we review the main aspects of water as an essential compound for life: when it appeared since the Big Bang, and where it spread throughout the diverse cosmic sites. Then, we describe the strong relation between water and life, as we know it.


title: Nonlinear Orbital Stability for Planar Vortex Patches

abstract: In this paper, we prove nonlinear orbital stability for steady vortex patches that maximize the kinetic energy among isovortical rearrangements in a planar bounded domain. As a result, nonlinear stability for an isolated vortex patch is proved. The proof is based on conservation of energy and vorticity, which is an analogue of the classical Liapunov function method.


title: Fast Best Subset Selection: Coordinate Descent and Local Combinatorial Optimization Algorithms

abstract: The $L_0$-regularized least squares problem (a.k.a. best subsets) is central to sparse statistical learning and has attracted significant attention across the wider statistics, machine learning, and optimization communities. Recent work has shown that modern mixed integer optimization (MIO) solvers can be used to address small to moderate instances of this problem. In spite of the usefulness of $L_0$-based estimators and generic MIO solvers, there is a steep computational price to pay when compared to popular sparse learning algorithms (e.g., based on $L_1$ regularization). In this paper, we aim to push the frontiers of computation for a family of $L_0$-regularized problems with additional convex penalties. We propose a new hierarchy of necessary optimality conditions for these problems. We develop fast algorithms, based on coordinate descent and local combinatorial optimization, that are guaranteed to converge to solutions satisfying these optimality conditions. From a statistical viewpoint, an interesting story emerges. When the signal strength is high, our combinatorial optimization algorithms have an edge in challenging statistical settings. When the signal is lower, pure $L_0$ benefits from additional convex regularization. We empirically demonstrate that our family of $L_0$-based estimators can outperform the state-of-the-art sparse learning algorithms in terms of a combination of prediction, estimation, and variable selection metrics under various regimes (e.g., different signal strengths, feature correlations, number of samples and features). Our new open-source sparse learning toolkit L0Learn (available on CRAN and Github) reaches up to a three-fold speedup (with $p$ up to $10^6$) when compared to competing toolkits such as glmnet and ncvreg.


title: Testing the Cubic Galileon Gravity model by the Milky Way rotation curve and SPARC data

abstract: Recently, the Cubic Galileon Gravity (CGG) model has been suggested as an alternative gravity theory to General Relativity. The model consists of an extra field potential term which can serve as the `fifth-force'. In this article, we examine the possibility whether this extra force term can explain the missing mass problem in galaxies without the help of dark matter. By using the Milky Way rotation curve and the Spitzer Photomery & Accurate Rotation Curves (SPARC) data, we show that this CGG model can satisfactorily explain the shapes of these rotation curves without dark matter. The CGG model can be regarded as a new alternative theory to challenge the existing dark matter paradigm.


title: Loop effects on the Higgs decay widths in extended Higgs models

abstract: In order to identify the Higgs sector using future precision data, we calculate the partial decay widths of the discovered Higgs boson with the mass of 125 GeV into fermion pairs and gauge-boson pairs with one-loop electroweak and one-loop QCD corrections in various extended Higgs models, such as the Higgs singlet model and four types of two Higgs doublet models. In the tree-level analysis, the patterns of deviations from the standard model predictions in the partial decay widths for various decay modes are distinctive for each model, due to the mixing of the Higgs boson with other neutral scalars. Our present analysis shows that even with a full set of radiative corrections we can discriminate these extended Higgs models via the partial decay widths as long as any of the deviations is detected at future precision measurements. Furthermore, we quantitatively show that in each model the magnitude of the deviations can provide important information on the mass scale of extra Higgs bosons under the theoretical constraints from perturbative unitary and vacuum stability, which can be obtained without discovery of the additional Higgs bosons.


title: Less Is More: Picking Informative Frames for Video Captioning

abstract: In video captioning task, the best practice has been achieved by attention-based models which associate salient visual components with sentences in the video. However, existing study follows a common procedure which includes a frame-level appearance modeling and motion modeling on equal interval frame sampling, which may bring about redundant visual information, sensitivity to content noise and unnecessary computation cost. We propose a plug-and-play PickNet to perform informative frame picking in video captioning. Based on a standard Encoder-Decoder framework, we develop a reinforcement-learning-based procedure to train the network sequentially, where the reward of each frame picking action is designed by maximizing visual diversity and minimizing textual discrepancy. If the candidate is rewarded, it will be selected and the corresponding latent representation of Encoder-Decoder will be updated for future trials. This procedure goes on until the end of the video sequence. Consequently, a compact frame subset can be selected to represent the visual information and perform video captioning without performance degradation. Experiment results shows that our model can use 6-8 frames to achieve competitive performance across popular benchmarks.


title: Contact process under renewals I

abstract: Motivated by questions regarding long range percolation, we investigate a non-Markovian analogue of the Harris contact process in $\mathbb{Z}^d$: an individual is attached to each site $x \in \mathbb{Z}^d$, and it can be infected or healthy; the infection propagates to healthy neighbors just as in the usual contact process, according to independent exponential times with a fixed rate $\lambda$; nevertheless, the possible recovery times for an individual are given by the points of a renewal process with heavy tail; the renewal processes are assumed to be independent for different sites. We show that the resulting processes have a critical value equal to zero.


title: Qualitative Measures of Equity in Small Groups

abstract: We investigate the utility of two qualitative measures of equity. Our data are videos of groups of first-generation and Deaf or hard-of-hearing students in a pre-matriculation university program designed to help them persist in STEM fields by developing their metacognitive practices. We analyze video data of students in small groups trying to accomplish various tasks. We analyze how groups engage with proposed ideas (inchargeness) and create a space of open sharing (civility). By capturing different aspects of each group, these measures combine to help our understanding of what an equitable group could look like.


title: Contact process under renewals II

abstract: We continue the study of renewal contact processes initiated in a companion paper, where we showed that if the tail of the interarrival distribution $\mu$ is heavier than $t^{-\alpha}$ for some $\alpha <1$ (plus auxiliary regularity conditions) then the critical value vanishes. In this paper we show that if $\mu$ has decreasing hazard rate and tail bounded by $t^{-\alpha}$ with $\alpha >1$, then the critical value is positive in the one-dimensional case. A more robust and much simpler argument shows that the critical value is positive in any dimension whenever the interarrival distribution has a finite second moment.


title: Fermi surfaces in Kondo insulators

abstract: We report magnetic quantum oscillations measured using torque magnetisation in the Kondo insulator YbB$_{12}$ and discuss the potential origin of the underlying Fermi surface. Observed quantum oscillations as well as complementary quantities such as a finite linear specific heat capacity in YbB$_{12}$ exhibit similarities with the Kondo insulator SmB$_6$, yet also crucial differences. Small heavy Fermi sections are observed in YbB$_{12}$ with similarities to the neighbouring heavy fermion semimetallic Fermi surface, in contrast to large light Fermi surface sections in SmB$_6$ which are more similar to the conduction electron Fermi surface. A rich spectrum of theoretical models is suggested to explain the origin across different Kondo insulating families of a bulk Fermi surface potentially from novel itinerant quasiparticles that couple to magnetic fields, yet do not couple to weak DC electric fields.


title: Optimal Status Updating for an Energy Harvesting Sensor with a Noisy Channel

abstract: Consider an energy harvesting sensor continuously monitors a system and sends time-stamped status update to a destination. The destination keeps track of the system status through the received updates. Under the energy causality constraint at the sensor, our objective is to design an optimal online status updating policy to minimize the long-term average Age of Information (AoI) at the destination. We focus on the scenario where the the channel between the source and the destination is noisy, and each transmitted update may fail independently with a constant probability. We assume there is no channel state information or transmission feedback available to the sensor. We prove that within a broadly defined class of online policies, the best-effort uniform updating policy, which was shown to be optimal when the channel is perfect, is still optimal in the presence of update failures. Our proof relies on tools from Martingale processes, and the construction of a sequence of virtual policies.


title: Motivic cohomology of fat points in Milnor range

abstract: We introduce a new algebraic-cycle model for the motivic cohomology theory of truncated polynomials $k[t]/(t^m)$ in one variable. This approach uses ideas from the deformation theory and non-archimedean analysis, and is distinct from the approaches via cycles with modulus. We compute the groups in the Milnor range when the base field is of characteristic $0$, and prove that they give the Milnor $K$-groups of $k[t]/(t^m)$, whose relative part is the sum of the absolute K\"ahler differential forms.


title: The hydrogen identity for Laplacians

abstract: For any finite simple graph G, the hydrogen identity H=L-L^(-1) holds, where H=(d+d^*)^2 is the sign-less Hodge Laplacian defined by sign-less incidence matrix d and where L is the connection Laplacian. Any spectral information about L directly leads to estimates for the Hodge Laplacian H=(d+d^*)^2 and allows to estimate the spectrum of the Kirchhoff Laplacian H_0=d^* d. The hydrogen identity implies that the random walk u(n) = L^n u with integer n solves the one-dimensional Jacobi equation Delta u=H^2 with (Delta u)(n)=u(n+2)-2 u(n)+u(n-2). Every solution is represented by such a reversible path integral. Over a finite field, we get a reversible cellular automaton. By taking products of complexes such processes can be defined over any lattice Z^r. Since L^2 and L^(-2) are isospectral, by a theorem of Kirby, the matrix L^2 is always similar to a symplectic matrix if the graph has an even number of simplices. The hydrogen relation is robust: any Schr\"odinger operator K close to H with the same support can still can be written as $K=L-L^{-1}$ where both L(x,y) and L^-1(x,y) are zero if x and y do not intersect.


title: Query and Output: Generating Words by Querying Distributed Word Representations for Paraphrase Generation

abstract: Most recent approaches use the sequence-to-sequence model for paraphrase generation. The existing sequence-to-sequence model tends to memorize the words and the patterns in the training dataset instead of learning the meaning of the words. Therefore, the generated sentences are often grammatically correct but semantically improper. In this work, we introduce a novel model based on the encoder-decoder framework, called Word Embedding Attention Network (WEAN). Our proposed model generates the words by querying distributed word representations (i.e. neural word embeddings), hoping to capturing the meaning of the according words. Following previous work, we evaluate our model on two paraphrase-oriented tasks, namely text simplification and short text abstractive summarization. Experimental results show that our model outperforms the sequence-to-sequence baseline by the BLEU score of 6.3 and 5.5 on two English text simplification datasets, and the ROUGE-2 F1 score of 5.7 on a Chinese summarization dataset. Moreover, our model achieves state-of-the-art performances on these three benchmark datasets.


title: Learning how to Prove: From the Coq Proof Assistant to Textbook Style

abstract: We have developed an alternative approach to teaching computer science students how to prove. First, students are taught how to prove theorems with the Coq proof assistant. In a second, more difficult, step students will transfer their acquired skills to the area of textbook proofs. In this article we present a realisation of the second step. Proofs in Coq have a high degree of formality while textbook proofs have only a medium one. Therefore our key idea is to reduce the degree of formality from the level of Coq to textbook proofs in several small steps. For that purpose we introduce three proof styles between Coq and textbook proofs, called line by line comments, weakened line by line comments, and structure faithful proofs. While this article is mostly conceptional we also report on experiences with putting our approach into practise.


title: The Sequent Calculus Trainer with Automated Reasoning - Helping Students to Find Proofs

abstract: The sequent calculus is a formalism for proving validity of statements formulated in First-Order Logic. It is routinely used in computer science modules on mathematical logic. Formal proofs in the sequent calculus are finite trees obtained by successively applying proof rules to formulas, thus simplifying them step-by-step. Students often struggle with the mathematical formalities and the level of abstraction that topics like formal logic and formal proofs involve. The difficulties can be categorised as syntactic or semantic. On the syntactic level, students need to understand what a correctly formed proof is, how rules can be applied (on paper for instance) without leaving the mathematical framework of the sequent calculus, and so on. Beyond this, on the semantic level, students need to acquire strategies that let them find the right proof. The Sequent Calculus Trainer is a tool that is designed to aid students in learning the techniques of proving given statements formally. In this paper we describe the didactical motivation behind the tool and the techniques used to address issues on the syntactic as well as on the semantic level.


title: Improving QED-Tutrix by Automating the Generation of Proofs

abstract: The idea of assisting teachers with technological tools is not new. Mathematics in general, and geometry in particular, provide interesting challenges when developing educative softwares, both in the education and computer science aspects. QED-Tutrix is an intelligent tutor for geometry offering an interface to help high school students in the resolution of demonstration problems. It focuses on specific goals: 1) to allow the student to freely explore the problem and its figure, 2) to accept proofs elements in any order, 3) to handle a variety of proofs, which can be customized by the teacher, and 4) to be able to help the student at any step of the resolution of the problem, if the need arises. The software is also independent from the intervention of the teacher. QED-Tutrix offers an interesting approach to geometry education, but is currently crippled by the lengthiness of the process of implementing new problems, a task that must still be done manually. Therefore, one of the main focuses of the QED-Tutrix' research team is to ease the implementation of new problems, by automating the tedious step of finding all possible proofs for a given problem. This automation must follow fundamental constraints in order to create problems compatible with QED-Tutrix: 1) readability of the proofs, 2) accessibility at a high school level, and 3) possibility for the teacher to modify the parameters defining the "acceptability" of a proof. We present in this paper the result of our preliminary exploration of possible avenues for this task. Automated theorem proving in geometry is a widely studied subject, and various provers exist. However, our constraints are quite specific and some adaptation would be required to use an existing prover. We have therefore implemented a prototype of automated prover to suit our needs. The future goal is to compare performances and usability in our specific use-case between the existing provers and our implementation.


title: A Theorem Prover for Scientific and Educational Purposes

abstract: We present a prototype of an integrated reasoning environment for educational purposes. The presented tool is a fragment of a proof assistant and automated theorem prover. We describe the existing and planned functionality of the theorem prover and especially the functionality of the educational fragment. This currently supports working with terms of the untyped lambda calculus and addresses both undergraduate students and researchers. We show how the tool can be used to support the students' understanding of functional programming and discuss general problems related to the process of building theorem proving software that aims at supporting both research and education.


title: Prototyping "Systems that Explain Themselves" for Education

abstract: "Systems that Explain Themselves" appears a provocative wording, in particular in the context of mathematics education -- it is as provocative as the idea of building educational software upon technology from computer theorem proving. In spite of recent success stories like the proofs of the Four Colour Theorem or the Kepler Conjecture, mechanised proof is still considered somewhat esoteric by mainstream mathematics. This paper describes the process of prototyping in the ISAC project from a technical perspective. This perspective depends on two moving targets: On the one side the rapidly increasing power and coverage of computer theorem provers and their user interfaces, and on the other side potential users: What can students and teachers request from educational systems based on technology and concepts from computer theorem proving, now and then? By the way of describing the process of prototyping the first comprehensive survey on the state of the ISAC prototype is given as a side effect, made precise by pointers to the code and by citation of all contributing theses.


title: Exchange of Geometric Information Between Applications

abstract: The Web Geometry Laboratory (WGL) is a collaborative and adaptive e-learning Web platform integrating a well known dynamic geometry system. Thousands of Geometric problems for Geometric Theorem Provers (TGTP) is a Web-based repository of geometric problems to support the testing and evaluation of geometric automated theorem proving systems. The users of these systems should be able to profit from each other. The TGTP corpus must be made available to the WGL user, allowing, in this way, the exploration of TGTP problems and their proofs. On the other direction TGTP could gain by the possibility of a wider users base submitting new problems. Such information exchange between clients (e.g. WGL) and servers (e.g. TGTP) raises many issues: geometric search - someone, working in a geometric problem, must be able to ask for more information regarding that construction; levels of geometric knowledge and interest - the problems in the servers must be classified in such a way that, in response to a client query, only the problems in the user's level and/or interest are returned; different aims of each tool - e.g. WGL is about secondary school geometry, TGTP is about formal proofs in semi-analytic and algebraic proof methods, not a perfect match indeed; localisation issues, e.g. a Portuguese user obliged to make the query and process the answer in English; technical issues-many technical issues need to be addressed to make this exchange of geometric information possible and useful. Instead of a giant (difficult to maintain) tool, trying to cover all, the interconnection of specialised tools seems much more promising. The challenges to make that connection work are many and difficult, but, it is the authors impression, not insurmountable.


title: Teaching the Formalization of Mathematical Theories and Algorithms via the Automatic Checking of Finite Models

abstract: Education in the practical applications of logic and proving such as the formal specification and verification of computer programs is substantially hampered by the fact that most time and effort that is invested in proving is actually wasted in vain: because of errors in the specifications respectively algorithms that students have developed, their proof attempts are often pointless (because the proposition proved is actually not of interest) or a priori doomed to fail (because the proposition to be proved does actually not hold), this is a frequent source of frustration and gives formal methods a bad reputation. RISCAL (RISC Algorithm Language) is a formal specification language and associated software system that attempts to overcome this problem by making logic formalization fun rather than a burden. To this end, RISCAL allows students to easily validate the correctness of instances of propositions respectively algorithms by automatically evaluating/executing and checking them on (small) finite models. Thus many/most errors can be quickly detected and subsequent proof attempts can be focused on propositions that are more/most likely to be both meaningful and true.


title: Natural Deduction and the Isabelle Proof Assistant

abstract: We describe our Natural Deduction Assistant (NaDeA) and the interfaces between the Isabelle proof assistant and NaDeA. In particular, we explain how NaDeA, using a generated prover that has been verified in Isabelle, provides feedback to the student, and also how NaDeA, for each formula proved by the student, provides a generated theorem that can be verified in Isabelle.


title: Optimizing Learned Bloom Filters by Sandwiching

abstract: We provide a simple method for improving the performance of the recently introduced learned Bloom filters, by showing that they perform better when the learned function is sandwiched between two Bloom filters.


title: The Fu-Yau equation on compact astheno-K\"ahler manifolds

abstract: In this paper, we study the Fu-Yau equation on compact Hermitian manifolds and prove the existence of solutions of equation on astheno-K\"ahler manifolds. We also prove the uniqueness of solutions of Fu-Yau equation when the slope parameter $\alpha$ is negative.


title: Weak Decays of Triply Heavy Baryons

abstract: After the experimental establishment of doubly heavy baryons, baryons with three quarks are the last missing pieces of the lowest-lying baryon multiplets in quark model. In this work we study semileptonic and nonleptonic weak decays of triply heavy baryons, $\Omega_{ccc}^{++}, \Omega_{ccb}^{+}, \Omega_{cbb}^{0}, \Omega_{bbb}^{-}$. Decay amplitudes for various channels are parametrized in terms of a few SU(3) irreducible amplitudes. We point out that branching fractions for Cabibbo allowed processes, $\Omega_{ccc}\to (\Xi_{cc}^{++} \overline K^0, \Xi_{cc}^{++}K^-\pi^+, \Omega_{cc}^{+}\pi^+, \Xi_{c}^+ D^+, \Xi_{c}^{\prime} D^+, \Lambda_c D^+\overline K^0, \Xi_{c}^+ D^0 \pi^+, \Xi_{c}^0 D^+\pi^+)$ may reach a few percents. We suggest our experimental colleagues to perform a search at hadron colliders and the electron and positron collisions in future, which will presumably lead to discoveries of triply heavy baryons and complete the baryon multiplets. Using the expanded amplitudes, we derive a number of relations for the partial widths which can be examined in future.


title: In-home and remote use of robotic body surrogates by people with profound motor deficits

abstract: By controlling robots comparable to the human body, people with profound motor deficits could potentially perform a variety of physical tasks for themselves, improving their quality of life. The extent to which this is achievable has been unclear due to the lack of suitable interfaces by which to control robotic body surrogates and a dearth of studies involving substantial numbers of people with profound motor deficits. We developed a novel, web-based augmented reality interface that enables people with profound motor deficits to remotely control a PR2 mobile manipulator from Willow Garage, which is a human-scale, wheeled robot with two arms. We then conducted two studies to investigate the use of robotic body surrogates. In the first study, 15 novice users with profound motor deficits from across the United States controlled a PR2 in Atlanta, GA to perform a modified Action Research Arm Test (ARAT) and a simulated self-care task. Participants achieved clinically meaningful improvements on the ARAT and 12 of 15 participants (80%) successfully completed the simulated self-care task. Participants agreed that the robotic system was easy to use, was useful, and would provide a meaningful improvement in their lives. In the second study, one expert user with profound motor deficits had free use of a PR2 in his home for seven days. He performed a variety of self-care and household tasks, and also used the robot in novel ways. Taking both studies together, our results suggest that people with profound motor deficits can improve their quality of life using robotic body surrogates, and that they can gain benefit with only low-level robot autonomy and without invasive interfaces. However, methods to reduce the rate of errors and increase operational speed merit further investigation.


title: Two-sided popular matchings in bipartite graphs with forbidden/forced elements and weights

abstract: Two-sided popular matchings in bipartite graphs are a well-known generalization of stable matchings in the marriage setting, and they are especially relevant when preference lists are incomplete. In this case, the cardinality of a stable matching can be as small as half the size of a maximum matching. Popular matchings allow for assignments of larger size while still guaranteeing a certain fairness condition. In fact, stable matchings are popular matchings of minimum size, and a maximum size popular matching can be as large as twice the size of a(ny) stable matching in a given instance. The structure of popular matchings seems to be more complex, and currently less understood, than that of stable matchings. In this paper, we focus on three optimization problems related to popular matchings. First, we give a granular analysis of the complexity of popular matching with forbidden and forced elements problems, thus complementing results from [Cseh and Kavitha, 2016]. In particular, we show that deciding whether there exists a popular matching with (or without) two given edges is NP-Hard. This implies that finding a popular matching of maximum (resp. minimum) weight is NP-Hard and, even if all weights are nonnegative, inapproximable up to a factor 1/2 (resp. up to any factor). A decomposition theorem from [Cseh and Kavitha, 2016] can be employed to give a 1/2 approximation to the maximum weighted popular matching problem with nonnegative weights, thus completely settling the complexity of those problems.


title: Coulomb force mediated heat transfer in the near field - geometric effect

abstract: It has been shown recently that the Coulomb part of electromagnetic interactions is more important than transverse propagation waves for the near-field enhancement of heat transfer between metal objects at a distance of order nanometers. Here we present a theory focusing solely on the Coulomb potential between electrons hopping among tight-binding sites. When the relevant systems are reduced to very small geometry, for example, a single site, the enhancement is much higher compared to a collection of them packed within a distance of a few angstroms. We credit this to the screening effect. This result may be useful in designing metal-based meta-materials to enhance heat transfer much higher.


title: A doubling construction for Williamson matrices

abstract: A construction that generates Williamson matrices of order $2n$ from Williamson matrices of odd order $n$ is presented. The construction is completely constructive and only uses three simple sequence operations.


title: Controlled quantum search on structured databases

abstract: We present quantum algorithms to search for marked vertices in structured databases with low connectivity. Adopting a multi-stage search process, we achieve a success probability close to $100\%$ on Cayley trees with large branching factors. We find that the number of stages required is given by the height of the Cayley tree. At each stage, the jumping rate should be chosen as different values. The dominant term of the runtime in the search process is proportional to $N^{(2r-1)/2r}$ for the Cayley tree of height $r$ with $N$ vertices. We further find that one can control the number of stages by adjusting the weight of the edges in the graphs. The multi-stage search process can be merged into a single stage, and then an optimal runtime proportional to $\sqrt{N}$ is achieved, yielding a substantial speedup. The search process is quite robust under various kinds of small perturbations.


title: Three-dimensional convolutional neural networks for neutrinoless double-beta decay signal/background discrimination in high-pressure gaseous Time Projection Chamber

abstract: In the search for neutrinoless double-beta decay, the high-pressure gaseous Time Projection Chamber has a distinct advantage, because the ionization charge tracks produced by particle interactions are extended and the detector captures the full three-dimensional charge distribution with appropriate charge readout systems. Such information of tracks provides a crucial extra-handle for discriminating signal events against backgrounds. In this paper, we constructed a toy model to demonstrate where the discrimination power comes from and how much of it the neural network models have already harnessed. Then we adapted 3-dimensional convolutional and residual neural networks on the simulated double-beta and background charge tracks and tested their capabilities in classifying these two types of events. We show that both the 3D structure and the overall depth of the neural networks significantly improve the accuracy of the classifier and lead to results better than previous works. We also studied their performance under various spatial granularities as well as different diffusion and noise conditions. The results indicate that the methods are stable and generalize well despite varying experimental conditions.


title: Quantum gravity, information theory and the CMB

abstract: We review connections between the metric of spacetime and the quantum fluctuations of fields. In particular, we discuss the finding that the spacetime metric can be expressed entirely in terms of the 2-point correlators of the fluctuations of quantum fields. We also discuss the open question whether the knowledge of only the spectra of the quantum fluctuations of fields suffices to determine the spacetime metric. This question is of interest because spectra are geometric invariants and their quantization would, therefore, have the benefit of not requiring the modding out of the diffeomorphism group. Further, we discuss the fact that spacetime at the Planck scale need not necessarily be either discrete or continuous. Instead, results from information theory show that spacetime may be simultaneously discrete and continuous in the same way that information can. Finally, we review the finding that a covariant natural ultraviolet cutoff at the Planck scale implies a signature in the cosmic microwave background (CMB) that may become observable.


title: On Blocking Collisions between People, Objects and other Robots

abstract: Intentional or unintentional contacts are bound to occur increasingly more often due to the deployment of autonomous systems in human environments. In this paper, we devise methods to computationally predict imminent collisions between objects, robots and people, and use an upper-body humanoid robot to block them if they are likely to happen. We employ statistical methods for effective collision prediction followed by sensor-based trajectory generation and real-time control to attempt to stop the likely collisions using the most favorable part of the blocking robot. We thoroughly investigate collisions in various types of experimental setups involving objects, robots, and people. Overall, the main contribution of this paper is to devise sensor-based prediction, trajectory generation and control processes for highly articulated robots to prevent collisions against people, and conduct numerous experiments to validate this approach.


title: Totally Looks Like - How Humans Compare, Compared to Machines

abstract: Perceptual judgment of image similarity by humans relies on rich internal representations ranging from low-level features to high-level concepts, scene properties and even cultural associations. However, existing methods and datasets attempting to explain perceived similarity use stimuli which arguably do not cover the full breadth of factors that affect human similarity judgments, even those geared toward this goal. We introduce a new dataset dubbed Totally-Looks-Like (TLL) after a popular entertainment website, which contains images paired by humans as being visually similar. The dataset contains 6016 image-pairs from the wild, shedding light upon a rich and diverse set of criteria employed by human beings. We conduct experiments to try to reproduce the pairings via features extracted from state-of-the-art deep convolutional neural networks, as well as additional human experiments to verify the consistency of the collected data. Though we create conditions to artificially make the matching task increasingly easier, we show that machine-extracted representations perform very poorly in terms of reproducing the matching selected by humans. We discuss and analyze these results, suggesting future directions for improvement of learned image representations.


title: Reconsider HHL algorithm and its related quantum machine learning algorithms

abstract: HHL quantum algorithm to solve linear systems is one of the most important subroutines in many quantum machine learning algorithms. In this work, we present and analyze several other caveats in HHL algorithm, which have been ignored in the past. Their influences on the efficiency, accuracy and practicability of HHL algorithm and several related quantum machine learning algorithms will be discussed. We also found that these caveats affect HHL algorithm much deeper than the already noticed caveats. In order to obtain more practical quantum machine learning algorithms with less assumptions based on HHL algorithm, we should pay more attention to these caveats.


title: Electronic band structure of optimal superconductors: from cuprates to ferropnictides and back again

abstract: While the beginning decade of the high-Tc cuprates era passed under domination of local theories, Abrikosov was one of the few who took seriously the electronic band structure of cuprates, stressing the importance of an extended Van Hove singularity near the Fermi level. These ideas have not been widely accepted that time mainly because of a lack of experimental evidence for correlation between saddle point position and superconductivity. In this short contribution, based on the detailed comparison of the electronic band structures of different families of cuprates and iron based superconductors I argue that a general mechanism of the Tc enhancement in all known high-Tc superconductors is likely related with the proximity of certain Van Hove singularities to the Fermi level. While this mechanism remains to be fully understood, one may conclude that it is not related with the electron density of states but likely with some kind of resonances caused by a proximity of the Fermi surface to topological Lifshitz transition. One may also notice that the electronic correlations often shifts the electronic bands to optimal for superconductivity positions.


title: Data fusion of multivariate time series: Application to noisy 12-lead ECG signals

abstract: 12-lead ECG signals fusion is crucial for further ECG signal processing. In this paper, a novel fusion data algorithm is proposed. In the method, 12-lead ECG signals are appropriately converted to a single-lead physiological signal via the idea of the local weighted linear prediction algorithm. For effectively inheriting the quality characteristics of the 12-lead ECG signals, the fuzzy inference system is rationally designed to estimate the weighted coefficient in our algorithm. Experimental results indicate that the algorithm can obtain desirable results on synthetic ECG signals, noisy ECG signals and realistic ECG signals.


title: Recurrent Predictive State Policy Networks

abstract: We introduce Recurrent Predictive State Policy (RPSP) networks, a recurrent architecture that brings insights from predictive state representations to reinforcement learning in partially observable environments. Predictive state policy networks consist of a recursive filter, which keeps track of a belief about the state of the environment, and a reactive policy that directly maps beliefs to actions, to maximize the cumulative reward. The recursive filter leverages predictive state representations (PSRs) (Rosencrantz and Gordon, 2004; Sun et al., 2016) by modeling predictive state-- a prediction of the distribution of future observations conditioned on history and future actions. This representation gives rise to a rich class of statistically consistent algorithms (Hefny et al., 2018) to initialize the recursive filter. Predictive state serves as an equivalent representation of a belief state. Therefore, the policy component of the RPSP-network can be purely reactive, simplifying training while still allowing optimal behaviour. Moreover, we use the PSR interpretation during training as well, by incorporating prediction error in the loss function. The entire network (recursive filter and reactive policy) is still differentiable and can be trained using gradient based methods. We optimize our policy using a combination of policy gradient based on rewards (Williams, 1992) and gradient descent based on prediction error. We show the efficacy of RPSP-networks under partial observability on a set of robotic control tasks from OpenAI Gym. We empirically show that RPSP-networks perform well compared with memory-preserving networks such as GRUs, as well as finite memory models, being the overall best performing method.


title: A cascading nonlinear magneto-optical effect in topological insulators

abstract: Topological insulators (TIs) are characterized by possessing metallic (gapless) surface states and a finite band-gap state in the bulk. As the thickness of a TI layer decreases down to a few nanometer, hybridization between the top and bottom surfaces takes place due to quantum tunneling, consequently at a critical thickness a crossover from a 3D-TI to a 2D insulator occurs. Although such a crossover is generally accessible by scanning tunneling microscopy, or by angle-resolved photoemission spectroscopy, such measurements require clean surfaces. Here, we demonstrate that a cascading nonlinear magneto-optical effect induced via strong spin-orbit coupling can examine such crossovers. The helicity dependence of the time-resolved Kerr rotation exhibits a robust change in periodicity at a critical thickness, from which it is possible to predict the formation of a Dirac cone in a film several quintuple layers thick. This method enables prediction of a Dirac cone using a fundamental nonlinear optical effect that can be applied to a wide range of TIs and related 2D materials.


title: Programmable Switch as a Parallel Computing Device

abstract: Modern switches have packet processing capacity of up to multi-tera bits per second, and they are also becoming more and more programmable. We seek to understand whether the programmability can translate packet processing capacity to computational power for parallel computing applications. In this paper, we first develop a simple mathematical model to understand the costs and overheads of data plane computation. Then we validate the the performance benefits of offloading computation to network. Using experiments on real data center network, we finnd that offloading computation to the data plane results in up to 20x speed-up for a simple Map-Reduce application. Motivated by this, we propose a parallel programming framework, p4mr, to help users efficiently program multiple switches. We successfully build and test a prototype of p4mr on a simulated testbed.


title: Nested Quantum Annealing Correction at Finite Temperature: $p$-spin models

abstract: Quantum annealing in a real device is necessarily susceptible to errors due to diabatic transitions and thermal noise. Nested quantum annealing correction is a method to suppress errors by using an all-to-all penalty coupling among a set of physical qubits representing a logical qubit. We show analytically that nested quantum annealing correction can suppress errors effectively in ferromagnetic and antiferromagnetic Ising models with infinite-range interactions. Our analysis reveals that the nesting structure can significantly weaken or even remove first-order phase transitions, in which the energy gap closes exponentially. The nesting structure also suppresses thermal fluctuations by reducing the effective temperature.


title: GeVn complexes for silicon-based room-temperature single-atom nanoelectronics

abstract: We characterize germanium-vacancy GeVn complexes in silicon using first-principles Density Functional Theory calculations with screening-dependent hybrid functionals. We report on the local geometry and electronic excited states of these defects, including charge transition levels corresponding to the addition of one or more electrons to the defect. Our main theoretical result concerns the GeV complex, which we show to give rise to two excited states deep in the gap, at -0.51 and -0.35 eV from the conduction band, consistently with the available spectroscopic data. The adopted theoretical scheme, suitable to compute a reliable estimate of the wavefunction decay, leads us to predict that such states are associated to an electron localization over a length of about 0.45 nm. By combining the electronic properties of the bare silicon vacancy, carrying deep states in the band gap, with the spatial controllability arising from single Ge ion implantation techniques, the GeVn complex emerges as a suitable ingredient for silicon-based room-temperature single-atom devices.


title: Hund-enhanced electronic compressibility in FeSe and its correlation with T$_c$

abstract: We compute the compressibility of the conduction electrons in both bulk orthorhombic FeSe and monolayer FeSe on SrTiO$_3$ substrate, including dynamical electronic correlations within slave-spin mean-field + density-functional theory. Results show a zone of enhancement of the electronic compressibility crossing the interaction-doping phase diagram of these compounds in accord with previous simulations on iron pnictides and in general with the phenomenology of Hund's metals. Interestingly at ambient pressure FeSe is found slightly away from the zone with enhanced compressibility but moved right into it with hydrostatic pressure, while in monolayer FeSe the stronger enhancement region is realized on the electron-doped side. These findings correlate positively with the enhancement of superconductivity seen in experiments, and support the possibility that Hund's induced many-body correlations boost superconductive pairing when the system is at the frontier of the normal- to Hund's-metal crossover.


title: On nonlinear boundary value problem corresponding to $N$-dimensional inverse spectral problem

abstract: We establish a relationship between an inverse optimization spectral problem for N-dimensional Schr\"odinger equation $ -\Delta \psi+q\psi=\lambda \psi $ and a solution of the nonlinear boundary value problem $-\Delta u+q_0 u=\lambda u- u^{\gamma-1},~~u>0,~~ u|_{\partial \Omega}=0$. Using this relationship, we find an exact solution for the inverse optimization spectral problem, investigate its stability and obtain new results on the existence and uniqueness of the solution for the nonlinear boundary value problem.


title: Stochastic Model of SIR Epidemic Modelling

abstract: Threshold theorem is probably the most important development of mathematical epidemic modelling. Unfortunately, some models may not behave according to the threshold. In this paper, we will focus on the final outcome of SIR model with demography. The behaviour of the model approached by deteministic and stochastic models will be introduced, mainly using simulations. Furthermore, we will also investigate the dynamic of susceptibles in population in absence of infective. We have successfully showed that both deterministic and stochastic models performed similar results when $R_0 \leq 1$. That is, the disease-free stage in the epidemic. But when $R_0 > 1$, the deterministic and stochastic approaches had different interpretations.


title: Comparing the Behaviour of Deterministic and Stochastic Model of SIS Epidemic

abstract: Studies about epidemic modelling have been conducted since before 19th century. Both deterministic and stochastiic model were used to capture the dynamic of infection in the population. The purpose of this project is to investigate the behaviour of the models when we set the basic reproduction number, $R_0$. This quantity is defined as the expected number of contacts made by a typical infective to susceptibles in the population. According to the epidemic threshold theory, when $R_0 \leq 1$, minor epidemic occurs with probability one in both approaches, but when $R_0 > 1$, the deterministic and stochastic models have different interpretation. In the deterministic approach, major epidemic occurs with probability one when $R_0 > 1$ and predicts that the disease will settle down to an endemic equilibrium. Stochastic models, on the other hand, identify that the minor epidemic can possibly occur. If it does, then the epidemic will die out quickly. Moreover, if we let the population size be large and the major epidemic occurs, then it will take off and then reach the endemic level and move randomly around the deterministic's equilibrium.


title: Byzantine-Robust Distributed Learning: Towards Optimal Statistical Rates

abstract: In large-scale distributed learning, security issues have become increasingly important. Particularly in a decentralized environment, some computing units may behave abnormally, or even exhibit Byzantine failures -- arbitrary and potentially adversarial behavior. In this paper, we develop distributed learning algorithms that are provably robust against such failures, with a focus on achieving optimal statistical performance. A main result of this work is a sharp analysis of two robust distributed gradient descent algorithms based on median and trimmed mean operations, respectively. We prove statistical error rates for three kinds of population loss functions: strongly convex, non-strongly convex, and smooth non-convex. In particular, these algorithms are shown to achieve order-optimal statistical error rates for strongly convex losses. To achieve better communication efficiency, we further propose a median-based distributed algorithm that is provably robust, and uses only one communication round. For strongly convex quadratic loss, we show that this algorithm achieves the same optimal error rate as the robust distributed gradient descent algorithms.


title: Tracking Top-K Influential Vertices in Dynamic Networks

abstract: Influence propagation in networks has enjoyed fruitful applications and has been extensively studied in literature. However, only very limited preliminary studies tackled the challenges in handling highly dynamic changes in real networks. In this paper, we tackle the problem of tracking top-$k$ influential vertices in dynamic networks, where the dynamic changes are modeled as a stream of edge weight updates. Under the popularly adopted linear threshold (LT) model and the independent cascade (IC) model, we address two essential versions of the problem: tracking the top-$k$ influential individuals and finding the best $k$-seed set to maximize the influence spread (Influence Maximization). We adopt the polling-based method and maintain a sample of random RR sets so that we can approximate the influence of vertices with provable quality guarantees. It is known that updating RR sets over dynamic changes of a network can be easily done by a reservoir sampling method, so the key challenge is to efficiently decide how many RR sets are needed to achieve good quality guarantees. We use two simple signals, which both can be accessed in $O(1)$ time, to decide a proper number of RR sets. We prove the effectiveness of our methods. For both tasks the error incurred in our method is only a multiplicative factor to the ground truth. For influence maximization, we also propose an efficient query algorithm for finding the $k$ seeds, which is one order of magnitude faster than the state-of-the-art query algorithm in practice. In addition to the thorough theoretical results, our experimental results on large real networks clearly demonstrate the effectiveness and efficiency of our algorithms.


title: Memorization Precedes Generation: Learning Unsupervised GANs with Memory Networks

abstract: We propose an approach to address two issues that commonly occur during training of unsupervised GANs. First, since GANs use only a continuous latent distribution to embed multiple classes or clusters of data, they often do not correctly handle the structural discontinuity between disparate classes in a latent space. Second, discriminators of GANs easily forget about past generated samples by generators, incurring instability during adversarial training. We argue that these two infamous problems of unsupervised GAN training can be largely alleviated by a learnable memory network to which both generators and discriminators can access. Generators can effectively learn representation of training samples to understand underlying cluster distributions of data, which ease the structure discontinuity problem. At the same time, discriminators can better memorize clusters of previously generated samples, which mitigate the forgetting problem. We propose a novel end-to-end GAN model named memoryGAN, which involves a memory network that is unsupervisedly trainable and integrable to many existing GAN models. With evaluations on multiple datasets such as Fashion-MNIST, CelebA, CIFAR10, and Chairs, we show that our model is probabilistically interpretable, and generates realistic image samples of high visual fidelity. The memoryGAN also achieves the state-of-the-art inception scores over unsupervised GAN models on the CIFAR10 dataset, without any optimization tricks and weaker divergences.


title: Connections between star cluster populations and their host galaxy nuclear rings

abstract: Nuclear rings are excellent laboratories for probing diverse phenomena such as the formation and evolution of young massive star clusters (YMCs), nuclear starbursts, as well as the secular evolution and dynamics of their host galaxies. We have compiled a sample of 17 galaxies with nuclear rings, which are well resolved by high-resolution {\sl Hubble} and {\sl Spitzer Space Telescope} imaging. For each nuclear ring, we identified the ring star cluster population, along with their physical properties (ages, masses, extinction values). We also determined the integrated ring properties, including the average age, total stellar mass, and current star-formation rate (SFR). We find that Sb-type galaxies tend to have the highest ring stellar mass fraction with respect to the host galaxy, and this parameter is correlated with the ring's SFR surface density. The ring SFRs are correlated with their stellar masses, which is reminiscent of the main sequence of star-forming galaxies. There are striking correlations between star-forming properties (i.e., SFR and SFR surface density) and non-axisymmetric bar parameters, appearing to confirm previous inferences that strongly barred galaxies tend to have lower ring SFRs, although the ring star-formation histories turn out to be significantly more complicated. Nuclear rings with higher stellar masses tend to be associated with lower cluster mass fractions, but there is no such relation with the ages of the rings. The two youngest nuclear rings in our sample, NGC 1512 and NGC 4314, which have the most extreme physical properties, represent the young extremity of the nuclear ring age distribution.


title: Strain Modulation of Graphene by Nanoscale Substrate Curvatures: A Molecular View

abstract: Spatially nonuniform strain is important for engineering the pseudomagnetic field and band structure of graphene. Despite the wide interest in strain engineering, there is still a lack of control on device-compatible strain patterns due to the limited understanding of the structure-strain relationship. Here, we study the effect of substrate corrugation and curvature on the strain profiles of graphene via combined experimental and theoretical studies of a model system: graphene on closely packed SiO2 nanospheres with different diameters (20-200 nm). Experimentally, via quantitative Raman analysis, we observe partial adhesion and wrinkle features and find that smaller nanospheres induce larger tensile strain in graphene, theoretically, molecular dynamics simulations confirm the same microscopic structure and size dependence of strain and reveal that a larger strain is caused by a stronger, inhomogeneous interaction force between smaller nanospheres and graphene. This molecular-level understanding of the strain mechanism is important for strain engineering of graphene and other two-dimensional materials.


title: A discrete-time dynamical system and an evolution algebra of mosquito population

abstract: Recently, continuous-time dynamical systems, based on systems of ordinary differential equations, for mosquito populations are studied. In this paper we consider discrete-time dynamical system generated by an evolution quadratic operator of mosquito population and show that this system has two fixed points, which are saddle points (under some conditions on the parameters of the system). We construct an evolution algebra taking its matrix of structural constants equal to the Jacobian of the quadratic operator at a fixed point. Idempotent and absolute nilpotent elements, simplicity properties and some limit points of the evolution operator corresponding to the evolution algebra are studied. We give some biological interpretations of our results.


title: Cross-Paced Representation Learning with Partial Curricula for Sketch-based Image Retrieval

abstract: In this paper we address the problem of learning robust cross-domain representations for sketch-based image retrieval (SBIR). While most SBIR approaches focus on extracting low- and mid-level descriptors for direct feature matching, recent works have shown the benefit of learning coupled feature representations to describe data from two related sources. However, cross-domain representation learning methods are typically cast into non-convex minimization problems that are difficult to optimize, leading to unsatisfactory performance. Inspired by self-paced learning, a learning methodology designed to overcome convergence issues related to local optima by exploiting the samples in a meaningful order (i.e. easy to hard), we introduce the cross-paced partial curriculum learning (CPPCL) framework. Compared with existing self-paced learning methods which only consider a single modality and cannot deal with prior knowledge, CPPCL is specifically designed to assess the learning pace by jointly handling data from dual sources and modality-specific prior information provided in the form of partial curricula. Additionally, thanks to the learned dictionaries, we demonstrate that the proposed CPPCL embeds robust coupled representations for SBIR. Our approach is extensively evaluated on four publicly available datasets (i.e. CUFS, Flickr15K, QueenMary SBIR and TU-Berlin Extension datasets), showing superior performance over competing SBIR methods.


title: On Chromatic Core Subgraph of Simple Graphs

abstract: If distinct colours represent distinct technology types that are placed at the vertices of a simple graph in accordance to a minimum proper colouring, a disaster recovery strategy could rely on an answer to the question: "What is the maximum destruction, if any, the graph (a network) can undergo while ensuring that at least one of each technology type remain, in accordance to a minimum proper colouring of the remaining induced subgraph." In this paper, we introduce the notion of a chromatic core subgraph $H$ of a given simple graph $G$ in answer to the stated problem. Since for any subgraph $H$ of $G$ it holds that $\chi(H) \leq \chi(G)$, the problem is well defined.


title: Maximal perimeters of polytope sections and origin-symmetry

abstract: Let $P\subset\mathbb{R}^n$ $(n\geq 3)$ be a convex polytope containing the origin in its interior. Let $\mbox{vol}_{n-2} \big( \mbox{relbd} ( P\cap\lbrace t\xi + \xi^\perp \rbrace ) \big)$ denote the $(n-2)$-dimensional volume of the relative boundary of $P\cap\lbrace t\xi + \xi^\perp \rbrace$ for $t\in\mathbb{R}$, $\xi\in S^{n-1}$. We prove the following: if \begin{align*} \mbox{vol}_{n-2} \Big( \mbox{relbd} \big( P\cap\xi^\perp \big) \Big) = \max_{t\in\mathbb{R}} \mbox{vol}_{n-2} \Big( \mbox{relbd} \big( P\cap\lbrace t\xi + \xi^\perp \rbrace \big) \Big) \ \ \forall \ \ \xi\in S^{n-1}, \end{align*} then $P$ is origin-symmetric, i.e. $P = -P$. Our result gives a partial affirmative answer to a conjecture by Makai, Martini, and \'Odor. We also characterize the origin-symmetry of $C^1$ convex bodies in terms of the dual quermassintegrals of their sections; this can be seen as a dual version of the conjecture of Makai et al.


title: On the Existence of Leapfrogging Pair of Circular Vortex Filaments

abstract: We propose and analyze a system of nonlinear partial differential equations describing the motion of a pair of vortex filaments. Furthermore, for a pair of coaxial circular vortex filaments, we derive a condition for leapfrogging to occur and prove that the condition is necessary and sufficient for the occurrence of leapfrogging.


title: Production of open-charm mesons in relativistic heavy-ion collisions

abstract: We present a theoretical framework to study open charm production in relativistic heavy-ion collisions. The coupling strength between the charm quarks and the QGP constituents, quantified by the spatial diffusion coefficient $2\pi TD_{s}$, is obtained by performing a phenomenological fit analysis to the lattice QCD calculations, resulting in $2\pi TD_{s}=const.$ (\textbf{Model-A}) and $2\pi TD_{s}=1.3 + (T/T_{c})^2$ (\textbf{Model-B}). We find that the relative azimuthal distribution of the initially back-to-back generated $c\bar{c}$ pairs presents a broadening behaviour, which is more pronounced for $c\bar{c}$ pairs with small initial $p_{\rm T}$, and when the Model-B approach is adopted. The competition between the initial drag and the subsequent collective effects tends to restrict the time dependence of charm quark $R_{\rm AA}$. Concerning the theoretical uncertainty on final D-meson nuclear modification, the nuclear shadowing and pp baseline components are dominat at high and low $p_{\rm T}$ ($p_{\rm T}\lesssim3~{\rm GeV/{\it c}}$), respectively. The measured D-meson $R_{\rm AA}(p_{\rm T})$ favors Model-A assumption for the diffusion coefficient both at RHIC and LHC, while their $v_{2}(p_{\rm T})$ prefer Model-B at moderate $p_{\rm T}$. These results confirm the necessity to consider the temperature- and/or momentum-dependence of $2\pi TD_{s}$ to describe well the D-meson $R_{\rm AA}$ and $v_{\rm 2}$ simultaneously.


title: Compactness and generic finiteness for free boundary minimal hypersurfaces (I)

abstract: Given a compact Riemannian manifold with boundary, we prove that the space of embedded, which may be improper, free boundary minimal hypersurfaces with uniform area and Morse index upper bound is compact in the sense of smoothly graphical convergence away from finitely many points. We show that the limit of a sequence of such hypersurfaces always inherits a non-trivial Jacobi field when it has multiplicity one. In a forthcoming paper, we will construct Jacobi fields when the convergence has higher multiplicity.


title: SED constraints on the highest-$z$ blazar jet: QSO J0906+6930

abstract: We report on Gemini, NuSTAR and 8-year Fermi observations of the most distant blazar QSO~J0906$+$6930 ($z=5.48$). We construct a broadband spectral energy distribution (SED) and model the SED using a synchro-Compton model. The measurements find a $\sim 4 \times 10^9 M_\odot$ mass for the black hole and a spectral break at $\sim$4 keV in the combined fit of the new NuSTAR and archival Chandra data. The SED fitting constrains the bulk Doppler factor $\delta$ of the jet to $9^{+2.5}_{-3}$ for QSO~J0906$+$6930. Similar, but weaker $\delta$ constraints are derived from SED modeling of the three other claimed $z>5$ blazars. Together, these extrapolate to $\sim620$ similar sources, fully 20\% of the optically bright, high mass AGN expected at $5<z<5.5$. This has interesting implications for the early growth of massive black holes.


title: Science Objectives of the Ganymede Laser Altimeter (GALA) for the JUICE Mission

abstract: Laser altimetry is a powerful tool for addressing the major objectives of planetary physics and geodesy, and have been applied in planetary explorations of the Moon, Mars, Mercury, and the asteroids Eros, and Itokawa. The JUpiter Icy Moons Explorer (JUICE), led by European Space Agency (ESA), has started development to explore the emergence of habitable worlds around gas giants. The Ganymede Laser Altimeter (GALA) will be the first laser altimeter for icy bodies, and will measure the shape and topography of the large icy moons of Jupiter, (globally for Ganymede, and using flyby ground-tracks for Europa and Callisto). Such information is crucial for understanding the formation of surface features and can tremendously improve our understanding of the icy tectonics. In addition, the GALA will infer the presence or absence of a subsurface ocean by measuring the tidal and rotational responses. Furthermore, it also improves the accuracy of gravity field measurements reflecting the interior structure, collaborating with the radio science experiment. In addition to range measurements, the signal strength and the waveform of the laser pulses reflected from the moon's surface contain information about surface reflectance at the laser wavelength and small scale roughness. Therefore we can infer the degrees of chemical and physical alterations, e.g., erosion, space weathering, compaction and deposition of exogenous materials, through GALA measurements without being affected by illumination conditions. JUICE spacecraft carries ten science payloads including GALA. They work closely together in a synergistic way with GALA being one of the key instruments for understanding the evolution of the icy satellites Ganymede, Europa, and Callisto.


title: Quasiparticle energy spectra of isolated atoms from coupled-cluster singles and doubles (CCSD): Comparison with exact CI calculations

abstract: In this study, we have calculated single-electron energy spectra via the Green's function based on the coupled-cluster singles and doubles (GFCCSD) method for isolated atoms from H to Ne. In order to check the accuracy of the GFCCSD method, we compared the results with the exact ones calculated from the full-configuration interaction (FCI). Consequently, we have found that the GFCCSD method reproduces not only the correct quasiparticle peaks but also satellite ones by comparing the exact spectra with the 6-31G basis set. It is also found that open-shell atoms such as C atom exhibit Mott gaps at the Fermi level, which the exact density-functional theory (DFT) fails to describe. The GFCCSD successfully reproduces the Mott HOMO-LUMO (highest-occupied molecular orbital and lowest-unoccupied molecular orbital) gaps even quantitatively. We also discussed the origin of satellite peaks as shake-up effects by checking the components of wave function of the satellite peaks. The GFCCSD is a novel cutting edge to investigate the electronic states in detail.


title: Hard X-ray View of HCG 16 (Arp 318)

abstract: We report the hard X-ray (3-50 keV) view of the compact group HCG 16 (Arp 318) observed with Nuclear Spectroscopic Telescope Array (NuSTAR). NGC 838 and NGC 839 are undetected at energies above 8 keV, showing no evidence of heavily obscured active galactic nuclei (AGNs). This confirms that these are starburst-dominant galaxies as previously suggested. We perform a comprehensive broadband (0.3-50 keV) X-ray spectral analysis of the interacting galaxies NGC 833 and NGC 835, using data of NuSTAR, Chandra, and XMM-Newton observed on multiple epochs from 2000 to 2015. NuSTAR detects the transmitted continua of low-luminosity active galactic nuclei (LLAGNs) in NGC 833 and NGC 835 with line-of-sight column densities of $\approx 3 \times10^{23}$ cm$^{-2}$ and intrinsic 2-10 keV luminosities of $\approx 3\times10^{41}$ erg s$^{-1}$. The iron-K$\alpha$ to hard X-ray luminosity ratios of NGC 833 and NGC 835 suggest that their tori are moderately developed, which may have been triggered by the galaxy interactions. We find that NGC 835 underwent long-term variability in both intrinsic luminosity (by a factor of 5) and absorption (by $\Delta N_{\rm H} \approx 2\times10^{23}$ cm$^{-2}$). We discuss the relation between the X-ray and total infrared luminosities in local LLAGNs hosted by spiral galaxies. The large diversity in their ratios is consistent with the the general idea that the mass accretion process in the nucleus and the star forming activity in the disk are not strongly coupled, regardless of the galaxy environment.


title: Selectively exciting quasi-normal modes in open disordered systems

abstract: Transmission through disordered samples can be controlled by illuminating a sample with waveforms corresponding to the eigenchannels of the transmission matrix. But can the TM be exploited to selectively excite quasi-normal modes and so control the spatial profile and dwell time inside the medium? We show in microwave and numerical studies that spectra of the TM can be analyzed into modal transmission matrices of rank unity. This makes it possible to enhance the energy within a sample by a factor equal to the number of channels. Limits to modal selectivity arise, however, from correlation in the speckle patterns of neighboring modes. In accord with an effective Hamiltonian model, the degree of modal speckle correlation grows with increasing modal spectral overlap and non-orthogonality of the modes of non-Hermitian systems. This is observed when the coupling of a sample to its surroundings increases, as in the crossover from localized to diffusive waves.


title: Topological excitations in the ferromagnetic Kitaev-Heisenberg model

abstract: With the advancement in synthesizing and analyzing Kitaev materials, the Kitaev-Heisenberg model on the honeycomb lattice has attracted a lot of attention in the last few years. Several variations, which include additional anisotropic interactions as well as response to external magnetic field, have been investigated and many exotic ordered phases have been discussed. On the other hand, quantum spin systems are proving to be a fertile ground to realize and study bosonic analogues of fermionic topological states of matter. Using the spin-wave theory we show that the ferromagnetic phase of the extended Kitaev-Heisenberg model hosts topological excitations. Along the zig-zag edge of the honeycomb lattice we find chiral edge states, which are protected by a non-zero Chern number topological invariant. We discuss two different scenarios for the direction of the spin polarization namely $[001]$ and $[111]$, which are motivated by possible directions of applied field. Dynamic structure factor, accessible in scattering experiments, is shown to exhibit signatures of these topological edge excitations. Furthermore, we show that in case of spin polarization in $[001]$ direction, a topological phase transition occurs once the Kitaev couplings are made anisotropic.


title: A new stereo formulation not using pixel and disparity models

abstract: We introduce a new stereo formulation which does not use pixel and disparity models. Many problems in vision are treated as assigning each pixel a label. Disparities are labels for stereo. Such pixel-labeling problems are naturally represented in terms of energy minimization, where the energy function has two terms: one term penalizes solutions that inconsistent with the observed data, the other term enforces spatial smoothness. Graph cuts are one of the effi- cient methods for solving energy minimization. However, exact minimization of multi labeling problems can be performed by graph cuts only for the case with convex smoothness terms. In pixel-disparity formulation, convex smoothness terms do not generate well reconstructed 3D results. Thus, truncated linear or quadratic smoothness terms, etc. are used, where approximate energy minimization is necessary. In this paper, we introduce a new site-labeling formulation, where the sites are not pixels but lines in 3D space, labels are not disparities but depth numbers. For this formulation, visibility reasoning is naturally included in the energy function. In addition, this formulation allows us to use a small smoothness term, which does not affect the 3D results much. This makes the optimization step very simple, so we could develop an approximation method for graph cut itself (not for energy minimization) and a high performance GPU graph cut program. For Tsukuba stereo pair in Middlebury data set, we got the result in 5ms using GTX1080GPU, 19ms using GTX660GPU.