title: Addressing Objects and Their Relations: The Conversational Entity Dialogue Model

abstract: Statistical spoken dialogue systems usually rely on a single- or multi-domain dialogue model that is restricted in its capabilities of modelling complex dialogue structures, e.g., relations. In this work, we propose a novel dialogue model that is centred around entities and is able to model relations as well as multiple entities of the same type. We demonstrate in a prototype implementation benefits of relation modelling on the dialogue level and show that a trained policy using these relations outperforms the multi-domain baseline. Furthermore, we show that by modelling the relations on the dialogue level, the system is capable of processing relations present in the user input and even learns to address them in the system response.


title: Interacting kinks and meson mixing

abstract: A Rayleigh-Schr\"{o}dinger type of perturbation scheme is employed to study weakly interacting kinks and domain walls formed from two different real scalar fields $\chi$ and $\varphi$. An interaction potential $% V_{1}(\chi,\varphi)$ is chosen which vanishes in a vacuum state of either field. Approximate first order corrections for the fields are found, which are associated with scalar field condensates inhabiting the zeroth order topological solitons. The model considered here presents several new and interesting features. These include (1) a condensate of \textit{each} kink field inhabits the \textit{other} kink, (2) the condensates contribute an associated mass to the system which vanishes when the kinks overlap, (3) a resulting mass defect of the system for small interkink distances allows the existence of a loosely bound state when the interkink force is repulsive. An identification of the interaction potential energy and forces allows a qualitative description of the classical motion of the system, with bound states, along with scattering states, possible when the interkink force is attractive. (4) Finally, the interaction potential introduces a mixing and oscillation of the perturbative $\chi$ and $\varphi$ meson flavor states, which has effects upon meson-kink interactions.


title: Charge pump phase-locked loop with phase-frequency detector: closed form mathematical model

abstract: Charge pump phase-locked loop with phase-frequency detector (CP-PLL) is an electrical circuit, widely used in digital systems for frequency synthesis and synchronization of the clock signals. In this paper a non-linear second-order model of CP-PLL is rigorously derived. The obtained model obviates the shortcomings of previously known second-order models of CP-PLL. Pull-in time is estimated for the obtained second-order CP-PLL.


title: Criticality of Lagrange Multipliers in Extended Nonlinear Optimization

abstract: The paper is devoted to the study and applications of criticality of Lagrange multipliers in variational systems, which are associated with the class of problems in composite optimization known as extended nonlinear programming (ENLP). The importance of both ENLP and the concept of multiplier criticality in variational systems has been recognized in theoretical and numerical aspects of optimization and variational analysis, while the criticality notion has never been investigated in the ENLP framework. We present here a systematic study of critical and noncritical multipliers in a general variational setting that covers, in particular, KKT systems in ENLP with establishing their verifiable characterizations as well as relationships between noncriticality and other stability notions in variational analysis. Our approach is mainly based on advanced tools of second-order variational analysis and generalized differentiation.


title: Coupled Dispersionless and Generalized Heisenberg Ferromagnet Equations with Self-Consistent Sources: Geometry and Equivalence

abstract: We propose a new integrable coupled dispersionless equation with self-consistent sources (CDESCS). We obtain the Lax pair and the equivalent generalized Heisenberg ferromagnet equation (GHFE), demonstrating its integrability. Specifically, we explore the geometry of these equations. Last, we consider the relation between the motion of curves/surfaces and the CDESCS and the GHFE.


title: The construction of multipermutation solutions of the Yang-Baxter equation of level 2

abstract: We study involutive set-theoretic solutions of the Yang-Baxter equation of multipermutation level 2. These solutions happen to fall into two classes -- distributive ones and non-distributive ones. The distributive ones can be effectively constructed using a set of abelian groups and a matrix of constants. Using this construction, we enumerate all distributive involutive solutions up to size 14. The non-distributive solutions can be also easily constructed, using a distributive solution and a permutation.


title: Surface flow profiles for dry and wet granular materials by Particle Tracking Velocimetry; the effect of wall roughness

abstract: Two-dimensional Particle Tracking Velocimetry (PTV) is a promising technique to study the behaviour of granular flows. The aim is to experimentally determine the free surface width and position of the shear band from the velocity profile to validate simulations in a split-bottom shear cell geometry. The position and velocities of scattered tracer particles are tracked as they move with the bulk flow by analyzing images. We then use a new technique to extract the continuum velocity field, applying coarse-graining with the postprocessing toolbox MercuryCG on the discrete experimental PTV data. For intermediate filling heights, the dependence of the shear (or angular) velocity on the radial coordinate at the free surface is well fitted by an error function. From the error function, we get the width and the centre position of the shear band. We investigate the dependence of these shear band properties on filling height and rotation frequencies of the shear cell for dry glass beads for rough and smooth wall surfaces. For rough surfaces, the data agrees with the existing experimental results and theoretical scaling predictions. For smooth surfaces, particle-wall slippage is significant and the data deviates from the predictions. We further study the effect of cohesion on the shear band properties by using small amount of silicon oil and glycerol as interstitial liquids with the glass beads. While silicon oil does not lead to big changes, glycerol changes the shear band properties considerably. The shear band gets wider and is situated further inward with increasing liquid saturation, due to the correspondingly increasing trend of particles to stick together.


title: What is wrong with our current nuclear forces?

abstract: I discuss ab initio predictions for light and intermediate-mass nuclei as well as nuclear matter. Problems and open issues are outlined and an attempt is made to relate them to specific deficiencies of the chiral two- and many-nucleon forces currently in use. In particular, I identify the softness of the NN potential (due to non-locality) as one important factor for the improvement of microscopic predictions. This finding is very much in tune with the recent investigation by Lu et al. (arXiv:1812.10928) where---within a simple, but realistic model---it is shown that proper nuclear matter saturation requires a considerable amout of non-locality in the NN interaction.


title: Bilinear Supervised Hashing Based on 2D Image Features

abstract: Hashing has been recognized as an efficient representation learning method to effectively handle big data due to its low computational complexity and memory cost. Most of the existing hashing methods focus on learning the low-dimensional vectorized binary features based on the high-dimensional raw vectorized features. However, studies on how to obtain preferable binary codes from the original 2D image features for retrieval is very limited. This paper proposes a bilinear supervised discrete hashing (BSDH) method based on 2D image features which utilizes bilinear projections to binarize the image matrix features such that the intrinsic characteristics in the 2D image space are preserved in the learned binary codes. Meanwhile, the bilinear projection approximation and vectorization binary codes regression are seamlessly integrated together to formulate the final robust learning framework. Furthermore, a discrete optimization strategy is developed to alternatively update each variable for obtaining the high-quality binary codes. In addition, two 2D image features, traditional SURF-based FVLAD feature and CNN-based AlexConv5 feature are designed for further improving the performance of the proposed BSDH method. Results of extensive experiments conducted on four benchmark datasets show that the proposed BSDH method almost outperforms all competing hashing methods with different input features by different evaluation protocols.


title: Low-Frequency Noise Spectroscopy of Charge-Density-Wave Phase Transitions in Vertical Quasi-2D Devices

abstract: We report results regarding the electron transport in vertical quasi-2D layered 1T-TaS2 charge-density-wave devices. The low-frequency noise spectroscopy was used as a tool to study changes in the cross-plane electrical characteristics of the quasi-2D material below room temperature. The noise spectral density revealed strong peaks - changing by more than an order-of-magnitude - at the temperatures closely matching the electrical resistance steps. Some of the noise peaks appeared below the temperature of the commensurate to nearly-commensurate charge-density-wave transition, possibly indicating the presence of the debated "hidden" phase transitions. These results confirm the potential of the noise spectroscopy for investigations of electron transport and phase transitions in novel materials.


title: Maximum Matchings and Minimum Blocking Sets in $\Theta_6$-Graphs

abstract: $\Theta_6$-Graphs graphs are important geometric graphs that have many applications especially in wireless sensor networks. They are equivalent to Delaunay graphs where empty equilateral triangles take the place of empty circles. We investigate lower bounds on the size of maximum matchings in these graphs. The best known lower bound is $n/3$, where $n$ is the number of vertices of the graph. Babu et al. (2014) conjectured that any $\Theta_6$-graph has a (near-)perfect matching (as is true for standard Delaunay graphs). Although this conjecture remains open, we improve the lower bound to $(3n-8)/7$. We also relate the size of maximum matchings in $\Theta_6$-graphs to the minimum size of a blocking set. Every edge of a $\Theta_6$-graph on point set $P$ corresponds to an empty triangle that contains the endpoints of the edge but no other point of $P$. A blocking set has at least one point in each such triangle. We prove that the size of a maximum matching is at least $\beta(n)/2$ where $\beta(n)$ is the minimum, over all theta-six graphs with $n$ vertices, of the minimum size of a blocking set. In the other direction, lower bounds on matchings can be used to prove bounds on $\beta$, allowing us to show that $\beta(n)\geq 3n/4-2$.


title: Dynamic Visualization and Fast Computation for Convex Clustering via Algorithmic Regularization

abstract: Convex clustering is a promising new approach to the classical problem of clustering, combining strong performance in empirical studies with rigorous theoretical foundations. Despite these advantages, convex clustering has not been widely adopted, due to its computationally intensive nature and its lack of compelling visualizations. To address these impediments, we introduce Algorithmic Regularization, an innovative technique for obtaining high-quality estimates of regularization paths using an iterative one-step approximation scheme. We justify our approach with a novel theoretical result, guaranteeing global convergence of the approximate path to the exact solution under easily-checked non-data-dependent assumptions. The application of algorithmic regularization to convex clustering yields the Convex Clustering via Algorithmic Regularization Paths (CARP) algorithm for computing the clustering solution path. On example data sets from genomics and text analysis, CARP delivers over a 100-fold speed-up over existing methods, while attaining a finer approximation grid than standard methods. Furthermore, CARP enables improved visualization of clustering solutions: the fine solution grid returned by CARP can be used to construct a convex clustering-based dendrogram, as well as forming the basis of a dynamic path-wise visualization based on modern web technologies. Our methods are implemented in the open-source R package clustRviz, available at https://github.com/DataSlingers/clustRviz.


title: Novel method to study strain effect of thin films using a piezoelectric-based device and a flexible metallic substrate

abstract: For applying tensile or compressive uniaxial strain to functional thin films, we propose a novel approach in combining a piezoelectric-based device and a technical metallic substrate used widely in the 2nd generation coated conductors (i.e. superconducting tapes). A strain-induced shift of the superconducting transition temperature of 0.1 K for Co-doped BaFe2As2 was observed along [100] direction, corresponding to a uniaxial pressure derivative dTc/dp100=-4 K/GPa. For Mn3CuN, a uniaxial strain derivative along [100] direction of the Curie temperature dTC/de100=13 K/% was observed. The current approach is applicable to various functional thin films in a wide range of temperatures.


title: Center of Gravity-based Approach for Modeling Dynamics of Multisection Continuum Arms

abstract: Multisection continuum arms offer complementary characteristics to those of traditional rigid-bodied robots. Inspired by biological appendages, such as elephant trunks and octopus arms, these robots trade rigidity for compliance, accuracy for safety, and therefore exhibit strong potential for applications in human-occupied spaces. Prior work has demonstrated their superiority in operation in congested spaces and manipulation of irregularly-shaped objects. However, they are yet to be widely applied outside laboratory spaces. One key reason is that, due to compliance, they are difficult to control. Sophisticated and numerically efficient dynamic models are a necessity to implement dynamic control. In this paper, we propose a novel, numerically stable, center of gravity-based dynamic model for variable-length multisection continuum arms. The model can accommodate continuum robots having any number of sections with varying physical dimensions. The dynamic algorithm is of O(n2) complexity, runs at 9.5 kHz, simulates 6-8 times faster than real-time for a three-section continuum robot, and therefore is ideally suited for real-time control implementations. The model accuracy is validated numerically against an integral-dynamic model proposed by the authors and experimentally for a three-section, pneumatically actuated variable-length multisection continuum arm. This is the first sub real-time dynamic model based on a smooth continuous deformation model for variable-length multisection continuum arms.


title: Estimating the black hole mass of NGC1313 X-1 based on the spectral and timing properties

abstract: The discovery of 3:2 quasi-periodic oscillations (QPOs) in the ultraluminous X-ray source NGC 1313 X-1 suggests it harbors an intermediate-mass black hole (IMBH). We test this numerically by modelling the 3:2 QPOs and the associated X-ray spectrum based on the epicyclic resonance model and a disk-corona model with large-scale magnetic fields generated by the Cosmic Battery mechanism. The combined QPO-frequency and spectral fitting indicates that the BH mass ranges from 2524M_sun to 6811M_sun confirming its IMBH nature, and the BH spin is probably higher than ~0.3.


title: Theoretical study on thermalization in isolated quantum systems

abstract: Understanding how isolated quantum systems thermalize has recently gathered renewed interest almost 100 years after the first work by von Neumann, thanks to the experimental realizations of such systems. Experimental and numerical pieces of evidence imply that nonintegrability of the system plays an important role in thermalization. Nonintegrable systems that conserve energy alone are expected to be effectively described by the (micro)canonical ensemble due to the so-called eigenstate thermalization hypothesis (ETH) in the thermodynamic limit. In contrast, it is expected that stationary states in integrable systems are described not by the canonical ensemble but by the generalized Gibbs ensemble (GGE) due to the existence of many nontrivial conserved quantities. In this thesis, we study thermalization and its mechanism in nonintegrable systems from two perspectives. We first study how well the ETH and its finite-size corrections can be predicted by random matrix theory (RMT). Next, we present our study on the emergence of the GGE in a nonintegrable system with an extensive number of local symmetries.


title: Extremely broadband topological surface states in a photonic topological metamaterials

abstract: Metamaterials, artificially engineered materials consisting of subwavelength unit cell, have shown potentials in light manipulation with their extraordinary optical properties. Especially, topological metamaterials possessing topologically protected surface states enable extremely robust control of light. Here, we demonstrate extremely broadband topological phase in a photonic topological metamaterials with double helix structure. In particular topological surface states are observed for all the frequencies below a certain cut-off, originating from a double Weyl point at zero frequency. The extreme bandwidth and robustness of the photonic topological metamaterial are beneficial for practical applications such as one-way waveguide and photonic integrated systems but also advantageous in design and fabrication since the only necessary condition is to satisfy the effective hyperbolic and chiral properties, without entailing strict periodic arrangement.


title: Worst-Case Analysis for a Leader-follower Partially Observable Stochastic Game

abstract: Partially observable stochastic games provide a rich mathematical paradigm for modeling multi-agent dynamic decision making under uncertainty and partial information. However, they generally do not admit closed-form solutions and are notoriously difficult to solve. Also, in reality, each agent often does not have complete knowledge of the other agent. This paper studies a leader-follower partially observable stochastic game where the leader has little knowledge of the adversarial follower's reward structure, level of rationality, and process for gathering and transmitting data relevant for decision making. We introduce the worst-case analysis to the partially observable stochastic game to cope with this lack of knowledge and determine the best worst-case value function of the leader. The resulting problem from the leader's perspective has a simple sufficient statistic; however, different from a classical partially observable Markov decision process, the value function of the resulting problem may not be convex. We design a viable and computationally attractive solution procedure for computing a lower bound of the leader's value function as well as its associated control policy in the finite planning horizon. We illustrate the use of the proposed approach in a liquid egg production security problem.


title: LanczosNet: Multi-Scale Deep Graph Convolutional Networks

abstract: We propose the Lanczos network (LanczosNet), which uses the Lanczos algorithm to construct low rank approximations of the graph Laplacian for graph convolution. Relying on the tridiagonal decomposition of the Lanczos algorithm, we not only efficiently exploit multi-scale information via fast approximated computation of matrix power but also design learnable spectral filters. Being fully differentiable, LanczosNet facilitates both graph kernel learning as well as learning node embeddings. We show the connection between our LanczosNet and graph based manifold learning methods, especially the diffusion maps. We benchmark our model against several recent deep graph networks on citation networks and QM8 quantum chemistry dataset. Experimental results show that our model achieves the state-of-the-art performance in most tasks. Code is released at: \url{https://github.com/lrjconan/LanczosNetwork}.


title: Conditions for the uniqueness of the Gately point for cooperative games

abstract: We are studying the Gately point, an established solution concept for cooperative games. We point out that there are superadditive games for which the Gately point is not unique, i.e. in general the concept is rather set-valued than an actual point. We derive conditions under which the Gately point is guaranteed to be a unique imputation and provide a geometric interpretation. The Gately point can be understood as the intersection of a line defined by two points with the set of imputations. Our uniqueness conditions guarantee that these two points do not coincide. We provide demonstrative interpretations for negative propensities to disrupt. We briefly show that our uniqueness conditions for the Gately point include quasibalanced games and discuss the relation of the Gately point to the $\tau$-value in this context. Finally, we point out relations to cost games and the ACA method and end upon a few remarks on the implementation of the Gately point and an upcoming software package for cooperative game theory.


title: Invest or Exit? Optimal Decisions in the Face of a Declining Profit Stream

abstract: Even in the face of deteriorating and highly volatile demand, firms often invest in, rather than discard, aging technologies. In order to study this phenomenon, we model the firm's profit stream as a Brownian motion with negative drift. At each point in time, the firm can continue operations, or it can stop and exit the project. In addition, there is a one-time option to make an investment which boosts the project's profit rate. Using stochastic analysis, we show that the optimal policy always exists and that it is characterized by three thresholds. There are investment and exit thresholds before investment, and there is a threshold for exit after investment. We also effect a comparative statics analysis of the thresholds with respect to the drift and the volatility of the Brownian motion. When the profit boost upon investment is sufficiently large, we find a novel result: the investment threshold decreases in volatility.


title: Improved variable coefficient square functions and local smoothing of Fourier integral operators

abstract: We establish certain square function estimates for a class of oscillatory integral operators with homogeneous phase functions. These results are employed to deduce a refinement of a previous result of Mockenhaupt Seeger and Sogge \cite{MSS-jams} on the local smoothing property for Fourier integral operators, which arise naturally in the study of wave equations on compact Riemannian manifolds. The proof is an adaptation of the bilinear approach of Tao and Vargas \cite{Tao-Vargas-II}, %as well as Garrig\'os and Seeger \cite{GaSe09}, and based on bilinear oscillatory integral estimates of Lee \cite{Lee-JFA}.


title: Exact Selectivity Computation for Modern In-Memory Database Query Optimization

abstract: Selectivity estimation remains a critical task in query optimization even after decades of research and industrial development. Optimizers rely on accurate selectivities when generating execution plans. They maintain a large range of statistical synopses for efficiently estimating selectivities. Nonetheless, small errors -- propagated exponentially -- can lead to severely sub-optimal plans---especially, for complex predicates. Database systems for modern computing architectures rely on extensive in-memory processing supported by massive multithread parallelism and vectorized instructions. However, they maintain the same synopses approach to query optimization as traditional disk-based databases. We introduce a novel query optimization paradigm for in-memory and GPU-accelerated databases based on \textit{exact selectivity computation (ESC)}. The central idea in ESC is to compute selectivities exactly through queries during query optimization. In order to make the process efficient, we propose several optimizations targeting the selection and materialization of tables and predicates to which ESC is applied. We implement ESC in the MapD open-source database system. Experiments on the TPC-H and SSB benchmarks show that ESC records constant and less than 30 milliseconds overhead when running on GPU and generates improved query execution plans that are as much as 32X faster.


title: Square function inequality for oscillatory integral operators satisfying homogeneous Carleson-Sj\"olin type conditions

abstract: In this paper, we establish an improved variable coefficient version of square function inequality, by which the local smoothing estimate $L^p_\alpha\rightarrow L^p$ for the Fourier integral operators satisfying cinematic curvature condition is further improved. In particular, we establish almost sharp results for $2<p\leq 3$ and push forward the estimate for the critical point $p=4$. As a consequence, the local smoothing estimate for the wave equation on the manifold is refined. We generalize the results in \cite{LeVa12, Le18P} to its variable coefficient counterpart. The main ingredients in the argument includes multilinear oscillatory integral estimate \cite{BCT06} and decoupling inequality \cite{BelHicSog18P}.


title: Anharmonic inter-layer bonding leads to intrinsically low thermal conductivity of bismuth oxychalcogenides

abstract: The anharmonicity of phonons in solid is ultimately rooted in the chemical bonding. However, the direct connection between phonon anharmoncity and chemical bonding is difficult to make experimentally or theoretically, due mainly to their complicated lattice structures. Here, with the help of density functional theory based calculations, we discovery that electrostatic inter-layer coupling in Bi$_2$O$_2$X (X=S,Se,Te) leads to intrinsically low lattice thermal conductivity. We explain our discovery by the strong anharmonic chemical bonding between Bi and chalcogen atoms. Our results shed light on the connection between inter-layer chemical bonding and phonon anharmonicity, which could be explored in a wide range of layered materials.


title: Interplay of Inhomogeneous Electrochemical Reactions with Mechanical Responses in Silicon-Graphite Anode and its Impacts on Degradation

abstract: Enhanced EV market penetration requires durability of the battery with high energy throughput. For long-term cycle stability of silicon-graphite anode capable of high energy density, the reversible redox reactions are crucial. Here, we unveil intriguing electrochemical phenomena such as crosstalk of lithium ion ($Li^{+}$) between silicon and graphite, $Li^{+}$ accumulation in silicon, and capacity depression of graphite under high pressure, which engender the irreversible redox reactions. Active material properties, i.e. the size of silicon and the hardness of graphite, silicon-graphite anode, are modified based on the unveiled results to enhance the reaction homogeneity and reduce subsequent degradation. Owing to the property change of the anode active materials, silicon-graphite anode paired with high nickel cathode allows the prismatic cell with 8.7 Ah to reach cycling performance over 750 cycles with volumetric energy density of 665 $Whl^{-1}$, which is corresponding to 800 $Whl^{-1}$ in the prismatic cell with 87 Ah. Finally, the cycling performance can be tailored by the design of electrode regulating $Li^{+}$ crosstalk. Our findings provide electrochemical insights into degradation mechanisms and a promising direction on the progressive improvement of materials and the design of electrodes in silicon-graphite anode.


title: What Should I Do Now? Marrying Reinforcement Learning and Symbolic Planning

abstract: Long-term planning poses a major difficulty to many reinforcement learning algorithms. This problem becomes even more pronounced in dynamic visual environments. In this work we propose Hierarchical Planning and Reinforcement Learning (HIP-RL), a method for merging the benefits and capabilities of Symbolic Planning with the learning abilities of Deep Reinforcement Learning. We apply HIPRL to the complex visual tasks of interactive question answering and visual semantic planning and achieve state-of-the-art results on three challenging datasets all while taking fewer steps at test time and training in fewer iterations. Sample results can be found at youtu.be/0TtWJ_0mPfI


title: Channel Locality Block: A Variant of Squeeze-and-Excitation

abstract: Attention mechanism is a hot spot in deep learning field. Using channel attention model is an effective method for improving the performance of the convolutional neural network. Squeeze-and-Excitation block takes advantage of the channel dependence, selectively emphasizing the important channels and compressing the relatively useless channel. In this paper, we proposed a variant of SE block based on channel locality. Instead of using full connection layers to explore the global channel dependence, we adopt convolutional layers to learn the correlation between the nearby channels. We term this new algorithm Channel Locality(C-Local) block. We evaluate SE block and C-Local block by applying them to different CNNs architectures on cifar-10 dataset. We observed that our C-Local block got higher accuracy than SE block did.


title: Motion Control on Bionic Eyes: A Comprehensive Review

abstract: Biology can provide biomimetic components and new control principles for robotics. Developing a robot system equipped with bionic eyes is a difficult but exciting task. Researchers have been studying the control mechanisms of bionic eyes for many years and considerable models are available. In this paper, control model and its implementation on robots for bionic eyes are reviewed, which covers saccade, smooth pursuit, vergence, vestibule-ocular reflex (VOR), optokinetic reflex (OKR) and eye-head coordination. What is more, some problems and possible solutions in the field of bionic eyes are discussed and analyzed. This review paper can be used as a guide for researchers to identify potential research problems and solutions of the bionic eyes' motion control.


title: The template-specific fidelity of DNA replication with high-order neighbor effects: a first-passage approach

abstract: DNA replication fidelity is a critical issue in molecular biology. Biochemical experiments have provided key insights on the mechanism of fidelity control by DNAP in the past decades, whereas systematic theoretical studies on this issue began only recently. Because of the underlying difficulties of mathematical treatment, comprehensive surveys on the template-specific replication kinetics are still rare. Here we proposed a first-passage approach to address this problem, in particular the positional fidelity, for complicated processes with high-order neighbor effects. Under biologically-relevant conditions, we derived approximate analytical expressions of the positional fidelity which shows intuitively how some key kinetic pathways are coordinated to guarantee the high fidelity, as well as the high velocity, of the replication processes. It was also shown that the fidelity at any template position is dominantly determined by the nearest-neighbor template sequences, which is consistent with the idea that replication mutations are randomly distributed in the genome.


title: Excitation of whispering gallery modes with a "point-and-play", fiber-based, optical nano-antenna

abstract: We demonstrate the excitation and detection of whispering gallery modes in optical microresonators using a "point-and-play", fiber-based, optical nano-antenna. The coupling mechanism is based on cavity-enhanced Rayleigh scattering. Collected spectra exhibit Lorentzian dips, Fano shapes, or Lorentzian peaks, with a coupling efficiency around 13\%. The spectra are characterized by the coupling gap, polarization, and fiber tip position. The coupling method is simple, low-cost and, most importantly, the \textit{Q}-factor can be maintained at $10^8$ over a wide coupling range, thereby making it suitable for metrology, sensing, or cavity quantum electrodynamics (cQED) experiments.


title: usBot: A Modular Robotic Testbed for Programmable Self-Assembly

abstract: We present the design, characterization, and experimental results for a new modular robotic system for programmable self-assembly. The proposed system uses the Hybrid Cube Model (HCM), which integrates classical features from both deterministic and stochastic self-organization models. Thus, for instance, the modules are passive as far as their locomotion is concerned (stochastic), and yet they possess an active undocking routine (deterministic). The robots are constructed entirely from readily accessible components and unlike many existing robots, their excitation is not fluid mediated. Instead, the actuation setup is a solid state, independently programmable and highly portable platform. The system is capable of demonstrating fully autonomous and distributed stochastic self-assembly in two dimensions. It is shown to emulate the performance of several existing modular systems and promises to be a substantial effort towards developing a universal testbed for programmable self-assembly.


title: MAE: Mutual Posterior-Divergence Regularization for Variational AutoEncoders

abstract: Variational Autoencoder (VAE), a simple and effective deep generative model, has led to a number of impressive empirical successes and spawned many advanced variants and theoretical investigations. However, recent studies demonstrate that, when equipped with expressive generative distributions (aka. decoders), VAE suffers from learning uninformative latent representations with the observation called KL Varnishing, in which case VAE collapses into an unconditional generative model. In this work, we introduce mutual posterior-divergence regularization, a novel regularization that is able to control the geometry of the latent space to accomplish meaningful representation learning, while achieving comparable or superior capability of density estimation. Experiments on three image benchmark datasets demonstrate that, when equipped with powerful decoders, our model performs well both on density estimation and representation learning.


title: Understanding the (un)interpretability of natural image distributions using generative models

abstract: Probability density estimation is a classical and well studied problem, but standard density estimation methods have historically lacked the power to model complex and high-dimensional image distributions. More recent generative models leverage the power of neural networks to implicitly learn and represent probability models over complex images. We describe methods to extract explicit probability density estimates from GANs, and explore the properties of these image density functions. We perform sanity check experiments to provide evidence that these probabilities are reasonable. However, we also show that density functions of natural images are difficult to interpret and thus limited in use. We study reasons for this lack of interpretability, and show that we can get interpretability back by doing density estimation on latent representations of images.


title: STORE: Security Threat Oriented Requirements Engineering Methodology

abstract: As we are continuously depending on information technology applications by adopting electronic channels and software applications for our business, online transaction and communication, software security is increasingly becoming a necessity and more advanced concern. Both the functional and non-functional requirements are important and provide the necessary needs at the early phases of the software development process, specifically in the requirement phase. The aim of this research is to identify security threats early in the software development process to help the requirement engineer elicit appropriate security requirements in a more systematic manner throughout the requirement engineering process to ensure a secure and quality software development. This article proposes the STORE methodology for security requirement elicitation based on security threats analysis, which includes the identification of four points: PoA, PoB, PoC and PoD for effective security attack analysis. Further, the proposed STORE methodology is also validated by a case study of an ERP System. We also compare our STORE methodology with two existing techniques, namely, SQUARE and MOSRE. We have shown that more effective and efficient security requirements can be elicited by the STORE methodology and that it helps the security requirement engineer to elicit security requirements in a more organized manner.


title: Accelerated Continuous time quantum Monte Carlo method with Machine Learning

abstract: An acceleration of continuous time quantum Monte Carlo (CTQMC) methods is a potentially interesting branch of work as they are matchless as impurity solvers of a density functional theory in combination with a dynamical mean field theory approach for the description of electronic structures of strongly correlated materials. The inversion of the $k \times k$ matrix given by the diagram expansion order $k$ in the CTQMC update and the multiplication of the $k \times k$ matrix and the non-interacting Green's function to measure the impurity Green's function are computationally time-consuming. Here, we propose the CTQMC method in combination with a machine learning technique, which would eliminate the need for multiplication of the matrix with the non-interacting Green's function. This method predicts the accurate impurity Green's function and double occupancy at low temperature, and also considers the physical properties of high Matsubara frequency in a much shorter computational time than the conventional CTQMC method.


title: Enhancing Sound Texture in CNN-Based Acoustic Scene Classification

abstract: Acoustic scene classification is the task of identifying the scene from which the audio signal is recorded. Convolutional neural network (CNN) models are widely adopted with proven successes in acoustic scene classification. However, there is little insight on how an audio scene is perceived in CNN, as what have been demonstrated in image recognition research. In the present study, the Class Activation Mapping (CAM) is utilized to analyze how the log-magnitude Mel-scale filter-bank (log-Mel) features of different acoustic scenes are learned in a CNN classifier. It is noted that distinct high-energy time-frequency components of audio signals generally do not correspond to strong activation on CAM, while the background sound texture are well learned in CNN. In order to make the sound texture more salient, we propose to apply the Difference of Gaussian (DoG) and Sobel operator to process the log-Mel features and enhance edge information of the time-frequency image. Experimental results on the DCASE 2017 ASC challenge show that using edge enhanced log-Mel images as input feature of CNN significantly improves the performance of audio scene classification.


title: Entanglement-assisted communication in the absence of shared reference frame

abstract: Alice wants to convey the value of a parameter to Bob with whom she does not share a reference frame. What physical object can she use for this task? Shall she encode this value into the angle between two physical vectors such as the angle between two spins? Can she benefit from using entanglement? We approach these questions here and show that an entangled state of two qubits has three parameters that are invariant under changes of the reference frame. We also calculate the average information gain, when each one of these parameters is used for communication. We compare our result with the special case of separable states and find that entanglement enhances the information gain.


title: Walking the Dog Fast in Practice: Algorithm Engineering of the Fr\'echet Distance

abstract: The Fr\'echet distance provides a natural and intuitive measure for the popular task of computing the similarity of two (polygonal) curves. While a simple algorithm computes it in near-quadratic time, a strongly subquadratic algorithm cannot exist unless the Strong Exponential Time Hypothesis fails. Still, fast practical implementations of the Fr\'echet distance, in particular for realistic input curves, are highly desirable. This has even lead to a designated competition, the ACM SIGSPATIAL GIS Cup 2017: Here, the challenge was to implement a near-neighbor data structure under the Fr\'echet distance. The bottleneck of the top three implementations turned out to be precisely the decision procedure for the Fr\'echet distance. In this work, we present a fast, certifying implementation for deciding the Fr\'echet distance, in order to (1) complement its pessimistic worst-case hardness by an empirical analysis on realistic input data and to (2) improve the state of the art for the GIS Cup challenge. We experimentally evaluate our implementation on a large benchmark consisting of several data sets (including handwritten characters and GPS trajectories). Compared to the winning implementation of the GIS Cup, we obtain running time improvements of up to more than two orders of magnitude for the decision procedure and of up to a factor of 30 for queries to the near-neighbor data structure.


title: Supervised Neural Networks for Helioseismic Ring-Diagram Inversions

abstract: The inversion of ring fit parameters to obtain subsurface flow maps in ring-diagram analysis for 8 years of SDO observations is computationally expensive, requiring ~3200 CPU hours. In this paper we apply machine learning techniques to the inversion in order to speed up calculations. Specifically, we train a predictor for subsurface flows using the mode fit parameters and the previous inversion results, to replace future inversion requirements. We utilize Artificial Neural Networks as a supervised learning method for predicting the flows in 15 degree ring tiles. To demonstrate that the machine learning results still contain the subtle signatures key to local helioseismic studies, we use the machine learning results to study the recently discovered solar equatorial Rossby waves. The Artificial Neural Network is computationally efficient, able to make future flow predictions of an entire Carrington rotation in a matter of seconds, which is much faster than the current ~31 CPU hours. Initial training of the networks requires ~3 CPU hours. The trained Artificial Neural Network can achieve a root mean-square error equal to approximately half that reported for the velocity inversions, demonstrating the accuracy of the machine learning (and perhaps the overestimation of the original errors from the ring-diagram pipeline). We find the signature of equatorial Rossby waves in the machine learning flows covering six years of data, demonstrating that small-amplitude signals are maintained. The recovery of Rossby waves in the machine learning flow maps can be achieved with only one Carrington rotation (27.275 days) of training data. We have shown that machine learning can be applied to, and perform more efficiently than the current ring-diagram inversion. The computation burden of the machine learning includes 3 CPU hours for initial training, then around 0.0001 CPU hours for future predictions.


title: Black hole thermodynamics in the Sharma-Mittal generalized entropy formalism

abstract: Using the Sharma-Mittal entropy, we study some properties of the Schwarzschild and Schwarzschild-de Sitter black holes. The results are compared with those obtained by attributing the Bekenstein entropy bound to the mentioned black holes. Our main results show that while the Schwarzschild black hole is always stable in the micro-canonical ensemble, it can be stable in the canonical ensemble if its mass is bigger than the mass of the coldest Schwarzschild black hole. A semi-classical analysis has also been used to find an approximate relation between the entropy free parameters. Throughout the paper, we use units $c=G=\hbar=k_B=1$, where $k_B$ denotes the Boltzmann constant.


title: Some remarks on weak generalizations of minima and quasi efficiency

abstract: In this note, we remark, with sufficient mathematical rigor, that many weak generalizations of the usual minimum available in the literature are not true generalizations. Motivated by the Ekeland Variational Principle, we provide, first time, the criteria for weaker generalizations of the usual minimum. Further, we show that the quasi efficiency, recently used in Bhatia et al. (Optim. Lett. 7, 127-135 (2013)) and introduced in Gupta et al. ( Bull. Aust. Math. Soc. 74, 207-218 (2006)) is not a true generalization of the usual efficiency. Since the former paper relies heavily on the results of later one, so we discuss the later paper. We show that the necessary optimality condition is a consequence of the local Lipschitzness and sufficiency result is trivial in the later paper. Consequently, the duality results of the same paper are also inconsistent.


title: Transcendence bases, well-orderings of the reals and the axiom of choice

abstract: We prove that $ZF+DC+"$there exists a transcendence basis for the reals$"+"$there is no well-ordering of the reals$"$ is consistent relative to $ZFC$. This answers a question of Larson and Zapletal.


title: Regularity and $a$-invariant of Cameron--Walker graphs

abstract: Let $S$ be the polynomial ring over a field $K$ and $I \subset S$ a homogeneous ideal. Let $h(S/I,\lambda)$ be the $h$-polynomial of $S/I$ and $s = \mathrm{deg} h(S/I,\lambda)$ the degree of $h(S/I,\lambda)$. It follows that the inequality $s - r \leq d - e$, where $r = \mathrm{reg} (S/I)$, $d = \dim S/I$ and $e = \mathrm{depth} S/I$, is satisfied and, in addition, the equality $s - r = d - e$ holds if and only if $S/I$ has a unique extremal Betti number. We are interested in finding a natural class of finite simple graphs $G$ for which $S/I(G)$, where $I(G)$ is the edge ideal of $G$, satisfies $s - r = d - e$. Let $a(S/I(G))$ denote the $a$-invariant of $S/I$, i.e., $a(S/I(G)) = s - d$. One has $a(S/I(G)) \leq 0$. In the present paper, by showing the fundamental fact that every Cameron--Walker graph $G$ satisfies $a(S/I(G)) = 0$, a class of Cameron--Walker graphs $G$ for which $S/I(G)$ satisfies $s - r = d - e$ will be exhibited.


title: $\varepsilon$-regularity criteria in anisotropic Lebesgue spaces and Leray's self-similar solutions to the 3D Navier-Stokes equations

abstract: In this paper, we establish some $\varepsilon$-regularity criteria in anisotropic Lebesgue spaces for suitable weak solutions to the 3D Navier-Stokes equations as follows: $$ \limsup\limits_{\varrho\rightarrow0} \varrho^{1-\frac{2}{p}-\sum\limits^{3}_{j=1}\frac{1}{q_{j}}} \|u\|_{L_{t}^{p}L^{\overrightarrow{q}}_{x}(Q(\varrho))} \leq\varepsilon, ~~\frac{2}{p}+\sum\limits^{3}_{j=1}\frac{1}{q_{j}} \leq2~~~~~\text{with}~q_{j} > 1;\\$$$$ \sup_{-1\leq t\leq0}\|u\|_{L^{\overrightarrow{q}}(B(1))} < \varepsilon,~~\frac{1}{q_{1}}+\frac{1}{q_{2}}+\frac{1}{q_{3}} <2\quad \text{with}\, 1<q_{j}<\infty;$$ $$\|u \|_{L_{t}^{p}L^{\overrightarrow{q}}_{x}(Q(1))} +\|\Pi\|_{L^{1}(Q(1))}\leq\varepsilon, \quad \frac2p+\sum^{3}_{j=1}\frac{1}{q_{j}} <2 ~~~\text{with}~~ 1<q_{j}<\infty, $$ which extends the previous results in [2, 12, 18, 19, 22, 37, 43]. As an application, in the spirit of [4], we prove that there does not exist a nontrivial Leray's backward self-similar solution with profiles in $L^{\overrightarrow{p}}(\mathbb{R}^{3})$ with $\frac{1}{p_{1}}+\frac{1}{p_{2}}+\frac{1}{p_{3}}<2$. This generalizes the corresponding results of [4, 20, 28, 38].


title: Pentagons in the Si$(331)-(12\times1)$ surface reconstruction

abstract: The microscopic structure of the high-index Si$(331)-(12\times1)$ surface is investigated combining scanning tunneling microscopy with ab initio calculations. We present a structural model of the Si(331) surface, employing a reconstruction element composed of six pentagons integrated to the structure of the adjacent pentamer with an interstitial atom. We demonstrate that appropriately arranged additional pentagons significantly lower the surface energy of the high-index surface. The model predicts the existence of multiple Si(331) buckled configurations with similar energies.


title: Structural investigation of (111) oriented (BiFeO3)(1-x){\Lambda}/(LaFeO3)x{\Lambda} superlattices by X-ray diffraction and Raman spectroscopy

abstract: (BiFeO3)(1-x){\Lambda}/(LaFeO3)x{\Lambda} superlattices (SLs) with varying x have been grown by pulsed laser deposition on (111) oriented SrTiO3 substrates. In order to obtain good epitaxy and flat samples a conducting SrRuO3 buffer has been deposited prior to the superlattices to screen the polar mismatch for such (111) SrTiO3 orientation. X-ray diffraction reciprocal space mapping on different family of planes were collected and evidenced a room temperature structural change at x=0.5 from a rhombohedral/monoclinic structure for rich BiFeO3 to an orthorhombic symmetry for rich LaFeO3. This symmetry change has been confirmed by Raman spectroscopy and demonstrates the different phase stability compared to similar SLs grown on (100) SrTiO3. The strongly anisotropic strain and oxygen octahedral rotation/tilt system compatibility at the interfaces probably explain the orientation dependence of the phase stability in such superlattices.


title: Ramification divisors of general projections

abstract: We study the ramification divisors of projections of a smooth projective variety onto a linear subspace of the same dimension. We prove that the ramification divisors vary in a maximal dimensional family for a large class of varieties. Going further, we study the map that associates to a linear projection its ramification divisor. We show that this map is dominant for most (but not all!) varieties of minimal degree, using (linked) limit linear series of higher rank. We find the degree of this map in some cases, extending the classical appearance of Catalan numbers in the geometry of rational normal curves, and give a geometric explanation of its fibers in terms of torsion points of naturally occurring elliptic curves in the case of the Veronese surface and the quartic rational surface scroll.


title: Surface energy and elementary excitations of the XXZ spin chain with arbitrary boundary fields

abstract: The thermodynamic properties of the XXZ spin chain with integrable open boundary conditions at the gaped region (i.e., the anisotropic parameter $\eta$ being a real number) are investigated.It is shown that the contribution of the inhomogeneous term in the $T-Q$ relation of the ground state and elementary excited state can be neglected when the size of the system $N$ tends to infinity. The surface energy and elementary excitations induced by the unparallel boundary magnetic fields are obtained.

categories: cond-mat.str-el cond-mat.stat-mech math-ph math.MP


title: Microwave spectroscopy of a weakly-pinned charge density wave in a superinductor

abstract: A chain of small Josephson junctions (aka superinductor) emerged recently as a high-inductance, low-loss element of superconducting quantum devices. We notice that the intrinsic parameters of a typical superinductor in fact place it into the Bose glass universality class for which the propagation of waves in a sufficiently long chain is hindered by pinning. Its weakness provides for a broad crossover from the spectrum of well-resolved plasmon standing waves at high frequencies to the low-frequency excitation spectrum of a pinned charge density wave. We relate the scattering amplitude of microwave photons reflected off a superinductor to the dynamics of a Bose glass. The dynamics at long and short scales compared to the Larkin pinning length determines the low- and high-frequency asymptotes of the reflection amplitude.


title: Deformation problem for glued elastic bodies and an alternative iteration method

abstract: We study a mathematical model for deformation of glued elastic bodies in 2D or 3D, which is a linear elasticity system with adhesive force on the glued surface. We reveal a variational structure of the model and prove the unique existence of a weak solution based on it. Furthermore, we also consider an alternating iteration method and show that it is nothing but an alternating minimizing method of the total energy. The convergence of a monolithic formulation and the alternating iteration method are numerically studied with the finite element method.


title: Optimal Network Control in Partially-Controllable Networks

abstract: The effectiveness of many optimal network control algorithms (e.g., BackPressure) relies on the premise that all of the nodes are fully controllable. However, these algorithms may yield poor performance in a partially-controllable network where a subset of nodes are uncontrollable and use some unknown policy. Such a partially-controllable model is of increasing importance in real-world networked systems such as overlay-underlay networks. In this paper, we design optimal network control algorithms that can stabilize a partially-controllable network. We first study the scenario where uncontrollable nodes use a queue-agnostic policy, and propose a low-complexity throughput-optimal algorithm, called Tracking-MaxWeight (TMW), which enhances the original MaxWeight algorithm with an explicit learning of the policy used by uncontrollable nodes. Next, we investigate the scenario where uncontrollable nodes use a queue-dependent policy and the problem is formulated as an MDP with unknown queueing dynamics. We propose a new reinforcement learning algorithm, called Truncated Upper Confidence Reinforcement Learning (TUCRL), and prove that TUCRL achieves tunable three-way tradeoffs between throughput, delay and convergence rate.


title: On nonexistence and existence of positive global solutions to heat equation with a potential term on Riemannian manifolds

abstract: We reinvestigate nonexistence and existence of global positive solutions to heat equation with a potential term on Riemannian manifolds. Especially, we give a very natural sharp condition only in terms of the volume of geodesic ball to obtain nonexistence results.


title: Effect of copper content on thermal and mechanical properties of eutectoid zn-al alloy

abstract: Zn-Al alloys have become one of the major engineering alloys among commercially available alloys. This study was conducted on eutectoid composition of Zn-Al alloy with an observation of the effect of copper addition. For this purpose, one eutectoid (Zn-22wt%Al) and three other alloys, adding 1wt%, 3wt% and 5wt% copper with this eutectoid composition, were molded in permanent metal mould. Microscopic studies exhibited varied grains which confirmed the formation of different phases. Moreover, the formation of different phases in micro study was supported by XRD analysis. Hardness of the samples were tested on Rockwell B scale and it was observed that the hardness of these alloys was substantially increased with the addition of copper. With increasing amount of copper, phase changing temperature of the alloys reveals a growing trend, which was observed by DTA analysis. From this study it was concluded that addition of copper can significantly add to the mechanical properties of Zn-Al alloys.


title: Chiral anomaly induced oscillations in the Josephson current in Weyl semimetals

abstract: Weyl semimetals are a three dimensional topological phase of matter with linearly dispersed Weyl points which appear in pairs and carry opposite chirality. The separation of paired Weyl points allows charge transfer between them in the presence of parallel electric and magnetic fields, which is known as the chiral anomaly. In this paper, we theoretically study the influence of the chiral anomaly induced chiral charge imbalance on the Josephson current in a Weyl superconductor-Weyl semimetal-Weyl superconductor junction. In Weyl superconductors, two types of pairings are considered, namely, zero momentum BCS-like pairing and finite momentum FFLO-like pairing. For BCS-like pairing, we find that the Josephson current exhibits $0$-$\pi$ transitions and oscillates as a function of $\lambda_{0} L $, where $\lambda_{0}$ is the chirality imbalance induced by the parallel electric and magnetic fields and $L$ is the length of the Weyl semimetal. The amplitude of the Josephson current also depends on the angle $\beta$ between the line connecting two paired Weyl points and the transport direction along the junction. For FFLO-like pairing, the chirality imbalance induced periodic oscillations are absent and the Josephson current is also independent of the angle $\beta$. These findings are useful in detecting the chiral anomaly and distinguishing the superconducting pairing mechanism of Weyl semimetals.


title: Late afterglow emission statistics: a clear link between GW170817 and bright short GRBs

abstract: GW170817, the first neutron star merger event detected by advanced LIGO/Virgo detectors, was associated with an underluminous short duration GRB 170817A. In this work we compare the forward shock afterglow emission of GW170817/GRB 170817A to other luminous short GRBs (sGRBs) with both a known redshift and an afterglow emission lasting at least one day after the burst. In the rapid decay phase, the afterglow emission of the bright sGRBs and GW170817/GRB 170817A form a natural and continuous sequence, though separated by an observation time gap. If viewed on-axis, the forward shock afterglow emission of GW170817/GRB 170817A would be among the brightest ones detected so far. This provides a strong evidence for the GW170817-like merger origin of bright sGRBs, and suggests that the detection of the forward shock afterglow emission of most neutron star merger events are more challenging than the case of GW170817 since usually the mergers will be more distant and the viewing angles are plausibly higher.


title: Topological thermal Hall effect for topological excitations in spin liquid: Emergent Lorentz force on the spinons

abstract: We study the origin of Lorentz force on the spinons in a U(1) spin liquid. We are inspired by the previous observation of gauge field correlation in the pairwise spin correlation using the neutron scattering measurement when the Dzyaloshinskii-Moriya interaction intertwines with the lattice geometry. We extend this observation to the Lorentz force that exerts on the (neutral) spinons. The external magnetic field, that polarizes the spins, effectively generates an internal U(1) gauge flux for the spinons and twists the spinon motion through the Dzyaloshinskii-Moriya interaction. Such a mechanism for the emergent Lorentz force differs fundamentally from the induction of the internal U(1) gauge flux in the weak Mott insulating regime from the charge fluctuations. We apply this understanding to the specific case of spinon metals on the kagome lattice. Our suggestion of emergent Lorentz force generation and the resulting topological thermal Hall effect may apply broadly to other non-centrosymmetric spin liquids with Dzyaloshinskii-Moriya interaction. We discuss the relevance with the thermal Hall transport in kagome materials volborthite and kapellasite.


title: The Middle Pleistocene Transition by frequency locking and slow ramping of internal period

abstract: The increase in glacial cycle length from approximately $41$ to on average $100$ thousand years around $1$ million years ago, called the Middle Pleistocene Transition (MPT), lacks a conclusive explanation. We describe a dynamical mechanism which we call Ramping with Frequency Locking (RFL), that explains the transition by an interaction between the internal period of a self-sustained oscillator and forcing that contains periodic components. This mechanism naturally explains the abrupt increase in cycle length from approximately $40$ to $80$ thousand years observed in proxy data, unlike some previously proposed mechanisms for the MPT. A rapid increase in durations can be produced by a rapid change in an external parameter, but this assumes rather than explains the abruptness. In contrast, models relying on frequency locking can produce a rapid change in durations assuming only a slow change in an external parameter. We propose a scheme for detecting RFL in complex, computationally expensive models, and motivate the search for climate variables that can gradually increase the internal period of the glacial cycles.


title: Rotation sets for graph maps of degree 1

abstract: For a continuous map on a topological graph containing a loop $S$ it is possible to define the degree (with respect to the loop $S$) and, for a map of degree $1$, rotation numbers. We study the rotation set of these maps and the periods of periodic points having a given rotation number. We show that, if the graph has a single loop $S$ then the set of rotation numbers of points in $S$ has some properties similar to the rotation set of a circle map; in particular it is a compact interval and for every rational $\alpha$ in this interval there exists a periodic point of rotation number $\alpha$. For a special class of maps called combed maps, the rotation set displays the same nice properties as the continuous degree one circle maps.


title: On the controllability of the Navier-Stokes equation in a rectangle, with a little help of a distributed phantom force

abstract: This note echoes the talk given by the second author during the Journ\'ees EDP 2018 in Obernai. Its aim is to provide an overview and a sketch of proof of the result obtained by the authors, concerning the controllability of the Navier-Stokes equation. We refer the interested readers to the original paper for the full technical details of the proof, which will be omitted here, to focus on the main underlying ideas.


title: Rotation set for maps of degree 1 on sun graphs

abstract: For a continuous map on a topological graph containing a unique loop S, it is possible to define the degree and, for a map of degree 1, rotation numbers. It is known that the set of rotation numbers of points in S is a compact interval and for every rational r in this interval there exists a periodic point of rotation number r. The whole rotation set (i.e. the set of all rotation numbers) may not be connected and it is not known in general whether it is closed. A sun graph is the space consisting in finitely many segments attached by one of their endpoints to a circle. We show that, for a map of degree 1 on a sun graph, the rotation set is closed and has finitely many connected components. Moreover, for all but finitely many rational numbers r in the rotation set, there exists a periodic point of rotation number r.


title: Reverse-order law for weighted Moore--Penrose inverse of tensors

abstract: In this paper, we provide a few properties of the weighted Moore--Penrose inverse for an arbitrary order tensor via the Einstein product. We again obtain some new sufficient conditions for the reverse-order law of the weighted Moore--Penrose inverse for even-order square tensors. We then present several characterizations of the reverse-order law for tensors of arbitrary order.


title: Chiral Kinetic Theory from Effective Field Theory Revisited

abstract: We revisit the chiral kinetic equation from high density effective theory approach, finding a chiral kinetic equation differs from counterpart derived from field theory in high order terms in the $O(1/\mu)$ expansion, but in agreement with the equation derived in on-shell effective field theory upon identification of cutoff. By using reparametrization transformation properties of the effective theory, we show that the difference in kinetic equations from two approaches are in fact expected. It is simply due to different choices of degree of freedom by effective theory and field theory. We also show that they give equivalent description of the dynamics of chiral fermions.


title: Torsors on semistable curves and degenerations

abstract: In this paper we answer two long-standing questions in the classification of $G$-torsors on curves for an almost simple, simply connected algebraic group $G$ over the field of complex numbers. The first question is to give an intrinsic definition of (semi)stability for a $G$-torsor on an {\em irreducible nodal curve} and the second one is the construction of a flat degeneration of the moduli space of semistable $G$-torsors when the smooth curve degenerates to an irreducible nodal curve. A generalization of the classical Bruhat-Tits group schemes to two-dimensional regular local rings and an application of the geometric formulation of the McKay correspondence provide the key tools.


title: A new eigenvalue problem for free boundary minimal submanifolds in the unit ball

abstract: The purpose of the present paper is to show that the components of the unit normal of any minimal surface with free boundary in the unit ball, are eigenfunctions associated with the eigenvalue $-2$, for some (new) natural eigenvalue problem for the Jacobi operator; this fact has analytic (spectral) consequences for free boundary minimal surfaces in the unit $3$-ball of index $4$, and might prove useful in order to characterize these. This is also in strong analogy with the case of minimal surfaces in $S^3$.


title: Path Computation for Provisioning in Multi-Technology Multi-Layer Transport Networks

abstract: Service providers employ different transport technologies like PDH, SDH/SONET, OTN, DWDM, Ethernet, MPLS-TP etc. to support different types of traffic and service requirements. Dynamic service provisioning requires the use of on-line algorithms that automatically compute the path to be taken to satisfy the given service request. A typical transport network element supports adaptation of multiple technologies and multiple layers of those technologies to carry the input traffic. Further, transport networks are deployed such that they follow different topologies like linear, ring, mesh, protected linear, dual homing etc. in different layers. Path computation for service requests considering the above factors is the focus of this work, where a new mechanism for building an auxiliary graph which models each layer as a node within each network element and creates adaptation edges between them and also supports creation of special edges to represent different types of topologies is proposed. Logical links that represent multiplexing or adaptation are also created in the auxiliary graph. Initial weight assignment scheme for non-adaptation edges that consider both link distance and link capacity is proposed and three dynamic weight assignment functions that consider the current utilization of the links are proposed. Path computation algorithms considering adaptation and topologies are proposed over the auxiliary graph structure. The performance of the algorithms is evaluated and it is found that the weighted number of requests accepted is higher and the weighted capacity provisioned is lesser for one of the dynamic weight function and certain combination of values proposed as part of the weight assignment.


title: Twisted Localized Solutions of the Dirac Equation: Hopfion-like States of Relativistic Electrons

abstract: All known solutions of the Dirac equation describing states of electrons endowed with angular momentum are very far from our notion of the electron as a spinning charged bullet because they are not localized in the direction of propagation. We present here analytic exact solutions, eigenstates of the total angular momentum component $M_z$, that come very close to this notion. These new solutions of the Dirac equation have also intricate topological properties similar to the hopfion solutions of the Maxwell equations.


title: Periodic orbits of large diameter for circle maps

abstract: Let $f$ be a continuous circle map and let $F$ be a lifting of $f$. In this note we study how the existence of a large orbit for $F$ affects its set of periods. More precisely, we show that, if $F$ is of degree $d\geq 1$ and has a periodic orbit of diameter larger than 1, then $F$ has periodic points of period $n$ for all integers $n\geq 1$, and thus so has $f$. We also give examples showing that this result does not hold when the degree is non positive.


title: Search Space Reduction of Asynchrony Immune Cellular Automata by Center Permutivity

abstract: We continue the study of asynchrony immunity in cellular automata (CA), which can be considered as a weaker version of correlation immunity in the context of vectorial Boolean functions. The property could have applications as a countermeasure for side-channel attacks in CA-based cryptographic primitives, such as S-boxes and pseudorandom number generators. We first give some theoretical results on the necessary conditions that a CA rule must satisfy in order to meet asynchrony immunity, the most important one being center permutivity. Next, we perform an exhaustive search of all asynchrony immune CA rules of neighborhood size up to $5$, leveraging on the discovered theoretical properties to greatly reduce the size of the search space.


title: RayNet: Learning Volumetric 3D Reconstruction with Ray Potentials

abstract: In this paper, we consider the problem of reconstructing a dense 3D model using images captured from different views. Recent methods based on convolutional neural networks (CNN) allow learning the entire task from data. However, they do not incorporate the physics of image formation such as perspective geometry and occlusion. Instead, classical approaches based on Markov Random Fields (MRF) with ray-potentials explicitly model these physical processes, but they cannot cope with large surface appearance variations across different viewpoints. In this paper, we propose RayNet, which combines the strengths of both frameworks. RayNet integrates a CNN that learns view-invariant feature representations with an MRF that explicitly encodes the physics of perspective projection and occlusion. We train RayNet end-to-end using empirical risk minimization. We thoroughly evaluate our approach on challenging real-world datasets and demonstrate its benefits over a piece-wise trained baseline, hand-crafted models as well as other learning-based approaches.


title: Exploring applications of deep reinforcement learning for real-world autonomous driving systems

abstract: Deep Reinforcement Learning (DRL) has become increasingly powerful in recent years, with notable achievements such as Deepmind's AlphaGo. It has been successfully deployed in commercial vehicles like Mobileye's path planning system. However, a vast majority of work on DRL is focused on toy examples in controlled synthetic car simulator environments such as TORCS and CARLA. In general, DRL is still at its infancy in terms of usability in real-world applications. Our goal in this paper is to encourage real-world deployment of DRL in various autonomous driving (AD) applications. We first provide an overview of the tasks in autonomous driving systems, reinforcement learning algorithms and applications of DRL to AD systems. We then discuss the challenges which must be addressed to enable further progress towards real-world deployment.


title: On $L^0$-convex compactness in random locally convex modules

abstract: For the study of some typical problems in finance and economics, \v{Z}itkovi\'{c} %[G. \v{Z}itkovi\'{c}, Convex compactness and its applications, Math. Finan. Eco., 3(1)(2010) 1--12] introduced convex compactness and gave many remarkable applications. Recently, motivated by random convex optimization and random variational inequalities, Guo, et al introduced $L^0$-convex compactness, developed the related theory of $L^0$-convex compactness in random normed modules and further applied it to backward stochastic equations. %[T.X. Guo, et al, Two fixed point theorems in complete random normed modules and their applications to backward stochastic equations, J. Math. Anal. Appl., 483(2020) 123644]. In this paper, we extensively study $L^0$-convexly compact sets in random locally convex modules so that a series of fundamental results are obtained. First, we show that every $L^0$-convexly compact set is complete (hence is also closed and has the countable concatenation property). Then, we prove that any $L^0$-convexly compact set is linearly homeomorphic to a weakly compact subset of some locally convex space, and simultaneously establish the equivalence between $L^0$-convex compactness and convex compactness for a closed $L^0$-convex set. Finally, we establish Tychonoff type, James type and Banach-Alaoglu type theorems for $L^0$-convex compactness, respectively.


title: RESTful API Automated Test Case Generation

abstract: Nowadays, web services play a major role in the development of enterprise applications. Many such applications are now developed using a service-oriented architecture (SOA), where microservices is one of its most popular kind. A RESTful web service will provide data via an API over the network using HTTP, possibly interacting with databases and other web services. Testing a RESTful API poses challenges, as inputs/outputs are sequences of HTTP requests/responses to a remote server. Many approaches in the literature do black-box testing, as the tested API is a remote service whose code is not available. In this paper, we consider testing from the point of view of the developers, which do have full access to the code that they are writing. Therefore, we propose a fully automated white-box testing approach, where test cases are automatically generated using an evolutionary algorithm. Tests are rewarded based on code coverage and fault finding metrics. We implemented our technique in a tool called EVOMASTER, which is open-source. Experiments on two open-source, yet non-trivial RESTful services and an industrial one, do show that our novel technique did automatically find 38 real bugs in those applications. However, obtained code coverage is lower than the one achieved by the manually written test suites already existing in those services. Research directions on how to further improve such approach are therefore discussed.


title: Note on the Witten index and the dynamical breaking of a supersymmetric gauge theory

abstract: It is known that in order for a supersymmetric gauge theory to be dynamically broken a necessary but not sufficient condition is that the Witten index $(-1)^F=n_b^0-n_f^0$ is zero. In the case the Witten index is zero it is in general hard to distinguish between theories with or without dynamical supersymmetry breaking. In this work we show that for a large class of theories the cancellation of the Witten index by itself signals the formation of a quark condensate and therefore produces dynamical supersymmetry breaking.


title: First measurement of the Hubble constant from a dark standard siren using the Dark Energy Survey galaxies and the LIGO/Virgo binary-black-hole merger GW170814

abstract: We present a multi-messenger measurement of the Hubble constant H_0 using the binary-black-hole merger GW170814 as a standard siren, combined with a photometric redshift catalog from the Dark Energy Survey (DES). The luminosity distance is obtained from the gravitational wave signal detected by the LIGO/Virgo Collaboration (LVC) on 2017 August 14, and the redshift information is provided by the DES Year 3 data. Black-hole mergers such as GW170814 are expected to lack bright electromagnetic emission to uniquely identify their host galaxies and build an object-by-object Hubble diagram. However, they are suitable for a statistical measurement, provided that a galaxy catalog of adequate depth and redshift completion is available. Here we present the first Hubble parameter measurement using a black-hole merger. Our analysis results in $H_0 = 75.2^{+39.5}_{-32.4}~{\rm km~s^{-1}~Mpc^{-1}}$, which is consistent with both SN Ia and CMB measurements of the Hubble constant. The quoted 68% credible region comprises 60% of the uniform prior range [20,140] ${\rm km~s^{-1}~Mpc^{-1}}$, and it depends on the assumed prior range. If we take a broader prior of [10,220] ${\rm km~s^{-1}~Mpc^{-1}}$, we find $H_0 = 78^{+ 96}_{-24}~{\rm km~s^{-1}~Mpc^{-1}}$ ($57\%$ of the prior range). Although a weak constraint on the Hubble constant from a single event is expected using the dark siren method, a multifold increase in the LVC event rate is anticipated in the coming years and combinations of many sirens will lead to improved constraints on $H_0$.


title: Many Independent Objective (MIO) Algorithm for Test Suite Generation

abstract: Automatically generating test suites is intrinsically a multi-objective problem, as any of the testing targets (e.g, statements to execute or mutants to kill) is an objective on its own. Test suite generation has peculiarities that are quite different from other more regular optimisation problems. For example, given an existing test suite, one can add more tests to cover the remaining objectives. One would like the smallest number of small tests to cover as many objectives as possible, but that is a secondary goal compared to covering those targets in the first place. Furthermore, the amount of objectives in software testing can quickly become unmanageable, in the order of (tens/hundreds of) thousands, especially for system testing of industrial size systems. Traditional multi-objective optimisation algorithms can already start to struggle with just four or five objectives to optimize. To overcome these issues, different techniques have been proposed, like for example the Whole Test Suite (WTS) approach and the Many-Objective Sorting Algorithm (MOSA). However, those techniques might not scale well to very large numbers of objectives and limited search budgets (a typical case in system testing). In this paper, we propose a novel algorithm, called Many Independent Objective (MIO) algorithm. This algorithm is designed and tailored based on the specific properties of test suite generation. An empirical study, on a set of artificial and actual software, shows that the MIO algorithm can achieve higher coverage compared to WTS and MOSA, as it can better exploit the peculiarities of test suite generation.


title: Possible triple-charm molecular pentaquarks from $\Xi_{cc}D_1/\Xi_{cc}D_2^*$ interactions

abstract: In this work, we explore a systematic investigation on $S$-wave interactions between a doubly charmed baryon $\Xi_{cc}(3621)$ and a charmed meson in a $T$ doublet $(D_1,\,D_2^*)$. We first analyze the possibility for forming $\Xi_{cc}D_1/\Xi_{cc}D_2^*$ bound states with the heavy quark spin symmetry. Then, we further perform a dynamical study on the $\Xi_{cc}D_1/\Xi_{cc}D_2^*$ interactions within a one-boson-exchange model by considering both the $S$-$D$ wave mixing and coupled channel effect. Finally, our numerical results conform the proposals from the heavy quark spin symmetry analysis: the $\Xi_{cc}D_1$ systems with $I(J^P)=$ $0(1/2^+,\,3/2^+)$ and the $\Xi_{cc}D_2^*$ systems with $I(J^P)=$ $0(3/2^+,\,5/2^+)$ can possibly be loose triple-charm molecular pentaquarks. Meanwhile, we also extend our model to the $\Xi_{cc}\bar{D}_1$ and $\Xi_{cc}\bar D_2^*$ systems, and our results indicate the isoscalars of $\Xi_{cc}\bar{D}_1$ and $\Xi_{cc}\bar{D}_2^*$ can be possible molecular candidates.


title: Notes on Lie symmetry group methods for differential equations

abstract: Fundamentals on Lie group methods and applications to differential equations are surveyed. Many examples are included to elucidate their extensive applicability for analytically solving both ordinary and partial differential equations.


title: Bandwidth Reduction using Importance Weighted Pruning on Ring AllReduce

abstract: It is inevitable to train large deep learning models on a large-scale cluster equipped with accelerators system. Deep gradient compression would highly increase the bandwidth utilization and speed up the training process but hard to implement on ring structure. In this paper, we find that redundant gradient and gradient staleness has negative effect on training. We have observed that in different epoch and different steps, the neural networks focus on updating different layers and different parameters. In order to save more communication bandwidth and preserve the accuracy on ring structure, which break the restrict as the node increase, we propose a new algorithm to measure the importance of gradients on large-scale cluster implementing ring all-reduce based on the size of the ratio of parameter calculation gradient to parameter value. Our importance weighted pruning approach achieved 64X and 58.8X of gradient compression ratio on AlexNet and ResNet50 on ImageNet. Meanwhile, in order to maintain the sparseness of the gradient propagation, we randomly broadcast the index of important gradients on each node. While the remaining nodes are ready for the index gradient and perform all-reduce update. This would speed up the convergence of the model and preserve the training accuracy.


title: A nonlinear parabolic problem with singular terms and nonregular data

abstract: We study existence of nonnegative solutions to a nonlinear parabolic boundary value problem with a general singular lower order term and a nonnegative measure as nonhomogeneous datum, of the form $$ \begin{cases} \displaystyle u_t - \Delta_p u = h(u)f+\mu & \text{in}\ \Omega \times (0,T),\\ u=0 &\text{on}\ \partial\Omega \times (0,T),\\ u=u_0 &\text{in}\ \Omega \times \{0\}, \end{cases} $$ where $\Omega$ is an open bounded subset of $\mathbb{R}^N$ ($N\ge2$), $u_0$ is a nonnegative integrable function, $\Delta_p$ is the $p$-laplace operator, $\mu$ is a nonnegative bounded Radon measure on $\Omega \times (0,T)$ and $f$ is a nonnegative function of $L^1(\Omega \times (0,T))$. The term $h$ is a positive continuous function possibly blowing up at the origin. Furthermore, we show uniqueness of finite energy solutions in presence of a nonincreasing $h$.


title: The dispersion relation of the fast neutrino oscillation wave

abstract: A dense neutrino medium can support flavor oscillation waves which are coherent among different momentum modes of the neutrinos. The dispersion relation (DR) branches of such a wave with complex frequencies and/or wave numbers can lead to the exponential growth of the wave amplitude which in turn will engender a collective flavor transformation in the neutrino medium. In this work we propose that the complex DR branches of the neutrino oscillation wave should be bound by the critical points of the DR. We demonstrate how this theory can be applied to the neutrino medium with an (approximate) axial symmetry about the propagation direction of the neutrino oscillation wave. We also show how the flavor instabilities in this medium can be identified by tracing the critical points of the DR as the electron lepton number distribution of the neutrino medium is changed continuously.


title: A possible way to reconcile long-period precession with vortex pinning in neutron stars

abstract: We propose a possible way to solve the problem of inconsistency between the neutron star long-period precession and superfluid vortex pinning, which is the basis of the most successful theories of pulsar glitches. We assume that the pinning takes place in the region of the neutron star core, which, being magnetically decoupled, can rotate relative to the crust. In the framework of a simple three-component model we show that these two phenomena can coexist in the same pulsar. Some constraints on the formally introduced interaction coefficients following from observation data are formulated.


title: Potential of nonlocally filtered pursuit monostatic TanDEM-X data for coastline detection

abstract: This article investigates the potential of nonlocally filtered pursuit monostatic TanDEM-X data for coastline detection in comparison to conventional TanDEM-X data, i.e. image pairs acquired in repeat-pass or bistatic mode. For this task, an unsupervised coastline detection procedure based on scale-space representations and K-medians clustering as well as morphological image post-processing is proposed. Since this procedure exploits a clear discriminability of "dark" and "bright" appearances of water and land surfaces, respectively, in both SAR amplitude and coherence imagery, TanDEM-X InSAR data acquired in pursuit monostatic mode is expected to provide a promising benefit. In addition, we investigate the benefit introduced by a utilization of a non-local InSAR filter for amplitude denoising and coherence estimation instead of a conventional box-car filter. Experiments carried out on real TanDEM-X pursuit monostatic data confirm our expectations and illustrate the advantage of the employed data configuration over conventional TanDEM-X products for automatic coastline detection.


title: An online supervised learning algorithm based on triple spikes for spiking neural networks

abstract: Using precise times of every spike, spiking supervised learning has more effects on complex spatial-temporal pattern than supervised learning only through neuronal firing rates. The purpose of spiking supervised learning after spatial-temporal encoding is to emit desired spike trains with precise times. Existing algorithms of spiking supervised learning have excellent performances, but mechanisms of them still have some problems, such as the limitation of neuronal types and complex computation. Based on an online regulative mechanism of biological synapses, this paper proposes an online supervised learning algorithm of multiple spike trains for spiking neural networks. The proposed algorithm with a spatial-temporal transformation can make a simple direct regulation of synaptic weights as soon as firing time of an output spike is obtained. Besides, it is also not restricted by types of spiking neuron models. Relationship among desired output, actual output and input spike trains is firstly analyzed and synthesized to simply select a unit of pair-spike for a direct regulation. And then a computational method is constructed based on simple triple spikes using this direct regulation. Compared with other learning algorithms, results of experiments show that proposed algorithm has higher learning accuracy and efficiency.


title: Unsupervised uncertainty estimation using spatiotemporal cues in video saliency detection

abstract: In this paper, we address the problem of quantifying reliability of computational saliency for videos, which can be used to improve saliency-based video processing and enable more reliable performance and risk assessment of such processing. Our approach is twofold. First, we explore spatial correlations in both saliency map and eye-fixation map. Then, we learn spatiotemporal correlations that define a reliable saliency map. We first study spatiotemporal eye-fixation data from a public dataset and investigate a common feature in human visual attention, which dictates correlation in saliency between a pixel and its direct neighbors. Based on the study, we then develop an algorithm that estimates a pixel-wise uncertainty map that reflects our confidence in the associated computational saliency map by relating a pixel's saliency to the saliency of its neighbors. To estimate such uncertainties, we measure the divergence of a pixel, in a saliency map, from its local neighborhood. Additionally, we propose a systematic procedure to evaluate the estimation performance by explicitly computing uncertainty ground truth as a function of a given saliency map and eye fixations of human subjects. In our experiments, we explore multiple definitions of locality and neighborhoods in spatiotemporal video signals. In addition, we examine the relationship between the parameters of our proposed algorithm and the content of the videos. The proposed algorithm is unsupervised, making it more suitable for generalization to most natural videos. Also, it is computationally efficient and flexible for customization to specific video content. Experiments using three publicly available video datasets show that the proposed algorithm outperforms state-of-the-art uncertainty estimation methods with improvement in accuracy up to 63% and offers efficiency and flexibility that make it more useful in practical situations.


title: On Large Values of Weyl Sums

abstract: A special case of the Menshov--Rademacher theorem implies for almost all polynomials $x_1Z+\ldots +x_d Z^{d} \in {\mathbb R}[Z]$ of degree $d$ for the Weyl sums satisfy the upper bound $$ \left| \sum_{n=1}^{N}\exp\left(2\pi i \left(x_1 n+\ldots +x_d n^{d}\right)\right) \right| \leqslant N^{1/2+o(1)}, \qquad N\to \infty. $$ Here we investigate the exceptional sets of coefficients $(x_1, \ldots, x_d)$ with large values of Weyl sums for infinitely many $N$, and show that in terms of the Baire categories and Hausdorff dimension they are quite massive, in particular of positive Hausdorff dimension in any fixed cube inside of $[0,1]^d$. We also use a different technique to give similar results for sums with just one monomial $xn^d$. We apply these results to show that the set of poorly distributed modulo one polynomials is rather massive as well.


title: How Ramsey theory can be used to solve Harary's problem for $K_{2,k}$

abstract: Harary's conjecture $r(C_3,G)\leq 2q+1$ for every isolated-free graph G with $q$ edges was proved independently by Sidorenko and Goddard and Klietman. In this paper instead of $C_3$ we consider $K_{2,k}$ and seek a sharp upper bound for $r(K_{2,k},G)$ over all graphs $G$ with $q$ edges. More specifically if $q\geq 2$, we will show that $r(C_4,G)\leq kq+1$ and that equality holds if $G \cong qK_2$ or $K_3$. Using this we will generalize this result for $r(K_{2,k},G)$ when $k>2$. We will also show that for every graph $G$ with $q \geq 2$ edges and with no isolated vertices, $r(C_4, G) \leq 2p+ q - 2$ where $p=|V(G)|$ and that equality holds if $G \cong K_3$.


title: Search for dark matter produced in association with a single top quark or a top quark pair in proton-proton collisions at $\sqrt{s} =$ 13 TeV

abstract: A search for dark matter produced in association with top quarks in proton-proton collisions at a center-of-mass energy of 13 TeV is presented. The data set used corresponds to an integrated luminosity of 35.9 fb$^{-1}$ recorded with the CMS detector at the LHC. Whereas previous searches for neutral scalar or pseudoscalar mediators considered dark matter production in association with a top quark pair only, this analysis also includes production modes with a single top quark. The results are derived from the combination of multiple selection categories that are defined to target either the single top quark or the top quark pair signature. No significant deviations with respect to the standard model predictions are observed. The results are interpreted in the context of a simplified model in which a scalar or pseudoscalar mediator particle couples to a top quark and subsequently decays into dark matter particles. Scalar and pseudoscalar mediator particles with masses below 290 and 300 GeV, respectively, are excluded at 95% confidence level, assuming a dark matter particle mass of 1 GeV and mediator couplings to fermions and dark matter particles equal to unity.


title: Schauder theorems for Ornstein-Uhlenbeck equations in infinite dimension

abstract: We prove Schauder type estimates for stationary and evolution equations driven by the classical Ornstein-Uhlenbeck operator in a separable Banach space, endowed with a centered Gaussian measure.


title: Relation algebras of Sugihara, Belnap, Meyer, and Church

abstract: Algebras introduced by, or attributed to, Sugihara, Belnap, Meyer, and Church are representable as algebras of binary relations with set-theoretically defined operations. They are definitional reducts or subreducts of proper relation algebras. The representability of Sugihara matrices yields sound and complete set-theoretical semantics for R-mingle.


title: Generating Set for Nonzero Determinant Links Under Skein Relation

abstract: Traditionally introduced in terms of advanced topological constructions, many link invariants may also be defined in much simpler terms given their values on a few initial links and a recursive formula on a skein triangle. Then the crucial question to ask is how many initial values are necessary to completely determine such a link invariant. We focus on a specific class of invariants known as nonzero determinant link invariants, defined only for links which do not evaluate to zero on the link determinant. We restate our objective by considering a set $\mathcal{S}$ of links subject to the condition that if any three nonzero determinant links belong to a skein triangle, any two of these belonging to $\mathcal{S}$ implies that the third also belongs to $\mathcal{S}$. Then we aim to determine a minimal set of initial generators so that $\mathcal{S}$ is the set of all links with nonzero determinant. We show that only the unknot is required as a generator if the skein triangle is unoriented. For oriented skein triangles, we show that the unknot and Hopf link orientations form a set of generators.


title: Spectral Properties of Effective Dynamics from Conditional Expectations

abstract: The reduction of high-dimensional systems to effective models on a smaller set of variables is an essential task in many areas of science. For stochastic dynamics governed by diffusion processes, a general procedure to find effective equations is the conditioning approach. In this paper, we are interested in the spectrum of the generator of the resulting effective dynamics, and how it compares to the spectrum of the full generator. We prove a new relative error bound in terms of the eigenfunction approximation error for reversible systems. We also present numerical examples indicating that if Kramers--Moyal (KM) type approximations are used to compute the spectrum of the reduced generator, it seems largely insensitive to the time window used for the KM estimators. We analyze the implications of these observations for systems driven by underdamped Langevin dynamics, and show how meaningful effective dynamics can be defined in this setting.

categories: math.DS math.PR physics.bio-ph physics.data-an


title: Self-Expressive Subspace Clustering to Recognize Motion Dynamics of a Multi-Joint Coordination for Chronic Ankle Instability

abstract: Ankle sprains and instability are major public health concerns. Up to 70% of individuals do not fully recover from a single ankle sprain and eventually develop chronic ankle instability (CAI). The diagnosis of CAI has been mainly based on self-report rather than objective biomechanical measures. The goal of this study is to quantitatively recognize the motion pattern of a multi-joint coordination using biosensor data from bilateral hip, knee, and ankle joints, and further distinguish between CAI and healthy cohorts. We propose an analytic framework, where a nonlinear subspace clustering method is developed to learn the motion dynamic patterns from an inter-connected network of multiply joints. A support vector machine model is trained with a leave-one-subject-out cross validation to validate the learned measures compared to traditional statistical measures. The computational results showed >70% classification accuracy on average based on the dataset of 48 subjects (25 with CAI and 23 normal controls) examined in our designed experiment. It is found that CAI can be observed from other joints (e.g., hips) significantly, which reflects the fact that there are interactions in the multi-joint coordination system. The developed method presents a potential to support the decisions with motion patterns during diagnosis, treatment, rehabilitation of gait abnormality caused by physical injury (e.g., ankle sprains in this study) or even central nervous system disorders.


title: A copula based approach for electoral quick counts

abstract: An electoral quick count is a statistical procedure whose main objective is to obtain a relatively small but representative sample of all the polling stations in a certain election, and to measure the uncertainty about the final result before the total count of votes. A stratified sampling design is commonly preferred to reduce estimation variability. The present work shows that dependence among strata and among candidates should be taken into consideration for statistical inferences therein, and a copula based model is proposed and applied to Mexico's 2006, 2012, and 2018 presidential elections data.


title: Evolution and Probability

abstract: Life forms exhibit such a degree of exquisite organization that it seems impossible that they could have developed out of a process of trial and error, as intimated by the theory of Darwinian evolution. In this general public paper I discuss how differential reproduction rates work in producing an exceedingly high degree of improbability, and the conceptual tools of the theory of evolution help us to predict, to some degree, the course of evolution -- as it is routinely done, e.g., in the process leading to the yearly influenza vaccines.


title: Gorenstein $T$-spread Veronese algebras

abstract: In this paper we characterize the Gorenstein $t$-spread Veronese algebras.


title: Automated Multiscale 3D Feature Learning for Vessels Segmentation in Thorax CT Images

abstract: We address the vessel segmentation problem by building upon the multiscale feature learning method of Kiros et al., which achieves the current top score in the VESSEL12 MICCAI challenge. Following their idea of feature learning instead of hand-crafted filters, we have extended the method to learn 3D features. The features are learned in an unsupervised manner in a multi-scale scheme using dictionary learning via least angle regression. The 3D feature kernels are further convolved with the input volumes in order to create feature maps. Those maps are used to train a supervised classifier with the annotated voxels. In order to process the 3D data with a large number of filters a parallel implementation has been developed. The algorithm has been applied on the example scans and annotations provided by the VESSEL12 challenge. We have compared our setup with Kiros et al. by running their implementation. Our current results show an improvement in accuracy over the slice wise method from 96.66$\pm$1.10% to 97.24$\pm$0.90%.