title: CARL: Controllable Agent with Reinforcement Learning for Quadruped Locomotion

abstract: Motion synthesis in a dynamic environment has been a long-standing problem for character animation. Methods using motion capture data tend to scale poorly in complex environments because of their larger capturing and labeling requirement. Physics-based controllers are effective in this regard, albeit less controllable. In this paper, we present CARL, a quadruped agent that can be controlled with high-level directives and react naturally to dynamic environments. Starting with an agent that can imitate individual animation clips, we use Generative Adversarial Networks to adapt high-level controls, such as speed and heading, to action distributions that correspond to the original animations. Further fine-tuning through the deep reinforcement learning enables the agent to recover from unseen external perturbations while producing smooth transitions. It then becomes straightforward to create autonomous agents in dynamic environments by adding navigation modules over the entire process. We evaluate our approach by measuring the agent's ability to follow user control and provide a visual analysis of the generated motion to show its effectiveness.


title: Switchable Adhesion of Soft Composites Induced by a Magnetic Field

abstract: Switchable adhesives have the potential to improve the manufacturing and recycling of parts and to enable new modes of motility for soft robots. Here, we demonstrate magnetically-switchable adhesion of a two-phase composite to non-magnetic objects. The composite's continuous phase is a silicone elastomer, and the dispersed phase is a magneto-rheological fluid. The composite is simple to prepare, and to mould to different shapes. When a magnetic field is applied, the magneto-rheological fluid develops a yield stress, which dramatically enhances the composite's adhesive properties. We demonstrate up to a nine-fold increase of the pull-off force of non-magnetic objects in the presence of a 250 mT field.


title: Strong enhancement of magnetic susceptibility induced by spin-nematic fluctuations in an excitonic insulating system with spin-orbit coupling

abstract: Effects of the spin-orbit coupling (SOC) and magnetic field on excitonic insulating (EI) states are investigated. We introduce the two-orbital Hubbard model with the crystalline field splitting, which is a minimal model for discussing the exciton condensation in strongly correlated electron systems, and analyze its effective Hamiltonian in the strong correlation limit by using the mean-field theory. In the absence of the SOC and magnetic field, the ground state changes from the nonmagnetic band-insulating state to the EI state by increasing the Hund coupling. In an applied magnetic field, the magnetic moment appears in the EI state, which is continuously connected to the forced ferromagnetic state. On the other hand, in the presence of the SOC, they are separated by a phase boundary. We find that the magnetic susceptibility is strongly enhanced in the EI phase near the boundary with a small SOC. This peculiar behavior is attributed to the low-energy fluctuation of the spin nematicity inherent in the high-spin local state stabilized by the Hund coupling. The present study not only reveals the impact of the SOC for the EI state but also sheds light on the role of quantum fluctuations of the spin nematicity for the EI state.


title: Finite Z-less integral expressions for $\beta$-functions in the MS4 scheme

abstract: The generalized minimal subtraction scheme for ultraviolet renormalization (Kuznetsov and Tkachov, 1988) is fine-tuned with applications in mind. The resulting $\text{MS}^4$ scheme obviates extraneous regularizations and renders momentum integrands integrable by subtracting troublesome asymptotic terms in a physically correct fashion due to the use of special minimal subtraction operators defined congruously with the physically natural Polchinski cutoffs. A direct derivation of the Callan-Symanzik equations avoids divergent renormalization factors or counterterms, and automatically yields explicit exact finite integral expressions for renormalization group functions.


title: YANG2UML: Bijective Transformation and Simplification of YANG to UML

abstract: Software Defined Networking is currently revolutionizing computer networking by decoupling the network control (control plane) from the forwarding functions (data plane) enabling the network control to become directly programmable and the underlying infrastructure to be abstracted for applications and network services. Next to the well-known OpenFlow protocol, the XML-based NETCONF protocol is also an important means for exchanging configuration information from a management platform and is nowadays even part of OpenFlow. In combination with NETCONF, YANG is the corresponding protocol that defines the associated data structures supporting virtually all network configuration protocols. YANG itself is a semantically rich language, which -- in order to facilitate familiarization with the relevant subject -- is often visualized to involve other experts or developers and to support them by their daily work (writing applications which make use of YANG). In order to support this process, this paper presents an novel approach to optimize and simplify YANG data models to assist further discussions with the management and implementations (especially of interfaces) to reduce complexity. Therefore, we have defined a bidirectional mapping of YANG to UML and developed a tool that renders the created UML diagrams. This combines the benefits to use the formal language YANG with automatically maintained UML diagrams to involve other experts or developers, closing the gap between technically improved data models and their human readability.

categories: cs.SE cs.CL cs.DC cs.NI cs.PL cs.SY eess.SY


title: Deep Learning based Person Re-identification

abstract: Automated person re-identification in a multi-camera surveillance setup is very important for effective tracking and monitoring crowd movement. In the recent years, few deep learning based re-identification approaches have been developed which are quite accurate but time-intensive, and hence not very suitable for practical purposes. In this paper, we propose an efficient hierarchical re-identification approach in which color histogram based comparison is first employed to find the closest matches in the gallery set, and next deep feature based comparison is carried out using Siamese network. Reduction in search space after the first level of matching helps in achieving a fast response time as well as improving the accuracy of prediction by the Siamese network by eliminating vastly dissimilar elements. A silhouette part-based feature extraction scheme is adopted in each level of hierarchy to preserve the relative locations of the different body structures and make the appearance descriptors more discriminating in nature. The proposed approach has been evaluated on five public data sets and also a new data set captured by our team in our laboratory. Results reveal that it outperforms most state-of-the-art approaches in terms of overall accuracy.


title: Expressing Accountability Patterns using Structural Causal Models

abstract: While the exact definition and implementation of accountability depend on the specific context, at its core accountability describes a mechanism that will make decisions transparent and often provides means to sanction "bad" decisions. As such, accountability is specifically relevant for Cyber-Physical Systems, such as robots or drones, that embed themselves into a human society, take decisions and might cause lasting harm. Without a notion of accountability, such systems could behave with impunity and would not fit into society. Despite its relevance, there is currently no agreement on its meaning and, more importantly, no way to express accountability properties for these systems. As a solution we propose to express the accountability properties of systems using Structural Causal Models. They can be represented as human-readable graphical models while also offering mathematical tools to analyze and reason over them. Our central contribution is to show how Structural Causal Models can be used to express and analyze the accountability properties of systems and that this approach allows us to identify accountability patterns. These accountability patterns can be catalogued and used to improve systems and their architectures.


title: Cotatron: Transcription-Guided Speech Encoder for Any-to-Many Voice Conversion without Parallel Data

abstract: We propose Cotatron, a transcription-guided speech encoder for speaker-independent linguistic representation. Cotatron is based on the multispeaker TTS architecture and can be trained with conventional TTS datasets. We train a voice conversion system to reconstruct speech with Cotatron features, which is similar to the previous methods based on Phonetic Posteriorgram (PPG). By training and evaluating our system with 108 speakers from the VCTK dataset, we outperform the previous method in terms of both naturalness and speaker similarity. Our system can also convert speech from speakers that are unseen during training, and utilize ASR to automate the transcription with minimal reduction of the performance. Audio samples are available at https://mindslab-ai.github.io/cotatron, and the code with a pre-trained model will be made available soon.


title: Fourier transformation and stability of differential equation on $L^1(\Bbb{R})$

abstract: In the present paper by the Fourier transform we show that every linear differential equations of $n$-th order has a solution in $L^1(\Bbb{R})$ which is infinitely differentiable in $\Bbb{R} \setminus \{0\}$. Moreover the Hyers-Ulam stability of such equations on $L^1(\Bbb{R})$ is investigated.


title: Knowledge Enhanced Neural Fashion Trend Forecasting

abstract: Fashion trend forecasting is a crucial task for both academia and industry. Although some efforts have been devoted to tackling this challenging task, they only studied limited fashion elements with highly seasonal or simple patterns, which could hardly reveal the real fashion trends. Towards insightful fashion trend forecasting, this work focuses on investigating fine-grained fashion element trends for specific user groups. We first contribute a large-scale fashion trend dataset (FIT) collected from Instagram with extracted time series fashion element records and user information. Further-more, to effectively model the time series data of fashion elements with rather complex patterns, we propose a Knowledge EnhancedRecurrent Network model (KERN) which takes advantage of the capability of deep recurrent neural networks in modeling time-series data. Moreover, it leverages internal and external knowledge in fashion domain that affects the time-series patterns of fashion element trends. Such incorporation of domain knowledge further enhances the deep learning model in capturing the patterns of specific fashion elements and predicting the future trends. Extensive experiments demonstrate that the proposed KERN model can effectively capture the complicated patterns of objective fashion elements, therefore making preferable fashion trend forecast.


title: Augmented Valuation and Minimal Pair

abstract: Let $(K, \nu)$ be a valued field, the notions of \emph{augmented valuation}, of \emph{limit augmented valuation} and of \emph{admissible family} of valuations enable to give a description of any valuation $\mu$ of $K [x]$ extending $\nu$. In the case where the field $K$ is algebraically closed, this description is particularly simple and we can reduce it to the notions of \emph{minimal pair} and \emph{pseudo-convergent family}. Let $(K, \nu )$ be a henselian valued field and $\bar\nu$ the unique extension of $\nu$ to the algebraic closure $\bar K$ of $K$ and let $\mu$ be a valuation of $ K [x]$ extending $\nu$, we study the extensions $\bar\mu$ from $\mu$ to $\bar K [x]$ and we give a description of the valuations $\bar\mu_i$ of $\bar K [x]$ which are the extensions of the valuations $\mu_i$ belonging to the admissible family associated with $\mu$.


title: Adaptive Dialog Policy Learning with Hindsight and User Modeling

abstract: Reinforcement learning methods have been used to compute dialog policies from language-based interaction experiences. Efficiency is of particular importance in dialog policy learning, because of the considerable cost of interacting with people, and the very poor user experience from low-quality conversations. Aiming at improving the efficiency of dialog policy learning, we develop algorithm LHUA (Learning with Hindsight, User modeling, and Adaptation) that, for the first time, enables dialog agents to adaptively learn with hindsight from both simulated and real users. Simulation and hindsight provide the dialog agent with more experience and more (positive) reinforcements respectively. Experimental results suggest that, in success rate and policy quality, LHUA outperforms competitive baselines from the literature, including its no-simulation, no-adaptation, and no-hindsight counterparts.


title: Reducing Communication in Graph Neural Network Training

abstract: Graph Neural Networks (GNNs) are powerful and flexible neural networks that use the naturally sparse connectivity information of the data. GNNs represent this connectivity as sparse matrices, which have lower arithmetic intensity and thus higher communication costs compared to dense matrices, making GNNs harder to scale to high concurrencies than convolutional or fully-connected neural networks. We introduce a family of parallel algorithms for training GNNs and show that they can asymptotically reduce communication compared to previous parallel GNN training methods. We implement these algorithms, which are based on 1D, 1.5D, 2D, and 3D sparse-dense matrix multiplication, using torch.distributed on GPU-equipped clusters. Our algorithms optimize communication across the full GNN training pipeline. We train GNNs on over a hundred GPUs on multiple datasets, including a protein network with over a billion edges.


title: Classical Hydrodynamics for Analogue Spacetimes: Open Channel Flows and Thin Films

abstract: Here we review the way to build analogue spacetimes in open channel flows by looking at the flow phase diagram and the corresponding analogue experiments performed during the last years in the associated flow regimes. Thin films like the circular jump with different dispersive properties are discussed with the introduction of a brand new system for the next generation of analogue gravity experiments: flowing soap films with their capillary/elastic waves.


title: Investigation of the early stage of reactive interdiffusion in the Cu-Al system by in-situ transmission electron microscopy

abstract: The early stage of the reactive interdiffusion in the Cu-Al system was investigated at 350 {\textdegree}C and 300 {\textdegree}C thanks to in-situ transmission electron microscopy. A special care was given to find conditions where the electron beam and the sample free surface do not affect significantly the reaction. A special emphasis was then given on the influence of grain boundaries that are fast diffusion paths, and on nanoscaled particles that may interact with the transformation front. It was found that there is a transient state followed by a steady state where the mean growth rates of intermetallic compounds follow a parabolic law indicating that the kinetics is diffusion controlled. Thanks to the in-situ observations at the nanoscale, it was also possible to track the local velocity of interfaces between the different phases. Strong fluctuations were exhibited within length scales smaller than 100 nm and they are partly attributed to interface pinning by nanoscaled particles. Last, considering thermodynamic and kinetic arguments, it is shown that it is mainly an indirect effect induced by a local change of solute fluxes and of concentration gradients.


title: Discovery of a Pulsar Wind Nebula around B0950+08 with the ELWA

abstract: With the Expanded Long Wavelength Array (ELWA) and pulsar binning techniques, we searched for off-pulse emission from PSR B0950+08 at 76 MHz. Previous studies suggest that off-pulse emission can be due to pulsar wind nebulae (PWNe) in younger pulsars. Other studies, such as that done by Basu et al. (2012), propose that in older pulsars this emission extends to some radius that is on the order of the light cylinder radius, and is magnetospheric in origin. Through imaging analysis we conclude that this older pulsar with a spin-down age of 17 Myr has a surrounding PWN, which is unexpected since as a pulsar ages its PWN spectrum is thought to shift from being synchrotron to inverse-Compton-scattering dominated. At 76 MHz, the average flux density of the off-pulse emission is 0.59 $\pm$ 0.16 Jy. The off-pulse emission from B0950+08 is $\sim$ 110 $\pm$ 17 arcseconds (0.14 $\pm$ 0.02 pc) in size, extending well-beyond the light cylinder diameter and ruling out a magnetospheric origin. Using data from our observation and the surveys VLSSr, TGSS, NVSS, FIRST, and VLASS, we have found that the spectral index for B0950+08 is about -1.36 $\pm$ 0.20, while the PWN's spectral index is steeper than -1.85 $\pm$ 0.45.


title: Data-Driven Distributed Intersection Management for Connected and Automated Vehicles

abstract: This work addresses the problem of autonomous traffic management at an isolated intersection for connected and automated vehicles. We decompose the trajectory of each vehicle into two phases: the provisional phase and the coordinated phase. A vehicle, upon entering the region of interest, initially operates in the provisional phase, during which the vehicle optimizes its trajectory but is constrained from entering the intersection. Periodically, all the vehicles in their provisional phase switch to their coordinated phase, which is obtained by coordinated optimization of the sequence of the vehicles' intersection usage as well as their trajectories. For the coordinated phase, we propose a data driven solution, in which the intersection usage sequence is obtained through a data-driven online classification and the trajectories are computed sequentially. This approach also allows for the incorporation of macro information such as traffic arrival rates into the solution. The overall algorithm is provably safe and can be implemented in a distributed manner. Finally, we compare the proposed algorithm against traditional methods of intersection management and against some existing literature through simulations. Through simulations, we also demonstrate that the computation time per vehicle remains constant for the proposed algorithm over a wide range of traffic arrival rates.


title: Understanding cooperative loading in carbon nanotube fibres through in-situ structural studies during stretching

abstract: Carbon nanotube (CNT) fibres are firmly established as a new high-performance fibre, but their tensile mechanical properties remain a relatively small fraction of those of the constituent CNTs. Clear structure-property relations and accurate mechanical models are pressing requirements to bridge this gap. In this work we analyse the structural evolution and molecular stress transfer in CNT fibres by performing in-situ synchrotron wide- and small-angle X-ray scattering and Raman spectroscopy during tensile deformation. The results show that CNT fibres can be accurately described as network of bundles that slide progressively according to the initial orientation distribution function of the material following a Weibull distribution. This model decouples the effects of CNT alignment and degree of cooperative loading, as demonstrated for fibres produced at different draw ratios. It also helps explain the unusually high toughness (fracture energy) of CNT fibres produced by the direct spinning method, a key property for impact resistance in structural materials, for example.


title: Search for nonlinear memory from subsolar mass compact binary mergers

abstract: We present the first results of the search for nonlinear memory from subsolar mass binary black hole (BBH) mergers during the second observing run (O2) of the LIGO and Virgo detectors. The oscillatory chirp signal from the inspiral and merger of low mass BBHs ($M_\mathrm{Tot} \leq 0.4 M_\odot$) are at very high frequencies and fall outside the sensitivity band of the current ground-based detectors. However, the non-oscillatory memory signal during the merger saturates towards the lower frequencies and can be detected for those proposed BBHs. We show in this work that the morphology of the memory signal depends minimally upon the source parameters of the binary, thus only the overall amplitude of the signal changes and hence the result can be interpolated for extremely low mass BBH mergers. We did not find any signal which can be interpreted as a memory signal and we place upper limits on the rate of BBH mergers with $M_\mathrm{Tot} \leq 0.4 M_\odot$ for the first time.


title: Correlation between relativistic reflection fraction and photon index in NuSTAR sample of Seyfert 1 AGN

abstract: The primary X-ray emission from AGN, described by a power law, irradiates the accretion disc producing reflection features in the spectrum. The reflection features arising from the inner regions of the disc can be significantly modified by the relativistic effects near the black hole. We investigate the relationship between the relativistic reflection fraction $R_f$, defined as the ratio of the coronal intensity that illuminates the accretion disc to the coronal intensity observed directly, and the hard X-ray photon index $\Gamma$ of a NuSTAR sample of Seyfert 1 galaxies. The X-ray spectra are modelled using relxill code which helps to directly obtain the reflection fraction of a relativistically smeared reflection component. The parameter $R_f$ depends on the amount of Comptonised X-ray emission intercepted by the inner accretion disc. We found a positive correlation between $\Gamma$ and $R_f$ in our sample. Seed photons from a larger area of an accretion disc entering the corona will result in increased cooling of the coronal plasma, giving rise to steeper X-ray spectrum. The corona irradiating the larger area of the disc will result in higher reflection fraction. Thus, the observed $R_f-\Gamma$ relation is most likely related to the variations in the disc-corona geometry of AGN.


title: Linear Independence of Generalized Poincar\'e Series for Anti-de Sitter 3-Manifolds

abstract: Let $\Gamma$ be a discrete group acting properly discontinuously and isometrically on the three-dimensional anti-de Sitter space $\mathrm{AdS}^{3}$, and $\square$ the Laplacian which is a second-order hyperbolic differential operator. We study linear independence of a family of generalized Poincaré series introduced by Kassel-Kobayashi [Adv. Math. 287 (2016), 123-236, arXiv:1209.4075], which are defined by the $\Gamma$-average of certain eigenfunctions on $\mathrm{AdS}^{3}$. We prove that the multiplicities of $L^{2}$-eigenvalues of the hyperbolic Laplacian $\square$ on $\Gamma\backslash\mathrm{AdS}^{3}$ are unbounded when $\Gamma$ is finitely generated. Moreover, we prove that the multiplicities of stable $L^{2}$-eigenvalues for compact anti-de Sitter 3-manifolds are unbounded.


title: Origin of the Significant Impact of Ta on the Creep Resistance of FeCrNi Alloys

abstract: Heat resistant FeCrNi alloys are widely used in the petrochemical industry because they exhibit a unique combination of creep and oxidation resistance at temperatures exceeding 900$^\circ$C. Their creep properties are often optimized by micro-additions of carbide forming elements. In the present work, the influence of Ta micro-additions has been experimentally investigated both on as-cast and aged microstructures to understand the origin of the significant impact of this element on the creep resistance. Calculations with thermocal software were also carried out to support experimental data. It is shown that a small addition of Ta is beneficial as it increases the volume fraction of stable MC carbides. We demonstrate also that additions of Ta may have a dramatic effect on the thermal stability of microstructures. This is attributed to a smaller equilibrium volume fraction of M23C6 and more pronounced heterogeneous precipitation at MC/matrix interfaces. The influence on the creep properties in then discussed.


title: Interval type-2 fuzzy logic system based similarity evaluation for image steganography

abstract: Similarity measure, also called information measure, is a concept used to distinguish different objects. It has been studied from different contexts by employing mathematical, psychological, and fuzzy approaches. Image steganography is the art of hiding secret data into an image in such a way that it cannot be detected by an intruder. In image steganography, hiding secret data in the plain or non-edge regions of the image is significant due to the high similarity and redundancy of the pixels in their neighborhood. However, the similarity measure of the neighboring pixels, i.e., their proximity in color space, is perceptual rather than mathematical. This paper proposes an interval type 2 fuzzy logic system (IT2 FLS) to determine the similarity between the neighboring pixels by involving an instinctive human perception through a rule-based approach. The pixels of the image having high similarity values, calculated using the proposed IT2 FLS similarity measure, are selected for embedding via the least significant bit (LSB) method. We term the proposed procedure of steganography as IT2 FLS LSB method. Moreover, we have developed two more methods, namely, type 1 fuzzy logic system based least significant bits (T1FLS LSB) and Euclidean distance based similarity measures for least significant bit (SM LSB) steganographic methods. Experimental simulations were conducted for a collection of images and quality index metrics, such as PSNR, UQI, and SSIM are used. All the three steganographic methods are applied on datasets and the quality metrics are calculated. The obtained stego images and results are shown and thoroughly compared to determine the efficacy of the IT2 FLS LSB method. Finally, we have done a comparative analysis of the proposed approach with the existing well-known steganographic methods to show the effectiveness of our proposed steganographic method.


title: Quantum Hall effects of exciton condensate in topological flat bands

abstract: Tunable exciton condensates in two dimensional electron gas systems under strong magnetic field exhibits anomalous Hall transport owing to mutual Coulomb coupling, and have attracted a lot of research activity. Here, we explore another framework using topological flat band models in the absence of Landau levels, for realizing the many-body exciton phases of two-component fermions under strong intercomponent interactions. By developing new diagnosis based on the state-of-the-art density-matrix renormalization group and exact diagonalization, we show the theoretical discovery of the emergence of Halperin (111) quantum Hall effect at a total filling factor $\nu=1$ in the lowest Chern band under strong Hubbard repulsion, which is classified by the unique ground state with bulk charge insulation and spin superfluidity, The topological nature is further characterized by one edge branch of chiral propagating Luttinger modes with level counting $1,1,2,3,5,7$ in consistent with the conformal field theory description. Moreover, with nearest-neighbor repulsions, we propose the Halperin (333) fractional quantum Hall effect at a total filling factor $\nu=1/3$ in the lowest Chern band.


title: Nakdan: Professional Hebrew Diacritizer

abstract: We present a system for automatic diacritization of Hebrew text. The system combines modern neural models with carefully curated declarative linguistic knowledge and comprehensive manually constructed tables and dictionaries. Besides providing state of the art diacritization accuracy, the system also supports an interface for manual editing and correction of the automatic output, and has several features which make it particularly useful for preparation of scientific editions of Hebrew texts. The system supports Modern Hebrew, Rabbinic Hebrew and Poetic Hebrew. The system is freely accessible for all use at http://nakdanpro.dicta.org.il.


title: Intragranular nucleation of tetrahedral precipitates and discontinuous precipitation in Cu-5wt%Ag

abstract: Both continuous and discontinuous precipitation is known to occur in CuAg alloys. The precipitation of Ag-rich phase has been experimentally investigated by atom probe tomography and transmission electron microscopy after ageing treatment of Cu-5%wtAg at 440$^\circ$C during 30'. Both continuously and discontinuously formed precipitates have been observed. The precipitates located inside the grains exhibit two different faceted shapes: tetrahedral and platelet-shaped precipitates. Dislocations accommodating the high misfit at the interface between the two phases have also been evidenced. Based on these experimental observations, we examine the thermodynamic effect of these dislocations on the nucleation barrier and show that the peculiar shapes are due to the interfacial anisotropy. The appropriate number of misfit dislocations relaxes the elastic stress and lead to energetically favorable precipitates. However, due to the large misfit between the parent and precipitate phases, discontinuous precipitation that is often reported for CuAg alloys can be a lower energetic path to transform the supersaturated solid solution. We suggest that the presence of vacancy clusters may assist intragranular nucleation and decrease


title: Boosting Cloud Data Analytics using Multi-Objective Optimization

abstract: Data analytics in the cloud has become an integral part of enterprise businesses. Big data analytics systems, however, still lack the ability to take user performance goals and budgetary constraints for a task, collectively referred to as task objectives, and automatically configure an analytic job to achieve these objectives. This paper presents a data analytics optimizer that can automatically determine a cluster configuration with a suitable number of cores as well as other system parameters that best meet the task objectives. At a core of our work is a principled multi-objective optimization (MOO) approach that computes a Pareto optimal set of job configurations to reveal tradeoffs between different user objectives, recommends a new job configuration that best explores such tradeoffs, and employs novel optimizations to enable such recommendations within a few seconds. We present efficient incremental algorithms based on the notion of a Progressive Frontier for realizing our MOO approach and implement them into a Spark-based prototype. Detailed experiments using benchmark workloads show that our MOO techniques provide a 2-50x speedup over existing MOO methods, while offering good coverage of the Pareto frontier. When compared to Ottertune, a state-of-the-art performance tuning system, our approach recommends configurations that yield 26\%-49\% reduction of running time of the TPCx-BB benchmark while adapting to different application preferences on multiple objectives.


title: Encoding in the Dark Grand Challenge: An Overview

abstract: A big part of the video content we consume from video providers consists of genres featuring low-light aesthetics. Low light sequences have special characteristics, such as spatio-temporal varying acquisition noise and light flickering, that make the encoding process challenging. To deal with the spatio-temporal incoherent noise, higher bitrates are used to achieve high objective quality. Additionally, the quality assessment metrics and methods have not been designed, trained or tested for this type of content. This has inspired us to trigger research in that area and propose a Grand Challenge on encoding low-light video sequences. In this paper, we present an overview of the proposed challenge, and test state-of-the-art methods that will be part of the benchmark methods at the stage of the participants' deliverable assessment. From this exploration, our results show that VVC already achieves a high performance compared to simply denoising the video source prior to encoding. Moreover, the quality of the video streams can be further improved by employing a post-processing image enhancement method.


title: On the incomparability of systems of sets of lengths

abstract: Let $H$ be a Krull monoid with finite class group $G$ such that every class contains a prime divisor. We consider the system $\mathcal L (H)$ of all sets of lengths of $H$ and study when $\mathcal L (H)$ contains or is contained in a system $\mathcal L (H')$ of a Krull monoid $H'$ with finite class group $G'$, prime divisors in all classes and Davenport constant $\mathsf D (G')=\mathsf D (G)$. Among others, we show that if $G$ is either cyclic of order $m \ge 7$ or an elementary $2$-group of rank $m-1 \ge 6$, and $G'$ is any group which is non-isomorphic to $G$ but with Davenport constant $\mathsf D (G')=\mathsf D (G)$, then the systems $\mathcal L (H)$ and $\mathcal L (H')$ are incomparable.


title: Self-consistent 3D radiative MHD simulations of coronal rain formation and evolution

abstract: Coronal rain consists of cool and dense plasma condensations formed in coronal loops as a result of thermal instability. Previous numerical simulations of thermal instability and coronal rain formation have relied on artificially adding a coronal heating term to the energy equation. To reproduce large-scale characteristics of the corona, using more realistic coronal heating prescription is necessary. We analyse coronal rain formation and evolution in a 3-dimensional radiative magnetohydrodynamic simulation spanning from convection zone to corona which is self-consistently heated by magnetic field braiding as a result of convective motions. We investigate the spatial and temporal evolution of energy dissipation along coronal loops which become thermally unstable. Ohmic dissipation in the model leads to the heating events capable of inducing sufficient chromospheric evaporation into the loop to trigger thermal instability and condensation formation. The cooling of the thermally unstable plasma occurs on timescales comparable to the duration of the individual impulsive heating events. The impulsive heating has sufficient duration to trigger thermal instability in the loop but does not last long enough to lead to coronal rain limit cycles. We show that condensations can either survive and fall into the chromosphere or be destroyed by strong bursts of Joule heating associated with a magnetic reconnection events. In addition, we find that condensations can also form along open magnetic field lines.


title: A Review of Computer Vision Methods in Network Security

abstract: Network security has become an area of significant importance more than ever as highlighted by the eye-opening numbers of data breaches, attacks on critical infrastructure, and malware/ransomware/cryptojacker attacks that are reported almost every day. Increasingly, we are relying on networked infrastructure and with the advent of IoT, billions of devices will be connected to the internet, providing attackers with more opportunities to exploit. Traditional machine learning methods have been frequently used in the context of network security. However, such methods are more based on statistical features extracted from sources such as binaries, emails, and packet flows. On the other hand, recent years witnessed a phenomenal growth in computer vision mainly driven by the advances in the area of convolutional neural networks. At a glance, it is not trivial to see how computer vision methods are related to network security. Nonetheless, there is a significant amount of work that highlighted how methods from computer vision can be applied in network security for detecting attacks or building security solutions. In this paper, we provide a comprehensive survey of such work under three topics; i) phishing attempt detection, ii) malware detection, and iii) traffic anomaly detection. Next, we review a set of such commercial products for which public information is available and explore how computer vision methods are effectively used in those products. Finally, we discuss existing research gaps and future research directions, especially focusing on how network security research community and the industry can leverage the exponential growth of computer vision methods to build much secure networked systems.


title: Riemann-Hilbert approach and N-soliton formula for the N-component Fokas-Lenells equations

abstract: In this work, the generalized $N$-component Fokas-Lenells(FL) equations, which have been studied by Guo and Ling (2012 J. Math. Phys. 53 (7) 073506) for $N=2$, are first investigated via Riemann-Hilbert(RH) approach. The main purpose of this is to study the soliton solutions of the coupled Fokas-Lenells(FL) equations for any positive integer $N$, which have more complex linear relationship than the analogues reported before. We first analyze the spectral analysis of the Lax pair associated with a $(N+1)\times (N+1)$ matrix spectral problem for the $N$-component FL equations. Then, a kind of RH problem is successfully formulated. By introducing the special conditions of irregularity and reflectionless case, the $N$-soliton solution formula of the equations are derived through solving the corresponding RH problem. Furthermore, take $N=2,3$ and $4$ for examples, the localized structures and dynamic propagation behavior of their soliton solutions and their interactions are discussed by some graphical analysis.


title: Specification and Automated Analysis of Inter-Parameter Dependencies in Web APIs

abstract: Web services often impose inter-parameter dependencies that restrict the way in which two or more input parameters can be combined to form valid calls to the service. Unfortunately, current specification languages for web services like the OpenAPI Specification (OAS) provide no support for the formal description of such dependencies, which makes it hardly possible to automatically discover and interact with services without human intervention. In this article, we present an approach for the specification and automated analysis of inter-parameter dependencies in web APIs. We first present a domain-specific language, called Inter-parameter Dependency Language (IDL), for the specification of dependencies among input parameters in web services. Then, we propose a mapping to translate an IDL document into a constraint satisfaction problem (CSP), enabling the automated analysis of IDL specifications using standard CSP-based reasoning operations. Specifically, we present a catalogue of nine analysis operations on IDL documents allowing to compute, for example, whether a given request satisfies all the dependencies of the service. Finally, we present a tool suite including an editor, a parser, an OAS extension, a constraint programming-aided library, and a test suite supporting IDL specifications and their analyses. Together, these contributions pave the way for a new range of specification-driven applications in areas such as code generation and testing.


title: Probing dense QCD matter in the laboratory: The CBM experiment at FAIR

abstract: The Facility for Antiproton and Ion Research (FAIR) in Darmstadt will provide unique research opportunities for the investigation of fundamental open questions related to nuclear physics and astrophysics, including the exploration of QCD matter under extreme conditions, which governs the structure and dynamics of cosmic objects and phenomena like neutron stars, supernova explosions, and neutron star mergers. The physics program of the Compressed Baryonic Matter (CBM) experiment is devoted to the production and investigation of dense nuclear matter, with a focus on the high-density equation-of-state (EOS), and signatures for new phases of dense QCD matter. According to the present schedule, the CBM experiment will receive the first beams from the FAIR accelerators in 2025. This article reviews promising observables, outlines the CBM detector system, and presents results of physics performance studies.


title: Database Traffic Interception for Graybox Detection of Stored and Context-Sensitive XSS

abstract: XSS is a security vulnerability that permits injecting malicious code into the client side of a web application. In the simplest situations, XSS vulnerabilities arise when a web application includes the user input in the web output without due sanitization. Such simple XSS vulnerabilities can be detected fairly reliably with blackbox scanners, which inject malicious payload into sensitive parts of HTTP requests and look for the reflected values in the web output. Contemporary blackbox scanners are not effective against stored XSS vulnerabilities, where the malicious payload in an HTTP response originates from the database storage of the web application, rather than from the associated HTTP request. Similarly, many blackbox scanners do not systematically handle context-sensitive XSS vulnerabilities, where the user input is included in the web output after a transformation that prevents the scanner from recognizing the original value, but does not sanitize the value sufficiently. Among the combination of two basic data sources (stored vs reflected) and two basic vulnerability patterns (context sensitive vs not so), only one is therefore tested systematically by state-of-the-art blackbox scanners. Our work focuses on systematic coverage of the three remaining combinations. We present a graybox mechanism that extends a general purpose database to cooperate with our XSS scanner, reporting and injecting the test inputs at the boundary between the database and the web application. Furthermore, we design a mechanism for identifying the injected inputs in the web output even after encoding by the web application, and check whether the encoding sanitizes the injected inputs correctly in the respective browser context. We evaluate our approach on eight mature and technologically diverse web applications, discovering previously unknown and exploitable XSS flaws in each of those applications.


title: Importance of suppression and mitigation measures in managing COVID-19 outbreaks

abstract: I employ a simple mathematical model of an epidemic process to evaluate how four basic quantities: the reproduction number (R), the numbers of sensitive (S) and infectious individuals(I), and total community size (N) affect strategies to control COVID-19. Numerical simulations show that strict suppression measures at the beginning of an epidemic can create low infectious numbers, which thereafter can be managed by mitigation measures over longer periods to flatten the epidemic curve. The stronger the suppression measure, the faster it achieves the low numbers of infections that are conducive to subsequent management. We discuss the predictions of this analysis and how it fits into longer-term sequences of measures, including using the herd immunity concept to leverage acquired immunity.


title: Global Distribution of Google Scholar Citations: A Size-independent Institution-based Analysis

abstract: Most currently available schemes for performance based ranking of Universities or Research organizations, such as, Quacarelli Symonds (QS), Times Higher Education (THE), Shanghai University based All Research of World Universities (ARWU) use a variety of criteria that include productivity, citations, awards, reputation, etc., while Leiden and Scimago use only bibliometric indicators. The research performance evaluation in the aforesaid cases is based on bibliometric data from Web of Science or Scopus, which are commercially available priced databases. The coverage includes peer reviewed journals and conference proceedings. Google Scholar (GS) on the other hand, provides a free and open alternative to obtaining citations of papers available on the net, (though it is not clear exactly which journals are covered.) Citations are collected automatically from the net and also added to self created individual author profiles under Google Scholar Citations (GSC). This data was used by Webometrics Lab, Spain to create a ranked list of 4000+ institutions in 2016, based on citations from only the top 10 individual GSC profiles in each organization. (GSC excludes the top paper for reasons explained in the text; the simple selection procedure makes the ranked list size-independent as claimed by the Cybermetrics Lab). Using this data (Transparent Ranking TR, 2016), we find the regional and country wise distribution of GS-TR Citations. The size independent ranked list is subdivided into deciles of 400 institutions each and the number of institutions and citations of each country obtained for each decile. We test for correlation between institutional ranks between GS TR and the other ranking schemes for the top 20 institutions.


title: Revised dynamics of the Belousov-Zhabotinsky reaction model

abstract: The main aim of this paper is to detect dynamical properties of the Gy\"orgyi-Field model of the Belousov-Zhabotinsky chemical reaction. The corresponding three-variable model given as a set of nonlinear ordinary differential equations depends on one parameter, the flow rate. As certain values of this parameter can give rise to chaos, the analysis was performed in order to identify different dynamics regimes. Dynamical properties were qualified and quantified using classical and also new techniques. Namely, phase portraits, bifurcation diagrams, the Fourier spectra analysis, the 0-1 test for chaos, and approximate entropy. The correlation between approximate entropy and the 0-1 test for chaos was observed and described in detail. Moreover, the three-stage system of nested subintervals of flow rates, for which in every level the 0-1 test for chaos and approximate entropy was computed, is showing the same pattern. The study leads to an open problem whether the set of flow rate parameters has Cantor like structure.


title: Asymptotics of PDE in random environment by paracontrolled calculus

abstract: We apply the paracontrolled calculus to study the asymptotic behavior of a certain quasilinear PDE with smeared mild noise, which originally appears as the space-time scaling limit of a particle system in random environment on one dimensional discrete lattice. We establish the convergence result and show a local in time well-posedness of the limit stochastic PDE with spatial white noise. It turns out that our limit stochastic PDE does not require any renormalization. We also show a comparison theorem for the limit equation.


title: The effect of Joule heating on the terahertz radiation in the superconductor media

abstract: Moving vortex lattice in type-II superconductors can result in the radiation of electromagnetic waves in the range of terahertz frequency. The vortex flow dynamics in superconductors follow the London equation. In this paper, the effects of the superconductor coherence length and the London penetration depth on the radiated power is investigated by solving the London equation in the presence of vortices. The results show that by decreasing the coherence length, the radiation power will significantly increase. Also, it is possible to obtain more radiated power with a sharp peak by increasing the penetration depth. Further investigation of the effect of Joule heating reveals that radiation power is almost independent of temperature when we are far from critical temperature. But on the other hand, near the critical temperature, the radiation power is strongly dependent on the temperature variation. Also, by increasing the bias current, the radiation power will augment, and the frequency of radiated peaks will change accordingly.


title: Bitvector-aware Query Optimization for Decision Support Queries (extended version)

abstract: Bitvector filtering is an important query processing technique that can significantly reduce the cost of execution, especially for complex decision support queries with multiple joins. Despite its wide application, however, its implication to query optimization is not well understood. In this work, we study how bitvector filters impact query optimization. We show that incorporating bitvector filters into query optimization straightforwardly can increase the plan space complexity by an exponential factor in the number of relations in the query. We analyze the plans with bitvector filters for star and snowflake queries in the plan space of right deep trees without cross products. Surprisingly, with some simplifying assumptions, we prove that, the plan of the minimal cost with bitvector filters can be found from a linear number of plans in the number of relations in the query. This greatly reduces the plan space complexity for such queries from exponential to linear. Motivated by our analysis, we propose an algorithm that accounts for the impact of bitvector filters in query optimization. Our algorithm optimizes the join order for an arbitrary decision support query by choosing from a linear number of candidate plans in the number of relations in the query. We implement our algorithm in Microsoft SQL Server as a transformation rule. Our evaluation on both industry standard benchmarks and customer workload shows that, compared with the original Microsoft SQL Server, our technique reduces the total CPU execution time by 22%-64% for the workloads, with up to two orders of magnitude reduction in CPU execution time for individual queries.


title: Segment Aggregation for short utterances speaker verification using raw waveforms

abstract: Most studies on speaker verification systems focus on long-duration utterances, which are composed of sufficient phonetic information. However, the performances of these systems are known to degrade when short-duration utterances are inputted due to the lack of phonetic information as compared to the long utterances. In this paper, we propose a method that compensates for the performance degradation of speaker verification for short utterances, referred to as "segment aggregation". The proposed method adopts an ensemble-based design to improve the stability and accuracy of speaker verification systems. The proposed method segments an input utterance into several short utterances and then aggregates the segment embeddings extracted from the segmented inputs to compose a speaker embedding. Then, this method simultaneously trains the segment embeddings and the aggregated speaker embedding. In addition, we also modified the teacher-student learning method for the proposed method. Experimental results on different input duration using the VoxCeleb1 test set demonstrate that the proposed technique improves speaker verification performance by about 45.37% relatively compared to the baseline system with 1-second test utterance condition.


title: Heavy flavor quenching and flow: the roles of initial condition, pre-equilibrium evolution and in-medium interaction

abstract: Within an advanced Langevin-hydrodynamics framework coupled to a hybrid fragmentation-coalescence hadronization model, we study heavy flavor quenching and flow in relativistic heavy-ion collisions. We investigate how the initial heavy quark spectrum, the energy loss and hadronization mechanisms of heavy quarks in medium, the evolution profile of pre-equilibrium stage, the flow of medium and the temperature dependence of heavy quark diffusion coefficient influence the suppression and elliptic flow of heavy mesons at RHIC and the LHC. Our result shows that different modeling of initial conditions, pre-equilibrium evolution and in-medium interaction can individually yield about 10-40% uncertainties in D meson suppression and flow at low transverse momentum. We also find that a proper combination of collisional versus radiative energy loss, coalescence versus fragmentation in hadronization, and the inclusion of medium flow are the most important factors for describing the suppression and elliptic flow of heavy mesons.


title: Entanglement equipartition in critical random spin chains

abstract: The reduced density matrix of many-body systems possessing an additive conserved quantity can be decomposed in orthogonal sectors which can be independently analyzed. Recently, these have been proven to equally contribute to entanglement entropy for one dimensional conformal and integrable systems. In this paper, we extend this equipartition theorem to the disordered critical systems by studying the random singlet phase. We analytically compute the disorder averaged symmetry resolved R\'enyi entropies and show the leading orders are independent of the symmetry sector. Our findings are cross-checked with simulations within the numerical strong disorder renormalization group. We also identify the first subleading term breaking equipartition which is of the form $s^2/\ln\ell$ where $s$ is the magnetization of a subsystem of length $\ell$.


title: A remark on the Laplacian flow and the modified Laplacian co-flow in G2-Geometry

abstract: We observe that the DeTurck Laplacian flow of G2-structures introduced by Bryant and Xu as a gauge fixing of the Laplacian flow can be regarded as a flow of G2-structures (not necessarily closed) which fits in the general framework introduced by Hamilton in [4].


title: Causal Paths in Temporal Networks of Face-to-Face Human Interactions

abstract: In a temporal network causal paths are characterized by the fact that links from a source to a target must respect the chronological order. In this article we study the causal paths structure in temporal networks of human face to face interactions in different social contexts. In a static network paths are transitive i.e. the existence of a link from $a$ to $b$ and from $b$ to $c$ implies the existence of a path from $a$ to $c$ via $b$. In a temporal network the chronological constraint introduces time correlations that affects transitivity. A probabilistic model based on higher order Markov chains shows that correlations that can invalidate transitivity are present only when the time gap between consecutive events is larger than the average value and are negligible below such a value. The comparison between the densities of the temporal and static accessibility matrices shows that the static representation can be used with good approximation. Moreover, we quantify the extent of the causally connected region of the networks over time.


title: Scyclone: High-Quality and Parallel-Data-Free Voice Conversion Using Spectrogram and Cycle-Consistent Adversarial Networks

abstract: This paper proposes Scyclone, a high-quality voice conversion (VC) technique without parallel data training. Scyclone improves speech naturalness and speaker similarity of the converted speech by introducing CycleGAN-based spectrogram conversion with a simplified WaveRNN-based vocoder. In Scyclone, a linear spectrogram is used as the conversion features instead of vocoder parameters, which avoids quality degradation due to extraction errors in fundamental frequency and voiced/unvoiced parameters. The spectrogram of source and target speakers are modeled by modified CycleGAN networks, and the waveform is reconstructed using the simplified WaveRNN with a single Gaussian probability density function. The subjective experiments with completely unpaired training data show that Scyclone is significantly better than CycleGAN-VC2, one of the existing state-of-the-art parallel-data-free VC techniques.


title: Maximum dissociation sets in subcubic trees

abstract: A subset of vertices in a graph $G$ is called a maximum dissociation set if it induces a subgraph with vertex degree at most 1 and the subset has maximum cardinality. The dissociation number of $G$, denoted by $\psi(G)$, is the cardinality of a maximum dissociation set. A subcubic tree is a tree of maximum degree at most 3. In this paper, we give the lower and upper bounds on the dissociation number in a subcubic tree of order $n$ and show that the number of maximum dissociation sets of a subcubic tree of order $n$ and dissociation number $\psi$ is at most $1.466^{4n-5\psi+2}$.


title: Multi-wavelength coherent diffractive imaging

abstract: Coherent diffractive imaging is a technique that recovers the sample image by numerically inverting its diffraction pattern. We propose a generalization of this method for the inversion of multi-wavelength data. Using this approach, we show that separate reconstructions for each wavelength can be recovered from a single polychromatic diffraction pattern. Limitations on the number of wavelengths is provided by adapting the constraint ratio to the polychromatic situation. The method's performance is demonstrated as a function of the source spectrum, the degree of complexity within the exit wave and the sample geometry using several numerical simulations. Lastly, an example shows the ability to recover element-specific information using two harmonics selected from a high-order harmonic generation source.


title: Wavelet Integrated CNNs for Noise-Robust Image Classification

abstract: Convolutional Neural Networks (CNNs) are generally prone to noise interruptions, i.e., small image noise can cause drastic changes in the output. To suppress the noise effect to the final predication, we enhance CNNs by replacing max-pooling, strided-convolution, and average-pooling with Discrete Wavelet Transform (DWT). We present general DWT and Inverse DWT (IDWT) layers applicable to various wavelets like Haar, Daubechies, and Cohen, etc., and design wavelet integrated CNNs (WaveCNets) using these layers for image classification. In WaveCNets, feature maps are decomposed into the low-frequency and high-frequency components during the down-sampling. The low-frequency component stores main information including the basic object structures, which is transmitted into the subsequent layers to extract robust high-level features. The high-frequency components, containing most of the data noise, are dropped during inference to improve the noise-robustness of the WaveCNets. Our experimental results on ImageNet and ImageNet-C (the noisy version of ImageNet) show that WaveCNets, the wavelet integrated versions of VGG, ResNets, and DenseNet, achieve higher accuracy and better noise-robustness than their vanilla versions.


title: Strong maximum principle and boundary estimates for nonhomogeneous elliptic equations

abstract: We give a simple proof of the strong maximum principle for viscosity subsolutions of fully nonlinear elliptic PDEs on the form $$ F(x,u,Du,D^2u) = 0 $$ under suitable structure conditions on the equation allowing for non-Lipschitz growth in the gradient terms. In case of smooth boundaries, we also prove the Hopf lemma, the boundary Harnack inequality and that positive viscosity solutions vanishing on a portion of the boundary are comparable with the distance function near the boundary. Our results apply to weak solutions of an eigenvalue problem for the variable exponent $p$-Laplacian.


title: Gaussian invariant measures and stationary solutions of 2D Primitive Equations

abstract: We introduce a Gaussian measure formally preserved by the 2-dimensional Primitive Equations driven by additive Gaussian noise. Under such measure the stochastic equations under consideration are singular: we propose a solution theory based on the techniques developed by Gubinelli and Jara in \cite{GuJa13} for a hyperviscous version of the equations.


title: No arbitrage SVI

abstract: We fully characterize the absence of Butterfly arbitrage in the SVI formula for implied total variance proposed by Gatheral in 2004. The main ingredient is an intermediary characterization of the necessary condition for no arbitrage obtained for any model by Fukasawa in 2012 that the inverse functions of the -d1 and -d2 of the Black-Scholes formula, viewed as functions of the log-forward moneyness, should be increasing. A natural rescaling of the SVI parameters and a meticulous analysis of the Durrleman condition allow then to obtain simple range conditions on the parameters. This leads to a straightforward implementation of a least-squares calibration algorithm on the no arbitrage domain, which yields an excellent fit on the market data we used for our tests, with the guarantee to yield smiles with no Butterfly arbitrage.


title: Scene Text Image Super-Resolution in the Wild

abstract: Low-resolution text images are often seen in natural scenes such as documents captured by mobile phones. Recognizing low-resolution text images is challenging because they lose detailed content information, leading to poor recognition accuracy. An intuitive solution is to introduce super-resolution (SR) techniques as pre-processing. However, previous single image super-resolution (SISR) methods are trained on synthetic low-resolution images (e.g.Bicubic down-sampling), which is simple and not suitable for real low-resolution text recognition. To this end, we pro-pose a real scene text SR dataset, termed TextZoom. It contains paired real low-resolution and high-resolution images which are captured by cameras with different focal length in the wild. It is more authentic and challenging than synthetic data, as shown in Fig. 1. We argue improv-ing the recognition accuracy is the ultimate goal for Scene Text SR. In this purpose, a new Text Super-Resolution Network termed TSRN, with three novel modules is developed. (1) A sequential residual block is proposed to extract the sequential information of the text images. (2) A boundary-aware loss is designed to sharpen the character boundaries. (3) A central alignment module is proposed to relieve the misalignment problem in TextZoom. Extensive experiments on TextZoom demonstrate that our TSRN largely improves the recognition accuracy by over 13%of CRNN, and by nearly 9.0% of ASTER and MORAN compared to synthetic SR data. Furthermore, our TSRN clearly outperforms 7 state-of-the-art SR methods in boosting the recognition accuracy of LR images in TextZoom. For example, it outperforms LapSRN by over 5% and 8%on the recognition accuracy of ASTER and CRNN. Our results suggest that low-resolution text recognition in the wild is far from being solved, thus more research effort is needed.


title: Arranging Test Tubes in Racks Using Combined Task and Motion Planning

abstract: The paper develops a robotic manipulation system to treat the pressing needs for handling a large number of test tubes in clinical examination and replace or reduce human labor. It presents the technical details of the system, which separates and arranges test tubes in racks with the help of 3D vision and artificial intelligence (AI) reasoning/planning. The developed system only requires a person to put a rack with mixed and non-arranged tubes in front of a robot. The robot autonomously performs recognition, reasoning, planning, manipulation, etc., and returns a rack with separated and arranged tubes. The system is simple-to-use, and there are no requests for expert knowledge in robotics. We expect such a system to play an important role in helping managing public health and hope similar systems could be extended to other clinical manipulation like handling mixers and pipettes in the future.


title: Evaluating the phase dynamics of coupled oscillators via time-variant topological features

abstract: By characterizing the phase dynamics in coupled oscillators, we gain insights into the fundamental phenomena of complex systems. The collective dynamics in oscillatory systems are often described by order parameters, which are insufficient for identifying more specific behaviors. To improve this situation, we propose a topological approach that constructs the quantitative features describing the phase evolution of oscillators. Here, the phase data are mapped into a high-dimensional space at each time, and the topological features describing the shape of the data are subsequently extracted from the mapped points. These features are extended to time-variant topological features by adding the evolution time as an extra dimension in the topological feature space. The time-variant features provide crucial insights into the evolution of phase dynamics. Combining these features with the kernel method, we characterize the multi-clustered synchronized dynamics during the early evolution stages. Finally, we demonstrate that our method can qualitatively explain chimera states. The experimental results confirmed the superiority of our method over those based on order parameters, especially when the available data are limited to the early-stage dynamics.


title: The Binary-Outcome Detection Loophole

abstract: The detection loophole problem arises when quantum devices fail to provide an output for some of the experimental runs. These failures allow for the possibility of a local hidden-variable description of the resulting statistics; even if the correlations obtained from successful runs appear non-local. This is of particular significance in device-independent quantum cryptography, where verifiable non-locality is a necessary requirement for the security proof. For every scenario characterised by the amount of devices, along with the number of inputs and outputs available to them, there is a detection threshold - if the efficiency of the device falls below this no verification is possible. In this work I present an intuitive local hidden-variable construction for all no-signalling distributions with two parties and binary outcomes. This provides a lower bound on the detection threshold for quantum measurements in the same scenario tighter than known previously. When both parties have the same number of inputs into their device, this construction is shown optimal for small input numbers. I finish with some interesting conjectures.


title: Regression Forest-Based Atlas Localization and Direction Specific Atlas Generation for Pancreas Segmentation

abstract: This paper proposes a fully automated atlas-based pancreas segmentation method from CT volumes utilizing atlas localization by regression forest and atlas generation using blood vessel information. Previous probabilistic atlas-based pancreas segmentation methods cannot deal with spatial variations that are commonly found in the pancreas well. Also, shape variations are not represented by an averaged atlas. We propose a fully automated pancreas segmentation method that deals with two types of variations mentioned above. The position and size of the pancreas is estimated using a regression forest technique. After localization, a patient-specific probabilistic atlas is generated based on a new image similarity that reflects the blood vessel position and direction information around the pancreas. We segment it using the EM algorithm with the atlas as prior followed by the graph-cut. In evaluation results using 147 CT volumes, the Jaccard index and the Dice overlap of the proposed method were 62.1% and 75.1%, respectively. Although we automated all of the segmentation processes, segmentation results were superior to the other state-of-the-art methods in the Dice overlap.


title: Converging outer approximations to global attractors using semidefinite programming

abstract: This paper develops a method for obtaining guaranteed outer approximations for global attractors of continuous and discrete time nonlinear dynamical systems. The method is based on a hierarchy of semidefinite programming problems of increasing size with guaranteed convergence to the global attractor. The approach taken follows an established line of reasoning, where we first characterize the global attractor via an infinite dimensional linear programming problem (LP) in the space of Borel measures. The dual to this LP is in the space of continuous functions and its feasible solutions provide guaranteed outer approximations to the global attractor. For systems with polynomial dynamics, a hierarchy of finite-dimensional sum-of-squares tightenings of the dual LP provides a sequence of outer approximations to the global attractor with guaranteed convergence in the sense of volume discrepancy tending to zero. The method is very simple to use and based purely on convex optimization. Numerical examples with the code available online demonstrate the method.


title: Evaluation of Ultra Low Dose chest CT imaging for Covid 19 diagnosis and follow up

abstract: Objective: Computed Tomography (CT) has an important role to detect lung lesion related to Covide 19. The purpose of this work is to obtain diagnostic findings of Ultra-Low Dose (ULD) chest CT image and compare with routine dose chest CT. Material and Methods: Patients, suspected of Covid 19 infection, were scanned successively with routine dose, and ULD, with 98% or 94% dose reduction, protocols. Axial images of routine and ULD chest CT were evaluated objectively by two expert radiologists and quantitatively by Signal to Noise Ratio (SNR) and pixel by pixel noise measurement. Results: It was observed that the ULD and routine dose chest CT images could detect Covid 19 related lung lesions in patients with PCR positive test. Also, SNR and pixel noise values were comparable in these protocols. Conclusion: ULD chest CT with 98% dose reduction can be used in non-pandemic situation as a substitute for chest radiograph for screening and follow up. Routine chest CT protocol can be replaced by ULD, with 94% dose reduction, to detect patients suspected with Covid 19 at an early stage and for its follow up.


title: Coronal dimmings associated with coronal mass ejections on the solar limb

abstract: We present a statistical analysis of 43 coronal dimming events, associated with Earth-directed CMEs that occurred during the period of quasi-quadrature of the SDO and STEREO satellites. We studied coronal dimmings that were observed above the limb by STEREO/EUVI and compared their properties with the mass and speed of the associated CMEs. The unique position of satellites allowed us to compare our findings with the results from Dissauer et al. (2018b, 2019), who studied the same events observed against the solar disk by SDO/AIA. Such statistics is done for the first time and confirms the relation of coronal dimmings and CME parameters for the off-limb viewpoint. The observations of dimming regions from different lines-of-sight reveal a similar decrease in the total EUV intensity ($c=0.60\pm0.14$). We find that the (projected) dimming areas are typically larger for off-limb observations (mean value of $1.24\pm1.23\times10^{11}$ km$^2$ against $3.51\pm0.71\times10^{10}$ km$^2$ for on-disk), with a correlation of $c=0.63\pm0.10$. This systematic difference can be explained by the (weaker) contributions to the dimming regions higher up in the corona, that cannot be detected in the on-disk observations. The off-limb dimming areas and brightnesses show very strong correlations with the CME mass ($c=0.82\pm0.06$ and $c=0.75\pm0.08$), whereas the dimming area and brightness change rate correlate with the CME speed ($c\sim0.6$). Our findings suggest that coronal dimmings have the potential to provide early estimates of mass and speed of Earth-directed CMEs, relevant for space weather forecasts, for satellite locations both at L1 and L5.


title: Error estimates for the Cahn--Hilliard equation with dynamic boundary conditions

abstract: A proof of convergence is given for bulk--surface finite element semi-discretisation of the Cahn--Hilliard equation with Cahn--Hilliard-type dynamic boundary conditions in a smooth domain. The semi-discretisation is studied in the weak formulation as a second order system. Optimal-order uniform-in-time error estimates are shown in the $L^2$ and $H^1$ norms. The error estimates are based on a consistency and stability analysis. The proof of stability is performed in an abstract framework, based on energy estimates exploiting the anti-symmetric structure of the second order system. Numerical experiments illustrate the theoretical results.


title: A Locally Adaptive Interpretable Regression

abstract: Machine learning models with both good predictability and high interpretability are crucial for decision support systems. Linear regression is one of the most interpretable prediction models. However, the linearity in a simple linear regression worsens its predictability. In this work, we introduce a locally adaptive interpretable regression (LoAIR). In LoAIR, a metamodel parameterized by neural networks predicts percentile of a Gaussian distribution for the regression coefficients for a rapid adaptation. Our experimental results on public benchmark datasets show that our model not only achieves comparable or better predictive performance than the other state-of-the-art baselines but also discovers some interesting relationships between input and target variables such as a parabolic relationship between CO2 emissions and Gross National Product (GNP). Therefore, LoAIR is a step towards bridging the gap between econometrics, statistics, and machine learning by improving the predictive ability of linear regression without depreciating its interpretability.


title: The naturalness in the BLMSSM and B-LSSM

abstract: In order to interpret the Higgs mass and its decays more naturally, we hope to intrude the BLMSSM and B-LSSM. In the both models, the right-handed neutrino superfields are introduced to better explain the neutrino mass problems. In addition, there are other superfields considered to make these models more natural than MSSM. In this paper, the method of $\chi^2$ analyses will be adopted in the BLMSSM and B-LSSM to calculate the Higgs mass, Higgs decays and muon $g-2$. With the fine-tuning in the region $0.67\%-2.5\%$ and $0.67\%-5\%$, we can obtain the reasonable theoretical values that are in accordance with the experimental results respectively in the BLMSSM and B-LSSM. Meanwhile, the best-fitted benchmark points in the BLMSSM and B-LSSM will be acquired at minimal $(\chi^{BL}_{min})^2 = 2.34736$ and $(\chi^{B-L}_{min})^2 = 2.47754$, respectively.


title: Pricing under a multinomial logit model with non linear network effects

abstract: We study the problem of pricing under a Multinomial Logit model where we incorporate network effects over the consumer's decisions. We analyse both cases, when sellers compete or collaborate. In particular, we pay special attention to the overall expected revenue and how the behaviour of the no purchase option is affected under variations of a network effect parameter. Where for example we prove that the market share for the no purchase option, is decreasing in terms of the value of the network effect, meaning that stronger communication among costumers increases the expected amount of sales. We also analyse how the customer's utility is altered when network effects are incorporated into the market, comparing the cases where both competitive and monopolistic prices are displayed. We use tools from stochastic approximation algorithms to prove that the probability of purchasing the available products converges to a unique stationary distribution. We model that the sellers can use this stationary distribution to establish their strategies. Finding that under those settings, a pure Nash Equilibrium represents the pricing strategies in the case of competition, and an optimal (that maximises the total revenue) fixed price characterise the case of collaboration.


title: Distributional robustness of K-class estimators and the PULSE

abstract: While causal models are robust in that they are prediction optimal under arbitrarily strong interventions, they may not be optimal when the interventions are bounded. We prove that the classical K-class estimator satisfies such optimality by establishing a connection between K-class estimators and anchor regression. This connection further motivates a novel estimator in instrumental variable settings that minimizes the mean squared prediction error subject to the constraint that the estimator lies in an asymptotically valid confidence region of the causal coefficient. We call this estimator PULSE (p-uncorrelated least squares estimator), relate it to work on invariance, show that it can be computed efficiently as a data-driven K-class estimator, even though the underlying optimization problem is non-convex, and prove consistency. We evaluate the estimators on real data and perform simulation experiments illustrating that PULSE suffers from less variability. There are several settings including weak instrument settings, where it outperforms other estimators.


title: DMCP: Differentiable Markov Channel Pruning for Neural Networks

abstract: Recent works imply that the channel pruning can be regarded as searching optimal sub-structure from unpruned networks. However, existing works based on this observation require training and evaluating a large number of structures, which limits their application. In this paper, we propose a novel differentiable method for channel pruning, named Differentiable Markov Channel Pruning (DMCP), to efficiently search the optimal sub-structure. Our method is differentiable and can be directly optimized by gradient descent with respect to standard task loss and budget regularization (e.g. FLOPs constraint). In DMCP, we model the channel pruning as a Markov process, in which each state represents for retaining the corresponding channel during pruning, and transitions between states denote the pruning process. In the end, our method is able to implicitly select the proper number of channels in each layer by the Markov process with optimized transitions. To validate the effectiveness of our method, we perform extensive experiments on Imagenet with ResNet and MobilenetV2. Results show our method can achieve consistent improvement than state-of-the-art pruning methods in various FLOPs settings. The code is available at https://github.com/zx55/dmcp


title: Quantum correlation alignment for unsupervised domain adaptation

abstract: Correlation alignment (CORAL), a representative domain adaptation (DA) algorithm, decorrelates and aligns a labelled source domain dataset to an unlabelled target domain dataset to minimize the domain shift such that a classifier can be applied to predict the target domain labels. In this paper, we implement the CORAL on quantum devices by two different methods. One method utilizes quantum basic linear algebra subroutines (QBLAS) to implement the CORAL with exponential speedup in the number and dimension of the given data samples. The other method is achieved through a variational hybrid quantum-classical procedure. In addition, the numerical experiments of the CORAL with three different types of data sets, namely the synthetic data, the synthetic-Iris data, the handwritten digit data, are presented to evaluate the performance of our work. The simulation results prove that the variational quantum correlation alignment algorithm (VQCORAL) can achieve competitive performance compared with the classical CORAL.


title: DramaQA: Character-Centered Video Story Understanding with Hierarchical QA

abstract: Despite recent progress on computer vision and natural language processing, developing a machine that can understand video story is still hard to achieve due to the intrinsic difficulty of video story. Moreover, researches on how to evaluate the degree of video understanding based on human cognitive process have not progressed as yet. In this paper, we propose a novel video question answering (Video QA) task, DramaQA, for a comprehensive understanding of the video story. The DramaQA focuses on two perspectives: 1) Hierarchical QAs as an evaluation metric based on the cognitive developmental stages of human intelligence. 2) Character-centered video annotations to model local coherence of the story. Our dataset is built upon the TV drama "Another Miss Oh" and it contains 17,983 QA pairs from 23,928 various length video clips, with each QA pair belonging to one of four difficulty levels. We provide 217,308 annotated images with rich character-centered annotations, including visual bounding boxes, behaviors and emotions of main characters, and coreference resolved scripts. Additionally, we suggest Multi-level Context Matching model which hierarchically understands character-centered representations of video to answer questions. We release our dataset and model publicly for research purposes, and we expect our work to provide a new perspective on video story understanding research.


title: Estimating Blood Pressure from Photoplethysmogram Signal and Demographic Features using Machine Learning Techniques

abstract: Hypertension is a potentially unsafe health ailment, which can be indicated directly from the Blood pressure (BP). Hypertension always leads to other health complications. Continuous monitoring of BP is very important; however, cuff-based BP measurements are discrete and uncomfortable to the user. To address this need, a cuff-less, continuous and a non-invasive BP measurement system is proposed using Photoplethysmogram (PPG) signal and demographic features using machine learning (ML) algorithms. PPG signals were acquired from 219 subjects, which undergo pre-processing and feature extraction steps. Time, frequency and time-frequency domain features were extracted from the PPG and their derivative signals. Feature selection techniques were used to reduce the computational complexity and to decrease the chance of over-fitting the ML algorithms. The features were then used to train and evaluate ML algorithms. The best regression models were selected for Systolic BP (SBP) and Diastolic BP (DBP) estimation individually. Gaussian Process Regression (GPR) along with ReliefF feature selection algorithm outperforms other algorithms in estimating SBP and DBP with a root-mean-square error (RMSE) of 6.74 and 3.59 respectively. This ML model can be implemented in hardware systems to continuously monitor BP and avoid any critical health conditions due to sudden changes.


title: Self-Supervised Human Depth Estimation from Monocular Videos

abstract: Previous methods on estimating detailed human depth often require supervised training with `ground truth' depth data. This paper presents a self-supervised method that can be trained on YouTube videos without known depth, which makes training data collection simple and improves the generalization of the learned network. The self-supervised learning is achieved by minimizing a photo-consistency loss, which is evaluated between a video frame and its neighboring frames warped according to the estimated depth and the 3D non-rigid motion of the human body. To solve this non-rigid motion, we first estimate a rough SMPL model at each video frame and compute the non-rigid body motion accordingly, which enables self-supervised learning on estimating the shape details. Experiments demonstrate that our method enjoys better generalization and performs much better on data in the wild.


title: Hamilton-Jacobi formulation of holographic Entanglement Entropy

abstract: We review classical results on holographic entanglement entropy utilizing the Hamilton-Jacobi approach. Possibility of using the entanglement entropy as a probe of confinement is shortly discussed in the context of lattice data.


title: Polystyrene-based nanocomposites with different fillers: fabrication and mechanical properties

abstract: The paper presents a comprehensive analysis of elastic properties of polystyrene-based nanocomposites filled with different types of inclusions: small spherical particles (SiO2 and Al2O3), alumosilicates (montmorillonite, halloysite natural tubules and Mica) and carbon nanofillers (carbon black and multi-walled carbon nanotubes). Composites were fabricated by melt technology. The analysis of composite melts showed that the introduction of Montmorillonite, Multi-walled carbon nanotubes, and Al2O3 particles provided an increase in melt viscosity by an average of 2 to 5 orders of magnitude over the pure polystyrene. Block samples of composites with different filler concentrations were prepared, and their linear and nonlinear elastic properties were studied. The introduction of more rigid particles led to a more profound increase in the elastic modulus of the composite, with the highest rise of about 80% obtained with carbon fillers. Carbon black particles provided also an enhanced strength at break of about 20% higher than that of pure polystyrene. The nonlinear elastic moduli of composites were shown to be more sensitive to addition of filler particles to the polymer matrix than the linear ones. The nonlinearity coefficient $\beta$ comprising the combination of linear and nonlinear elastic moduli of a material demonstrated considerable changes correlating with changes of the Young's modulus. The absolute value of $\beta$ showed rise in 1.5-1.6 times in the CB- and HNT-containing composites as compared to that of pure PS. The changes in nonlinear elasticity of fabricated composites were compared with measurements of the parameters of bulk nonlinear strain waves in them. Variations of wave velocity and decay decrement correlated with observed enhancement of materials nonlinearity.


title: JASS: Japanese-specific Sequence to Sequence Pre-training for Neural Machine Translation

abstract: Neural machine translation (NMT) needs large parallel corpora for state-of-the-art translation quality. Low-resource NMT is typically addressed by transfer learning which leverages large monolingual or parallel corpora for pre-training. Monolingual pre-training approaches such as MASS (MAsked Sequence to Sequence) are extremely effective in boosting NMT quality for languages with small parallel corpora. However, they do not account for linguistic information obtained using syntactic analyzers which is known to be invaluable for several Natural Language Processing (NLP) tasks. To this end, we propose JASS, Japanese-specific Sequence to Sequence, as a novel pre-training alternative to MASS for NMT involving Japanese as the source or target language. JASS is joint BMASS (Bunsetsu MASS) and BRSS (Bunsetsu Reordering Sequence to Sequence) pre-training which focuses on Japanese linguistic units called bunsetsus. In our experiments on ASPEC Japanese--English and News Commentary Japanese--Russian translation we show that JASS can give results that are competitive with if not better than those given by MASS. Furthermore, we show for the first time that joint MASS and JASS pre-training gives results that significantly surpass the individual methods indicating their complementary nature. We will release our code, pre-trained models and bunsetsu annotated data as resources for researchers to use in their own NLP tasks.


title: Probabilistic Hyperproperties of Markov Decision Processes

abstract: Hyperproperties are properties that describe the correctness of a system as a relation between multiple executions. Hyperproperties generalize trace properties and include information-flow security requirements, like noninterference, as well as requirements like symmetry, partial observation, robustness, and fault tolerance. We initiate the study of the specification and verification of hyperproperties of Markov decision processes (MDPs). We introduce the temporal logic PHL (Probabilistic Hyper Logic), which extends classic probabilistic logics with quantification over schedulers and traces. PHL can express a wide range of hyperproperties for probabilistic systems, including both classical applications, such as probabilistic noninterference, and novel applications in areas such as robotics and planning. While the model checking problem for PHL is in general undecidable, we provide methods both for proving and for refuting formulas from a fragment of the logic. The fragment includes many probabilistic hyperproperties of interest.


title: Broadband strong optical dichroism in topological Dirac semimetals with Fermi velocity anisotropy

abstract: Prototypical three-dimensional (3D) topological Dirac semimetals (DSMs), such as Cd$_3$As$_2$ and Na$_3$Bi, contain electrons that obey a linear momentum-energy dispersion with different Fermi velocities along the three orthogonal momentum dimensions. Despite being extensively studied in recent years, the inherent \emph{Fermi velocity anisotropy} has often been neglected in the theoretical and numerical studies of 3D DSMs. Although this omission does not qualitatively alter the physics of light-driven massless quasiparticles in 3D DSMs, it does \emph{quantitatively} change the optical coefficients which can lead to nontrivial implications in terms of nanophotonics and plasmonics applications. Here we study the linear optical response of 3D DSMs for general Fermi velocity values along each direction. Although the signature conductivity-frequency scaling, $\sigma(\omega) \propto \omega$, of 3D Dirac fermion is well-protected from Fermi velocity anisotropy, the linear optical response exhibits strong linear dichroism as captured by the \emph{universal} extinction ratio scaling law, $\Lambda_{ij} = (v_i/v_j)^2$ (where $i\neq j$ denotes the three spatial coordinates $x,y,z$, and $v_i$ is the $i$-direction Fermi velocity), which is independent of frequency, temperature, doping, and carrier scattering lifetime. For Cd$_3$As$_2$ and Na$_3$Bi$_3$, an exceptionally strong extinction ratio larger than 15 and covering broad terahertz window is revealed. Our findings shed new light on the role of Fermi velocity anisotropy in the optical response of Dirac semimetals and open up novel polarization-sensitive functionalities, such as photodetection and light modulation.

categories: cond-mat.mtrl-sci cond-mat.mes-hall physics.app-ph physics.optics


title: Soft Interference Cancellation for Random Coding in Massive Gaussian Multiple-Access

abstract: In 2017, Polyanskiy [1] showed that the trade-off between power and bandwidth efficiency for massive Gaussian random access is governed by two fundamentally different regimes: low power and high power. For both regimes, tight performance bounds were found by Zadik et al. [2], in 2019. This work utilizes recent results on the exact block error probability of Gaussian random codes in additive white Gaussian noise to propose practical methods based on iterative soft decoding to closely approach the bounds in [2]. In the low power regime, this work finds that orthogonal random codes can be applied directly. In the high power regime, a more sophisticated effort is needed. This work shows that power-profile optimization by means of linear programming as pioneered by Caire et al. [3], in 2001, is a promising strategy to apply. The proposed combination of orthogonal random coding and iterative soft decoding even outperforms the existence bounds of Zadik et al. [2] in the low power regime and is very close to the non-existence bounds for message lengths around 100 and above. Finally, the approach of power optimization by linear programming proposed for the high power regime is found to benefit from power imbalances due to fading which makes is even more attractive for typical mobile radio channels.


title: A Schur-Nevanlinna type algorithm for the truncated matricial Hausdorff moment problem

abstract: The main goal of this paper is to achieve a parametrization of the solution set of the truncated matricial Hausdorff moment problem in the non-degenerate and degenerate situation. We treat the even and the odd cases simultaneously. Our approach is based on Schur analysis methods. More precisely, we use two interrelated versions of Schur-type algorithms, namely an algebraic one and a function-theoretic one. The algebraic version, worked out in our former paper arXiv:1908.05115, is an algorithm which is applied to finite or infinite sequences of complex matrices. The construction and discussion of the function-theoretic version is a central theme of this paper. This leads us to a complete description via Stieltjes transform of the solution set of the moment problem under consideration. Furthermore, we discuss special solutions in detail.


title: Half Quantum Vortices in Nematic Superconductor

abstract: Motivated by the superconductivity of $M_x$Bi$_2$Se$_3$, we study topological excitations in a nematic superconductor using Ginzburg-Landau theory. An isolated excitation at low field is shown to be either a distorted phase vortex or a tightly-bounded pair of half quantum vortices. Close to upper critical field $H_{c2}$, the vortex lattice is shown to be always hexagonal in the extreme type-II limit. Due to the different symmetries of the vortex lattice states, at least two phase transitions must take place when the external field is lowered from $H_{c2}$.


title: Scoring Root Necrosis in Cassava Using Semantic Segmentation

abstract: Cassava a major food crop in many parts of Africa, has majorly been affected by Cassava Brown Streak Disease (CBSD). The disease affects tuberous roots and presents symptoms that include a yellow/brown, dry, corky necrosis within the starch-bearing tissues. Cassava breeders currently depend on visual inspection to score necrosis in roots based on a qualitative score which is quite subjective. In this paper we present an approach to automate root necrosis scoring using deep convolutional neural networks with semantic segmentation. Our experiments show that the UNet model performs this task with high accuracy achieving a mean Intersection over Union (IoU) of 0.90 on the test set. This method provides a means to use a quantitative measure for necrosis scoring on root cross-sections. This is done by segmentation and classifying the necrotized and non-necrotized pixels of cassava root cross-sections without any additional feature engineering.


title: The GAPS Programme at TNG -- XXIII. HD 164922 d: a close-in super-Earth discovered with HARPS-N in a system with a long-period Saturn mass companion

abstract: In the framework of the Global Architecture of Planetary Systems (GAPS) project we collected more than 300 spectra with HARPS-N at the TNG for the bright G9V star HD164922. This target is known to host one gas giant planet in a wide orbit (Pb~1200 days, semi-major axis ~2 au) and a Neptune-mass planet with a period Pc ~76 days. We searched for additional low-mass companions in the inner region of the system. We compared the radial velocities (RV) and the activity indices derived from the HARPS-N time series to measure the rotation period of the star and used a Gaussian process regression to describe the behaviour of the stellar activity. We exploited this information in a combined model of planetary and stellar activity signals in an RV time-series composed of almost 700 high-precision RVs, both from HARPS-N and literature data. We performed a dynamical analysis to evaluate the stability of the system and the allowed regions for additional potential companions. Thanks to the high sensitivity of the HARPS-N dataset, we detect an additional inner super-Earth with an RV semi-amplitude of 1.3+/-0.2 m/s, a minimum mass of ~4+/-1 M_E and a period of 12.458+/-0.003 days. We disentangle the planetary signal from activity and measure a stellar rotation period of ~42 days. The dynamical analysis shows the long term stability of the orbits of the three-planet system and allows us to identify the permitted regions for additional planets in the semi-major axis ranges 0.18-0.21 au and 0.6-1.4 au. The latter partially includes the habitable zone of the system. We did not detect any planet in these regions, down to minimum detectable masses of 5 and 18 M_E, respectively. A larger region of allowed planets is expected beyond the orbit of planet b, where our sampling rules-out bodies with minimum mass > 50 M_E.


title: Constructions of new matroids and designs over GF(q)

abstract: A perfect matroid design (PMD) is a matroid whose flats of the same rank all have the same size. In this paper we introduce the q-analogue of a PMD and its properties. In order to do so, we first establish a new cryptomorphic definition for q-matroids. We show that q-Steiner systems are examples of q-PMD's and we use this q-matroid structure to construct subspace designs from q-Steiner systems. We apply this construction to the only known q-Steiner system, which has parameters S(2,3,13;2), and hence establish the existence of a new subspace design with parameters 2-(13,4,5115;2).


title: Energy-efficient topology to enhance the wireless sensor network lifetime using connectivity control

abstract: Wireless sensor networks have attracted much attention because of many applications in the fields of industry, military, medicine, agriculture, and education. In addition, the vast majority of researches has been done to expand its applications and improve its efficiency. However, there are still many challenges for increasing the efficiency in different parts of this network. One of the most important parts is to improve the network lifetime in the wireless sensor network. Since the sensor nodes are generally powered by batteries, the most important issue to consider in these types of networks is to reduce the power consumption of the nodes in such a way as to increase the network lifetime to an acceptable level. The contribution of this paper is using topology control, the threshold for the remaining energy in nodes, and two of the meta-algorithms include SA (Simulated annealing) and VNS (Variable Neighbourhood Search) to increase the energy remaining in the sensors. Moreover, using a low-cost spanning tree, an appropriate connectivity control among nodes is created in the network in order to increase the network lifetime. The results of simulations show that the proposed method improves the sensor lifetime and reduces the energy consumed.


title: On the Magnetic Nature of an Exploding Granule as Revealed by Sunrise/IMaX

abstract: We study the photospheric evolution of an exploding granule observed in the quiet Sun at high spatial ($0.3^{\prime\prime}$) and temporal (31.5 s) resolution by the imaging magnetograph Sunrise/IMaX in June 2009. These observations show that the exploding granule is cospatial to a magnetic flux emergence event occurring at mesogranular scale (up to 12 Mm$^{2}$ area). Using a modified version of the SIR code for inverting the IMaX spectropolarimetric measurements, we obtain information about the magnetic configuration of this photospheric feature. In particular, we find evidence of highly inclined emerging fields in the structure, carrying a magnetic flux content up to $4 \times 10^{18}$ Mx. The balance between gas and magnetic pressure in the region of flux emergence, compared with a very quiet region of the Sun, indicates that the additional pressure carried by the emerging flux increases by about 5% the total pressure and appears to allow the granulation to be modified, as predicted by numerical simulations. The overall characteristics suggest that a multi-polar structure emerges into the photosphere, resembling an almost horizontal flux sheet. This seems to be associated with exploding granules. Finally, we discuss the origin of such flux emergence events.