title: Kinematics of the Galactic SNR G109.1-1.0 (CTB 109)

abstract: We present direct images in the H$\alpha$ and [SII]$\lambda \lambda$6717,6731 $\text{\AA}$ lines of the Galactic Supernova Remnant G109.1-1.0 (CTB 109). We confirm that the filaments detected are the optical counterpart of the X-ray and radio supernova remnant due to their high [SII]/H$\alpha$ line-ratios. We study for the first time the kinematics of the optical counterpart of SNR CTB 109 using the UNAM scanning Fabry-Perot interferometer PUMA. We estimate a systemic velocity of V$_{LSR}$=-50$\pm$6 km s$^{-1}$ for this remnant and an expansion velocity of V$_{exp}$=230$\pm$5 km s$^{-1}$. From this velocity value and taking into account previous studies about the kinematics of objects at that Galactic longitude we derive a distance to the SNR CTB 109 of 3.1$\pm$0.2 kpc, locating it in the Perseus arm. Using the [SII]$\lambda$6717/[SII]$\lambda$6731 line-ratio we find an electronic density value around n$_e$= 580 cm$^{-3}$. Considering that this remnant is evolving in a low density medium with higher density cloudlets responsible of the optical emission, we determine the age and energy deposited in the ISM by the supernova explosion (E$_0$) in both the Sedov-Taylor phase and the radiative phase. For both cases the age is of thousands of years and the E$_0$ is rather typical of SNRs containing simple pulsars so that, the energy released to the ISM cannot be used to distinguish between supernova remnants hosting typical pulsars from those hosting powerful magnetars as in the case of CTB 109.


title: Separability Criterion for Quantum Effects

abstract: Entanglement of quantum states is absolutely essential for modern quantum sciences and technologies. It is natural to extend the notion of entanglement to quantum observables dual to quantum states. For quantum states, various separability criteria have been proposed to determine whether a given state is entangled. In this Letter, we propose a separability criterion for specific quantum effects (binary observables) that can be regarded as a dual version of the Bell-Clauser-Horne-Shimony-Holt (Bell-CHSH) inequality for quantum states. The violation of the dual version of the Bell-CHSH inequality is confirmed by using IBM's cloud quantum computer. As a consequence, the violation of our inequality rules out the maximal tensor product state space, that satisfies information causality and local tomography. As an application, we show that an entangled observable which violates our inequality is useful for quantum teleportation.


title: On the Control of Density-Dependent Stochastic Population Processes with Time-Varying Behavior

abstract: The study of density-dependent stochastic population processes is important from a historical perspective as well as from the perspective of a number of existing and emerging applications today. In more recent applications of these processes, it can be especially important to include time-varying parameters for the rates that impact the density-dependent population structures and behaviors. Under a mean-field scaling, we show that such density-dependent stochastic population processes with time-varying behavior converge to a corresponding dynamical system. We analogously establish that the optimal control of such density-dependent stochastic population processes converges to the optimal control of the limiting dynamical system. An analysis of both the dynamical system and its optimal control renders various important mathematical properties of interest.


title: Beam Tracking for UAV Mounted SatCom on-the-Move with Massive Antenna Array

abstract: Unmanned aerial vehicle (UAV)-satellite communication has drawn dramatic attention for its potential to build the integrated space-air-ground network and the seamless wide-area coverage. The key challenge to UAV-satellite communication is its unstable beam pointing due to the UAV navigation, which is a typical SatCom on-the-move scenario. In this paper, we propose a blind beam tracking approach for Ka-band UAVsatellite communication system, where UAV is equipped with a large-scale antenna array. The effects of UAV navigation are firstly released through the mechanical adjustment, which could approximately point the beam towards the target satellite through beam stabilization and dynamic isolation. Specially, the attitude information can be realtimely derived from data fusion of lowcost sensors. Then, the precision of the beam pointing is blindly refined through electrically adjusting the weight of the massive antennas, where an array structure based simultaneous perturbation algorithm is designed. Simulation results are provided to demonstrate the superiority of the proposed method over the existing ones.


title: Dirac and Chiral Quantum Spin Liquids on the Honeycomb Lattice in a Magnetic Field

abstract: Motivated by recent experimental observations in $\alpha$-RuCl$_3$, we study the $K$-$\Gamma$ model on the honeycomb lattice in an external magnetic field. By a slave-particle representation and Variational Monte Carlo calculations, we reproduce the phase transition from zigzag magnetic order to a field-induced disordered phase. The nature of this state depends crucially on the field orientation. For particular field directions in the honeycomb plane, we find a gapless Dirac spin liquid, in agreement with recent experiments on $\alpha$-RuCl$_3$. For a range of out-of-plane fields, we predict the existence of a Kalmeyer-Laughlin-type chiral spin liquid, which would show an integer-quantized thermal Hall effect.


title: $G_\delta$-topology and compact cardinals

abstract: For a topological space $X$, let $X_\delta$ be the space $X$ with $G_\delta$-topology of $X$. For an uncountable cardinal $\kappa$, we prove that the following are equivalent: (1) $\kappa$ is $\omega_1$-strongly compact. (2) For every compact Hausdorff space $X$, the Lindel\"of degree of $X_\delta$ is $\le \kappa$. (3) For every compact Hausdorff space $X$, the weak Lindel\"of degree of $X_\delta$ is $\le \kappa$. This shows that the least $\omega_1$-strongly compact cardinal is the supremum of the Lindel\"of and the weak Lindel\"of degrees of compact Hausdorff spaces with $G_\delta$-topology. We also prove the least measurable cardinal is the supremum of the extents of compact Hausdorff spaces with $G_\delta$-topology. For the square of a Lindel\"of space, using weak $G_\delta$-topology, we prove that the following are consistent: (1) the least $\omega_1$-strongly compact cardinal is the supremum of the (weak) Lindel\"of degrees of the squares of regular $T_1$ Lindel\"of spaces. (2) The least measurable cardinal is the supremum of the extents of the squares of regular $T_1$ Lindel\"of spaces.


title: Visual Reference Resolution using Attention Memory for Visual Dialog

abstract: Visual dialog is a task of answering a series of inter-dependent questions given an input image, and often requires to resolve visual references among the questions. This problem is different from visual question answering (VQA), which relies on spatial attention (a.k.a. visual grounding) estimated from an image and question pair. We propose a novel attention mechanism that exploits visual attentions in the past to resolve the current reference in the visual dialog scenario. The proposed model is equipped with an associative attention memory storing a sequence of previous (attention, key) pairs. From this memory, the model retrieves the previous attention, taking into account recency, which is most relevant for the current question, in order to resolve potentially ambiguous references. The model then merges the retrieved attention with a tentative one to obtain the final attention for the current question; specifically, we use dynamic parameter prediction to combine the two attentions conditioned on the question. Through extensive experiments on a new synthetic visual dialog dataset, we show that our model significantly outperforms the state-of-the-art (by ~16 % points) in situations, where visual reference resolution plays an important role. Moreover, the proposed model achieves superior performance (~ 2 % points improvement) in the Visual Dialog dataset, despite having significantly fewer parameters than the baselines.


title: A semi-automated segmentation method for detection of pulmonary embolism in True-FISP MRI sequences

abstract: Pulmonary embolism (PE) is a highly mortal disease, currently assessed by pulmonary CT angiography. True-FISP MRI has emerged as an innocuous alternative that does not hold many of the limitations of x-ray imaging. However, True-FISP MRI is very sensitive to turbulent blood flow, generating artifacts that may resemble fake clots in the pulmonary vasculature. These misinterpretations reduce its overall diagnostic accuracy to 94%, limiting a wider use in clinical environments. A new segmentation algorithm is proposed to confirm the presence of real pulmonary clots in True-FISP MR images by quantitative means, measuring the shape, intensity, and solidity of the formation. The algorithm was evaluated in 37 patients. The developed method increased the diagnostic accuracy of expert observers assessing Pulmonary True-FISP MRI sequences by 6% without the use of ionizing radiation, achieving a diagnostic accuracy comparable to standard CT angiography.


title: A reciprocal sum related to the Riemann zeta function at s=6

abstract: We introduce an explicit formula for a reciprocal sum related to the Riemann zeta function at s=6, and pose one question related to a computational formula for larger values of s.


title: Hall-Littlewood polynomials and a Hecke action on ordered set partitions

abstract: We construct an action of the Hecke algebra $H_n(q)$ on a quotient of the polynomial ring $F[x_1, \dots, x_n]$, where $F = \mathbb{Q}(q)$. The dimension of our quotient ring is the number of $k$-block ordered set partitions of $\{1, 2, \dots, n \}$. This gives a quantum analog of a construction of Haglund-Rhoades-Shimozono and interpolates between their result at $q = 1$ and work of Huang-Rhoades at $q = 0$.


title: On some actions of the 0-Hecke monoids of affine symmetric groups

abstract: There are left and right actions of the 0-Hecke monoid of the affine symmetric group $\tilde{S}_n$ on involutions whose cycles are labeled periodically by nonnegative integers. Using these actions we construct two bijections, which are length-preserving in an appropriate sense, from the set of involutions in $\tilde{S}_n$ to the set of $\mathbb{N}$-weighted matchings in the $n$-element cycle graph. As an application, we compute a formula for the bivariate generating function counting the involutions in $\tilde S_n$ by length and absolute length. The 0-Hecke monoid of $\tilde{S}_n$ also acts on involutions (without any cycle labelling) by Demazure conjugation. The atoms of an involution $z \in \tilde{S}_n$ are the minimal length permutations $w$ which transform the identity to $z$ under this action. We prove that the set of atoms for an involution in $\tilde{S}_n$ is naturally a bounded, graded poset, and give a formula for the set's minimum and maximum elements. Using these properties, we classify the covering relations in the Bruhat order restricted to involutions in $\tilde{S}_n$.


title: Science with the Cherenkov Telescope Array

abstract: The Cherenkov Telescope Array, CTA, will be the major global observatory for very high energy gamma-ray astronomy over the next decade and beyond. The scientific potential of CTA is extremely broad: from understanding the role of relativistic cosmic particles to the search for dark matter. CTA is an explorer of the extreme universe, probing environments from the immediate neighbourhood of black holes to cosmic voids on the largest scales. Covering a huge range in photon energy from 20 GeV to 300 TeV, CTA will improve on all aspects of performance with respect to current instruments. The observatory will operate arrays on sites in both hemispheres to provide full sky coverage and will hence maximize the potential for the rarest phenomena such as very nearby supernovae, gamma-ray bursts or gravitational wave transients. With 99 telescopes on the southern site and 19 telescopes on the northern site, flexible operation will be possible, with sub-arrays available for specific tasks. CTA will have important synergies with many of the new generation of major astronomical and astroparticle observatories. Multi-wavelength and multi-messenger approaches combining CTA data with those from other instruments will lead to a deeper understanding of the broad-band non-thermal properties of target sources. The CTA Observatory will be operated as an open, proposal-driven observatory, with all data available on a public archive after a pre-defined proprietary period. Scientists from institutions worldwide have combined together to form the CTA Consortium. This Consortium has prepared a proposal for a Core Programme of highly motivated observations. The programme, encompassing approximately 40% of the available observing time over the first ten years of CTA operation, is made up of individual Key Science Projects (KSPs), which are presented in this document.


title: On the weak tightness, Hausdorff spaces, and power homogeneous compacta

abstract: Motivated by results of Juh\'asz and van Mill in [13], we define the cardinal invariant $wt(X)$, the weak tightness of a topological space $X$, and show that $|X|\leq 2^{L(X)wt(X)\psi(X)}$ for any Hausdorff space $X$ (Theorem 2.8). As $wt(X)\leq t(X)$ for any space $X$, this generalizes the well-known cardinal inequality $|X|\leq 2^{L(X)t(X)\psi(X)}$ for Hausdorff spaces (Arhangel{\cprime}ski\u{i}~[1],\v{S}}apirovski\u{i}}~[18]) in a new direction. Theorem 2.8 is generalized further using covers by $G_\kappa$-sets, where $\kappa$ is a cardinal, to show that if $X$ is a power homogeneous compactum with a countable cover of dense, countably tight subspaces then $|X|\leq\mathfrak{c}$, the cardinality of the continuum. This extends a result in [13] to the power homogeneous setting.


title: Some Theorems and Applications of the $(q,r)$-Whitney Numbers

abstract: The $(q,r)$-Whitney numbers were recently defined in terms of the $q$-Boson operators, and several combinatorial properties which appear to be $q$-analogues of similar properties were studied. In this paper, we obtain elementary and complete symmetric polynomial forms for the $(q,r)$-Whitney numbers, and give combinatorial interpretations in the context of $A$-tableaux. We also obtain convolution-type identities using the combinatorics of $A$-tableaux. Lastly, we present applications and theorems related to discrete $q$-distributions.


title: Spivey's Bell Number Formula Revisited

abstract: This paper introduces an alternative form of the derivation of Spivey's Bell number formula which involves the $q$-Boson operators $a$ and $a^{\dagger}$. Furthermore, a similar formula for the case of the $(q,r)$-Dowling polynomials is obtained, and is shown to produce a generalization of the latter.


title: Real-time Log Query Interface for large datasets using Apache Spark

abstract: Log Query Interface is an interactive web application that allows users to query the very large data logs of MobileInsight easily and efficiently. With this interface, users no longer need to talk to the database through command line queries, nor to install the MobileInsight client locally to fetch data. Users can simply select/type the query message through our web based system which queries the database very efficiently and responds back to user. While testing on 6GB of datasets our system takes less than 1 seconds to respond back, the similar queries on traditional MySql database takes more than 60 seconds. The system gives user the capability to execute all the queries using sql query language. User can perform complex join operations on very large tables. The query response time is hugely improved by the server side Spark clusters, which stores the big datasets in a distributed system and execute the query in parallel on multiple machines.


title: Thermal vorticity production in relativistic dissipative fluids

abstract: We have computed the circulation integrations of thermal vorticity with and without charged currents in dissipative fluids. We find that the relativistic Kelvin circulation theorem will be modified by the dissipative effects, therefore, the circulation integrations of thermal vorticity may not be conserved during the fluid evolution.


title: Non-Adiabatic Vibrational Damping of Molecular Adsorbates: Insights into Electronic Friction and the Role of Electronic Coherence

abstract: We present a perturbation approach rooted in time-dependent density-functional theory to calculate electron hole (eh)-pair excitation spectra during the non-adiabatic vibrational damping of adsorbates on metal surfaces. Our analysis for the benchmark systems CO on Cu(100) and Pt(111) elucidates the surprisingly strong influence of rather short electronic coherence times. We demonstrate how in the limit of short electronic coherence times, as implicitly assumed in prevalent quantum nuclear theories for the vibrational lifetimes as well as electronic friction, band structure effects are washed out. Our results suggest that more accurate lifetime or chemicurrent-like experimental measurements could characterize the electronic coherence.


title: Slow-scale split-step tau-leap method for stiff stochastic chemical systems

abstract: Tau-leaping is a family of algorithms for the approximate simulation of the discrete state continuous time Markov chains. Motivation for the development of such methods can be found, for instance, in the fields of chemical kinetics and systems biology. It is known that the dynamical behavior of biochemical systems is often intrinsically stiff representing a serious challenge for their numerical approximation. The naive extension of stiff deterministic solvers to stochastic integration often yields numerical solutions with either impractically large relaxation times or incorrectly resolved covariance. In this paper, we propose a splitting heuristic which helps to resolve some of these issues. The proposed integrator contains a number of unknown parameters which are estimated for each particular problem from the moment equations of the corresponding linearized system. We show that this method is able to reproduce the exact mean and variance of the linear scalar test equation and demonstrates a good accuracy for the arbitrarily stiff systems at least in the linear case. The numerical examples for both linear and nonlinear systems are also provided and the obtained results confirm the efficiency of the considered splitting approach.


title: Magnetothermal Evolution of Neutron Stars with Emphasis to Radio Pulsars

abstract: The magnetic and thermal evolution of neutron stars is a very complex process with many nonlinear interactions. For a decent understanding of neutron star physics, these evolutions cannot be considered isolated. A brief overview is presented, which describes the main magnetothermal interactions that determine the fate of both isolated neutron stars and accreting ones. Special attention is devoted to the interplay of thermal and magnetic evolution at the polar cap of radio pulsars. There, a strong meridional temperature gradient is maintained over the lifetime of radio pulsars. It may be strong enough to drive thermoelectric magnetic field creation which perpetuate a toroidal magnetic field around the polar cap rim. Such a local field component may amplify and curve the poloidal surface field at the cap, forming a strong and small scale magnetic field as required for the radio emission of pulsars


title: Trapped modes with extremely high quality factor in the subwavelength ring resonator composed of dielectric nanorods

abstract: In this paper, we investigate numerically the trapped modes with near zero group velocities supported in the ring array composed of dielectric nanorods, based on a two-dimensional model. Two sorts of trapped modes in the ring array have been identified: the BCR trapped modes which correspond to the bound modes below the light line at the edge of the first Brillouin zone in the corresponding planar structure (namely the infinite linear chain); the quasi-BIC trapped modes corresponding to the bound states in the continuum supported in the infinite linear chain. According to the whispering gallery condition, the BCR trapped modes can be supported in the ring array only when the number of dielectric elements N is even, while the quasi-BIC ones always exist no matter whether N is odd or even. For both two kind of trapped modes, the lowest one of each kind possesses the highest Q factor, which are ~105 for BCR kind and ~1011 for quasi-BIC kind with N=16 respectively, and the radiation loss increases dramatically as the structural resonance increases. Finally, the behavior of the Q factor with N is explained numerically for the lowest one of each kind of trapped modes. The Q factor scales as Q~exp(0.662N) for the quasi-BIC trapped mode and Q~exp(0.325N) for the BCR one. Intriguingly, the Q factor of the quasi-BIC trapped mode can be as large as ~105 even at N=8. Compared to the finite linear chain, the structure of ring array exhibits overwhelming advantage in Q factor with the same N because there is no array-edge radiation loss in the ring array. We note that the principles can certainly be extended to particles of other shapes (such as nanospheres, nanodisks, and many other experimentally feasible geometries).


title: Comment on `Radiation from multi-GeV electrons and positrons in periodically bent silicon crystal'

abstract: Simulations of electron and positron channelling in a crystalline undulator with a small amplitude and a short period (A Kostyuk, Phys. Rev. Lett. 110 (2013) 115503) were repeated by V G Bezchastnov, A V Korol and A V Solov'yov (J. Phys. B: At. Mol. Opt. Phys. 47 (2014) 195401)for the same parameter set but using another computer code, MBN Explorer, which implements a different model of projectile scattering by crystal atoms. The authors of the latter paper claim that their approach, in contrast to the one of the former paper, allows them to observe short-period undulator oscillations in plots of simulated trajectories. In fact, the undulator oscillations become visible on trajectory segments which have a small amplitude of channelling oscillations. This is equally true for both approaches. The claim of Bezchastnov et al. that their model is "more accurate" is unfounded. Moreover, there are indications of severe mistakes in their calculations: the phases of undulator oscillations in the trajectories obtained with MBN Explorer are inconsistent with each other and with well established properties of forced oscillations.


title: Kondo Effect with Weyl Semimetal Fermi Arcs

abstract: We investigate the Kondo effect of the Fermi arcs in a time-reversal-invariant Weyl semimetal with the variational method. To show the consequence brought out by the nontrivial spin texture, we calculate the spatial spin-spin correlation functions. The correlation functions exhibit high anisotropy. The diagonal correlation functions are dominated by the antiferromagnetic correlation while the off-diagonal part has more complicated pattern. The correlation functions obey the same symmetry as the spin texture. Tuning chemical potential changes the pattern of the correlation functions and the correlation length. The correlation functions of the Weyl semimetal Fermi arcs and that from a Dirac semimetal show discrepancy.


title: Pinning of Domain Walls in thin Ferromagnetic Films

abstract: We present a quantitative investigation of magnetic domain wall pinning in thin magnets with perpendicular anisotropy. A self-consistent description exploiting the universal features of the depinning and thermally activated sub-threshold creep regimes observed in the field driven domain wall velocity, is used to determine the effective pinning parameters controlling the domain wall dynamics: the effective height of pinning barriers, the depinning threshold, and the velocity at depinning. Within this framework, the analysis of results published in the literature allows for a quantitative comparison of pinning properties for a set of magnetic materials in a wide temperature range. On the basis of scaling arguments, the microscopic parameters controlling the pinning: the correlation length of pinning, the collectively pinned domain wall length (Larkin length) and the strength of pinning disorder, are estimated from the effective pinning and the micromagnetic parameters. The analysis of thermal effects reveals a crossover between different pinning length scales and strengths at low reduced temperature.


title: Stability of Satellite Planes in M31 II: Effects of the Dark Subhalo Population

abstract: The planar arrangement of nearly half the satellite galaxies of M31 has been a source of mystery and speculation since it was discovered. With a growing number of other host galaxies showing these satellite galaxy planes, their stability and longevity have become central to the debate on whether the presence of satellite planes are a natural consequence of prevailing cosmological models, or represent a challenge. Given the dependence of their stability on host halo shape, we look into how a galaxy plane's dark matter environment influences its longevity. An increased number of dark matter subhalos results in increased interactions that hasten the deterioration of an already-formed plane of satellite galaxies in spherical dark halos. The role of total dark matter mass fraction held in subhalos in dispersing a plane of galaxies present non trivial effects on plane longevity as well. But any misalignments of plane inclines to major axes of flattened dark matter halos lead to their lifetimes being reduced to < 3 Gyrs. Distributing > 40% of total dark mass in subhalos in the overall dark matter distribution results in a plane of satellite galaxies that is prone to change through the 5 Gyr integration time period.


title: Long Short-Term Memory for Japanese Word Segmentation

abstract: This study presents a Long Short-Term Memory (LSTM) neural network approach to Japanese word segmentation (JWS). Previous studies on Chinese word segmentation (CWS) succeeded in using recurrent neural networks such as LSTM and gated recurrent units (GRU). However, in contrast to Chinese, Japanese includes several character types, such as hiragana, katakana, and kanji, that produce orthographic variations and increase the difficulty of word segmentation. Additionally, it is important for JWS tasks to consider a global context, and yet traditional JWS approaches rely on local features. In order to address this problem, this study proposes employing an LSTM-based approach to JWS. The experimental results indicate that the proposed model achieves state-of-the-art accuracy with respect to various Japanese corpora.


title: The variance of dispersion measure of high-redshift transient objects as a probe of ionized bubble size during reionization

abstract: The dispersion measure (DM) of high-redshift $(z \gtrsim 6)$ transient objects such as Fast Radio Bursts can be a powerful tool to probe the intergalactic medium during the Epoch of Reionization. In this paper, we study the variance of the DMs of objects with the same redshift as a potential probe of the size distribution of ionized bubbles. We calculate the DM variance with a simple model with randomly-distributed spherical bubbles. It is found that the DM variance reflects the characteristics of the probability distribution of the bubble size. We find the variance can be measured precisely enough to obtain the information on the typical size with a few hundred sources at a single redshift.


title: Transport coefficients in Polyakov quark meson coupling model: a relaxation time approximation

abstract: We compute the transport coefficients, namely, the coefficients of shear and bulk viscosities as well as thermal conductivity for hot and dense matter. The calculations are performed within the Polyakov quark meson model. The estimation of the transport coefficients is made using the Boltzmann kinetic equation within the relaxation time approximation. The energy dependent relaxation time is estimated from meson meson scattering, quark meson scattering and quark quark scattering within the model. In our calculations, the shear viscosity to entropy ratio and the coefficient of thermal conductivity show a minimum at the critical temperature, while the ratio of bulk viscosity to entropy density exhibits a peak at this transition point.The effect of confinement modelled through a Polyakov loop potential plays an important role in the estimation of these dissipative coefficients both below and above the critical temperature.


title: Metric properties of parabolic ample bundles

abstract: We introduce a notion of admissible Hermitian metrics on parabolic bundles and define positivity properties for the same. We develop Chern-Weil theory for parabolic bundles and prove that our metric notions coincide with the already existing algebro-geometric versions of parabolic Chern classes. We also formulate a Griffiths conjecture in the parabolic setting and prove some results that provide evidence in its favour for certain kinds of parabolic bundles. For these kinds of parabolic structures, we prove that the conjecture holds on Riemann surfaces. We also prove that a Berndtsson-type result holds, and that there are metrics on stable bundles over surfaces whose Schur forms are positive.


title: Combining Machine Learning and Physics to Understand Glassy Systems

abstract: Our understanding of supercooled liquids and glasses has lagged significantly behind that of simple liquids and crystalline solids. This is in part due to the many possibly relevant degrees of freedom that are present due to the disorder inherent to these systems and in part to non-equilibrium effects which are difficult to treat in the standard context of statistical physics. Together these issues have resulted in a field whose theories are under-constrained by experiment and where fundamental questions are still unresolved. Mean field results have been successful in infinite dimensions but it is unclear to what extent they apply to realistic systems and assume uniform local structure. At odds with this are theories premised on the existence of structural defects. However, until recently it has been impossible to find structural signatures that are predictive of dynamics. Here we summarize and recast the results from several recent papers offering a data driven approach to building a phenomenological theory of disordered materials by combining machine learning with physical intuition.


title: An Incremental Slicing Method for Functional Programs

abstract: Several applications of slicing require a program to be sliced with respect to more than one slicing criterion. Program specialization, parallelization and cohesion measurement are examples of such applications. These applications can benefit from an incremental static slicing method in which a significant extent of the computations for slicing with respect to one criterion could be reused for another. In this paper, we consider the problem of incremental slicing of functional programs. We first present a non-incremental version of the slicing algorithm which does a polyvariant analysis 1 of functions. Since polyvariant analyses tend to be costly, we compute a compact context-independent summary of each function and then use this summary at the call sites of the function. The construction of the function summary is non-trivial and helps in the development of the incremental version. The incremental method, on the other hand, consists of a one-time pre-computation step that uses the non-incremental version to slice the program with respect to a fixed default slicing criterion and processes the results further to a canonical form. Presented with an actual slicing criterion, the incremental step involves a low-cost computation that uses the results of the pre-computation to obtain the slice. We have implemented a prototype of the slicer for a pure subset of Scheme, with pairs and lists as the only algebraic data types. Our experiments show that the incremental step of the slicer runs orders of magnitude faster than the non-incremental version. We have also proved the correctness of our incremental algorithm with respect to the non-incremental version.


title: Modulation of Galactic Cosmic Rays in the Inner Heliosphere over Solar Cycles

abstract: The 11-year and 22-year modulation of galactic cosmic rays (GCRs) in the inner heliosphere are studied using a numerical model developed by Qin and Shen in 2017. Based on the numerical solutions of Parker's transport equations, the model incorporates a modified Parker heliospheric magnetic field, a locally static time delayed heliosphere, and a time-dependent diffusion coefficients model in which an analytical expression of the variation of magnetic turbulence magnitude throughout the inner heliosphere is applied. Furthermore, during solar maximum, the solar magnetic polarity is determined randomly with the possibility of $A>0$ decided by the percentage of the north solar polar magnetic field being outward and the south solar polar magnetic field being inward. The computed results are compared with several GCR observations, e.g., IMP 8, SOHO/EPHIN, Ulysses, Voyager 1 \& 2, at various energies and show good agreement. It is shown that our model has successfully reproduced the 11-year and 22-year modulation cycles.


title: A new indexed approach to render the attractors of Kleinian groups

abstract: One widespread procedure to render the attractor of Kleinian groups, published in the renown book "Indra's Pearls" and based upon a combinatorial tree model, wants huge memory resources to compute and store all the words required. We will present here a new faster and lighter version which drops the original words array and pulls out words from integer numbers.


title: Semi-Supervised Hierarchical Semantic Object Parsing

abstract: Models based on Convolutional Neural Networks (CNNs) have been proven very successful for semantic segmentation and object parsing that yield hierarchies of features. Our key insight is to build convolutional networks that take input of arbitrary size and produce object parsing output with efficient inference and learning. In this work, we focus on the task of instance segmentation and parsing which recognizes and localizes objects down to a pixel level base on deep CNN. Therefore, unlike some related work, a pixel cannot belong to multiple instances and parsing. Our model is based on a deep neural network trained for object masking that supervised with input image and follow incorporates a Conditional Random Field (CRF) with end-to-end trainable piecewise order potentials based on object parsing outputs. In each CRF unit we designed terms to capture the short range and long range dependencies from various neighbors. The accurate instance-level segmentation that our network produce is reflected by the considerable improvements obtained over previous work at high APr thresholds. We demonstrate the effectiveness of our model with extensive experiments on challenging dataset subset of PASCAL VOC2012.


title: Scalar, Vector and Tensor Harmonics on the Three-Sphere

abstract: Scalar, vector and tensor harmonics on the three-sphere were introduced originally to facilitate the study of various problems in gravitational physics. These harmonics are defined as eigenfunctions of the covariant Laplace operator which satisfy certain divergence and trace identities, and ortho-normality conditions. This paper provides a summary of these properties, along with a new notation that simplifies and clarifies some of the key expressions. Practical methods are described for accurately and efficiently computing these harmonics numerically, and test results are given that illustrate how well the analytical identities are satisfied by the harmonics computed numerically in this way.


title: Prediction of Structures and Interactions from Genome Information

abstract: Predicting three dimensional residue-residue contacts from evolutionary information in protein sequences was attempted already in the early 1990s. However, contact prediction accuracies of methods evaluated in CASP experiments before CASP11 remained quite low, typically with $<20$% true positives. Recently, contact prediction has been significantly improved to the level that an accurate three dimensional model of a large protein can be generated on the basis of predicted contacts. This improvement was attained by disentangling direct from indirect correlations in amino acid covariations or cosubstitutions between sites in protein evolution. Here, we review statistical methods for extracting causative correlations and various approaches to describe protein structure, complex, and flexibility based on predicted contacts.


title: Spin precession in spin-orbit coupled weak links: Coulomb repulsion and Pauli quenching

abstract: A simple model for the transmission of pairs of electrons through a weak electric link in the form of a nanowire made of a material with strong electron spin-orbit interaction (SOI) is presented, with emphasis on the effects of Coulomb interactions and the Pauli exclusion principle. The constraints due to the Pauli principle are shown to "quench" the coherent SOI-induced precession of the spins when the spatial wave packets of the two electrons overlap significantly. The quenching, which results from the projection of the pair's spin states onto spin-up and spin-down states on the link, breaks up the coherent propagation in the link into a sequence of coherent hops that add incoherently. Applying the model to the transmission of Cooper pairs between two superconductors, we find that in spite of Pauli quenching, the Josephson current oscillates with the strength of the SOI, and may even change its sign. Conditions for an experimental detection of these features are discussed.


title: Ownership Cost Calculations for Distributed Energy Resources Using Uncertainty and Risk Analyses

abstract: Ownership cost calculation plays an important role in optimal operation of distributed energy resources (DERs) and microgrids (MGs) in the future power system, known as smart grid. In this paper, a general framework for ownership cost calculation is proposed using uncertainty and risk analyses. Four ownership cost calculation approaches are introduced and compared based on their associated risk values. Finally, the best method is chosen based on a series of simulation results, performed for a typical diesel generator (DiG). Although simulation results are given for a DiG (as commonly used in MGs), the proposed approaches can be applied to other MG components, such as batteries, with slight modifications, as presented in this paper. The analyses and proposed approaches can be useful in MG optimal design, optimal power flow, and market-based operation of the smart grid for accurate operational cost calculations.


title: When Traffic Flow Prediction Meets Wireless Big Data Analytics

abstract: Traffic flow prediction is an important research issue for solving the traffic congestion problem in an Intelligent Transportation System (ITS). Traffic congestion is one of the most serious problems in a city, which can be predicted in advance by analyzing traffic flow patterns. Such prediction is possible by analyzing the real-time transportation data from correlative roads and vehicles. This article first gives a brief introduction to the transportation data, and surveys the state-of-the-art prediction methods. Then, we verify whether or not the prediction performance is able to be improved by fitting actual data to optimize the parameters of the prediction model which is used to predict the traffic flow. Such verification is conducted by comparing the optimized time series prediction model with the normal time series prediction model. This means that in the era of big data, accurate use of the data becomes the focus of studying the traffic flow prediction to solve the congestion problem. Finally, experimental results of a case study are provided to verify the existence of such performance improvement, while the research challenges of this data-analytics-based prediction are presented and discussed.


title: Deep Learning for Secure Mobile Edge Computing

abstract: Mobile edge computing (MEC) is a promising approach for enabling cloud-computing capabilities at the edge of cellular networks. Nonetheless, security is becoming an increasingly important issue in MEC-based applications. In this paper, we propose a deep-learning-based model to detect security threats. The model uses unsupervised learning to automate the detection process, and uses location information as an important feature to improve the performance of detection. Our proposed model can be used to detect malicious applications at the edge of a cellular network, which is a serious security threat. Extensive experiments are carried out with 10 different datasets, the results of which illustrate that our deep-learning-based model achieves an average gain of 6% accuracy compared with state-of-the-art machine learning algorithms.


title: A Survey on Fixed Divisors

abstract: In this article, we compile the work done by various mathematicians on the topic of the fixed divisor of a polynomial. This article explains most of the results concisely and is intended to be an exhaustive survey. We present the results on fixed divisors in various algebraic settings as well as the applications of fixed divisors to various algebraic and number theoretic problems. The work is presented in an orderly fashion so as to start from the simplest case of $\Z,$ progressively leading up to the case of Dedekind domains. We also ask a few open questions according to their context, which may give impetus to the reader to work further in this direction. We describe various bounds for fixed divisors as well as the connection of fixed divisors with different notions in the ring of integer-valued polynomials. Finally, we suggest how the generalization of the ring of integer-valued polynomials in the case of the ring of $n \times n$ matrices over $\Z$ (or Dedekind domain) could lead to the generalization of fixed divisors in that setting.


title: Object-Oriented Knowledge Representation and Data Storage Using Inhomogeneous Classes

abstract: This paper contains analysis of concept of a class within different object-oriented knowledge representation models. The main attention is paid to structure of the class and its efficiency in the context of data storage, using object-relational mapping. The main achievement of the paper is extension of concept of homogeneous class of objects by introducing concepts of single-core and multi-core inhomogeneous classes of objects, which allow simultaneous defining of a few different types within one class of objects, avoiding duplication of properties and methods in representation of types, decreasing sizes of program codes and providing more efficient information storage in the databases. In addition, the paper contains results of experiment, which show that data storage in relational database, using proposed extensions of the class, in some cases is more efficient in contrast to usage of homogeneous classes of objects.


title: Towards Classification of Web ontologies using the Horizontal and Vertical Segmentation

abstract: The new era of the Web is known as the semantic Web or the Web of data. The semantic Web depends on ontologies that are seen as one of its pillars. The bigger these ontologies, the greater their exploitation. However, when these ontologies become too big other problems may appear, such as the complexity to charge big files in memory, the time it needs to download such files and especially the time it needs to make reasoning on them. We discuss in this paper approaches for segmenting such big Web ontologies as well as its usefulness. The segmentation method extracts from an existing ontology a segment that represents a layer or a generation in the existing ontology; i.e. a horizontally extraction. The extracted segment should be itself an ontology.


title: Quest for consistent modelling of statistical decay of the compound nucleus

abstract: A statistical model description of heavy ion induced fusion-fission reactions is presented where shell effects, collective enhancement of level density, tilting away effect of compound nuclear spin and dissipation are included. It is shown that the inclusion of all these effects provides a consistent picture of fission where fission hindrance is required to explain the experimental values of both pre-scission neutron multiplicities and evaporation residue cross-sections in contrast to some of the earlier works where a fission hindrance is required for pre-scission neutrons but a fission enhancement for evaporation residue cross-sections.


title: Studies of the effect of rate on gain for straw tube detector

abstract: Basic R & D have been carried out with one small straw tube detector prototype with premixed gas of Ar+CO2 in 70:30 and 90:10 ratio. The gain and the energy resolution are measured with Fe55 X-ray source. Effect of temperature and pressure on these parameters are measured. The variation of gain and energy resolution with rate per unit length are also measured. The details of the test set-up, the method of measurement and the test results are presented in this paper.


title: Small-sample performance and underlying assumptions of a bootstrap-based inference method for a general analysis of covariance model with possibly heteroskedastic and nonnormal errors

abstract: It is well known that the standard F test is severely affected by heteroskedasticity in unbalanced analysis of covariance (ANCOVA) models. Currently available potential remedies for such a scenario are based on heteroskedasticity-consistent covariance matrix estimation (HCCME). However, the HCCME approach tends to be liberal in small samples. Therefore, in the present manuscript, we propose a combination of HCCME and a wild bootstrap technique, with the aim of improving the small-sample performance. We precisely state a set of assumptions for the general ANCOVA model and discuss their practical interpretation in detail, since this issue may have been somewhat neglected in applied research so far. We prove that these assumptions are sufficient to ensure the asymptotic validity of the combined HCCME-wild bootstrap ANCOVA. The results of our simulation study indicate that our proposed test remedies the problems of the ANCOVA F test and its heteroskedasticity-consistent alternatives in small to moderate sample size scenarios. Our test only requires very mild conditions, thus being applicable in a broad range of real-life settings, as illustrated by the detailed discussion of a dataset from preclinical research on spinal cord injury. Our proposed method is ready-to-use and allows for valid hypothesis testing in frequently encountered settings (e.g., comparing group means while adjusting for baseline measurements in a randomized controlled clinical trial).


title: On the similarity problem for locally compact quantum groups

abstract: A well-known theorem of Day and Dixmier states that any uniformly bounded representation of an amenable locally compact group $G$ on a Hilbert space is similar to a unitary representation. Within the category of locally compact quantum groups, the conjectural analogue of the Day-Dixmier theorem is that every completely bounded Hilbert space representation of the convolution algebra of an amenable locally compact quantum group should be similar to a $\ast$-representation. We prove that this conjecture is false for a large class of non-Kac type compact quantum groups, including all $q$-deformations of compact simply connected semisimple Lie groups. On the other hand, within the Kac framework, we prove that the Day-Dixmier theorem does indeed hold for several new classes of examples, including amenable discrete quantum groups of Kac-type.


title: An asymptotically tight bound for the Davenport constant

abstract: We prove that for every integer $r \ge 1$ the Davenport constant $\mathsf{D}(C^r_n)$ is asymptotic to $rn$ when $n$ tends to infinity. An extension of this theorem is also provided.


title: Prioritized Norms in Formal Argumentation

abstract: To resolve conflicts among norms, various nonmonotonic formalisms can be used to perform prioritized normative reasoning. Meanwhile, formal argumentation provides a way to represent nonmonotonic logics. In this paper, we propose a representation of prioritized normative reasoning by argumentation. Using hierarchical abstract normative systems, we define three kinds of prioritized normative reasoning approaches, called Greedy, Reduction, and Optimization. Then, after formulating an argumentation theory for a hierarchical abstract normative system, we show that for a totally ordered hierarchical abstract normative system, Greedy and Reduction can be represented in argumentation by applying the weakest link and the last link principles respectively, and Optimization can be represented by introducing additional defeats capturing the idea that for each argument that contains a norm not belonging to the maximal obeyable set then this argument should be rejected.


title: On the density of intermediate \beta-shifts of finite type

abstract: We determine the structure of the set of intermediate $\beta$-shifts of finite type. Specifically, we show that this set is dense in the parameter space $\Delta = \{ (\beta, \alpha) \in \mathbb{R}^{2} \colon \beta \in (1, 2) \; \text{and} \; 0 \leq \alpha \leq 2 - \beta\}$. This generalises the classical result of Parry from 1960 for greedy and (normalised) lazy $\beta$-shifts.


title: Conditional randomization tests of causal effects with interference between units

abstract: Many causal questions involve interactions between units, also known as interference, for example between individuals in households, students in schools, or firms in markets. In this paper, we formalize the concept of a conditioning mechanism, which provides a framework for constructing valid and powerful randomization tests under general forms of interference. We describe our framework in the context of two-stage randomized designs and apply our approach to a randomized evaluation of an intervention targeting student absenteeism in the School District of Philadelphia. We show improvements over existing methods in terms of computational and statistical power.


title: Non-integrable dynamics of matter-wave solitons in a density-dependent gauge theory

abstract: We study interactions between bright matter-wave solitons which acquire chiral transport dynamics due to an optically-induced density-dependent gauge potential. Through numerical simulations, we find that the collision dynamics feature several non-integrable phenomena, from inelastic collisions including population transfer and radiation losses to short-lived bound states and soliton fission. An effective quasi-particle model for the interaction between the solitons is derived by means of a variational approximation, which demonstrates that the inelastic nature of the collision arises from a coupling of the gauge field to velocities of the solitons. In addition, we derive a set of interaction potentials which show that the influence of the gauge field appears as a short-range potential, that can give rise to both attractive and repulsive interactions.


title: Heavy Quarkonium Hybrids

abstract: We report on a recent investigation on heavy quarkonium hybrids that goes beyond the usual Born-Oppenheimer approximation by including not only the mixing between nearby hybrid states but also the mixing with quarkonium states. We use a systematic effective field theory framework based on NRQCD together with lattice QCD inputs. Short and long distance constraints from weak coupling pNRQCD and the QCD effective string theory are also employed. We calculate the quarkonium and hybrid spectrum for charmonium and bottomonium, and estimate a number of decay widths. Most of the isospin zero $XYZ$ resonances fit in our spectrum either as quarkonia or as hybrid states. The mixing of hybrid states with quarkonia produces enhanced spin symmetry violations, which are instrumental to understand certain decays. We also present new results on the hyperfine splittings.


title: The Modulation of Multiple Phases Leading to the Modified KdV Equation

abstract: This paper seeks to derive the modified KdV (mKdV) equation using a novel approach from systems generated from abstract Lagrangians that possess a two-parameter symmetry group. The method to do uses a modified modulation approach, which results in the mKdV emerging with coefficients related to the conservation laws possessed by the original Lagrangian system. Alongside this, an adaptation of the method of Kuramoto is developed, providing a simpler mechanism to determine the coefficients of the nonlinear term. The theory is illustrated using two examples of physical interest, one in stratified hydrodynamics and another using a coupled Nonlinear Schr\"odinger model, to illustrate how the criterion for the mKdV equation to emerge may be assessed and its coefficients generated.


title: An Alternating Property for Higher Brauer Groups

abstract: Using the calculus of Steenrod operations in \'etale cohomology developed in [Feng17], we prove that the analogue of Tate's pairing on higher Brauer groups is alternating on 2-torsion. This improves upon a result of Jahn [Jahn15, Math. Annalen].


title: Statistical Parametric Speech Synthesis Incorporating Generative Adversarial Networks

abstract: A method for statistical parametric speech synthesis incorporating generative adversarial networks (GANs) is proposed. Although powerful deep neural networks (DNNs) techniques can be applied to artificially synthesize speech waveform, the synthetic speech quality is low compared with that of natural speech. One of the issues causing the quality degradation is an over-smoothing effect often observed in the generated speech parameters. A GAN introduced in this paper consists of two neural networks: a discriminator to distinguish natural and generated samples, and a generator to deceive the discriminator. In the proposed framework incorporating the GANs, the discriminator is trained to distinguish natural and generated speech parameters, while the acoustic models are trained to minimize the weighted sum of the conventional minimum generation loss and an adversarial loss for deceiving the discriminator. Since the objective of the GANs is to minimize the divergence (i.e., distribution difference) between the natural and generated speech parameters, the proposed method effectively alleviates the over-smoothing effect on the generated speech parameters. We evaluated the effectiveness for text-to-speech and voice conversion, and found that the proposed method can generate more natural spectral parameters and $F_0$ than conventional minimum generation error training algorithm regardless its hyper-parameter settings. Furthermore, we investigated the effect of the divergence of various GANs, and found that a Wasserstein GAN minimizing the Earth-Mover's distance works the best in terms of improving synthetic speech quality.


title: Fractal dimensions of umbral and penumbral regions of sunspots

abstract: The images of sunspots in sixteen active regions taken at the UCCI Observatory in Grand Cayman during June - November 2015, were used to determine their fractal dimensions using the perimeter-area method for the umbral and the penumbral region. Scale free fractal dimensions of 2.09 $\pm$ 0.42 and 1.72 $\pm$ 0.4 were found respectively. This value was higher than the value determined by Chumak and Chumak (1996) who used a similar method but for the penumbral region only for their sample set. There is a positive correlation r = 0.58 between umbral and the penumbral fractal dimensions for the specific sunspots. Furthermore, a time series analysis was done similarly on eight images of AR 12403, from 21st August 2015 - 28th August 2015 taken from the Debrecen Photoheliographic Data (DPD). The correlation, r = 0.623 between the umbral and penumbral fractal dimensions in the time series indicating that the complexity in morphology indicated by the fractal dimension between the umbra and penumbra followed each other in time as well.


title: On equations over Brandt semigroups

abstract: In this paper, we study equations over Brandt semigroup $B_n$. We compute that the number of unsolvable equations in one variable asymptotically equals $\frac{2}{n^2}$, and the average number of solutions of these equations asymptotically equals $n^2$.


title: Etemadi and Kolmogorov inequalities in noncommutative probability spaces

abstract: Based on a maximal inequality type result of Cuculescu, we establish some noncommutative maximal inequalities such as Haj\'ek--Penyi inequality and Etemadi inequality. In addition, we present a noncommutative Kolmogorov type inequality by showing that if $x_1, x_2, \ldots, x_n$ are successively independent self-adjoint random variables in a noncommutative probability space $(\mathfrak{M}, \tau)$ such that $\tau\left(x_k\right) = 0$ and $s_k s_{k-1} = s_{k-1} s_k$, where $s_k = \sum_{j=1}^k x_j$, then for any $\lambda > 0$ there exists a projection $e$ such that $$1 - \frac{(\lambda + \max_{1 \leq k \leq n} \|x_k\|)^2}{\sum_{k=1}^n {\rm var}(x_k)}\leq \tau(e)\leq \frac{\tau(s_n^2)}{\lambda^2}.$$ As a result, we investigate the relation between convergence of a series of independent random variables and the corresponding series of their variances.


title: On Wishart and non-central Wishart distributions on symmetric cones

abstract: Necessary conditions for the existence of non-central Wishart distributions are given. Our method relies on positivity properties of spherical polynomials on Euclidean Jordan Algebras and advances an approach by Peddada and Richards (1991), where only a special case (positive semidefinite matrices, rank one non-centrality parameter) is treated. Not only needs the shape parameters be in the Wallach set - as is the case for Riesz measures - but also the rank of the non-centrality parameter is constrained by the size of the shape parameter. This rank condition has been recently proved with different methods for the special case of symmetric, positive semidefinite matrices (Letac and Massam (2011) and Graczyk, Malecki and Mayerhofer (2016)).


title: Universal Relations and Alternative Gravity Theories

abstract: This is a review with the ambitious goal of covering the recent progress in: 1) universal relations (in general relativity and alternative theories of gravity), and 2) neutron star models in alternative theories. We also aim to be complementary to recent reviews in the literature that are covering the topic of universal relations of neutron stars.


title: Skyrmion formation in a bulk chiral magnet at zero magnetic field and above room temperature

abstract: We report that in a $\beta$-Mn-type chiral magnet Co$_9$Zn$_9$Mn$_2$, skyrmions are realized as a metastable state over a wide temperature range, including room temperature, via field-cooling through the thermodynamic equilibrium skyrmion phase that exists below a transition temperature $T_\mathrm{c}$ $\sim$ 400 K. The once-created metastable skyrmions survive at zero magnetic field both at and above room temperature. Such robust skyrmions in a wide temperature and magnetic field region demonstrate the key role of topology, and provide a significant step toward technological applications of skyrmions in bulk chiral magnets.


title: On the unit distance problem

abstract: The Erd\H os unit distance conjecture in the plane says that the number of pairs of points from a point set of size $n$ separated by a fixed (Euclidean) distance is $\leq C_{\epsilon} n^{1+\epsilon}$ for any $\epsilon>0$. The best known bound is $Cn^{\frac{4}{3}}$. We show that if the set under consideration is well-distributed and the fixed distance is much smaller than the diameter of the set, then the exponent $\frac{4}{3}$ is significantly improved. Corresponding results are also established in higher dimensions. The results are obtained by solving the corresponding continuous problem and using a continuous-to-discrete conversion mechanism. The degree of sharpness of results is tested using the known results on the distribution of lattice points dilates of convex domains. We also introduce the following variant of the Erd\H os unit distance problem: how many pairs of points from a set of size $n$ are separated by an integer distance? We obtain some results in this direction and formulate a conjecture.


title: The SU(4) Kondo effect in double quantum dots with ferromagnetic leads

abstract: We investigate the spin-resolved transport properties, such as the linear conductance and the tunnel magnetoresistance, of a double quantum dot device attached to ferromagnetic leads and look for signatures of SU(4) symmetry in the Kondo regime. We show that the transport behavior greatly depends on the magnetic configuration of the device, and the spin-SU(2) as well as the orbital and spin-SU(4) Kondo effects become generally suppressed when the magnetic configuration of the leads varies from the antiparallel to the parallel one. Furthermore, a finite spin polarization of the leads lifts the spin degeneracy and drives the system from the SU(4) to an orbital-SU(2) Kondo state. We analyze in detail the crossover and show that the Kondo temperature between the two fixed points has a non-monotonic dependence on the degree of spin polarization of the leads. In terms of methods used, we characterize transport by using a combination of analytical and numerical renormalization group approaches.


title: The holographic dual of the Penrose transform

abstract: We consider the holographic duality between type-A higher-spin gravity in AdS_4 and the free U(N) vector model. In the bulk, linearized solutions can be translated into twistor functions via the Penrose transform. We propose a holographic dual to this transform, which translates between twistor functions and CFT sources and operators. We present a twistorial expression for the partition function, which makes global higher-spin symmetry manifest, and appears to automatically include all necessary contact terms. In this picture, twistor space provides a fully nonlocal, gauge-invariant description underlying both bulk and boundary spacetime pictures. While the bulk theory is handled at the linear level, our formula for the partition function includes the effects of bulk interactions. Thus, the CFT is used to solve the bulk, with twistors as a language common to both. A key ingredient in our result is the study of ordinary spacetime symmetries within the fundamental representation of higher-spin algebra. The object that makes these "square root" spacetime symmetries manifest becomes the kernel of our boundary/twistor transform, while the original Penrose transform is identified as a "square root" of CPT.


title: Partial (Co)Actions of Multiplier Hopf Algebras: Morita and Galois Theories

abstract: In this work we deal with partial (co)action of multiplier Hopf algebras on not necessarily unital algebras. Our main goal is to construct a Morita context relating the coinvariant algebra $R^{\underline{coA}}$ with a certain subalgebra of the smash product $R\#\widehat{A}$. Besides this we present the notion of partial Galois coaction, which is closely related to this Morita context.


title: Assessing Excited State Energy Gaps with Time-Dependent Density Functional Theory on Ru(II) Complexes

abstract: A set of density functionals coming from different rungs on Jacob's ladder are employed to evaluate the electronic excited states of three Ru(II) complexes. While most studies on the performance of density functionals compare the vertical excitation energies, in this work we focus on the energy gaps between the electronic excited states, of the same and different multiplicity. Excited state energy gaps are important for example to determine radiationless transition probabilities. Besides energies, a functional should deliver the correct state character and state ordering. Therefore, wavefunction overlaps are introduced to systematically evaluate the effect of different functionals on the character of the excited states. As a reference, the energies and state characters from multi-state second-order perturbation theory complete active space (MS-CASPT2) are used. In comparison to MS-CASPT2, it is found that while hybrid functionals provide better vertical excitation energies, pure functionals typically give more accurate excited state energy gaps. Pure functionals are also found to reproduce the state character and ordering in closer agreement to MS-CASPT2 than the hybrid functionals.


title: Finite Synchrosqueezing Transform Based On The STFT

abstract: The finite STFT Synchrosqueezing transform is a time-frequency analysis method that can decompose finite complex signals into time-varying oscillatory components. This representation is sparse and invertible, allowing recovery of the original signal. The STFT Synchrosqueezing transform on finite dimensional signals has the advantage of an efficient matrix representation. This article defines the finite STFT Synchrosqueezing transform and describes some properties of this transform. We compare the finite STFT and the finite STFT Synchrosqueezing transform by applying these transform to a set of signals.


title: Design, Modeling and Dynamic Compensation PID Control of a Fully-Actuated Aerial Manipulation System

abstract: This paper addresses design, modeling and dynamic-compensation PID (dc-PID) control of a novel type of fully-actuated aerial manipulation (AM) system. Firstly, design of novel mechanical structure of the AM is presented. Secondly, kinematics and dynamics of AM are modeled using Craig parameters and recursion Newton-Euler equations respectively, which give rise to a more accurate dynamic relationship between aerial platform and manipulator. Then, the dynamic-compensation PID control is proposed to solve the problem of fully-actuated control of AM. Finally, uniform coupled matrix equations between driving forces/moments and rotor speeds are derived, which can support design and analysis of parameters and decoupling theoretically. It is taken into account practical problems including noise and perturbation, parameter uncertainty, and power limitation in simulations, and results from simulations shows that the AM system presented can be fully-actued controlled with advanced control performances, which can not achieved theoretically in traditional AM. And with compared to backstepping control dc-PID has better control accuracy and capability to disturbance rejection in two simulations of aerial operation tasks with motion of joint. The experiment of dc-pid proves the availability and effectiveness of the method proposed.


title: Feature-based time-series analysis

abstract: This work presents an introduction to feature-based time-series analysis. The time series as a data type is first described, along with an overview of the interdisciplinary time-series analysis literature. I then summarize the range of feature-based representations for time series that have been developed to aid interpretable insights into time-series structure. Particular emphasis is given to emerging research that facilitates wide comparison of feature-based representations that allow us to understand the properties of a time-series dataset that make it suited to a particular feature-based representation or analysis algorithm. The future of time-series analysis is likely to embrace approaches that exploit machine learning methods to partially automate human learning to aid understanding of the complex dynamical patterns in the time series we measure from the world.


title: Novel Uses of Category Theory in Modeling OOP

abstract: An outline and summary of four new potential applications of category theory to OOP research are presented. These include (1) the use of operads to model Java subtyping, (2) the use of Yoneda's lemma and representable functors in the modeling of generic types in generic nominally-typed OOP, (3) using a combination of category presentations and cartesian closed categories to model structurally-typed OOP, and (4) the use of adjoint functors to model Java erasure.


title: The $P^\prime$-operator, the $Q^\prime$-curvature, and the CR tractor calculus

abstract: We establish an algorithm which computes formulae for the CR GJMS operators, the $P^\prime$-operator, and the $Q^\prime$-curvature in terms of CR tractors. When applied to torsion-free pseudo-Einstein contact forms, this algorithm both gives an explicit factorisation of the CR GJMS operators and the $P^\prime$-operator, and shows that the $Q^\prime$-curvature is constant, with the constant explicitly given in terms of the Webster scalar curvature. We also use our algorithm to derive local formulae for the $P^\prime$-operator and $Q^\prime$-curvature of a five-dimensional pseudo-Einstein manifold. Comparison with Marugame's formulation of the Burns--Epstein invariant as the integral of a pseudohermitian invariant yields new insights into the class of local pseudohermitian invariants for which the total integral is independent of the choice of pseudo-Einstein contact form.


title: Synchronization of coupled active rotators by common noise

abstract: We study the effect of common noise on coupled active rotators. While such a noise always facilitates synchrony, coupling may be attractive or repulsing. We develop an analytical approach based on a transformation to approximate angle-action variables and averaging over fast rotations. For identical rotators, we describe a transition from full to partial synchrony at a critical value of repulsive coupling. For nonidentical rotators, the most nontrivial effect occurs at moderate repulsive coupling, where a juxtaposition of phase locking with frequency repulsion (anti-entrainment) is observed. We show that the frequency repulsion obeys a nontrivial power law.


title: Hybrid grid/basis set discretizations of the Schr\"odinger equation

abstract: We present a new kind of basis function for discretizing the Schr\"odinger equation in electronic structure calculations, called a gausslet, which has wavelet-like features but is composed of a sum of Gaussians. Gausslets are placed on a grid and combine advantages of both grid and basis set approaches. They are orthogonal, infinitely smooth, symmetric, polynomially complete, and with a high degree of locality. Because they are formed from Gaussians, they are easily combined with traditional atom-centered Gaussian bases. We also introduce diagonal approximations which dramatically reduce the computational scaling of two-electron Coulomb terms in the Hamiltonian.


title: On the Size of $\exists$-Generalized Concepts

abstract: Formal Concept Analysis (FCA) offers several tools for qualitative data analysis. One possibility is to group objects that share common attributes together and get a concept lattice that describes the data. Quite often the size of this concept lattice is very large. Many authors have investigated methods to reduce the size of this lattice. In \cite{KMBV14} the authors consider putting together some attributes to reduce the size of the attribute sets. But this reduction does not always carry over the set of concepts. They have provided some counter examples where the size of the concept lattice increases by one after putting two attributes together. Then they asked the following question: "How many new concepts can be generated by an $\exists$-generalization on just two attributes?" The present paper provides a family of contexts for which the size increases on more than one concept after putting solely two attributes together.


title: Dopant-induced ignition of helium nanoplasmas -- a mechanistic study

abstract: Helium (He) nanodroplets irradiated by intense near-infrared laser pulses form a nanoplasma by avalanche-like electron impact ionizations even at lower laser intensities where He is not directly field ionized, provided that the droplets contain a few dopant atoms which provide seed electrons for the electron impact ionization avalanche. In this theoretical paper on calcium and xenon doped He droplets we elucidate the mechanism which induces ionization avalanches, termed ignition. We find that the partial loss of seed electrons from the activated droplets starkly assists ignition, as the Coulomb barrier for ionization of helium is lowered by the electric field of the dopant cations, and this deshielding of the cation charges enhances their electric field. In addition, the dopant ions assist the acceleration of the seed electrons (slingshot effect) by the laser field, supporting electron impact ionizations of He and also causing electron loss by catapulting electrons away. The dopants' ability to lower the Coulomb barriers at He as well as the slingshot effect decrease with the spatial expansion of the dopant, causing a dependence of the dopants' ignition capability on the dopant mass. Here, we develop criteria (impact count functions) to assess the ignition capability of dopants, based on (i) the spatial overlap of the seed electron cloud with the He atoms and (ii) the overlap of their kinetic energy distribution with the distribution of Coulomb barrier heights at He. The relatively long time delays between the instants of dopant ionization and ignition (incubation times) for calcium doped droplets are determined to a large extent by the time it takes to deshield the dopant ions.


title: On construction of anticliques for non-commutative operator graphs

abstract: In this paper anticliques for non-commutative operator graphs generated by the generalized Pauli matrices are constructed. It is shown that application of entangled states for the construction of code space K allows one to substantially increase the dimension of a non-commutative operator graph for which the projection on K is an anticlique.


title: General heat kernel coefficients for massless free spin-3/2 Rarita-Schwinger field

abstract: We review the general heat kernel method for the Dirac spinor field as an elementary example in any arbitrary background. We, then compute the first three Seeley-DeWitt coefficients for the massless free spin-3/2 Rarita-Schwinger field without imposing any limitations on the background geometry.


title: On the magnetism of the C14 Nb0.975Fe2.025 Laves phase compound: Determination of the H-T phase diagram

abstract: A C14 Nb0.975Fe2.025 Laves phase compound was investigated aimed at determining the H-T magnetic phase diagram. Magnetization, M, and AC magnetic susceptibility measurements were performed. Concerning the former field-cooled and zero-field-cooled M-curves were recorded in the temperature range of 2-200K and in applied magnetic field, H, up to 1000 Oe, isothermal M(H) curves at 2 K, 5 K, 50 K, 80 K and 110 K as well as hysteresis loops at several temperatures over the field range of -10 to +10kOe. Regarding the AC susceptibility, both real and imaginary components were registered as a function of increasing temperature in the interval of 2 K - 150 K at the frequencies of the oscillating field, f, from 3 Hz up to 999 Hz. An influence of the external DC magnetic field, H, on the temperature dependence of the AC susceptibility was investigated, too. The measurements clearly demonstrated that the magnetism of the studied sample is weak, itinerant and has a reentrant character. Based on the obtained results a magnetic phase diagram has been constructed in the H-T coordinates.


title: Fujita decomposition over higher dimensional base

abstract: We generalize a result of Fujita, on the decomposition of Hodge bundles over curves, to the case of a higher dimensional base.


title: Characterizing symmetric spaces by their Lyapunov spectra

abstract: We prove that closed negatively curved locally symmetric spaces are characterized up to isometry among all homotopy equivalent negatively curved manifolds by the Lyapunov spectra of the periodic orbits of their geodesic flows. This is done by constructing a new invariant measure for the geodesic flow that we refer to as the horizontal measure. We show that the Lyapunov spectrum of the horizontal measure alone suffices to locally characterize these locally symmetric spaces up to isometry. We associate to the horizontal measure a new invariant, the horizontal dimension. We tie this invariant to extensions of curvature pinching rigidity theorems for complex hyperbolic manifolds to pinching rigidity theorems for the Lyapunov spectrum. Our methods extend to give a rigidity theorem for smooth Anosov flows $f^{t}$ orbit equivalent to the geodesic flow $g^{t}_{X}$ of a closed negatively curved locally symmetric space $X$: $f^{t}$ is smoothly orbit equivalent to $g^{t}_{X}$ if and only if its Lyapunov spectra on all periodic orbits are a multiple of the corresponding Lyapunov spectra for $g^{t}_{X}$.


title: Effects of the Position Reversal of Friction Pairs on the Strength of Tribocharging and Tribodischarging

abstract: The friction-induced charging (i.e., tribocharging) and the following discharging (referred here as tribodischarging) are always believed to have negative effects on the daily life and on the industrial production. Thus, how to inhibit the tribocharging and the tribodischarging has caused wide public concern. Because the discharge caused by the electrical breakdown of the ambient gas is generally accompanied with the generation of light, we investigated here the tribocharging and the tribodischarging by observing the light emitted during friction. We found that the position reversal of the friction pair has a dramatic impact on the intensity of the tribo-induced light. Experimental results show that an intense light is produced when a stationary Al2O3 disk is sliding on a rotating SiO2 disk, but only a weak light is observed for the case of a stationary SiO2 disk and a rotating Al2O3 disk. This means that the process of the tribocharging and the tribodischarging can be significantly influenced owing to the change in the relative position of the friction couple. The experimentally measured polarities of the tribo-induced charge on the friction surfaces further indicated that the strong discharging occurs when the rotating surface is negatively charged. The reason for the difference in the intensity of the tribocharging and tribodischarging can be attributed to the combined effects of the contact potential difference and the temperature gradient between the contacting surfaces on the charge transfer when friction. Finally, a simple, low cost, yet effective approach, i.e., just keep the friction partner whose surface is tribo-induced negatively charged as the stationary one, can be utilized to suppress the intensity of the tribocharging and the tribodischarging. This work may provide potential applications in numerous areas of science and engineering and also in the everyday life.


title: A Generic Regression Framework for Pose Recognition on Color and Depth Images

abstract: Cascaded regression method is a fast and accurate method on finding 2D pose of objects in RGB images. It is able to find the accurate pose of objects in an image by a great number of corrections on the good initial guess of the pose of objects. This paper explains the algorithm and shows the result of two experiments carried by the researchers. The presented new method to quickly and accurately predict 3D positions of body joints from a single depth image, using no temporal information. We take an object recognition approach, designing an intermediate body parts representation that maps the difficult pose estimation problem into a simpler per-pixel classification problem. Our large and highly varied training dataset allows the classifier to estimate body parts invariant to pose, body shape, clothing. Finally, we generate confidence-scored 3D proposals of several body parts by re-projecting the classification result and finding local modes.


title: Direct Interaction Approximation for Non-Markovianized Stochastic Models in the Turbulence Problem

abstract: The purpose of this paper is to explore mathematical aspects associated with the application of the direct interaction approximation (DIA) (Kraichnan [1],[2]) to the non-Markovianized stochastic models in the turbulence problem. This process is shown to lead to a functional equation, and construction of solutions of this equation is addressed within the framework of a continued fraction representation. The relation of the DIA solution to the perturbative solution is discussed. The DIA procedure is applied to the problem of wave propagation in a random medium, which is described by a stochastic differential equation, with the characteristics of the medium represented by stochastic coefficients. The results are compared with those given by the perturbative procedure.


title: An implicit boundary integral method for computing electric potential of macromolecules in solvent

abstract: A numerical method using implicit surface representations is proposed to solve the linearized Poisson-Boltzmann equations that arise in mathematical models for the electrostatics of molecules in solvent. The proposed method used an implicit boundary integral formulation to derived a linear system defined on Cartesian nodes in a narrowband surrounding the closed surface that separate the molecule and the solvent. The needed implicit surfaces is constructed from the given atomic description of the molecules, by a sequence of standard level set algorithms. A fast multipole method is applied to accelerate the solution of the linear system. A few numerical studies involving some standard test cases are presented and compared to other existing results.

categories: math.NA physics.bio-ph physics.comp-ph q-bio.BM


title: Autonomous Agents Modelling Other Agents: A Comprehensive Survey and Open Problems

abstract: Much research in artificial intelligence is concerned with the development of autonomous agents that can interact effectively with other agents. An important aspect of such agents is the ability to reason about the behaviours of other agents, by constructing models which make predictions about various properties of interest (such as actions, goals, beliefs) of the modelled agents. A variety of modelling approaches now exist which vary widely in their methodology and underlying assumptions, catering to the needs of the different sub-communities within which they were developed and reflecting the different practical uses for which they are intended. The purpose of the present article is to provide a comprehensive survey of the salient modelling methods which can be found in the literature. The article concludes with a discussion of open problems which may form the basis for fruitful future research.


title: Reconsideration of the QCD corrections to the $\eta_c$ decays into light hadrons using the principle of maximum conformality

abstract: In the paper, we analyze the $\eta_c$ decays into light hadrons at the next-to-leading order QCD corrections by applying the principle of maximum conformality (PMC). The relativistic correction at the ${\cal{O}}(\alpha_s v^2)$-order level has been included in the discussion, which gives about $10\%$ contribution to the ratio $R$. The PMC, which satisfies the renormalization group invariance, is designed to obtain a scale-fixed and scheme-independent prediction at any fixed order. To avoid the confusion of treating $n_f$-terms, we transform the usual $\overline{\rm MS}$ pQCD series into the one under the minimal momentum space subtraction scheme. To compare with the prediction under conventional scale setting, $R_{\rm{Conv,mMOM}-r}= \left(4.12^{+0.30}_{-0.28}\right)\times10^3$, after applying the PMC, we obtain $R_{\rm PMC,mMOM-r}=\left(6.09^{+0.62}_{-0.55}\right) \times10^3$, where the errors are squared averages of the ones caused by $m_c$ and $\Lambda_{\rm mMOM}$. The PMC prediction agrees with the recent PDG value within errors, i.e. $R^{\rm exp}=\left(6.3\pm0.5\right)\times10^3$. Thus we think the mismatching of the prediction under conventional scale-setting with the data is due to improper choice of scale, which however can be solved by using the PMC.


title: Cross-modal Recurrent Models for Weight Objective Prediction from Multimodal Time-series Data

abstract: We analyse multimodal time-series data corresponding to weight, sleep and steps measurements. We focus on predicting whether a user will successfully achieve his/her weight objective. For this, we design several deep long short-term memory (LSTM) architectures, including a novel cross-modal LSTM (X-LSTM), and demonstrate their superiority over baseline approaches. The X-LSTM improves parameter efficiency by processing each modality separately and allowing for information flow between them by way of recurrent cross-connections. We present a general hyperparameter optimisation technique for X-LSTMs, which allows us to significantly improve on the LSTM and a prior state-of-the-art cross-modal approach, using a comparable number of parameters. Finally, we visualise the model's predictions, revealing implications about latent variables in this task.


title: Language Independent Acquisition of Abbreviations

abstract: This paper addresses automatic extraction of abbreviations (encompassing acronyms and initialisms) and corresponding long-form expansions from plain unstructured text. We create and are going to release a multilingual resource for abbreviations and their corresponding expansions, built automatically by exploiting Wikipedia redirect and disambiguation pages, that can be used as a benchmark for evaluation. We address a shortcoming of previous work where only the redirect pages were used, and so every abbreviation had only a single expansion, even though multiple different expansions are possible for many of the abbreviations. We also develop a principled machine learning based approach to scoring expansion candidates using different techniques such as indicators of near synonymy, topical relatedness, and surface similarity. We show improved performance over seven languages, including two with a non-Latin alphabet, relative to strong baselines.


title: Local Volatility Calibration by Optimal Transport

abstract: The calibration of volatility models from observable option prices is a fundamental problem in quantitative finance. The most common approach among industry practitioners is based on the celebrated Dupire's formula [6], which requires the knowledge of vanilla option prices for a continuum of strikes and maturities that can only be obtained via some form of price interpolation. In this paper, we propose a new local volatility calibration technique using the theory of optimal transport. We formulate a time continuous martingale optimal transport problem, which seeks a martingale diffusion process that matches the known densities of an asset price at two different dates, while minimizing a chosen cost function. Inspired by the seminal work of Benamou and Brenier [1], we formulate the problem as a convex optimization problem, derive its dual formulation, and solve it numerically via an augmented Lagrangian method and the alternative direction method of multipliers (ADMM) algorithm. The solution effectively reconstructs the dynamic of the asset price between the two dates by recovering the optimal local volatility function, without requiring any time interpolation of the option prices.


title: Periodic traveling interfacial hydroelastic waves with or without mass II: Multiple bifurcations and ripples

abstract: In a prior work, the authors proved a global bifurcation theorem for spatially periodic interfacial hydroelastic traveling waves on infinite depth, and computed such traveling waves. The formulation of the traveling wave problem used both analytically and numerically allows for waves with multi-valued height. The global bifurcation theorem required a one-dimensional kernel in the linearization of the relevant mapping, but for some parameter values, the kernel is instead two-dimensional. In the present work, we study these cases with two-dimensional kernels, which occur in resonant and non-resonant variants. We apply an implicit function theorem argument to prove existence of traveling waves in both of these situations. We compute the waves numerically as well, in both the resonant and non-resonant cases.


title: Status of exclusion limits of the KK-parity non-conserving resonance production with updated 13 TeV LHC

abstract: Unequal strengths of boundary localised terms lead to non-conservation of the Kaluza-Klein (KK) parity in the 4 + 1 Universal Extra Dimensional model. Consequently the first excited KK-partners of Standard Model particles are not stable by any symmetry. In this article using the latest 13 TeV Large Hadron Collider (LHC) results, we revisit the resonant production of first KK-excitations of the neutral gauge bosons ($G^1$, $B^1\ \textrm{and} \ W_3^1$) and their subsequent decay. {\it Specifically $G^1$ (first KK-excitation of gluon) decays to $t\bar{t}$ pair and $B^1/W_3^1$ (first KK-excitation of electroweak gauge bosons) decay to $\ell^{+}\ell^{-} (\ell \equiv e, \mu)$ pair}. We find the exclusion limits of model parameters obtained at 95\% C.L. from the non-observation of these channels have been shifted towards the lower side of the parameter space compared to our previous analysis at 8 TeV.


title: Propagation in media as a probe for topological properties

abstract: The central goal of this thesis is to develop methods to experimentally study topological phases. We do so by applying the powerful toolbox of quantum simulation techniques with cold atoms in optical lattices. To this day, a complete classification of topological phases remains elusive. In this context, experimental studies are key, both for studying the interplay between topology and complex effects and for identifying new forms of topological order. It is therefore crucial to find complementary means to measure topological properties in order to reach a fundamental understanding of topological phases. In one dimensional chiral systems, we suggest a new way to construct and identify topologically protected bound states, which are the smoking gun of these materials. In two dimensional Hofstadter strips (i.e: systems which are very short along one dimension), we suggest a new way to measure the topological invariant directly from the atomic dynamics.


title: Distance measures in gravitational-wave astrophysics and cosmology

abstract: We present quantities which characterize the sensitivity of gravitational-wave observatories to sources at cosmological distances. In particular, we introduce and generalize the horizon, range, response, and reach distances. These quantities incorporate a number of important effects, including cosmologically well-defined distances and volumes, cosmological redshift, cosmological time dilation, and rate density evolution. In addition, these quantities incorporate unique aspects of gravitational wave detectors, such as the variable sky sensitivity of the detectors and the scaling of the sensitivity with inverse distance. An online calculator (https://users.rcc.uchicago.edu/~dholz/gwc/) and python notebook (https://github.com/hsinyuc/distancetool) to determine GW distances are available. We provide answers to the question: "How far can gravitational-wave detectors hear?"


title: Gaussian beams diffracting in time

abstract: We show how to transform the mathematical expression of any monochromatic paraxial light beam into the expression of a pulsed beam whose diffraction is switched from the axial direction to its temporal structure. We exemplify this transformation with time-diffracting Gaussian beams. The conditions for the obtained diffraction-free wave to be physically meaningful are discussed.


title: Shape transitions in a soft incompressible sphere with residual stresses

abstract: Residual stresses may appear in elastic bodies due to the formation of misfits in the micro-structure, driven by plastic deformations, thermal or growth processes. They are especially widespread in living matter, resulting from the dynamic remodelling processes aiming at optimizing the overall structural response to environmental physical forces. From a mechanical viewpoint, residual stresses are classically modelled through the introduction of a virtual incompatible state that collects the local relaxed states around each material point. In this work, we instead employ an alternative approach based on a strain energy function that constitutively depends only on the deformation gradient and the residual stress tensor. In particular, our objective is to study the morphological stability of an incompressible sphere, made of a neo-Hookean material and subjected to given distributions of residual stresses. Firstly, we perform a linear stability analysis on the pre-stressed solid sphere using the method of incremental deformations. The marginal stability conditions are given as a function of a control parameter, being the dimensionless variable that represents the characteristic intensity of the residual stresses. Secondly, we perform finite element simulations using a mixed formulation in order to investigate the post-buckling morphology in the fully nonlinear regime. Considering different distributions of the residual stresses, we find that different morphological transitions occur around the material domain where the hoop residual stress reaches its maximum compressive value. The results provide useful guidelines in order to design morphable soft spheres, for example by controlling the residual stresses through active deformations. They finally suggest a viable solution for the nondestructive characterization of residual stresses in soft tissues, such as solid tumors.


title: Motives and periods in Bianchi IX gravity models

abstract: We show that, when considering the anisotropic scaling factors and their derivatives as affine variables, the coefficients of the heat kernel expansion of the Dirac-Laplacian on $SU(2)$ Bianchi IX metrics are algebro-geometric periods of motives of complements in affine spaces of unions of quadrics and hyperplanes. We show that the motives are mixed Tate and we provide an explicit computation of their Grothendieck classes.


title: Finding Theme Communities from Database Networks

abstract: Given a database network where each vertex is associated with a transaction database, we are interested in finding theme communities. Here, a theme community is a cohesive subgraph such that a common pattern is frequent in all transaction databases associated with the vertices in the subgraph. Finding all theme communities from a database network enjoys many novel applications. However, it is challenging since even counting the number of all theme communities in a database network is #P-hard. Inspired by the observation that a theme community shrinks when the length of the pattern increases, we investigate several properties of theme communities and develop TCFI, a scalable algorithm that uses these properties to effectively prune the patterns that cannot form any theme community. We also design TC-Tree, a scalable algorithm that decomposes and indexes theme communities efficiently. Retrieving a ranked list of theme communities from a TC-Tree of hundreds of millions of theme communities takes less than 1 second. Extensive experiments and a case study demonstrate the effectiveness and scalability of TCFI and TC-Tree in discovering and querying meaningful theme communities from large database networks.


title: Calibrated steganalysis of mp3stego in multi-encoder scenario

abstract: Comparing popularity of mp3 and wave with the amount of works published on each of them shows mp3 steganalysis has not found adequate attention. Furthermore, investigating existing works on mp3 steganalysis shows that a major factor has been overlooked. Experimenting with different mp3 encoders shows there are subtle differences in their outputs. This shows that mp3 standard has been implemented in dissimilar fashions, which in turn could degrade performance of steganalysis if it is not addressed properly. Additionally, calibration is a powerful technique which has not found its true potential for mp3 steganalysis. This paper tries to fill these gaps. First, we present our analysis on different encoders and show they can be classified quite accurately with only four features. Then, we propose a new set of calibrated features based on quantization step. To that end, we show quantization step is a band limited signal and steganography noise affects its high frequency components more prominently. By applying a low pass filter on quantization steps, we arrive at an estimation of quantization step, which in turn is used for calibrating the features.


title: Time-Reversal Routing for Dispersion Code Multiple Access (DCMA) Communications

abstract: We present the modeling and characterization of a time-reversal routing dispersion code multiple access (TR-DCMA) system. We show that this system maintains the low complexity advantage of DCMA transceivers while offering dynamic adaptivity for practial communication scenarios. We first derive the mathematical model and explain operation principles of the system, and then characterize its interference, signal to interference ratio, and bit error probability characteristics.