title: Approximation Guarantees of Local Search Algorithms via Localizability of Set Functions

abstract: This paper proposes a new framework for providing approximation guarantees of local search algorithms. Local search is a basic algorithm design technique and is widely used for various combinatorial optimization problems. To analyze local search algorithms for set function maximization, we propose a new notion called localizability of set functions, which measures how effective local improvement is. Moreover, we provide approximation guarantees of standard local search algorithms under various combinatorial constraints in terms of localizability. The main application of our framework is sparse optimization, for which we show that restricted strong concavity and restricted smoothness of the objective function imply localizability, and further develop accelerated versions of local search algorithms. We conduct experiments in sparse regression and structure learning of graphical models to confirm the practical efficiency of the proposed local search algorithms.


title: Implementing a microphysics model in hydrodynamic simulations to study the initial plasma formation in dielectric ablator materials for direct-drive implosions

abstract: A microphysics model to describe the photoionization and impact ionization processes in dielectric ablator materials like plastic has been implemented into the one-dimensional hydrodynamic code LILAC for planar and spherical targets. At present, the initial plasma formation during the early stages of a laser drive is modeled in an ad hoc manner, until the formation of a critical surface. Implementation of the physics-based models predicts higher values of electron temperature and pressure than the ad hoc model. Moreover, the numerical predictions are consistent with previous experimental observations of the shine-through mechanism in plastic ablators. For planar targets, a decompression of the rear end of the target was observed that is similar to recent experiments. An application of this model is to understand the laser-imprint mechanism that is caused by nonuniform laser irradiation due to a single beam speckle.


title: A Smart Background Scheduler for Storage Systems

abstract: In today's enterprise storage systems, supported data services such as snapshot delete or drive rebuild can cause tremendous performance interference if executed inline along with heavy foreground IO, often leading to missing SLOs (Service Level Objectives). Typical storage system applications such as web or VDI (Virtual Desktop Infrastructure) follow a repetitive high/low workload pattern that can be learned and forecasted. We propose a priority-based background scheduler that learns this repetitive pattern and allows storage systems to maintain peak performance and in turn meet service level objectives (SLOs) while supporting a number of data services. When foreground IO demand intensifies, system resources are dedicated to service foreground IO requests and any background processing that can be deferred are recorded to be processed in future idle cycles as long as forecast shows that storage pool has remaining capacity. The smart background scheduler adopts a resource partitioning model that allows both foreground and background IO to execute together as long as foreground IOs are not impacted where the scheduler harness any free cycle to clear background debt. Using traces from VDI application, we show how our technique surpasses a method that statically limit the deferred background debt and improve SLO violations from 54.6% when using a fixed background debt watermark to merely a 6.2% if dynamically set by our smart background scheduler.


title: On a simplicial monoid whose underlying simplicial set is not a quasi-category

abstract: It is well known that the underlying simplicial set of any simplicial group is a Kan complex. Roughly speaking, Kan complex is an infinite-dimensional analogue of groupoid, and the relation between groupoids and categories resembles that between groups and monoids. Thus one may ask if the underlying simplicial set of each simplicial monoid is a quasi-category. In this short note, we construct a simplicial monoid whose underlying simplicial set is not a quasi-category.


title: Trust-Based Winnow Linear Multiplicative Classification For Secure Multipath Routing In Manet

abstract: Multipath routing in Mobile Ad Hoc Network (MANET) plays a significant concern for secured data transmission by avoiding the attack nodes in the network. In order to overcome such limitations, a Winnow Trust based Multipath Route Discovery (WT-MRD) Mechanism is proposed. It constructs multiple paths from source to destination with higher security and lesser time. Initially, the trust value of each node is calculated based on the node cooperative count, data packet forwarding rate and packet drop rate by Neighbor Node-based Trust Calculation (NN-TC) Model. After calculating the trust value, the nodes are classified as normal or malicious by using Winnow Linear Multiplicative Classification (WLMC) Algorithm. With the help of normal nodes, the WT-MRD Mechanism finds multipath from source to destination by sending a two control message RREQ and RREP. Source node transmits a route request RREQ to the neighboring node for constructing the multiple route paths. After receiving the RREQ message, the neighboring node maintains the route table where the source information and next hop information are present. Then Route Reply (RREP) messages are sent from neighboring node to source node. By this way, multiple route paths from source to destination are constructed with a higher security level. Keywords: Cooperative Count, Data Packet Dropped Rate, Data Packet Forwarded Rate, Multipath Routing, Security, Trust Value, Winnow Linear Multiplicative Classification


title: Homoclinic tangencies with infinitely many asymptotically stable single-round periodic solutions

abstract: We consider a homoclinic orbit to a saddle fixed point of an arbitrary $C^\infty$ map $f$ on $\mathbb{R}^2$ and study the phenomenon that $f$ has an infinite family of asymptotically stable, single-round periodic solutions. From classical theory, this requires $f$ to have a homoclinic tangency. We show it also necessary for $f$ to satisfy a `global resonance' condition and for the eigenvalues associated with the fixed point, $\lambda$ and $\sigma$, to satisfy $|\lambda \sigma| = 1$. The phenomenon is codimension-three in the case $\lambda \sigma = -1$, but codimension-four in the case $\lambda \sigma = 1$ because here the coefficients of the leading-order resonance terms associated with $f$ at the fixed point must add to zero. We also identify conditions sufficient for the phenomenon to occur, illustrate the results for an abstract family of maps, and show numerically computed basins of attraction.


title: Gravitational waves from breaking of an extra $U(1)$ in $SO(10)$ grand unification

abstract: In a class of gauged $U(1)$ extended Standard Models (SMs), the breaking of the $U(1)$ symmetry is not only a source for Majorana masses of right-handed (RH) neutrinos crucial for the seesaw mechanism, but also a source of stochastic gravitational wave (GW) background. Such $U(1)$ extended models are well-motivated from the viewpoint of grand unification. In this paper, we discuss a successful ultraviolet completion of a $U(1)$ extended SM by an $SO(10)$ grand unified model through an intermediate step of $SU(5) \times U(1)$ unification. With a parameter set that is compatible with the $SO(10)$ grand unification, we find that a first-order phase transition associated with the $U(1)$ symmetry breaking can be strong enough to generate GWs with a detectable size of amplitude. We also find that the resultant GW amplitude reduces and its peak frequency becomes higher as the RH neutrino masses increase.


title: HIR4: Cosmological signatures imprinted on the cross correlation between 21-cm map and galaxy clustering

abstract: We explore the cosmological multitracer synergies between an emission line galaxy distribution from the Dark Energy Spectroscopic Instrument and a Tianlai Project 21-cm intensity map. We use simulated maps generated from a particle simulation in the light-cone volume (Horizon Run 4), sky-trimmed and including the effects of foreground contamination, its removal and instrument noise. We first validate how the foreground residual affects the recovered 21-cm signal by putting different levels of foreground contamination into the 21-cm maps. We find that the contamination cannot be ignored in the angular autocorrelation power spectra of HI even when it is small, but has no influence on the accuracy of the angular cross-power spectra between HI and galaxies. In the foreground-cleaned map case, as information is lost in the cleaning procedure, there is also a bias in the cross-correlation power spectrum. However, we found that the bias from the cross-correlation power spectrum is scale-independent, which is easily parameterized as part of the model, while the offset in the HI autocorrelation power spectrum is non-linear. In particular, we tested that the cross-correlation power also benefits from the cancellation of the bias in the power spectrum measurement that is induced by the instrument noise, which changes the shape of the autocorrelation power spectra but leaves the cross-correlation power unaffected. We then modelled the angular cross-correlation power spectra to fit the baryon acoustic oscillation feature in the broad-band shape of the angular cross-correlation power spectrum, including contamination from the residual foreground and the effect of instrument noise. We forecast a constraint on the angular diameter distance $D_\mathrm{A}$ for the Tianlai Pathfinder redshift $0.775<z<1.03$, giving a distance measurement with a precision of 2.7\% at that redshift.


title: Exploring the role of Input and Output Layers of a Deep Neural Network in Adversarial Defense

abstract: Deep neural networks are learning models having achieved state of the art performance in many fields like prediction, computer vision, language processing and so on. However, it has been shown that certain inputs exist which would not trick a human normally, but may mislead the model completely. These inputs are known as adversarial inputs. These inputs pose a high security threat when such models are used in real world applications. In this work, we have analyzed the resistance of three different classes of fully connected dense networks against the rarely tested non-gradient based adversarial attacks. These classes are created by manipulating the input and output layers. We have proven empirically that owing to certain characteristics of the network, they provide a high robustness against these attacks, and can be used in fine tuning other models to increase defense against adversarial attacks.


title: COVIDGR dataset and COVID-SDNet methodology for predicting COVID-19 based on Chest X-Ray images

abstract: Currently, Coronavirus disease (COVID-19), one of the most infectious diseases in the 21st century, is diagnosed using RT-PCR testing, CT scans and/or Chest X-Ray (CXR) images. CT (Computed Tomography) scanners and RT-PCR testing are not available in most medical centers and hence in many cases CXR images become the most time/cost effective tool for assisting clinicians in making decisions. Deep learning neural networks have a great potential for building COVID-19 triage systems and detecting COVID-19 patients, especially patients with low severity. Unfortunately, current databases do not allow building such systems as they are highly heterogeneous and biased towards severe cases. This paper is three-fold: (i) we demystify the high sensitivities achieved by most recent COVID-19 classification models, (ii) under a close collaboration with Hospital Universitario Cl\'inico San Cecilio, Granada, Spain, we built COVIDGR-1.0, a homogeneous and balanced database that includes all levels of severity, from normal with Positive RT-PCR, Mild, Moderate to Severe. COVIDGR-1.0 contains 426 positive and 426 negative PA (PosteroAnterior) CXR views and (iii) we propose COVID Smart Data based Network (COVID-SDNet) methodology for improving the generalization capacity of COVID-classification models. Our approach reaches good and stable results with an accuracy of $97.72\% \pm 0.95 \%$, $86.90\% \pm 3.20\%$, $61.80\% \pm 5.49\%$ in severe, moderate and mild COVID-19 severity levels (Paper accepted for publication in Journal of Biomedical and Health Informatics). Our approach could help in the early detection of COVID-19. COVIDGR-1.0 along with the severity level labels are available to the scientific community through this link https://dasci.es/es/transferencia/open-data/covidgr/.


title: Transforming Multi-Concept Attention into Video Summarization

abstract: Video summarization is among challenging tasks in computer vision, which aims at identifying highlight frames or shots over a lengthy video input. In this paper, we propose an novel attention-based framework for video summarization with complex video data. Unlike previous works which only apply attention mechanism on the correspondence between frames, our multi-concept video self-attention (MC-VSA) model is presented to identify informative regions across temporal and concept video features, which jointly exploit context diversity over time and space for summarization purposes. Together with consistency between video and summary enforced in our framework, our model can be applied to both labeled and unlabeled data, making our method preferable to real-world applications. Extensive and complete experiments on two benchmarks demonstrate the effectiveness of our model both quantitatively and qualitatively, and confirms its superiority over the stateof-the-arts.


title: D-ACC: Dynamic Adaptive Cruise Control for Highways with Ramps Based on Deep Q-Learning

abstract: An Adaptive Cruise Control (ACC) system allows vehicles to maintain a desired headway distance to a preceding vehicle automatically. It is increasingly adopted by commercial vehicles. Recent research demonstrates that the effective use of ACC can improve the traffic flow through the adaptation of the headway distance in response to the current traffic conditions. In this paper, we demonstrate that a state-of-the-art intelligent ACC system performs poorly on highways with ramps due to the limitation of the model-based approaches that do not take into account appropriately the traffic dynamics on ramps in determining the optimal headway distance. We then propose a dynamic adaptive cruise control system (D-ACC) based on deep reinforcement learning that adapts the headway distance effectively according to dynamically changing traffic conditions for both the main road and ramp to optimize the traffic flow. Extensive simulations are performed with a combination of a traffic simulator (SUMO) and vehicle-to-everything communication (V2X) network simulator (Veins) under numerous traffic scenarios. We demonstrate that D-ACC improves the traffic flow by up to 70% compared with a state-of-the-art intelligent ACC system in a highway segment with a ramp.


title: Federated Learning in Vehicular Networks

abstract: Machine learning (ML) has recently been adopted in vehicular networks for applications such as autonomous driving, road safety prediction and vehicular object detection, due to its model-free characteristic, allowing adaptive fast response. However, most of these ML applications employ centralized learning (CL), which brings significant overhead for data transmission between the parameter server and vehicular edge devices. Federated learning (FL) framework has been recently introduced as an efficient tool with the goal of reducing transmission overhead while achieving privacy through the transmission of model updates instead of the whole dataset. In this paper, we investigate the usage of FL over CL in vehicular network applications to develop intelligent transportation systems. We provide a comprehensive analysis on the feasibility of FL for the ML based vehicular applications, as well as investigating object detection by utilizing image-based datasets as a case study. Then, we identify the major challenges from both learning perspective, i.e., data labeling and model training, and from the communications point of view, i.e., data rate, reliability, transmission overhead, privacy and resource management. Finally, we highlight related future research directions for FL in vehicular networks.


title: Resolving Class Imbalance in Object Detection with Weighted Cross Entropy Losses

abstract: Object detection is an important task in computer vision which serves a lot of real-world applications such as autonomous driving, surveillance and robotics. Along with the rapid thrive of large-scale data, numerous state-of-the-art generalized object detectors (e.g. Faster R-CNN, YOLO, SSD) were developed in the past decade. Despite continual efforts in model modification and improvement in training strategies to boost detection accuracy, there are still limitations in performance of detectors when it comes to specialized datasets with uneven object class distributions. This originates from the common usage of Cross Entropy loss function for object classification sub-task that simply ignores the frequency of appearance of object class during training, and thus results in lower accuracies for object classes with fewer number of samples. Class-imbalance in general machine learning has been widely studied, however, little attention has been paid on the subject of object detection. In this paper, we propose to explore and overcome such problem by application of several weighted variants of Cross Entropy loss, for examples Balanced Cross Entropy, Focal Loss and Class-Balanced Loss Based on Effective Number of Samples to our object detector. Experiments with BDD100K (a highly class-imbalanced driving database acquired from on-vehicle cameras capturing mostly Car-class objects and other minority object classes such as Bus, Person and Motor) have proven better class-wise performances of detector trained with the afore-mentioned loss functions.


title: Enhanced Universal Dependency Parsing with Second-Order Inference and Mixture of Training Data

abstract: This paper presents the system used in our submission to the \textit{IWPT 2020 Shared Task}. Our system is a graph-based parser with second-order inference. For the low-resource Tamil corpus, we specially mixed the training data of Tamil with other languages and significantly improved the performance of Tamil. Due to our misunderstanding of the submission requirements, we submitted graphs that are not connected, which makes our system only rank \textbf{6th} over 10 teams. However, after we fixed this problem, our system is 0.6 ELAS higher than the team that ranked \textbf{1st} in the official results.


title: A Layered Learning Approach to Scaling in Learning Classifier Systems for Boolean Problems

abstract: Learning classifier systems (LCSs) originated from cognitive-science research but migrated such that LCS became powerful classification techniques. Modern LCSs can be used to extract building blocks of knowledge to solve more difficult problems in the same or a related domain. Recent works on LCSs showed that the knowledge reuse through the adoption of Code Fragments, GP-like tree-based programs, into LCSs could provide advances in scaling. However, since solving hard problems often requires constructing high-level building blocks, which also results in an intractable search space, a limit of scaling will eventually be reached. Inspired by human problem-solving abilities, XCSCF* can reuse learned knowledge and learned functionality to scale to complex problems by transferring them from simpler problems using layered learning. However, this method was unrefined and suited to only the Multiplexer problem domain. In this paper, we propose improvements to XCSCF* to enable it to be robust across multiple problem domains. This is demonstrated on the benchmarks Multiplexer, Carry-one, Majority-on, and Even-parity domains. The required base axioms necessary for learning are proposed, methods for transfer learning in LCSs developed and learning recast as a decomposition into a series of subordinate problems. Results show that from a conventional tabula rasa, with only a vague notion of what subordinate problems might be relevant, it is possible to capture the general logic behind the tested domains, so the advanced system is capable of solving any individual n-bit Multiplexer, n-bit Carry-one, n-bit Majority-on, or n-bit Even-parity problem.


title: Analyzing the Quality and Stability of a Streaming End-to-End On-Device Speech Recognizer

abstract: The demand for fast and accurate incremental speech recognition increases as the applications of automatic speech recognition (ASR) proliferate. Incremental speech recognizers output chunks of partially recognized words while the user is still talking. Partial results can be revised before the ASR finalizes its hypothesis, causing instability issues. We analyze the quality and stability of on-device streaming end-to-end (E2E) ASR models. We first introduce a novel set of metrics that quantify the instability at word and segment levels. We study the impact of several model training techniques that improve E2E model qualities but degrade model stability. We categorize the causes of instability and explore various solutions to mitigate them in a streaming E2E ASR system. Index Terms: ASR, stability, end-to-end, text normalization,on-device, RNN-T


title: New Separation of Variables for the Classical XXX and XXZ Heisenberg Spin Chains

abstract: We propose a non-standard separation of variables for the classical integrable XXX and XXZ spin chains with degenerate twist matrix. We show that for the case of such twist matrices one can interchange the role of classical separating functions $A(u)$ and $B(u)$ and construct a new full set of separated variables, satisfying simpler equation of separation and simpler Abel equations in comparison with the standard separated variables of Sklyanin. We show that for certain cases of the twist matrices the constructed separated variables can be directly identified with action-angle coordinates.


title: Time-Dilation Attacks on the Lightning Network

abstract: Lightning Network (LN) is a widely-used network of payment channels enabling faster and cheaper Bitcoin transactions. In this paper, we outline three ways an attacker can steal funds from honest LN users. The attacks require dilating the time for victims to become aware of new blocks by eclipsing (isolating) victims from the network and delaying block delivery. While our focus is on the LN, time-dilation attacks may be relevant to any second-layer protocol that relies on a timely reaction. According to our measurements, it is currently possible to steal the total channel capacity by keeping a node eclipsed for as little as 2 hours. Since trust-minimized Bitcoin light clients currently connect to a very limited number of random nodes, running just 500 Sybil nodes allows an attacker to Eclipse 47\% of newly deployed light clients (and hence prime them for an attack). As for the victims running a full node, since they are often used by large hubs or service providers, an attacker may justify the higher Eclipse attack cost by stealing all their available liquidity. In addition, time-dilation attacks neither require access to hashrate nor purchasing from a victim. Thus, this class of attacks is a more practical way of stealing funds via Eclipse attacks than previously anticipated double-spending. We argue that simple detection techniques based on the slow block arrival alone are not effective, and implementing more sophisticated detection is not trivial. We suggest that a combination of anti-Eclipse/anti-Sybil measures are crucial for mitigating time-dilation attacks.


title: Diversity Actor-Critic: Sample-Aware Entropy Regularization for Sample-Efficient Exploration

abstract: In this paper, sample-aware policy entropy regularization is proposed to enhance the conventional policy entropy regularization for better exploration. Exploiting the sample distribution obtainable from the replay buffer, the proposed sample-aware entropy regularization maximizes the entropy of the weighted sum of the policy action distribution and the sample action distribution from the replay buffer for sample-efficient exploration. A practical algorithm named diversity actor-critic (DAC) is developed by applying policy iteration to the objective function with the proposed sample-aware entropy regularization. Numerical results show that DAC significantly outperforms existing recent algorithms for reinforcement learning.


title: Continuous-time Zero-Sum Stochastic Game with Stopping and Control

abstract: We consider a zero-sum stochastic game for continuous-time Markov chain with countable state space and unbounded transition and pay-off rates. The additional feature of the game is that the controllers together with taking actions are also allowed to stop the process. Under suitable hypothesis we show that the game has a value and it is the unique solution of certain dynamic programming inequalities with bilateral constraints. In the process we also prescribe a saddle point equilibrium.


title: The spread of a finite group

abstract: A group $G$ is said to be $\frac{3}{2}$-generated if every nontrivial element belongs to a generating pair. It is easy to see that if $G$ has this property then every proper quotient of $G$ is cyclic. In this paper we prove that the converse is true for finite groups, which settles a conjecture of Breuer, Guralnick and Kantor from 2008. In fact, we prove a much stronger result, which solves a problem posed by Brenner and Wiegold in 1975. Namely, if $G$ is a finite group and every proper quotient of $G$ is cyclic, then for any pair of nontrivial elements $x_1,x_2 \in G$, there exists $y \in G$ such that $G = \langle x_1, y \rangle = \langle x_2, y \rangle$. In other words, $s(G) \geqslant 2$, where $s(G)$ is the spread of $G$. Moreover, if $u(G)$ denotes the more restrictive uniform spread of $G$, then we can completely characterise the finite groups $G$ with $u(G) = 0$ and $u(G)=1$. To prove these results, we first establish a reduction to almost simple groups. For simple groups, the result was proved by Guralnick and Kantor in 2000 using probabilistic methods and since then the almost simple groups have been the subject of several papers. By combining our reduction theorem and this earlier work, it remains to handle the groups whose socles are exceptional groups of Lie type and this is the case we treat in this paper.


title: Ti alloyed $\alpha$-Ga$_2$O$_3$: route towards wide band gap engineering

abstract: The suitability of Ti as a band gap modifier for $\alpha$-Ga$_2$O$_3$ was investigated, taking advantage of the isostructural {\alpha}-phases and high band gap difference between Ti$_2$O$_3$ and Ga$_2$O$_3$. Films of Ti:Ga$_2$O$_3$, with a range of Ti concentrations, synthesized by atomic layer deposition on sapphire substrates, were characterized to determine how crystallinity and band gap vary with composition for this alloy. The deposition of crystalline $\alpha$-(Ti$_x$Ga$_{1-x}$)$_2$O$_3$ films with up to x~5.3%, was demonstrated. At greater Ti concentration, the films became amorphous. Modification of the band gap over a range of ~ 270 meV was achieved across the crystalline films and a maximum change in band gap from pure $\alpha$-Ga$_2$O$_3$ of ~1.1 eV was observed for the films of greatest Ti fraction (61% Ti relative to Ga). The ability to maintain a crystalline phase at low fractions of Ti, accompanied by a significant modification in band gap shows promise for band gap engineering and the enhancement in versatility of application of $\alpha$-Ga$_2$O$_3$ in optoelectronic devices.


title: Monocular Human Pose Estimation: A Survey of Deep Learning-based Methods

abstract: Vision-based monocular human pose estimation, as one of the most fundamental and challenging problems in computer vision, aims to obtain posture of the human body from input images or video sequences. The recent developments of deep learning techniques have been brought significant progress and remarkable breakthroughs in the field of human pose estimation. This survey extensively reviews the recent deep learning-based 2D and 3D human pose estimation methods published since 2014. This paper summarizes the challenges, main frameworks, benchmark datasets, evaluation metrics, performance comparison, and discusses some promising future research directions.


title: Image Super-Resolution with Cross-Scale Non-Local Attention and Exhaustive Self-Exemplars Mining

abstract: Deep convolution-based single image super-resolution (SISR) networks embrace the benefits of learning from large-scale external image resources for local recovery, yet most existing works have ignored the long-range feature-wise similarities in natural images. Some recent works have successfully leveraged this intrinsic feature correlation by exploring non-local attention modules. However, none of the current deep models have studied another inherent property of images: cross-scale feature correlation. In this paper, we propose the first Cross-Scale Non-Local (CS-NL) attention module with integration into a recurrent neural network. By combining the new CS-NL prior with local and in-scale non-local priors in a powerful recurrent fusion cell, we can find more cross-scale feature correlations within a single low-resolution (LR) image. The performance of SISR is significantly improved by exhaustively integrating all possible priors. Extensive experiments demonstrate the effectiveness of the proposed CS-NL module by setting new state-of-the-arts on multiple SISR benchmarks.


title: Hardware Security in Spin-Based Computing-In-Memory: Analysis, Exploits, and Mitigation Techniques

abstract: Computing-in-memory (CIM) is proposed to alleviate the processor-memory data transfer bottleneck in traditional Von-Neumann architectures, and spintronics-based magnetic memory has demonstrated many facilitation in implementing CIM paradigm. Since hardware security has become one of the major concerns in circuit designs, this paper, for the first time, investigates spin-based computing-in-memory (SpinCIM) from a security perspective. We focus on two fundamental questions: 1) how the new SpinCIM computing paradigm can be exploited to enhance hardware security? 2) what security concerns has this new SpinCIM computing paradigm incurred?


title: Coalescing and branching simple symmetric exclusion process

abstract: Motivated by kinetically constrained interacting particle systems (KCM), we consider a reversible coalescing and branching simple exclusion process on a general finite graph $G=(V,E)$ dual to the biased voter model on $G$. Our main goal are tight bounds on its logarithmic Sobolev constant and relaxation time, with particular focus on the delicate slightly supercritical regime in which the equilibrium density of particles tends to zero as $|V|\rightarrow \infty$. Our results allow us to recover very directly and improve to $\ell^p$-mixing, $p\ge 2$, and to more general graphs, the mixing time results of Pillai and Smith for the Fredrickson-Andersen one spin facilitated (FA-$1$f) KCM on the discrete $d$-dimensional torus. In view of applications to the more complex FA-$j$f KCM, $j>1$, we also extend part of the analysis to an analogous process with a more general product state space.


title: LaKSA: A Probabilistic Proof-of-Stake Protocol

abstract: We present Large-scale Known-committee Stake-based Agreement (LaKSA), a chain-based Proof-of-Stake protocol that is dedicated, but not limited, to cryptocurrencies. LaKSA minimizes interactions between nodes through lightweight committee voting, resulting in a simpler, more robust, and more scalable proposal than competing systems. It also mitigates other drawbacks of previous systems, such as high reward variance and long confirmation times. LaKSA can support large numbers of nodes by design, and provides probabilistic safety guarantees in which a client makes commit decisions by calculating the probability that a transaction is reverted based on its blockchain view. We present a thorough analysis of LaKSA and report on its implementation and evaluation. Furthermore, our new technique of proving safety can be applied more broadly to other Proof-of-Stake protocols.


title: Zone Theorem for Arrangements in three dimensions

abstract: In this note, a simple description of zone theorem in three dimensions is given.


title: From weak to strong: constrained extrapolation of perturbation series with applications to dilute Fermi systems

abstract: We develop a method that uses truncation-order-dependent re-expansions constrained by generic strong-coupling information to extrapolate perturbation series to the nonperturbative regime. The method is first benchmarked against a zero-dimensional model field theory and then applied to the dilute Fermi gas in one and three dimensions. Overall, our method significantly outperforms Pad\'e and Borel extrapolations in these examples. The results for the ground-state energy of the three-dimensional Fermi gas are robust with respect to changes of the form of the re-expansion and compare well with quantum Monte Carlo simulations throughout the BCS regime and beyond.


title: Chiral Perturbation Theory at NNNLO

abstract: Chiral perturbation theory is a much successful effective field theory of quantum chromodynamics at low energies. The effective Lagrangian is constructed systematically order by order in powers of the momentum $p^2$, and until now the leading order (LO), next-to leading order (NLO), next-to-next-to leading order (NNLO) and next-to-next-to-next-to leading order (NNNLO) have been studied. In the following review we consider the construction of the Lagrangian and in particular focus on the NNNLO case. We in addition review and discuss the pion mass and decay constant at the same order, which are fundamental quantities to study for chiral perturbation theory. Due to the large number of terms in the Lagrangian and hence low energy constants arising at NNNLO, some remarks are made about the predictivity of this effective field theory.


title: Distribution Aligned Multimodal and Multi-Domain Image Stylization

abstract: Multimodal and multi-domain stylization are two important problems in the field of image style transfer. Currently, there are few methods that can perform both multimodal and multi-domain stylization simultaneously. In this paper, we propose a unified framework for multimodal and multi-domain style transfer with the support of both exemplar-based reference and randomly sampled guidance. The key component of our method is a novel style distribution alignment module that eliminates the explicit distribution gaps between various style domains and reduces the risk of mode collapse. The multimodal diversity is ensured by either guidance from multiple images or random style code, while the multi-domain controllability is directly achieved by using a domain label. We validate our proposed framework on painting style transfer with a variety of different artistic styles and genres. Qualitative and quantitative comparisons with state-of-the-art methods demonstrate that our method can generate high-quality results of multi-domain styles and multimodal instances with reference style guidance or random sampled style.


title: BERT Based Multilingual Machine Comprehension in English and Hindi

abstract: Multilingual Machine Comprehension (MMC) is a Question-Answering (QA) sub-task that involves quoting the answer for a question from a given snippet, where the question and the snippet can be in different languages. Recently released multilingual variant of BERT (m-BERT), pre-trained with 104 languages, has performed well in both zero-shot and fine-tuned settings for multilingual tasks; however, it has not been used for English-Hindi MMC yet. We, therefore, present in this article, our experiments with m-BERT for MMC in zero-shot, mono-lingual (e.g. Hindi Question-Hindi Snippet) and cross-lingual (e.g. English QuestionHindi Snippet) fine-tune setups. These model variants are evaluated on all possible multilingual settings and results are compared against the current state-of-the-art sequential QA system for these languages. Experiments show that m-BERT, with fine-tuning, improves performance on all evaluation settings across both the datasets used by the prior model, therefore establishing m-BERT based MMC as the new state-of-the-art for English and Hindi. We also publish our results on an extended version of the recently released XQuAD dataset, which we propose to use as the evaluation benchmark for future research.


title: Direct Coupling of Free Diffusion Models to Microscopic Models of Confined Crystal Growth and Dissolution

abstract: We couple a free solute diffusion model to a model of crystal surface growth represented by, but not limited to, a (2 + 1)-dimensional solid-on-solid (SOS) model confined by a flat surface. We use kinetic Monte Carlo (KMC) with dissolution rates based on nearest-neighbor interactions to solve the Master equation for the surface dynamics, and we use an offlattice random walk to model the Fickian diffusion of the solute particles. The two solvers are coupled directly through deposition rates of the free particles calculated using the mean first passage time (MFPT) of deposition that is found to scale as $r^{-4}$. Two variants are studied: ignoring (radial) and not ignoring the line of sight (pathfinding). Reference models such as uniform concentration (random deposition) and lattice diffusion (crystal lattice extended into the liquid) are used for comparison. We find that the macroscopic limit of the surface dynamics is reproduced by all models. The free diffusion models produce a lower equilibrium roughness and a smaller height autocorrelation length than the reference models, and are found to behave very well in tight confinements. It is also demonstrated that lattice diffusion does not work well in tight confinements. The two MFPT models behave very similarly close to equilibrium and for dissolution, but becomes increasingly different with increasing surface growth speed. The model is put to use by simulating a cavity with a flux boundary condition at one side. The conclusion is that the new model excels in confinement, and line of sight can in practice be ignored since the dominant deposition sites likely are in line of sight, which minimizes the CPU-time needed in the coupling.


title: Resummed Wentzel-Kramers-Brillouin Series: Quantization and Physical Interpretation

abstract: The Wentzel-Kramers-Brillouin (WKB) perturbative series, a widely used technique for solving linear waves, is typically divergent and at best, asymptotic, thus impeding predictions beyond the first few leading-order effects. Here, we report a closed-form formula that exactly resums the perturbative WKB series to all-orders for two turning point problem. The formula is elegantly interpreted as the action evaluated using the product of spatially-varying wavenumber and a coefficient related to the wave transmissivity; unit transmissivity yields the Bohr-Sommerfeld quantization.


title: Recapture as You Want

abstract: With the increasing prevalence and more powerful camera systems of mobile devices, people can conveniently take photos in their daily life, which naturally brings the demand for more intelligent photo post-processing techniques, especially on those portrait photos. In this paper, we present a portrait recapture method enabling users to easily edit their portrait to desired posture/view, body figure and clothing style, which are very challenging to achieve since it requires to simultaneously perform non-rigid deformation of human body, invisible body-parts reasoning and semantic-aware editing. We decompose the editing procedure into semantic-aware geometric and appearance transformation. In geometric transformation, a semantic layout map is generated that meets user demands to represent part-level spatial constraints and further guides the semantic-aware appearance transformation. In appearance transformation, we design two novel modules, Semantic-aware Attentive Transfer (SAT) and Layout Graph Reasoning (LGR), to conduct intra-part transfer and inter-part reasoning, respectively. SAT module produces each human part by paying attention to the semantically consistent regions in the source portrait. It effectively addresses the non-rigid deformation issue and well preserves the intrinsic structure/appearance with rich texture details. LGR module utilizes body skeleton knowledge to construct a layout graph that connects all relevant part features, where graph reasoning mechanism is used to propagate information among part nodes to mine their relations. In this way, LGR module infers invisible body parts and guarantees global coherence among all the parts. Extensive experiments on DeepFashion, Market-1501 and in-the-wild photos demonstrate the effectiveness and superiority of our approach. Video demo is at: \url{https://youtu.be/vTyq9HL6jgw}.


title: Modified Hard Thresholding Pursuit with Regularization Assisted Support Identification

abstract: Hard thresholding pursuit (HTP) is a recently proposed iterative sparse recovery algorithm which is a result of combination of a support selection step from iterated hard thresholding (IHT) and an estimation step from the orthogonal matching pursuit (OMP). HTP has been seen to enjoy improved recovery guarantee along with enhanced speed of convergence. Much of the success of HTP can be attributed to its improved support selection capability due to the support selection step from IHT. In this paper, we propose a generalized HTP algorithm, called regularized HTP (RHTP), where the support selection step of HTP is replaced by a IHT-type support selection where the cost function is replaced by a regularized cost function, while the estimation step continues to use the least squares function. With decomposable regularizer, satisfying certain regularity conditions, the RHTP algorithm is shown to produce a sequence dynamically equivalent to a sequence evolving according to a HTP-like evolution, where the identification stage has a gradient premultiplied with a time-varying diagonal matrix. RHTP is also proven, both theoretically, and numerically, to enjoy faster convergence vis-a-vis HTP with both noiseless and noisy measurement vectors.


title: Rate-Splitting Multiple Access: A New Frontier for the PHY Layer of 6G

abstract: In order to efficiently cope with the high throughput, reliability, heterogeneity of Quality-of-Service (QoS), and massive connectivity requirements of future 6G multi-antenna wireless networks, multiple access and multiuser communication system design need to depart from conventional interference management strategies, namely fully treat interference as noise (as commonly used in 4G/5G, MU-MIMO, CoMP, Massive MIMO, millimetre wave MIMO) and fully decode interference (as in Non-Orthogonal Multiple Access, NOMA). This paper is dedicated to the theory and applications of a more general and powerful transmission framework based on Rate-Splitting Multiple Access (RSMA) that splits messages into common and private parts and enables to partially decode interference and treat remaining part of the interference as noise. This enables RSMA to softly bridge and therefore reconcile the two extreme strategies of fully decode interference and treat interference as noise and provide room for spectral efficiency, energy efficiency and QoS enhancements, robustness to imperfect Channel State Information at the Transmitter (CSIT), and complexity reduction. We give an overview of RSMA and its potential to address the requirements of 6G. This paper provides an overview of RSMA and its potential to address the requirements of 6G.


title: Learning to do multiframe wavefront sensing unsupervisedly: applications to blind deconvolution

abstract: Observations from ground based telescopes are affected by the presence of the Earth atmosphere, which severely perturbs them. The use of adaptive optics techniques has allowed us to partly beat this limitation. However, image selection or post-facto image reconstruction methods applied to bursts of short-exposure images are routinely needed to reach the diffraction limit. Deep learning has been recently proposed as an efficient way to accelerate these image reconstructions. Currently, these deep neural networks are trained with supervision, so that either standard deconvolution algorithms need to be applied a-priori or complex simulations of the solar magneto-convection need to be carried out to generate the training sets. Our aim here is to propose a general unsupervised training scheme that allows multiframe blind deconvolution deep learning systems to be trained simply with observations. The approach can be applied for the correction of point-like as well as extended objects. Leveraging the linear image formation theory and a probabilistic approach to the blind deconvolution problem produces a physically-motivated loss function. The optimization of this loss function allows an end-to-end training of a machine learning model composed of three neural networks. As examples, we apply this procedure to the deconvolution of stellar data from the FastCam instrument and to solar extended data from the Swedish Solar Telescope. The analysis demonstrates that the proposed neural model can be successfully trained without supervision using observations only. It provides estimations of the instantaneous wavefronts, from which a corrected image can be found using standard deconvolution technniques. The network model is roughly three orders of magnitude faster than applying standard deconvolution based on optimization and shows potential to be used on real-time at the telescope.


title: An Empirical Methodology for Detecting and Prioritizing Needs during Crisis Events

abstract: In times of crisis, identifying the essential needs is a crucial step to providing appropriate resources and services to affected entities. Social media platforms such as Twitter contain vast amount of information about the general public's needs. However, the sparsity of the information as well as the amount of noisy content present a challenge to practitioners to effectively identify shared information on these platforms. In this study, we propose two novel methods for two distinct but related needs detection tasks: the identification of 1) a list of resources needed ranked by priority, and 2) sentences that specify who-needs-what resources. We evaluated our methods on a set of tweets about the COVID-19 crisis. For task 1 (detecting top needs), we compared our results against two given lists of resources and achieved 64% precision. For task 2 (detecting who-needs-what), we compared our results on a set of 1,000 annotated tweets and achieved a 68% F1-score.


title: Formation and dissociation reactions of complexes involving interstitial carbon and oxygen defects in silicon

abstract: We present a detailed first-principles study which explores the configurational space along the relevant reactions and migration paths involving the formation and dissociation of interstitial carbon-oxygen complexes, $\mathrm{C_{i}O_{i}}$ and $\mathrm{C_{i}O_{2i}}$, in silicon. The formation/dissociation mechanisms of $\mathrm{C_{i}O_{i}}$ and $\mathrm{C_{i}O_{2i}}$ are found as occurring via capture/emission of mobile $\mathrm{C_{i}}$ impurities by/from O-complexes anchored to the lattice. The lowest activation energies for dissociation of $\mathrm{C_{i}O_{i}}$ and $\mathrm{C_{i}O_{2i}}$ into smaller moieties are 2.3 eV and 3.1 eV, respectively. The first is compatible with the observed annealing temperature of $\mathrm{C_{i}O_{i}}$ , which occurs at around 400 $^{\circ}$C, and below the threshold for $\mathrm{O_{i}}$ diffusion. The latter exceeds significantly the measured activation energy for the annealing of $\mathrm{C_{i}O_{2i}}$ ($E_{\mathrm{a}}=2.55$ eV). We propose that instead of dissociation, the actual annealing mechanism involves the capture of interstitial oxygen by $\mathrm{C_{i}O_{2i}}$, thus being governed by the migration barrier of $\mathrm{O_{i}}$ ($E_{\mathrm{m}}=2.53$ eV). The study is also accompanied by measurements of hole capture cross sections and capture barriers of $\mathrm{C_{i}O_{i}}$ and $\mathrm{C_{i}O_{2i}}$. In combination with previously reported data, we find thermodynamic donor transitions which are directly comparable to the first-principles results. The two levels exhibit close features, conforming to a model where the electronic character of $\mathrm{C_{i}O_{2i}}$ can be described by that of $\mathrm{C_{i}O_{i}}$ perturbed by a nearby O atom.


title: CT-based COVID-19 Triage: Deep Multitask Learning Improves Joint Identification and Severity Quantification

abstract: The current COVID-19 pandemic overloads healthcare systems, including radiology departments. Though several deep learning approaches were developed to assist in CT analysis, nobody considered study triage directly as a computer science problem. We describe two basic setups: Identification of COVID-19 to prioritize studies of potentially infected patients to isolate them as early as possible; Severity quantification to highlight studies of severe patients and direct them to a hospital or provide emergency medical care. We formalize these tasks as binary classification and estimation of affected lung percentage. Though similar problems were well-studied separately, we show that existing methods provide reasonable quality only for one of these setups. We employ a multitask approach to consolidate both triage approaches and propose a convolutional neural network to combine all available labels within a single model. In contrast with the most popular multitask approaches, we add classification layers to the most spatially detailed upper part of U-Net instead of the bottom, less detailed latent representation. We train our model on approximately 2000 publicly available CT studies and test it with a carefully designed set consisting of 32 COVID-19 studies, 30 cases with bacterial pneumonia, 31 healthy patients, and 30 patients with other lung pathologies to emulate a typical patient flow in an out-patient hospital. The proposed multitask model outperforms the latent-based one and achieves ROC AUC scores ranging from 0.87+-01 (bacterial pneumonia) to 0.97+-01 (healthy controls) for Identification of COVID-19 and 0.97+-01 Spearman Correlation for Severity quantification. We release all the code and create a public leaderboard, where other community members can test their models on our test dataset.


title: Real time Detection of Spectre and Meltdown Attacks Using Machine Learning

abstract: Recently discovered Spectre and meltdown attacks affects almost all processors by leaking confidential information to other processes through side-channel attacks. These vulnerabilities expose design flaws in the architecture of modern CPUs. To fix these design flaws, it is necessary to make changes in the hardware of modern processors which is a non-trivial task. Software mitigation techniques for these vulnerabilities cause significant performance degradation. In order to mitigate against Spectre and Meltdown attacks while retaining the performance benefits of modern processors, in this paper, we present a real-time detection mechanism for Spectre and Meltdown attacks by identifying the misuse of speculative execution and side-channel attacks. We use hardware performance counters and software events to monitor activity related to speculative execution, branch prediction, and cache interference. We use various machine learning models to analyze these events. These events produce a very distinctive pattern while the system is under attack; machine learning models are able to detect Meltdown and Spectre attacks under realistic load conditions with an accuracy of over 99%.


title: Optical visualization of the enhanced spin Hall effect in bismuth doped silicon

abstract: Direct visualizations of spin accumulation due to the enhanced spin Hall effect (SHE) in bismuth (Bi) - doped silicon (Si) at room temperature are realized by using helicity-dependent photovoltage (HDP) measurements. Under application of a dc current to the Bi-doped Si, clear helicity-dependent photovoltages are detected at the edges of the Si channel, indicating a perpendicular spin accumulation due to the SHE. In contrast, the HDP signals are negligibly small for phosphorus-doped Si. Compared to a platinum channel, which has a large spin Hall angle, more than two-orders of magnitude larger HDP signals are obtained in the Bi-doped Si.


title: Descriptor Revision for Conditionals: Literal Descriptors and Conditional Preservation

abstract: Descriptor revision by Hansson is a framework for addressing the problem of belief change. In descriptor revision, different kinds of change processes are dealt with in a joint framework. Individual change requirements are qualified by specific success conditions expressed by a belief descriptor, and belief descriptors can be combined by logical connectives. This is in contrast to the currently dominating AGM paradigm shaped by Alchourr\'on, G\"ardenfors, and Makinson, where different kinds of changes, like a revision or a contraction, are dealt with separately. In this article, we investigate the realisation of descriptor revision for a conditional logic while restricting descriptors to the conjunction of literal descriptors. We apply the principle of conditional preservation developed by Kern-Isberner to descriptor revision for conditionals, show how descriptor revision for conditionals under these restrictions can be characterised by a constraint satisfaction problem, and implement it using constraint logic programming. Since our conditional logic subsumes propositional logic, our approach also realises descriptor revision for propositional logic.


title: Optimal regularity of stable solutions to nonlinear equations involving the $p$-Laplacian

abstract: We consider the equation $-\Delta_p u=f(u)$ in a smooth bounded domain of $\mathbb{R}^n $, where $\Delta_p$ is the $p$-Laplace operator. Explicit examples of unbounded stable energy solutions are known if $n\geq p+4p/(p-1)$. Instead, when $n<p+4p/(p-1)$, stable solutions have been proved to be bounded only in the radial case or under strong assumptions on $f$. In this article we solve a long-standing open problem: we prove an interior $C^\alpha$ bound for stable solutions which holds for every nonnegative $f\in C^1$ whenever $p\geq2$ and the optimal condition $n<p+4p/(p-1)$ holds. When $p\in(1,2)$, we obtain the same result under the non-sharp assumption $n<5p$. These interior estimates lead to the boundedness of stable and extremal solutions to the associated Dirichlet problem when the domain is strictly convex. Our work extends to the $p$-Laplacian some of the recent results of Figalli, Ros-Oton, Serra, and the first author for the classical Laplacian, which have established the regularity of stable solutions when $p=2$ in the optimal range $n<10$.


title: Identification of hydrodynamic instability by convolutional neural networks

abstract: The onset of hydrodynamic instabilities is of great importance in both industry and daily life, due to the dramatic mechanical and thermodynamic changes for different types of flow motions. In this paper, modern machine learning techniques, especially the convolutional neural networks (CNN), are applied to identify the transition between different flow motions raised by hydrodynamic instability, as well as critical non-dimensionalized parameters for characterizing this transit. CNN not only correctly predicts the critical transition values for both Taylor-Couette (TC) flow and Rayleigh- B\'enard (RB) convection under various setups and conditions, but also shows an outstanding performance on robustness and noise-tolerance. In addition, key spatial features used for classifying different flow patterns are revealed by the principal component analysis.


title: How Twitter Data Sampling Biases U.S. Voter Behavior Characterizations

abstract: Online social media are key platforms for the public to discuss political issues. As a result, researchers have used data from these platforms to analyze public opinions and forecast election results. Recent studies reveal the existence of inauthentic actors such as malicious social bots and trolls, suggesting that not every message is a genuine expression from a legitimate user. However, the prevalence of inauthentic activities in social data streams is still unclear, making it difficult to gauge biases of analyses based on such data. In this paper, we aim to close this gap using Twitter data from the 2018 U.S. midterm elections. Hyperactive accounts are over-represented in volume samples. We compare their characteristics with those of randomly sampled accounts and self-identified voters using a fast and low-cost heuristic. We show that hyperactive accounts are more likely to exhibit various suspicious behaviors and share low-credibility information compared to likely voters. Random accounts are more similar to likely voters, although they have slightly higher chances to display suspicious behaviors. Our work provides insights into biased voter characterizations when using online observations, underlining the importance of accounting for inauthentic actors in studies of political issues based on social media data.


title: Sparse Cholesky covariance parametrization for recovering latent structure in ordered data

abstract: The sparse Cholesky parametrization of the inverse covariance matrix can be interpreted as a Gaussian Bayesian network; however its counterpart, the covariance Cholesky factor, has received, with few notable exceptions, little attention so far, despite having a natural interpretation as a hidden variable model for ordered signal data. To fill this gap, in this paper we focus on arbitrary zero patterns in the Cholesky factor of a covariance matrix. We discuss how these models can also be extended, in analogy with Gaussian Bayesian networks, to data where no apparent order is available. For the ordered scenario, we propose a novel estimation method that is based on matrix loss penalization, as opposed to the existing regression-based approaches. The performance of this sparse model for the Cholesky factor, together with our novel estimator, is assessed in a simulation setting, as well as over spatial and temporal real data where a natural ordering arises among the variables. We give guidelines, based on the empirical results, about which of the methods analysed is more appropriate for each setting.


title: Less is More: Robust and Novel Features for Malicious Domain Detection

abstract: Malicious domains are increasingly common and pose a severe cybersecurity threat. Specifically, many types of current cyber attacks use URLs for attack communications (e.g., C\&C, phishing, and spear-phishing). Despite the continuous progress in detecting these attacks, many alarming problems remain open, such as the weak spots of the defense mechanisms. Since machine learning has become one of the most prominent methods of malware detection, A robust feature selection mechanism is proposed that results in malicious domain detection models that are resistant to evasion attacks. This mechanism exhibits high performance based on empirical data. This paper makes two main contributions: First, it provides an analysis of robust feature selection based on widely used features in the literature. Note that even though the feature set dimensional space is reduced by half (from nine to four features), the performance of the classifier is still improved (an increase in the model's F1-score from 92.92\% to 95.81\%). Second, it introduces novel features that are robust to the adversary's manipulation. Based on an extensive evaluation of the different feature sets and commonly used classification models, this paper shows that models that are based on robust features are resistant to malicious perturbations, and at the same time useful for classifying non-manipulated data.


title: Cosmological parameter estimation for dynamical dark energy models with future fast radio burst observations

abstract: Fast radio bursts (FRBs) are a mysterious astrophysical phenomenon of bright pulses emitted at radio frequencies, and they are expected to be frequently detected in the future. The dispersion measures of FRBs are related to cosmological parameters, thus FRBs have the potential to be developed into a new cosmological probe if their data can be largely accumulated in the future. In this work, we study the capability of future FRB data to improve cosmological parameter estimation in two dynamical dark energy models. We find that the simulated FRB data can break the parameter degeneracies inherent in the current cosmic microwave background (CMB) data. Therefore, the combination of the CMB and FRB data can significantly improve the constraints on the Hubble constant and dark energy parameters, compared to those using CMB or FRB alone. If 10,000 FRB events with known redshifts are detected in the future, they would perform better than the baryon acoustic oscillation (BAO) data in breaking the parameter degeneracies inherent in the CMB data. We also find that the combination of FRB and gravitational-wave (GW) standard siren data provides an independent low-redshift probe to verify the results from the CMB and BAO data. For the data combination of CMB, GW, and FRB, it is found that the main contribution to the constraints comes from the CMB and GW data, but the inclusion of the FRB data still can evidently improve the constraint on the baryon density.


title: Careful analysis of XRD patterns with Attention

abstract: The important peaks related to the physical properties of a lithium ion rechargeable battery were extracted from the measured X ray diffraction spectrum by a convolutional neural network based on the Attention mechanism. Among the deep features, the lattice constant of the cathodic active material was selected as a cell voltage predictor, and the crystallographic behavior of the active anodic and cathodic materials revealed the rate property during the charge discharge states. The machine learning automatically selected the significant peaks from the experimental spectrum. Applying the Attention mechanism with appropriate objective variables in multi task trained models, one can selectively visualize the correlations between interesting physical properties. As the deep features are automatically defined, this approach can adapt to the conditions of various physical experiments.


title: Three-dimensional general relativistic Poynting-Robertson effect. III. Static and non-spherical quadrupolar massive source

abstract: We investigate the three-dimensional motion of a test particle in the gravitational field generated by a non-spherical compact object endowed with a mass quadrupole moment, described by the Erez-Rosen metric, and a radiation field, including the general relativistic Poynting-Robertson effect, coming from a rigidly rotating spherical emitting source located outside of the compact object. We derive the equations of motion for test particles influenced by such radiation field, recovering the two-dimensional description, and the weak-field approximation. This dynamical system admits the existence of a critical hypersurface, region where gravitational and radiation forces balance. Selected test particle orbits for different set of input parameters are displayed. The possible configurations on the critical hypersurfaces can be either latitudinal drift towards the equatorial ring or suspended orbits. We discuss about the existence of multiple hypersurface solutions through a simple method to perform the calculations. We graphically prove also that the critical hypersurfaces are stable configurations within the Lyapunov theory.


title: Developement of a stabilized Fabry-Perot etalon based calibrator for Hanle Echelle Spectrograph (HESP)

abstract: Accurate wavelength calibration is an important factor for any measurement with high resolution spectrographs. Stellar spectrum comprises of discrete absorption or emission lines whose position is precisely determined by calibrating the spectrograph using known reference lines generated from laboratory sources. For the spectrograph to measure small variations in Doppler shift, the wavelength calibration must be sufficiently stable during observation time. Instrument instability, mainly due to environmental factors like temperature and pressure variations, limitations of traditional calibration methods, for example Th-Ar lamps, are the main challenges which high precision spectroscopy. Through proper environmental control, by maintaining pressure at few mbar and temperature fluctuations within $\pm$0.05$^{\circ}$C, Fabry P\'erot etalon (FP) can yield a velocity precision of 1-10 m/s, when used for wavelength calibration. We have developed a passively stabilized FP based wavelength calibrator for Hanle Echelle Spectrograph (HESP) installed on Himalayan Chandra Telescope (HCT) at Indian Astronomical Observatory (IAO), Hanle, India. The etalon has been characterized using Fourier Transform Spectrograph (FTS) and initial test runs have been performed with HESP. In this paper we present the design and construction of the instrument along with preliminary test results obtained from HESP.


title: Existence and multiplicity of solutions for double-phase Robin problems

abstract: We consider a double phase Robin problem with a Carath\'{e}odory nonlinearity. When the reaction is superlinear but without satisfying the Ambrosetti-Rabinowitz condition, we prove an existence theorem. When the reaction is resonant, we prove a multiplicity theorem. Our approach is Morse theoretic, using the notion of homological local linking.


title: Quantized tensor FEM for multiscale problems: diffusion problems in two and three dimensions

abstract: Homogenization in terms of multiscale limits transforms a multiscale problem with $n+1$ asymptotically separated microscales posed on a physical domain $D \subset \mathbb{R}^d$ into a one-scale problem posed on a product domain of dimension $(n+1)d$ by introducing $n$ so-called "fast variables". This procedure allows to convert $n+1$ scales in $d$ physical dimensions into a single-scale structure in $(n+1)d$ dimensions. We prove here that both the original, physical multiscale problem and the corresponding high-dimensional, one-scale limiting problem can be efficiently treated numerically with the recently developed quantized tensor-train finite-element method (QTT-FEM). The method is based on restricting computation to sequences of nested subspaces of low dimensions (which are called tensor ranks) within a vast but generic "virtual" (background) discretization space. In the course of computation, these subspaces are computed iteratively and data-adaptively at runtime, bypassing any "offline precomputation". For the purpose of theoretical analysis, such low-dimensional subspaces are constructed analytically to bound the tensor ranks vs. error $\tau>0$. We consider a model linear elliptic multiscale problem in several physical dimensions and show, theoretically and experimentally, that both (i) the solution of the associated high-dimensional one-scale problem and (ii) the corresponding approximation to the solution of the multiscale problem admit efficient approximation by the QTT-FEM. These problems can therefore be numerically solved in a scale-robust fashion by standard (low-order) PDE discretizations combined with state-of-the-art general-purpose solvers for tensor-structured linear systems. We prove scale-robust exponential convergence, i.e., that QTT-FEM achieves accuracy $\tau$ with the number of effective degrees of freedom scaling polynomially in $\log \tau$.


title: Perturbation Analysis of Gradient-based Adversarial Attacks

abstract: After the discovery of adversarial examples and their adverse effects on deep learning models, many studies focused on finding more diverse methods to generate these carefully crafted samples. Although empirical results on the effectiveness of adversarial example generation methods against defense mechanisms are discussed in detail in the literature, an in-depth study of the theoretical properties and the perturbation effectiveness of these adversarial attacks has largely been lacking. In this paper, we investigate the objective functions of three popular methods for adversarial example generation: the L-BFGS attack, the Iterative Fast Gradient Sign attack, and Carlini & Wagner's attack (CW). Specifically, we perform a comparative and formal analysis of the loss functions underlying the aforementioned attacks while laying out large-scale experimental results on ImageNet dataset. This analysis exposes (1) the faster optimization speed as well as the constrained optimization space of the cross-entropy loss, (2) the detrimental effects of using the signature of the cross-entropy loss on optimization precision as well as optimization space, and (3) the slow optimization speed of the logit loss in the context of adversariality. Our experiments reveal that the Iterative Fast Gradient Sign attack, which is thought to be fast for generating adversarial examples, is the worst attack in terms of the number of iterations required to create adversarial examples in the setting of equal perturbation. Moreover, our experiments show that the underlying loss function of CW, which is criticized for being substantially slower than other adversarial attacks, is not that much slower than other loss functions. Finally, we analyze how well neural networks can identify adversarial perturbations generated by the attacks under consideration, hereby revisiting the idea of adversarial retraining on ImageNet.


title: Heat Diffusion in high-$C_p$ Nb$_3$Sn Composite Superconducting Wires

abstract: A major focus of Nb$_3$Sn accelerator magnets is on significantly reducing or eliminating their training. Demonstration of an approach to increase the $C_p$ of Nb$_3$Sn magnets using new materials and technologies is very important both for particle accelerators and light sources. It would improve thermal stability and lead to much shorter magnet training, with substantial savings in machines' commissioning costs. Both Hypertech and Bruker-OST have attempted to introduce high-$C_p$ elements in their wire design. This paper includes a description of these advanced wires, the finite element model of their heat diffusion properties as compared with the standard wires, and whenever available, a comparison between the minimum quench energy (MQE) calculated by the model and actual MQE measurements on wires.


title: Linearised electrodynamics and stabilisation of a cold magnetised plasma

abstract: We consider a linearized Euler--Maxwell model for the propagation and absorption of electromagnetic waves in a magnetized plasma. We present the derivation of the model, and we show its well-posedeness, its strong and polynomial stability under suitable and fairly general assumptions, its exponential stability in the same conditions as the Maxwell system, and finally its convergence to the time-harmonic regime. No homogeneity assumption is made, and the topological and geometrical assumptions on the domain are minimal. These results appear strongly linked to the spectral properties of various matrices describing the anisotropy and other plasma properties.


title: Infinite-Parameter ADHM Transform

abstract: The Atiyah-Drinfeld-Hitchin-Manin (ADHM) transform and its various generalizations are examples of non-linear integral transforms between finite-dimensional moduli spaces. This note describes a natural infinite-dimansional generalization, where the transform becomes a map from boundary data to a family of solutions of the self-duality equations in a domain.


title: Situated and Interactive Multimodal Conversations

abstract: Next generation virtual assistants are envisioned to handle multimodal inputs (e.g., vision, memories of previous interactions, in addition to the user's utterances), and perform multimodal actions (e.g., displaying a route in addition to generating the system's utterance). We introduce Situated Interactive MultiModal Conversations (SIMMC) as a new direction aimed at training agents that take multimodal actions grounded in a co-evolving multimodal input context in addition to the dialog history. We provide two SIMMC datasets totalling ~13K human-human dialogs (~169K utterances) using a multimodal Wizard-of-Oz (WoZ) setup, on two shopping domains: (a) furniture (grounded in a shared virtual environment) and, (b) fashion (grounded in an evolving set of images). We also provide logs of the items appearing in each scene, and contextual NLU and coreference annotations, using a novel and unified framework of SIMMC conversational acts for both user and assistant utterances. Finally, we present several tasks within SIMMC as objective evaluation protocols, such as Structural API Prediction and Response Generation. We benchmark a collection of existing models on these SIMMC tasks as strong baselines, and demonstrate rich multimodal conversational interactions. Our data, annotations, code, and models are publicly available.


title: Beam Diagnostics EXamples from High Energy Colliders

abstract: This chapter takes a look at how beam diagnostic systems can be used to commission, optimise and solve issues on high energy colliders.


title: New approaches to the general relativistic Poynting-Robertson effect

abstract: Objectives: A systematic study on the general relativistic Poynting-Robertson effect has been developed so far by introducing different complementary approaches, which can be mainly divided in two kinds: (1) improving the theoretical assessments and model in its simple aspects, and (2) extracting mathematical and physical information from such system with the aim to extend methods or results to other similar physical systems of analogue structure. Methods/Analysis: We use these theoretical approaches: relativity of observer splitting formalism; Lagrangian formalism and Rayleigh potential with a new integration method; Lyapunov theory os stability. Findings: We determined the three-dimensional formulation of the general relativistic Poynting-Robertson effect model. We determine the analytical form of the Rayleigh potential and discuss its implications. We prove that the critical hypersurfaces (regions where there is a balance between gravitational and radiation forces) are stable configurations. Novelty /Improvement: Our new contributions are: to have introduced the three-dimensional description; to have determined the general relativistic Rayleigh potential for the first time in the General Relativity literature; to have provided an alternative, general and more elegant proof of the stability of the critical hypersurfaces.


title: An ASR Guided Speech Intelligibility Measure for TTS Model Selection

abstract: The perceptual quality of neural text-to-speech (TTS) is highly dependent on the choice of the model during training. Selecting the model using a training-objective metric such as the least mean squared error does not always correlate with human perception. In this paper, we propose an objective metric based on the phone error rate (PER) to select the TTS model with the best speech intelligibility. The PER is computed between the input text to the TTS model, and the text decoded from the synthesized speech using an automatic speech recognition (ASR) model, which is trained on the same data as the TTS model. With the help of subjective studies, we show that the TTS model chosen with the least PER on validation split has significantly higher speech intelligibility compared to the model with the least training-objective metric loss. Finally, using the proposed PER and subjective evaluation, we show that the choice of best TTS model depends on the genre of the target domain text. All our experiments are conducted on a Hindi language dataset. However, the proposed model selection method is language independent.


title: Fundamentals of Vacuum Physics and Technology

abstract: A good vacuum performance in particle accelerators is vital for their successful operation. The reasons why a good vacuum is needed, together with the basics of vacuum physics and technology and the main gas sources inside the vacuum system, are presented here.


title: Practical Modeling and Beamforming for Intelligent Reflecting Surface Aided Wideband Systems

abstract: Intelligent reflecting surface (IRS) has emerged as a revolutionizing solution to enhance wireless communications by intelligently changing the propagation environment. Prior studies on IRS are based on an ideal reflection model with a constant amplitude and a variable phase shift. However, it is difficult and unrealistic to implement an IRS satisfying such ideal reflection model in practical applications. In this letter, we aim to investigate the phase-amplitude-frequency relationship of the reflected signals and propose a practical model of reflection coefficient for an IRS-aided wideband system. Then, based on this practical model, joint transmit power allocation of each subcarrier and IRS beamforming optimization are investigated for an IRS-aided wideband orthogonal frequency-division multiplexing (OFDM) system. Simulation results illustrate the importance of the practical model on the IRS designs and validate the effectiveness of our proposed model.


title: Automorphisms of shift spaces and the Higman-Thompson groups: the two-sided case

abstract: In this article, we further explore the nature of a connection between the groups of automorphisms of full shift spaces and the groups of outer automorphisms of the Higman--Thompson groups $\{G_{n,r}\}$. We show that the quotient of the group of automorphisms of the (two-sided) shift dynamical system $\mathrm{Aut}(X_n^{\mathbb{N}}, \sigma_{n})$ by its centre embeds as a particular subgroup $\mathcal{L}_{n}$ of the outer automorphism group $\mathop{\mathrm{Out}}(G_{n,n-1})$ of $G_{n,n-1}$. It follows by a result of Ryan that we have the following central extension: $$\langle \sigma_{n}\rangle \hookrightarrow \mathrm{Aut}(X_n^{\mathbb{N}}, \sigma_{n}) \twoheadrightarrow \mathcal{L}_{n}$$ where here, $\langle \sigma_{n} \rangle \cong \mathbb{Z}$. We prove that this short exact sequence splits if and only if $n$ is not a proper power, and, in all cases, we compute the 2-cocycles and 2-coboundaries for the extension. We also use this central extension to prove that for $1 \le r < n$, the groups $\mathop{\mathrm{Out}}(G_{n,r})$ are centreless and have undecidable order problem. Note that the group $\mathop{\mathrm{Out}}(G_{n,n-1})$ consists of finite transducers (combinatorial objects arising in automata theory), and elements of the group $\mathcal{L}_{n}$ are easily characterised within $\mathop{\mathrm{Out}}(G_{n,n-1})$ by a simple combinatorial property. In particular, the short exact sequence allows us to determine a new and efficient purely combinatorial representation of elements of $\mathrm{Aut}(X_n^{\mathbb{N}}, \sigma_{n})$, and we demonstrate how to compute products using this new representation.


title: Masses of the components of SB2 binaries observed with Gaia. V. Accurate SB2 orbits for 10 binaries and masses of the components of 5 binaries

abstract: Double-lined spectroscopic binaries (SB2s) are one of the main sources of stellar masses, as additional observations are only needed to give the inclinations of the orbital planes in order to obtain the individual masses of the components. For this reason, we are observing a selection of SB2s using the SOPHIE spectrograph at the Haute-Provence observatory in order to precisely determine their orbital elements. Our objective is to finally obtain masses with an accuracy of the order of one percent by combining our radial velocity (RV) measurements and the astrometric measurements that will come from the Gaia satellite. We present here the RVs and the re-determined orbits of 10 SB2s. In order to verify the masses we will derive from Gaia, we obtained interferometric measurements of the ESO VLTI for one of these SB2s. Adding the interferometric or speckle measurements already published by us or by others for 4 other stars, we finally obtain the masses of the components of 5 binary stars, with masses ranging from 0.51 to 2.2 solar masses, including main-sequence dwarfs and some more evolved stars whose location in the HR diagram has been estimated.


title: Growth of Sobolev norms for coupled Lowest Landau Level equations

abstract: We study coupled systems of nonlinear lowest Landau level equations, for which we prove global existence results with polynomial bounds on the possible growth of Sobolev norms of the solutions. We also exhibit explicit unbounded trajectories which show that these bounds are optimal.


title: Channel Attention based Iterative Residual Learning for Depth Map Super-Resolution

abstract: Despite the remarkable progresses made in deep-learning based depth map super-resolution (DSR), how to tackle real-world degradation in low-resolution (LR) depth maps remains a major challenge. Existing DSR model is generally trained and tested on synthetic dataset, which is very different from what would get from a real depth sensor. In this paper, we argue that DSR models trained under this setting are restrictive and not effective in dealing with real-world DSR tasks. We make two contributions in tackling real-world degradation of different depth sensors. First, we propose to classify the generation of LR depth maps into two types: non-linear downsampling with noise and interval downsampling, for which DSR models are learned correspondingly. Second, we propose a new framework for real-world DSR, which consists of four modules : 1) An iterative residual learning module with deep supervision to learn effective high-frequency components of depth maps in a coarse-to-fine manner; 2) A channel attention strategy to enhance channels with abundant high-frequency components; 3) A multi-stage fusion module to effectively re-exploit the results in the coarse-to-fine process; and 4) A depth refinement module to improve the depth map by TGV regularization and input loss. Extensive experiments on benchmarking datasets demonstrate the superiority of our method over current state-of-the-art DSR methods.


title: Combinatoire des sous-groupes de congruence du groupe modulaire

abstract: In this paper, we study the combinatorics of congruence subgroups of the modular group by generalizing results obtained in the non-modular case. For this, we define a notion of irreducible solutions from which we can build all the solutions. In particular, we give a particular solution, irreducible for any $N$, and the list of irreducible solutions for $N \leq 6$.


title: Symmetry energy properties of neutron-rich nuclei from the coherent density fluctuation model applied to nuclear matter calculations with Bonn potentials

abstract: We derive the values of nuclear symmetry energy, its components, as well as pressure in finite nuclei at saturation density from their corresponding values in nuclear matter obtained in non-relativistic Brueckner-Hartree-Fock calculations with the realistic Bonn B and Bonn CD potentials using the coherent density fluctuation model in the framework of a self-consistent Skyrme-Hartree-Fock plus BCS method. We focus on three isotopic chains of spherical nuclei (Ni, Sn, and Pb) and compare our results with those obtained with an effective Brueckner density-dependent potential. The role of the three-body forces on the considered quantities is also studied and discussed.


title: Optimal control of colloidal trajectories in inertial microfluidics using the Saffman effect

abstract: In inertial microfluidics colloidal particles in a Poiseuille flow experience the Segr\'e-Silberberg lift force, which drives them to specific positions in the channel cross section. Due to the Saffman effect an external force applied along the microchannel induces a cross-streamline migration to a new equilibrium position. We apply optimal control theory to design the time protocol of the axial control force in order to steer a single particle as precisely as possible from a channel inlet to an outlet at a chosen target position. We discuss the influence of particle radius and channel length and show that optimal steering is cheaper than using a constant control force. Using a single optimized control-force protocol, we demonstrate that even a pulse of particles spread along the channel axis can be steered to a target and that particles of different radii can be separarted most efficiently.


title: Extending the Multiple Traveling Salesman Problem for Scheduling a Fleet of Drones Performing Monitoring Missions

abstract: In this paper we schedule the travel path of a set of drones across a graph where the nodes need to be visited multiple times at pre-defined points in time. This is an extension of the well-known multiple traveling salesman problem. The proposed formulation can be applied in several domains such as the monitoring of traffic flows in a transportation network, or the monitoring of remote locations to assist search and rescue missions. Aiming to find the optimal schedule, the problem is formulated as an Integer Linear Program (ILP). Given that the problem is highly combinatorial, the optimal solution scales only for small sized problems. Thus, a greedy algorithm is also proposed that uses a one-step look ahead heuristic search mechanism. In a detailed evaluation, it is observed that the greedy algorithm has near-optimal performance as it is on average at 92.06% of the optimal, while it can potentially scale up to settings with hundreds of drones and locations.


title: Conformal prediction intervals for the individual treatment effect

abstract: We propose several prediction intervals procedures for the individual treatment effect with either finite-sample or asymptotic coverage guarantee in a non-parametric regression setting, where non-linear regression functions, heteroskedasticity and non-Gaussianity are allowed. The construct the prediction intervals we use the conformal method of Vovk et al. (2005). In extensive simulations, we compare the coverage probability and interval length of our prediction interval procedures. We demonstrate that complex learning algorithms, such as neural networks, can lead to narrower prediction intervals than simple algorithms, such as linear regression, if the sample size is large enough.


title: Light-in-the-loop: using a photonics co-processor for scalable training of neural networks

abstract: As neural networks grow larger and more complex and data-hungry, training costs are skyrocketing. Especially when lifelong learning is necessary, such as in recommender systems or self-driving cars, this might soon become unsustainable. In this study, we present the first optical co-processor able to accelerate the training phase of digitally-implemented neural networks. We rely on direct feedback alignment as an alternative to backpropagation, and perform the error projection step optically. Leveraging the optical random projections delivered by our co-processor, we demonstrate its use to train a neural network for handwritten digits recognition.


title: Kaya: A Testing Framework for Blockchain-based Decentralized Applications

abstract: In recent years, many decentralized applications based on blockchain (DApp) have been developed. However, due to inadequate testing, DApps are easily exposed to serious vulnerabilities. We find three main challenges for DApp testing, i.e., the inherent complexity of DApp, inconvenient pre-state setting, and not-so-readable logs. In this paper, we propose a testing framework named Kaya to bridge these gaps. Kaya has three main functions. Firstly, Kaya proposes DApp behavior description language (DBDL) to make writing test cases easier. Test cases written in DBDL can also be automatically executed by Kaya. Secondly, Kaya supports a flexible and convenient way for test engineers to set the blockchain pre-states easily. Thirdly, Kaya transforms incomprehensible addresses into readable variables for easy comprehension. With these functions, Kaya can help test engineers test DApps more easily. Besides, to fit the various application environments, we provide two ways for test engineers to use Kaya, i.e., UI and command-line. Our experimental case demonstrates the potential of Kaya in helping test engineers to test DApps more easily.


title: Mutation equivalence of toric Landau-Ginzburg models

abstract: Given a Fano complete intersection defined by sections of a collection nef line bundles $L_1,\ldots, L_c$ on a Fano toric manifold $Y$, a construction of Givental/Hori-Vafa provides a mirror-dual Landau-Ginzburg model. This construction depends on a choice of suitable nef partition; that is, a partition of the rays of the fan determined by $Y$. We show that toric Landau-Ginzburg models constructed from different nef partitions representing the same complete intersection are related by a volume preserving birational map. In particular, various Laurent polynomial mirrors which may be obtained from these Landau-Ginzburg models are mutation equivalent.


title: Surface Temperature Trend Estimation over 12 Sites in Guinea Using 57 Years of Ground-Based Data

abstract: Trend-Run model was performed to estimate the trend in surface temperatures recorded at 12 sites in Guinea from 1960 to 2016 and to examine the contribution of each climate forcing. The coefficient of determination (R 2) calculated varies between 0.60 and 0.90, it provides total information about the simulation capability of the model. The decadal trend values also calculated show an upward trend (between 0.04 {\textdegree}C $\pm$ 0.06 {\textdegree}C decade --1 and 0.21 {\textdegree}C $\pm$ 0.06 {\textdegree}C decade --1). In addition, forcings' contributions were quantified, and the annual oscillation (AO) contribution is higher for most of the stations, followed by semiannual oscillation (SAO). Among the forcings, the tropical Northern Atlantic (TNA) contribution is greater than that of the sunspot number (SSN), Ni{\~n}o3.4 and Atlantic Ni{\~n}o (AN). Moreover, the Mann-Kendall test revealed a positive significant trend for all stations except at the Macenta site. Additionally, with sequential Mann-Kendall test, trend turning points were found only for the stations of Mamou, Koundara and Macenta at different dates. The temperature anomalies depict warming episodes (1970s, 1980s, 1984 and 1990s). Since then, the temperature is consistently increasing over the country. A significant warming has been shown, which might be further investigated using these models with additional contributing factors.


title: Efficient Receive Beamformers for Secure Spatial Modulation against a Malicious Full-duplex Attacker with Eavesdropping Ability

abstract: In this paper, we consider a new secure spatial modulation scenario with a full-duplex (FD) malicious attacker Mallory owning eavesdropping capacity, where Mallory works on FD model and transmits a malicious jamming such as artificial noise (AN) to interfere with Bob. To suppress the malicious jamming on Bob from Mallory, a conventional maximum receive power (Max-RP) at Bob is presented firstly. Subsequently, to exploit the colored property of noise plus interference at Bob, a whitening-filter-based Max-RP (Max-WFRP) is proposed with an obvious performance enhancement over Max-RP. To completely remove the malicious jamming from Mallory, a Max-RP with a constraint of forcing the malicious jamming from Mallory to zero at Bob is proposed. To further improve secrecy rate (SR) by removing the ZF contraint (ZFC), the maximum signal-to-jamming-plus-noise ratio (Max-SJNR) is proposed. Our proposed methods have closed-form expressions. From simulation results, the four receive beamforming methods have an increasing order in performance: Max-RP, Max-RP with ZFC and Max-SJNR$\approx$Max-WFRP. Additionally, the latter two harvest a substantial performance gains over Max-RP and Max-RP with ZFC in the low and medium signal-to-noise ratio regions.


title: On numerical semigroups with at most 12 left elements

abstract: For a numerical semigroup S $\subseteq$ N with embedding dimension e, conductor c and left part L = S $\cap$ [0, c -- 1], set W (S) = e|L| -- c. In 1978 Wilf asked, in equivalent terms, whether W (S) $\ge$ 0 always holds, a question known since as Wilf's conjecture. Using a closely related lower bound W 0 (S) $\le$ W (S), we show that if |L| $\le$ 12 then W 0 (S) $\ge$ 0, thereby settling Wilf's conjecture in this case. This is best possible, since cases are known where |L| = 13 and W 0 (S) = --1. Wilf's conjecture remains open for |L| $\ge$ 13.


title: Photo Thermal Effect Graphene Detector Featuring 105 Gbit s-1 NRZ and 120 Gbit s-1 PAM4 Direct Detection

abstract: The challenge of next generation datacom and telecom communication is to increase the available bandwidth while reducing the size, cost and power consumption of photonic integrated circuits. Silicon (Si) photonics has emerged as a viable solution to reach these objectives. Graphene, a single-atom thick layer of carbon5, has been recently proposed to be integrated with Si photonics because of its very high mobility, fast carrier dynamics and ultra-broadband optical properties. Here, we focus on graphene photodetectors for high speed datacom and telecom applications. High speed graphene photodetectors have been demonstrated so far, however the most are based on the photo-bolometric (PB) or photo-conductive (PC) effect. These devices are characterized by large dark current, in the order of milli-Amperes , which is an impairment in photo-receivers design, Photo-thermo-electric (PTE) effect has been identified as an alternative phenomenon for light detection. The main advantages of PTE-based photodetectors are the optical power to voltage conversion, zero-bias operation and ultra-fast response. Graphene PTE-based photodetectors have been reported in literature, however high-speed optical signal detection has not been shown. Here, we report on an optimized graphene PTE-based photodetector with flat frequency response up to 65 GHz. Thanks to the optimized design we demonstrate a system test leading to direct detection of 105 Gbit s-1 non-return to zero (NRZ) and 120 Gbit s-1 4-level pulse amplitude modulation (PAM) optical signals


title: Multi-Agent Determinantal Q-Learning

abstract: Centralized training with decentralized execution has become an important paradigm in multi-agent learning. Though practical, current methods rely on restrictive assumptions to decompose the centralized value function across agents for execution. In this paper, we eliminate this restriction by proposing multi-agent determinantal Q-learning. Our method is established on Q-DPP, an extension of determinantal point process (DPP) with partition-matroid constraint to multi-agent setting. Q-DPP promotes agents to acquire diverse behavioral models; this allows a natural factorization of the joint Q-functions with no need for \emph{a priori} structural constraints on the value function or special network architectures. We demonstrate that Q-DPP generalizes major solutions including VDN, QMIX, and QTRAN on decentralizable cooperative tasks. To efficiently draw samples from Q-DPP, we adopt an existing sample-by-projection sampler with theoretical approximation guarantee. The sampler also benefits exploration by coordinating agents to cover orthogonal directions in the state space during multi-agent training. We evaluate our algorithm on various cooperative benchmarks; its effectiveness has been demonstrated when compared with the state-of-the-art.


title: Involutive and oriented dendriform algebras

abstract: Dendriform algebras are certain splitting of associative algebras and arise naturally from Rota-Baxter operators, shuffle algebras and planar binary trees. In this paper, we first consider involutive dendriform algebras, their cohomology and homotopy analogs. The cohomology of an involutive dendriform algebra splits the Hochschild cohomology of an involutive associative algebra. In the next, we introduce a more general notion of oriented dendriform algebras. We develop a cohomology theory for oriented dendriform algebras that closely related to extensions and governs the simultaneous deformations of dendriform structures and the orientation.


title: Time- and energy-resolved effects in the boron-10 based Multi-Grid and helium-3 based thermal neutron detectors

abstract: The boron-10 based Multi-Grid detector is being developed as an alternative to helium-3 based neutron detectors. At the European Spallation Source, the detector will be used for time-of-flight neutron spectroscopy at cold to thermal neutron energies. The objective of this work is to investigate fine time- and energy-resolved effects of the Multi-Grid detector, down to a few $\mu$eV, while comparing it to the performance of a typical helium-3 tube. Furthermore, it is to characterize differences between the detector technologies in terms of internal scattering, as well as the time reconstruction of ~ $\mu$s short neutron pulses. The data were taken at the Helmholtz Zentrum Berlin, where the Multi-Grid detector and a helium-3 tube were installed at the ESS test beamline, V20. Using a Fermi-chopper, the neutron beam of the reactor was chopped into a few tens of $\mu$s wide pulses before reaching the detector, located a few tens of cm downstream. The data of the measurements show an agreement between the derived and calculated neutron detection efficiency curve. The data also provide fine details on the effect of internal scattering, and how it can be reduced. For the first time, the chopper resolution was comparable to the timing resolution of the Multi-Grid detector. This allowed a detailed study of time- and energy resolved effects, as well as a comparison with a typical helium-3 tube.


title: Frustrated Potts: Multiplicity Eliminates Chaos via Reentrance

abstract: The frustrated q-state Potts model is solved exactly on a hierarchical lattice, yielding chaos under rescaling, namely the signature of a spin-glass phase, as previously seen for the Ising (q=2) model. However, the ground-state entropy introduced by the (q>2)-state antiferromagnetic Potts bond induces an escape from chaos as multiplicity q increases. The frustration versus multiplicity phase diagram has a reentrant (as a function of frustration) chaotic phase.

categories: cond-mat.stat-mech math-ph math.MP nlin.CD