title: Sample-and-Gather: Fast Ruling Set Algorithms in the Low-Memory MPC Model

abstract: Motivated by recent progress on symmetry breaking problems such as maximal independent set (MIS) and maximal matching in the low-memory Massively Parallel Computation (MPC) model (e.g., Behnezhad et al.~PODC 2019; Ghaffari-Uitto SODA 2019), we investigate the complexity of ruling set problems in this model. The MPC model has become very popular as a model for large-scale distributed computing and it comes with the constraint that the memory-per-machine is strongly sublinear in the input size. For graph problems, extremely fast MPC algorithms have been designed assuming $\tilde{\Omega}(n)$ memory-per-machine, where $n$ is the number of nodes in the graph (e.g., the $O(\log\log n)$ MIS algorithm of Ghaffari et al., PODC 2018). However, it has proven much more difficult to design fast MPC algorithms for graph problems in the low-memory MPC model, where the memory-per-machine is restricted to being strongly sublinear in the number of nodes, i.e., $O(n^\eps)$ for $0 < \eps < 1$. In this paper, we present an algorithm for the 2-ruling set problem, running in $\tilde{O}(\log^{1/6} \Delta)$ rounds whp, in the low-memory MPC model. We then extend this result to $\beta$-ruling sets for any integer $\beta > 1$. Specifically, we show that a $\beta$-ruling set can be computed in the low-memory MPC model with $O(n^\eps)$ memory-per-machine in $\tilde{O}(\beta \cdot \log^{1/(2^{\beta+1}-2)} \Delta)$ rounds, whp. From this it immediately follows that a $\beta$-ruling set for $\beta = \Omega(\log\log\log \Delta)$-ruling set can be computed in in just $O(\beta \log\log n)$ rounds whp. The above results assume a total memory of $\tilde{O}(m + n^{1+\eps})$. We also present algorithms for $\beta$-ruling sets in the low-memory MPC model assuming that the total memory over all machines is restricted to $\tilde{O}(m)$.


title: Generating Realistic COVID19 X-rays with a Mean Teacher + Transfer Learning GAN

abstract: COVID-19 is a novel infectious disease responsible for over 800K deaths worldwide as of August 2020. The need for rapid testing is a high priority and alternative testing strategies including X-ray image classification are a promising area of research. However, at present, public datasets for COVID19 x-ray images have low data volumes, making it challenging to develop accurate image classifiers. Several recent papers have made use of Generative Adversarial Networks (GANs) in order to increase the training data volumes. But realistic synthetic COVID19 X-rays remain challenging to generate. We present a novel Mean Teacher + Transfer GAN (MTT-GAN) that generates COVID19 chest X-ray images of high quality. In order to create a more accurate GAN, we employ transfer learning from the Kaggle Pneumonia X-Ray dataset, a highly relevant data source orders of magnitude larger than public COVID19 datasets. Furthermore, we employ the Mean Teacher algorithm as a constraint to improve stability of training. Our qualitative analysis shows that the MTT-GAN generates X-ray images that are greatly superior to a baseline GAN and visually comparable to real X-rays. Although board-certified radiologists can distinguish MTT-GAN fakes from real COVID19 X-rays. Quantitative analysis shows that MTT-GAN greatly improves the accuracy of both a binary COVID19 classifier as well as a multi-class Pneumonia classifier as compared to a baseline GAN. Our classification accuracy is favourable as compared to recently reported results in the literature for similar binary and multi-class COVID19 screening tasks.


title: Performance benefits of increased qubit connectivity in quantum annealing 3-dimensional spin glasses

abstract: An important challenge in superconducting quantum computing is the need to physically couple many devices using quasi-two-dimensional fabrication processes. Recent advances in the design and fabrication of quantum annealing processors have enabled an increase in pairwise connectivity among thousands of qubits. One benefit of this is the ability to minor-embed optimization problems using fewer physical qubits for each logical spin. Here we demonstrate the benefit of this progress in the problem of minimizing the energy of three-dimensional spin glasses. Comparing the previous generation D-Wave 2000Q system to the new Advantage system, we observe improved scaling of solution time and improved consistency over multiple graph embeddings.


title: Bandwidth-Agile Image Transmission with Deep Joint Source-Channel Coding

abstract: We propose deep learning based communication methods for adaptive-bandwidth transmission of images over wireless channels. We consider the scenario in which images are transmitted progressively in layers over time or frequency, and such layers can be aggregated by receivers in order to increase the quality of their reconstructions. We investigate two scenarios, one in which the layers are sent sequentially, and incrementally contribute to the refinement of a reconstruction, and another in which the layers are independent and can be retrieved in any order. Those scenarios correspond to the well known problems of \textit{successive refinement} and \textit{multiple descriptions}, respectively, in the context of joint source-channel coding (JSCC). We propose DeepJSCC-$l$, an innovative solution that uses convolutional autoencoders, and present three architectures with different complexity trade-offs. To the best of our knowledge, this is the first practical multiple-description JSCC scheme developed and tested for practical information sources and channels. Numerical results show that DeepJSCC-$l$ can learn to transmit the source progressively with negligible losses in the end-to-end performance compared with a single transmission. Moreover, DeepJSCC-$l$ has comparable performance with state of the art digital progressive transmission schemes in the challenging low signal-to-noise ratio (SNR) and small bandwidth regimes, with the additional advantage of graceful degradation with channel SNR.


title: Supermode hybridization: a material-independent route towards record Schottky detection sensitivity using <0.05 {\mu}m3 amorphous absorber volume

abstract: Schottky photodetectors are attractive for CMOS-compatible photonic integrated circuits, but the trade-off between photon absorption and hot carrier emission often compromises the detection fidelity and sensitivity. Here, we report a hybridization-based waveguiding effect that can improve the sensitivity of guided-wave Schottky detection by >200x. By hybridizing the supermodes guided by asymmetrical coupled plasmonic nanostructures, light-matter-interaction can be significantly enhanced even if the thickness of the light absorbing region is only a few nanometers, thus allowing the absorption and emission efficiencies to be simultaneously optimized for the first time. Using amorphous-based active junction with absorbing volume of only 0.031 {\mu}m3, our detectors demonstrate record experimental sensitivity of -55 dBm, approaching that of crystalline-based Ge counterparts with >36x larger absorption region. The ability to maximize field overlap within small device volume and improve photodetection fidelity without using crystalline materials pave the way towards improved back-end-of-line interconnection, single photon detection, and 2D optoelectronics.


title: Joint User Scheduling and Resource Allocation for Millimeter Wave Systems Relying on Adaptive-Resolution ADCs

abstract: Millimeter wave (mmWave) communication systems using adaptive-resolution analog-to-digital converters (RADCs) have recently drawn considerable interests from the research community as benefit of their high energy efficiency and low implementation cost. In this paper, we focus on the mmWave uplink using RADCs and investigate the joint user scheduling and resource allocation problem. Specifically, we seek to maximize the system throughput of the scheduled users by jointly optimizing their transmit power level and hybrid combiners as well as the number of quantization bits, subject to practical constraints. By relying on fractional programming (FP) techniques, we first covert this problem into a form amenable to optimization and exploit the specific structures in its solutions with the aid of the so-called Ky Fan n-norm. Then, the resultant optimization problem is solved using a penalty block successive concave approximation (P-BSCA) algorithm. Our numerical results reveal that the proposed algorithm substantially enhances the throughput of the scheduled users compared to the state-of-theart benchmark schemes and provides more flexible and efficient resource allocation control.


title: Activity Complexes and A Prominent Poleward Surge During Solar Cycle 24

abstract: Long-lasting activity complexes (ACs), characterised as a series of closely located, continuously emerging solar active regions (ARs), are considered generating prominent poleward surges from observations. The surges lead to significant variations of the polar field, which are important for the modulation of solar cycles. We aim to study a prominent poleward surge during solar cycle 24 on the southern hemisphere, and analyse its originating ACs and the effect on the polar field evolution. We automatically identify and characterize ARs based on synoptic magnetograms from the Solar Dynamic Observatory. We assimilate these ARs with realistic magnetic configuration into a surface flux transport model, and simulate the creation and migration of the surge. Our simulations well reproduce the characteristics of the surge and show that the prominent surge is mainly caused by the ARs belonging to two ACs during Carrington Rotations 2145-2159 (December 2013-January 2015). The surge has a strong influence on the polar field evolution of the southern hemisphere during the latter half of cycle 24. Without the about one-year-long flux emergence in the form of ACs, the polar field around the cycle minimum would have remained at a low level and even reversed to the polarity at cycle 23 minimum. Our study also shows that the long-lived unipolar regions due to the decay of the earlier emerging ARs cause an intrinsic difficulty of automatically identifying and precisely quantifying later emerging ARs in ACs.


title: A self-referenced in-situ arrival time monitor for X-ray free-electron lasers

abstract: We present a novel, highly versatile, and self-referenced arrival time monitor for measuring the femtosecond time delay between a hard X-ray pulse from a free-electron laser and an optical laser pulse, measured directly on the same sample used for pump-probe experiments. Two chirped and picosecond long optical supercontinuum pulses traverse the sample with a mutually fixed time delay of 970 fs, while a femtosecond X-ray pulse arrives at an instant in between both pulses. Behind the sample the supercontinuum pulses are temporally overlapped to yield near-perfect destructive interference in the absence of the X-ray pulse. Stimulation of the sample with an X-ray pulse delivers non-zero contributions at certain optical wavelengths, which serve as a measure of the relative arrival time of the X-ray pulse with an accuracy of better than 25 fs. We find an excellent agreement of our monitor with the existing timing diagnostics at the SACLA XFEL with a Pearson correlation value of 0.98. We demonstrate a high sensitivity to measure X-ray pulses with pulse energies as low as 30 $\mu$J. Using a free-flowing liquid jet as interaction sample ensures the full replacement of the sample volume for each X-ray/optical event, thus enabling its utility even at MHz repetition rate XFEL sources.


title: Improving electric power generation of a standalone wave energy converter via optimal electric load control

abstract: This paper aims to investigate electric dynamics and improve electric power generation of an isolated wave energy converter that uses a linear permanent magnet generator as the power take-off system, excited by regular or irregular waves. This is of significant concern when considering actual operating conditions of an offshore wave energy converter, where the device will encounter different sea states and its electric load needs to be tuned on a sea-state-to-sea-state basis. To that end, a fully coupled fluid-mechanical-electric-magnetic-electronic mathematical model and an optimization routine are developed. This proposed time-domain wave-to-wire model is used to simulate the hydrodynamic and electric response of a wave energy converter connected to specific electric loads and also used in an optimization routine that searches optimal resistive load value for a wave energy converter under specific sea states. Sample results are presented for a point-absorber type wave energy converter, showing that the electric power generation of a device under irregular waves can be significantly improved. Keywords: wave energy converter, wave power system, wave-to-wire model, linear permanent magnet generator, electric load optimization.


title: Suppressing The Ferroelectric Switching Barrier in Hybrid Improper Ferroelectrics

abstract: Integration of ferroelectric materials into novel technological applications requires low coercive field materials, and consequently, design strategies to reduce the ferroelectric switching barriers. In this first principles study, we show that biaxial strain, which has a strong effect on the ferroelectric ground states, can also be used to tune the switching barrier of hybrid improper ferroelectric Ruddlesden-Popper oxides. We identify the region of the strain -- tolerance factor phase diagram where this intrinsic barrier is suppressed, and show that it can be explained in relation to strain induced phase transitions to nonpolar phases.


title: Constructing Confidence Intervals for the Signals in Sparse Phase Retrieval

abstract: In this paper, we provide a general methodology to draw statistical inferences on individual signal coordinates or linear combinations of them in sparse phase retrieval. Given an initial estimator for the targeting parameter (some simple function of the signal), which is generated by some existing algorithm, we can modify it in a way that the modified version is asymptotically normal and unbiased. Then confidence intervals and hypothesis testings can be constructed based on this asymptotic normality. For conciseness, we focus on confidence intervals in this work, while a similar procedure can be adopted for hypothesis testings. Under some mild assumptions on the signal and sample size, we establish theoretical guarantees for the proposed method. These assumptions are generally weak in the sense that the dimension could exceed the sample size and many non-zero small coordinates are allowed. Furthermore, theoretical analysis reveals that the modified estimators for individual coordinates have uniformly bounded variance, and hence simultaneous interval estimation is possible. Numerical simulations in a wide range of settings are supportive of our theoretical results.


title: Mental Health and Sensing

abstract: Mental health is a global epidemic, affecting close to half a billion people worldwide. Chronic shortage of resources hamper detection and recovery of affected people. Effective sensing technologies can help fight the epidemic through early detection, prediction, and resulting proper treatment. Existing and novel technologies for sensing mental health state could address the aforementioned concerns by activating granular tracking of physiological, behavioral, and social signals pertaining to problems in mental health. Our paper focuses on the available methods of sensing mental health problems through direct and indirect measures. We see how active and passive sensing by technologies as well as reporting from relevant sources can contribute toward these detection methods. We also see available methods of therapeutic treatment available through digital means. We highlight a few key intervention technologies that are being developed by researchers to fight against mental illness issues.


title: The Formation of the Cold Classical Kuiper Belt by a Short Range Transport Mechanism

abstract: The Classical Kuiper Belt is populated by a group of objects with low inclination orbits, reddish colors and usually belonging to a binary system. This so called Cold Classical Kuiper Belt is considered to have been formed in situ from primordial ice pebbles that coagulated into planetesimals hundreds of kilometers in diameter. According to this scenario, the accretion of pebbles into large planetesimals would have occurred through the streaming instability mechanism that would be effective in the primordial Solar System disk of gas and solids. Nevertheless other objects with the same color characteristics as those found in the Cold Classical Kuiper Belt can be encountered also past the 2:1 mean motion resonance with Neptune as scattered or detached objects. Here I propose a mechanism that can account for both the cold Classical Kuiper Belt objects and other reddish objects outside the Classical Kuiper Belt. According to the proposed scenario, reddish objects were primordially in the outer portion of the planetesimal disk which was however truncated somewhere below 42 au. In this manner the cold Classical Kuiper Belt and its scattered / detached counterpart were respectively transported outwards by a short range or slightly scattered to their present locations. Resonant objects were also formed by the same process. This mechanism is aimed at explaining the distribution of all objects that share the same color characteristics as coming from a common origin in the outer borders of the primordial planetesimal disk. According to the scenario here proposed the Cold Classical Kuiper Belt would have been formed around 4 au inside its present location with a total mass 20 to 100 times as large as its present value.


title: Structural and Optoelectronic Behaviour of Copper Doped Cs2AgInCl6 Double Perovskite: A DFT Investigation

abstract: Recently, direct bandgap double perovskites are becoming more popular among photovoltaic research community owing to their potential to address issues of lead (Pb) toxicity and structural instability inherent in lead halide (simple) perovskites. In this study, In-Ag based direct bandgap double perovskite, Cs2AgInCl6 (CAIC), is treated with transition metal doping to improve the optoelectronic properties of the material. Investigations of structural and optoelectronic properties of Cu-doped CAIC, Cs2Ag(1-x)CuxInCl6, are done using ab-initio calculations with density functional theory (DFT) and virtual crystal approximation (VCA). Our calculations show that with increasing Cu content, the optimized lattice parameter and direct bandgap of Cs2Ag(1-x)CuxInCl6 decrease following linear and quadratic functions respectively, while the bulk modulus increases following a quadratic function. The photo-absorption coefficient, optical conductivity and other optical parameters of interest are also computed, indicating enhanced absorption and conductivity for higher Cu contents. Based on our results, transition metal (Cu) doping is a viable means of treating double perovskites - by tuning their optoelectronic properties suitable for an extensive range of photovoltaics, solar cells and optoelectronics.


title: The Critical Smoothness of Generalized Functions

abstract: For each integrability parameter $p \in (0,\infty]$, the critical smoothness of a periodic generalized function $f$, denoted by $s_f(p)$ is the supremum over the smoothness parameters $s$ for which $f$ belongs to the Besov space $B_{p,p}^s$ (or other similar function spaces). This paper investigates the evolution of the critical smoothness with respect to the integrability parameter $p$. Our main result is a simple characterization of all the possible critical smoothness functions $p\mapsto s_f(p)$ when $f$ describes the space of generalized periodic functions. We moreover characterize the compressibility of generalized periodic functions in wavelet bases from the knowledge of their critical smoothness function.


title: Generalized Sequential Differential Calculus for Expected-Integral Functionals

abstract: Motivated by applications to stochastic programming, we introduce and study the expected-integral functionals, which are mappings given in an integral form depending on two variables, the first a finite dimensional decision vector and the second one an integrable function. The main goal of this paper is to establish sequential versions of Leibniz's rule for regular subgradients by employing and developing appropriate tools of variational analysis.


title: An outer reflected forward-backward splitting algorithm for solving monotone inclusions

abstract: Monotone inclusions have wide applications in solving various convex optimization problems arising in signal and image processing, machine learning, and medical image reconstruction. In this paper, we propose a new splitting algorithm for finding a zero of the sum of a maximally monotone operator, a monotone Lipschitzian operator, and a cocoercive operator, which is called outer reflected forward-backward splitting algorithm. Under mild conditions on the iterative parameters, we prove the convergence of the proposed algorithm. As applications, we employ the proposed algorithm to solve composite monotone inclusions involving monotone Lipschitzian operator, cocoercive operator, and the parallel sum of operators. The advantage of the obtained algorithm is that it is a completely splitting algorithm, in which the Lipschitzian operator and the cocoercive operator are processed via explicit steps and the maximally monotone operators are processed via their resolvents.


title: SEMI: Self-supervised Exploration via Multisensory Incongruity

abstract: Efficient exploration is a long-standing problem in reinforcement learning since extrinsic rewards are usually sparse or missing. A popular solution to this issue is to feed an agent with novelty signals as intrinsic rewards. In this work, we introduce SEMI, a self-supervised exploration policy by incentivizing the agent to maximize a new novelty signal: multisensory incongruity, which can be measured in two aspects, perception incongruity and action incongruity. The former represents the misalignment of the multisensory inputs, while the latter represents the variance of an agent's policies under different sensory inputs. Specifically, an alignment predictor is learned to detect whether multiple sensory inputs are aligned, the error of which is used to measure perception incongruity. A policy model takes different combinations of the multisensory observations as input and outputs actions for exploration. The variance of actions is further used to measure action incongruity. Using both incongruities as intrinsic rewards, SEMI allows an agent to learn skills by exploring in a self-supervised manner without any external rewards. We further show that SEMI is compatible with extrinsic rewards and it improves sample efficiency of policy learning. The effectiveness of SEMI is demonstrated across a variety of benchmark environments including object manipulation and audio-visual games.


title: Rubik: A Hierarchical Architecture for Efficient Graph Learning

abstract: Graph convolutional network (GCN) emerges as a promising direction to learn the inductive representation in graph data commonly used in widespread applications, such as E-commerce, social networks, and knowledge graphs. However, learning from graphs is non-trivial because of its mixed computation model involving both graph analytics and neural network computing. To this end, we decompose the GCN learning into two hierarchical paradigms: graph-level and node-level computing. Such a hierarchical paradigm facilitates the software and hardware accelerations for GCN learning. We propose a lightweight graph reordering methodology, incorporated with a GCN accelerator architecture that equips a customized cache design to fully utilize the graph-level data reuse. We also propose a mapping methodology aware of data reuse and task-level parallelism to handle various graphs inputs effectively. Results show that Rubik accelerator design improves energy efficiency by 26.3x to 1375.2x than GPU platforms across different datasets and GCN models.


title: Modeling Dyadic Conversations for Personality Inference

abstract: Nowadays, automatical personality inference is drawing extensive attention from both academia and industry. Conventional methods are mainly based on user generated contents, e.g., profiles, likes, and texts of an individual, on social media, which are actually not very reliable. In contrast, dyadic conversations between individuals can not only capture how one expresses oneself, but also reflect how one reacts to different situations. Rich contextual information in dyadic conversation can explain an individual's response during his or her conversation. In this paper, we propose a novel augmented Gated Recurrent Unit (GRU) model for learning unsupervised Personal Conversational Embeddings (PCE) based on dyadic conversations between individuals. We adjust the formulation of each layer of a conventional GRU with sequence to sequence learning and personal information of both sides of the conversation. Based on the learned PCE, we can infer the personality of each individual. We conduct experiments on the Movie Script dataset, which is collected from conversations between characters in movie scripts. We find that modeling dyadic conversations between individuals can significantly improve personality inference accuracy. Experimental results illustrate the successful performance of our proposed method.


title: $k$-Uniform states and quantum information masking

abstract: A pure state of $N$ parties with local dimension $d$ is called a $k$-uniform state if all the reductions to $k$ parties are maximally mixed. Based on the connections among $k$-uniform states, orthogonal arrays and linear codes, we give general constructions for $k$-uniform states. We show that when $d\geq 4k-2$ (resp. $d\geq 2k-1$) is a prime power, there exists a $k$-uniform state for any $N\geq 2k$ (resp. $2k\leq N\leq d+1$). Specially, we give the existence of $4,5$-uniform states for almost every $N$-qudits. Further, we generalize the concept of quantum information masking in bipartite systems given by [Modi \emph{et al.} {Phys. Rev. Lett. \textbf{120}, 230501 (2018)}] to $k$-uniform quantum information masking in multipartite systems, and we show that $k$-uniform states and quantum error-correcting codes can be used for $k$-uniform quantum information masking.


title: Machine Learning Algorithms for Active Monitoring of High Performance Computing as a Service (HPCaaS) Cloud Environments

abstract: Cloud computing provides ubiquitous and on-demand access to vast reconfigurable resources that can meet any computational need. Many service models are available, but the Infrastructure as a Service (IaaS) model is particularly suited to operate as a high performance computing (HPC) platform, by networking large numbers of cloud computing nodes. We used the Pacific Northwest National Laboratory (PNNL) cloud computing environment to perform our experiments. A number of cloud computing providers such as Amazon Web Services, Microsoft Azure, or IBM Cloud, offer flexible and scalable computing resources. This paper explores the viability identifying types of engineering applications running on a cloud infrastructure configured as an HPC platform using privacy preserving features as input to statistical models. The engineering applications considered in this work include MCNP6, a radiation transport code developed by Los Alamos National Laboratory, OpenFOAM, an open source computational fluid dynamics code, and CADO-NFS, a numerical implementation of the general number field sieve algorithm used for prime number factorization. Our experiments use the OpenStack cloud management tool to create a cloud HPC environment and the privacy preserving Ceilometer billing meters as classification features to demonstrate identification of these applications.


title: Mass-in-Mass Lattices with Small Internal Resonators

abstract: We consider the mass-in-mass (MiM) lattice when the internal resonators are very small. When there are no internal resonators the lattice reduces to a standard Fermi-Pasta-Ulam-Tsingou (FPUT) system. We show that the solution of the MiM system, with suitable initial data, shadows the FPUT system for long periods of time. Using some classical oscillatory integral estimates we can conclude that the error of the approximation is (in some settings) higher than one may expect.


title: Pandemics are catalysts of scientific novelty: Evidence from COVID-19

abstract: Scientific novelty drives the efforts to invent new vaccines and solutions during the pandemic. First-time collaboration and international collaboration are two pivotal channels to expand teams' search activities for a broader scope of resources required to address the global challenge, which might facilitate the generation of novel ideas. Our analysis of 98,981 coronavirus papers suggests that scientific novelty measured by the BioBERT model that is pre-trained on 29 million PubMed articles, and first-time collaboration increased after the outbreak of COVID-19, and international collaboration witnessed a sudden decrease. During COVID-19, papers with more first-time collaboration were found to be more novel and international collaboration did not hamper novelty as it had done in the normal periods. The findings suggest the necessity of reaching out for distant resources and the importance of maintaining a collaborative scientific community beyond nationalism during a pandemic.


title: Flight-connection Prediction for Airline Crew Scheduling to Construct Initial Clusters for OR Optimizer

abstract: We present a case study of using machine learning classification algorithms to initialize a large-scale commercial solver (GENCOL) based on column generation in the context of the airline crew pairing problem, where small savings of as little as 1% translate to increasing annual revenue by dozens of millions of dollars in a large airline. Under the imitation learning framework, we focus on the problem of predicting the next connecting flight of a crew, framed as a multiclass classification problem trained from historical data, and design an adapted neural network approach that achieves high accuracy (99.7% overall or 82.5% on harder instances). We demonstrate the usefulness of our approach by using simple heuristics to combine the flight-connection predictions to form initial crew-pairing clusters that can be fed in the GENCOL solver, yielding a 10x speed improvement and up to 0.2% cost saving.


title: Discovery of a weak topological insulating state and van Hove singularity in triclinic RhBi2

abstract: Time reversal symmetric (TRS) invariant topological insulators (TIs) fullfil a paradigmatic role in the field of topological materials, standing at the origin of its development. Apart from TRS protected 'strong' TIs, it was realized early on that more confounding weak topological insulators (WTI) exist. WTIs depend on translational symmetry and exhibit topological surface states only in certain directions making it significantly more difficult to match the experimental success of strong TIs. We here report on the discovery of a WTI state in RhBi2 that belongs to the optimal space group P1, which is the only space group where symmetry indicated eigenvalues enumerate all possible invariants due to absence of additional constraining crystalline symmetries. Our ARPES, DFT calculations, and effective model reveal topological surface states with saddle points that are located in the vicinity of a Dirac point resulting in a van Hove singularity (VHS) along the (100) direction close to the Fermi energy. Due to the combination of exotic features, this material offers great potential as a material platform for novel quantum effects.


title: Unavoidable Induced Subgraphs of Large 2-Connected Graphs

abstract: Ramsey proved that for every positive integer $n$, every sufficiently large graph contains an induced $K_n$ or $\overline{K}_n$. Among the many extensions of Ramsey's Theorem there is an analogue for connected graphs: for every positive integer $n$, every sufficiently large connected graph contains an induced $K_n$, $K_{1,n}$, or $P_n$. In this paper, we establish an analogue for 2-connected graphs. In particular, we prove that for every integer exceeding two, every sufficiently large 2-connected graph contains one of the following as an induced subgraph: $K_n$, a subdivision of $K_{2,n}$, a subdivision of $K_{2,n}$ with an edge between the two vertices of degree $n$, and a well-defined structure similar to a ladder.


title: The problem of ultracompact rotating gravastars

abstract: A number of authors provided arguments that a rotating gravastar is a good candidate for a source of the Kerr metric. These arguments were based on the second order perturbation analysis. In the following paper, we construct a perturbative solution of the rotating gravastar up to the third perturbation order and show that it cannot be continuously matched with the Kerr spacetime.


title: Efficient Hybrid Density Functional Calculations for Large Periodic Systems Using Numerical Atomic Orbitals

abstract: We present an efficient, linear-scaling implementation for building the (screened) Hartree-Fock exchange (HFX) matrix for periodic systems within the framework of numerical atomic orbital (NAO) basis functions. Our implementation is based on the localized resolution of the identity approximation by which two-electron Coulomb repulsion integrals can be obtained by only computing two-center quantities -- a feature that is highly beneficial to NAOs. By exploiting the locality of basis functions and efficient prescreening of the intermediate three- and two-index tensors, one can achieve a linear scaling of the computational cost for building the HFX matrix with respect to the system size. Our implementation is massively parallel, thanks to a MPI/OpenMP hybrid parallelization strategy for distributing the computational load and memory storage. All these factors add together to enable highly efficient hybrid functional calculations for large-scale periodic systems. In this work we describe the key algorithms and implementation details for the HFX build as implemented in the ABACUS code package. The performance and scalability of our implementation with respect to the system size and the number of CPU cores are demonstrated for selected benchmark systems up to 4096 atoms.


title: Learning to Plan and Realize Separately for Open-Ended Dialogue Systems

abstract: Achieving true human-like ability to conduct a conversation remains an elusive goal for open-ended dialogue systems. We posit this is because extant approaches towards natural language generation (NLG) are typically construed as end-to-end architectures that do not adequately model human generation processes. To investigate, we decouple generation into two separate phases: planning and realization. In the planning phase, we train two planners to generate plans for response utterances. The realization phase uses response plans to produce an appropriate response. Through rigorous evaluations, both automated and human, we demonstrate that decoupling the process into planning and realization performs better than an end-to-end approach.


title: Dictionary Learning with Low-rank Coding Coefficients for Tensor Completion

abstract: In this paper, we propose a novel tensor learning and coding model for third-order data completion. Our model is to learn a data-adaptive dictionary from the given observations, and determine the coding coefficients of third-order tensor tubes. In the completion process, we minimize the low-rankness of each tensor slice containing the coding coefficients. By comparison with the traditional pre-defined transform basis, the advantages of the proposed model are that (i) the dictionary can be learned based on the given data observations so that the basis can be more adaptively and accurately constructed, and (ii) the low-rankness of the coding coefficients can allow the linear combination of dictionary features more effectively. Also we develop a multi-block proximal alternating minimization algorithm for solving such tensor learning and coding model, and show that the sequence generated by the algorithm can globally converge to a critical point. Extensive experimental results for real data sets such as videos, hyperspectral images, and traffic data are reported to demonstrate these advantages and show the performance of the proposed tensor learning and coding method is significantly better than the other tensor completion methods in terms of several evaluation metrics.


title: A partition of finite rings makes lifting possible

abstract: We show that every finite ring has a partition, where each block corresponds to one idempotent. Remarkably, this partition provides a way to \emph{lift} a wide variety of special elements such as idempotents, nilpotents, unipotents, roots of unity and regular elements.


title: Architectural Design Alternatives based on Cloud/Edge/Fog Computing for Connected Vehicles

abstract: As vehicles playing an increasingly important role in people's daily life, requirements on safer and more comfortable driving experience have arisen. Connected vehicles (CVs) can provide enabling technologies to realize these requirements and have attracted widespread attentions from both academia and industry. These requirements ask for a well-designed computing architecture to support the Quality-of-Service (QoS) of CV applications. Computation offloading techniques, such as cloud, edge, and fog computing, can help CVs process computation-intensive and large-scale computing tasks. Additionally, different cloud/edge/fog computing architectures are suitable for supporting different types of CV applications with highly different QoS requirements, which demonstrates the importance of the computing architecture design. However, most of the existing surveys on cloud/edge/fog computing for CVs overlook the computing architecture design, where they (i) only focus on one specific computing architecture and (ii) lack discussions on benefits, research challenges, and system requirements of different architectural alternatives. In this paper, we provide a comprehensive survey on different architectural design alternatives based on cloud/edge/fog computing for CVs. The contributions of this paper are: (i) providing a comprehensive literature survey on existing proposed architectural design alternatives based on cloud/edge/fog computing for CVs, (ii) proposing a new classification of computing architectures based on cloud/edge/fog computing for CVs: computation-aided and computation-enabled architectures, (iii) presenting a holistic comparison among different cloud/edge/fog computing architectures for CVs based on functional requirements of CV systems, including advantages, disadvantages, and research challenges.


title: Efficient inverse design and spectrum prediction for nanophotonic devices based on deep recurrent neural networks

abstract: In recent years, the development of nanophotonic devices has presented a revolutionary means to manipulate light at nanoscale. Recently, artificial neural networks (ANNs) have displayed powerful ability in the inverse design of nanophotonic devices. However, there is limited research on the inverse design for modeling and learning the sequence characteristics of a spectrum. In this work, we propose a novel deep learning method based on an improved recurrent neural networks to extract the sequence characteristics of a spectrum and achieve inverse design and spectrum prediction. A key feature of the network is that the memory or feedback loops it comprises allow it to effectively recognize time series data. In the context of nanorods hyperbolic metamaterials, we demonstrated the high consistency between the target spectrum and the predicted spectrum, and the network learned the deep physical relationship concerning the structural parameter changes reflected on the spectrum. Moreover, the proposed model is capable of predicting an unknown spectrum based on a known spectrum with only 0.32% mean relative error. We propose this method as an effective and accurate alternative to the application of ANNs in nanophotonics, paving way for fast and accurate design of desired devices.


title: Near-Optimal MNL Bandits Under Risk Criteria

abstract: We study MNL bandits, which is a variant of the traditional multi-armed bandit problem, under risk criteria. Unlike the ordinary expected revenue, risk criteria are more general goals widely used in industries and bussiness. We design algorithms for a broad class of risk criteria, including but not limited to the well-known conditional value-at-risk, Sharpe ratio and entropy risk, and prove that they suffer a near-optimal regret. As a complement, we also conduct experiments with both synthetic and real data to show the empirical performance of our proposed algorithms.


title: Few distance sets in $\ell_p$ spaces and $\ell_p$ product spaces

abstract: Kusner asked if $n+1$ points is the maximum number of points in $\mathbb{R}^n$ such that the $\ell_p$ distance $(1<p<\infty)$ between any two points is $1$. We present an improvement to the best known upper bound when $p$ is large in terms of $n$, as well as a generalization of the bound to $s$-distance sets. We also study equilateral sets in the $\ell_p$ sums of Euclidean spaces, deriving upper bounds on the size of an equilateral set for when $p=\infty$, $p$ is even, and for any $1\le p<\infty$.


title: Spectral invariants of convex billiard maps:a viewpoint of Mather's beta function

abstract: For strictly convex billiard maps of smooth boundaries, we get a Birkhoff normal form via a list of constructive generating functions. Based on this, we get an explicit formula for the beta function (locally), and explored the relation between the spectral invariants of the billiard maps and the beta function.


title: Fluctuations of the 2-spin SSK model with magnetic field

abstract: We analyze the fluctuations of the free energy, replica overlaps, and overlap with the external field in the quadratic spherical SK model with a magnetic field. We identify several different behaviors for these quantities depending on the size of the magnetic field, confirming predictions by Fyodorov-Le Doussal and recent work of Baik, Collins-Wildman, Le Doussal and Wu.


title: Analytic lifts of operator concave functions

abstract: The motivation behind this paper is threefold. Firstly, to study, characterize and realize operator concavity along with its applications to operator monotonicity of free functions on operator domains that are not assumed to be matrix convex. Secondly, to use the obtained Schur complement based representation formulas to analytically extend operator means of probability measures and to emphasize their study through random variables. Thirdly, to obtain these results in a decent generality. That is, for domains in arbitrary tensor product spaces of the form $\mathcal{A}\otimes\mathcal{B}(E)$, where $\mathcal{A}$ is a Banach space and $\mathcal{B}(E)$ denotes the bounded linear operators over a Hilbert space $E$. Our arguments also apply when $\mathcal{A}$ is merely a locally convex space.


title: Dense-View GEIs Set: View Space Covering for Gait Recognition based on Dense-View GAN

abstract: Gait recognition has proven to be effective for long-distance human recognition. But view variance of gait features would change human appearance greatly and reduce its performance. Most existing gait datasets usually collect data with a dozen different angles, or even more few. Limited view angles would prevent learning better view invariant feature. It can further improve robustness of gait recognition if we collect data with various angles at 1 degree interval. But it is time consuming and labor consuming to collect this kind of dataset. In this paper, we, therefore, introduce a Dense-View GEIs Set (DV-GEIs) to deal with the challenge of limited view angles. This set can cover the whole view space, view angle from 0 degree to 180 degree with 1 degree interval. In addition, Dense-View GAN (DV-GAN) is proposed to synthesize this dense view set. DV-GAN consists of Generator, Discriminator and Monitor, where Monitor is designed to preserve human identification and view information. The proposed method is evaluated on the CASIA-B and OU-ISIR dataset. The experimental results show that DV-GEIs synthesized by DV-GAN is an effective way to learn better view invariant feature. We believe the idea of dense view generated samples will further improve the development of gait recognition.


title: QuatRE: Relation-Aware Quaternions for Knowledge Graph Embeddings

abstract: We propose a simple yet effective embedding model to learn quaternion embeddings for entities and relations in knowledge graphs. Our model aims to enhance correlations between head and tail entities given a relation within the Quaternion space with Hamilton product. The model achieves this goal by further associating each relation with two relation-aware rotations, which are used to rotate quaternion embeddings of the head and tail entities, respectively. Experimental results show that our proposed model produces state-of-the-art performances on well-known benchmark datasets for knowledge graph completion. Our code is available at: \url{https://github.com/daiquocnguyen/QuatRE}.


title: Unsupervised Model Adaptation for Continual Semantic Segmentation

abstract: We develop an algorithm for adapting a semantic segmentation model that is trained using a labeled source domain to generalize well in an unlabeled target domain. A similar problem has been studied extensively in the unsupervised domain adaptation (UDA) literature, but existing UDA algorithms require access to both the source domain labeled data and the target domain unlabeled data for training a domain agnostic semantic segmentation model. Relaxing this constraint enables a user to adapt pretrained models to generalize in a target domain, without requiring access to source data. To this end, we learn a prototypical distribution for the source domain in an intermediate embedding space. This distribution encodes the abstract knowledge that is learned from the source domain. We then use this distribution for aligning the target domain distribution with the source domain distribution in the embedding space. We provide theoretical analysis and explain conditions under which our algorithm is effective. Experiments on benchmark adaptation task demonstrate our method achieves competitive performance even compared with joint UDA approaches.


title: High-Throughput Design of Peierls and Charge Density Wave Phases in Q1D Organometallic Materials

abstract: Soft-phonon modes of an undistorted phase encode a material's preference for symmetry lowering. However, the evidence is sparse for the relationship between an unstable phonon wavevector's reciprocal and the number of formula units in the stable distorted phase. This "1/q*-criterion" holds great potential for the first-principles design of materials, especially in low-dimension. We validate the approach on the Q1D materials space containing 1199 ring-metal units and identify candidates that are stable in undistorted (1 unit), Peierls (2 units), charge density wave (3-5 units), or long wave (>5 units) phases. We highlight materials exhibiting gap-opening as well as an uncommon gap-closing Peierls transition, and discuss an example case stabilized as a charge density wave insulator. We present the data generated for this study through an interactive publicly accessible Big Data analytics platform (http://moldis.tifrh.res.in/data/rmq1d) facilitating limitless and seamless data-mining explorations.


title: Orientational quantum revivals induced by a single-cycle terahertz pulse

abstract: The phenomenon of quantum revivals resulting from the self-interference of wave packets has been observed in several quantum systems and utilized widely in spectroscopic applications. Here, we present a combined analytical and numerical study on the generation of orientational quantum revivals (OQRs) exclusively using a single-cycle THz pulse. As a proof of principle, we examine the scheme in the linear polar molecule HCN with experimentally accessible pulse parameters and obtain strong field-free OQR without requiring the condition of the sudden-impact limit. To visualize the involved quantum mechanism, we derive a three-state model using the Magnus expansion of the time-evolution operator. Interestingly, the THz pulse interaction with the electric-dipole moment can activate direct multiphoton processes, leading to OQR enhancements beyond that induced by a rotational ladder-climbing mechanism from the rotational ground state. This work provides an explicit and feasible approach toward quantum control of molecular rotation, which is at the core of current research endeavors with potential applications in atomic and molecular physics, photochemistry, and quantum information science.


title: Proceedings of the Sixteenth International Workshop on the ACL2 Theorem Prover and its Applications

abstract: This volume contains a selection of papers presented at the 16th International Workshop on the ACL2 Theorem Prover and its Applications (ACL2-2020). The workshops are the premier technical forum for presenting research and experiences related to ACL2.


title: Structure and Isotropy of Lattice Pressure Tensors for Multi-range Potentials

abstract: We systematically analyze the tensorial structure of the lattice pressure tensors for a class of multi-phase lattice Boltzmann models (LBM) with multi-range interactions. Due to lattice discrete effects, we show that the built-in isotropy properties of the lattice interaction forces are not necessarily mirrored in the corresponding lattice pressure tensor. This finding opens a different perspective for constructing forcing schemes, achieving the desired isotropy in the lattice pressure tensors via a suitable choice of multi-range potentials. As an immediate application, the obtained LBM forcing schemes are tested via numerical simulations of non-ideal equilibrium interfaces and are shown to yield weaker and less spatially extended spurious currents with respect to forcing schemes obtained by forcing isotropy requirements only. From a general perspective, the proposed analysis yields an approach for implementing forcing symmetries, never explored so far in the framework of the Shan-Chen method for LBM. We argue this will be beneficial for future studies of non-ideal interfaces.


title: Efficient calibration for imperfect epidemic models with applications to the analysis of COVID-19

abstract: The estimation of unknown parameters in simulations, also known as calibration, is crucial for practical management of epidemics and prediction of pandemic risk. A simple yet widely used approach is to estimate the parameters by minimizing the sum of the squared distances between actual observations and simulation outputs. It is shown in this paper that this method is inefficient, particularly when the epidemic models are developed based on certain simplifications of reality, also known as imperfect models which are commonly used in practice. To address this issue, a new estimator is introduced that is asymptotically consistent, has a smaller estimation variance than the least squares estimator, and achieves the semiparametric efficiency. Numerical studies are performed to examine the finite sample performance. The proposed method is applied to the analysis of the COVID-19 pandemic for 20 countries based on the SEIR (Susceptible-Exposed-Infectious-Recovered) model with both deterministic and stochastic simulations. The estimation of the parameters, including the basic reproduction number and the average incubation period, reveal the risk of disease outbreaks in each country and provide insights to the design of public health interventions.


title: Neural Twins Talk

abstract: Inspired by how the human brain employs more neural pathways when increasing the focus on a subject, we introduce a novel twin cascaded attention model that outperforms a state-of-the-art image captioning model that was originally implemented using one channel of attention for the visual grounding task. Visual grounding ensures the existence of words in the caption sentence that are grounded into a particular region in the input image. After a deep learning model is trained on visual grounding task, the model employs the learned patterns regarding the visual grounding and the order of objects in the caption sentences, when generating captions. We report the results of our experiments in three image captioning tasks on the COCO dataset. The results are reported using standard image captioning metrics to show the improvements achieved by our model over the previous image captioning model. The results gathered from our experiments suggest that employing more parallel attention pathways in a deep neural network leads to higher performance. Our implementation of NTT is publicly available at: https://github.com/zanyarz/NeuralTwinsTalk.


title: Cross-individual Recognition of Emotions by a Dynamic Entropy based on Pattern Learning with EEG features

abstract: Use of the electroencephalogram (EEG) and machine learning approaches to recognize emotions can facilitate affective human computer interactions. However, the type of EEG data constitutes an obstacle for cross-individual EEG feature modelling and classification. To address this issue, we propose a deep-learning framework denoted as a dynamic entropy-based pattern learning (DEPL) to abstract informative indicators pertaining to the neurophysiological features among multiple individuals. DEPL enhanced the capability of representations generated by a deep convolutional neural network by modelling the interdependencies between the cortical locations of dynamical entropy based features. The effectiveness of the DEPL has been validated with two public databases, commonly referred to as the DEAP and MAHNOB-HCI multimodal tagging databases. Specifically, the leave one subject out training and testing paradigm has been applied. Numerous experiments on EEG emotion recognition demonstrate that the proposed DEPL is superior to those traditional machine learning (ML) methods, and could learn between electrode dependencies w.r.t. different emotions, which is meaningful for developing the effective human-computer interaction systems by adapting to human emotions in the real world applications.


title: Polynomially convex embeddings of odd-dimensional closed manifolds

abstract: It is shown that any smooth closed orientable manifold of dimension $2k + 1$, $k \geq 2$, admits a smooth polynomially convex embedding into $\mathbb C^{3k}$. This improves by $1$ the previously known lower bound of $3k+1$ on the possible ambient complex dimension for such embeddings (which is sharp when $k=1$). It is further shown that the embeddings produced have the property that all continuous functions on the image can be uniformly approximated by holomorphic polynomials. Lastly, the same technique is modified to construct embeddings whose images have nontrivial hulls containing no nontrivial analytic disks. The distinguishing feature of this dimensional setting is the appearance of nonisolated CR-singularities, which cannot be tackled using only local analytic methods (as done in earlier results of this kind), and a topological approach is required.


title: Lorentz gradient estimates for a class of elliptic p-Laplacian equations with a Schr\"odinger term

abstract: We prove in this paper the global Lorentz estimate in term of fractional-maximal function for gradient of weak solutions to a class of p-Laplace elliptic equations containing a non-negative Schr\"odinger potential which belongs to reverse H\"older classes. In particular, this class of p-Laplace operator includes both degenerate and non-degenerate cases. The interesting idea is to use an efficient approach based on the level-set inequality related to the distribution function in harmonic analysis.


title: Identification of causal direct-indirect effects without untestable assumptions

abstract: In causal mediation analysis, identification of existing causal direct or indirect effects requires untestable assumptions in which potential outcomes and potential mediators are independent. This paper defines a new causal direct and indirect effect that does not require the untestable assumptions. We show that the proposed measure is identifiable from the observed data, even if potential outcomes and potential mediators are dependent, while the existing natural direct or indirect effects may find a pseudo-indirect effect when the untestable assumptions are violated.


title: Uniform convergence and stability of linearized fourth-order conservative compact scheme for Benjamin-Bona-Mahony-Burgers' equation

abstract: In the paper, a newly developed three-point fourth-order compact operator is utilized to construct an efficient compact finite difference scheme for the Benjamin-Bona-Mahony-Burgers' (BBMB) equation. Detailed derivation is carried out based on the reduction order method together with a three-level linearized technique. The conservative invariant, boundedness and unique solvability are studied at length. The uniform convergence is proved by the technical energy argument with the optimal convergence order $\mathcal{O}(\tau^2+h^4)$ in the sense of the maximum norm. The almost unconditional stability can be achieved based on the uniform boundedness of the numerical solution. The present scheme is very efficient in practical computation since only a system of linear equations with a symmetric circulant matrix needing to be solved at each time step. The extensive numerical examples verify our theoretical results and demonstrate the superiority of the scheme when compared with state-of-the-art those in the references.


title: Bekenstein bound and uncertainty relations

abstract: The non zero value of Planck constant $h$ underlies the emergence of several inequalities that must be satisfied in the quantum realm, the most prominent one being Heisenberg Uncertainty Principle. Among these inequalities, Bekenstein bound provides a universal limit on the entropy that can be contained in a localized quantum system of given size and total energy. In this Letter, we explore how Bekenstein bound is affected when Heisenberg uncertainty relation is deformed so as to accommodate gravitational effects close to Planck scale (Generalized Uncertainty Principle). By resorting to general thermodynamic arguments, and in regimes where the equipartition theorem still holds, we derive in this way a "generalized Bekenstein bound". Physical implications of this result are discussed for both cases of positive and negative values of the deformation parameter.


title: Analyzing Adaptive Parameter Landscapes in Parameter Adaptation Methods for Differential Evolution

abstract: Since the scale factor and the crossover rate significantly influence the performance of differential evolution (DE), parameter adaptation methods (PAMs) for the two parameters have been well studied in the DE community. Although PAMs can sufficiently improve the effectiveness of DE, PAMs are poorly understood (e.g., the working principle of PAMs). One of the difficulties in understanding PAMs comes from the unclarity of the parameter space that consists of the scale factor and the crossover rate. This paper addresses this issue by analyzing adaptive parameter landscapes in PAMs for DE. First, we propose a concept of an adaptive parameter landscape, which captures a moment in a parameter adaptation process. For each iteration, each individual in the population has its adaptive parameter landscape. Second, we propose a method of analyzing adaptive parameter landscapes using a 1-step-lookahead greedy improvement metric. Third, we examine adaptive parameter landscapes in PAMs by using the proposed method. Results provide insightful information about PAMs in DE.


title: Variational attraction of the KAM torus for the conformally symplectic system

abstract: For the conformally symplectic system \[ \left\{ \begin{aligned} \dot{q}&=H_p(q,p),\quad(q,p)\in T^*\mathbb{T}^n\\ \dot p&=-H_q(q,p)-\lambda p, \quad \lambda>0 \end{aligned} \right. \] with a positive definite Hamiltonian, we discuss the variational significance of invariant Lagrangian graphs and explain how the KAM torus impacts the $W^{1,\infty}-$convergence speed of the Lax-Oleinik semigroup.


title: Latency Analysis for IMT-2020 Radio Interface Technology Evaluation

abstract: The International Telecommunication Union (ITU) is currently deliberating on the finalization of candidate radio interface technologies (RITs) for IMT-2020 (International Mobile Telecommunications) suitability. The candidate technologies are currently being evaluated and after a couple of ITU-Radiocommunication sector (ITU-R) working party (WP) meetings, they will become official. Although, products based on the candidate technology from 3GPP (5G new radio (NR)) is already commercial in several operator networks, the ITU is yet to officially declare it as IMT-2020 qualified. Along with evaluation of the 3GPP 5G NR specifications, our group has evaluated many other proponent technologies. 3GPP entire specifications were examined and evaluated through simulation using Matlab and using own developed simulator which is based on the Go-language. The simulator can evaluate complete 5G NR performance using the IMT-2020 evaluation framework. In this work, we are presenting latency parameters which has shown some minor differences from the 3GPP report. Especially, for time division duplexing (TDD) mode of operation, the differences are observed. It might be possible that the differences are due to assumptions made outside the scope of the evaluation. However, we considered the worst case parameter. Although, the report is submitted to ITU but it is also important for the research community to understand why the differences and what were the assumptions in scenario for which differences are observed.


title: iNLTK: Natural Language Toolkit for Indic Languages

abstract: We present iNLTK, an open-source NLP library consisting of pre-trained language models and out-of-the-box support for Data Augmentation, Textual Similarity, Sentence Embeddings, Word Embeddings, Tokenization and Text Generation in 13 Indic Languages. By using pre-trained models from iNLTK for text classification on publicly available datasets, we significantly outperform previously reported results. On these datasets, we also show that by using pre-trained models and data augmentation from iNLTK, we can achieve more than 95% of the previous best performance by using less than 10% of the training data. iNLTK is already being widely used by the community and has 40,000+ downloads, 600+ stars and 100+ forks on GitHub. The library is available at https://github.com/goru001/inltk.


title: Double C-NOT attack on a single-state semi-quantum key distribution protocol and its improvement

abstract: Recently, Zhang et al. proposed a single-state semi-quantum key distribution protocol (Int. J. Quantum Inf, 18, 4, 2020) to help a quantum participant to share a secret key with a classical participant. However, this study shows that an eavesdropper can use a double C-NOT attack to obtain parts of the final shared key without being detected by the participants. To avoid this problem, a modification is proposed here.


title: Optical imaging of strain-mediated phase coexistence during electrothermal switching in a Mott insulator

abstract: Resistive-switching -- the current-/voltage-induced electrical resistance change -- is at the core of memristive devices, which play an essential role in the emerging field of neuromorphic computing. This study is about resistive switching in a Mott-insulator, which undergoes a thermally driven metal-to-insulator transition. Two distinct switching mechanisms were reported for such a system: electric-field-driven resistive switching and electrothermal resistive switching. The latter results from an instability caused by Joule heating. Here, we present the visualization of the reversible resistive switching in a planar V$_2$O$_3$ thin-film device using high-resolution wide-field microscopy in combination with electric transport measurements. We investigate the interaction of the electrothermal instability with the strain-induced spontaneous phase-separation in the V$_2$O$_3$ thin film at the Mott-transition. The photomicrographs show the formation of a narrow metallic filament with a minimum width $\lesssim$ 500\,nm. Although the filament formation and the overall shape of the current-voltage characteristics (IVCs) are typical of an electrothermal breakdown, we also observe atypical effects like oblique filaments, filament splitting, and hysteretic IVCs with sawtooth-like jumps at high currents in the low-resistance regime. We were able to reproduce the experimental results in a numerical model based on a two-dimensional resistor network. This model demonstrates that resistive switching, in this case, is indeed electrothermal and that the intrinsic heterogeneity is responsible for the atypical effects. This heterogeneity is strongly influenced by strain, thereby establishing a link between switching dynamics and structural properties.


title: Deep Selective Combinatorial Embedding and Consistency Regularization for Light Field Super-resolution

abstract: Light field (LF) images acquired by hand-held devices usually suffer from low spatial resolution as the limited detector resolution has to be shared with the angular dimension. LF spatial super-resolution (SR) thus becomes an indispensable part of the LF camera processing pipeline. The high-dimensionality characteristic and complex geometrical structure of LF images make the problem more challenging than traditional single-image SR. The performance of existing methods is still limited as they fail to thoroughly explore the coherence among LF sub-aperture images (SAIs) and are insufficient in accurately preserving the scene's parallax structure. To tackle this challenge, we propose a novel learning-based LF spatial SR framework. Specifically, each SAI of an LF image is first coarsely and individually super-resolved by exploring the complementary information among SAIs with selective combinatorial geometry embedding. To achieve efficient and effective selection of the complementary information, we propose two novel sub-modules conducted hierarchically: the patch selector provides an option of retrieving similar image patches based on offline disparity estimation to handle large-disparity correlations; and the SAI selector adaptively and flexibly selects the most informative SAIs to improve the embedding efficiency. To preserve the parallax structure among the reconstructed SAIs, we subsequently append a consistency regularization network trained over a structure-aware loss function to refine the parallax relationships over the coarse estimation. In addition, we extend the proposed method to irregular LF data. To the best of our knowledge, this is the first learning-based SR method for irregular LF data. Experimental results over both synthetic and real-world LF datasets demonstrate the significant advantage of our approach over state-of-the-art methods.


title: Lie transformation on shortcut to adiabaticity in parametric driving quantum system

abstract: Shortcut to adiabaticity (STA) is a speed way to produce the same final state that would result in an adiabatic, infinitely slow process. Two typical techniques to engineer STA are developed by either introducing auxiliary counterdiabatic fields or finding new Hamiltonians that own dynamical invariants to constraint the system into the adiabatic paths. In this paper, a consistent method is introduced to naturally connect the above two techniques with a unified Lie algebraic framework, which neatly removes the requirements of finding instantaneous states in the transitionless driving method and the invariant quantities in the invariant-based inverse engineering approach. The general STA schemes for different potential expansions are concisely achieved with the aid of this method.


title: Topic-Aware Multi-turn Dialogue Modeling

abstract: In the retrieval-based multi-turn dialogue modeling, it remains a challenge to select the most appropriate response according to extracting salient features in context utterances. As a conversation goes on, topic shift at discourse-level naturally happens through the continuous multi-turn dialogue context. However, all known retrieval-based systems are satisfied with exploiting local topic words for context utterance representation but fail to capture such essential global topic-aware clues at discourse-level. Instead of taking topic-agnostic n-gram utterance as processing unit for matching purpose in existing systems, this paper presents a novel topic-aware solution for multi-turn dialogue modeling, which segments and extracts topic-aware utterances in an unsupervised way, so that the resulted model is capable of capturing salient topic shift at discourse-level in need and thus effectively track topic flow during multi-turn conversation. Our topic-aware modeling is implemented by a newly proposed unsupervised topic-aware segmentation algorithm and Topic-Aware Dual-attention Matching (TADAM) Network, which matches each topic segment with the response in a dual cross-attention way. Experimental results on three public datasets show TADAM can outperform the state-of-the-art method, especially by 3.3% on E-commerce dataset that has an obvious topic shift.


title: Growth rate of 3D heaps of pieces

abstract: We consider configurational statistics of three-dimensional heaps of $N$ pieces ($N\gg 1$) on a simple cubic lattice in a large 3D bounding box of base $n \times n$, and calculate the growth rate, $\Lambda(n)$, of the corresponding partition function, $Z_N\sim N^{\theta}[\Lambda(n)]^N$, at $n\gg 1$. Our computations rely on a theorem of G.X. Viennot \cite{viennot-rev}, which connects the generating function of a $(D+1)$-dimensional heap of pieces to the generating function of projection of these pieces onto a $D$-dimensional subspace. The growth rate of a heap of cubic blocks, which cannot touch each other by vertical faces, is thus related to the position of zeros of the partition function describing 2D lattice gas of hard squares. We study the corresponding partition function exactly at low densities on finite $n\times n$ lattice of arbitrary $n$, and extrapolate its behavior to the jamming transition density. This allows us to estimate the limiting growth rate, $\Lambda =\lim_{n\to\infty}\Lambda(n)\approx 9.5$. The same method works for any underlying 2D lattice and for various shapes of pieces: flat vertical squares, mapped to an ensemble of repulsive dimers, dominoes mapped to an ensemble of rectangles with hard-core repulsion, etc.


title: Large deviations for spectral measures of some spiked matrices

abstract: We prove large deviations principles for spectral measures of perturbed (or spiked) matrix models in the direction of an eigenvector of the perturbation. In each model under study, we provide two approaches, one of which relying on large deviations principle of unperturbed models derived in the previous work "Sum rules via large deviations" (Gamboa-Nagel-Rouault, JFA, 2016).


title: Taxonomy of Centralization in Public Blockchain Systems: A Systematic Literature Review

abstract: Bitcoin introduced delegation of control over a monetary system from a select few to all who participate in that system. This delegation is known as the decentralization of controlling power and is a powerful security mechanism for the ecosystem. After the introduction of Bitcoin, the field of cryptocurrency has seen widespread attention from industry and academia, so much so that the original novel contribution of Bitcoin i.e. decentralization, may be overlooked, due to decentralizations assumed fundamental existence for the functioning of such cryptoassets. However recent studies have observed a trend of increased centralization in cryptocurrencies such as Bitcoin and Ethereum. As this increased centralization has an impact the security of the blockchain, it is crucial that it is measured, towards adequate control. This research derives an initial taxonomy of centralization present in decentralized blockchains through rigorous synthesis using a systematic literature review. This is followed by iterative refinement through expert interviews. We systematically analyzed 89 research papers published between 2009 and 2019. Our study contributes to the existing body of knowledge by highlighting the multiple definitions and measurements of centralization in the literature. We identify different aspects of centralization and propose an encompassing taxonomy of centralization concerns. This taxonomy is based on empirically observable and measurable characteristics. It consists of 13 aspects of centralization classified over six architectural layers Governance Network Consensus Incentive Operational and Application. We also discuss how the implications of centralization can vary depending on the aspects studied. We believe that this review and taxonomy provides a comprehensive overview of centralization in decentralized blockchains involving various conceptualizations and measures.


title: Deterministically fabricated strain-tunable quantum dot single-photon sources emitting in the telecom O-band

abstract: Most quantum communication schemes aim at the long-distance transmission of quantum information. In the quantum repeater concept, the transmission line is subdivided into shorter links interconnected by entanglement distribution via Bell-state measurements to overcome inherent channel losses. This concept requires on-demand single-photon sources with a high degree of multi-photon suppression and high indistinguishability within each repeater node. For a successful operation of the repeater, a spectral matching of remote quantum light sources is essential. We present a spectrally tunable single-photon source emitting in the telecom O-band with the potential to function as a building block of a quantum communication network based on optical fibers. A thin membrane of GaAs embedding InGaAs quantum dots (QDs) is attached onto a piezoelectric actuator via gold thermocompression bonding. Here the thin gold layer acts simultaneously as an electrical contact, strain transmission medium and broadband backside mirror for the QD-micromesa. The nanofabrication of the QD-micromesa is based on in-situ electron-beam lithography, which makes it possible to integrate pre-selected single QDs deterministically into the center of monolithic micromesa structures. The QD pre-selection is based on distinct single-QD properties, signal intensity and emission energy. In combination with strain-induced fine tuning this offers a robust method to achieve spectral resonance in the emission of remote QDs. We show that the spectral tuning has no detectable influence on the multi-photon suppression with $g^{(2)}(0)$ as low as 2-4% and that the emission can be stabilized to an accuracy of 4 $\mu$eV using a closed-loop optical feedback.


title: A revisit of PSR J1909$-$3744 with 15-year high-precision timing

abstract: We report on a high-precision timing analysis and an astrophysical study of the binary millisecond pulsar, PSR J1909$-$3744, motivated by the accumulation of data with well improved quality over the past decade. Using 15 years of observations with the Nan\c{c}ay Radio Telescope, we achieve a timing precision of approximately 100 ns. We verify our timing results by using both broad-band and sub-band template matching methods to create the pulse time-of-arrivals. Compared with previous studies, we improve the measurement precision of secular changes in orbital period and projected semi-major axis. We show that these variations are both dominated by the relative motion between the pulsar system and the solar system barycenter. Additionally, we identified four possible solutions to the ascending node of the pulsar orbit, and measured a precise kinetic distance of the system. Using our timing measurements and published optical observations, we investigate the binary history of this system using the stellar evolution code MESA, and discuss solutions based on detailed WD cooling at the edge of the WD age dichotomy paradigm. We determine the 3-D velocity of the system and show that it has been undergoing a highly eccentric orbit around the centre of our Galaxy. Furthermore, we set up a constraint over dipolar gravitational radiation with the system, which is complementary to previous studies given the mass of the pulsar. We also obtain a new limit on the parameterised post-Newtonian parameter, $\alpha_1<2.1 \times 10^{-5}$ at 95 % confidence level, which is fractionally better than previous best published value and achieved with a more concrete method.


title: A Continuous-Time Nesterov Accelerated Gradient Method for Centralized and Distributed Online Convex Optimization

abstract: This paper studies the online convex optimization problem by using an Online Continuous-Time Nesterov Accelerated Gradient method (OCT-NAG). We show that the continuous-time dynamics generated by the online version of the Bregman Lagrangian achieves a constant static regret $\frac{c}{\sigma}$ independent of $T$, provided that some boundedness assumptions on the objective functions and optimal solutions hold. To the best of the authors' knowledge, this is the lowest static regret in the literature (lower than $O(\text{log}(T))$). We further show that under the same assumptions, the dynamic regret of the algorithm is $O(T)$, which is comparable with the existing methods. Simulation results validate the effectiveness and efficiency of the method. Furthermore, the simulation shows that the algorithm performs well in terms of the dynamic regret for some specific scaling conditions. In addition, we consider the application of the proposed online optimization method in distributed online optimization problems, and show that the proposed algorithm achieves an $O(\sqrt{T})$ static regret, which is comparable with the existing distributed online optimization methods. Different from these methods, the proposed method requires neither the gradient boundedness assumption nor the compact constraint set assumption, which allows different objective functions and different optimization problems with those in the literature. A comparable dynamic regret is obtained. Simulation results show the effectiveness and efficiency of the distributed algorithm.


title: A light-weight method to foster the (Grad)CAM interpretability and explainability of classification networks

abstract: We consider a light-weight method which allows to improve the explainability of localized classification networks. The method considers (Grad)CAM maps during the training process by modification of the training loss and does not require additional structural elements. It is demonstrated that the (Grad)CAM interpretability, as measured by several indicators, can be improved in this way. Since the method shall be applicable on embedded systems and on standard deeper architectures, it essentially takes advantage of second order derivatives during the training and does not require additional model layers.


title: Causal Intervention for Weakly-Supervised Semantic Segmentation

abstract: We present a causal inference framework to improve Weakly-Supervised Semantic Segmentation (WSSS). Specifically, we aim to generate better pixel-level pseudo-masks by using only image-level labels -- the most crucial step in WSSS. We attribute the cause of the ambiguous boundaries of pseudo-masks to the confounding context, e.g., the correct image-level classification of "horse" and "person" may be not only due to the recognition of each instance, but also their co-occurrence context, making the model inspection (e.g., CAM) hard to distinguish between the boundaries. Inspired by this, we propose a structural causal model to analyze the causalities among images, contexts, and class labels. Based on it, we develop a new method: Context Adjustment (CONTA), to remove the confounding bias in image-level classification and thus provide better pseudo-masks as ground-truth for the subsequent segmentation model. On PASCAL VOC 2012 and MS-COCO, we show that CONTA boosts various popular WSSS methods to new state-of-the-arts.


title: Planning for sustainable Open Streets in pandemic cities

abstract: In the wake of the pandemic, the inadequacy of urban sidewalks to comply with social distancing remains untackled in academy. Beyond isolated efforts (from sidewalk widenings to car-free Open Streets), there is a need for a large-scale and quantitative strategy for cities to handle the challenges that COVID-19 poses in the use of public space. The main obstacle is a generalized lack of publicly available data on sidewalk infrastructure worldwide, and thus city governments have not yet benefited from a complex systems approach of treating urban sidewalks as networks. Here, we leverage sidewalk geometries from ten cities in three continents, to first analyze sidewalk and roadbed geometries, and find that cities most often present an arrogant distribution of public space: imbalanced and unfair with respect to pedestrians. Then, we connect these geometries to build a sidewalk network --adjacent, but not assimilable to road networks, so fertile in urban science. In a no-intervention scenario, we apply percolation theory to examine whether the sidewalk infrastructure in cities can withstand the tight pandemic social distancing imposed on our streets. The resulting collapse of sidewalk networks, often at widths below three meters, calls for a cautious strategy, taking into account the interdependencies between a city's sidewalk and road networks, as any improvement for pedestrians comes at a cost for motor transport. With notable success, we propose a shared-effort heuristic that delays the sidewalk connectivity breakdown, while preserving the road network's functionality.


title: APEX-SEPIA660 Early Science: Gas at densities above $10^7$ cm$^{-3}$ towards OMC-1

abstract: Context. The star formation rates and stellar densities found in young massive clusters suggest that these stellar systems originate from gas at densities n(H$_2$) $>10^7$ cm$^{-3}$. Until today, however, the physical characterization of this ultra high density material remains largely unconstrained in observations. Aims. We investigated the density properties of the star-forming gas in the OMC-1 region located in the vicinity of the Orion Nebula Cluster (ONC). Methods. We mapped the molecular emission at 652 GHz in OMC-1 as part of the APEX-SEPIA660 Early Science. Results. We detect bright and extended N$_2$H$^+$ (J=7-6) line emission along the entire OMC-1 region. Comparisons with previous ALMA data of the (J=1-0) transition and radiative transfer models indicate that the line intensities observed in this N$_2$H$^+$ (7-6) line are produced by large mass reservoirs of gas at densities n(H$_2$) $>10^7$ cm$^{-3}$. Conclusions. The first detection of this N$_2$H$^+$ (7-6) line at parsec-scales demonstrates the extreme density conditions of the star-forming gas in young massive clusters such as the ONC. Our results highlight the unique combination of sensitivity and mapping capabilities of the new SEPIA660 receiver for the study of the ISM properties at high frequencies.


title: An exact separation algorithm for unsplittable flow capacitated network design arc-set polyhedron

abstract: In this paper, we concentrate on generating cutting planes for the unsplittable capacitated network design problem. We use the unsplittable flow arc-set polyhedron of the considered problem as a substructure and generate cutting planes by solving the separation problem over it. To relieve the computational burden, we show that, in some special cases, a closed form of the separation problem can be derived. For the general case, a brute-force algorithm, called exact separation algorithm, is employed in solving the separation problem of the considered polyhedron such that the constructed inequality guarantees to be facet-defining. Furthermore, a new technique is presented to accelerate the exact separation algorithm, which significantly decreases the number of iterations in the algorithm. Finally, a comprehensive computational study on the unsplittable capacitated network design problem is presented to demonstrate the effectiveness of the proposed algorithm.


title: The structure of group preserving operators

abstract: In this paper, we prove the existence of a particular diagonalization for normal bounded operators defined on subspaces of $L^2(\mathfrak{S})$ where $\mathfrak{S}$ is a second countable LCA group. The subspaces where the operators act are invariant under the action of a group $\Gamma$ which is a semi-direct product of a uniform lattice of $\mathfrak{S}$ with a discrete group of automorphisms. This class includes the crystal groups which are important in applications as models for images. The operators are assumed to be $\Gamma$ preserving. i.e. they commute with the action of $\Gamma$. In particular we obtain a spectral decomposition for these operators. This generalizes recent results on shift-preserving operators acting on lattice invariant subspaces where $\mathfrak{S}$ is the Euclidean space.


title: Revisiting Weak Radiative Decays of Hyperons

abstract: Triggered by experimentally driven renewed interest in hyperon properties we address the subject of weak radiative hyperon decays (WRHD). We start with the issue of Hara's theorem and briefly discuss the question of its possible evasion. Then, we give a short review of the story of vector-meson-dominance (VMD) approach to WRHD. We stress the shift from the Hara's-theorem-violating to Hara's-theorem-satisfying version of the VMD approach that did occur over time. Finally, spurred by a recent theoretical paper, we discuss the pole model description of WRHD, putting special attention to the issue of the contributions from the intermediate $\Lambda(1405)$ state. We point out that the measurement of the $\Lambda \to n \gamma$ decay asymmetry could resolve the encountered ambiguities and definitely answer the question of whether Hara's theorem is violated or not.


title: Constraining neutron superfluidity with $r$-mode physics

abstract: We constrain the parameters of neutron superfluidity in the cores of neutron stars making use of the recently proposed effect of resonance stabilization of $r$-modes. To this end, we, for the first time, calculate the finite-temperature $r$-mode spectra for realistic models of rotating superfluid neutron stars, accounting for both muons and neutron-proton entrainment in their interiors. We find that the ordinary (normal) $r$-mode exhibits avoided crossings with superfluid $r$-modes at certain stellar temperatures and spin frequencies. Near the avoided crossings, the normal $r$-mode dissipates strongly, which leads to substantial suppression of the $r$-mode instability there. The extreme sensitivity of the positions of avoided crossings to the neutron superfluidity model allows us to constrain the latter by confronting the calculated spectra with observations of rapidly rotating neutron stars in low-mass X-ray binaries.


title: Quantum dark solitons in ultracold one-dimensional Bose and Fermi gases

abstract: Solitons are ubiquitous phenomena that appear, among others, in the description of tsunami waves, fiber-optic communication and ultracold atomic gases. The latter systems turned out to be an excellent playground for investigations of matter-wave solitons in a quantum world. This Tutorial provides a general overview of the ultracold contact interacting Bose and Fermi systems in a one-dimensional space that can be described by the renowned Lieb-Liniger and Yang-Gaudin models. Both the quantum many-body systems are exactly solvable by means of the Bethe ansatz technique, granting us a possibility for investigations of quantum nature of solitonic excitations. We discuss in details a specific class of quantum many-body excited eigenstates called yrast states and show that they are strictly related to quantum dark solitons in the both considered Bose and Fermi systems.


title: Associated production in pp and heavy ion collisions

abstract: Associated particle production processes in pp and heavy ion collisions at the LHC are in particular interesting in the sense that they provide unique tools to study double parton scattering (DPS) mechanism. In this talk, I will first review the recent theoretical, phenomenological and experimental developments of DPS in pp collisions. Then, I will focus on the DPS studies in heavy ion collisions, and stress their roles in understanding the cold nuclear matter effects, such as the (poorly known) impact-parameter dependent nuclear parton densities.


title: Holograhic two-currents model with coupling and its conductivites

abstract: We implement a holographic gravity model of two gauge fields with a coupling between them, which is dual to a two-currents model. An analytical black brane solution is obtained. In particular, we work out the expressions of conductivities with coupling and find that the expressions of conductivities are directly related to the coupling parameter $\theta$. It is the main topic of our present work. As an application, we calculate the conductivities by the scheme outlined here and briefly discuss the properties of the conductivities. An interesting property is that as the coupling $\theta$ increases, the dip at low frequency in $Re[\sigma_A]$/$Re[\sigma_B]$ becomes deepening and then turns into a hard-gap-like when $\theta=1$, which is independent of the doping $\chi$. Some monotonic behaviors of the conductivities are also discussed.


title: On the group generated by $\mathbf C$, $\mathbf{P}$ and $\mathbf T$: $\mathbf {I^2 = T^2 = P^2 = I T P= -1}$, with applications to pseudo-scalar mesons

abstract: We study faithful representations of the discrete Lorentz symmetry operations of parity $\mathbf P$ and time reversal $\mathbf T$, which involve complex phases when acting on fermions. If the phase of $\mathbf P$ is a rational multiple of $\pi$ then $\mathbf P^{2 n}=1$ for some positive integer $n$ and it is shown that, when this is the case, $\mathbf P$ and $\mathbf T$ generate a discrete group, a dicyclic group (also known as a generalised quaternion group) which are generalisations of the dihedral groups familiar from crystallography. Charge conjugation $\mathbf C$ introduces another complex phase and, again assuming rational multiples of $\pi$ for complex phases, $\mathbf T \mathbf C$ generates a cyclic group of order $2 m$ for some positive integer $m$.There is thus a doubly infinite series of possible finite groups labelled by $n$ and $m$. Demanding that $\mathbf C$ commutes with $\mathbf P$ and $\mathbf T$ forces $n=m=2$ and the group generated by $\mathbf P$ and $\mathbf T$ is uniquely determined to be the quaternion group. Neutral pseudo-scalar mesons can be simultaneous $\mathbf C$ and $\mathbf P$ eigenstates. $\mathbf T$ commutes with $\mathbf P$ and $\mathbf C$ when acting on fermion bi-linears so neutral pseudo-scalar mesons can also be $\mathbf T$ eigenstates. The $\mathbf T$-parity should therefore be experimentally observable and the $\mathbf{CPT}$ theorem dictates that $T= C P$.


title: Is VARS more intuitive and efficient than Sobol' indices?

abstract: The Variogram Analysis of Response Surfaces (VARS) has been proposed by Razavi and Gupta as a new comprehensive framework in sensitivity analysis. According to these authors, VARS provides a more intuitive notion of sensitivity and it is much more computationally efficient than Sobol' indices. Here we review these arguments and critically compare the performance of VARS-TO, for total-order index, against the total-order Jansen estimator. We argue that, unlike classic variance-based methods, VARS lacks a clear definition of what an "important" factor is, and show that the alleged computational superiority of VARS does not withstand scrutiny. We conclude that while VARS enriches the spectrum of existing methods for sensitivity analysis, especially for a diagnostic use of mathematical models, it complements rather than substitutes classic estimators used in variance-based sensitivity analysis.


title: Affinity Space Adaptation for Semantic Segmentation Across Domains

abstract: Semantic segmentation with dense pixel-wise annotation has achieved excellent performance thanks to deep learning. However, the generalization of semantic segmentation in the wild remains challenging. In this paper, we address the problem of unsupervised domain adaptation (UDA) in semantic segmentation. Motivated by the fact that source and target domain have invariant semantic structures, we propose to exploit such invariance across domains by leveraging co-occurring patterns between pairwise pixels in the output of structured semantic segmentation. This is different from most existing approaches that attempt to adapt domains based on individual pixel-wise information in image, feature, or output level. Specifically, we perform domain adaptation on the affinity relationship between adjacent pixels termed affinity space of source and target domain. To this end, we develop two affinity space adaptation strategies: affinity space cleaning and adversarial affinity space alignment. Extensive experiments demonstrate that the proposed method achieves superior performance against some state-of-the-art methods on several challenging benchmarks for semantic segmentation across domains. The code is available at https://github.com/idealwei/ASANet.


title: Global optimality in minimum compliance topology optimization of frames and shells by moment-sum-of-squares hierarchy

abstract: The design of minimum-compliance bending-resistant structures with continuous cross-section parameters is a challenging task because of its inherent non-convexity. Our contribution develops a strategy that facilitates computing all guaranteed globally optimal solutions for frame and shell structures under multiple load cases and self-weight. To this purpose, we exploit the fact that the stiffness matrix is usually a polynomial function of design variables, allowing us to build an equivalent non-linear semidefinite programming formulation over a semi-algebraic feasible set. This formulation is subsequently solved using the Lasserre moment-sum-of-squares hierarchy, generating a sequence of outer convex approximations that monotonically converges from below to the optimum of the original problem. Globally optimal solutions can subsequently be extracted using the Curto-Fialkow flat extension theorem. Furthermore, we show that a simple correction to the solutions of the relaxed problems establishes a feasible upper bound, thereby deriving a simple sufficient condition of global $\varepsilon$-optimality. When the original problem possesses a unique minimum, we show that this solution is found with a zero optimality gap in the limit. These theoretical findings are illustrated on several examples of topology optimization of frames and shells, for which we observe that the hierarchy converges in a finite (rather small) number of steps.


title: First-Principles Prediction of Graphene-Like XBi (X=Si, Ge, Sn) Nanosheets

abstract: Research progress on single-layer group III monochalcogenides have been increasing rapidly owing to their interesting physics. Herein, we predict the dynamically stable single-layer forms of XBi (X=Ge, Si, or Sn) by using density functional theory calculations. Phonon band dispersion calculations and ab-initio molecular dynamics simulations reveal the dynamical and thermal stability of predicted nanosheets. Raman spectra calculations indicate the existence of 5 Raman active phonon modes 3 of which are prominent and can be observed in a possible Raman measurement. Electronic band structures of the XBi single-layers investigated with and without spin-orbit coupling effects (SOC). Our results show that XBi single-layers show semiconducting property with the narrow band gap values without SOC. However only the single-layer SiBi is an indirect band gap semiconductor while GeBi and SnBi exhibit metallic behaviors by adding spin-orbit coupling effects. In addition, the calculated linear-elastic parameters indicate the soft nature of predicted monolayers. Moreover, our predictions for the thermoelectric properties of single-layer XBi reveal that SiBi is a good thermoelectric material with increasing temperature. Overall, it is proposed that single-layer XBi structures can be alternative, stable 2D single-layers with their varying electronic and thermoelectric properties.


title: Differentially Private and Fair Deep Learning: A Lagrangian Dual Approach

abstract: A critical concern in data-driven decision making is to build models whose outcomes do not discriminate against some demographic groups, including gender, ethnicity, or age. To ensure non-discrimination in learning tasks, knowledge of the sensitive attributes is essential, while, in practice, these attributes may not be available due to legal and ethical requirements. To address this challenge, this paper studies a model that protects the privacy of the individuals sensitive information while also allowing it to learn non-discriminatory predictors. The method relies on the notion of differential privacy and the use of Lagrangian duality to design neural networks that can accommodate fairness constraints while guaranteeing the privacy of sensitive attributes. The paper analyses the tension between accuracy, privacy, and fairness and the experimental evaluation illustrates the benefits of the proposed model on several prediction tasks.