title: Scalar Product Lattice Computation for Efficient Privacy-preserving Systems

abstract: Privacy-preserving applications allow users to perform on-line daily actions without leaking sensitive information. Privacy-preserving scalar product is one of the critical algorithms in many private applications. The state-of-the-art privacy-preserving scalar product schemes use either computationally intensive homomorphic (public-key) encryption techniques such as Paillier encryption to achieve strong security (i.e., 128-bit) or random masking technique to achieve high efficiency for low security. In this paper, lattice structures have been exploited to develop an efficient privacy-preserving system. The proposed scheme is not only efficient in computation as compared to the state-of-the-art but also provides high degree of security against quantum attacks. Rigorous security and privacy analyses of the proposed scheme have been provided along with a concrete set of parameters to achieve 128-bit and 256-bit security. Performance analysis shows that the scheme is at least five orders faster than the Paillier schemes and at least twice as faster than the existing randomisation technique at 128-bit security.


title: Galaxy evolution studies in clusters: the case of Cl0024+1652 cluster galaxies at z$\sim$0.4

abstract: Studying the transformation of cluster galaxies contributes a lot to have a clear picture of evolution of the universe. Towards that we are studying different properties (morphology, star formation, AGN contribution and metallicity) of galaxies in clusters up to $z\sim1.0$ taking three different clusters: ZwCl0024+1652 at $z\sim0.4$, RXJ1257+4738 at $z\sim0.9$ and Virgo at $z\sim0.0038$. For ZwCl0024+1652 and RXJ1257+4738 clusters we used tunable filters data from GLACE survey taken with GTC 10.4 m telescope and other public data, while for Virgo we used public data. We did the morphological classification of 180 galaxies in ZwCl0024+1652 using galSVM, where 54\% and 46\% of galaxies were classified as early-type (ET) and late-type (LT) respectively. We did a comparison between the three clusters within the clustercentric distance of 1Mpc and found that ET proportion (decreasing with redshift) dominates over the LT (increasing with redshift) throughout. We finalized the data reduction for ZwCl0024+1652 cluster and identified 46 [OIII] and 73 H$\beta$ emission lines. For this cluster we have classified 22 emission line galaxies (ELGs) using BPT-NII diagnostic diagram resulting with 14 composite, 1 AGN and 7 star forming (SF) galaxies. We are using these results, together with the public data, for further analysis of the variations of properties in relation to redshift within $z<1.0$.


title: ForecastTB An R Package as a Test-Bench for Time Series Forecasting Application of Wind Speed and Solar Radiation Modeling

abstract: This paper introduces an R package ForecastTB that can be used to compare the accuracy of different forecasting methods as related to the characteristics of a time series dataset. The ForecastTB is a plug-and-play structured module, and several forecasting methods can be included with simple instructions. The proposed test-bench is not limited to the default forecasting and error metric functions, and users are able to append, remove, or choose the desired methods as per requirements. Besides, several plotting functions and statistical performance metrics are provided to visualize the comparative performance and accuracy of different forecasting methods. Furthermore, this paper presents real application examples with natural time series datasets (i.e., wind speed and solar radiation) to exhibit the features of the ForecastTB package to evaluate forecasting comparison analysis as affected by the characteristics of a dataset. Modeling results indicated the applicability and robustness of the proposed R package ForecastTB for time series forecasting.


title: Evaluating Multimodal Representations on Visual Semantic Textual Similarity

abstract: The combination of visual and textual representations has produced excellent results in tasks such as image captioning and visual question answering, but the inference capabilities of multimodal representations are largely untested. In the case of textual representations, inference tasks such as Textual Entailment and Semantic Textual Similarity have been often used to benchmark the quality of textual representations. The long term goal of our research is to devise multimodal representation techniques that improve current inference capabilities. We thus present a novel task, Visual Semantic Textual Similarity (vSTS), where such inference ability can be tested directly. Given two items comprised each by an image and its accompanying caption, vSTS systems need to assess the degree to which the captions in context are semantically equivalent to each other. Our experiments using simple multimodal representations show that the addition of image representations produces better inference, compared to text-only representations. The improvement is observed both when directly computing the similarity between the representations of the two items, and when learning a siamese network based on vSTS training data. Our work shows, for the first time, the successful contribution of visual information to textual inference, with ample room for benchmarking more complex multimodal representation options.


title: Generalized Von Neumann-Jordan Constant for Morrey Spaces and Small Morrey Spaces

abstract: In this paper we calculate some geometric constants for Morrey spaces and small Morrey spaces, namely generalized Von Neumann-Jordan constant, modified Von Neumann-Jordan constants, and Zb\'{a}ganu constant. All these constants measure the uniformly nonsquareness of the spaces. We obtain that their values are the same as the value of Von Neumann-Jordan constant for Morrey spaces and small Morrey spaces.


title: Charged Lepton Flavor Violating processes in Neutrinophilic Higgs+Seesaw model

abstract: We investigate charged lepton flavor violating (CFLV) processes in the `neutrinophilic Higgs+seesaw model', in which right-handed neutrinos couple only with an extra Higgs field which develops a tiny VEV and the right-handed neutrinos also have Majorana mass. The model realizes a seesaw mechanism around TeV scale without extremely small Dirac Yukawa couplings. A phenomenological feature of the model is CFLV processes induced by loop diagrams of the charged scalar particles and heavy neutrinos. Therefore, first we constrain the model's parameter space from the search for $\mu\to e\gamma$. Next, we predict the branching ratios of other CFLV processes including the $\mu\to3e$, $\mu+{\rm Al}\to e+{\rm Al}$, $\mu+{\rm Ti}\to e+{\rm Ti}$, $Z\to e\mu$, $Z\to e\tau$, $Z\to \mu\tau$, $h\to e\tau$, $h\to\mu\tau$ processes, and discuss their detectability in future experiments.


title: Causality and Stability Conditions of a Conformal Charged Fluid

abstract: In this paper, I study the conditions imposed on a normal charged fluid so that the causality and stability criteria hold for this fluid. I adopt the newly developed General Frame (GF) notion in the relativistic hydrodynamics framework which states that hydrodynamic frames have to be fixed after applying the stability and causality conditions. To my purpose, I take a charged conformal matter in the flat and $3+1$ dimension to analyze better these conditions. The causality condition is applied by looking to the asymptotic velocity of sound hydro modes at the large wave number limit and stability conditions are imposed by looking to the imaginary parts of hydro modes as well as the Routh-Hurwitz criteria. By fixing some of the transports, the suitable spaces for other ones are derived. I have observed that in a dense medium with finite $U(1)$ charged chemical potential $\mu_0$, negative values for transports appear and the second law of thermodynamics has not ruled out the existence of such values. Sign of scalar transports are not limited by any constraints and just a combination of vector transports is limited by the second law of thermodynamic. Also numerically it is proved that the most favorable region for transports $\tilde{\gamma}_{1, 2}$, coefficients of the dissipative terms of the current, is of negative values.


title: Diffusion with resetting in a logarithmic potential

abstract: We study the effect of resetting on diffusion in a logarithmic potential. In this model, a particle diffusing in a potential $U(x) = U_0\log|x|$ is reset, i.e., taken back to its initial position, with a constant rate $r$. We show that this analytically tractable model system exhibits a series of phase transitions as a function of a single parameter, $\beta U_0$, the ratio of the strength of the potential to the thermal energy. For $\beta U_0<-1$ the potential is strongly repulsive, preventing the particle from reaching the origin. Resetting then generates a non-equilibrium steady state which is characterized exactly and thoroughly analyzed. In contrast, for $\beta U_0>-1$ the potential is either weakly repulsive or attractive and the diffusing particle eventually reaches the origin. In this case, we provide a closed form expression for the subsequent first-passage time distribution and show that a resetting transition occurs at $\beta U_0=5$. Namely, we find that resetting can expedite arrival to the origin when $-1<\beta U_0<5$, but not when $\beta U_0>5$. The results presented herein generalize results for simple diffusion with resetting -- a widely applicable model that is obtained from ours by setting $U_0=0$. Extending to general potential strengths, our work opens the door to theoretical and experimental investigation of a plethora of problems that bring together resetting and diffusion in logarithmic potential.

categories: cond-mat.stat-mech cond-mat.soft math-ph math.MP math.PR


title: A Generic Graph-based Neural Architecture Encoding Scheme for Predictor-based NAS

abstract: This work proposes a novel Graph-based neural ArchiTecture Encoding Scheme, a.k.a. GATES, to improve the predictor-based neural architecture search. Specifically, different from existing graph-based schemes, GATES models the operations as the transformation of the propagating information, which mimics the actual data processing of neural architecture. GATES is a more reasonable modeling of the neural architectures, and can encode architectures from both the "operation on node" and "operation on edge" cell search spaces consistently. Experimental results on various search spaces confirm GATES's effectiveness in improving the performance predictor. Furthermore, equipped with the improved performance predictor, the sample efficiency of the predictor-based neural architecture search (NAS) flow is boosted. Codes are available at https://github.com/walkerning/aw_nas.


title: Electromagnetic dipole, quadrupole moments and parity and time reversal invariance interactions of $\Omega^{\pm}$ baryons in bent and straight crystals

abstract: Experiments with $\Omega^{\pm}$ baryons moving in a crystal at LHC in addition to EDM measurement open possibility to study electric quadrupole moment, to observe birefringence effect (spin oscillations and spin dichroism) for $\Omega^{\pm}$ baryons and to get information about constants describing P-odd, T-odd effects at $\Omega^{\pm}$ baryon interactions with electrons and nuclei


title: Entanglement scaling in fermion chains with a localization-delocalization transition and inhomogeneous modulations

abstract: We study the scaling of logarithmic negativity between adjacent subsystems in critical fermion chains with various inhomogeneous modulations through numerically calculating its recently established lower and upper bounds. For random couplings, as well as for a relevant aperiodic modulation of the couplings, which induces an aperiodic singlet state, the bounds are found to increase logarithmically with the subsystem size, and both prefactors agree with the predicted values characterizing the corresponding asymptotic singlet state. For the marginal Fibonacci modulation, the prefactors in front of the logarithm are different for the lower and the upper bound, and vary smoothly with the strength of the modulation. In the delocalized phase of the quasi-periodic Harper model, the scaling of the bounds of the logarithmic negativity as well as that of the entanglement entropy are compatible with the logarithmic scaling of the homogeneous chain. At the localization transition, the scaling of the above entanglement characteristics holds to be logarithmic, but the prefactors are significantly reduced compared to those of the translationally invariant case, roughly by the same factor.


title: Rational neural networks

abstract: We consider neural networks with rational activation functions. The choice of the nonlinear activation function in deep learning architectures is crucial and heavily impacts the performance of a neural network. We establish optimal bounds in terms of network complexity and prove that rational neural networks approximate smooth functions more efficiently than ReLU networks with exponentially smaller depth. The flexibility and smoothness of rational activation functions make them an attractive alternative to ReLU, as we demonstrate with numerical experiments.


title: Understanding (Non-)Robust Feature Disentanglement and the Relationship Between Low- and High-Dimensional Adversarial Attacks

abstract: Recent work has put forth the hypothesis that adversarial vulnerabilities in neural networks are due to them overusing "non-robust features" inherent in the training data. We show empirically that for PGD-attacks, there is a training stage where neural networks start heavily relying on non-robust features to boost natural accuracy. We also propose a mechanism reducing vulnerability to PGD-style attacks consisting of mixing in a certain amount of images contain-ing mostly "robust features" into each training batch, and then show that robust accuracy is improved, while natural accuracy is not substantially hurt. We show that training on "robust features" provides boosts in robust accuracy across various architectures and for different attacks. Finally, we demonstrate empirically that these "robust features" do not induce spatial invariance.


title: Design of Polynomial-delay Enumeration Algorithms in Transitive Systems

abstract: In this paper, as a new notion, we define a transitive system to be a set system $(V, {\mathcal C}\subseteq 2^V)$ on a finite set $V$ of elements such that every three sets $X,Y,Z\in{\mathcal C}$ with $Z\subseteq X\cap Y$ implies $X\cup Y\in{\mathcal C}$, where we call a set $C\in {\mathcal C}$ a component. We assume that two oracles $\mathrm{L}_1$ and $\mathrm{L}_2$ are available, where given two subsets $X,Y\subseteq V$, $\mathrm{L}_1$ returns a maximal component $C\in {\mathcal C}$ with $X\subseteq C\subseteq Y$; and given a set $Y\subseteq V$, $\mathrm{L}_2$ returns all maximal components $C\in {\mathcal C}$ with $C\subseteq Y$. Given a set $I$ of attributes and a function $\sigma:V\to 2^I$ in a transitive system, a component $C\in {\mathcal C}$ is called a solution if the set of common attributes in $C$ is inclusively maximal; i.e., $\bigcap_{v\in C}\sigma(v)\supsetneq \bigcap_{v\in X}\sigma(v)$ for any component $X\in{\mathcal C}$ with $C\subsetneq X$. We prove that there exists an algorithm of enumerating all solutions in delay bounded by a polynomial with respect to the input size and the running times of the oracles. The proposed algorithm yields the first polynomial-delay algorithms for enumerating connectors in an attributed graph and for enumerating all subgraphs with various types of connectivities such as all $k$-edge/vertex-connected induced subgraphs and all $k$-edge/vertex-connected spanning subgraphs in a given undirected/directed graph for a fixed $k$.


title: Optical Flow in Dense Foggy Scenes using Semi-Supervised Learning

abstract: In dense foggy scenes, existing optical flow methods are erroneous. This is due to the degradation caused by dense fog particles that break the optical flow basic assumptions such as brightness and gradient constancy. To address the problem, we introduce a semi-supervised deep learning technique that employs real fog images without optical flow ground-truths in the training process. Our network integrates the domain transformation and optical flow networks in one framework. Initially, given a pair of synthetic fog images, its corresponding clean images and optical flow ground-truths, in one training batch we train our network in a supervised manner. Subsequently, given a pair of real fog images and a pair of clean images that are not corresponding to each other (unpaired), in the next training batch, we train our network in an unsupervised manner. We then alternate the training of synthetic and real data iteratively. We use real data without ground-truths, since to have ground-truths in such conditions is intractable, and also to avoid the overfitting problem of synthetic data training, where the knowledge learned on synthetic data cannot be generalized to real data testing. Together with the network architecture design, we propose a new training strategy that combines supervised synthetic-data training and unsupervised real-data training. Experimental results show that our method is effective and outperforms the state-of-the-art methods in estimating optical flow in dense foggy scenes.


title: A new approach to radial spectrum of hadrons in bottom-up holographic QCD

abstract: Within the AdS/CFT correspondence, for description of $\mathcal{N}=4$ super Yang-Mills theory in four dimensions one needs not only low-energy supergravity on AdS$_5$ but also the whole infinite tower of massive Kaluza-Klein (KK) states on AdS$_5\times$S$_5$ which appear after the KK-compactification on five-dimensional sphere. The latter aspect is usually ignored in phenomenological AdS/QCD models. The emerging massive 5D fields on AdS$_5$ are dual to higher-dimensional operators in 4D gauge theory, with masses being known polynomial functions of canonical dimensions of these operators. Motivated by this observation, we propose to calculate the spectrum of radially excited hadrons in bottom-up holographic QCD models as spectrum of zero KK modes of massive 5D fields dual to higher dimensional operators in QCD. A relevant physical motivation is suggested. The radial states with growing masses are then enumerated by growing dimensions of interpolating QCD operators. We tested the proposal in the Soft Wall and Hard Wall holographic models in the sector of light mesons. The spectrum of Soft Wall model turns out to be unchanged in the new description. But in the Hard Wall model, our approach is shown to lead to a much better phenomenological spectrum of vector radial excitations than the traditional description.


title: Knowledge Guided Metric Learning for Few-Shot Text Classification

abstract: The training of deep-learning-based text classification models relies heavily on a huge amount of annotation data, which is difficult to obtain. When the labeled data is scarce, models tend to struggle to achieve satisfactory performance. However, human beings can distinguish new categories very efficiently with few examples. This is mainly due to the fact that human beings can leverage knowledge obtained from relevant tasks. Inspired by human intelligence, we propose to introduce external knowledge into few-shot learning to imitate human knowledge. A novel parameter generator network is investigated to this end, which is able to use the external knowledge to generate relation network parameters. Metrics can be transferred among tasks when equipped with these generated parameters, so that similar tasks use similar metrics while different tasks use different metrics. Through experiments, we demonstrate that our method outperforms the state-of-the-art few-shot text classification models.


title: The Collection Virtual Machine: An Abstraction for Multi-Frontend Multi-Backend Data Analysis

abstract: Getting the best performance from the ever-increasing number of hardware platforms has been a recurring challenge for data processing systems. In recent years, the advent of data science with its increasingly numerous and complex types of analytics has made this challenge even more difficult. In practice, system designers are overwhelmed by the number of combinations and typically implement only one analysis/platform combination, leading to repeated implementation effort -- and a plethora of semi-compatible tools for data scientists. In this paper, we propose the "Collection Virtual Machine" (or CVM) -- an extensible compiler framework designed to keep the specialization process of data analytics systems tractable. It can capture at the same time the essence of a large span of low-level, hardware-specific implementation techniques as well as high-level operations of different types of analyses. At its core lies a language for defining nested, collection-oriented intermediate representations (IRs). Frontends produce programs in their IR flavors defined in that language, which get optimized through a series of rewritings (possibly changing the IR flavor multiple times) until the program is finally expressed in an IR of platform-specific operators. While reducing the overall implementation effort, this also improves the interoperability of both analyses and hardware platforms. We have used CVM successfully to build specialized backends for platforms as diverse as multi-core CPUs, RDMA clusters, and serverless computing infrastructure in the cloud and expect similar results for many more frontends and hardware platforms in the near future.


title: Conversational Question Reformulation via Sequence-to-Sequence Architectures and Pretrained Language Models

abstract: This paper presents an empirical study of conversational question reformulation (CQR) with sequence-to-sequence architectures and pretrained language models (PLMs). We leverage PLMs to address the strong token-to-token independence assumption made in the common objective, maximum likelihood estimation, for the CQR task. In CQR benchmarks of task-oriented dialogue systems, we evaluate fine-tuned PLMs on the recently-introduced CANARD dataset as an in-domain task and validate the models using data from the TREC 2019 CAsT Track as an out-domain task. Examining a variety of architectures with different numbers of parameters, we demonstrate that the recent text-to-text transfer transformer (T5) achieves the best results both on CANARD and CAsT with fewer parameters, compared to similar transformer architectures.


title: Incentive compatibility in sender-receiver stopping games

abstract: We introduce a model of sender-receiver stopping games, where the state of the world follows an iid--process throughout the game. At each period, the sender observes the current state, and sends a message to the receiver, suggesting either to stop or to continue. The receiver, only seeing the message but not the state, decides either to stop the game, or to continue which takes the game to the next period. The payoff to each player is a function of the state when the receiver quits, with higher states leading to better payoffs. The horizon of the game can be finite or infinite. We prove existence and uniqueness of responsive (i.e. non-babbling) Perfect Bayesian Equilibrium (PBE) under mild conditions on the game primitives in the case where the players are sufficiently patient. The responsive PBE has a remarkably simple structure, which builds on the identification of an easy-to-implement and compute class of threshold strategies for the sender. With the help of these threshold strategies, we derive simple expressions describing this PBE. It turns out that in this PBE the receiver obediently follows the recommendations of the sender. Hence, surprisingly, the sender alone plays the decisive role, and regardless of the payoff function of the receiver the sender always obtains the best possible payoff for himself.


title: Rejection lemma and almost split sequences

abstract: We study the behaviour of almost split sequences and \art quivers of an order under rejection of bijective modules. In particular, we establish relations of stable categories and almost split sequences for an order $A$ and the order $A'$ obtained from $A$ by such rejection. These results are specified for Gorenstein and Frobenius cases.


title: Benchmarking Machine Reading Comprehension: A Psychological Perspective

abstract: Machine reading comprehension (MRC) has received considerable attention as a benchmark for natural language understanding. However, the conventional task design of MRC lacks explainability beyond the model interpretation, i.e., reading comprehension by a model cannot be explained in human terms. To this end, this position paper provides a theoretical basis for the design of MRC datasets based on psychology as well as psychometrics, and summarizes it in terms of the prerequisites for benchmarking MRC. We conclude that future datasets should (i) evaluate the capability of the model for constructing a coherent and grounded representation to understand context-dependent situations and (ii) ensure substantive validity by shortcut-proof questions and explanation as a part of the task design.


title: Electromagnetic Modeling of Superconductors with Commercial Software: Possibilities with Two Vector Potential-Based Formulations

abstract: In recent years, the $H$ formulation of Maxwell's equation has become the de facto standard for simulating the time-dependent electromagnetic behavior of superconducting applications with commercial software. However, there are cases where other formulations are desirable, for example for modeling superconducting turns in electrical machines or situations where the superconductor is better described by the critical state than by a power-law resistivity. In order to accurately and efficiently handle those situations, here we consider two published approaches based on the magnetic vector potential: the $T$-$A$ formulation of Maxwell's equations (with power-law resistivity) and Campbell's implementation of the critical state model. In this contribution, we extend the $T$-$A$ formulation to thick conductors so that large coils with different coupling scenarios between the turns can be considered. We also revise Campbell's model and discuss it in terms of its ability to calculate AC losses: in particular, we investigate the dependence of the calculated AC losses on the frequency of the AC excitation and the possibility of using quick one-step (instead of full cycle) simulations to calculate the AC losses.


title: The ARTEMIS simulations: stellar haloes of Milky Way-mass galaxies

abstract: We introduce the ARTEMIS simulations, a new set of 42 zoomed-in, high-resolution (baryon particle mass of ~ 2x10^4 Msun/h), hydrodynamical simulations of galaxies residing in haloes of Milky Way mass, simulated with the EAGLE galaxy formation code with re-calibrated stellar feedback. In this study, we analyse the structure of stellar haloes, specifically the mass density, surface brightness, metallicity, colour and age radial profiles, finding generally very good agreement with recent observations of local galaxies. The stellar density profiles are well fitted by broken power laws, with inner slopes of ~ -3, outer slopes of ~ -4 and break radii that are typically ~ 20-40 kpc. The break radii generally mark the transition between in situ formation and accretion-driven formation of the halo. The metallicity, colour and age profiles show mild large-scale gradients, particularly when spherically-averaged or viewed along the major axes. Along the minor axes, however, the profiles are nearly flat, in agreement with observations. Overall, the structural properties can be understood by two factors: that in situ stars dominate the inner regions and that they reside in a spatially-flattened distribution that is aligned with the disc. Observations targeting both the major and minor axes of galaxies are thus required to obtain a complete picture of stellar haloes.


title: Dark solitons in the unitary Bose gas

abstract: We study the dilute and ultracold unitary Bose gas, which is characterized by a universal equation of state due to the diverging s-wave scattering length, under a transverse harmonic confinement. From the hydrodynamic equations of superfluids we derive an effective one-dimensional nonpolynomial Schr\"odinger equation (1D NPSE) for the axial dynamics which, however, takes also into account the transverse dynamics. Finally, by solving the 1D NPSE we obtain meaningful analytical formulas for the dark (gray and black) solitons of the bosonic system.


title: Event-Triggered Control of a Continuum Model of Highly Re-Entrant Manufacturing System

abstract: With the unceasing growth of intelligent production lines that integrate sensors, actuators, and controllers in a wireless communication environment via internet of things (IoT), we design an event-triggered boundary controller for a continuum model of highly re-entrant manufacturing systems for which the influx rate of products is the controlled quantity. The designed controller can potentially operate in networked control systems subject to limited information sharing resources. A Lyapunov argument is utilized to derive the boundary controller together with a feasible event generator that avoids the occurrence of Zeno behavior for the closed-loop system. The global stability estimate is established using the logarithmic norm of the state due to the system's nonlinearity and positivity of the density. Furthermore, robustness of the proposed controller with respect to the sampling schedule and sampled-data stabilization results are established. Consistent simulation results that support the proposed theoretical statements are provided.


title: The illiquidity network of stocks in China's market crash

abstract: The Chinese stock market experienced an abrupt crash in 2015, and over one-third of its market value evaporated. Given its associations with fear and the fine resolution with respect to frequency, the illiquidity of stocks may offer a promising perspective for understanding and even signaling a market crash. In this study, by connecting stocks with illiquidity comovements, an illiquidity network is established to model the market. Compared to noncrash days, on crash days, the market is more densely connected due to heavier but more homogeneous illiquidity dependencies that facilitate abrupt collapses. Critical stocks in the illiquidity network, particularly those in the finance sector, are targeted for inspection because of their crucial roles in accumulating and passing on illiquidity losses. The cascading failures of stocks in market crashes are profiled as disseminating from small degrees to high degrees that are usually located in the core of the illiquidity network and then back to the periphery. By counting the days with random failures in the previous five days, an early signal is implemented to successfully predict more than half of the crash days, especially consecutive days in the early phase. Additional evidence from both the Granger causality network and the random network further testifies to the robustness of the signal. Our results could help market practitioners such as regulators detect and prevent the risk of crashes in advance.


title: Operator convex functions and their applications

abstract: In this paper, we introduce operator geodesically convex and operator convex-log functions and characterize some properties of them. Then apply these classes of functions to present several operator Azc\'{e}l and Minkowski type inequalities extending some known results. The concavity counterparts are also considered.


title: Second order divergence in the third order DC response of a cold semiconductor

abstract: In this work, we present the analytical expression for the second order divergence in the third order DC response of a cold semiconductor, which can be probed by different electric field setups. Results from this expression were then compared, for the response of the gapped graphene monolayer, with numerical results from a velocity gauge calculation of the third order conductivity. The good agreement between the two validates our analytical expression.


title: Beyond D2D: Full Dimension UAV-to-Everything Communications in 6G

abstract: In this paper, we consider an Internet of unmanned aerial vehicles (UAVs) over cellular networks, where UAVs work as aerial users to collect various sensory data, and send the collected data to their transmission destinations over cellular links. Unlike the terrestrial users in the conventional cellular networks, different UAVs have various communication requirements due to their sensing applications, and a more flexible communication framework is in demand. To tackle this problem, we propose a UAV-to-Everything (U2X) networking, which enables the UAVs to adjust their communication modes full dimensionally according to the requirements of their sensing applications. In this article, we first introduce the concept of U2X communications, and elaborate on its three communication modes. Afterwards, we discuss the key techniques of the U2X communications, including joint sensing and transmission protocol, UAV trajectory design, and radio resource management. A reinforcement learning-based mathematical framework for U2X communications is then proposed. Finally, the extensions of the U2X communications are presented.


title: Design and comparative analyses of optimal feedback controllers for hybrid electric vehicles

abstract: This paper presents an adaptive equivalent consumption minimization strategy (ECMS) and a linear quadratic tracking (LQT) method for optimal power-split control of combustion engine and electric machine in a hybrid electric vehicle (HEV). The objective is to deliver demanded torque and minimize fuel consumption and usage of service brakes, subject to constraints on actuator limits and battery state of charge (SOC). We derive a function for calculating maximum deliverable torque that is as close as possible to demanded torque and propose modeling SOC constraints by tangent or logarithm functions that provide an interior point to both ECMS and LQT. We show that the resulting objective functions are convex and we provide analytic solutions for their second order approximation about a given reference. We also consider robustness of the controllers to measurement noise using a simple model of noise. Simulation results of the two controllers are compared and their effectiveness is discussed.


title: Subband modeling for spoofing detection in automatic speaker verification

abstract: Spectrograms - time-frequency representations of audio signals - have found widespread use in neural network-based spoofing detection. While deep models are trained on the fullband spectrum of the signal, we argue that not all frequency bands are useful for these tasks. In this paper, we systematically investigate the impact of different subbands and their importance on replay spoofing detection on two benchmark datasets: ASVspoof 2017 v2.0 and ASVspoof 2019 PA. We propose a joint subband modelling framework that employs n different sub-networks to learn subband specific features. These are later combined and passed to a classifier and the whole network weights are updated during training. Our findings on the ASVspoof 2017 dataset suggest that the most discriminative information appears to be in the first and the last 1 kHz frequency bands, and the joint model trained on these two subbands shows the best performance outperforming the baselines by a large margin. However, these findings do not generalise on the ASVspoof 2019 PA dataset. This suggests that the datasets available for training these models do not reflect real world replay conditions suggesting a need for careful design of datasets for training replay spoofing countermeasures.


title: Estimation of the Transformation Function in Fully Nonparametric Transformation Models with Heteroscedasticity

abstract: Completely nonparametric transformation models with heteroscedastic errors are considered. Despite their flexibility, such models have rarely been used so far, since estimators of the model components have been missing and even identification of such models has not been clear until very recently. The results of Kloodt (2020) are used to construct the first two estimators of the transformation function in these models. While the first estimator converges to the true transformation function at a parametric rate, the second estimator can be obtained by an explicit formula and is less computationally demanding. Finally, a simulation study is followed by some concluding remarks. Assumptions and proofs can be found in the appendix.


title: Programmable directional emitter and receiver of itinerant microwave photons in a waveguide

abstract: We theoretically demonstrate dynamically selective bidirectional emission and absorption of a single itinerant microwave photon in a waveguide. The proposed device is an artificial molecule composed of two qubits coupled to a waveguide a quarter-wavelength apart. By using simulations based on the input--output theory, we show that upon preparing an appropriate entangled state of the two qubits, a photon is emitted directionally as a result of the destructive interference occurring either at the right or left of the qubits. Moreover, we demonstrate that this artificial molecule possesses the capability of absorbing and transmitting an incoming photon on-demand, a feature essential to the creation of a fully inter-connected one-dimensional quantum network, in which quantum information can be exchanged between any two given nodes.


title: A Note on Coloring Digraphs of Large Girth

abstract: The digirth of a digraph is the length of a shortest directed cycle. The dichromatic number $\vec{\chi}(D)$ of a digraph $D$ is the smallest size of a partition of the vertex-set into subsets inducing acyclic subgraphs. A conjecture by Harutyunyan and Mohar states that $\vec{\chi}(D) \le \left\lceil\frac{\Delta}{4}\right\rceil+1$ for every digraph $D$ of digirth at least $3$ and maximum degree $\Delta$. The best known partial result by Golowich shows that $\vec{\chi}(D) \le \frac{2}{5}\Delta+O(1)$. In this short note we prove for every $g \ge 2$ that if $D$ is a digraph of digirth at least $2g-1$ and maximum degree $\Delta$, then $\vec{\chi}(D) \le (\frac{1}{3}+\frac{1}{3g}) \Delta + O_g(1)$. This improves the bound of Golowich for digraphs without directed cycles of length at most $10$.


title: "None of the Above":Measure Uncertainty in Dialog Response Retrieval

abstract: This paper discusses the importance of uncovering uncertainty in end-to-end dialog tasks, and presents our experimental results on uncertainty classification on the Ubuntu Dialog Corpus. We show that, instead of retraining models for this specific purpose, the original retrieval model's underlying confidence concerning the best prediction can be captured with trivial additional computation.


title: Choosing among notions of multivariate depth statistics

abstract: Classical multivariate statistics measures the outlyingness of a point by its Mahalanobis distance from the mean, which is based on the mean and the covariance matrix of the data. A multivariate depth function is a function which, given a point and a distribution in d-space, measures centrality by a number between 0 and 1, while satisfying certain postulates regarding invariance, monotonicity, convexity and continuity. Accordingly, numerous notions of multivariate depth have been proposed in the literature, some of which are also robust against extremely outlying data. The departure from classical Mahalanobis distance does not come without cost. There is a trade-off between invariance, robustness and computational feasibility. In the last few years, efficient exact algorithms as well as approximate ones have been constructed and made available in R-packages. Consequently, in practical applications the choice of a depth statistic is no more restricted to one or two notions due to computational limits; rather often more notions are feasible, among which the researcher has to decide. The article debates theoretical and practical aspects of this choice, including invariance and uniqueness, robustness and computational feasibility. Complexity and speed of exact algorithms are compared. The accuracy of approximate approaches like the random Tukey depth is discussed as well as the application to large and high-dimensional data. Extensions to local and functional depths and connections to regression depth are shortly addressed.


title: Integrating Condition-Based Maintenance into Dynamic Spare Parts Management

abstract: In this paper we introduce a new model where the concept of condition-based maintenance is combined in a network setting with dynamic spare parts management. The model facilitates both preventive and corrective maintenance of geographically distributed capital goods as well as relocation of spare parts between different warehouses based on the availability of stock and the condition of all capital good installations. We formulate the problem as a Markov decision process, with the degradation process explicitly incorporated into the model. Numerical experiments show that that significant cost savings can be achieved when condition monitoring is used for preventive maintenance in a service network for capital goods.


title: Empirical Evaluation of PRNU Fingerprint Variation for Mismatched Imaging Pipelines

abstract: We assess the variability of PRNU-based camera fingerprints with mismatched imaging pipelines (e.g., different camera ISP or digital darkroom software). We show that camera fingerprints exhibit non-negligible variations in this setup, which may lead to unexpected degradation of detection statistics in real-world use-cases. We tested 13 different pipelines, including standard digital darkroom software and recent neural-networks. We observed that correlation between fingerprints from mismatched pipelines drops on average to 0.38 and the PCE detection statistic drops by over 40%. The degradation in error rates is the strongest for small patches commonly used in photo manipulation detection, and when neural networks are used for photo development. At a fixed 0.5% FPR setting, the TPR drops by 17 ppt (percentage points) for 128 px and 256 px patches.


title: Analysis for Lorentzian conformal field theories through sine-square deformation

abstract: We reexamine two-dimensional Lorentzian conformal field theory using the formalism previously developed in a study of sine-square deformation of Euclidean conformal field theory. We construct three types of Virasoro algebra. One of them reproduces the result by L\"uscher and Mack, while another type exhibits the divergence in the central charge term. The other leads the continuous spectrum and contains no closed time-like curve in the system.

categories: hep-th cond-mat.stat-mech math-ph math.MP


title: Solute-Vacancy Clustering in Aluminum

abstract: We present an extensive first-principles database of solute-vacancy, homoatomic, heteroatomic solute-solute, and solute-solute-vacancy binding energies of relevant alloying elements in aluminum. We particularly focus on the systems with major alloying elements in aluminum, i.e., Cu, Mg, and Si. We consider physical factors such as solute size and formation energies of intermetallic compounds to correlate with binding energies. Systematic studies of the homoatomic solute-solute-vacancy and heteroatomic (Cu, Mg, or Si)-solute-vacancy complexes reveal the overarching effect of the vacancy in stabilizing solute-solute pairs. The computed binding energies of the solute-solute-vacancy triplet successfully explain several experimental observations that remained unexplained by the reported pair binding energies in literature. The binding energy database presented here elucidates the interaction between solute cluster and vacancy in aluminum, and it is expected to provide insight into the design of advanced Al alloys with tailored properties.


title: Color isomorphic even cycles and a related Ramsey problem

abstract: In this paper, we first study a new extremal problem recently posed by Conlon and Tyomkyn~(arXiv: 2002.00921). Given a graph $H$ and an integer $k\geqslant 2$, let $f_{k}(n,H)$ be the smallest number of colors $c$ such that there exists a proper edge-coloring of the complete graph $K_{n}$ with $c$ colors containing no $k$ vertex-disjoint color-isomorphic copies of $H$. Using algebraic properties of polynomials over finite fields, we give an explicit proper edge-coloring of $K_{n}$ and show that $f_{k}(n, C_{4})=\Theta(n)$ when $k\geqslant 3$ and $n\rightarrow\infty$. The methods we used in the edge-coloring may be of some independent interest. We also consider a related generalized Ramsey problem. For given graphs $G$ and $H,$ let $r(G,H,q)$ be the minimum number of edge-colors (not necessarily proper) of $G$, such that the edges of every copy of $H\subseteq G$ together receive at least $q$ distinct colors. Establishing the relation to the Tur\'{a}n number of specified bipartite graphs, we obtain some general lower bounds for $r(K_{n,n},K_{s,t},q)$ with a broad range of $q$.


title: Extragalactic background light models and GeV-TeV observation of blazars

abstract: In this work, we use two different methods to determine the opacity of the TeV gamma-rays caused by the extragalactic background light (EBL) via e-e+ production due to photon-photon interaction. The first method, Model-Dependent Approach, uses various EBL models for estimating the opacity as a function of the redshift and energy of the TeV photons. The second method, Model-Independent Approach, relies on using the simultaneous observations of blazars in the MeV-GeV energy range from the Fermi-LAT and in the TeV band from the ground-based gamma-ray telescopes. We make the underline assumption that the extrapolation of the LAT spectrum of blazars to TeV energies is either a good estimate or an upper limit for the intrinsic TeV spectrum of a source. We apply this method on the simultaneous observations of a few blazars at different redshifts to demonstrate a comparative study of six prominent EBL models. Opacities of the TeV photons predicted by the model-independent approach are systematically larger than the ones estimated from the model-dependent method. Therefore, the gamma-ray observations of blazars can be used to set a strict upper limit on the opacity of the Universe to the TeV photons at a given redshift.


title: Multimode silicon photonics using on-chip geometrical-optics

abstract: On-chip optical interconnect has been widely accepted as a promising technology to realize future large-scale multiprocessors. Mode-division multiplexing (MDM) provides a new degree of freedom for optical interconnects to dramatically increase the link capacity. Present on-chip multimode devices are based on traditional wave-optics. Although large amount of computation and optimization are adopted to support more modes, mode-independent manipulation is still hard to be achieved due to severe mode dispersion. Here, we propose a universal solution to standardize the design of fundamental multimode building blocks, by introducing a geometrical-optics-like concept adopting waveguide width larger than the working wavelength. The proposed solution can tackle a group of modes at the same time with very simple processes, avoiding demultiplexing procedure and ensuring compact footprint. Compare to conventional schemes, it is scalable to larger mode channels without increasing the complexity and whole footprint. As a proof of concept, we demonstrate a set of multimode building blocks including crossing, bend, coupler and switches. Low losses of multimode waveguide crossing and bend are achieved, as well as ultra-low power consumption of the multimode switch is realized since it enables reconfigurable routing for a group of modes simultaneously. Our work promotes the multimode photonics research and makes the MDM technique more practical.


title: An Iterative Multi-Knowledge Transfer Network for Aspect-Based Sentiment Analysis

abstract: Aspect-based sentiment analysis (ABSA) mainly involves three subtasks: aspect term extraction, opinion term extraction, and aspect-level sentiment classification, which are typically handled in a separate or joint manner. However, previous approaches do not well exploit the interactive relations among three subtasks and do not pertinently leverage the easily available document-level labeled domain/sentiment knowledge, which restricts their performances. To address these issues, we propose a novel Iterative Multi-Knowledge Transfer Network (IMKTN) for end-to-end ABSA. For one thing, through the interactive correlations between the ABSA subtasks, our IMKTN transfers the task-specific knowledge from any two of the three subtasks to another one at the token level by utilizing a well-designed routing algorithm, that is, any two of the three subtasks will help the third one. For another, our IMKTN pertinently transfers the document-level knowledge, i.e., domain-specific and sentiment-related knowledge, to the aspect-level subtasks to further enhance the corresponding performance. Experimental results on three benchmark datasets demonstrate the effectiveness and superiority of our approach.


title: Tunable macroscale structural superlubricity in two-layer graphene via strain engineering

abstract: Achieving structural superlubricity in graphitic samples of macro-scale size is particularly challenging due to difficulties in sliding large contact areas of commensurate stacking domains. Here, we show the presence of macro-scale structural superlubricity between two randomly stacked graphene layers produced by both mechanical exfoliation and CVD. By measuring the shifts of Raman peaks under strain we estimate the values of frictional interlayer shear stress (ILSS) in the superlubricity regime (mm scale) under ambient conditions. The random incommensurate stacking, the presence of wrinkles and the mismatch in the lattice constant between two graphene layers induced by the tensile strain differential are considered responsible for the facile shearing at the macroscale. Furthermore, molecular dynamic simulations show that the stick-slip behaviour does not hold for achiral shearing directions for which the ILSS decreases substantially, supporting the experimental observations. Our results pave the way for overcoming several limitations in achieving macroscale superlubricity in graphene.


title: Counterexamples in the CSP

abstract: We present a collection of examples in various aspects of the one-dimensional cutting stock problem ('1D-CSP'). Based on our 37+ year experience in this area, we discuss some modelling pitfalls and counterexamples.


title: Lattice distortion in TmCo$_2$: a poly- and single- crystal study

abstract: Within the RCo$_2$ family of compounds, a structural distortion linked with the onset of magnetic ordering around the critical temperature can be observed. One of the less explored RCo$_2$ compounds is TmCo$_2$ probably due to its low Curie temperature. Exceptionally this compound, given its position at the end of the ferrimagnetic series, shows discrepancies in the ordering of the Co sub-lattice because of a weak Weiss molecular field. In this paper we focus on the structural distortion in TmCo$_2$, which appears together with the magnetic ordering around the critical temperature of $T_{C}\sim3.6$~K. Poly-crystals as well as single-crystals of TmCo$_2$ were used in our experiments. For both kinds of samples we observed the same type of the rhombohedral distortion along the [111] direction from the cubic Fd$\bar{3}$m to R$\bar{3}$m space group. The relation between observed magnetic and structural properties in this compound is discussed.


title: A Lower Bound for Byzantine Agreement and Consensus for Adaptive Adversaries using VDFs

abstract: Large scale cryptocurrencies require the participation of millions of participants and support economic activity of billions of dollars, which has led to new lines of work in binary Byzantine Agreement (BBA) and consensus. The new work aims to achieve communication-efficiency---given such a large $n$, not everyone can speak during the protocol. Several protocols have achieved consensus with communication-efficiency, even under an adaptive adversary, but they require additional strong assumptions---proof-of-work, memory-erasure, etc. All of these protocols use multicast: every honest replica multicasts messages to all other replicas. Under this model, we provide a new communication-efficient consensus protocol using Verifiable Delay Functions (VDFs) that is secure against adaptive adversaries and does not require the same strong assumptions present in other protocols. A natural question is whether we can extend the synchronous protocols to the partially synchronous setting---in this work, we show that using multicast, we cannot. Furthermore, we cannot achieve always safe communication-efficient protocols (that maintain safety with probability 1) even in the synchronous setting against a static adversary when honest replicas only choose to multicast its messages. Considering these impossibility results, we describe a new communication-efficient BBA protocol in a modified partially synchronous network model which is secure against adaptive adversaries with high probability.


title: Pre-Trained and Attention-Based Neural Networks for Building Noetic Task-Oriented Dialogue Systems

abstract: The NOESIS II challenge, as the Track 2 of the 8th Dialogue System Technology Challenges (DSTC 8), is the extension of DSTC 7. This track incorporates new elements that are vital for the creation of a deployed task-oriented dialogue system. This paper describes our systems that are evaluated on all subtasks under this challenge. We study the problem of employing pre-trained attention-based network for multi-turn dialogue systems. Meanwhile, several adaptation methods are proposed to adapt the pre-trained language models for multi-turn dialogue systems, in order to keep the intrinsic property of dialogue systems. In the released evaluation results of Track 2 of DSTC 8, our proposed models ranked fourth in subtask 1, third in subtask 2, and first in subtask 3 and subtask 4 respectively.


title: Low frequency non-resonant rectification in spin-diodes

abstract: Spin-diodes are usually resonant in nature (GHz frequency) and tuneable by magnetic field and bias current with performances, in terms of sensitivity and minimum detectable power, overcoming the semiconductor counterpart, i.e. Schottky diodes. Recently, spin diodes characterized by a low frequency detection (MHz frequency) have been proposed. Here, we show a strategy to design low frequency detectors based on magnetic tunnel junctions having the interfacial perpendicular anisotropy of the same order of the demagnetizing field out-of-plane component. Micromagnetic calculations show that to reach this detection regime a threshold input power has to be overcome and the phase shift between the oscillation magnetoresistive signal and the input radiofrequency current plays the key role in determining the value of the rectification voltage.


title: Tracking Performance of Online Stochastic Learners

abstract: The utilization of online stochastic algorithms is popular in large-scale learning settings due to their ability to compute updates on the fly, without the need to store and process data in large batches. When a constant step-size is used, these algorithms also have the ability to adapt to drifts in problem parameters, such as data or model properties, and track the optimal solution with reasonable accuracy. Building on analogies with the study of adaptive filters, we establish a link between steady-state performance derived under stationarity assumptions and the tracking performance of online learners under random walk models. The link allows us to infer the tracking performance from steady-state expressions directly and almost by inspection.


title: High-performance transmission of optical vortices through scattering media with opaque-lens field transformation theory

abstract: The applications of vortex beam in biomedical field are always hindered by light scattering of biological tissues. Recently wavefront shaping technology has shown the potential in focusing a structured light field through scattering media. Herein we have proposed a novel theory to describe the field transformation property of the opaque lens. This theory makes it possible to generate foci with specified amplitude and phase profiles by well-designing the incident field. We verify the validity of this theory by experimentally generating doughnut-shaped foci with various topological charges, and the foci match well with the theoretical predictions. Meanwhile, we have also analyzed the limitations of our approach, and it reveals that there is a trade-off between the thickness of the medium and the acceptance spatial bandwidth of the incident field. Our approach will inspire new research ideas for the deep-tissue applications of vortex beam in optics and dynamics, which is significant to numerous potential bio-photonics technologies.


title: Domain periodicity in an easy-plane antiferromagnet with Dzyaloshinskii-Moriya interaction

abstract: Antiferromagnetic spintronics is a promising emerging paradigm to develop high-performance computing and communications devices. From a theoretical point of view, it is important to implement simulation tools that can support a data-driven development of materials having specific properties for particular applications. Here, we present a study focusing on antiferromagnetic materials having an easy-plane anisotropy and interfacial Dzyaloshinskii-Moriya interaction (IDMI). An analytical theory is developed and benchmarked against full numerical micromagnetic simulations, describing the main properties of the ground state in antiferromagnets and how it is possible to estimate the IDMI from experimental measurements. The effect of the IDMI on the electrical switching dynamics of the antiferromagnetic element is also analyzed. Our theoretical results can be used for the design of multi-terminal heavy metal/antiferromagnet memory devices.


title: Uniform asymptotics of a Gauss hypergeometric function with two large parameters, V

abstract: We consider the uniform asymptotic expansion for the Gauss hypergeometric function \[{}_2F_1(a+\epsilon\lambda,b;c+\lambda;x),\qquad 0<x<1\] as $\lambda\to+\infty$ in the neigbourhood of $\epsilon x=1$ when the parameter $\epsilon>1$ and the constants $a$, $b$ and $c$ are supposed finite. Use of a standard integral representation shows that the problem reduces to consideration of a simple saddle point near an endpoint of the integration path. A uniform asymptotic expansion is first obtained by employing Bleistein's method. An alternative form of uniform expansion is derived following the approach described in Olver's book [{\it Asymptotics and Special Functions}, p.~346]. This second form has several advantages over the Bleistein form.


title: Weakly-Supervised Mesh-Convolutional Hand Reconstruction in the Wild

abstract: We introduce a simple and effective network architecture for monocular 3D hand pose estimation consisting of an image encoder followed by a mesh convolutional decoder that is trained through a direct 3D hand mesh reconstruction loss. We train our network by gathering a large-scale dataset of hand action in YouTube videos and use it as a source of weak supervision. Our weakly-supervised mesh convolutions-based system largely outperforms state-of-the-art methods, even halving the errors on the in the wild benchmark. The dataset and additional resources are available at https://arielai.com/mesh_hands.


title: The Initial-boundary value problem for the Lifshitz-Slyozov equation with non-smooth rates at the boundary

abstract: We prove existence and uniqueness of solutions to the initial-boundary value problem for the Lifshitz--Slyozov equation (a nonlinear transport equation on the half-line), focusing on the case of kinetic rates with unbounded derivative at the origin. Our theory covers in particular those cases with rates behaving as power laws at the origin, for which an inflow behavior is expected and a boundary condition describing nucleation phenomena needs to be imposed. The method we introduce here to prove existence is based on a formulation in terms of characteristics, with a careful analysis on the behavior near the singular boundary. As a byproduct we provide a general theory for linear continuity equations on a half-line with transport fields that degenerate at the boundary. We also address both the maximality and the uniqueness of inflow solutions to the Lifshitz--Slyozov model, exploiting monotonicity properties of the associated transport equation.


title: Time development of a driven three-level lambda system: A case study

abstract: How does a driven system with many energy levels approach its steady state? Insights are gained by studying a system with three energy levels when the ground state is excited by a laser. The time-dependent occupation probabilities of the three energy levels show students how the system develops in time. The occupation probabilities come from the numerical solution of the Liouville-von Neumann equations for the density operator matrix elements when relaxation is included. A combination of the Interaction Picture, the Rotating Wave Approximation, and the assumption of resonance permit the eigenvalues of the Liouville-von Neumann equations to be found numerically and in closed-form in certain limits. The two methods are complementary and help students understand time-dependent systems. In addition, the eigenvalues allow the short-time and the long-time occupation probabilities to be connected to the relaxation parameters and the magnitude of the laser's electric field. Thus, this model three-level system illuminates how a driven system behaves over time and provides guidance for students studying time-dependent systems.


title: BlackBox Toolkit: Intelligent Assistance to UI Design

abstract: User Interface (UI) design is an creative process that involves considerable reiteration and rework. Designers go through multiple iterations of different prototyping fidelities to create a UI design. In this research, we propose to modify the UI design process by assisting it with artificial intelligence (AI). We propose to enable AI to perform repetitive tasks for the designer while allowing the designer to take command of the creative process. This approach makes the machine act as a black box that intelligently assists the designers in creating UI design. We believe this approach would greatly benefit designers in co-creating design solutions with AI.


title: Groups generated by derangements

abstract: We examine the subgroup $D(G)$ of a transitive permutation group $G$ which is generated by the derangements in $G$. Our main results bound the index of this subgroup: we conjecture that, if $G$ has degree $n$ and is not a Frobenius group, then $|G:D(G)|\leqslant\sqrt{n}-1$; we prove this except when $G$ is a primitive affine group. For affine groups, we translate our conjecture into an equivalent form regarding $|H:R(H)|$, where $H$ is a linear group on a finite vector space and $R(H)$ is the subgroup of $H$ generated by elements having eigenvalue~$1$. If $G$ is a Frobenius group, then $D(G)$ is the Frobenius kernel, and so $G/D(G)$ is isomorphic to a Frobenius complement. We give some examples where $D(G)\ne G$, and examine the group-theoretic structure of $G/D(G)$; in particular, we construct groups $G$ in which $G/D(G)$ is not a Frobenius complement.


title: A Dependency Syntactic Knowledge Augmented Interactive Architecture for End-to-End Aspect-based Sentiment Analysis

abstract: The aspect-based sentiment analysis (ABSA) task remains to be a long-standing challenge, which aims to extract the aspect term and then identify its sentiment orientation.In previous approaches, the explicit syntactic structure of a sentence, which reflects the syntax properties of natural language and hence is intuitively crucial for aspect term extraction and sentiment recognition, is typically neglected or insufficiently modeled. In this paper, we thus propose a novel dependency syntactic knowledge augmented interactive architecture with multi-task learning for end-to-end ABSA. This model is capable of fully exploiting the syntactic knowledge (dependency relations and types) by leveraging a well-designed Dependency Relation Embedded Graph Convolutional Network (DreGcn). Additionally, we design a simple yet effective message-passing mechanism to ensure that our model learns from multiple related tasks in a multi-task learning framework. Extensive experimental results on three benchmark datasets demonstrate the effectiveness of our approach, which significantly outperforms existing state-of-the-art methods. Besides, we achieve further improvements by using BERT as an additional feature extractor.


title: Surprising lateral interactions between negatively charged adatoms on metal surfaces

abstract: Even something as conceptually simple as adsorption of electronegative adatoms on metal surfaces, where repulsive lateral interactions are expected for obvious reasons, can lead to unanticipated behavior. In this context, we explain the origin of surprising lateral interactions between electronegative adatoms observed on some metal surfaces by means of density functional theory calculations of four electronegative atoms (N, O, F, Cl) on 70 surfaces of 44 pristine metals. Four different scenarios for lateral interactions are identified, some of them being unexpected: (i) they are repulsive, which is the typical case and occurs on almost all transition metals. (ii,iii) They are atypical, being either attractive or negligible, which occurs on p-block metals and Mg, and (iv) surface reconstruction stabilizes the low-coverage configuration, preventing atypical lateral interactions. The last case occurs predominantly on s-block metals.


title: Energy-aware Allocation of Graph Jobs in Vehicular Cloud Computing-enabled Software-defined IoV

abstract: Software-defined internet of vehicles (SDIoV) has emerged as a promising paradigm to realize flexible and comprehensive resource management, for next generation automobile transportation systems. In this paper, a vehicular cloud computing-based SDIoV framework is studied wherein the joint allocation of transmission power and graph job is formulated as a nonlinear integer programming problem. To effectively address the problem, a structure-preservation-based two-stage allocation scheme is proposed that decouples template searching from power allocation. Specifically, a hierarchical tree-based random subgraph isomorphism mechanism is applied in the first stage by identifying potential mappings (templates) between the components of graph jobs and service providers. A structure-preserving simulated annealing-based power allocation algorithm is adopted in the second stage to achieve the trade-off between the job completion time and energy consumption. Extensive simulations are conducted to verify the performance of the proposed algorithms.


title: Enhancing the Adhesion of Graphene to Polymer Substrates by Controlled Defect Formation

abstract: The mechanical integrity of composite materials depends primarily on the interface strength and the defect density of the reinforcement which is the provider of enhanced strength and stiffness. In the case of graphene/ polymer nanocomposites which are characterized by an extremely large interface region, any defects in the inclusion (such as folds, cracks, holes etc.) will have a detrimental effect to the internal strain distribution and the resulting mechanical performance. This conventional wisdom, however, can be challenged if the defect size is reduced beyond the critical size for crack formation to the level of atomic vacancies. In that case, there should be no practical effect on crack propagation and depending on the nature of the vacancies the interface strength may be in fact increase. In this work we employed argon ion (Ar+) bombardment and subsequent exposure to hydrogen (H2) to induce (as revealed by X-ray & Ultraviolet photoelectron spectroscopy (XPS/UPS) and Raman spectroscopy) passivated atomic single vacancies to CVD graphene. The modified graphene was subsequently transferred to PMMA bars and the morphology, wettability and the interface adhesion of the CVD graphene/PMMA system were investigated with Atomic Force Microscopy technique and Raman analysis. The results obtained showed clearly an overall improved mechanical behavior of graphene/polymer interface, since an increase as well a more uniform shift distribution with strain is observed. This paves the way for interface engineering in graphene/polymer systems which, in pristine condition, suffer from premature graphene slippage and subsequent failure.


title: Supereulerian 2-edge-coloured graphs

abstract: A 2-edge-coloured graph $G$ is {\bf supereulerian} if $G$ contains a spanning closed trail in which the edges alternate in colours. An {\bf eulerian factor} of a 2-edge-coloured graph is a collection of vertex disjoint induced subgraphs which cover all the vertices of $G$ such that each of these subgraphs is supereulerian. We give a polynomial algorithm to test if a 2-edge-coloured graph has an eulerian factor and to produce one when it exists. A 2-edge-coloured graph is {\bf (trail-)colour-connected} if it contains a pair of alternating $(u,v)$-paths ($(u,v)$-trails) whose union is an alternating closed walk for every pair of distinct vertices $u,v$. A 2-edge-coloured graph is {\bf M-closed} if $xz$ is an edge of $G$ whenever some vertex $u$ is joined to both $x$ and $z$ by edges of the same colour. M-closed 2-edge-coloured graphs, introduced in \cite{balbuenaDMTCS21}, form a rich generalization of 2-edge-coloured complete graphs. We show that if $G$ is an extension of an M-closed 2-edge-coloured complete graph, then $G$ is supereulerian if and only if $G$ is trail-colour-connected and has an eulerian factor. We also show that for general 2-edge-coloured graphs it is NP-complete to decide whether the graph is supereulerian. Finally we pose a number of open problems.


title: First Measurement of Electron Neutrino Scattering Cross Section on Argon

abstract: We report the first electron neutrino cross section measurements on argon, based on data collected by the ArgoNeuT experiment running in the GeV-scale NuMI beamline at Fermilab. A flux-averaged $\nu_e + \overline{\nu}_e$ total and a lepton angle differential cross section are extracted using 13 $\nu_e$ and $\overline{\nu}_e$ events identified with fully-automated selection and reconstruction. We employ electromagnetic-induced shower characterization and analysis tools developed to identify $\nu_e/\overline{\nu}_e$-like events among complex interaction topologies present in ArgoNeuT data ($\langle E_{\bar{\nu}_e} \rangle = 4.3$ GeV and $\langle E_{\nu_e} \rangle = 10.5$ GeV). The techniques are widely applicable to searches for electron-flavor appearance at short- and long-baseline using liquid argon time projection chamber technology. Notably, the data-driven studies of GeV-scale $\nu_e/\overline{\nu}_e$ interactions presented in this Letter probe an energy regime relevant for future DUNE oscillation physics.


title: Energy and momentum conservation in spin transfer

abstract: We utilize simulations of spin-polarized electron scattering by a chain of localized quantum spins to show that energy and linear momentum conservation laws impose strong constraints on the properties of magnetic excitations induced by spin transfer. In turn, electron's orbital and spin dynamics depends on the dynamical characteristics of the local spins. Our results suggest the possibility to achieve precise control of spin transfer-driven magnetization dynamics by tailoring the spectral characteristics of the magnetic systems and the driving electrons.


title: BASCPS: How does behavioral decision making impact the security of cyber-physical systems?

abstract: We study the security of large-scale cyber-physical systems (CPS) consisting of multiple interdependent subsystems, each managed by a different defender. Defenders invest their security budgets with the goal of thwarting the spread of cyber attacks to their critical assets. We model the security investment decisions made by the defenders as a security game. While prior work has used security games to analyze such scenarios, we propose behavioral security games, in which defenders exhibit characteristics of human decision making that have been identified in behavioral economics as representing typical human cognitive biases. This is important as many of the critical security decisions in our target class of systems are made by humans. We provide empirical evidence for our behavioral model through a controlled subject experiment. We then show that behavioral decision making leads to a suboptimal pattern of resource allocation compared to non-behavioral decision making. We illustrate the effects of behavioral decision making using two representative real-world interdependent CPS. In particular, we identify the effects of the defenders' security budget availability and distribution, the degree of interdependency among defenders, and collaborative defense strategies, on the degree of suboptimality of security outcomes due to behavioral decision making. In this context, the adverse effects of behavioral decision making are most severe with moderate defense budgets. Moreover, the impact of behavioral suboptimal decision making is magnified as the degree of the interdependency between subnetworks belonging to different defenders increases. We also observe that selfish defense decisions together with behavioral decisions significantly increase security risk.


title: Cross-domain Face Presentation Attack Detection via Multi-domain Disentangled Representation Learning

abstract: Face presentation attack detection (PAD) has been an urgent problem to be solved in the face recognition systems. Conventional approaches usually assume the testing and training are within the same domain; as a result, they may not generalize well into unseen scenarios because the representations learned for PAD may overfit to the subjects in the training set. In light of this, we propose an efficient disentangled representation learning for cross-domain face PAD. Our approach consists of disentangled representation learning (DR-Net) and multi-domain learning (MD-Net). DR-Net learns a pair of encoders via generative models that can disentangle PAD informative features from subject discriminative features. The disentangled features from different domains are fed to MD-Net which learns domain-independent features for the final cross-domain face PAD task. Extensive experiments on several public datasets validate the effectiveness of the proposed approach for cross-domain PAD.


title: Impact of intrinsic polarisation of Sgr A* historical flares on (polarisation) properties of their X-ray echoes

abstract: Reflection of X-ray emission on molecular clouds in the inner $\sim$ 100 pc of our Galaxy reveals that, despite being extremely quiet at the moment, our supermassive black hole Sgr A* should have experienced bright flares of X-ray emission in the recent past. Thanks to the improving characterisation of the reflection signal, we are able to infer parameters of the most recent flare(s) (age, duration and luminosity) and relative line-of-sight disposition of the brightest individual molecular complexes. We show that combining these data with measurements of polarisation in the reflected X-ray continuum will not only justify Sgr A* as the primary source but also allow deriving intrinsic polarisation properties of the flare emission. This will help to identify radiation mechanisms and underlying astrophysical phenomena behind them. For the currently brightest reflecting molecular complex, Sgr A, the required level of sensitivity might be already accessible with upcoming X-ray polarimeters.


title: Neural Architecture Search for Lightweight Non-Local Networks

abstract: Non-Local (NL) blocks have been widely studied in various vision tasks. However, it has been rarely explored to embed the NL blocks in mobile neural networks, mainly due to the following challenges: 1) NL blocks generally have heavy computation cost which makes it difficult to be applied in applications where computational resources are limited, and 2) it is an open problem to discover an optimal configuration to embed NL blocks into mobile neural networks. We propose AutoNL to overcome the above two obstacles. Firstly, we propose a Lightweight Non-Local (LightNL) block by squeezing the transformation operations and incorporating compact features. With the novel design choices, the proposed LightNL block is 400x computationally cheaper} than its conventional counterpart without sacrificing the performance. Secondly, by relaxing the structure of the LightNL block to be differentiable during training, we propose an efficient neural architecture search algorithm to learn an optimal configuration of LightNL blocks in an end-to-end manner. Notably, using only 32 GPU hours, the searched AutoNL model achieves 77.7% top-1 accuracy on ImageNet under a typical mobile setting (350M FLOPs), significantly outperforming previous mobile models including MobileNetV2 (+5.7%), FBNet (+2.8%) and MnasNet (+2.1%). Code and models are available at https://github.com/LiYingwei/AutoNL.


title: Sublattices and $\Delta$-blocks of orthomodular posets

abstract: For orthoposets we introduce a binary relation Delta and a binary operator d(x,y) which are generalizations of the binary relation C and the commutator c(x,y), respectively, known for orthomodular lattices. We characterize orthomodular posets among orthoposets and orthogonal posets. Moreover, we describe connections between the relations Delta and \leftrightarrow and the operator d(x,y). In details we investigate certain orthomodular posets of subsets of a finite set. In particular we describe maximal orthomodular sublattices and Boolean subalgebras of such orthomodular posets. Finally, we study properties of Delta-blocks with respect to Boolean sublattices and distributive subposets they include.


title: Fine grained classification for multi-source land cover mapping

abstract: Nowadays, there is a general agreement on the need to better characterize agricultural monitoring systems in response to the global changes. Timely and accurate land use/land cover mapping can support this vision by providing useful information at fine scale. Here, a deep learning approach is proposed to deal with multi-source land cover mapping at object level. The approach is based on an extension of Recurrent Neural Network enriched via an attention mechanism dedicated to multi-temporal data context. Moreover, a new hierarchical pretraining strategy designed to exploit specific domain knowledge available under hierarchical relationships within land cover classes is introduced. Experiments carried out on the Reunion island - a french overseas department - demonstrate the significance of the proposal compared to remote sensing standard approaches for land cover mapping.


title: Uplink and Downlink Performance Bounds for Full Duplex Cellular Networks

abstract: With Full Duplex (FD), wireless terminal is capable of transmitting and receiving data simultaneously in the same frequency resources, however, it introduces self interference and co-channel interference. Even though various signal processing techniques are emerged to cancel the self interference, the bottleneck for FD performance in cellular systems is the co-channel interference from the other uplink and downlink signals. In this work we have studied both the uplink and downlink performances of a FD cellular network, where users employ fractional power control in uplink. We use Matern Cluster Process to model the network, which provides a tractable and realistic model to characterize the user-base station distances which are needed for uplink power control. Based on the obtained coverage probabilities, rates and their robust approximations, we show that while FD improves downlink performance, it severely hurts the uplink performance. Also, we provide a trade-off between uplink and downlink performances. Our study suggests dense deployment of low power base stations can improve the performance of FD system.


title: Analytic Study of Magnetic Catalysis in Holographic QCD

abstract: We explore the effect of the magnetic field on the QCD phase transition through AdS/CFT correspondence. By introducing an anisotropic magnetic field in the Einstein-Maxwell-Scalar system, a family of analytic solutions is obtained by the potential reconstruction method where the contribution of the magnetic field in the blackening background can be analytically derived. After imposing the kinetic gauge function by requesting the linear Regge spectrum of $J/\psi$ mesons, the contribution of the magnetic field phase diagram can be demonstrated. The results show that the transition temperature will be raising as the magnetic field increases, which is the so-call magnetic catalysis effect. However, if the system is in a strong enough magnetic environment, the transition temperature will be cool down and display the inverse catalysis effect.


title: Facultative predation can alter the ant-aphid population

abstract: Although ant--aphid interactions are the most typical example of mutualism between insect species, some studies suggest that ant attendance is not always advantageous for the aphids because they may pay a physiological cost. In this study, we propose a new mathematical model of an ant--aphid system considering the costs of ant attendance. It includes both mutualism and predation. In the model, we incorporate not only the trade-off between the intrinsic growth rate of aphids and the honeydew reward for ants, but also the facultative predation of aphids by ants. The analysis and computer simulations of the two-dimensional nonlinear dynamical system with functional response produces fixed points and also novel and complex bifurcations. These results suggest that a higher degree of dependence of the aphids on the ants does not always enhance the abundance of the aphids. In contrast, the model without facultative predation gives a simple prediction, that is, the higher the degree of dependence, the more abundant the aphids are. The present study predicts two overall scenarios for an ant--aphid system with mutualism and facultative predation: (1) aphids with a lower intrinsic growth rate and many attending ants and (2) aphids with a higher intrinsic growth rate and fewer attending ants. This seems to explain why there are two lineages of aphids: one is associated with ants and the other is not.


title: The Paradox of Information Access: Growing Isolation in the Age of Sharing

abstract: Modern online media, such as Twitter, Instagram, and YouTube, enable anyone to become an information producer and to offer online content for potentially global consumption. By increasing the amount of globally accessible real-time information, today's ubiquitous producers contribute to a world, where an individual consumes vanishingly smaller fractions of all produced content. In general, consumers preferentially select information that closely matches their individual views and values. The bias inherent in such selection is further magnified by today's information curation services that maximize user engagement (and thus service revenue) by filtering new content in accordance with observed consumer preferences. Consequently, individuals get exposed to increasingly narrower bands of the ideology spectrum. Societies get fragmented into increasingly ideologically isolated enclaves. These enclaves (or echo-chambers) then become vulnerable to misinformation spread, which in turn further magnifies polarization and bias. We call this dynamic the paradox of information access; a growing ideological fragmentation in the age of sharing. This article describes the technical, economic, and socio-cognitive contributors to this paradox, and explores research directions towards its mitigation.


title: Scrambled Vandermonde Convolutions of Gaussian Polynomials

abstract: It is well known that Gaussian polynomials (i.e., $q$-binomials) describe the distribution of the $area$ statistic on monotone paths in a rectangular grid. We introduce two new statistics, $corners$ and $cindex$; attach ``ornaments'' to the grid; and re-evaluate these statistics, in order to argue that all scrambled versions of the $cindex$ statistic are equidistributed with $area$. Our main result is a representation of the generating function for the bi-statistic $(cindex,corners)$ as a two-variable Vandermonde convolution of the original Gaussian polynomial. The proof relies on explicit bijections between differently ornated paths.


title: Convergence and Accuracy Analysis for A Distributed Static State Estimator based on Gaussian Belief Propagation

abstract: This paper focuses on the distributed static estimation problem and a Belief Propagation (BP) based estimation algorithm is proposed. We provide a complete analysis for convergence and accuracy of it. More precisely, we offer conditions under which the proposed distributed estimator is guaranteed to converge and we give concrete characterizations of its accuracy. Our results not only give a new algorithm with good performance but also provide a useful analysis framework to learn the properties of a distributed algorithm. It yields better theoretical understanding of the static distributed state estimator and may generate more applications in the future.


title: BAE: BERT-based Adversarial Examples for Text Classification

abstract: Modern text classification models are susceptible to adversarial examples, perturbed versions of the original text indiscernible by humans which get misclassified by the model. Recent works in NLP use rule-based synonym replacement strategies to generate adversarial examples. These strategies can lead to out-of-context and unnaturally complex token replacements, which are easily identifiable by humans. We present BAE, a black box attack for generating adversarial examples using contextual perturbations from a BERT masked language model. BAE replaces and inserts tokens in the original text by masking a portion of the text and leveraging the BERT-MLM to generate alternatives for the masked tokens. Through automatic and human evaluations, we show that BAE performs a stronger attack, in addition to generating adversarial examples with improved grammaticality and semantic coherence as compared to prior work.


title: Quenched Invariance Principle for a class of random conductance models with long-range jumps

abstract: We study random walks on $\mathbb Z^d$ (with $d\ge 2$) among stationary ergodic random conductances $\{C_{x,y}\colon x,y\in\mathbb Z^d\}$ that permit jumps of arbitrary length. Our focus is on the Quenched Invariance Principle (QIP) which we establish by a combination of corrector methods, functional inequalities and heat-kernel technology assuming that the $p$-th moment of $\sum_{x\in\mathbb Z^d}C_{0,x}|x|^2$ and $q$-th moment of $1/C_{0,x}$ for $x$ neighboring the origin are finite for some $p,q\ge1$ with $p^{-1}+q^{-1}<2/d$. In particular, a QIP thus holds for random walks on long-range percolation graphs with connectivity exponents larger than $2d$ in all $d\ge2$, provided all the nearest-neighbor edges are present. Although still limited by moment conditions, our method of proof is novel in that it avoids proving everywhere-sublinearity of the corrector. This is relevant because we show that, for long-range percolation with exponents between $d+2$ and $2d$, the corrector exists but fails to be sublinear everywhere. Similar examples are constructed also for nearest-neighbor, ergodic conductances in $d\ge3$ under the conditions complementary to those of the recent work of P. Bella and M. Sch\"affner. These examples elucidate the limitations of elliptic-regularity techniques that underlie much of the recent progress on these problems.


title: Learning a Simple and Effective Model for Multi-turn Response Generation with Auxiliary Tasks

abstract: We study multi-turn response generation for open-domain dialogues. The existing state-of-the-art addresses the problem with deep neural architectures. While these models improved response quality, their complexity also hinders the application of the models in real systems. In this work, we pursue a model that has a simple structure yet can effectively leverage conversation contexts for response generation. To this end, we propose four auxiliary tasks including word order recovery, utterance order recovery, masked word recovery, and masked utterance recovery, and optimize the objectives of these tasks together with maximizing the likelihood of generation. By this means, the auxiliary tasks that relate to context understanding can guide the learning of the generation model to achieve a better local optimum. Empirical studies with three benchmarks indicate that our model can significantly outperform state-of-the-art generation models in terms of response quality on both automatic evaluation and human judgment, and at the same time enjoys a much faster decoding process.


title: Investigating EEG-Based Functional Connectivity Patterns for Multimodal Emotion Recognition

abstract: Compared with the rich studies on the motor brain-computer interface (BCI), the recently emerging affective BCI presents distinct challenges since the brain functional connectivity networks involving emotion are not well investigated. Previous studies on emotion recognition based on electroencephalography (EEG) signals mainly rely on single-channel-based feature extraction methods. In this paper, we propose a novel emotion-relevant critical subnetwork selection algorithm and investigate three EEG functional connectivity network features: strength, clustering coefficient, and eigenvector centrality. The discrimination ability of the EEG connectivity features in emotion recognition is evaluated on three public emotion EEG datasets: SEED, SEED-V, and DEAP. The strength feature achieves the best classification performance and outperforms the state-of-the-art differential entropy feature based on single-channel analysis. The experimental results reveal that distinct functional connectivity patterns are exhibited for the five emotions of disgust, fear, sadness, happiness, and neutrality. Furthermore, we construct a multimodal emotion recognition model by combining the functional connectivity features from EEG and the features from eye movements or physiological signals using deep canonical correlation analysis. The classification accuracies of multimodal emotion recognition are 95.08/6.42% on the SEED dataset, 84.51/5.11% on the SEED-V dataset, and 85.34/2.90% and 86.61/3.76% for arousal and valence on the DEAP dataset, respectively. The results demonstrate the complementary representation properties of the EEG connectivity features with eye movement data. In addition, we find that the brain networks constructed with 18 channels achieve comparable performance with that of the 62-channel network in multimodal emotion recognition and enable easier setups for BCI systems in real scenarios.


title: COVID-19: Development of a Robust Mathematical Model and Simulation Package with Consideration for Ageing Population and Time Delay for Control Action and Resusceptibility

abstract: The current global health emergency triggered by the pandemic COVID-19 is one of the greatest challenges mankind face in this generation. Computational simulations have played an important role to predict the development of the current pandemic. Such simulations enable early indications on the future projections of the pandemic and is useful to estimate the efficiency of control action in the battle against the SARS-CoV-2 virus. The SEIR model is a well-known method used in computational simulations of infectious viral diseases and it has been widely used to model other epidemics such as Ebola, SARS, MERS, and influenza A. This paper presents a modified SEIRS model with additional exit conditions in the form of death rates and resusceptibility, where we can tune the exit conditions in the model to extend prediction on the current projections of the pandemic into three possible outcomes; death, recovery, and recovery with a possibility of resusceptibility. The model also considers specific information such as ageing factor of the population, time delay on the development of the pandemic due to control action measures, as well as resusceptibility with temporal immune response. Owing to huge variations in clinical symptoms exhibited by COVID-19, the proposed model aims to reflect better on the current scenario and case data reported, such that the spread of the disease and the efficiency of the control action taken can be better understood. The model is verified using two case studies for verification and prediction studies, based on the real-world data in South Korea and Northern Ireland, respectively.


title: Stratification and Optimal Resampling for Sequential Monte Carlo

abstract: Sequential Monte Carlo (SMC), also known as particle filters, has been widely accepted as a powerful computational tool for making inference with dynamical systems. A key step in SMC is resampling, which plays the role of steering the algorithm towards the future dynamics. Several strategies have been proposed and used in practice, including multinomial resampling, residual resampling (Liu and Chen 1998), optimal resampling (Fearnhead and Clifford 2003), stratified resampling (Kitagawa 1996), and optimal transport resampling (Reich 2013). We show that, in the one dimensional case, optimal transport resampling is equivalent to stratified resampling on the sorted particles, and they both minimize the resampling variance as well as the expected squared energy distance between the original and resampled empirical distributions; in the multidimensional case, the variance of stratified resampling after sorting particles using Hilbert curve (Gerber et al. 2019) in $\mathbb{R}^d$ is $O(m^{-(1+2/d)})$, an improved rate compared to the original $O(m^{-(1+1/d)})$, where $m$ is the number of resampled particles. This improved rate is the lowest for ordered stratified resampling schemes, as conjectured in Gerber et al. (2019). We also present an almost sure bound on the Wasserstein distance between the original and Hilbert-curve-resampled empirical distributions. In light of these theoretical results, we propose the stratified multiple-descendant growth (SMG) algorithm, which allows us to explore the sample space more efficiently compared to the standard i.i.d. multiple-descendant sampling-resampling approach as measured by the Wasserstein metric. Numerical evidence is provided to demonstrate the effectiveness of our proposed method.


title: Scalable Pseudorandom Quantum States

abstract: Efficiently sampling a quantum state that is hard to distinguish from a truly random quantum state is an elementary task in quantum information theory that has both computational and physical uses. This is often referred to as pseudorandom (quantum) state generator, or PRS generator for short. In existing constructions of PRS generators, security scales with the number of qubits in the states, i.e.\ the (statistical) security parameter for an $n$-qubit PRS is roughly $n$. Perhaps counter-intuitively, $n$-qubit PRS are not known to imply $k$-qubit PRS even for $k<n$. Therefore the question of \emph{scalability} for PRS was thus far open: is it possible to construct $n$-qubit PRS generators with security parameter $\lambda$ for all $n, \lambda$. Indeed, we believe that PRS with tiny (even constant) $n$ and large $\lambda$ can be quite useful. We resolve the problem in this work, showing that any quantum-secure one-way function implies scalable PRS. We follow the paradigm of first showing a \emph{statistically} secure construction when given oracle access to a random function, and then replacing the random function with a quantum-secure (classical) pseudorandom function to achieve computational security. However, our methods deviate significantly from prior works since scalable pseudorandom states require randomizing the amplitudes of the quantum state, and not just the phase as in all prior works. We show how to achieve this using Gaussian sampling.


title: Fast and Stable Nonconvex Constrained Distributed Optimization: The ELLADA Algorithm

abstract: Distributed optimization, where the computations are performed in a localized and coordinated manner using multiple agents, is a promising approach for solving large-scale optimization problems, e.g., those arising in model predictive control (MPC) of large-scale plants. However, a distributed optimization algorithm that is computationally efficient, globally convergent, amenable to nonconvex constraints and general inter-subsystem interactions remains an open problem. In this paper, we combine three important modifications to the classical alternating direction method of multipliers (ADMM) for distributed optimization. Specifically, (i) an extra-layer architecture is adopted to accommodate nonconvexity and handle inequality constraints, (ii) equality-constrained nonlinear programming (NLP) problems are allowed to be solved approximately, and (iii) a modified Anderson acceleration is employed for reducing the number of iterations. Theoretical convergence towards stationary solutions and computational complexity of the proposed algorithm, named ELLADA, is established. Its application to distributed nonlinear MPC is also described and illustrated through a benchmark process system.