title: TOI-150b and TOI-163b: two transiting hot Jupiters, one eccentric and one inflated, revealed by TESS near and at the edge of the JWST CVZ

abstract: We present the discovery of TYC9191-519-1b (TOI-150b, TIC 271893367) and HD271181b (TOI-163b, TIC 179317684), two hot Jupiters initially detected using 30-minute cadence Transiting Exoplanet Survey Satellite TESS photometry from Sector 1 and thoroughly characterized through follow-up photometry (CHAT, Hazelwood, LCO/CTIO, El Sauce, TRAPPIST-S), high-resolution spectroscopy (FEROS, CORALIE) and speckle imaging (Gemini/DSSI), confirming the planetary nature of the two signals. A simultaneous joint fit of photometry and radial velocity using a new fitting package juliet reveals that TOI-150b is a $1.254\pm0.016\ R_J$, massive ($2.61^{+0.19}_{-0.12}\ M_J$) hot Jupiter in a $5.857$-day orbit, while TOI-163b is an inflated ($R_P$ = $1.478^{+0.022}_{-0.029} R_J$, $M_P$ = $1.219\pm0.11 M_J$) hot Jupiter on a $P$ = $4.231$-day orbit; both planets orbit F-type stars. A particularly interesting result is that TOI-150b shows an eccentric orbit ($e=0.262^{+0.045}_{-0.037}$), which is quite uncommon among hot Jupiters. We estimate that this is consistent, however, with the circularization timescale which is slightly larger than the age of the system. These two hot Jupiters are both prime candidates for further characterization --- in particular, both are excellent candidates for determining spin-orbit alignments via the Rossiter-McLaughlin (RM) effect and for characterizing atmospheric thermal structures using secondary eclipse observations considering they are both located closely to the James Webb Space Telescope (JWST) Continuous Viewing Zone (CVZ).


title: Compressive Sensing Based Adaptive Active User Detection and Channel Estimation: Massive Access Meets Massive MIMO

abstract: This paper considers massive access in massive multiple-input multiple-output (MIMO) systems and proposes an adaptive active user detection and channel estimation scheme based on compressive sensing. By exploiting the sporadic traffic of massive connected user equipments and the virtual angular domain sparsity of massive MIMO channels, the proposed scheme can support massive access with dramatically reduced access latency. Specifically, we design non-orthogonal pseudo-random pilots for uplink broadband massive access, and formulate the active user detection and channel estimation problems as a generalized multiple measurement vector compressive sensing problem. Furthermore, by leveraging the structured sparsity of the uplink channel matrix, we propose an efficient generalized multiple measurement vector approximate message passing (GMMV-AMP) algorithm to realize simultaneous active user detection and channel estimation based on a spatial domain or an angular domain channel model. To jointly exploit the channel sparsity presented in both the spatial and the angular domains for enhanced performance, a Turbo-GMMV-AMP algorithm is developed for detecting the active users and estimating their channels in an alternating manner. Finally, an adaptive access scheme is proposed, which adapts the access latency to guarantee reliable massive access for practical systems with unknown channel sparsity level. Additionally, the state evolution of the proposed GMMV-AMP algorithm is derived to predict its performance. Simulation results demonstrate the superiority of the proposed active user detection and channel estimation schemes compared to several baseline schemes.


title: Pose Estimation for Non-Cooperative Rendezvous Using Neural Networks

abstract: This work introduces the Spacecraft Pose Network (SPN) for on-board estimation of the pose, i.e., the relative position and attitude, of a known non-cooperative spacecraft using monocular vision. In contrast to other state-of-the-art pose estimation approaches for spaceborne applications, the SPN method does not require the formulation of hand-engineered features and only requires a single grayscale image to determine the pose of the spacecraft relative to the camera. The SPN method uses a Convolutional Neural Network (CNN) with three branches to solve for the pose. The first branch of the CNN bootstraps a state-of-the-art object detector to detect a 2D bounding box around the target spacecraft. The region inside the bounding box is then used by the other two branches of the CNN to determine the attitude by initially classifying the input region into discrete coarse attitude labels before regressing to a finer estimate. The SPN method then uses a novel Gauss-Newton algorithm to estimate the position by using the constraints imposed by the detected 2D bounding box and the estimated attitude. The secondary contribution of this work is the generation of the Spacecraft PosE Estimation Dataset (SPEED). SPEED consists of synthetic as well as actual camera images of a mock-up of the Tango spacecraft from the PRISMA mission. The synthetic images are created by fusing OpenGL-based renderings of the spacecraft's 3D model with actual images of the Earth captured by the Himawari-8 meteorological satellite. The actual camera images are created using a 7 degrees-of-freedom robotic arm, which positions and orients a vision-based sensor with respect to a full-scale mock-up of the Tango spacecraft. The SPN method, trained only on synthetic images, produces degree-level attitude error and cm-level position errors when evaluated on the actual camera images not used during training.


title: Antisymmetric paramodular forms of weight 3

abstract: The problem on the construction of antisymmetric paramodular forms of canonical weight 3 was open since 1998. Any cusp form of this type determines a canonical differential form on any smooth compactification of the moduli space of Kummer surfaces associated to $(1,t)$-polarised abelian surfaces. In this paper, we construct the first infinite family of antisymmetric paramodular forms of weight 3 as Borcherds products whose first Fourier-Jacobi coefficient is a theta block.


title: Radiative corrections to Gamow-Teller decays

abstract: Radiative corrections in the electroweak sector constitute an essential component in the ability to disentangle Beyond Standard Model physics from experimental data. This is particularly relevant for strongly bound systems undergoing weak decays such as nuclear $\beta$ decay, where its contribution to top-row CKM unitarity tests is essential. In this Letter we note the need for an additional radiative correction to the Gamow-Teller form factor in allowed decays. It concerns a combination of electrostatic final state interactions and QCD-induced currents. We review the basic derivation and report analytical results. Due to differences in their theoretical treatment in the literature, effects on the neutron and mirror systems are distinct. Significant consequences appear for a comparison of the former with lattice QCD, while changes occur in the $|V_{ud}|$ extraction in the latter. We discuss new limits on right-handed currents and provide a new value for $|V_{ud}|$ from mirror decays.


title: Quantum Semiparametric Estimation

abstract: In the study of quantum limits to parameter estimation, the high dimensionality of the density operator and that of the unknown parameters have long been two of the most difficult challenges. Here we propose a theory of quantum semiparametric estimation that can circumvent both challenges and produce simple analytic bounds for a class of problems in which the dimensions are arbitrarily high, few prior assumptions about the density operator are made, but only a finite number of the unknown parameters are of interest. We also relate our bounds to Holevo's version of the quantum Cram\'er-Rao bound, so that they can inherit the asymptotic attainability of the latter in many cases of interest. The theory is especially relevant to the estimation of a parameter that can be expressed as a function of the density operator, such as the expectation value of an observable, the fidelity to a pure state, the purity, or the von Neumann entropy. Potential applications include quantum state characterization for many-body systems, optical imaging, and interferometry, where full tomography of the quantum state is often infeasible and only a few select properties of the system are of interest.


title: Superstring at the boundary of open supermembrane interacting with D=4 supergravity and matter supermultiplets

abstract: We present the complete supersymmetric and $\kappa$--symmetric action for the 4-dimensional interacting system of open supermembrane, dynamical supergravity and 3--form matter multiplets. The cases of a single 3-form matter multiplet and a quite generic model with a number of nonlinear interacting double 3-form multiplets are considered. In all cases the fermionic parameter of the $\kappa$-symmetry is subject to two apparently different projection conditions which suggests that the ground state of the system, in particular a domain junction, might preserve at most 1/4 of the spacetime supersymmetry. The boundary term of the open supermembrane action, needed to preserve the $\kappa$-symmetry, has the meaning of the action of a superstring. The Wess--Zumino term of this superstring action is expressed in terms of real linear superfield playing the role of St\"uckelberg field for the 3--form gauge symmetry. This indicates that this symmetry is broken spontaneously by the superstring at the boundary of supermembrane.


title: Computer-Simulation Model Theory (P= NP is not provable)

abstract: The simulation hypothesis says that all the materials and events in the reality (including the universe, our body, our thinking, walking and etc) are computations, and the reality is a computer simulation program like a video game. All works we do (talking, reasoning, seeing and etc) are computations performed by the universe-computer which runs the simulation program. Inspired by the view of the simulation hypothesis (but independent of this hypothesis), we propose a new method of logical reasoning named "Computer-Simulation Model Theory", CSMT. Computer-Simulation Model Theory is an extension of Mathematical Model Theory where instead of mathematical-structures, computer-simulations are replaced, and the activity of reasoning and computing of the reasoner is also simulated in the model. (CSMT) argues that: For a formula $\phi$, construct a computer simulation model $S$, such that 1- $\phi$ does not hold in $S$, and 2- the reasoner $I$ $($human being, the one who lives inside the reality$)$ cannot distinguish $S$ from the reality $(R)$, then $I$ cannot prove $\phi$ in reality. Although $\mathrm{CSMT}$ is inspired by the simulation hypothesis, but this reasoning method is independent of the acceptance of this hypothesis. As we argue in this part, one may do not accept the simulation hypothesis, but knows $\mathrm{CSMT}$ a valid reasoning method. As an application of Computer-Simulation Model Theory, we study the famous problem P vs NP. We let $\phi \equiv\mathrm{ [P= NP]} $ and construct a computer simulation model $E$ such that $\mathrm{P= NP}$ does not hold in $E$.


title: Escaping the State of Nature: A Hobbesian Approach to Cooperation in Multi-agent Reinforcement Learning

abstract: Cooperation is a phenomenon that has been widely studied across many different disciplines. In the field of computer science, the modularity and robustness of multi-agent systems offer significant practical advantages over individual machines. At the same time, agents using standard reinforcement learning algorithms often fail to achieve long-term, cooperative strategies in unstable environments when there are short-term incentives to defect. Political philosophy, on the other hand, studies the evolution of cooperation in humans who face similar incentives to act individualistically, but nevertheless succeed in forming societies. Thomas Hobbes in Leviathan provides the classic analysis of the transition from a pre-social State of Nature, where consistent defection results in a constant state of war, to stable political community through the institution of an absolute Sovereign. This thesis argues that Hobbes's natural and moral philosophy are strikingly applicable to artificially intelligent agents and aims to show that his political solutions are experimentally successful in producing cooperation among modified Q-Learning agents. Cooperative play is achieved in a novel Sequential Social Dilemma called the Civilization Game, which models the State of Nature by introducing the Hobbesian mechanisms of opponent learning awareness and majoritarian voting, leading to the establishment of a Sovereign.


title: Characterization of Surface and Structure of in-situ Doped Sol-Gel-Derived Silicon Carbide

abstract: Silicon carbide (SiC), is an artificial semiconductor used for high-power transistors and blue LEDs, for its extraordinary properties. SiC would be attractive for more applications, but large-scale or large-surface area fabrication, with control over defects and surface is challenging. Sol-gel based techniques are an affordable alternative towards such requirements. This report describes two types of microcrystalline SiC derived after carbothermal reduction from sol-gel-based precursors, one with nitrogen added, the other aluminum. Characterization of their bulk, structure and surface shows that incorporation of dopants affects the formation of polytypes and surface chemistry. Nitrogen leads exclusively to cubic SiC, exhibiting a native oxide surface. Presence of aluminum instead promotes growth of hexagonal polytypes and induces self-passivation of the crystallites surface during growth. This is established by hydrogenation of silicon bonds and formation of a protecting aluminum carbonate species. XPS provides support for the suggested mechanism. This passivation is achieved in only one step, solely by aluminium in the precursor. Hence, it is shown that growth, doping and passivation of SiC can be performed as one-pot synthesis. Material without insulating oxide and a limited number of defects is highly valuable for applications involving surface-sensitive charge-transfer reactions, therefore the potential of this method is significant.


title: A note on the implementation of the hyperelastic Kilian model in the Abaqus

abstract: The main goal of the article is to verify the implementation of the Kilian material model in the Abaqus/Standard. The key feature of the model is that it describes so called strain locking, which results directly from a structure of the stored energy function. Basic properties of the considered incompressible material model are illustrated base on three types of homogeneous deformations. To compare response of the material model, the Gent model is considered as well. Verification of the implementation concerns simple numerical tests based on the built-in Kilian model and the UHYPER procedure. We show that in the first case the locking constraint is satisfied while in the second one it is not. This indicates an existence of an additional numerical procedure which is not mentioned in the software documentation.


title: J/$\psi$ production as a function of charged-particle multiplicity in pp collisions at $\sqrt{s}$ = 5.02 TeV with ALICE

abstract: The relative J/$\psi$ yields as a function of relative charged-particle multiplicity in pp collisions at $\sqrt{s}$ = 5.02 TeV, measured at forward rapidity, are investigated for the first time. A linear increase of the relative J/$\psi$ yield with respect to multiplicity is observed. A comparison of the findings of the present work with the available ALICE measurements obtained in pp collisions at $\sqrt{s}$ = 13 TeV at forward and mid-rapidity indicates that the increase of J/$\psi$ with multiplicity is independent of energy but exhibits a strong dependence on the rapidity gap between the J/$\psi$ and multiplicity measurements. The results are compared with theoretical model calculations.


title: The optical and near-infrared spectrum of the Crab pulsar with X-shooter

abstract: Pulsars are well studied all over the electromagnetic spectrum, and the Crab pulsar may be the most studied object in the sky. Nevertheless, a high-quality optical to near-infrared spectrum of the Crab or any other pulsar has not been published to date. Obtaining a properly flux-calibrated spectrum enables us to measure the spectral index of the pulsar emission, without many of the caveats from previous studies. This was the main aim of this project, but we could also detect absorption and emission features from the pulsar and nebula over an unprecedentedly wide wavelength range. A spectrum was obtained with the X-shooter spectrograph on the Very Large Telescope. Particular care was given to the flux-calibration of these data. A high signal-to-noise spectrum of the Crab pulsar was obtained from 300 to 2400nm. The spectral index fitted to this spectrum is flat with alpha_nu=0.16 +- 0.07. For the emission lines we measure a maximum velocity of 1600 km/s, whereas the absorption lines from the material between us and the pulsar is unresolved at the 50 km/s resolution. A number of Diffuse Interstellar Bands and a few near-IR emission lines that have previously not been reported from the Crab are highlighted.


title: Octahedral tilting induced isospin reorientation transition in iridate heterostructures

abstract: Iridate heterostructures are gaining interest as their magnetic properties are much more sensitive to structural distortion compared to pure spin systems due to spin-orbital entanglement induced by strong spin-orbit coupling. While bulk monolayer and bilayer iridates show $ab$-plane canted and $c$-axis antiferromagnetic (AFM) order, recent experiments on layered iridate superlattices (SL) have revealed striking properties, especially in the bilayer SL. A spin model is presented including the tilting induced Kitaev type interactions, which illustrates the proclivity towards $ab$-plane canted AFM order. A realistic Hubbard model including spin-dependent hopping terms arising from octahedral rotation and tilting is constructed for the bilayer SL in isospin space, and magnetic excitations are investigated in the self-consistently determined magnetic state. The Hubbard model analysis confirms the spin model results and shows strongly reduced magnon energy gap and an isospin reorientation transition from $c$-axis to $ab$-plane canted AFM order with increasing tilting.


title: Online Revenue Maximization for Server Pricing

abstract: Efficient and truthful mechanisms to price resources on remote servers/machines has been the subject of much work in recent years due to the importance of the cloud market. This paper considers revenue maximization in the online stochastic setting with non-preemptive jobs and a unit capacity server. One agent/job arrives at every time step, with parameters drawn from an underlying unknown distribution. We design a posted-price mechanism which can be efficiently computed, and is revenue-optimal in expectation and in retrospect, up to additive error. The prices are posted prior to learning the agent's type, and the computed pricing scheme is deterministic, depending only on the length of the allotted time interval and on the earliest time the server is available. If the distribution of agent's type is only learned from observing the jobs that are executed, we prove that a polynomial number of samples is sufficient to obtain a near-optimal truthful pricing strategy.


title: Inter-residue, inter-protein and inter-family coevolution: bridging the scales

abstract: Interacting proteins coevolve at multiple but interconnected scales, from the residue-residue over the protein-protein up to the family-family level. The recent accumulation of enormous amounts of sequence data allows for the development of novel, data-driven computational approaches. Notably, these approaches can bridge scales within a single statistical framework. While being currently applied mostly to isolated problems on single scales, their immense potential for an evolutionary informed, structural systems biology is steadily emerging.

categories: q-bio.BM physics.bio-ph q-bio.MN q-bio.QM


title: Collaborative Metric Learning with Memory Network for Multi-Relational Recommender Systems

abstract: The success of recommender systems in modern online platforms is inseparable from the accurate capture of users' personal tastes. In everyday life, large amounts of user feedback data are created along with user-item online interactions in a variety of ways, such as browsing, purchasing, and sharing. These multiple types of user feedback provide us with tremendous opportunities to detect individuals' fine-grained preferences. Different from most existing recommender systems that rely on a single type of feedback, we advocate incorporating multiple types of user-item interactions for better recommendations. Based on the observation that the underlying spectrum of user preferences is reflected in various types of interactions with items and can be uncovered by latent relational learning in metric space, we propose a unified neural learning framework, named Multi-Relational Memory Network (MRMN). It can not only model fine-grained user-item relations but also enable us to discriminate between feedback types in terms of the strength and diversity of user preferences. Extensive experiments show that the proposed MRMN model outperforms competitive state-of-the-art algorithms in a wide range of scenarios, including e-commerce, local services, and job recommendations.


title: Sensitivity Analysis and Generalized Chaos Expansions. Lower Bounds for Sobol indices

abstract: The so-called polynomial chaos expansion is widely used in computer experiments. For example, it is a powerful tool to estimate Sobol' sensitivity indices. In this paper, we consider generalized chaos expansions built on general tensor Hilbert basis. In this frame, we revisit the computation of the Sobol' indices and give general lower bounds for these indices. The case of the eigenfunctions system associated with a Poincar{\'e} differential operator leads to lower bounds involving the derivatives of the analyzed function and provides an efficient tool for variable screening. These lower bounds are put in action both on toy and real life models demonstrating their accuracy.


title: Channel-by-Channel Demosaicking Networks with Embedded Spectral Correlation

abstract: Demosaicking is standardly the first step in today's Image Signal Processing (ISP) pipeline of digital cameras. It reconstructs image RGB values from the spatially and spectrally sparse Color Filter Array (CFA) samples, which are the original raw data digitized from electrical signals. High quality and low cost demosaicking is not only necessary for photography, but also fundamental for many machine vision tasks. This paper proposes an accurate and fast demosaicking model based on Convolutional Neural Networks (CNN) for the Bayer CFA, which is the most popular color filter arrangement adopted by digital camera manufacturers. Observing that each channel has different estimation complexity, we reconstruct each channel by an individual sub-network. Moreover, instead of directly estimating the red and blue values, our model infers the green-red and green-blue color difference. This strategy allows recovering the most complex channel by a light weight network. Although the total size of our model is significantly smaller than the state of the art demosaicking networks, it achieves substantially higher performance in both demosaicking quality and computational cost, as validated by extensive experiments. Source code will be released along with paper publication.


title: Ultrasound-based Silent Speech Interface Built on a Continuous Vocoder

abstract: Recently it was shown that within the Silent Speech Interface (SSI) field, the prediction of F0 is possible from Ultrasound Tongue Images (UTI) as the articulatory input, using Deep Neural Networks for articulatory-to-acoustic mapping. Moreover, text-to-speech synthesizers were shown to produce higher quality speech when using a continuous pitch estimate, which takes non-zero pitch values even when voicing is not present. Therefore, in this paper on UTI-based SSI, we use a simple continuous F0 tracker which does not apply a strict voiced / unvoiced decision. Continuous vocoder parameters (ContF0, Maximum Voiced Frequency and Mel-Generalized Cepstrum) are predicted using a convolutional neural network, with UTI as input. The results demonstrate that during the articulatory-to-acoustic mapping experiments, the continuous F0 is predicted with lower error, and the continuous vocoder produces slightly more natural synthesized speech than the baseline vocoder using standard discontinuous F0.


title: Asymptotic Bethe ansatz of ABJM open spin chain from giant graviton

abstract: In our previous work, the two-loop integrability of ABJM determinant like operator has been well established. In this paper, we push the integrability to all loop orders. The asymptotic Bethe ansatz equations for ABJM determinant like operator (open string attached on giant graviton) are obtained. In the derivation, the symmetries preserved by the bulk and the boundary played a crucial role. Taking the weak coupling limit and applying appropriate fermionic dualities, we obtained a different set of scalar sector Bethe equations with our previous results. When the "gauge" transformation on Bethe equations was introduced, the discrepancy disappeared.


title: Condensation of SIP particles and sticky Brownian motion

abstract: We study the symmetric inclusion process (SIP) in the condensation regime. We obtain an explicit scaling for the variance of the density field in this regime, when initially started from a homogeneous product measure. This provides relevant new information on the coarsening dynamics of condensing interacting particle systems on the infinite lattice. We obtain our result by proving convergence to sticky Brownian motion for the difference of positions of two SIP particles in the sense of Mosco convergence of Dirichlet forms. Our approach implies the convergence of the probabilities of two SIP particles to be together at time $t$. This, combined with self-duality, allows us to obtain the explicit scaling for the variance of the fluctuation field.


title: Simultaneous Harvest-and-Transmit Ambient Backscatter Communications under Rayleigh Fading

abstract: Ambient backscatter communications is an emerging paradigm and a key enabler for pervasive connectivity of low-powered wireless devices. It is primarily beneficial in the Internet of things (IoT) and the situations where computing and connectivity capabilities expand to sensors and miniature devices that exchange data on a low power budget. The premise of the ambient backscatter communication is to build a network of devices capable of operating in a battery-free manner by means of smart networking, radio frequency (RF) energy harvesting and power management at the granularity of individual bits and instructions. Due to this innovation in communication methods, it is essential to investigate the performance of these devices under practical constraints. To do so, this article formulates a model for wireless-powered ambient backscatter devices and derives a closed-form expression of outage probability under Rayleigh fading. Based on this expression, the article provides the power-splitting factor that balances the tradeoff between energy harvesting and achievable data rate. Our results also shed light on the complex interplay of a power-splitting factor, amount of harvested energy, and the achievable data rates.


title: Improving Branch Prediction By Modeling Global History with Convolutional Neural Networks

abstract: CPU branch prediction has hit a wall--existing techniques achieve near-perfect accuracy on 99% of static branches, and yet the mispredictions that remain hide major performance gains. In a companion report, we show that a primary source of mispredictions is a handful of systematically hard-to-predict branches (H2Ps), e.g. just 10 static instructions per SimPoint phase in SPECint 2017. The lost opportunity posed by these mispredictions is significant to the CPU: 14.0% in instructions-per-cycle (IPC) on Intel SkyLake and 37.4% IPC when the pipeline is scaled four-fold, on par with gains from process technology. However, up to 80% of this upside is unreachable by the best known branch predictors, even when afforded exponentially more resources. New approaches are needed, and machine learning (ML) provides a palette of powerful predictors. A growing body of work has shown that ML models are deployable within the microarchitecture to optimize hardware at runtime, and are one way to customize CPUs post-silicon by training to customer applications. We develop this scenario for branch prediction using convolutional neural networks (CNNs) to boost accuracy for H2Ps. Step-by-step, we (1) map CNNs to the global history data used by existing branch predictors; (2) show how CNNs improve H2P prediction in SPEC 2017; (3) adapt 2-bit CNN inference to the constraints of current branch prediction units; and (4) establish that CNN helper predictors are reusable across application executions on different inputs, enabling us to amortize offline training and deploy ML pattern matching to improve IPC.


title: Self Multi-Head Attention for Speaker Recognition

abstract: Most state-of-the-art Deep Learning (DL) approaches for speaker recognition work on a short utterance level. Given the speech signal, these algorithms extract a sequence of speaker embeddings from short segments and those are averaged to obtain an utterance level speaker representation. In this work we propose the use of an attention mechanism to obtain a discriminative speaker embedding given non fixed length speech utterances. Our system is based on a Convolutional Neural Network (CNN) that encodes short-term speaker features from the spectrogram and a self multi-head attention model that maps these representations into a long-term speaker embedding. The attention model that we propose produces multiple alignments from different subsegments of the CNN encoded states over the sequence. Hence this mechanism works as a pooling layer which decides the most discriminative features over the sequence to obtain an utterance level representation. We have tested this approach for the verification task for the VoxCeleb1 dataset. The results show that self multi-head attention outperforms both temporal and statistical pooling methods with a 18\% of relative EER. Obtained results show a 58\% relative improvement in EER compared to i-vector+PLDA.


title: Buy or Sell? Energy Sharing of Prosumers on Constrained Networks

abstract: The advent of intelligent agents who produce and consume energy by themselves has led the smart grid into the era of "prosumer", offering the energy system and customers a unique opportunity to revaluate/trade their spot energy via a sharing initiative. To this end, designing an appropriate sharing mechanism is an issue with crucial importance and has captured great attention. This paper addresses the prosumers' demand response problem via energy sharing. Under a general supply-demand function bidding scheme, a sharing market clearing procedure considering network constraints is proposed, which gives rise to a generalized Nash game. The existence and uniqueness of market equilibrium are proved in non-congested cases. When congestion occurs, infinitely much equilibrium may exist because the strategy spaces of prosumers are correlated. A price-regulation procedure is introduced in the sharing mechanism, which outcomes a unique equilibrium that is fair to all participants. Properties of the improved sharing mechanism, including the individual rational behaviors of prosumers and the components of sharing price, are revealed. When the number of prosumers increases, the proposed sharing mechanism approaches social optimum. Even with fixed number of resources, introducing competition can result in a decreasing social cost. Illustrative examples validate the theoretical results and provide more insights for the energy sharing research.


title: On eight colour partitions

abstract: In this article, we study the arithmetic properties of the partition function $p_8(n)$, the number of 8-colour partitions of $n$. We prove several Ramanujan type congruences modulo higher powers of 2 for the function $p_8(n)$ by finding explicit formulas for the generating functions.


title: The effect of elastic walls on suspension flow

abstract: We study suspensions of rigid particles in a plane Couette flow with deformable elastic walls. We find that, in the limit of vanishing inertia, the elastic walls induce shear thinning of the suspension flow such that the effective viscosity decreases as the wall deformability increases. This shear-thinning behavior originates from the interactions between rigid particles, soft wall and carrier fluid; an asymmetric wall deformation induces a net lift force acting on the particles which therefore migrate towards the bulk of the channel. Based on our observations, we provide a closure for the suspension viscosity which can be used to model the rheology of suspensions with arbitrary volume fraction in elastic channels.


title: Analytical treatment of the structure and thermodynamics of the square-well fluid

abstract: The main goal of this work is to accurately reproduce the structural properties of attractive systems modelled by hard-sphere plus square-well (HS+SW) interaction potential. Based on the optimized random phase approximation (ORPA), the attractive part of the interaction potential is treated as a perturbation of the hard-sphere term. We are able to obtain an analytical expression for the structure factor $ S \left( k \right) $ which reproduces the low density limit. The microscopical structure of the fluid phase of several SW fluids is computed and compared with Monte Carlo (MC) simulation results showing that the structure factor is well reproduced in a wide range of wave vectors, in addition, the contact and discontinuity values of the radial distribution function are found to be in good agreement. Additionally, we compute the pressure equation of state and perform a quantitative analysis comparing with simulation results found that in a large set of densities and temperatures our approach outperform its linear form. Furthermore, we show that the theoretical approach developed in this study works very well for many thermodynamic states leading us a versatile and confident tool to systematic compute the structure and thermodynamics of SW fluids.


title: Most Important Fundamental Rule of Poker Strategy

abstract: Poker is a large complex game of imperfect information, which has been singled out as a major AI challenge problem. Recently there has been a series of breakthroughs culminating in agents that have successfully defeated the strongest human players in two-player no-limit Texas hold 'em. The strongest agents are based on algorithms for approximating Nash equilibrium strategies, which are stored in massive binary files and unintelligible to humans. A recent line of research has explored approaches for extrapolating knowledge from strong game-theoretic strategies that can be understood by humans. This would be useful when humans are the ultimate decision maker and allow humans to make better decisions from massive algorithmically-generated strategies. Using techniques from machine learning we have uncovered a new simple, fundamental rule of poker strategy that leads to a significant improvement in performance over the best prior rule and can also easily be applied by human players.


title: Characterizing 1D Inertial Particle Clustering

abstract: Clustering is an important phenomenon in turbulent flows laden with inertial particles. Although this process has been studied extensively, there are still open questions about both the fundamental physics and the reconciliation of different observations into a coherent quantitative view of this important mechanism for particle-turbulence interaction. In this work, we study the effect of projecting this phenomenon onto 2D and 1D (as usually done in experiments). In particular, the effect of measurement volume in 1D projections on detected cluster properties, such as size or concentration, is explored to provide a method for comparison of published/future observations, from experimental or numerical data. The results demonstrate that, in order to capture accurate values of the mean cluster properties under a wide range of experimental conditions, the measurement volume needs to be larger than the Kolmogorov length scale, and smaller than about ten percent of the integral length scale of the turbulence. This dependency provides the correct scaling to carry out 1D measurements of preferential concentration, considering the turbulence characteristics. It is also critical to disentangle the cluster-characterizing results from random contributions to the cluster statistics, especially in 1D, as the raw probability density function of Voronoi cells does not provide error-free information on the clusters size or local concentration. We propose a methodology to correct for this measurement bias, with an analytical model of the cluster PDF obtained from comparison with a Random Poisson Process probability distribution in 1D, which appears to discard the existence of power laws in the cluster PDF. We develop a new test to discern between turbulence-driven clustering and randomness, that complements the cluster identification algorithm by segregating the number of particles inside each cluster.


title: Interevent time distributions of avalanche dynamics

abstract: Physical systems characterized by stick-slip dynamics often display avalanches. Regardless of the diversity of their microscopic structure, these systems are governed by a power-law distribution of avalanche size and duration. Here we focus on the interevent times between avalanches and show that, unlike their distributions of size and duration, the interevent time distributions are able to distinguish different mechanical states of the system, characterized by different volume fractions or confining pressures. We use experiments on granular systems and numerical simulations of emulsions to show that systems having the same probability distribution for avalanche size and duration can have different interevent time distributions. Remarkably, for large packing ratios, these interevent time distributions look similar to those for earthquakes and are indirect evidence of large space-time correlations in the system. Our results therefore indicate that interevent time statistics are more informative to characterize the dynamics of avalanches.


title: Magnetic and Electric Mie-Exciton Polaritons in Silicon Nanodisks

abstract: Light-matter interactions at the nanoscale constitute a fundamental ingredient for engineering applications in nanophotonics and quantum optics. To this regard electromagnetic Mie resonances excited in high-refractive index dielectric nanoparticles have recently attracted interest because of their lower losses and better control over the scattering patterns compared to their plasmonic metallic counterparts. The emergence of several resonances in those systems results in an overall high complexity, where the electric and magnetic dipoles have significant overlap in the case of spherical symmetry, thus concealing the contributions of each resonance separately. Here we show, experimentally and theoretically, the emergence of strong light-matter coupling between the magnetic and electric-dipole resonances of individual silicon nanodisks coupled to a J-aggregated organic semiconductor resonating at optical frequencies, evidencing how the different properties of the two resonances results in two different coupling strengths. The energy splittings observed are of the same order of magnitude as in similar plasmonic systems, thus confirming dielectric nanoparticles as promising alternatives for localized strong coupling studies. The coupling of both the electric and magnetic dipole resonances can offer interesting possibilities for the control of directional light scattering in the strong-coupling regime and the dynamic tuning of nanoscale light-matter coupled states by external fields.


title: Verifying Relational Properties using Trace Logic

abstract: We present a logical framework for the verification of relational properties in imperative programs. Our work is motivated by relational properties which come from security applications and often require reasoning about formulas with quantifier-alternations. Our framework reduces verification of relational properties of imperative programs to a validity problem into trace logic, an expressive instance of first-order predicate logic. Trace logic draws its expressiveness from its syntax, which allows expressing properties over computation traces. Its axiomatization supports fine-grained reasoning about intermediate steps in program execution, notably loop iterations. We present an algorithm to encode the semantics of programs as well as their relational properties in trace logic, and then show how first-order theorem proving can be used to reason about the resulting trace logic formulas. Our work is implemented in the tool Rapid and evaluated with examples coming from the security field.


title: Determining the anisotropy and exchange parameters of polycrystalline spin-1 magnets

abstract: Although low-dimensional $S = 1$ antiferromagnets remain of great interest, difficulty in obtaining high-quality single crystals of the newest materials hinders experimental research in this area. Polycrystalline samples are more readily produced, but there are inherent problems in extracting the magnetic properties of anisotropic systems from powder data. Following a discussion of the effect of powder-averaging on various measurement techniques, we present a methodology to overcome this issue using thermodynamic measurements. In particular we focus on whether it is possible to characterise the magnetic properties of polycrystalline, anisotropic samples using readily available laboratory equipment. We test the efficacy of our method using the magnets [Ni(H$_{2}$O)$_{2}$(3,5-lutidine)$_{4}$](BF$_{4}$)$_{2}$ and Ni(H$_{2}$O)$_{2}$(acetate)$_{2}$(4-picoline)$_{2}$, which have negligible exchange interactions, as well as the antiferromagnet [Ni(H$_{2}$O)$_{2}$(pyrazine)$_{2}$](BF$_{4}$)$_{2}$, and show that we are able to extract the anisotropy parameters in each case. The results obtained from the thermodynamic measurements are checked against electron-spin resonance and neutron diffraction. We also present a density functional method, which incorporates spin-orbit coupling to estimate the size of the anisotropy in [Ni(H$_{2}$O)$_{2}$(pyrazine)$_{2}$](BF$_{4}$)$_{2}$.


title: Compact Hankel Operators with Bounded Symbols

abstract: We discuss the compactness of Hankel operators on Hardy, Bergman and Fock spaces with focus on the differences between the three cases, and complete the theory of compact Hankel operators with bounded symbols on the latter two spaces with standard weights. In particular, we give a new proof (using limit operator techniques) of the result that the Hankel operator $H_f$ is compact on Fock spaces if and only if $H_{\bar f}$ is compact. Our proof fully explains that this striking result is caused by the lack of nonconstant bounded analytic functions in the complex plane (unlike in the other two spaces) and extends the result from the Fock-Hilbert space to all Fock-Banach spaces. As in Hardy spaces, we also show that the compactness of Hankel operators is independent of the underlying space in the other two cases.


title: A Study of Solar Irradiance Prediction Error Impact on a Home Energy Management System

abstract: Nowadays, Energy Management Systems (EMS) are accessible for homes and buildings to optimize energy consumption especially when solar panels and batteries are installed. The intelligence of existing systems is often based on environmental or exogenous information like the weather, energy prices, and endogenous information like user consumption behavior and activity. The solutions aim to adapt a consumption profile to the produced energy in order to reduce costs. In the case of a perfect prediction of all variables, system performance can be controlled. In this article, we study the impact of generation prediction error on the daily energy cost. For this, we consider the energy management system as a black-box and we simulate multiple scenarios with different prediction errors using the quasi-random Monte Carlo method. We observe the global sensitivity of the system by measuring the Sobol indices in order to identify errors that impact more the daily energy cost. The analyses are based on French consumption data and on irradiance data for Carpentras, France. Results show that findings are aligned with battery charge and discharge strategies.


title: What drives Oregon shelf summer hypoxia?

abstract: Using coupled biological-physical model based on NPZD-type biological model and 3D coastal ocean model (ROMS) we studied dissolved oxygen (DO) dynamics and hypoxia development on Oregon shelf during April-August of 2002, 2006, and 2008. We found that shelf hypoxia existed during summer months of all three years. It was characterized by variable severity, horizontal and vertical extent, duration and timing, and it was more pronounced in 2002 and 2006. By the means of numerical sensitivity analysis we found out that: inadequate initial DO and NO3 conditions in late-spring 2002 prevented or delayed hypoxia development; offshore and especially northern DO and NO3 boundary conditions are important to simulating hypoxia on the Oregon shelf, this was especially critical for early bottom hypoxia on the shelf north of 45N in 2006; hypoxia occurred earlier in the north in 2006 and in the south (Heceta Bank) in 2002, perhaps, due to different northern boundary conditions for these years; the DO and NO3 conditions at western open boundary located some 400 km offshore are unimportant for DO dynamics in spring-summer. Although DO production due to biological processes is large, physical processes, mostly horizontal advection and diffusion, are responsible for net DO reduction in spring-summer and hypoxia onset in summer on the Oregon shelf. The physical mechanism most responsible for Oregon shelf hypoxia is the coastal upwelling. Diffusive fluxes of NO3 and DO are negligible at northern and southern boundaries of the Oregon shelf and appreciable at the western boundary. In 2006, about two thirds of total April-August DO loss happened in April-May as a result of strong and long-lasting upwelling event.


title: How is density compensation created in the ocean mixed layer?

abstract: This study examines the impact of turbulent mixing on horizontal density compensation in the upper ocean. A series of simulations model the role of mixing in scenarios initialized with geostrophically-adjusted compensated and uncompensated thermohaline gradients. Numerical experiments isolate the influence of mixing on these gradients using idealized conditions with zero surface heat and momentum flux. Prompted by theoretical considerations and observed consequences of mixing, a new non-linear horizontal diffusion scheme is introduced as an alternative to the standard Laplacian diffusion. Results suggest that when horizontal mixing is parameterized using constant diffusivities, horizontal density compensation is substantially unchanged as the gradients erode. Simulations using the new scheme, which parameterizes mixing with horizontal diffusivities scaled by squared buoyancy gradient, suggest that horizontal mixing can produce compensated gradients during this decay, but only at scales of 10 km and less. Reducing vertical mixing to small background values has a similar effect, increasing the degree of compensation at submesoscales. Reproducing observed compensated thermohaline variability in the mixed layer at scales greater than 10 km requires external forcing. These results show important influences of mixing on density compensation within the ageostrophic submesoscale regime. In the transition from a horizontally compensated mixed layer to a partially compensated thermocline, advection must play an important role; mixing alone is insufficient.


title: Embedded Deep Learning for Sleep Staging

abstract: The rapidly-advancing technology of deep learning (DL) into the world of the Internet of Things (IoT) has not fully entered in the fields of m-Health yet. Among the main reasons are the high computational demands of DL algorithms and the inherent resource-limitation of wearable devices. In this paper, we present initial results for two deep learning architectures used to diagnose and analyze sleep patterns, and we compare them with a previously presented hand-crafted algorithm. The algorithms are designed to be reliable for consumer healthcare applications and to be integrated into low-power wearables with limited computational resources.


title: On Littlewood's proof of the prime number theorem

abstract: In this note we examine Littlewood's proof of the prime number theorem. We show that this can be extended to provide an equivalence between the prime number theorem and the non-vanishing of Riemann's zeta-function on the one-line. Our approach goes through the theory of almost periodic functions and is self-contained.


title: C-SALT: Mining Class-Specific ALTerations in Boolean Matrix Factorization

abstract: Given labeled data represented by a binary matrix, we consider the task to derive a Boolean matrix factorization which identifies commonalities and specifications among the classes. While existing works focus on rank-one factorizations which are either specific or common to the classes, we derive class-specific alterations from common factorizations as well. Therewith, we broaden the applicability of our new method to datasets whose class-dependencies have a more complex structure. On the basis of synthetic and real-world datasets, we show on the one hand that our method is able to filter structure which corresponds to our model assumption, and on the other hand that our model assumption is justified in real-world application. Our method is parameter-free.


title: Brain Network Construction and Classification Toolbox (BrainNetClass)

abstract: Brain functional network has become an increasingly used approach in understanding brain functions and diseases. Many network construction methods have been developed, whereas the majority of the studies still used static pairwise Pearson's correlation-based functional connectivity. The goal of this work is to introduce a toolbox namely "Brain Network Construction and Classification" (BrainNetClass) to the field to promote more advanced brain network construction methods. It comprises various brain network construction methods, including some state-of-the-art methods that were recently developed to capture more complex interactions among brain regions along with connectome feature extraction, reduction, parameter optimization towards network-based individualized classification. BrainNetClass is a MATLAB-based, open-source, cross-platform toolbox with graphical user-friendly interfaces for cognitive and clinical neuroscientists to perform rigorous computer-aided diagnosis with interpretable result presentations even though they do not possess neuroimage computing and machine learning knowledge. We demonstrate the implementations of this toolbox on real resting-state functional MRI datasets. BrainNetClass (v1.0) can be downloaded from https://github.com/zzstefan/BrainNetClass.


title: Deep Exemplar-based Video Colorization

abstract: This paper presents the first end-to-end network for exemplar-based video colorization. The main challenge is to achieve temporal consistency while remaining faithful to the reference style. To address this issue, we introduce a recurrent framework that unifies the semantic correspondence and color propagation steps. Both steps allow a provided reference image to guide the colorization of every frame, thus reducing accumulated propagation errors. Video frames are colorized in sequence based on the colorization history, and its coherency is further enforced by the temporal consistency loss. All of these components, learned end-to-end, help produce realistic videos with good temporal stability. Experiments show our result is superior to the state-of-the-art methods both quantitatively and qualitatively.


title: Hydration lubrication of polyzwitterionic brushes leads to nearly friction- and adhesion-free droplet motion

abstract: Recently, there has been much progress in the design and application of oil-repellent superoleophobic surfaces. Polyzwitterionic brush surfaces are of particular interest, because of their ability to repel oil under water, even in the absence of micro-/nano-structures. The origin of this underwater superoleophobicity is attributed to the presence of a stable water film beneath the oil droplet, but this had not been demonstrated experimentally. Here, using optical interferometric techniques, we show that an oil droplet effectively hydroplanes over a water film, whose thickness is between one hundred and hundreds of nanometres. In addition, using a custom-built Droplet Force Apparatus, we measured the friction and adhesion forces to be in the nN range for millimetric-sized droplets. These forces are much lower than for other classes of well-known liquid-repellent surfaces, including the lotus-effect and lubricant-infused surfaces, where the typical force is on the order of $\mu$N


title: Global haze aerosol distribution: a direct view by Geofen-5 satellite with 3.3 km spatial resolution

abstract: The Directional Polarimetric Camera (DPC) is the first Chinese multi-angle polarized earth observation satellite sensor, which has been launched onboard the GaoFen-5 Satellite in Chinese High-resolution Earth Observation Program. GaoFen-5 runs in a sun-synchronous orbit with the 2-days revisiting period. DPC employed a charge coupled device detection unit, and can realize spatial resolution of 3.3 km under a swath width of 1850 km. Moreover, DPC has 3 polarized channels together with 5 non-polarized bands, and is able to obtain at least 9 viewing angles by continuously capturing series images over the same target on orbit. Based on the Directional Polarization Camera (DPC) onboard GF-5 satellite, the first global high-resolution (3.3 km) map of fine-mode aerosol optical depth (AODf) over land has been obtained together by Aerospace Information Institute, Chinese Academy of Sciences, Anhui Institute of Optics and Fine Mechanics, Chinese Academy of Sciences (the manufacturer of DPC sensor) and other institutes. This AODf remote sensing observation dataset has the highest spatial resolution in the world. It can reflect the spatial information of major air pollutants (PM2.5, etc.) and provide critical basic products for "decryption" of global haze distribution.


title: KaWAT: A Word Analogy Task Dataset for Indonesian

abstract: We introduced KaWAT (Kata Word Analogy Task), a new word analogy task dataset for Indonesian. We evaluated on it several existing pretrained Indonesian word embeddings and embeddings trained on Indonesian online news corpus. We also tested them on two downstream tasks and found that pretrained word embeddings helped either by reducing the training epochs or yielding significant performance gains.


title: Exhausting Curve Complexes by Finite Rigid Sets on Nonorientable Surfaces

abstract: Let $N$ be a compact, connected, nonorientable surface of genus $g$ with $n$ boundary components. Let $\mathcal{C}(N)$ be the curve complex of $N$. We prove that if $(g,n) = (3,0)$ or $g + n \geq 5$, then there is an exhaustion of $\mathcal{C}(N)$ by a sequence of finite rigid sets. This improves the author's result on exhaustion of $\mathcal{C}(N)$ by a sequence of finite superrigid sets.


title: Weak solution of the merged mathematical equations of the polluted atmosphere

abstract: Considered as a geophysical fluid, the polluted atmosphere shares the shallow domain characteristics with other natural large-scale fluids such as seas and oceans. This means that its domain is excessively greater horizontally than in the vertical dimension, leading to the classic hydrostatic approximation of the Navier-Stokes equations. The authors of the \cite{azerad2001mathematical} article have proved a convergence theorem for this model with respect to the ocean, without considering pollution effects. The novelty of this present work is to provide a generalisation of their result translated to the atmosphere, extending the fluid velocity equations with an additional convection-diffusion equation representing pollutants in the atmosphere.


title: Non-uniform electro-osmotic flow drives fluid-structure instability

abstract: We demonstrate the existence of a fluid-structure instability arising from the interaction of electro-osmotic flow with an elastic substrate. Considering the case of flow within a soft fluidic chamber, we show that above a certain electric field threshold, negative gauge pressure induced by electro-osmotic flow causes the collapse of its elastic walls. We combine experiments and theoretical analysis to elucidate the underlying mechanism for instability and identify several distinct dynamic regimes. The understanding of this instability is important for the design of electrokinetic systems containing soft elements.


title: Multiplicative $p$-adic metric Diophantine approximation on manifolds and dichotomy of exponents

abstract: In this paper we study $p$-adic Diophantine approximation on manifolds, specifically multiplicative Diophantine approximation on affine subspaces and a Diophantine dichotomy for analytic $p$-adic manifolds.


title: On $\mathrm{SQED}_{3}$ and $\mathrm{SQCD}_{3}$: phase transitions and integrability

abstract: We study supersymmetric Yang-Mills theories on the three-sphere, with massive matter and Fayet-Iliopoulos parameter, showing second order phase transitions for the non-Abelian theory, extending a previous result for the Abelian theory. We study both partition functions and Wilson loops and also discuss the case of different $R$-charges. Two interpretations of the partition function as eigenfunctions of the $A_{1} $ and free $A_{N-1}$ hyperbolic Calogero-Moser integrable model are given as well.


title: Internet of Autonomous Vehicles: Architecture, Features, and Socio-Technological Challenges

abstract: Mobility is the backbone of urban life and a vital economic factor in the development of the world. Rapid urbanization and the growth of mega-cities is bringing dramatic changes in the capabilities of vehicles. Innovative solutions like autonomy, electrification, and connectivity are on the horizon. How, then, we can provide ubiquitous connectivity to the legacy and autonomous vehicles? This paper seeks to answer this question by combining recent leaps of innovation in network virtualization with remarkable feats of wireless communications. To do so, this paper proposes a novel paradigm called the Internet of autonomous vehicles (IoAV). We begin painting the picture of IoAV by discussing the salient features, and applications of IoAV which is followed by a detailed discussion on the key enabling technologies. Next, we describe the proposed layered architecture of IoAV and uncover some critical functions of each layer. This is followed by the performance evaluation of IoAV which shows the significant advantage of the proposed architecture in terms of transmission time and energy consumption. Finally, to best capture the benefits of IoAV, we enumerate some social and technological challenges and explain how some unresolved issues can disrupt the widespread use of autonomous vehicles in the future.


title: On the linear convergence rates of exchange and continuous methods for total variation minimization

abstract: We analyze an exchange algorithm for the numerical solution total-variation regularized inverse problems over the space M($\Omega$) of Radon measures on a subset $\Omega$ of R d. Our main result states that under some regularity conditions, the method eventually converges linearly. Additionally, we prove that continuously optimizing the amplitudes of positions of the target measure will succeed at a linear rate with a good initialization. Finally, we propose to combine the two approaches into an alternating method and discuss the comparative advantages of this approach.


title: Online Variational Bayesian Subspace Filtering with Applications

abstract: Matrix completion and robust principal component analysis have been widely used for the recovery of data suffering from missing entries or outliers. In many real-world applications however, the data is also time-varying, and the naive approach of per-snapshot recovery is both expensive and sub-optimal. This paper develops generative Bayesian models that fit sequential multivariate measurements arising from a low-dimensional time-varying subspace. A variational Bayesian subspace filtering approach is proposed that learns the underlying subspace and its state-transition matrix. Different from the plethora of deterministic counterparts, the proposed approach utilizes automatic relevance determination priors that obviate the need to tune key parameters such as rank and noise power. We also propose a forward-backward algorithm that allows the updates to be carried out at low complexity. Extensive tests over traffic and electricity data demonstrate the superior imputation, outlier rejection, and temporal prediction prowess of the proposed algorithm over the state-of-the-art matrix/tensor completion algorithms.


title: Macroscopic entanglement of two magnon modes via quantum correlated microwave fields

abstract: We present a scheme to entangle two magnon modes in two macroscopic yttrium-iron-garnet spheres. The two spheres are placed inside two microwave cavities, which are driven by a two-mode squeezed microwave field. By using the linear state-swap interaction between the cavity and the magnon mode in each cavity, the quantum correlation of the two driving fields is with high efficiency transferred to the two magnon modes. Considerable entanglement could be achieved under experimentally achievable conditions $g \gg \kappa_a \gg \kappa_m$, where $g$ is the cavity-magnon coupling rate and $\kappa_a$, $\kappa_m$ are the decay rates of the cavity and magnon modes, respectively. The entanglement is in the steady state and robust against temperature, surviving up to hundreds of milliKelvin with experimentally accessible two-mode squeezed source.


title: The Golomb topology on a Dedekind domain and the group of units of its quotients

abstract: We study the Golomb spaces of Dedekind domains with torsion class group. In particular, we show that a homeomorphism between two such spaces sends prime ideals into prime ideals and preserves the $P$-adic topology on $R\setminus P$. Under certain hypothesis, we show that we can associate to a prime ideal $P$ of $R$ a partially ordered set, constructed from some subgroups of the group of units of $R/P^n$, which is invariant under homeomorphisms, and use this result to show that the unique self-homeomorphisms of the Golomb space of $\mathbb{Z}$ are the identity and the multiplication by $-1$. We also show that the Golomb space of any Dedekind domain contained in the algebraic closure of $\mathbb{Q}$ is not homeomorphic to the Golomb space of $\mathbb{Z}$.


title: Mn-Intercalated MoSe$_2$ under pressure: electronic structure and vibrational characterization of a dilute magnetic semiconductor

abstract: Intercalation offers a promising way to alter the physical properties of two-dimensional (2D) layered materials. Here we investigate the electronic and vibrational properties of 2D layered MoSe$_2$ intercalated with atomic manganese at ambient and high pressure up to 7 GPa by Raman scattering and electronic structure calculations. The behavior of optical phonons is studied experimentally with a diamond anvil cell and computationally through density functional theory calculations. Experiment and theory show excellent agreement in optical phonon behavior. The previously Raman inactive A$_{2u}$ mode is activated and enhanced with intercalation and pressure, and a new Raman mode appears upon decompression, indicating a possible onset of a localized structural transition, involving the bonding or trapping of intercalant in 2D layered materials. Density functional theory calculations reveal a shift of Fermi level into the conduction band and spin polarization in Mn$_x$MoSe$_2$ that increases at low Mn concentration and low pressure. Our results suggest that intercalation and pressurization of van der Waals materials may allow one to obtain dilute magnetic semiconductors with controllable properties, providing a viable route for the development of new materials for spintronic applications.


title: Spiral wave propagation in communities with spatially correlated heterogeneity

abstract: Many multicellular communities propagate signals in a directed manner via excitable waves. Cell-to-cell heterogeneity is a ubiquitous feature of multicellular communities, but the effects of heterogeneity on wave propagation are still unclear. Here we use a minimal FitHugh-Nagumo-type model to investigate excitable wave propagation in a two-dimensional heterogeneous community. The model shows three dynamic regimes in which waves either propagate directionally, die out, or spiral indefinitely, and we characterize how these regimes depend on the heterogeneity parameters. We find that in some parameter regimes, spatial correlations in the heterogeneity enhance directional propagation and suppress spiraling. However, in other regimes, spatial correlations promote spiraling, a surprising feature that we explain by demonstrating that these spirals form by a second, distinct mechanism. Finally, we characterize the dependence of the spiral period on the degree of heterogeneity in the system by using techniques from percolation theory. Our results reveal that the spatial structure of cell-to-cell heterogeneity can have important consequences for signal propagation in cellular communities.


title: To each route its own ETA: A generative modeling framework for ETA prediction

abstract: Accurate expected time of arrival (ETA) information is crucial in maintaining the quality of service of public transit. Recent advances in artificial intelligence (AI) has led to more effective models for ETA estimation that rely heavily on a large GPS datasets. More importantly, these are mainly cabs based datasets which may not be fit for bus-based public transport. Consequently, the latest methods may not be applicable for ETA estimation in cities with the absence of large training data set. On the other hand, the ETA estimation problem in many cities needs to be solved in the absence of big datasets that also contains outliers, anomalies and may be incomplete. This work presents a simple but robust model for ETA estimation for a bus route that only relies on the historical data of the particular route. We propose a system that generates ETA information for a trip and updates it as the trip progresses based on the real-time information. We train a deep learning based generative model that learns the probability distribution of ETA data across trips and conditional on the current trip information updates the ETA information on the go. Our plug and play model not only captures the non-linearity of the task well but that any transit agency can use without needing any other external data source. The experiments run over three routes, data collected in the city of Delhi illustrates the promise of our approach.


title: Streaming Adaptation of Deep Forecasting Models using Adaptive Recurrent Units

abstract: We present ARU, an Adaptive Recurrent Unit for streaming adaptation of deep globally trained time-series forecasting models. The ARU combines the advantages of learning complex data transformations across multiple time series from deep global models, with per-series localization offered by closed-form linear models. Unlike existing methods of adaptation that are either memory-intensive or non-responsive after training, ARUs require only fixed sized state and adapt to streaming data via an easy RNN-like update operation. The core principle driving ARU is simple --- maintain sufficient statistics of conditional Gaussian distributions and use them to compute local parameters in closed form. Our contribution is in embedding such local linear models in globally trained deep models while allowing end-to-end training on the one hand, and easy RNN-like updates on the other. Across several datasets we show that ARU is more effective than recently proposed local adaptation methods that tax the global network to compute local parameters.


title: Existence of solution for a class of problem in whole $\mathbb{R}^N$ without the Ambrosetti-Rabinowitz condition

abstract: In this paper we study the existence of solution for a class of elliptic problem in whole $\mathbb{R}^N$ without the well known Ambrosetti-Rabinowitz condition. Here, we do not assume any monotonicity condition on $f(s)/s$ for $s>0$.


title: Nuclear-modification factor of charged hadrons at forward and backward rapidity in $p$$+$Al and $p$$+$Au collisions at $\sqrt{s_{_{NN}}}=200$ GeV

abstract: The PHENIX experiment has studied nuclear effects in $p$$+$Al and $p$$+$Au collisions at $\sqrt{s_{_{NN}}}=200$ GeV on charged hadron production at forward rapidity ($1.4<\eta<2.4$, $p$-going direction) and backward rapidity ($-2.2<\eta<-1.2$, $A$-going direction). Such effects are quantified by measuring nuclear modification factors as a function of transverse momentum and pseudorapidity in various collision multiplicity selections. In central $p$$+$Al and $p$$+$Au collisions, a suppression (enhancement) is observed at forward (backward) rapidity compared to the binary scaled yields in $p$+$p$ collisions. The magnitude of enhancement at backward rapidity is larger in $p$$+$Au collisions than in $p$$+$Al collisions, which have a smaller number of participating nucleons. However, the results at forward rapidity show a similar suppression within uncertainties. The results in the integrated centrality are compared with calculations using nuclear parton distribution functions, which show a reasonable agreement at the forward rapidity but fail to describe the backward rapidity enhancement.


title: Condensates of interacting non-Abelian $SO(5)_{N_f}$ anyons

abstract: Starting from a one-dimensional model of relativistic fermions with $SO(5)$ spin and $U(N_f)$ flavor degrees of freedom we study the condensation of $SO(5)_{N_f}$ anyons. In the low-energy limit the quasi-particles in the spin sector of this model are found to be massive solitons forming multiplets in the $SO(5)$ vector or spinor representations. The solitons carry internal degrees of freedom which are identified as $SO(5)_{N_f}$ anyons. By controlling the external magnetic fields the transitions from a dilute gas of free anyons to various collective states of interacting ones are observed. We identify the generalized parafermionic cosets describing these collective states and propose a low temperature phase diagram for the anyonic modes.


title: Dark matter as Planck relics without too exotic hypotheses

abstract: The idea that dark matter could be made of stable relics of microscopic black holes is not new. In this article, we revisit this hypothesis, focusing on the creation of black holes by the scattering of trans-Planckian particles in the early Universe. The only new physics required in this approach is an unusually high-energy scale for inflation. We show that dark matter emerges naturally and we study the question of fine-tuning. We finally give some lines of thoughts for a possible detection.


title: Gabber presentation lemma over noetherian domains

abstract: Following Schmidt and Strunk, we give a proof of Gabber presentation lemma over a noetherian domain with infinite residue fields.


title: Abundances of sulphur molecules in the Horsehead nebula. First NS+ detection in a photodissociation region

abstract: Aims. Our goal is to complete the inventory of S-bearing molecules and their abundances in the prototypical photodissociation region (PDR) the Horsehead nebula to gain insight into sulphur chemistry in UV irradiated regions. Based on the WHISPER millimeter (mm) line survey, our goal is to provide an improved and more accurate description of sulphur species and their abundances towards the core and PDR positions in the Horsehead. Methods. The Monte Carlo Markov chain (MCMC) methodology and the molecular excitation and radiative transfer code RADEX were used to explore the parameter space and determine physical conditions and beam-averaged molecular abundances. Results. A total of 13 S-bearing species (CS, SO, SO2, OCS, H2CS - both ortho and para - HDCS, C2S, HCS+, SO+, H2S, S2H, NS and NS+) have been detected in the two targeted positions. This is the first detection of SO+ in the Horsehead and the first detection of NS+ in any PDR. We find a differentiated chemical behaviour between C-S and O-S bearing species within the nebula. The C-S bearing species C2S and o-H2CS present fractional abundances a factor grater than two higher in the core than in the PDR. In contrast, the O-S bearing molecules SO, SO2, and OCS present similar abundances towards both positions. A few molecules, SO+, NS, and NS+, are more abundant towards the PDR than towards the core, and could be considered as PDR tracers. Conclusions. This is the first complete study of S-bearing species towards a PDR. Our study shows that CS, SO, and H2S are the most abundant S-bearing molecules in the PDR with abundances of a few 1E-9. We recall that SH, SH+, S, and S+ are not observable at the wavelengths covered by the WHISPER survey. At the spatial scale of our observations, the total abundance of S atoms locked in the detected species is < 1E-8, only ~0.1% of the cosmic sulphur abundance.


title: Entropy production as change in observational entropy

abstract: The second law of nonequilibrium thermodynamics within the open system paradigm (a small system coupled to one or multiple baths) is derived. This is done by showing positivity of entropy production for arbitrary Hamiltonian dynamics for a large class of initial states. Using the recently introduced notion of observational entropy, shortcomings of previous approaches are overcome. I apologize that the actual abstract of the manuscript is longer than the arXiv guidelines allow and therefore not displayed here.


title: Scenarios for Educational and Game Activities using Internet of Things Data

abstract: Raising awareness among young people and changing their behavior and habits concerning energy usage and the environment is key to achieving a sustainable planet. The goal to address the global climate problem requires informing the population on their roles in mitigation actions and adaptation of sustainable behaviors. Addressing climate change and achieve ambitious energy and climate targets requires a change in citizen behavior and consumption practices. IoT sensing and related scenario and practices, which address school children via discovery, gamification, and educational activities, are examined in this paper. Use of seawater sensors in STEM education, that has not previously been addressed, is included in these educational scenaria.


title: Canonical Weierstrass Representations for Maximal Space-like Surfaces in $\RR^4_2$

abstract: It is known that any maximal space-like surface without isotropic points in the four-dimensional pseudo-Euclidean space with neutral metric admits locally geometric parameters which are special case of isothermal parameters. With respect to such parameters the surface is determined uniquely up to a motion by the Gauss curvature and the curvature of the normal connection, which satisfy a system of two PDE's (the system of natural PDE's). For any maximal space-like surface parametrized by canonical parameters we obtain a special Weierstrass representation -- canonical Weierstrass representation. These Weierstrass formulas allow us to solve explicitly the system of natural PDE's by virtue of two holomorphic functions in the Gauss plane. We find the relation between two pairs of holomorphic functions generating one and the same solution to the system of natural PDE's. We establish a geometric correspondence between the maximal space-like surfaces of general type in $\RR^4_2$, the solutions to the system of natural PDE's and the pairs of holomorphic functions in the Gauss plane. We prove that any maximal space-like surface in the four-dimensional pseudo-Euclidean space with neutral metric generates two maximal space-like surfaces in the three-dimensional Minkowski space and vice versa.


title: AI vs Humans for the diagnosis of sleep apnea

abstract: Polysomnography (PSG) is the gold standard for diagnosing sleep obstructive apnea (OSA). It allows monitoring of breathing events throughout the night. The detection of these events is usually done by trained sleep experts. However, this task is tedious, highly time-consuming and subject to important inter-scorer variability. In this study, we adapted our state-of-the-art deep learning method for sleep event detection, DOSED, to the detection of sleep breathing events in PSG for the diagnosis of OSA. We used a dataset of 52 PSG recordings with apnea-hypopnea event scoring from 5 trained sleep experts. We assessed the performance of the automatic approach and compared it to the inter-scorer performance for both the diagnosis of OSA severity and, at the microscale, for the detection of single breathing events. We observed that human sleep experts reached an average accuracy of 75\% while the automatic approach reached 81\% for sleep apnea severity diagnosis. The F1 score for individual event detection was 0.55 for experts and 0.57 for the automatic approach, on average. These results demonstrate that the automatic approach can perform at a sleep expert level for the diagnosis of OSA.


title: Coherent systems with dependent and identically distributed components: A study of relative ageing based on cumulative hazard and cumulative reversed hazard rate functions

abstract: The relative ageing is an important notion which is useful to measure how a system ages relative to another one. Among all existing stochastic orders, there are two important orders describing the relative ageing of two systems, namely, ageing faster orders in the cumulative hazard and the cumulative reversed hazard rate functions. In this paper, we give some sufficient conditions under which one coherent system ages faster than another one with respect to the aforementioned stochastic orders. Further, we show that the proposed sufficient conditions are satisfied for $k$-out-of-$n$ systems. Moreover, some numerical examples are given to illustrate the developed results.


title: SMILES-X: autonomous molecular compounds characterization for small datasets without descriptors

abstract: There is more and more evidence that machine learning can be successfully applied in materials science and related fields. However, datasets in these fields are often quite small ($\ll1000$ samples). It makes the most advanced machine learning techniques remain neglected, as they are considered to be applicable to big data only. Moreover, materials informatics methods often rely on human-engineered descriptors, that should be carefully chosen, or even created, to fit the physicochemical property that one intends to predict. In this article, we propose a new method that tackles both the issue of small datasets and the difficulty of task-specific descriptors development. The SMILES-X is an autonomous pipeline for molecular compounds characterisation based on a \{Embed-Encode-Attend-Predict\} neural architecture with a data-specific Bayesian hyper-parameters optimisation. The only input to the architecture -- the SMILES strings -- are de-canonicalised in order to efficiently augment the data. One of the key features of the architecture is the attention mechanism, which enables the interpretation of output predictions without extra computational cost. The SMILES-X shows new state-of-the-art results in the inference of aqueous solubility ($\overline{RMSE}_{test} \simeq 0.57 \pm 0.07$ mols/L), hydration free energy ($\overline{RMSE}_{test} \simeq 0.81 \pm 0.22$ kcal/mol, which is $\sim 24.5\%$ better than molecular dynamics simulations), and octanol/water distribution coefficient ($\overline{RMSE}_{test} \simeq 0.59 \pm 0.02$ for LogD at pH 7.4) of molecular compounds. The SMILES-X is intended to become an important asset in the toolkit of materials scientists and chemists. The source code for the SMILES-X is available at \href{https://github.com/GLambard/SMILES-X}{github.com/GLambard/SMILES-X}.


title: Quark Novae: An Alternative Channel For the Formation of Isolated Millisecond Pulsars

abstract: Isolated millisecond pulsars (IMSPs) are a topic of academic contention. There are various models to explain their formation. We explore the formation of IMSP via quark novae (QN). During this formation process, low-mass X-ray binaries (LMXBs) are disrupted when the mass of the neutron star (NS) reaches 1.8 $\rm M_\odot$. Using population synthesis, this work estimates that the Galactic birthrate of QN-produced IMSPs lies between $\sim 9.5\times10^{-6}$ and $\sim1.7\times10^{-4}$ $\rm yr^{-1}$. The uncertainties shown in our experiment model is due to the QN's kick velocity. Furthermore, our findings not only show that QN-produced IMSPs are statistically more significant than those produced by mergers, but also that millisecond pulsar binaries with a high eccentricity may originate from LMXBs that have been involved in, yet not disrupted by, a QN.


title: A low-rank method for time-dependent transport calculations

abstract: Low-rank approximation is a technique to approximate a tensor or a matrix with a reduced rank to reduce the memory required and computational cost for simulation. Its broad applications include dimension reduction, signal processing, compression, and regression. In this work, a dynamical low-rank approximation method is developed for the time-dependent radiation transport equation in slab geometry. Using a finite volume discretization in space and Legendre polynomials in angle we construct a system that evolves on a low-rank manifold via an operator splitting approach. We demonstrate that the lowrank solution gives better accuracy than solving the full rank equations given the same amount of memory.


title: Learning Generalisable Coupling Terms for Obstacle Avoidance via Low-dimensional Geometric Descriptors

abstract: Unforeseen events are frequent in the real-world environments where robots are expected to assist, raising the need for fast replanning of the policy in execution to guarantee the system and environment safety. Inspired by human behavioural studies of obstacle avoidance and route selection, this paper presents a hierarchical framework which generates reactive yet bounded obstacle avoidance behaviours through a multi-layered analysis. The framework leverages the strengths of learning techniques and the versatility of dynamic movement primitives to efficiently unify perception, decision, and action levels via low-dimensional geometric descriptors of the environment. Experimental evaluation on synthetic environments and a real anthropomorphic manipulator proves that the robustness and generalisation capabilities of the proposed approach regardless of the obstacle avoidance scenario makes it suitable for robotic systems in real-world environments.


title: Pole-swapping algorithms for alternating and palindromic eigenvalue problems

abstract: Pole-swapping algorithms are generalizations of bulge-chasing algorithms for the generalized eigenvalue problem. Structure-preserving pole-swapping algorithms for the palindromic and alternating eigenvalue problems, which arise in control theory, are derived. A refinement step that guarantees backward stability of the algorithms is included. This refinement can also be applied to bulge-chasing algorithms that had been introduced previously, thereby guaranteeing their backward stability in all cases.


title: Acceleration of the condensational growth of water droplets in an external electric field

abstract: The condensational growth of spherical water microdroplets is studied in a laboratory setup and with a mathematical model. In the experiment, droplet clusters are kept in a freely levitated state within an upward-oriented flow of water vapor. In the presence of an electrostatic field of 1.5 * 10^5 V / m, droplet growth is accelerated by factors 1.5 to 2.0 as compared to conditions without any external electric field. Presumably water molecules in the ambient air are accelerated through the presence of the electric field. A kinetic model to predict the acceleration of condensational growth confirms this hypothesis to be feasible. The droplets themselves are polarized so that the deposition of steam molecules is facilitated in the electric field. The simplifications and limitations of the model are discussed.


title: Developing the physical understanding of intermediate polars: an X-ray study of TV Col and V2731 Oph

abstract: X-rays in intermediate polars (IPs) originate in a compact region near the surface of a magnetic white dwarf (WD) and interact with the complex environment surrounding the emission region. Here we report a case study of two IPs, TV Col and V2731 Oph with selected archival X-ray observations (NuSTAR, Swift, Suzaku, and XMM-Newton). For TV Col, we were successful in simultaneously accounting for the primary X-rays, the secondary X-rays due to Compton scattering and fluorescence, and the effects of local absorbers. In this case, we were able to demonstrate that the shock height is small, based on the high reflection amplitude, and hence the maximum temperature of the post-shock region can be used to derive the WD mass of 0.735+/-0.015 Msun. Despite the high specific accretion rate required to explain the small shock height, we do not detect any spin modulation in our NuSTAR data, consistent with the modest amount of complex absorption seen spectroscopically. We argue that our results are robust because they are based on the joint temporal-spectral analysis of broadband X-ray data. The spectrum of V2731 Oph is more highly absorbed. Through our analysis of the Suzaku data, we present a spectral model with nitrogen overabundance without the previously claimed soft blackbody that should be further explored. We have been unable to constrain reflection amplitude for V2731 Oph; this and the detection of spin modulation above 10 keV suggest that it may have a tall shock, hence we only derive a lower limit to the mass of its WD (> 0.9 Msun).


title: Neutron Diffraction Strain Tomography: Demonstration and Proof-of-Concept

abstract: Recently, a number of reconstruction algorithms have been presented for residual strain tomography from Bragg-edge neutron transmission measurements. In this paper, we examine whether strain tomography can also be achieved from diffraction measurements. We outline the proposed method and develop a suitable reconstruction algorithm. This technique is demonstrated in simulation and a proof-of-concept experiment is carried out where the strain field in an axisymmetric sample is reconstructed and validated against conventional diffraction strain scans.


title: Multiresolution expansions and wavelets in Gelfand-Shilov spaces

abstract: We study approximation properties generated by highly regular scaling functions and orthonormal wavelets. These properties are conveniently described in the framework of Gelfand-Shilov spaces. Important examples of multiresolution analyses for which our results apply arise in particular from Dziuba\'{n}ski-Hern\'{a}ndez construction of band-limited wavelets with subexponential decay. Our results are twofold. Firstly, we obtain approximation properties of multiresolution expansions of Gelfand-Shilov functions and (ultra)distributions. Secondly, we establish convergence of wavelet series expansions in the same regularity framework.


title: On Deficient Perfect Numbers with Four Distinct Prime Factors

abstract: For a positive integer $n$, if $\sigma(n)$ denotes the sum of the positive divisors of $n$, then $n$ is called a deficient perfect number if $\sigma(n)=2n-d$ for some positive divisor $d$ of $n$. In this paper, we prove some results about odd deficient perfect numbers with four distinct prime factors.


title: The dual-process approach to human sociality: Meta-analytic evidence for a theory of internalized heuristics for self-preservation

abstract: Which social decisions are influenced by intuitive processes? Which by deliberative processes? The dual-process approach to human sociality has emerged in the last decades as a vibrant and exciting area of research. Yet, a perspective that integrates empirical and theoretical work is lacking. This review and meta-analysis synthesizes the existing literature on the cognitive basis of cooperation, altruism, truth-telling, positive and negative reciprocity, and deontology, and develops a framework that organizes the experimental regularities. The meta-analytic results suggest that intuition favours a set of heuristics that are related to the instinct for self-preservation: people avoid being harmed, avoid harming others (especially when there is a risk of harm to themselves), and are averse to disadvantageous inequalities. Finally, this paper highlights some key research questions to further advance our understanding of the cognitive foundations of human sociality.


title: Time Scales of the Fredrickson-Andersen Model on Polluted $\mathbb{Z}^{2}$ and $\mathbb{Z}^{3}$

abstract: We study the Kinetically Constrained Model on the polluted square lattice, with two-neighbor constraints. For a quenched polluted environment with low pollution density we give bounds on the infection time of the origin.


title: S\'eparation de sources doublement non stationnaire

abstract: Blind source separation (BSS) techniques aims at joint estimation of source signals and a mixing matrix from observations of mixtures. This paper addresses a doubly nonstationary BSS problem, where the mixing matrix is time dependent and sources are nonstationary, more precisely deformed stationary signals, following the model of [1]. An algorithm for joint BSS and estimation of stationarity-breaking deformations and spectra is introduced, that exploits suitable approximations for the behavior of the wavelet transform of such nonstationary signals. The performance of the approach is evaluated on numerical simulations, and compared with other nonstationary BSS algorithms.


title: Fast Calculation of Probabilistic Optimal Power Flow: A Deep Learning Approach

abstract: Probabilistic optimal power flow (POPF) is an important analytical tool to ensure the secure and economic operation of power systems. POPF needs to solve enormous nonlinear and nonconvex optimization problems. The huge computational burden has become the major bottleneck for the practical application. This paper presents a deep learning approach to solve the POPF problem efficiently and accurately. Taking advantage of the deep structure and reconstructive strategy of stacked denoising auto encoders (SDAE), a SDAE-based optimal power flow (OPF) is developed to extract the high-level nonlinear correlations between the system operating condition and the OPF solution. A training process is designed to learn the feature of POPF. The trained SDAE network can be utilized to conveniently calculate the OPF solution of random samples generated by Monte-Carlo simulation (MCS) without the need of optimization. A modified IEEE 118-bus power system is simulated to demonstrate the effectiveness of the proposed method.


title: Quantum Chromodynamics Monte Carlo Tuning Studies in CMS

abstract: Recent QCD Monte Carlo tuning studies done in the CMS Collaboration are presented. Jet kinematics, jet substructure, and underlying event measurements in top quark pair events are discussed. New CMS PYTHIA 8 event tunes are presented, exploiting Monte Carlo configurations with consistent parton distribution functions and strong coupling parameter values in the matrix element and the parton shower, at leading order (LO), next-to-leading order (NLO) and next-to-next-to-leading order (NNLO). Predictions from PYTHIA8 obtained with tunes based on NLO or NNLO PDFs are shown to reliably describe minimum-bias and underlying-event data with a similar level of agreement to predictions from tunes using LO PDF sets. The tunes are validated with a range of different measurements and matrix element-parton shower merged configurations.


title: Quantum Oscillations of Robust Topological Surface States up to 50 K in Thick Bulk-insulating Topological Insulator

abstract: As personal electronic devices increasingly rely on cloud computing for energy-intensive calculations, the power consumption associated with the information revolution is rapidly becoming an important environmental issue. Several approaches have been proposed to construct electronic devices with low energy consumption. Among these, the low-dissipation surface states of topological insulators (TIs) are widely employed. To develop TI-based devices, a key factor is the maximum temperature at which the Dirac surface states dominate the transport behavior. Here, we employ Shubnikov-de Haas oscillations (SdH) as a means to study the surface state survival temperature in a high quality vanadium doped Bi1.08Sn0.02Sb0.9Te2S single crystal system. The temperature and angle dependence of the SdH show that: 1) crystals with different vanadium (V) doping levels are insulating in the 3-300 K region, 2) the SdH oscillations show two-dimensional behavior, indicating that the oscillations arise from the pure surface states; and 3) at 50 K, the V0.04 single crystals (Vx:Bi1.08-xSn0.02Sb0.9Te2S, where x = 0.04) still show clear sign of SdH oscillations, which demonstrate that the surface dominant transport behavior can survive above 50 K. The robust surface states in our V doped single crystal systems provide an ideal platform to study the Dirac fermions and their interaction with other materials above 50 K.

categories: cond-mat.mes-hall cond-mat.mtrl-sci cond-mat.str-el cond-mat.supr-con


title: Integrating Knowledge and Reasoning in Image Understanding

abstract: Deep learning based data-driven approaches have been successfully applied in various image understanding applications ranging from object recognition, semantic segmentation to visual question answering. However, the lack of knowledge integration as well as higher-level reasoning capabilities with the methods still pose a hindrance. In this work, we present a brief survey of a few representative reasoning mechanisms, knowledge integration methods and their corresponding image understanding applications developed by various groups of researchers, approaching the problem from a variety of angles. Furthermore, we discuss upon key efforts on integrating external knowledge with neural networks. Taking cues from these efforts, we conclude by discussing potential pathways to improve reasoning capabilities.


title: A Comparative Review of Recent Kinect-based Action Recognition Algorithms

abstract: Video-based human action recognition is currently one of the most active research areas in computer vision. Various research studies indicate that the performance of action recognition is highly dependent on the type of features being extracted and how the actions are represented. Since the release of the Kinect camera, a large number of Kinect-based human action recognition techniques have been proposed in the literature. However, there still does not exist a thorough comparison of these Kinect-based techniques under the grouping of feature types, such as handcrafted versus deep learning features and depth-based versus skeleton-based features. In this paper, we analyze and compare ten recent Kinect-based algorithms for both cross-subject action recognition and cross-view action recognition using six benchmark datasets. In addition, we have implemented and improved some of these techniques and included their variants in the comparison. Our experiments show that the majority of methods perform better on cross-subject action recognition than cross-view action recognition, that skeleton-based features are more robust for cross-view recognition than depth-based features, and that deep learning features are suitable for large datasets.


title: Intelligent Reflecting Surface Meets OFDM: Protocol Design and Rate Maximization

abstract: Intelligent reflecting surface (IRS) is a promising new technology for achieving both spectrum and energy efficient wireless communication systems in the future. However, existing works on IRS mainly consider frequency-flat channels and assume perfect knowledge of channel state information (CSI) at the transmitter. Motivated by this, in this paper we study an IRS-enhanced orthogonal frequency division multiplexing (OFDM) system under frequency-selective channels and propose a practical transmission protocol with channel estimation. First, to reduce the overhead in channel training and estimation and to exploit the channel spatial correlation, we propose a novel IRS elements grouping method, where each group consists of a set of adjacent IRS elements that share a common reflection coefficient. Based on this grouping method, we propose a practical transmission protocol where only the combined channel of each group needs to be estimated, thus substantially reducing the training overhead. Next, with any given grouping and estimated CSI, we formulate the problem to maximize the achievable rate by jointly optimizing the transmit power allocation and the IRS passive array reflection coefficients. Although the formulated problem is non-convex and thus difficult to solve, we propose an efficient algorithm to obtain a high-quality suboptimal solution for it, by alternately optimizing the power allocation and the passive array coefficients in an iterative manner, along with a customized method for the initialization. Simulation results show that the proposed design significantly improves the OFDM link rate performance as compared to the case without using IRS. Moreover, it is shown that there exists an optimal size for IRS elements grouping which achieves the maximum achievable rate due to the trade-off between the training overhead and IRS passive beamforming flexibility.