title: Aggregated Deletion Propagation for Counting Conjunctive Query Answers

abstract: We investigate the computational complexity of minimizing the source side-effect in order to remove a given number of tuples from the output of a conjunctive query. This is a variant of the well-studied {\em deletion propagation} problem, the difference being that we are interested in removing the smallest subset of input tuples to remove a given number of output tuples} while deletion propagation focuses on removing a specific output tuple. We call this the {\em Aggregated Deletion Propagation} problem. We completely characterize the poly-time solvability of this problem for arbitrary conjunctive queries without self-joins. This includes a poly-time algorithm to decide solvability, as well as an exact structural characterization of NP-hard instances. We also provide a practical algorithm for this problem (a heuristic for NP-hard instances) and evaluate its experimental performance on real and synthetic datasets.


title: RECEIPT: REfine CoarsE-grained IndePendent Tasks for Parallel Tip decomposition of Bipartite Graphs

abstract: Tip decomposition is a crucial kernel for mining dense subgraphs in bipartite networks, with applications in spam detection, analysis of affiliation networks etc. It creates a hierarchy of vertex-induced subgraphs with varying densities determined by the participation of vertices in butterflies (2,2-bicliques). To build the hierarchy, existing algorithms iteratively follow a delete-update(peeling) process: deleting vertices with the minimum number of butterflies and correspondingly updating the butterfly count of their 2-hop neighbors. The need to explore 2-hop neighborhood renders tip-decomposition computationally very expensive. Furthermore, the inherent sequentiality in peeling only minimum butterfly vertices makes derived parallel algorithms prone to heavy synchronization. In this paper, we propose a novel parallel tip-decomposition algorithm -- REfine CoarsE-grained Independent Tasks (RECEIPT) that relaxes the peeling order restrictions by partitioning the vertices into multiple independent subsets that can be concurrently peeled. This enables RECEIPT to simultaneously achieve a high degree of parallelism and dramatic reduction in synchronizations. Further, RECEIPT employs a hybrid peeling strategy along with other optimizations that drastically reduce the amount of wedge exploration and execution time. We perform detailed experimental evaluation of RECEIPT on a shared-memory multicore server. It can process some of the largest publicly available bipartite datasets orders of magnitude faster than the state-of-the-art algorithms -- achieving up to 1100x and 64x reduction in the number of thread synchronizations and traversed wedges, respectively. Using 36 threads, RECEIPT can provide up to 17.1x self-relative speedup. Our implementation of RECEIPT is available at https://github.com/kartiklakhotia/RECEIPT.


title: A Systematic Approach to Computing the Manipulator Jacobian and Hessian using the Elementary Transform Sequence

abstract: The elementary transform sequence (ETS) provides a universal method of describing the kinematics of any serial-link manipulator. The ETS notation is intuitive and easy to understand, while avoiding the complexity and limitations of Denvit-Hartenberg frame assignment. In this paper, we describe a systematic method for computing the manipulator Jacobian and Hessian (differential kinematics) using the ETS notation. Differential kinematics have many applications including numerical inverse kinematics, resolved-rate motion control and manipulability motion control. Furthermore, we provide an open-source Python library which implements our algorithm and can be interfaced with any serial-link manipulator (available at github.com/petercorke/robotics-toolbox-python).


title: Continuum limit of $p$-Laplacian evolution problems on graphs:$L^q$ graphons and sparse graphs

abstract: In this paper we study continuum limits of the discretized $p$-Laplacian evolution problem on sparse graphs with homogeneous Neumann boundary conditions. This extends the results of [24] to a far more general class of kernels, possibly singular, and graph sequences whose limit are the so-called $L^q$-graphons. More precisely, we derive a bound on the distance between two continuous-in-time trajectories defined by two different evolution systems (i.e. with different kernels, second member and initial data). Similarly, we provide a bound in the case that one of the trajectories is discrete-in-time and the other is continuous. In turn, these results lead us to establish error estimates of the full discretization of the $p$-Laplacian problem on sparse random graphs. In particular, we provide rate of convergence of solutions for the discrete models to the solution of the continuous problem as the number of vertices grows.


title: Is Image Encoding Beneficial for Deep Learning in Finance? An Analysis of Image Encoding Methods for the Application of Convolutional Neural Networks in Finance

abstract: In 2012, SEC mandated all corporate filings for any company doing business in US be entered into the Electronic Data Gathering, Analysis, and Retrieval (EDGAR) system. In this work we are investigating ways to analyze the data available through EDGAR database. This may serve portfolio managers (pension funds, mutual funds, insurance, hedge funds) to get automated insights into companies they invest in, to better manage their portfolios. The analysis is based on Artificial Neural Networks applied to the data.} In particular, one of the most popular machine learning methods, the Convolutional Neural Network (CNN) architecture, originally developed to interpret and classify images, is now being used to interpret financial data. This work investigates the best way to input data collected from the SEC filings into a CNN architecture. We incorporate accounting principles and mathematical methods into the design of three image encoding methods. Specifically, two methods are derived from accounting principles (Sequential Arrangement, Category Chunk Arrangement) and one is using a purely mathematical technique (Hilbert Vector Arrangement). In this work we analyze fundamental financial data as well as financial ratio data and study companies from the financial, healthcare and IT sectors in the United States. We find that using imaging techniques to input data for CNN works better for financial ratio data but is not significantly better than simply using the 1D input directly for fundamental data. We do not find the Hilbert Vector Arrangement technique to be significantly better than other imaging techniques.


title: Bosonic quantum error correction codes in superconducting quantum circuits

abstract: Quantum information is vulnerable to environmental noise and experimental imperfections, hindering the reliability of practical quantum information processors. Therefore, quantum error correction (QEC) that can protect quantum information against noise is vital for universal and scalable quantum computation. Among many different experimental platforms, superconducting quantum circuits and bosonic encodings in superconducting microwave modes are appealing for their unprecedented potential in QEC. During the last few years, bosonic QEC is demonstrated to reach the break-even point, i.e. the lifetime of a logical qubit is enhanced to exceed that of any individual components composing the experimental system. Beyond that, universal gate sets and fault-tolerant operations on the bosonic codes are also realized, pushing quantum information processing towards the QEC era. In this article, we review the recent progress of the bosonic codes, including the Gottesman-Kitaev-Preskill codes, cat codes, and binomial codes, and discuss the opportunities of bosonic codes in various quantum applications, ranging from fault-tolerant quantum computation to quantum metrology. We also summarize the challenges associated with the bosonic codes and provide an outlook for the potential research directions in the long terms.


title: Phase diagram and superlattice structures of monolayer phosphorus carbide (P$_x$C$_{1-x}$)

abstract: Phase stability and properties of two-dimensional phosphorus carbide, P$_x$C$_{1-x}$, are investigated using the first-principles method in combination with cluster expansion and Monte Carlo simulation. Monolayer P$_x$C$_{1-x}$ is found to be a phase separating system which indicates difficulty in fabricating monolayer P$_x$C$_{1-x}$ or crystalline P$_x$C$_{1-x}$ thin films. Nevertheless, a bottom-up design approach is used to determine the stable structures of P$_x$C$_{1-x}$ of various compositions which turn out to be superlattices consisting of alternating carbon and phosphorus nanoribbons along the armchair direction. Results of first-principles calculations indicate that once these structures are produced, they are mechanically and thermodynamically stable. All the ordered structures are predicted to be semiconductors, with band gap ranging from 0.2 to 1.2 eV. In addition, the monolayer P$_x$C$_{1-x}$ are predicted to have high carrier mobility, and high optical absorption in the ultraviolet region which shows a red-shift as the P:C ratio increases. These properties make 2D P$_x$C$_{1-x}$ promising materials for applications in electronics and optoelectronics.


title: Pointwise Convergence for sequences of Schr\"{o}dinger means in $\mathbb{R}^{2}$

abstract: We consider pointwise convergence of Schr\"{o}dinger means $e^{it_{n}\Delta}f(x)$ for $f \in H^{s}(\mathbb{R}^{2})$ and decreasing sequences $\{t_{n}\}_{n=1}^{\infty}$ converging to zero. The main theorem improves the previous results of [Sj\"{o}lin, JFAA, 2018] and [Sj\"{o}lin-Str\"{o}mberg, JMAA, 2020] in $\mathbb{R}^{2}$. This study is based on investigating properties of Schr\"{o}dinger type maximal functions related to hypersurfaces with vanishing Gaussian curvature.


title: Adaptive Circuit Learning for Quantum Metrology

abstract: Quantum sensing is an important application of emerging quantum technologies. We explore whether a hybrid system of quantum sensors and quantum circuits can surpass the classical limit of sensing. In particular, we use optimization techniques to search for encoder and decoder circuits that scalably improve sensitivity under given application and noise characteristics. Our approach uses a variational algorithm that can learn a quantum sensing circuit based on platform-specific control capacity, noise, and signal distribution. The quantum circuit is composed of an encoder which prepares the optimal sensing state and a decoder which gives an output distribution containing information of the signal. We optimize the full circuit to maximize the Signal-to-Noise Ratio (SNR). Furthermore, this learning algorithm can be run on real hardware scalably by using the "parameter-shift" rule which enables gradient evaluation on noisy quantum circuits, avoiding the exponential cost of quantum system simulation. We demonstrate up to 13.12x SNR improvement over existing fixed protocol (GHZ), and 3.19x Classical Fisher Information (CFI) improvement over the classical limit on 15 qubits using IBM quantum computer. More notably, our algorithm overcomes the decreasing performance of existing entanglement-based protocols with increased system sizes.


title: Statistical Inference for Qualitative Interactions with Applications to Precision Medicine and Differential Network Analysis

abstract: Qualitative interactions occur when a treatment effect or measure of association varies in sign by sub-population. Of particular interest in many biomedical settings are absence/presence qualitative interactions, which occur when an effect is present in one sub-population but absent in another. Absence/presence interactions arise in emerging applications in precision medicine, where the objective is to identify a set of predictive biomarkers that have prognostic value for clinical outcomes in some sub-population but not others. They also arise naturally in gene regulatory network inference, where the goal is to identify differences in networks corresponding to diseased and healthy individuals, or to different subtypes of disease; such differences lead to identification of network-based biomarkers for diseases. In this paper, we argue that while the absence/presence hypothesis is important, developing a statistical test for this hypothesis is an intractable problem. To overcome this challenge, we approximate the problem in a novel inference framework. In particular, we propose to make inferences about absence/presence interactions by quantifying the relative difference in effect size, reasoning that when the relative difference is large, an absence/presence interaction occurs. The proposed methodology is illustrated through a simulation study as well as an analysis of breast cancer data from the Cancer Genome Atlas.


title: Covariate-Adjusted Inference for Differential Analysis of High-Dimensional Networks

abstract: Differences between biological networks corresponding to disease conditions can help delineate the underlying disease mechanisms. Existing methods for differential network analysis do not account for dependence of networks on covariates. As a result, these approaches may detect spurious differential connections induced by the effect of the covariates on both the disease condition and the network. To address this issue, we propose a general covariate-adjusted test for differential network analysis. Our method assesses differential network connectivity by testing the null hypothesis that the network is the same for individuals who have identical covariates and only differ in disease status. We show empirically in a simulation study that the covariate-adjusted test exhibits improved type-I error control compared with na\"ive hypothesis testing procedures that do not account for covariates. We additionally show that there are settings in which our proposed methodology provides improved power to detect differential connections. We illustrate our method by applying it to detect differences in breast cancer gene co-expression networks by subtype.


title: DEAL: Difficulty-aware Active Learning for Semantic Segmentation

abstract: Active learning aims to address the paucity of labeled data by finding the most informative samples. However, when applying to semantic segmentation, existing methods ignore the segmentation difficulty of different semantic areas, which leads to poor performance on those hard semantic areas such as tiny or slender objects. To deal with this problem, we propose a semantic Difficulty-awarE Active Learning (DEAL) network composed of two branches: the common segmentation branch and the semantic difficulty branch. For the latter branch, with the supervision of segmentation error between the segmentation result and GT, a pixel-wise probability attention module is introduced to learn the semantic difficulty scores for different semantic areas. Finally, two acquisition functions are devised to select the most valuable samples with semantic difficulty. Competitive results on semantic segmentation benchmarks demonstrate that DEAL achieves state-of-the-art active learning performance and improves the performance of the hard semantic areas in particular.


title: Exploring the Design Space of Lunar GNSS in Frozen Orbit Conditions

abstract: The past decade has witnessed a growing interest in lunar exploration missions. The autonomy of lunar surface and in-orbit missions is, however, dependent on accurate and instantaneous navigation services. These services can not be provided by current Global Navigation Satellite Systems (GNSS) whose signals suffer from poor geometry and coverage in the vicinity of the Moon. Preliminary results of a systems architecture study on a new satellite navigation system orbiting the moon are presented. Lunar frozen orbit conditions under J2, C22 and third-body perturbations are assumed. The formulation includes the following design decisions: (1) Orbit semi-major axis, (2) Number of satellites, (3) Number of orbital planes, (4) Satellite phasing in adjacent planes, (5) Orbit eccentricity and (6) Argument of periapsis.The Borg Multi-Objective Evolutionary Algorithm (MOEA) framework is used to optimize the satellite constellation design problem, with a fitness function that takes into account performance, cost, availability and station-keeping deltaV. The performance metric is based on the Geometric Dilution of Precision (GDOP), which is computed over a grid of 500 equidistant points on the lunar surface. Additionally, the input satellite orbits used in the GDOP computation are obtained from high-fidelity orbit propagation using NASA General Mission Analysis Toolbox. Finally, satellite costs are based on satellite dry mass estimates derived from the power budget analysis assuming a satellite lifetime of 10 years. Results show that Lunar GNSS constellation with 20 satellites at frozen orbits can achieve satisfactory performance at mid-latitudes but not at the poles.

categories: eess.SP astro-ph.EP astro-ph.IM cs.SY eess.SY


title: Constrained Motion Planning Networks X

abstract: Constrained motion planning is a challenging field of research, aiming for computationally efficient methods that can find a collision-free path on the constraint manifolds between a given start and goal configuration. These planning problems come up surprisingly frequently, such as in robot manipulation for performing daily life assistive tasks. However, few solutions to constrained motion planning are available, and those that exist struggle with high computational time complexity in finding a path solution on the manifolds. To address this challenge, we present Constrained Motion Planning Networks X (CoMPNetX). It is a neural planning approach, comprising a conditional deep neural generator and discriminator with neural gradients-based fast projection operator. We also introduce neural task and scene representations conditioned on which the CoMPNetX generates implicit manifold configurations to turbo-charge any underlying classical planner such as Sampling-based Motion Planning methods for quickly solving complex constrained planning tasks. We show that our method finds path solutions with high success rates and lower computation times than state-of-the-art traditional path-finding tools on various challenging scenarios.


title: Answer-checking in Context: A Multi-modal FullyAttention Network for Visual Question Answering

abstract: Visual Question Answering (VQA) is challenging due to the complex cross-modal relations. It has received extensive attention from the research community. From the human perspective, to answer a visual question, one needs to read the question and then refer to the image to generate an answer. This answer will then be checked against the question and image again for the final confirmation. In this paper, we mimic this process and propose a fully attention based VQA architecture. Moreover, an answer-checking module is proposed to perform a unified attention on the jointly answer, question and image representation to update the answer. This mimics the human answer checking process to consider the answer in the context. With answer-checking modules and transferred BERT layers, our model achieves the state-of-the-art accuracy 71.57\% using fewer parameters on VQA-v2.0 test-standard split.


title: Searches for new sources of CP violation using molecules as quantum sensors

abstract: We discuss how molecule-based searches offer complementary probes to study the violation of fundamental symmetries. These experiments have the potential to probe not only the electron EDM, but also hadronic CPV phenomena. Future experimental developments will offer generic sensitivity to probe flavor neutral sources of both leptonic and hadronic CPV at scales of $\geq$ 100 TeV, and flavor changing CPV at scales of $\geq$ 1000 TeV.


title: Causal Transfer Random Forest: Combining Logged Data and Randomized Experiments for Robust Prediction

abstract: It is often critical for prediction models to be robust to distributional shifts between training and testing data. From a causal perspective, the challenge is to distinguish the stable causal relationships from the unstable spurious correlations across shifts. We describe a causal transfer random forest (CTRF) that combines existing training data with a small amount of data from a randomized experiment to train a model which is robust to the feature shifts and therefore transfers to a new targeting distribution. Theoretically, we justify the robustness of the approach against feature shifts with the knowledge from causal learning. Empirically, we evaluate the CTRF using both synthetic data experiments and real-world experiments in the Bing Ads platform, including a click prediction task and in the context of an end-to-end counterfactual optimization system. The proposed CTRF produces robust predictions and outperforms most baseline methods compared in the presence of feature shifts.


title: Star product approach for Loop Quantum Cosmology

abstract: Guided by recent developments towards the implementation of the deformation quantization program within the Loop Quantum Cosmology (LQC) formalism, in this paper we address the introduction of both the integral and differential representation of the star product for LQC. To this end, we consider the Weyl quantization map for cylindrical functions defined on the Bohr compactification of the reals. The integral representation contains all of the common properties that characterize a star product which, in the case under study here, stands for a deformation of the usual pointwise product of cylindrical functions. Our construction also admits a direct comparison with the integral representation of the Moyal product which may be reproduced from our formulation by judiciously substituting the appropriate characters that identify such representation. Further, we introduce a suitable star commutator that correctly reproduces both the quantum representation of the holonomy-flux algebra for LQC and, in the proper limit, the holonomy-flux classical Poisson algebra emerging in the cosmological setup. Finally, we propose a natural way to obtain the quantum dynamical evolution in LQC in terms of this star commutator for cylindrical functions as well as a differential representation of the star product using discrete finite differences. We expect that our findings may contribute to a better understanding of certain issues arising within the LQC program, in particular, those related to the semiclassical limit and the dynamical evolution of quantum states.


title: Factual Error Correction for Abstractive Summarization Models

abstract: Neural abstractive summarization systems have achieved promising progress, thanks to the availability of large-scale datasets and models pre-trained with self-supervised methods. However, ensuring the factual consistency of the generated summaries for abstractive summarization systems is a challenge. We propose a post-editing corrector module to address this issue by identifying and correcting factual errors in generated summaries. The neural corrector model is pre-trained on artificial examples that are created by applying a series of heuristic transformations on reference summaries. These transformations are inspired by an error analysis of state-of-the-art summarization model outputs. Experimental results show that our model is able to correct factual errors in summaries generated by other neural summarization models and outperforms previous models on factual consistency evaluation on the CNN/DailyMail dataset. We also find that transferring from artificial error correction to downstream settings is still very challenging.


title: CQ-VAE: Coordinate Quantized VAE for Uncertainty Estimation with Application to Disk Shape Analysis from Lumbar Spine MRI Images

abstract: Ambiguity is inevitable in medical images, which often results in different image interpretations (e.g. object boundaries or segmentation maps) from different human experts. Thus, a model that learns the ambiguity and outputs a probability distribution of the target, would be valuable for medical applications to assess the uncertainty of diagnosis. In this paper, we propose a powerful generative model to learn a representation of ambiguity and to generate probabilistic outputs. Our model, named Coordinate Quantization Variational Autoencoder (CQ-VAE) employs a discrete latent space with an internal discrete probability distribution by quantizing the coordinates of a continuous latent space. As a result, the output distribution from CQ-VAE is discrete. During training, Gumbel-Softmax sampling is used to enable backpropagation through the discrete latent space. A matching algorithm is used to establish the correspondence between model-generated samples and "ground-truth" samples, which makes a trade-off between the ability to generate new samples and the ability to represent training samples. Besides these probabilistic components to generate possible outputs, our model has a deterministic path to output the best estimation. We demonstrated our method on a lumbar disk image dataset, and the results show that our CQ-VAE can learn lumbar disk shape variation and uncertainty.


title: Long-time asymptotics for the focusing Fokas-Lenells equation in the solitonic region of space-time

abstract: We study the long-time asymptotic behavior of the focusing Fokas-Lenells (FL) equation $$ u_{xt}+\alpha\beta^2u-2i\alpha\beta u_x-\alpha u_{xx}-i\alpha\beta^2|u|^2u_x=0 \label{cs} $$ with generic initial data in a Sobolev space which supports bright soliton solutions. The FL equation is an integrable generalization of the well-known Schrodinger equation, and also linked to the derivative Schrodinger model, but it exhibits several different characteristics from theirs. (i) The Lax pair of the FL equation involves an additional spectral singularity at $k=0$. (ii) four stationary phase points will appear during asymptotic analysis, which require a more detailed necessary description to obtain the long-time asymptotics of the focusing FL equation. Based on the Riemann-Hilbert problem for the initial value problem of the focusing FL equation, we show that inside any fixed time-spatial cone $$\mathcal{C}\left(x_{1}, x_{2}, v_{1}, v_{2}\right)=\left\{(x, t) \in \mathbb{R}^{2} | x=x_{0}+v t, x_{0} \in\left[x_{1}, x_{2}\right], v \in\left[v_{1}, v_{2}\right]\right\},$$ the long-time asymptotic behavior of the solution $u(x,t)$ for the focusing FL equation can be characterized with an $N(\mathcal{I})$-soliton on discrete spectrums and a leading order term $\mathcal{O}(|t|^{-1/2})$ on continuous spectrum up to a residual error order $\mathcal{O}(|t|^{-3/4})$. The main tool is the $\overline{\partial}$ nonlinear steepest descent method and the $\overline{\partial}$-analysis.


title: Understanding Information Processing in Human Brain by Interpreting Machine Learning Models

abstract: The thesis explores the role machine learning methods play in creating intuitive computational models of neural processing. Combined with interpretability techniques, machine learning could replace human modeler and shift the focus of human effort to extracting the knowledge from the ready-made models and articulating that knowledge into intuitive descroptions of reality. This perspective makes the case in favor of the larger role that exploratory and data-driven approach to computational neuroscience could play while coexisting alongside the traditional hypothesis-driven approach. We exemplify the proposed approach in the context of the knowledge representation taxonomy with three research projects that employ interpretability techniques on top of machine learning methods at three different levels of neural organization. The first study (Chapter 3) explores feature importance analysis of a random forest decoder trained on intracerebral recordings from 100 human subjects to identify spectrotemporal signatures that characterize local neural activity during the task of visual categorization. The second study (Chapter 4) employs representation similarity analysis to compare the neural responses of the areas along the ventral stream with the activations of the layers of a deep convolutional neural network. The third study (Chapter 5) proposes a method that allows test subjects to visually explore the state representation of their neural signal in real time. This is achieved by using a topology-preserving dimensionality reduction technique that allows to transform the neural data from the multidimensional representation used by the computer into a two-dimensional representation a human can grasp. The approach, the taxonomy, and the examples, present a strong case for the applicability of machine learning methods to automatic knowledge discovery in neuroscience.


title: Two-particle correlations at high-energy nuclear collisions, peripheral-tube model revisited

abstract: In this paper, we give an account of the peripheral-tube model, which has been developed to give an intuitive and dynamical description of the so-called ridge effect in two-particle correlations in high-energy nuclear collisions. Starting from a realistic event-by-event fluctuating hydrodynamical model calculation, we first show the emergence of ridge + shoulders in the so-called two-particle long-range correlations, reproducing the data. In contrast to the commonly used geometric picture of the origin of the anisotropic flow, we can explain such a structure dynamically in terms of the presence of high energy-density peripheral tubes in the initial conditions. These tubes violently explode and deflect the near radial flow coming from the interior of the hot matter, which in turn produces a two-ridge structure in single-particle distribution, with approximately two units opening in azimuth. When computing the two-particle correlation, this will result in characteristic three-ridge structure, with a high near-side ridge and two symmetric lower away-side ridges or shoulders. Several anisotropic flows, necessary to producing ridge + shoulder structure, appear naturally in this dynamical description. Using this simple idea, we can understand several related phenomena, such as centrality dependence and trigger-angle dependence.


title: A method to evaluate the reliability of social media data for social network analysis

abstract: To study the effects of Online Social Network (OSN) activity on real-world offline events, researchers need access to OSN data, the reliability of which has particular implications for social network analysis. This relates not only to the completeness of any collected dataset, but also to constructing meaningful social and information networks from them. In this multidisciplinary study, we consider the question of constructing traditional social networks from OSN data and then present a measurement case study showing how the reliability of OSN data affects social network analyses. To this end we developed a systematic comparison methodology, which we applied to two parallel datasets we collected from Twitter. We found considerable differences in datasets collected with different tools and that these variations significantly alter the results of subsequent analyses. Our results lead to a set of guidelines for researchers planning to collect online data streams to infer social networks.


title: Uniform Bound of the Highest-order Energy of the 2D Incompressible Elastodynamics

abstract: This paper concerns the time growth of the highest-order energy of the systems of incompressible isotropic elastodynamics in two space dimensions. The global well-posedness of smooth solutions near equilibrium was first obtained by Lei [31] where the highest-order generalized energy may have certain growth in time. We improve above result and show that the highest-order generalized energy is uniformly bounded for all the time. The two dimensional incompressible elastodynamics is a system of nonlocal quasilinear wave equations where the unknowns decay as $\langle t\rangle^{-\frac12}$. This suggests the problem is supercritical in the sense that the decay rate is far from integrable. Surprisingly, we showed that in the highest-order energy estimate, the temporal decay can be strongly enhanced to be subcritical $\langle t \rangle^{-\frac54}$. The analysis is based on the ghost weight energy method by Alinhac [5], the inherent strong null structure by Lei [31] and the inherent div-curl structure of the system.


title: Cascaded Refinement Network for Point Cloud Completion with Self-supervision

abstract: Point clouds are often sparse and incomplete, which imposes difficulties for real-world applications. Existing shape completion methods tend to generate rough shapes without fine-grained details. Considering this, we introduce a two-branch network for shape completion. The first branch is a cascaded shape completion sub-network to synthesize complete objects, where we propose to use the partial input together with the coarse output to preserve the object details during the dense point reconstruction. The second branch is an auto-encoder to reconstruct the original partial input. The two branches share a same feature extractor to learn an accurate global feature for shape completion. Furthermore, we propose two strategies to enable the training of our network when ground truth data are not available. This is to mitigate the dependence of existing approaches on large amounts of ground truth training data that are often difficult to obtain in real-world applications. Additionally, our proposed strategies are also able to improve the reconstruction quality for fully supervised learning. We verify our approach in self-supervised, semi-supervised and fully supervised settings with superior performances. Quantitative and qualitative results on different datasets demonstrate that our method achieves more realistic outputs than state-of-the-art approaches on the point cloud completion task.


title: PolarDet: A Fast, More Precise Detector for Rotated Target in Aerial Images

abstract: Fast and precise object detection for high-resolution aerial images has been a challenging task over the years. Due to the sharp variations on object scale, rotation, and aspect ratio, most existing methods are inefficient and imprecise. In this paper, we represent the oriented objects by polar method in polar coordinate and propose PolarDet, a fast and accurate one-stage object detector based on that representation. Our detector introduces a sub-pixel center semantic structure to further improve classifying veracity. PolarDet achieves nearly all SOTA performance in aerial object detection tasks with faster inference speed. In detail, our approach obtains the SOTA results on DOTA, UCAS-AOD, HRSC with 76.64\% mAP, 97.01\% mAP, and 90.46\% mAP respectively. Most noticeably, our PolarDet gets the best performance and reaches the fastest speed(32fps) at the UCAS-AOD dataset.


title: Exact black hole solutions in Einstein-Aether Scalar field theory

abstract: We present exact solutions in Einstein-aether theory in a static spherically symmetric background space with a spacelike aether field, as a difference with the usual selection of timelike aether field. We assume a coupling between the scalar field and the aether field introduced in the aether coefficients. The exact spacetimes describe hairy black hole solutions for which the limits of the Schwarzschild, de-Sitter Schwarzschild and Reissner-Nordstr\"om metrics are recovered.


title: Robust Face Alignment by Multi-order High-precision Hourglass Network

abstract: Heatmap regression (HR) has become one of the mainstream approaches for face alignment and has obtained promising results under constrained environments. However, when a face image suffers from large pose variations, heavy occlusions and complicated illuminations, the performances of HR methods degrade greatly due to the low resolutions of the generated landmark heatmaps and the exclusion of important high-order information that can be used to learn more discriminative features. To address the alignment problem for faces with extremely large poses and heavy occlusions, this paper proposes a heatmap subpixel regression (HSR) method and a multi-order cross geometry-aware (MCG) model, which are seamlessly integrated into a novel multi-order high-precision hourglass network (MHHN). The HSR method is proposed to achieve high-precision landmark detection by a well-designed subpixel detection loss (SDL) and subpixel detection technology (SDT). At the same time, the MCG model is able to use the proposed multi-order cross information to learn more discriminative representations for enhancing facial geometric constraints and context information. To the best of our knowledge, this is the first study to explore heatmap subpixel regression for robust and high-precision face alignment. The experimental results from challenging benchmark datasets demonstrate that our approach outperforms state-of-the-art methods in the literature.


title: Rectifiability of the free boundary for varifolds

abstract: We establish a partial rectifiability result for the free boundary of a $k$-varifold $V$. Namely, we first refine a theorem of Gr\"uter and Jost by showing that the first variation of a general varifold with free boundary is a Radon measure. Next we show that if the mean curvature $H$ of $V$ is in $L^p$ for some $p \in [1,k]$, then the set of points where the $k$-density of $V$ does not exist or is infinite has Hausdorff dimension at most $k-p$. We use this result to prove, under suitable assumptions, that the part of the first variation of $V$ with positive and finite $(k-1)$-density is $(k-1)$-rectifiable.


title: Quasi-algebra, a special sample of quasilinear spaces

abstract: Similar to linear spaces, many examples of quasilinear spaces have a notion of multiplication of the elements. To characterising these examples, in the present paper we generalize the notion of quasilinear spaces and introduce quasi-algebras and normed quasi-algebras with the help of what was done in constructing algebras. After examining some properties of these new spaces, we introduce the concept of quasi-homomorphisms that is an instance of a quasilinear operator. Moreover since the study of spaces with algebraic structures cannot be completed without the study of spectrums, we define the concept of quasi-spectrum on quasi-algebras as we expect it to be.


title: A Corpus for English-Japanese Multimodal Neural Machine Translation with Comparable Sentences

abstract: Multimodal neural machine translation (NMT) has become an increasingly important area of research over the years because additional modalities, such as image data, can provide more context to textual data. Furthermore, the viability of training multimodal NMT models without a large parallel corpus continues to be investigated due to low availability of parallel sentences with images, particularly for English-Japanese data. However, this void can be filled with comparable sentences that contain bilingual terms and parallel phrases, which are naturally created through media such as social network posts and e-commerce product descriptions. In this paper, we propose a new multimodal English-Japanese corpus with comparable sentences that are compiled from existing image captioning datasets. In addition, we supplement our comparable sentences with a smaller parallel corpus for validation and test purposes. To test the performance of this comparable sentence translation scenario, we train several baseline NMT models with our comparable corpus and evaluate their English-Japanese translation performance. Due to low translation scores in our baseline experiments, we believe that current multimodal NMT models are not designed to effectively utilize comparable sentence data. Despite this, we hope for our corpus to be used to further research into multimodal NMT with comparable sentences.


title: Hydrodynamics of the generalized $N$-urn Ehrenfest model

abstract: In this paper we are concerned with a generalized $N$-urn Ehrenfest model, where balls keeps independent random walks between $N$ boxes uniformly laid on $[0, 1]$. After a proper scaling of the transition rates function of the aforesaid random walk, we derive the hydrodynamic limit of the model, i.e., the law of large numbers which the empirical measure of the model follows, under an assumption where the initial number of balls in each box independently follows a Poisson distribution. We show that the empirical measure of the model converges weakly to a deterministic measure with density driven by an integral equation. Furthermore, we derive non-equilibrium fluctuation of the model, i.e, the central limit theorem from the above hydrodynamic limit. We show that the non-equilibrium fluctuation of the model is driven by a measure-valued time-inhomogeneous generalized O-U process. At last, we prove a large deviation principle from the hydrodynamic limit under an assumption where the transition rates function from $[0, 1]\times [0, 1]$ to $[0, +\infty)$ of the aforesaid random walk is a product of two marginal functions from $[0, 1]$ to $[0, +\infty)$.


title: Picture-to-Amount (PITA): Predicting Relative Ingredient Amounts from Food Images

abstract: Increased awareness of the impact of food consumption on health and lifestyle today has given rise to novel data-driven food analysis systems. Although these systems may recognize the ingredients, a detailed analysis of their amounts in the meal, which is paramount for estimating the correct nutrition, is usually ignored. In this paper, we study the novel and challenging problem of predicting the relative amount of each ingredient from a food image. We propose PITA, the Picture-to-Amount deep learning architecture to solve the problem. More specifically, we predict the ingredient amounts using a domain-driven Wasserstein loss from image-to-recipe cross-modal embeddings learned to align the two views of food data. Experiments on a dataset of recipes collected from the Internet show the model generates promising results and improves the baselines on this challenging task. A demo of our system and our data is availableat: foodai.cs.rutgers.edu.


title: Incorporate Semantic Structures into Machine Translation Evaluation via UCCA

abstract: Copying mechanism has been commonly used in neural paraphrasing networks and other text generation tasks, in which some important words in the input sequence are preserved in the output sequence. Similarly, in machine translation, we notice that there are certain words or phrases appearing in all good translations of one source text, and these words tend to convey important semantic information. Therefore, in this work, we define words carrying important semantic meanings in sentences as semantic core words. Moreover, we propose an MT evaluation approach named Semantically Weighted Sentence Similarity (SWSS). It leverages the power of UCCA to identify semantic core words, and then calculates sentence similarity scores on the overlap of semantic core words. Experimental results show that SWSS can consistently improve the performance of popular MT evaluation metrics which are based on lexical similarity.


title: Ensemble Kalman Variational Objectives: Nonlinear Latent Trajectory Inference with A Hybrid of Variational Inference and Ensemble Kalman Filter

abstract: Variational inference (VI) combined with Bayesian nonlinear filtering produces state-of-the-art results for latent time-series modeling. A body of recent work has focused on sequential Monte Carlo (SMC) and its variants, e.g., forward filtering backward simulation (FFBSi). Although these studies have succeeded, serious problems remain in particle degeneracy and biased gradient estimators. In this paper, we propose Ensemble Kalman Variational Objective (EnKO), a hybrid method of VI and the ensemble Kalman filter (EnKF), to infer state space models (SSMs). Our proposed method can efficiently identify latent dynamics because of its particle diversity and unbiased gradient estimators. We demonstrate that our EnKO outperforms SMC-based methods in terms of predictive ability and particle efficiency for three benchmark nonlinear system identification tasks.


title: Secure Weighted Aggregation for Federated Learning

abstract: The pervasive adoption of Internet-connected digital services has led to a growing concern in the personal data privacy of their customers. On the other hand, machine learning (ML) techniques have been widely adopted by digital service providers to improve operational productivity and customer satisfaction. ML inevitably accesses and processes users' personal data, which could potentially breach the relevant privacy protection regulations if not performed carefully. The situation is exacerbated by the cloud-based implementation of digital services when user data are captured and stored in distributed locations, hence aggregation of the user data for ML could be a serious breach of privacy regulations. In this backdrop, Federated Learning (FL) is an emerging area that allows ML on distributed data without the data leaving their stored location. However, depending on the nature of the digital services, data captured at different locations may carry different significance to the business operation, hence a weighted aggregation will be highly desirable for enhancing the quality of the FL-learned model. Furthermore, to prevent leakage of user data from the aggregated gradients, cryptographic mechanisms are needed to allow secure aggregation of FL. In this paper, we propose a privacy-enhanced FL scheme for supporting secure weighted aggregation. Besides, by devising a verification protocol based on Zero-Knowledge Proof (ZKP), the proposed scheme is capable of guarding against fraudulent messages from FL participants. Experimental results show that our scheme is practical and secure. Compared to existing FL approaches, our scheme achieves secure weighted aggregation with an additional security guarantee against fraudulent messages with an affordable 1.2 times runtime overheads and 1.3 times communication costs.


title: Ferromagnetic Gyroscopes for Tests of Fundamental Physics

abstract: A ferromagnetic gyroscope (FG) is a ferromagnet whose angular momentum is dominated by electron spin polarization and that will precess under the action of an external torque, such as that due to a magnetic field. Here we model and analyze FG dynamics and sensitivity, focusing on practical schemes for experimental realization. In the case of a freely floating FG, we model the transition from dynamics dominated by libration in relatively high externally applied magnetic fields, to those dominated by precession at relatively low applied fields. Measurement of the libration frequency enables in situ measurement of the magnetic field and a technique to reduce the field below the threshold for which precession dominates the FG dynamics. We note that evidence of gyroscopic behavior is present even at magnetic fields much larger than the threshold field below which precession dominates. We also model the dynamics of an FG levitated above a type-I superconductor via the Meissner effect, and find that for FGs with dimensions larger than about 100 nm the observed precession frequency is reduced compared to that of a freely floating FG. This is akin to negative feedback that arises from the distortion of the field from the FG by the superconductor. Finally we assess the sensitivity of an FG levitated above a type-I superconductor to exotic spin-dependent interactions under practical experimental conditions, demonstrating the potential of FGs for tests of fundamental physics.

categories: quant-ph cond-mat.mes-hall physics.app-ph physics.atom-ph


title: OGLE-2018-BLG-0799Lb: a $q \sim 2.7 \times 10^{-3}$ Planet with Spitzer Parallax

abstract: We report the discovery and analysis of a planet in the microlensing event OGLE-2018-BLG-0799. The planetary signal was observed by several ground-based telescopes, and the planet-host mass ratio is $q = (2.65 \pm 0.16) \times 10^{-3}$. The ground-based observations yield a constraint on the angular Einstein radius $\theta_{\rm E}$, and the microlensing parallax vector $\vec{\pi}_{\rm E}$, is strongly constrained by the Spitzer data. However, the 2019 Spitzer baseline data reveal systematics in the Spitzer photometry, so there is ambiguity in the magnitude of the parallax. In our preferred interpretation, a full Bayesian analysis using a Galactic model indicates that the planetary system is composed of an $M_{\rm planet} = 0.26_{-0.11}^{+0.22}~M_{J}$ planet orbiting an $M_{\rm host} = 0.093_{-0.038}^{+0.082}~M_{\odot}$, at a distance of $D_{\rm L} = 3.71_{-1.70}^{+3.24}$ kpc. An alternate interpretation of the data shifts the localization of the minima along the arc-shaped microlens parallax constraints. This, in turn, yields a more massive host with median mass of $0.13 {M_{\odot}}$ at a distance of 6.3 kpc. This analysis demonstrates the robustness of the osculating circles formalism, but shows that further investigation is needed to assess how systematics affect the specific localization of the microlens parallax vector and, consequently, the inferred physical parameters.


title: Source term method for binary neutron stars initial data

abstract: The initial condition problem for a binary neutron star system requires a Poisson equation solver for the velocity potential with a Neumann-like boundary condition on the surface of the star. Difficulties that arise in this boundary value problem are: a) the boundary is not known a-priori, but constitutes part of the solution of the problem; b) various terms become singular at the boundary. In this work, we present a new method to solve the fluid Poisson equation for irrotational/spinning binary neutron stars. The advantage of the new method is that it does not require complex fluid surface fitted coordinates and it can be implemented in a Cartesian grid, which is a standard choice in numerical relativity calculations. This is accomplished by employing the source term method proposed by Towers, where the boundary condition is treated as a jump condition and is incorporated as additional source terms in the Poisson equation, which is then solved iteratively. The issue of singular terms caused by vanishing density on the surface is resolved with an additional separation that shifts the computation boundary to the interior of the star. We present two-dimensional tests to show the convergence of the source term method, and we further apply this solver to a realistic three-dimensional binary neutron star problem. By comparing our solution with the one coming from the initial data solver COCAL, we demonstrate agreement to approximately $1\%$. Our method can be used in other problems with non-smooth solutions like in magnetized neutron stars.


title: Algebraic Methods in Difference Sets and Bent Functions

abstract: We provide some applications of a polynomial criterion for difference sets. These include counting the difference sets with specified parameters in terms of Hilbert functions, in particular a count of bent functions. We also consider the question about the bentness of certain Boolean functions introduced by Carlet when the $\mathcal{C}$-condition introduced by him doesn't hold.


title: Real-time High-Quality Rendering of Non-Rotating Black Holes

abstract: We propose a real-time method to render high-quality images of a non-rotating black hole with an accretion disc and background stars. Our method is based on beam tracing, but uses precomputed tables to find the intersections of each curved light beam with the scene in constant time per pixel. It also uses a specific texture filtering scheme to integrate the contribution of the light sources to each beam. Our method is simple to implement and achieves high frame rates.


title: Proofs of Ibukiyama's conjectures on Siegel modular forms of half-integral weight and of degree 2

abstract: We prove Ibukiyama's conjectures on Siegel modular forms of half-integral weight and of degree 2 by using Arthur's multiplicity formula on the split odd special orthogonal group $\SO_5$ and Gan-Ichino's multiplicity formula on the metaplectic group $\Mp_4$. In the proof, the representation theory of the Jacobi groups also plays an important role.


title: Audio-based Near-Duplicate Video Retrieval with Audio Similarity Learning

abstract: In this work, we address the problem of audio-based near-duplicate video retrieval. We propose the Audio Similarity Learning (AuSiL) approach that effectively captures temporal patterns of audio similarity between video pairs. For the robust similarity calculation between two videos, we first extract representative audio-based video descriptors by leveraging transfer learning based on a Convolutional Neural Network (CNN) trained on a large scale dataset of audio events, and then we calculate the similarity matrix derived from the pairwise similarity of these descriptors. The similarity matrix is subsequently fed to a CNN network that captures the temporal structures existing within its content. We train our network following a triplet generation process and optimizing the triplet loss function. To evaluate the effectiveness of the proposed approach, we have manually annotated two publicly available video datasets based on the audio duplicity between their videos. The proposed approach achieves very competitive results compared to three state-of-the-art methods. Also, unlike the competing methods, it is very robust to the retrieval of audio duplicates generated with speed transformations.


title: RiSAWOZ: A Large-Scale Multi-Domain Wizard-of-Oz Dataset with Rich Semantic Annotations for Task-Oriented Dialogue Modeling

abstract: In order to alleviate the shortage of multi-domain data and to capture discourse phenomena for task-oriented dialogue modeling, we propose RiSAWOZ, a large-scale multi-domain Chinese Wizard-of-Oz dataset with Rich Semantic Annotations. RiSAWOZ contains 11.2K human-to-human (H2H) multi-turn semantically annotated dialogues, with more than 150K utterances spanning over 12 domains, which is larger than all previous annotated H2H conversational datasets. Both single- and multi-domain dialogues are constructed, accounting for 65% and 35%, respectively. Each dialogue is labeled with comprehensive dialogue annotations, including dialogue goal in the form of natural language description, domain, dialogue states and acts at both the user and system side. In addition to traditional dialogue annotations, we especially provide linguistic annotations on discourse phenomena, e.g., ellipsis and coreference, in dialogues, which are useful for dialogue coreference and ellipsis resolution tasks. Apart from the fully annotated dataset, we also present a detailed description of the data collection procedure, statistics and analysis of the dataset. A series of benchmark models and results are reported, including natural language understanding (intent detection & slot filling), dialogue state tracking and dialogue context-to-text generation, as well as coreference and ellipsis resolution, which facilitate the baseline comparison for future research on this corpus.


title: Phase Diagram and Snap-Off Transition for a Twisted Party Balloon

abstract: All children enjoy inflating balloons and twisting them into different shapes and animals. Snapping the balloon into two separate compartments is a necessary step that bears resemblance to the pinch-off phenomenon for water droplet detached from the faucet. In addition to testing whether balloons exhibit the properties of self-similarity and memory effect that are often associated with the latter event, we determine their phase diagram by experiments. It turns out that a common party balloon does not just snap. They in fact can assume five more shapes, i.e., straight, necking, wrinkled, helix, and supercoil, depending on the twist angle and ratio of its length and diameter. Moreover, history also matters due to their prominent hysteresis. One may shift the phase boundary or/and reshuffle the phases by untwisting or lengthening the balloon at different twist angle and initial length. Heuristic models are provided to obtain analytic expressions for the phase boundaries.


title: Inverse Design of Non-Equilibrium Steady-States: A Large Deviation Approach

abstract: The design of small scale non-equilibrium steady states (NESS) is a challenging, open ended question. While similar equilibrium problems are tractable using standard thermodynamics, a generalized description for non-equilibrium systems is lacking, making the design problem particularly difficult. Here we show we can exploit the large deviation behavior of a Brownian particle and design a variety of geometrically complex steady-state density distributions and flux field flows. We achieve this design target from direct knowledge of the joint large deviation functional for the empirical density and flow, and a "relaxation" algorithm on the desired target states via adjustable force field parameters. We validate the method by replicating analytical results, and demonstrate its capacity to yield complex prescribed targets, such as rose-curve or polygonal shapes on the plane. We consider this dynamical fluctuation approach a first step towards the design of more complex NESS where general frameworks are otherwise still lacking.


title: Stage Lookup: Accelerating Path Lookup using Directory Shortcuts

abstract: The lookup procedure in Linux costs a significant portion of file accessing time as the virtual file system (VFS) traverses the file path components one after another. The lookup procedure becomes more time consuming when applications frequently access files, especially those with small sizes. We propose Stage Lookup, which dynamically caches popular directories to speed up lookup procedures and further reduce file accessing latency. The core of Stage Lookup is to cache popular dentries as shortcuts, so that path walks do not bother to traverse directory trees from the root. Furthermore, Stage Lookup enriches backward path walks as it treats the directory tree in a VFS as an undirected map. We implement a Stage Lookup prototype and integrate it into Linux Kernel v3.14. Our extensive performance evaluation studies show that Stage Lookup offers up to 46.9% performance gain compared to ordinary path lookup schemes. Furthermore, Stage Lookup shows smaller performance overheads in rename and chmod operations compared to the original method of the kernel.


title: Reconstruction of moments of particle distributions with Identity Method at MPD

abstract: Precise determination of the moments of multiplicity distributions of identified particles could be challenging due to the misidentification in detectors. The so-called Identity Method allows one to solve this problem. In this contribution, performance of the Identity Method was tested on the A-A events simulated in the conditions of the MPD experiment at NICA. With this method, moments within a single kinematic window as well as coefficients of forward-backward pseudorapidity correlations are extracted.


title: Drink Bleach or Do What Now? Covid-HeRA: A Study of Risk-Informed Health Decision Making in the Presence of COVID-19 Misinformation

abstract: Given the widespread dissemination of inaccurate medical advice related to the 2019 coronavirus pandemic (COVID-19), such as fake remedies, treatments and prevention suggestions, misinformation detection has emerged as an open problem of high importance and interest for the research community. Several works study health misinformation detection, yet little attention has been given to the perceived severity of misinformation posts. In this work, we frame health misinformation as a risk assessment task. More specifically, we study the severity of each misinformation story and how readers perceive this severity, i.e., how harmful a message believed by the audience can be and what type of signals can be used to recognize potentially malicious fake news and detect refuted claims. To address our research questions, we introduce a new benchmark dataset, accompanied by detailed data analysis. We evaluate several traditional and state-of-the-art models and show there is a significant gap in performance when applying traditional misinformation classification models to this task. We conclude with open challenges and future directions.


title: Generating Large Convex Polytopes Directly on Point Clouds

abstract: In this paper, we present a method to efficiently generate large, free, and guaranteed convex space among arbitrarily cluttered obstacles. Our method operates directly on point clouds, avoids expensive calculations, and processes thousands of points within a few milliseconds, which extremely suits embedded platforms. The base stone of our method is sphere flipping, a one-one invertible nonlinear transformation, which maps a set of unordered points to a nonlinear space. With these wrapped points, we obtain a collision-free star convex polytope. Then, utilizing the star convexity, we efficiently modify the polytope to convex and guarantee its free of obstacles. Extensive quantitative evaluations show that our method significantly outperforms state-of-the-art works in efficiency. We also present practical applications with our method in 3D, including large-scale deformable topological mapping and quadrotor optimal trajectory planning, to validate its capability and efficiency. The source code of our method will be released for the reference of the community.


title: Tuning spin excitations in magnetic films by confinement

abstract: Spin excitations of magnetic thin films are the founding element for novel transport concepts in spintronics, magnonics, and magnetic devices in general. While spin dynamics have been extensively studied in bulk materials, their behaviour in mesoscopic films is less known due to experimental limitations. Here, we employ Resonant Inelastic X-Ray Scattering to investigate the spin excitation spectrum in mesoscopic Fe films, from bulk-like down to 3 unit cells thick. In bulk-like samples, we find isotropic, dispersive ferromagnons consistent with the dispersion observed by neutron scattering in bulk single crystals. As the thickness is reduced, these ferromagnons survive and evolve anisotropically: renormalising to lower energies along the out-of-plane direction while retaining their dispersion in the in-plane direction. This thickness dependence is captured by simple Heisenberg model calculations accounting for the confinement in the out-of-plane direction through the loss of Fe bonds. Our findings highlight the effects of mesoscopic scaling on spin dynamics and identify thickness as a knob for fine-tuning and controlling magnetic properties in films.

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


title: Numerical approximation of the averaged controllability for the wave equation with unknown velocity of propagation

abstract: We propose a numerical method to approximate the exact averaged boundary control of a family of wave equations depending on an unknown parameter sigma. More precisely the control, independent of sigma, that drives an initial data to a family of final states at time t = T, whose average in sigma is given. The idea is to project the control problem in the finite dimensional space generated by the first N eigenfunctions of the Laplace operator. The resulting discrete control problem has solution whenever the continuous one has it, and we give a convergence result of the discrete controls to the continuous one. The method is illustrated with several examples in 1-d and 2-d in a square domain.


title: Non-uniform dependence for the two-component Camassa-Holm shallow water system

abstract: In this paper, we consider the solution map of the initial value problem to the two-component Camassa-Holm equation on the line. We prove that the solution map of this problem is not uniformly continuous in Sobolev spaces $H^s(\R)\times H^{s-1}(\R)$ for $s>3/2$.


title: New constraints on the 1.4 GHz source number counts and luminosity functions in the Lockman Hole field

abstract: We present a study of the 1173 sources brighter than $S_{1.4\,\rm GHz}= 120\,\mu$Jy detected over an area of $\simeq 1.4\,\hbox{deg}^{2}$ in the Lockman Hole field. Exploiting the multi-band information available in this field for $\sim$79% of the sample, sources have been classified into radio loud (RL) active galactic nuclei (AGNs), star forming galaxies (SFGs) and radio quiet (RQ) AGNs, using a variety of diagnostics available in the literature. Exploiting the observed tight anti-correlations between IRAC band 1 or band 2 and the source redshift we could assign a redshift to 177 sources missing a spectroscopic measurement or a reliable photometric estimate. A Monte Carlo approach was used to take into account the spread around the mean relation. The derived differential number counts and luminosity functions at several redshifts of each population show a good consistency with models and with earlier estimates made using data from different surveys and applying different approaches. Our results confirm that below $\sim300\,\mu$Jy SFGs$+$RQ AGNs overtake RL AGNs that dominate at brighter flux densities. We also confirm earlier indications of a similar evolution of RQ AGNs and SFGs. Finally, we discuss the angular correlation function of our sources and highlight its sensitivity to the criteria used for the classification.


title: Search for double beta decay of $^{106}$Cd with an enriched $^{106}$CdWO$_4$ crystal scintillator in coincidence with CdWO$_4$ scintillation counters

abstract: Studies on double beta decay processes in $^{106}$Cd were performed by using a cadmium tungstate scintillator enriched in $^{106}$Cd at 66% ($^{106}$CdWO$_4$) with two CdWO$_4$ scintillation counters (with natural Cd composition). No effect was observed in the data accumulated over 26033 h. New improved half-life limits were set on the different channels and modes of the $^{106}$Cd double beta decay at level of $\lim T_{1/2}\sim 10^{20}-10^{22}$ yr. The limit for the two neutrino electron capture with positron emission in $^{106}$Cd to the ground state of $^{106}$Pd, $T^{2\nu\mathrm{EC}\beta^+}_{1/2}\geq2.1\times 10^{21}$ yr, was set by the analysis of the $^{106}$CdWO$_4$ data in coincidence with the energy release 511 keV in both CdWO$_4$ counters. The sensitivity approaches the theoretical predictions for the decay half-life that are in the range $T_{1/2}\sim10^{21}-10^{22}$ yr. The resonant neutrinoless double-electron capture to the 2718 keV excited state of $^{106}$Pd is restricted at the level of $T^{0\nu\mathrm{2K}}_{1/2}\geq2.9\times10^{21}$ yr


title: Self-Selective Context for Interaction Recognition

abstract: Human-object interaction recognition aims for identifying the relationship between a human subject and an object. Researchers incorporate global scene context into the early layers of deep Convolutional Neural Networks as a solution. They report a significant increase in the performance since generally interactions are correlated with the scene (\ie riding bicycle on the city street). However, this approach leads to the following problems. It increases the network size in the early layers, therefore not efficient. It leads to noisy filter responses when the scene is irrelevant, therefore not accurate. It only leverages scene context whereas human-object interactions offer a multitude of contexts, therefore incomplete. To circumvent these issues, in this work, we propose Self-Selective Context (SSC). SSC operates on the joint appearance of human-objects and context to bring the most discriminative context(s) into play for recognition. We devise novel contextual features that model the locality of human-object interactions and show that SSC can seamlessly integrate with the State-of-the-art interaction recognition models. Our experiments show that SSC leads to an important increase in interaction recognition performance, while using much fewer parameters.


title: End-to-End Learning for Simultaneously Generating Decision Map and Multi-Focus Image Fusion Result

abstract: The general aim of multi-focus image fusion is to gather focused regions of different images to generate a unique all-in-focus fused image. Deep learning based methods become the mainstream of image fusion by virtue of its powerful feature representation ability. However, most of the existing deep learning structures failed to balance fusion quality and end-to-end implementation convenience. End-to-end decoder design often leads to unrealistic result because of its non-linear mapping mechanism. On the other hand, generating an intermediate decision map achieves better quality for the fused image, but relies on the rectification with empirical post-processing parameter choices. In this work, to handle the requirements of both output image quality and comprehensive simplicity of structure implementation, we propose a cascade network to simultaneously generate decision map and fused result with an end-to-end training procedure. It avoids the dependence on empirical post-processing methods in the inference stage. To improve the fusion quality, we introduce a gradient aware loss function to preserve gradient information in output fused image. In addition, we design a decision calibration strategy to decrease the time consumption in the application of multiple images fusion. Extensive experiments are conducted to compare with 19 different state-of-the-art multi-focus image fusion structures with 6 assessment metrics. The results prove that our designed structure can generally ameliorate the output fused image quality, while implementation efficiency increases over 30\% for multiple images fusion.


title: On decay of entropy solutions to multidimensional conservation laws in the case of perturbed periodic initial data

abstract: Under a precise genuine nonlinearity assumption we establish the decay of entropy solutions of a multidimensional scalar conservation law with merely continuous flux and with initial data being a sum of periodic function and a function vanishing at infinity (in the sense of measure).


title: Random attractors for 2D and 3D stochastic convective Brinkman-Forchheimer equations in some unbounded domains

abstract: In this work, we consider the two and three-dimensional stochastic convective Brinkman-Forchheimer (2D and 3D SCBF) equations driven by irregular additive white noise $$\mathrm{d}\boldsymbol{u}-[\mu \Delta\boldsymbol{u}-(\boldsymbol{u}\cdot\nabla)\boldsymbol{u}-\alpha\boldsymbol{u}-\beta|\boldsymbol{u}|^{r-1}\boldsymbol{u}-\nabla p]\mathrm{d} t=\boldsymbol{f}\mathrm{d} t+\mathrm{d}\mathrm{W},\ \nabla\cdot\boldsymbol{u}=0,$$ for $r\in[1,\infty),$ $\mu,\alpha,\beta>0$ in unbounded domains (like Poincar\'e domains) $\mathcal{O}\subset\mathbb{R}^d$ ($d=2,3$) where $\mathrm{W}(\cdot)$ is a Hilbert space valued Wiener process on some given filtered probability space, and discuss the asymptotic behavior of its solution. For $d=2$ with $r\in[1,\infty)$ and $d=3$ with $r\in[3,\infty)$ (for $d=r=3$ with $2\beta\mu\geq 1$), we first prove the existence and uniqueness of a weak solution (in the analytic sense) satisfying the energy equality for SCBF equations driven by an irregular additive white noise in Poincar\'e domains by using a Faedo-Galerkin approximation technique. Since the energy equality for SCBF equations is not immediate, we construct a sequence which converges in Lebesgue and Sobolev spaces simultaneously and it helps us to demonstrate the energy equality. Then, we establish the existence of random attractors for the stochastic flow generated by the SCBF equations. One of the technical difficulties connected with the irregular white noise is overcome with the help of the corresponding Cameron-Martin space (or Reproducing Kernel Hilbert space). Finally, we address the existence of a unique invariant measure for 2D and 3D SCBF equations defined on Poincar\'e domains (bounded or unbounded). Moreover, we provide a remark on the extension of the above mentioned results to general unbounded domains also.


title: A distance determination to the Small Magellanic Cloud with an accuracy of better than 2 percent based on late-type eclipsing binary stars

abstract: We present a new study of late-type eclipsing binary stars in the Small Magellanic Cloud (SMC) undertaken with the aim of improving the distance determination to this important galaxy. A sample of 10 new detached, double-lined eclipsing binaries indentified from the OGLE variable star catalogues and consisting of F- and G-type giant components has been analysed. The absolute physical parameters of the individual components have been measured with a typical accuracy of better than 3%. All but one of the systems consist of young and intermediate population stars with masses in the range of 1.4 to 3.8 M_Sun. This new sample has been combined with five SMC eclipsing binaries previously published by our team. Distances to the binary systems were calculated using a surface brightness - color calibration. The targets form an elongated structure, highly inclined to the plane of the sky. The distance difference between the nearest and most-distant system amounts to 10 kpc with the line of sight depth reaching 7 kpc. We find tentative evidence of the existence of a spherical stellar sub-structure (core) in the SMC coinciding with its stellar center, containing about 40% of the young and intermediate age stars in the galaxy. The radial extension of this sub-structure is ~1.5 kpc. We derive a distance to the SMC center of D_SMC=62.44 +/- 0.47 (stat.) +/- 0.81 (syst.) kpc corresponding to a distance modulus (m-M)_SMC=18.977 +/- 0.016 +/- 0.028 mag, representing an accuracy of better than 2%.


title: Variational Dynamic for Self-Supervised Exploration in Deep Reinforcement Learning

abstract: Efficient exploration remains a challenging problem in reinforcement learning, especially for tasks where extrinsic rewards from environments are sparse or even totally disregarded. Significant advances based on intrinsic motivation show promising results in simple environments but often get stuck in environments with multimodal and stochastic dynamics. In this work, we propose a variational dynamic model based on the conditional variational inference to model the multimodality and stochasticity. We consider the environmental state-action transition as a conditional generative process by generating the next-state prediction under the condition of the current state, action, and latent variable, which provides a better understanding of the dynamics and leads a better performance in exploration. We derive an upper bound of the negative log-likelihood of the environmental transition and use such an upper bound as the intrinsic reward for exploration, which allows the agent to learn skills by self-supervised exploration without observing extrinsic rewards. We evaluate the proposed method on several image-based simulation tasks and a real robotic manipulating task. Our method outperforms several state-of-the-art environment model-based exploration approaches.


title: CUSATNLP@HASOC-Dravidian-CodeMix-FIRE2020:Identifying Offensive Language from ManglishTweets

abstract: With the popularity of social media, communications through blogs, Facebook, Twitter, and other plat-forms have increased. Initially, English was the only medium of communication. Fortunately, now we can communicate in any language. It has led to people using English and their own native or mother tongue language in a mixed form. Sometimes, comments in other languages have English transliterated format or other cases; people use the intended language scripts. Identifying sentiments and offensive content from such code mixed tweets is a necessary task in these times. We present a working model submitted for Task2 of the sub-track HASOC Offensive Language Identification- DravidianCodeMix in Forum for Information Retrieval Evaluation, 2020. It is a message level classification task. An embedding model-based classifier identifies offensive and not offensive comments in our approach. We applied this method in the Manglish dataset provided along with the sub-track.


title: A Weak-Form Combined Source Integral Equation with Explicit Inversion of the Combined-Source Condition

abstract: The combined source integral equation (CSIE) for the electric field on the surface of a perfect electrically conducting scatterer can be discretized very accurately with lowest-order Rao-Wilton-Glisson basis and testing functions if the combined-source (CS) condition is enforced in weak form. We introduce a technique to accelerate the iterative solution for this kind of CSIE. It is demonstrated that the iterative solution of the equation system can be performed very efficiently by explicitly inverting the weak-form CS condition in any evaluation of the forward operator. This reduces the number of unknowns and results in improved convergence behavior at negligible, linear cost. Numerical results demonstrate that the new CSIE outperforms the classical CFIE for high-accuracy simulations.


title: Weak-basis invariants and CP conservation in the leptonic sector with Majorana neutrinos

abstract: In this talk, we present a recent investigation of the sufficient and necessary conditions for CP conservation in the leptonic sector with massive Majorana neutrinos in terms of CP-odd weak-basis invariants. The number of weak-basis invariants to guarantee CP conservation in the leptonic sector is clarified and a new set of invariants are advocated for the description of CP conservation, given the physical parameters in their experimentally allowed regions.


title: Signatures of a critical point in the many-body localization transition

abstract: Disordered interacting spin chains that undergo a many-body localization transition are characterized by two limiting behaviors where the dynamics are chaotic and integrable. However, the transition region between them is not fully understood yet. We propose here a possible finite-size precursor of a critical point that shows a typical finite-size scaling and distinguishes between two different dynamical phases. The kurtosis excess of the diagonal fluctuations of the full one-dimensional momentum distribution from its microcanonical average is maximum at this singular point in the paradigmatic disordered $J_1$-$J_2$ model. For system sizes accessible to exact diagonalization, both the position and the size of this maximum scale linearly with the system size. Furthermore, we show that this singular point is found at the same disorder strength at which the Thouless and the Heisenberg energies coincide. Below this point, the spectral statistics follow the universal random matrix behavior up to the Thouless energy. Above it, no traces of chaotic behavior remain, and the spectral statistics are well described by a generalized semi-Poissonian model, eventually leading to the integrable Poissonian behavior. We provide, thus, an integrated scenario for the many-body localization transition, conjecturing that the critical point in the thermodynamic limit, if it exists, should be given by this value of disorder strength.


title: Squashing activation functions in benchmark tests: towards eXplainable Artificial Intelligence using continuous-valued logic

abstract: Over the past few years, deep neural networks have shown excellent results in multiple tasks, however, there is still an increasing need to address the problem of interpretability to improve model transparency, performance, and safety. Achieving eXplainable Artificial Intelligence (XAI) by combining neural networks with continuous logic and multi-criteria decision-making tools is one of the most promising ways to approach this problem: by this combination, the black-box nature of neural models can be reduced. The continuous logic-based neural model uses so-called Squashing activation functions, a parametric family of functions that satisfy natural invariance requirements and contain rectified linear units as a particular case. This work demonstrates the first benchmark tests that measure the performance of Squashing functions in neural networks. Three experiments were carried out to examine their usability and a comparison with the most popular activation functions was made for five different network types. The performance was determined by measuring the accuracy, loss, and time per epoch. These experiments and the conducted benchmarks have proven that the use of Squashing functions is possible and similar in performance to conventional activation functions. Moreover, a further experiment was conducted by implementing nilpotent logical gates to demonstrate how simple classification tasks can be solved successfully and with high performance. The results indicate that due to the embedded nilpotent logical operators and the differentiability of the Squashing function, it is possible to solve classification problems, where other commonly used activation functions fail.


title: $R^2$ corrected AdS$_2$ holography

abstract: We approach the problem of constructing an explicit holographic dictionary for the AdS$_2$/CFT$_1$ correspondence in the context of higher derivative gravitational actions in AdS$_2$ space-times. These actions are obtained by an $S^2$ reduction of four-dimensional ${\cal N}=2$ Wilsonian effective actions with Weyl squared interactions restricted to constant scalar backgrounds. BPS black hole near-horizon space-times fall into this class of backgrounds, and by identifying the boundary operators dual to the bulk fields, we explicitly show how the Wald entropy of the BPS black hole is holographically encoded in the anomalous transformation of the operator dual to a composite bulk field. Additionally, using a 2d/3d lift, we show that the CFT holographically dual to AdS$_2$ is naturally embedded in the chiral half of the CFT$_2$ dual to the AdS$_3$ space-time, and we identify the specific operator in CFT$_1$ that encodes the chiral central charge of the CFT$_2$.


title: Layer-wise Characterization of Latent Information Leakage in Federated Learning

abstract: Training deep neural networks via federated learning allows clients to share, instead of the original data, only the model trained on their data. Prior work has demonstrated that in practice a client's private information, unrelated to the main learning task, can be discovered from the model's gradients, which compromises the promised privacy protection. However, there is still no formal approach for quantifying the leakage of private information via the shared updated model or gradients. In this work, we analyze property inference attacks and define two metrics based on (i) an adaptation of the empirical $\mathcal{V}$-information, and (ii) a sensitivity analysis using Jacobian matrices allowing us to measure changes in the gradients with respect to latent information. We show the applicability of our proposed metrics in localizing private latent information in a layer-wise manner and in two settings where (i) we have or (ii) we do not have knowledge of the attackers' capabilities. We evaluate the proposed metrics for quantifying information leakage on three real-world datasets using three benchmark models.


title: Ligand unbinding mechanisms and kinetics for T4 lysozyme mutants from tauRAMD simulations

abstract: The protein-ligand residence time, tau, influences molecular function in biological networks and has been recognized as an important determinant of drug efficacy. To predict tau, computational methods must overcome the problem that tau often exceeds the timescales accessible to conventional molecular dynamics (MD) simulation. Here, we apply the tau-Random Acceleration Molecular Dynamics (tauRAMD) method to a set of kinetically characterized complexes of T4 lysozyme mutants with engineered binding cavities. tauRAMD yields relative ligand dissociation rates in good accordance with experiments and thereby allows a comprehensive characterization of the ligand egress routes and determinants of tau. Although ligand dissociation by multiple egress routes is observed, we find that egress via the predominant route determines the value of tau. We also find that the presence of metastable states along egress pathways slows down protein-ligand dissociation. These physical insights could be exploited in the rational optimization of the kinetic properties of drug candidates.


title: DE-GAN: A Conditional Generative Adversarial Network for Document Enhancement

abstract: Documents often exhibit various forms of degradation, which make it hard to be read and substantially deteriorate the performance of an OCR system. In this paper, we propose an effective end-to-end framework named Document Enhancement Generative Adversarial Networks (DE-GAN) that uses the conditional GANs (cGANs) to restore severely degraded document images. To the best of our knowledge, this practice has not been studied within the context of generative adversarial deep networks. We demonstrate that, in different tasks (document clean up, binarization, deblurring and watermark removal), DE-GAN can produce an enhanced version of the degraded document with a high quality. In addition, our approach provides consistent improvements compared to state-of-the-art methods over the widely used DIBCO 2013, DIBCO 2017 and H-DIBCO 2018 datasets, proving its ability to restore a degraded document image to its ideal condition. The obtained results on a wide variety of degradation reveal the flexibility of the proposed model to be exploited in other document enhancement problems.


abstract: The surge in the spread of misleading information, lies, propaganda, and false facts, frequently known as fake news, raised questions concerning social media's influence in today's fast-moving democratic society. The widespread and rapid dissemination of fake news cost us in many ways. For example, individual or societal costs by hampering elections integrity, significant economic losses by impacting stock markets, or increases the risk to national security. It is challenging to overcome the spreading of fake news problems in traditional centralized systems. However, Blockchain-- a distributed decentralized technology that ensures data provenance, authenticity, and traceability by providing a transparent, immutable, and verifiable transaction records can help in detecting and contending fake news. This paper proposes a novel hybrid model DeHiDe: Deep Learning-based Hybrid Model to Detect Fake News using Blockchain. The DeHiDe is a blockchain-based framework for legitimate news sharing by filtering out the fake news. It combines the benefit of blockchain with an intelligent deep learning model to reinforce robustness and accuracy in combating fake news's hurdle. It also compares the proposed method to existing state-of-the-art methods. The DeHiDe is expected to outperform state-of-the-art approaches in terms of services, features, and performance.


title: Tight Lower Complexity Bounds for Strongly Convex Finite-Sum Optimization

abstract: Finite-sum optimization plays an important role in the area of machine learning, and hence has triggered a surge of interest in recent years. To address this optimization problem, various randomized incremental gradient methods have been proposed with guaranteed upper and lower complexity bounds for their convergence. Nonetheless, these lower bounds rely on certain conditions: deterministic optimization algorithm, or fixed probability distribution for the selection of component functions. Meanwhile, some lower bounds even do not match the upper bounds of the best known methods in certain cases. To break these limitations, we derive tight lower complexity bounds of randomized incremental gradient methods, including SAG, SAGA, SVRG, and SARAH, for two typical cases of finite-sum optimization. Specifically, our results tightly match the upper complexity of Katyusha or VRADA when each component function is strongly convex and smooth, and tightly match the upper complexity of SDCA without duality and of KatyushaX when the finite-sum function is strongly convex and the component functions are average smooth.


title: Bounds on the running maximum of a random walk with small drift

abstract: We derive a lower bound for the probability that a random walk with i.i.d.\ increments and small negative drift $\mu$ exceeds the value $x>0$ by time $N$. When the moment generating functions are bounded in an interval around the origin, this probability can be bounded below by $1-O(x|\mu| \log N)$. The approach is elementary and does not use strong approximation theorems.


title: ArCOV19-Rumors: Arabic COVID-19 Twitter Dataset for Misinformation Detection

abstract: In this paper we introduce ArCOV19-Rumors, an Arabic COVID-19 Twitter dataset for misinformation detection composed of tweets containing claims from 27th January till the end of April 2020. We collected 138 verified claims, mostly from popular fact-checking websites, and identified 9.4K relevant tweets to those claims. Tweets were manually-annotated by veracity to support research on misinformation detection, which is one of the major problems faced during a pandemic. ArCOV19-Rumors supports two levels of misinformation detection over Twitter: verifying free-text claims (called claim-level verification) and verifying claims expressed in tweets (called tweet-level verification). Our dataset covers, in addition to health, claims related to other topical categories that were influenced by COVID-19, namely, social, politics, sports, entertainment, and religious. Moreover, we present benchmarking results for tweet-level verification on the dataset. We experimented with SOTA models of versatile approaches that either exploit content, user profiles features, temporal features and propagation structure of the conversational threads for tweet verification.


title: A Key-Agreement Protocol Based on Static Parameters and Hash Functions

abstract: Wireless Body Sensor Network (WBSN) is a developing technology with constraints in energy consumption, coverage radius, communication reliability. Also, communications between nodes contain very sensitive personal information in which sometimes due to the presence of hostile environments, there are a wide range of security risks. As such, designing authenticated key agreement (AKA) protocols is an important challenge in these networks. Recently, Li et al. proposed a lightweight scheme using the hash and XOR functions which is much more efficient compared with similar schemes based on elliptic curve. However, the investigations revealed that the claim concerning the unlinkability between the sessions of a sensor node is NOT true. The present paper considers the security issues of the scheme proposed by Li et al. and some of its new extensions in order to propose a new AKA scheme with anonymity and unlinkability of the sensor node sessions. The results of theoretical analysis compared with similar schemes indicate that the proposed scheme reduces average energy consumption and average computation time by 61 percent while reduces the average communication cost by 41 percent. Further, it has been shown by formal and informal analysis that, Besides the two anonymity and unlinkability features, the other main features of the security in the proposed scheme are comparable and similar to the recent similar schemes.


title: Studying the Similarity of COVID-19 Sounds based on Correlation Analysis of MFCC

abstract: Recently there has been a formidable work which has been put up from the people who are working in the frontlines such as hospitals, clinics, and labs alongside researchers and scientists who are also putting tremendous efforts in the fight against COVID-19 pandemic. Due to the preposterous spread of the virus, the integration of the artificial intelligence has taken a considerable part in the health sector, by implementing the fundamentals of Automatic Speech Recognition (ASR) and deep learning algorithms. In this paper, we illustrate the importance of speech signal processing in the extraction of the Mel-Frequency Cepstral Coefficients (MFCCs) of the COVID-19 and non-COVID-19 samples and find their relationship using Pearson correlation coefficients. Our results show high similarity in MFCCs between different COVID-19 cough and breathing sounds, while MFCC of voice is more robust between COVID-19 and non-COVID-19 samples. Moreover, our results are preliminary, and there is a possibility to exclude the voices of COVID-19 patients from further processing in diagnosing the disease.


title: A Model of Choice with Minimal Compromise

abstract: I formulate and characterize the following two-stage choice behavior. The decision maker is endowed with two preferences. She shortlists all maximal alternatives according to the first preference. If the first preference is decisive, in the sense that it shortlists a unique alternative, then that alternative is the choice. If multiple alternatives are shortlisted, then, in a second stage, the second preference vetoes its minimal alternative in the shortlist, and the remaining members of the shortlist form the choice set. Only the final choice set is observable. I assume that the first preference is a weak order and the second is a linear order. Hence the shortlist is fully rationalizable but one of its members can drop out in the second stage, leading to bounded rational behavior. Given the asymmetric roles played by the underlying binary relations, the consequent behavior exhibits a minimal compromise between two preferences. To our knowledge it is the first Choice function that satisfies Sen's $\beta$ axiom of choice,but not $\alpha$.


title: An Inexact Augmented Lagrangian Method for Second-order Cone Programming with Applications

abstract: In this paper, we adopt the augmented Lagrangian method (ALM) to solve convex quadratic second-order cone programming problems (SOCPs). Fruitful results on the efficiency of the ALM have been established in the literature. Recently, it has been shown in [Cui, Sun, and Toh, {\em Math. Program.}, 178 (2019), pp. 381--415] that if the quadratic growth condition holds at an optimal solution for the dual problem, then the KKT residual converges to zero R-superlinearly when the ALM is applied to the primal problem. Moreover, Cui, Ding, and Zhao [{\em SIAM J. Optim.}, 27 (2017), pp. 2332-2355] provided sufficient conditions for the quadratic growth condition to hold under the metric subregularity and bounded linear regularity conditions for solving composite matrix optimization problems involving spectral functions. Here, we adopt these recent ideas to analyze the convergence properties of the ALM when applied to SOCPs. To the best of our knowledge, no similar work has been done for SOCPs so far. In our paper, we first provide sufficient conditions to ensure the quadratic growth condition for SOCPs. With these elegant theoretical guarantees, we then design an SOCP solver and apply it to solve various classes of SOCPs, such as minimal enclosing ball problems, classical trust-region subproblems, square-root Lasso problems, and DIMACS Challenge problems. Numerical results show that the proposed ALM based solver is efficient and robust compared to the existing highly developed solvers, such as Mosek and SDPT3.


title: Mechanics of two filaments in tight contact: The orthogonal clasp

abstract: Networks of flexible filaments often involve regions of tight contact. Predictively understanding the equilibrium configurations of these systems is challenging due to intricate couplings between topology, geometry, large nonlinear deformations, and friction. Here, we perform an in-depth study of a simple yet canonical problem that captures the essence of contact between filaments. In the orthogonal clasp, two filaments are brought into contact, with each centerline lying in one of a pair of orthogonal planes. Our data from X-ray tomography (micro-CT) and mechanical testing experiments are in excellent agreement with the finite element method (FEM) simulations. Despite the apparent simplicity of the physical system, the data exhibits strikingly unintuitive behavior, even when the contact is frictionless. Specifically, we observe a curvilinear diamond-shaped ridge in the contact pressure field between the two filaments, sometimes with an inner gap. When a relative displacement is imposed between the filaments, friction is activated, and a highly asymmetric pressure field develops. These findings contrast to the classic capstan analysis of a single filament wrapped around a rigid body. Both the micro-CT and the FEM data indicate that the cross-sections of the filaments can deform significantly. Nonetheless, an idealized geometrical theory assuming undeformable tube cross-sections and neglecting elasticity rationalizes our observations qualitatively and highlights the central role of the small but finite tube radius of the filaments. We believe that our orthogonal clasp analysis provides a building block for future modeling efforts in frictional contact mechanics of more complex filamentary structures.


title: The role of interactive super-computing in using HPC for urgent decision making

abstract: Technological advances are creating exciting new opportunities that have the potential to move HPC well beyond traditional computational workloads. In this paper we focus on the potential for HPC to be instrumental in responding to disasters such as wildfires, hurricanes, extreme flooding, earthquakes, tsunamis, winter weather conditions, and accidents. Driven by the VESTEC EU funded H2020 project, our research looks to prove HPC as a tool not only capable of simulating disasters once they have happened, but also one which is able to operate in a responsive mode, supporting disaster response teams making urgent decisions in real-time. Whilst this has the potential to revolutionise disaster response, it requires the ability to drive HPC interactively, both from the user's perspective and also based upon the arrival of data. As such interactivity is a critical component in enabling HPC to be exploited in the role of supporting disaster response teams so that urgent decision makers can make the correct decision first time, every time.