title: Tate Resolutions and Maximal Cohen-Macaulay Approximations

abstract: We study the Tate resolutions and the maximal Cohen-Macaulay approximations of Cohen-Macaulay modules over Gorenstein rings. One consequence is an extension of a well-known result about linkage of complete intersections.


title: Amortized Bethe Free Energy Minimization for Learning MRFs

abstract: We propose to learn deep undirected graphical models (i.e., MRFs) with a non-ELBO objective for which we can calculate exact gradients. In particular, we optimize a saddle-point objective deriving from the Bethe free energy approximation to the partition function. Unlike much recent work in approximate inference, the derived objective requires no sampling, and can be efficiently computed even for very expressive MRFs. We furthermore amortize this optimization with trained inference networks. Experimentally, we find that the proposed approach compares favorably with loopy belief propagation, but is faster, and it allows for attaining better held out log likelihood than other recent approximate inference schemes.


title: Clifford Gate Optimisation and T Gate Scheduling: Using Queueing Models for Topological Assemblies

abstract: Clifford gates play a role in the optimisation of Clifford+T circuits. Reducing the count and the depth of Clifford gates, as well as the optimal scheduling of T gates, influence the hardware and the time costs of executing quantum circuits. This work focuses on circuits protected by the surface quantum error-correcting code. The result of compiling a quantum circuit for the surface code is called a topological assembly. We use queuing theory to model a part of the compiled assemblies, evaluate the models, and make the empiric observation that at least for certain Clifford+T circuits (e.g. adders), the assembly's execution time does not increase when the available hardware is restricted. This is an interesting property, because it shows that T gate scheduling and Clifford gate optimisation have the potential to save both hardware and execution time.


title: "My Way of Telling a Story": Persona based Grounded Story Generation

abstract: Visual storytelling is the task of generating stories based on a sequence of images. Inspired by the recent works in neural generation focusing on controlling the form of text, this paper explores the idea of generating these stories in different personas. However, one of the main challenges of performing this task is the lack of a dataset of visual stories in different personas. Having said that, there are independent datasets for both visual storytelling and annotated sentences for various persona. In this paper we describe an approach to overcome this by getting labelled persona data from a different task and leveraging those annotations to perform persona based story generation. We inspect various ways of incorporating personality in both the encoder and the decoder representations to steer the generation in the target direction. To this end, we propose five models which are incremental extensions to the baseline model to perform the task at hand. In our experiments we use five different personas to guide the generation process. We find that the models based on our hypotheses perform better at capturing words while generating stories in the target persona.


title: Multiple vortex structures in the wake of a rectangular winglet in ground effect

abstract: Patterns of vorticity in the wake of a single rectangular winglet (vortex generator) embedded in a turbulent boundary layer have been studied using Stereoscopic Particle Image Velocimetry (SPIV). The winglet was mounted normally to a flat surface with an angle to the oncoming flow. A parametric study varying the winglet height (constant aspect ratio) and angle has shown, contrary to the common classical single tip-vortex conception, that the wake generally consists of a complex system of multiple vortex structures. The primary vortex has previously been discovered to contain a direct coupling between the axial and the rotational flow. In the current work, even the longitudinal secondary structures detected from measured streamwise vorticity display similar behavior. A regime map depicting the observed stable far wake states of the multiple vortices as a function of winglet height and angle reveals complex patterns of the flow topologies not only with the primary tip vortex, but with the additional secondary structures as well. A bifurcation diagram shows distinct regimes of the various secondary structures as well as how the primary vortex is in some cases significantly affected by their presence. These data should serve as inspiration in the process of generating longitudinal vortices for enhancement of heat and mass transfer in industrial devices since the multiple vortex regimes can help improve the conditions for these exchanges. Further, these results point to a weakness in existing inviscid models not accounting for the possibility of multiple vortical structures in the wake.


title: Release early, release often, and watch your users' emotions

abstract: App stores are highly competitive markets, sometimes offering dozens of apps for a single use case. Unexpected app changes such as a feature removal might incite even loyal users to explore alternative apps. Sentiment analysis tools can help monitor users' emotions expressed, e.g., in app reviews or tweets. We found that these emotions include four recurring patterns corresponding to the app releases. Based on these patterns and online reports about popular apps, we derived five release lessons to assist app vendors maintain positive emotions and gain competitive advantages.


title: Geometric decoherence in diffusive open quantum systems

abstract: Based on a generic quantum open system model, we study the geometric nature of decoherence by defining a complex-valued geometric phase through stochastic pure states describing non-unitary, non-cyclic and non-adiabatic evolutions. The ensemble average of the complex geometric phases for the pure stochastic states yields a conventional geometric phase together with an amplitude factor. We show that the decoherence process described by the decaying amplitude can be a geometric quantity independent of the system's dynamics. It is a remarkable fact that the geometric phase of a quantum system can serve as an ideal realisation of quantum gates due to its robustness against dynamical errors, however, in this paper we show that, for some open quantum systems, a desirable geometric phase may be accompanied by an unwanted robust geometric decoherence factor. Two exactly solvable models are studied to demonstrate that, while the decoherence is a purely dynamical effect for a dephasing two-level model, the decoherence in a dissipative two-level model can be a geometric process. Finally, we show that such a geometric decoherence effect may be eliminated by a non-perturbative control scheme.


title: Box-ball system: soliton and tree decomposition of excursions

abstract: We review combinatorial properties of solitons of the Box-Ball system introduced by Takahashi and Satsuma in 1990. Starting with several definitions of the system, we describe ways to identify solitons and review a proof of the conservation of the solitons under the dynamics. Ferrari, Nguyen, Rolla and Wang 2018 proposed a soliton decomposition of a configuration into a family of vectors, one for each soliton size. Based on this decompositions, the authors have proposed a family of measures on the set of excursions which induces invariant distributions for the Box-Ball System. In this paper, we propose a new soliton decomposition which is equivalent to a branch decomposition of the tree associated to the excursion, see Le Gall 2005. A ball configuration distributed as independent Bernoulli variables of parameter $\lambda<1/2$ is in correspondence with a simple random walk with negative drift $2\lambda-1$ and infinitely many excursions over the local minima. In this case the authors have proven that the soliton decomposition of the walk consists on independent double-infinite vectors of iid geometric random variables. We show that this property is shared by the branch decomposition of the excursion trees of the random walk and discuss a corresponding construction of a Geometric branching process with independent but not identically distributed Geometric random variables.


title: Signatures in Shape Analysis: an Efficient Approach to Motion Identification

abstract: Signatures provide a succinct description of certain features of paths in a reparametrization invariant way. We propose a method for classifying shapes based on signatures, and compare it to current approaches based on the SRV transform and dynamic programming.


title: Optimal orthogonal approximations to symmetric tensors cannot always be chosen symmetric

abstract: We study the problem of finding orthogonal low-rank approximations of symmetric tensors. In the case of matrices, the approximation is a truncated singular value decomposition which is then symmetric. Moreover, for rank-one approximations of tensors of any dimension, a classical result proven by Banach in 1938 shows that the optimal approximation can always be chosen to be symmetric. In contrast to these results, this article shows that the corresponding statement is no longer true for orthogonal approximations of higher rank. Specifically, for any of the four common notions of tensor orthogonality used in the literature, we show that optimal orthogonal approximations of rank greater than one cannot always be chosen to be symmetric.


title: On Bandwidth Constrained Distributed Detection of a Deterministic Signal in Correlated Noise

abstract: We consider a Neyman-Pearson (NP) distributed binary detection problem in a bandwidth constrained wireless sensor network, where the fusion center (FC) is responsible for fusing signals received from sensors and making a final decision about the presence or absence of a signal source in correlated Gaussian noises. Given this signal model, our goals are (i) to investigate whether or not randomized transmission can improve detection performance, under communication rate constraint, and (ii) to explore how the correlation among observation noises would impact performance. To achieve these goals, we propose two novel schemes that combine the concepts of censoring and randomized transmission (which we name CRT-I and CRT-II schemes) and compare them with the pure censoring scheme. In CRT (pure censoring) schemes, we map randomly (deterministically) a sensor's observation to a ternary transmit symbol $u_k \in \{-1,0,1\}$ where ``$0$'' corresponds to no transmission (sensor censors). Assuming sensors transmit $u_k$'s over orthogonal fading channels, we formulate and address two system-level constrained optimization problems: in the first problem we minimize the probability of miss detection at the FC, subject to constraints on the probabilities of transmission and false alarm at the FC; in the second (dual) problem we minimize the probability of transmission, subject to constraints on the probabilities of miss detection and false alarm at the FC. Based on the expressions of the objective functions and the constraints in each problem, we propose different optimization techniques to address these two problems. Through analysis and simulations, we explore and provide the conditions (in terms of communication channel signal-to-noise ratio, degree of correlation among sensor observation noises, and maximum allowed false alarm probability) under which CRT schemes outperform pure censoring scheme.


title: Superfluid stiffness in cuprates: Effect of Mott transition and phase competition

abstract: Superfluid stiffness $\rho_s$ is a defining characteristic of the superconducting state, allowing phase coherence and supercurrent. It is accessible experimentally through the penetration depth. Coexistence of $d$-wave superconductivity with other phases in underdoped cuprates, such as antiferromagnetism (AF) or charge-density waves (CDW), may drastically alter $\rho_s$. To shed light on this physics, the zero-temperature value of $\rho_s=\rho_{zz}$ along the $c$-axis was computed for different values of Hubbard interaction $U$ and different sets of tight-binding parameters describing the high-temperature superconductors YBCO and NCCO. We used Cellular Dynamical Mean-Field Theory for the one-band Hubbard model with exact diagonalization as impurity solver and state-of-the-art bath parametrization. We conclude that Mott physics plays a dominant role in determining the superfluid stiffness on the hole-doped side of the phase diagram. On the electron-doped side, antiferromagnetism wins over superconductivity near half-filling. But upon approaching optimal electron-doping, homogeneous coexistence between superconductivity and antiferromagnetism causes the superfluid stiffness to drop sharply. Hence, on the electron-doped side, it is competition between antiferromagnetism and $d$-wave superconductivity that plays a dominant role in determining the value of $\rho_{zz}$ near half-filling. At large overdoping, $\rho_{zz}$ behaves in a more BCS-like manner in both the electron- and hole-doped cases. We comment on some qualitative implications of these results for the superconducting transition temperature.


title: Quantum approach to the dynamical systems modeling

abstract: We present a general approach to the classical dynamical systems simulation. This approach is based on classical systems extension to quantum states. The proposed theory can be applied to analysis of multiple (including non-Hamiltonian) dissipative dynamical systems. As examples, we consider the logistic model, the Van der Pol oscillator, dynamical systems of Lorenz, R\"ossler (including R\"ossler hyperchaos) and Rabinovich-Fabrikant. Developed methods and algorithms integrated in quantum simulators will allow us to solve a wide range of problems with scientific and practical significance.


title: Absorption by black hole remnants in metric-affine gravity

abstract: Using numerical methods, we investigate the absorption properties of a family of nonsingular solutions {which arise in different metric-affine theories, such as quadratic and Born-Infeld gravity.} These solutions continuously interpolate between Schwarzschild black holes and naked solitons with wormhole topology. The resulting spectrum is characterized by a series of quasibound states excitations, associated with the existence of a stable photonsphere.


title: Value Functions for Depth-Limited Solving in Zero-Sum Imperfect-Information Games

abstract: We provide a formal definition of depth-limited games together with an accessible and rigorous explanation of the underlying concepts, both of which were previously missing in imperfect-information games. The definition works for an arbitrary extensive-form game and is not tied to any specific game-solving algorithm. Moreover, this framework unifies and significantly extends three approaches to depth-limited solving that previously existed in extensive-form games and multiagent reinforcement learning but were not known to be compatible. A key ingredient of these depth-limited games are value functions. Focusing on two-player zero-sum imperfect-information games, we show how to obtain optimal value functions and prove that public information provides both necessary and sufficient context for computing them. We provide a domain-independent encoding of the domains that allows for approximating value functions even by simple feed-forward neural networks, which are then able to generalize to unseen parts of the game. We use the resulting value network to implement a depth-limited version of counterfactual regret minimization. In three distinct domains, we show that the algorithm's exploitability is roughly linearly dependent on the value network's quality and that it is not difficult to train a value network with which depth-limited CFR's performance is as good as that of CFR with access to the full game.


title: Integral factorial ratios: Irreducible examples with height larger than 1

abstract: This paper discusses examples of integral factorial ratios of height 2 or more. It classifies (apart from finitely many examples) such factorial ratios with height 2 and norm at most 1/3, and describes a general result which exhibits more than 50 two parameter families of integral factorial ratios with height 2. These examples are shown to be irreducible in the sense that they do not arise from multiplying two factorial ratios of height 1.


title: Cellular Memristive-Output Reservoir (CMOR)

abstract: Reservoir computing is a subfield of machine learning in which a complex system, or 'reservoir,' uses complex internal dynamics to non-linearly project an input into a higher-dimensional space. A single trainable output layer then inspects this high-dimensional space for features relevant to perform the given task, such as a classification. Initially, reservoirs were often constructed from recurrent neural networks, but reservoirs constructed from many different elements have been demonstrated. Elementary cellular automata (CA) are one such system which have recently been demonstrated as a powerful and efficient basis which can be used to construct a reservoir. To investigate the feasibility and performance of a monolithic reservoir computing circuit with a fully integrated, programmable read-out layer, we designed, fabricated, and tested a full-custom reservoir computing circuit. This design, the cellular memristive-output reservoir (CMOR), is implemented in 65-nm CMOS technology with integrated front-end-of-the-line (FEOL) resistive random-access memory (ReRAM) used to construct a trainable output layer. We detail the design of this system and present electrical test results verifying its operation and capability to carry out non-linear classifications.


title: Representations of inverse semigroups in complete atomistic inverse meet-semigroups

abstract: As an appropriate generalisation of the features of the classical (Schein) theory of representations of inverse semigroups in $\mathscr{I}_{X}$, a theory of representations of inverse semigroups by homomorphisms into complete atomistic inverse algebras is developed. This class of inverse algebras includes partial automorphism monoids of entities such as graphs, vector spaces and modules. A workable theory of decompositions is reached; however complete distributivity is required for results approaching those of the classical case.


title: Quantum tomography based on principles of completeness, adequacy and fidelity

abstract: In this report we present a general approach for estimating quantum circuits by means of measurements. We apply the developed general approach for estimating the quality of superconducting and optical quantum chips. Using the methods of quantum states and processes tomography developed in our previous works, we have defined the adequate models of the states and processes under consideration.


title: Supports for minimal hermitian matrices

abstract: We study certain pairs of subspaces $V$ and $W$ of $\mathbb{C}^n$ we call supports that consist of eigenspaces of the eigenvalues $\pm\|M\|$ of a minimal hermitian matrix $M$ ($\|M\|\leq \|M+D\|$ for all real diagonals $D$). For any pair of orthogonal subspaces we define a non negative invariant $\delta$ called the adequacy to measure how close they are to form a support and to detect one. This function $\delta$ is the minimum of another map $F$ defined in a product of spheres of hermitian matrices. We study the gradient, Hessian and critical points of $F$ in order to approximate $\delta$. These results allow us to prove that the set of supports has interior points in the space of flag manifolds.


title: Nonreciprocal Yagi-Uda Filtering Antennas

abstract: This paper proposes a novel and compact nonreciprocal filtering antenna based on temporal modulation. The device is composed of a third order filtering section integrated into a Yagi-Uda planar printed antenna. Strong nonreciprocity in transmission and reception is achieved at the same operation frequency by time-modulating the resonators of the filtering section. These resonators are implemented as quarter wavelength microstrip lines terminated with varactors located on the ground plane. Such plane is also employed as a reflector for the Yagi-Uda antenna and to host the coplanar waveguides that feed low-frequency signals to the varactors, thus leading to a very compact design. A prototype is manufactured and successfully tested at 2.4 GHz, showing isolation greater than 20 dB between transmission and reception modes in both E- and H- planes for all directions in space and a gain drop of only 3.5 dB compared to a reference antenna. The proposed devices can easily be integrated with other electronic circuits and may find exciting applications in communication, radar, and sensing systems.


title: Learning Correlated Latent Representations with Adaptive Priors

abstract: Variational Auto-Encoders (VAEs) have been widely applied for learning compact, low-dimensional latent representations of high-dimensional data. When the correlation structure among data points is available, previous work proposed Correlated Variational Auto-Encoders (CVAEs), which employ a structured mixture model as prior and a structured variational posterior for each mixture component to enforce that the learned latent representations follow the same correlation structure. However, as we demonstrate in this work, such a choice cannot guarantee that CVAEs capture all the correlations. Furthermore, it prevents us from obtaining a tractable joint and marginal variational distribution. To address these issues, we propose Adaptive Correlated Variational Auto-Encoders (ACVAEs), which apply an adaptive prior distribution that can be adjusted during training and can learn a tractable joint variational distribution. Its tractable form also enables further refinement with belief propagation. Experimental results on link prediction and hierarchical clustering show that ACVAEs significantly outperform CVAEs among other benchmarks.


title: Self-Stabilizing Snapshot Objects for Asynchronous Fail-Prone Network Systems

abstract: A snapshot object simulates the behavior of an array of single-writer/multi-reader shared registers that can be read atomically. Delporte-Gallet et al. proposed two fault-tolerant algorithms for snapshot objects in asynchronous crash-prone message-passing systems. Their first algorithm is \emph{non-blocking}; it allows snapshot operations to terminate once all write operations have ceased. It uses $O(n)$ messages of $O(n \nu)$ bits, where $n$ is the number of nodes and $\nu$ is the number of bits it takes to represent the object. Their second algorithm allows snapshot operations to always terminate independently of write operations. It incurs $O(n^2)$ messages. The fault model of Delporte-Gallet et al. considers node crashes. We aim at the design of even more robust snapshot objects via the lenses of self-stabilization---a very strong notion of fault-tolerance. In addition to Delporte-Gallet et al.'s fault model, our self-stabilizing algorithm can recover after the occurrence of transient faults; these faults represent arbitrary violations of the assumptions according to which the system was designed to operate. We propose self-stabilizing variations of Delporte-Gallet et al.'s non-blocking algorithm and always-terminating algorithm. Our algorithms have similar communication costs to the ones by Delporte-Gallet et al. and $O(1)$ recovery time from transient faults. The main differences are that our proposal considers repeated gossiping of $O(\nu)$ bit messages and deals with bounded space. We also consider an input parameter, $\delta$, for which we claim an ability to balance the costs of snapshot operations. We validate our correctness proof, evaluate the performance of Delporte-Gallet et al.'s algorithms and our proposed variations and investigate the properties of $\delta$ via PlanetLab experiments, where significant latency and communication costs reduction are observed.


title: Enhanced Input Modeling for Construction Simulation using Bayesian Deep Neural Networks

abstract: This paper aims to propose a novel deep learning-integrated framework for deriving reliable simulation input models through incorporating multi-source information. The framework sources and extracts multisource data generated from construction operations, which provides rich information for input modeling. The framework implements Bayesian deep neural networks to facilitate the purpose of incorporating richer information in input modeling. A case study on road paving operation is performed to test the feasibility and applicability of the proposed framework. Overall, this research enhances input modeling by deriving detailed input models, thereby, augmenting the decision-making processes in construction operations. This research also sheds lights on prompting data-driven simulation through incorporating machine learning techniques.


title: ViTa-SLAM: A Bio-inspired Visuo-Tactile SLAM for Navigation while Interacting with Aliased Environments

abstract: RatSLAM is a rat hippocampus-inspired visual Simultaneous Localization and Mapping (SLAM) framework capable of generating semi-metric topological representations of indoor and outdoor environments. Whisker-RatSLAM is a 6D extension of the RatSLAM and primarily focuses on object recognition by generating point clouds of objects based on whisking information. This paper introduces a novel extension to both former works that is referred to as ViTa-SLAM that harnesses both vision and tactile information for performing SLAM. This not only allows the robot to perform natural interaction with the environment whilst navigating, as is normally seen in nature, but also provides a mechanism to fuse non-unique tactile and unique visual data. Compared to the former works, our approach can handle ambiguous scenes in which one sensor alone is not capable of identifying false-positive loop-closures.


title: Fixing the train-test resolution discrepancy

abstract: Data-augmentation is key to the training of neural networks for image classification. This paper first shows that existing augmentations induce a significant discrepancy between the typical size of the objects seen by the classifier at train and test time. We experimentally validate that, for a target test resolution, using a lower train resolution offers better classification at test time. We then propose a simple yet effective and efficient strategy to optimize the classifier performance when the train and test resolutions differ. It involves only a computationally cheap fine-tuning of the network at the test resolution. This enables training strong classifiers using small training images. For instance, we obtain 77.1% top-1 accuracy on ImageNet with a ResNet-50 trained on 128x128 images, and 79.8% with one trained on 224x224 image. In addition, if we use extra training data we get 82.5% with the ResNet-50 train with 224x224 images. Conversely, when training a ResNeXt-101 32x48d pre-trained in weakly-supervised fashion on 940 million public images at resolution 224x224 and further optimizing for test resolution 320x320, we obtain a test top-1 accuracy of 86.4% (top-5: 98.0%) (single-crop). To the best of our knowledge this is the highest ImageNet single-crop, top-1 and top-5 accuracy to date.


title: Altering sensorimotor simulation impacts early stages of facial expression processing depending on individual differences in alexithymic traits

abstract: Simulation models of facial expressions suggest that posterior visual areas and brain areas underpinning sensorimotor simulations might interact to improve facial expression processing. According to these models, facial mimicry may contribute to the visual processing of facial expressions by influencing early stages. The aim of the present study was to assess whether/how early sensorimotor simulation influences early stages of face processing. A secondary aim was to investigate the relationship between alexithymic traits and sensorimotor simulation. We monitored P1 and N170 components of the event-related potentials (ERP) in participants performing a fine discrimination task of facial expressions while implementing an animal discrimination task as control condition. In half of the experiment, participants could freely use their facial mimicry whereas in the other half, they had their facial mimicry blocked by a gel. Our results revealed that, on average, both P1 and N170 ERP components were not sensitive to mimicry manipulation. However, when taking into account alexithymic traits, a scenario corroborating sensorimotor simulation models emerged, with two dissociable temporal windows affected by mimicry manipulation as a function of alexithymia levels. Specifically, as a function of mimicry manipulation, individuals with lower alexithymic traits showed modulations of the P1 amplitude, while individuals with higher alexithymic traits showed modulations of the later N170). Furthermore, connectivity analysis at the scalp level suggested increased connectivity between sensorimotor and extrastriate visual regions in individuals with lower alexithymic traits compared to individuals with higher alexithymic traits. Overall, we interpreted these ERPs modulations as compensative visual processing under conditions of interference on the sensorimotor processing.


title: Principled Frameworks for Evaluating Ethics in NLP Systems

abstract: We critique recent work on ethics in natural language processing. Those discussions have focused on data collection, experimental design, and interventions in modeling. But we argue that we ought to first understand the frameworks of ethics that are being used to evaluate the fairness and justice of algorithmic systems. Here, we begin that discussion by outlining deontological ethics, and envision a research agenda prioritized by it.


title: Benchmarking conductivity predictions of the Advanced Electrolyte Model (AEM) for aqueous systems

abstract: High-concentration aqueous electrolytes have shown promise as candidates for a safer, lower-cost battery system. Ionic conductivity is a key property required in high performing electrolytes; the Advanced Electrolyte Model (AEM) has previously shown great accuracy in predicting ionic conductivity in highly-concentrated non-aqueous electrolytes. This work provides extensive experimental data for mixed and highly concentrated aqueous electrolyte systems, rapidly generated via a robotic electrolyte testing apparatus. These data demonstrate exceptional accuracy from AEM in predicting conductivity in aqueous systems, with the accuracy being maintained even in highly-concentrated and mixed-salt regimes.


title: Real-Time Privacy-Preserving Data Release for Smart Meters

abstract: Smart Meters (SMs) are able to share the power consumption of users with utility providers almost in real-time. These fine-grained signals carry sensitive information about users, which has raised serious concerns from the privacy viewpoint. In this paper, we focus on real-time privacy threats, i.e., potential attackers that try to infer sensitive information from SMs data in an online fashion. We adopt an information-theoretic privacy measure and show that it effectively limits the performance of any attacker. Then, we propose a general formulation to design a privatization mechanism that can provide a target level of privacy by adding a minimal amount of distortion to the SMs measurements. On the other hand, to cope with different applications, a flexible distortion measure is considered. This formulation leads to a general loss function, which is optimized using a deep learning adversarial framework, where two neural networks -- referred to as the releaser and the adversary -- are trained with opposite goals. An exhaustive empirical study is then performed to validate the performance of the proposed approach and compare it with state-of-the-art methods for the occupancy detection privacy problem. Finally, we also investigate the impact of data mismatch between the releaser and the attacker.

categories: eess.SP cs.CR cs.IT cs.LG math.IT stat.ML


title: User Curated Shaping of Expressive Performances

abstract: Musicians produce individualized, expressive performances by manipulating parameters such as dynamics, tempo and articulation. This manipulation of expressive parameters is informed by elements of score information such as pitch, meter, and tempo and dynamics markings (among others). In this paper we present an interactive interface that gives users the opportunity to explore the relationship between structural elements of a score and expressive parameters. This interface draws on the basis function models, a data-driven framework for expressive performance. In this framework, expressive parameters are modeled as a function of score features, i.e., numerical encodings of specific aspects of a musical score, using neural networks. With the proposed interface, users are able to weight the contribution of individual score features and understand how an expressive performance is constructed.


title: Interpretable deep learning for nuclear deformation in heavy ion collisions

abstract: The structure of heavy nuclei is difficult to disentangle in high-energy heavy-ion collisions. The deep convolution neural network (DCNN) might be helpful in mapping the complex final states of heavy-ion collisions to the nuclear structure in the initial state. Using DCNN for supervised regression, we successfully extracted the magnitude of the nuclear deformation from event-by-event correlation between the momentum anisotropy or elliptic flow ($v_2$) and total number of charged hadrons ($dN_{\rm ch}/d\eta$) within a Monte Carlo model. Furthermore, a degeneracy is found in the correlation between collisions of prolate-prolate and oblate-oblate nuclei. Using the Regression Attention Mask algorithm which is designed to interpret what has been learned by DCNN, we discovered that the correlation in total-overlapped collisions is sensitive to only large nuclear deformation, while the correlation in semi-overlapped collisions is discriminative for all magnitudes of nuclear deformation. The method developed in this study can pave a way for exploration of other aspects of nuclear structure in heavy-ion collisions.


title: Multi-Adversarial Variational Autoencoder Networks

abstract: The unsupervised training of GANs and VAEs has enabled them to generate realistic images mimicking real-world distributions and perform image-based unsupervised clustering or semi-supervised classification. Combining the power of these two generative models, we introduce Multi-Adversarial Variational autoEncoder Networks (MAVENs), a novel network architecture that incorporates an ensemble of discriminators in a VAE-GAN network, with simultaneous adversarial learning and variational inference. We apply MAVENs to the generation of synthetic images and propose a new distribution measure to quantify the quality of the generated images. Our experimental results using datasets from the computer vision and medical imaging domains---Street View House Numbers, CIFAR-10, and Chest X-Ray datasets---demonstrate competitive performance against state-of-the-art semi-supervised models both in image generation and classification tasks.


title: A New Family of Tractable Ising Models

abstract: We present a new family of zero-field Ising models over N binary variables/spins obtained by consecutive "gluing" of planar and $O(1)$-sized components along with subsets of at most three vertices into a tree. The polynomial time algorithm of the dynamic programming type for solving exact inference (partition function computation) and sampling consists of a sequential application of an efficient (for planar) or brute-force (for $O(1)$-sized) inference and sampling to the components as a black box. To illustrate the utility of the new family of tractable graphical models, we first build an $O(N^{3/2})$ algorithm for inference and sampling of the K5-minor-free zero-field Ising models - an extension of the planar zero-field Ising models - which is neither genus- nor treewidth-bounded. Second, we demonstrate empirically an improvement in the approximation quality of the NP-hard problem of the square-grid Ising model (with non-zero field) inference.

categories: cs.DS cond-mat.stat-mech physics.data-an stat.CO


title: Linear-time Hierarchical Community Detection

abstract: Community detection in graphs has many important and fundamental applications including in distributed systems, compression, image segmentation, divide-and-conquer graph algorithms such as nested dissection, document and word clustering, circuit design, among many others. Finding these densely connected regions of graphs remains an important and challenging problem. Most work has focused on scaling up existing methods to handle large graphs. These methods often partition the graph into two or more communities. In this work, we focus on the problem of hierarchical community detection (i.e., finding a hierarchy of dense community structures going from the lowest granularity to the largest) and describe an approach that runs in linear time with respect to the number of edges and thus fast and efficient for large-scale networks. The experiments demonstrate the effectiveness of the approach quantitatively. Finally, we show an application of it for visualizing large networks with hundreds of thousands of nodes/links.


title: Detecting Network Soft-failures with the Network Link Outlier Factor (NLOF)

abstract: In this paper, we describe and experimentally evaluate the performance of our Network Link Outlier Factor (NLOF) for detecting soft-failures in communication networks. The NLOF is computed using the throughput values derived from NetFlow records. The flow throughput values are clustered in two stages, outlier values are determined within each cluster, and the flow outliers are used to compute the outlier factor or score for each network link. When sampling NetFlow records across the full span of a network, NLOF enables the detection of soft-failures across the span of the network; large NLOF scores correlate well with links experiencing failure.


title: A feasibility pump algorithm embedded in an annealing framework

abstract: The feasibility pump algorithm is an efficient primal heuristic for finding feasible solutions to mixed-integer programming problems. The algorithm suffers mainly from fast convergence to local optima. In this paper, we investigate the effect of an alternative approach to circumvent this challenge by designing a two-stage approach that embeds the feasibility pump heuristic into an annealing framework. The algorithm dynamically breaks the discrete decision variables into two subsets based on the fractionality information obtained from prior runs, and enforces integrality on each subset separately. The feasibility pump algorithm iterates between rounding a fractional solution to one that is integral and projecting an infeasible integral solution onto the solution space of the relaxed mixed-integer programming problem. These two components are used in a Monte Carlo search framework to initially promote diversification and focus on intensification later. The computational results obtained from solving 91 mixed-binary problems demonstrate the superiority of our new approach over Feasibility Pump 2.0.


title: A multi-layered blockchain framework for smart mobility data-markets

abstract: Blockchain has the potential to render the transaction of information more secure and transparent. Nowadays, transportation data are shared across multiple entities using heterogeneous mediums, from paper collected data to smartphone. Most of this data are stored in central servers that are susceptible to hacks. In some cases shady actors who may have access to such sources, share the mobility data with unwanted third parties. A multi-layered Blockchain framework for Smart Mobility Data-market (BSMD) is presented for addressing the associated privacy, security, management, and scalability challenges. Each participant shares their encrypted data to the blockchain network and can transact information with other participants as long as both parties agree to the transaction rules issued by the owner of the data. Data ownership, transparency, auditability and access control are the core principles of the proposed blockchain for smart mobility data-market. In a case study of real-time mobility data sharing, we demonstrate the performance of BSMD on a 370 nodes blockchain running on heterogeneous and geographically-separated devices communicating on a physical network. We also demonstrate how BSMD ensures the cybersecurity and privacy of individual by safeguarding against spoofing and message interception attacks and providing information access management control.


title: Towards Empathetic Planning

abstract: Critical to successful human interaction is a capacity for empathy - the ability to understand and share the thoughts and feelings of another. As Artificial Intelligence (AI) systems are increasingly required to interact with humans in a myriad of settings, it is important to enable AI to wield empathy as a tool to benefit those it interacts with. In this paper, we work towards this goal by bringing together a number of important concepts: empathy, AI planning, and reasoning in the presence of knowledge and belief. We formalize the notion of Empathetic Planning which is informed by the beliefs and affective state of the empathizee. We appeal to an epistemic logic framework to represent the beliefs of the empathizee and propose AI planning-based computational approaches to compute empathetic solutions. We illustrate the potential benefits of our approach by conducting a study where we evaluate participants' perceptions of the agent's empathetic abilities and assistive capabilities.


title: A Strategy for Expert Recommendation From Open Data Available on the Lattes Platform

abstract: With the increasing volume of data and users of curriculum systems, the difficulty of finding specialists is increasing.This work proposes an open data extraction methodology of the Lattes Platform curricula, a treatment for this data and investigates a Recommendation Agent approach based on deep neural networks with autoencoder.


title: Scalable Syntax-Aware Language Models Using Knowledge Distillation

abstract: Prior work has shown that, on small amounts of training data, syntactic neural language models learn structurally sensitive generalisations more successfully than sequential language models. However, their computational complexity renders scaling difficult, and it remains an open question whether structural biases are still necessary when sequential models have access to ever larger amounts of training data. To answer this question, we introduce an efficient knowledge distillation (KD) technique that transfers knowledge from a syntactic language model trained on a small corpus to an LSTM language model, hence enabling the LSTM to develop a more structurally sensitive representation of the larger training data it learns from. On targeted syntactic evaluations, we find that, while sequential LSTMs perform much better than previously reported, our proposed technique substantially improves on this baseline, yielding a new state of the art. Our findings and analysis affirm the importance of structural biases, even in models that learn from large amounts of data.


title: Image Counterfactual Sensitivity Analysis for Detecting Unintended Bias

abstract: Facial analysis models are increasingly used in applications that have serious impacts on people's lives, ranging from authentication to surveillance tracking. It is therefore critical to develop techniques that can reveal unintended biases in facial classifiers to help guide the ethical use of facial analysis technology. This work proposes a framework called \textit{image counterfactual sensitivity analysis}, which we explore as a proof-of-concept in analyzing a smiling attribute classifier trained on faces of celebrities. The framework utilizes counterfactuals to examine how a classifier's prediction changes if a face characteristic slightly changes. We leverage recent advances in generative adversarial networks to build a realistic generative model of face images that affords controlled manipulation of specific image characteristics. We then introduce a set of metrics that measure the effect of manipulating a specific property on the output of the trained classifier. Empirically, we find several different factors of variation that affect the predictions of the smiling classifier. This proof-of-concept demonstrates potential ways generative models can be leveraged for fine-grained analysis of bias and fairness.


title: High-Performance Deep Learning via a Single Building Block

abstract: Deep learning (DL) is one of the most prominent branches of machine learning. Due to the immense computational cost of DL workloads, industry and academia have developed DL libraries with highly-specialized kernels for each workload/architecture, leading to numerous, complex code-bases that strive for performance, yet they are hard to maintain and do not generalize. In this work, we introduce the batch-reduce GEMM kernel and show how the most popular DL algorithms can be formulated with this kernel as the basic building-block. Consequently, the DL library-development degenerates to mere (potentially automatic) tuning of loops around this sole optimized kernel. By exploiting our new kernel we implement Recurrent Neural Networks, Convolution Neural Networks and Multilayer Perceptron training and inference primitives in just 3K lines of high-level code. Our primitives outperform vendor-optimized libraries on multi-node CPU clusters, and we also provide proof-of-concept CNN kernels targeting GPUs. Finally, we demonstrate that the batch-reduce GEMM kernel within a tensor compiler yields high-performance CNN primitives, further amplifying the viability of our approach.


title: Search for long-lived particles using nonprompt jets and missing transverse momentum with proton-proton collisions at $\sqrt{s} =$ 13 TeV

abstract: A search for long-lived particles decaying to displaced, nonprompt jets and missing transverse momentum is presented. The data sample corresponds to an integrated luminosity of 137 fb$^{-1}$ of proton-proton collisions at a center-of-mass energy of 13 TeV collected by the CMS experiment at the CERN LHC in 2016-2018. Candidate signal events containing nonprompt jets are identified using the timing capabilities of the CMS electromagnetic calorimeter. The results of the search are consistent with the background prediction and are interpreted using a gauge-mediated supersymmetry breaking reference model with a gluino next-to-lightest supersymmetric particle. In this model, gluino masses up to 2100, 2500, and 1900 GeV are excluded at 95% confidence level for proper decay lengths of 0.3, 1, and 100 m, respectively. These are the best limits to date for such massive gluinos with proper decay lengths greater than $\sim$0.5 m.


title: Tagged Back-Translation

abstract: Recent work in Neural Machine Translation (NMT) has shown significant quality gains from noised-beam decoding during back-translation, a method to generate synthetic parallel data. We show that the main role of such synthetic noise is not to diversify the source side, as previously suggested, but simply to indicate to the model that the given source is synthetic. We propose a simpler alternative to noising techniques, consisting of tagging back-translated source sentences with an extra token. Our results on WMT outperform noised back-translation in English-Romanian and match performance on English-German, re-defining state-of-the-art in the former.


title: A mechanical model reveals that non-axisymmetric buckling lowers the energy barrier associated with membrane neck constriction

abstract: Membrane neck formation is essential for scission, which, as recent experiments on tubules have demonstrated, can be location dependent. The diversity of biological machinery that can constrict a neck such as dynamin, actin, ESCRTs and BAR proteins, and the range of forces and deflection over which they operate, suggest that the constriction process is functionally mechanical and robust to changes in biological environment. In this study, we used a mechanical model of the lipid bilayer to systematically investigate the influence of location, symmetry constraints, and helical forces on membrane neck constriction. Simulations from our model demonstrated that the energy barriers associated with constriction of a membrane neck are location-dependent. Importantly, if symmetry restrictions are relaxed, then the energy barrier for constriction is dramatically lowered and the membrane buckles at lower values of forcing parameters. Our simulations also show that constriction due to helical proteins further reduces the energy barrier for neck formation compared to cylindrical proteins. These studies establish that despite different molecular mechanisms of neck formation in cells, the mechanics of constriction naturally leads to a loss of symmetry that can lower the energy barrier to constriction.


title: Constraining the $3-3-1$ model with heavy neutral leptons using $(g-2)_{\mu}$ and dark matter observables

abstract: We find constraints on the highest scale of symmetry breaking of a model with gauge symmetry $SU(3)_C \otimes SU(3)_L \otimes U(1)_X$ with heavy neutral leptons in the fermion triplets, calculating the anomalous magnetic moment of the muon and using results of the relic abundance of dark matter and experiments searching for its direct detection. In order to do this, we have calculated the one-loop contribution of new particles in the model to $(g-2)_{\mu}$, finding a favoured region for the scale at which $SU(3)_L$ is broken, and we have found lower bounds for this scale making a comparison of the predictions for the detection of a fermion dark matter candidate in the model in terms of simplified dark matter models, identifying the dominant portal for its interactions with standard model particles, and using constraints for the relic abundance and spin-independent scattering cross section of the fermion candidate with protons.


title: Agito ergo sum: correlates of spatiotemporal motion characteristics during fMRI

abstract: The impact of in-scanner motion on functional magnetic resonance imaging (fMRI) data has a notorious reputation in the neuroimaging community. State-ofthe-art guidelines advise to scrub out excessively corrupted frames as assessed by a composite framewise displacement (FD) score, to regress out models of nuisance variables, and to include average FD as a covariate in group-level analyses. Here, we studied individual motion time courses at time points typically retained in fMRI analyses. We observed that even in this set of putatively clean time points, motion exhibited a very clear spatiotemporal structure, so that we could distinguish subjects into four groups of movers with varying characteristics Then, we showed that this spatiotemporal motion cartography tightly relates to a broad array of anthropometric, behavioral and clinical factors. Convergent results were obtained from two different analytical perspectives: univariate assessment of behavioral differences across mover subgroups unraveled defining markers, while subsequent multivariate analysis broadened the range of involved factors and clarified that multiple motion/behavior modes of covariance overlap in the data. Our results demonstrate that even the smaller episodes of motion typically retained in fMRI analyses carry structured, behaviorally relevant information. They call for further examinations of possible biases in current regression-based motion correction strategies.


title: Efficient Neural Network Approaches for Leather Defect Classification

abstract: Genuine leather, such as the hides of cows, crocodiles, lizards and goats usually contain natural and artificial defects, like holes, fly bites, tick marks, veining, cuts, wrinkles and others. A traditional solution to identify the defects is by manual defect inspection, which involves skilled experts. It is time consuming and may incur a high error rate and results in low productivity. This paper presents a series of automatic image processing processes to perform the classification of leather defects by adopting deep learning approaches. Particularly, the leather images are first partitioned into small patches,then it undergoes a pre-processing technique, namely the Canny edge detection to enhance defect visualization. Next, artificial neural network (ANN) and convolutional neural network (CNN) are employed to extract the rich image features. The best classification result achieved is 80.3 %, evaluated on a data set that consists of 2000 samples. In addition, the performance metrics such as confusion matrix and Receiver Operating Characteristic (ROC) are reported to demonstrate the efficiency of the method proposed.


title: Efficient Pulse-Excitation Techniques for Single Photon Sources from Quantum Dots in Cavities

abstract: We present rigorous and intuitive master equation models to study on-demand single photon sources from pulse-excited quantum dots coupled to cavities. We consider three methods of source excitation: resonant pi-pulse, off-resonant phonon-assisted inversion, and two-photon excitation of a biexciton-exciton cascade, and investigate the effect of the pulse excitation process on the quantum indistinguishability, efficiency, and purity of emitted photons. By explicitly modelling the time-dependent pulsed excitation process in a manner which captures non-Markovian effects associated with coupling to photon and phonon reservoirs, we find that photons of near-unity indistinguishability can be emitted with over 90% efficiency for all these schemes, with the off-resonant schemes not necessarily requiring polarization filtering due to the frequency separation of the excitation pulse, and allowing for very high single photon purities. Furthermore, the off-resonant methods are shown to be robust over certain parameter regimes, with less stringent requirements on the excitation pulse duration in particular. We also derive a semi-analytical simplification of our master equation for the off-resonant drive, which gives insight into the important role that exciton-phonon decoupling for a strong drive plays in the off-resonant phonon-assisted inversion process


title: Can neural networks understand monotonicity reasoning?

abstract: Monotonicity reasoning is one of the important reasoning skills for any intelligent natural language inference (NLI) model in that it requires the ability to capture the interaction between lexical and syntactic structures. Since no test set has been developed for monotonicity reasoning with wide coverage, it is still unclear whether neural models can perform monotonicity reasoning in a proper way. To investigate this issue, we introduce the Monotonicity Entailment Dataset (MED). Performance by state-of-the-art NLI models on the new test set is substantially worse, under 55%, especially on downward reasoning. In addition, analysis using a monotonicity-driven data augmentation method showed that these models might be limited in their generalization ability in upward and downward reasoning.


title: Robust or Private? Adversarial Training Makes Models More Vulnerable to Privacy Attacks

abstract: Adversarial training was introduced as a way to improve the robustness of deep learning models to adversarial attacks. This training method improves robustness against adversarial attacks, but increases the models vulnerability to privacy attacks. In this work we demonstrate how model inversion attacks, extracting training data directly from the model, previously thought to be intractable become feasible when attacking a robustly trained model. The input space for a traditionally trained model is dominated by adversarial examples - data points that strongly activate a certain class but lack semantic meaning - this makes it difficult to successfully conduct model inversion attacks. We demonstrate this effect using the CIFAR-10 dataset under three different model inversion attacks, a vanilla gradient descent method, gradient based method at different scales, and a generative adversarial network base attacks.


title: Statistics of correlated percolation in a bacterial community

abstract: Signal propagation over long distances is a ubiquitous feature of multicellular communities. In biofilms of the bacterium Bacillus subtilis, we recently discovered that some, but not all, cells participate in the propagation of an electrical signal, and the ones that do are organized in a way that is statistically consistent with percolation theory. However, two key assumptions of percolation theory are violated in this system. First, we find here that the probability for a cell to signal is not independent from other cells but instead is correlated with its nearby neighbors. We develop a mechanistic model, in which correlated signaling emerges from cell division, phenotypic inheritance, and cell displacement, that reproduces the experimental results. Second, we observed previously that the fraction of signaling cells is not constant but instead varies from biofilm to biofilm. We use our model to understand why percolation theory remains a valid description of the system despite these two violations of its assumptions. We find that the first violation does not significantly affect the spatial statistics, which we rationalize using a renormalization argument. We find that the second violation widens the range of signaling fractions around the percolation threshold at which one observes the characteristic power-law statistics of cluster sizes, consistent with our previous experimental results. We validate our model using a mutant biofilm whose signaling probability decays along the propagation direction. Our results identify key statistical features of a correlated percolating system and demonstrate their functional utility for a multicellular community.


title: An Infinite Dimensional Analysis of Kernel Principal Components

abstract: We study non-linear data-dimension reduction. We are motivated by the classical linear framework of Principal Component Analysis. In nonlinear case, we introduce instead a new kernel-Principal Component Analysis, manifold and feature space transforms. Our results extend earlier work for probabilistic Karhunen-Lo\`eve transforms on compression of wavelet images. Our object is algorithms for optimization, selection of efficient bases, or components, which serve to minimize entropy and error; and hence to improve digital representation of images, and hence of optimal storage, and transmission. We prove several new theorems for data-dimension reduction. Moreover, with the use of frames in Hilbert space, and a new Hilbert-Schmidt analysis, we identify when a choice of Gaussian kernel is optimal.


title: Magnetic Flux Cancellation as the Trigger Mechanism of Solar Coronal Jets

abstract: Coronal jets are transient narrow features in the solar corona that originate from all regions of the solar disk: active regions, quiet sun, and coronal holes. Recent studies indicate that at least some coronal jets in quiet regions and coronal holes are driven by the eruption of a minifilament following flux cancellation at a magnetic neutral line. We have tested the veracity of that view by examining 60 random jets in quiet regions and coronal holes using multithermal (304 A, 171 A, 193 A, and 211 A) extreme ultraviolet (EUV) images from the Solar Dynamics Observatory (SDO)/Atmospheric Imaging Assembly (AIA) and line-of-sight magnetograms from the SDO/Helioseismic and Magnetic Imager (HMI). By examining the structure and changes in the magnetic field before, during, and after jet onset, we found that 85% of these jets resulted from a minifilament eruption triggered by flux cancellation at the neutral line. The 60 jets have a mean base diameter of 8800 +/- 3100 km and a mean duration of 9 +/-3.6 minutes. These observations confirm that minifilament eruption is the driver and magnetic flux cancellation is the primary trigger mechanism for most coronal hole and quiet region coronal jets.


title: Constructions and necessities of some permutation polynomials

abstract: Permutation polynomials over finite fields have important applications in many areas of science and engineering such as coding theory, cryptography, combinatorial design, etc. In this paper, we construct several new classes of permutation polynomials, and the necessities of some permutation polynomials are studied.


title: Braided dendriform and tridendriform algebras and braided Hopf algebras of planar trees

abstract: This paper introduces the braidings of dendriform algebras and tridendriform algebras. By studying free braided dendriform algebras, we obtain braidings of the Hopf algebras of Loday and Ronco of planar binary rooted trees. We also give a variation of the braiding of Foissy for the noncommutative Connes-Kreimer (a.k.a the Foissy-Holtkamp) Hopf algebra of planar rooted forests so that the well-known isomorphism between this Hopf algebra and the Loday-Ronco Hopf algebra is extended to the braided context. As free braided tridendriform algebras, we also give braided extension of the Hopf algebra of Loday and Ronco on planar rooted trees.


title: Efficient predicate invention using shared "NeMuS"

abstract: Amao is a cognitive agent framework that tackles the invention of predicates with a different strategy as compared to recent advances in Inductive Logic Programming (ILP) approaches like Meta-Intepretive Learning (MIL) technique. It uses a Neural Multi-Space (NeMuS) graph structure to anti-unify atoms from the Herbrand base, which passes in the inductive momentum check. Inductive Clause Learning (ICL), as it is called, is extended here by using the weights of logical components, already present in NeMuS, to support inductive learning by expanding clause candidates with anti-unified atoms. An efficient invention mechanism is achieved, including the learning of recursive hypotheses, while restricting the shape of the hypothesis by adding bias definitions or idiosyncrasies of the language.


title: Functional inequalities for marked point processes

abstract: In recent years, a number of functional inequalities have been derived for Poisson random measures, with a wide range of applications. In this paper, we prove that such inequalities can be extended to the setting of marked temporal point processes, under mild assumptions on their Papangelou conditional intensity. First, we derive a Poincar\'e inequality. Second, we prove two transportation cost inequalities. The first one refers to functionals of marked point processes with a Papangelou conditional intensity and is new even in the setting of Poisson random measures. The second one refers to the law of marked temporal point processes with a Papangelou conditional intensity, and extends a related inequality which is known to hold on a general Poisson space. Finally, we provide a variational representation of the Laplace transform of functionals of marked point processes with a Papangelou conditional intensity. The proofs make use of an extension of the Clark-Ocone formula to marked temporal point processes. Our results are shown to apply to classes of renewal, nonlinear Hawkes and Cox point processes.


title: Touching the stars: improving NASA 3D printed data sets with blind and visually impaired audiences

abstract: Astronomy has been an inherently visual area of science for millenia, yet a majority of its significant discoveries take place in wavelengths beyond human vision. There are many people, including those with low or no vision, who cannot participate fully in such discoveries if visual media is the primary communication mechanism. Numerous efforts have worked to address equity of accessibility to such knowledge sharing, such as through the creation of three dimensional (3D) printed data sets. This paper describes progress made through technological and programmatic developments in tactile 3D models using the NASA Chandra X-ray Observatory to improve access to data.


title: On Gupta's Co-density Conjecture

abstract: Let $G=(V,E)$ be a multigraph. The {\em cover index} $\xi(G)$ of $G$ is the greatest integer $k$ for which there is a coloring of $E$ with $k$ colors such that each vertex of $G$ is incident with at least one edge of each color. Let $\delta(G)$ be the minimum degree of $G$ and let $\Phi(G)$ be the {\em co-density} of $G$, defined by \[\Phi(G)=\min \Big\{\frac{2|E^+(U)|}{|U|+1}:\,\, U \subseteq V, \,\, |U|\ge 3 \hskip 2mm {\rm and \hskip 2mm odd} \Big\},\] where $E^+(U)$ is the set of all edges of $G$ with at least one end in $U$. It is easy to see that $\xi(G) \le \min\{\delta(G), \lfloor \Phi(G) \rfloor\}$. In 1978 Gupta proposed the following co-density conjecture: Every multigraph $G$ satisfies $\xi(G)\ge \min\{\delta(G)-1, \, \lfloor \Phi(G) \rfloor\}$, which is the dual version of the Goldberg-Seymour conjecture on edge-colorings of multigraphs. In this note we prove that $\xi(G)\ge \min\{\delta(G)-1, \, \lfloor \Phi(G) \rfloor\}$ if $\Phi(G)$ is not integral and $\xi(G)\ge \min\{\delta(G)-2, \, \lfloor \Phi(G) \rfloor-1\}$ otherwise. We also show that this co-density conjecture implies another conjecture concerning cover index made by Gupta in 1967.


title: Probabilistic Diffusion MRI Fiber Tracking Using a Directed Acyclic Graph Auto-Regressive Model of Positive Definite Matrices

abstract: Diffusion MRI is a neuroimaging technique measuring the anatomical structure of tissues. Using diffusion MRI to construct the connections of tissues, known as fiber tracking, is one of the most important uses of diffusion MRI. Many techniques are available recently but few properly quantify statistical uncertainties. In this paper, we propose a directed acyclic graph auto-regressive model of positive definite matrices and apply a probabilistic fiber tracking algorithm. We use both real data analysis and numerical studies to demonstrate our proposal.


title: Angular memory effect of transmission eigenchannels

abstract: The optical memory effect has emerged as a powerful tool for imaging through multiple-scattering media; however, the finite angular range of the memory effect limits the field of view. Here, we demonstrate experimentally that selective coupling of incident light into a high-transmission channel increases the angular memory-effect range. This enhancement is attributed to the robustness of the high-transmission channels against perturbations such as sample tilt or wavefront tilt. Our work shows that the high-transmission channels provide an enhanced field of view for memory effect-based imaging through diffusive media.


title: Post-disaster Repair Scheduling in Partially Automated Electricity Distribution Networks

abstract: Natural disasters require repairing all damaged components in electricity distribution networks. Optimal scheduling repair crews to minimize the aggregate duration of interruptions reduces the harm. We consider the fact that the number of switches is much smaller than the number of edges. The problem is modeled by a parallel identical machine scheduling with group soft precedence constraints to minimize the total weighted energization time. We propose an LP-based list scheduling algorithm and a conversion algorithm and analyze their theoretical performances.


title: Nonlinear planar Hall effect

abstract: An intriguing property of three-dimensional (3D) topological insulator (TI) is the existence of surface states with spin-momentum locking, which offers a new frontier of exploration in spintronics. Here, we report the observation of a new type of Hall effect in a 3D TI Bi2Se3 film. The Hall resistance scales linearly with both the applied electric and magnetic fields and exhibits a {\pi}/2 angle offset with respect to its longitudinal counterpart, in contrast to the usual angle offset of {\pi}/4 between the linear planar Hall effect and the anisotropic magnetoresistance. This novel nonlinear planar Hall effect originates from the conversion of a nonlinear transverse spin current to a charge current due to the concerted actions of spin-momentum locking and time reversal symmetry breaking, which also exists in a wide class of non-centrosymmetric materials with a large span of magnitude. It provides a new way to characterize and utilize the nonlinear spin-to-charge conversion in a variety of topological quantum materials.


title: Linear Aggregation in Tree-based Estimators

abstract: Regression trees and their ensemble methods are popular methods for nonparametric regression: they combine strong predictive performance with interpretable estimators. To improve their utility for locally smooth response surfaces, we study regression trees and random forests with linear aggregation functions. We introduce a new algorithm that finds the best axis-aligned split to fit linear aggregation functions on the corresponding nodes, and we offer a quasilinear time implementation. We demonstrate the algorithm's favorable performance on real-world benchmarks and in an extensive simulation study, and we demonstrate its improved interpretability using a large get-out-the-vote experiment. We provide an open-source software package that implements several tree-based estimators with linear aggregation functions.


title: Action-Sensitive Phonological Dependencies

abstract: This paper defines a subregular class of functions called the tier-based synchronized strictly local (TSSL) functions. These functions are similar to the the tier-based input-output strictly local (TIOSL) functions, except that the locality condition is enforced not on the input and output streams, but on the computation history of the minimal subsequential finite-state transducer. We show that TSSL functions naturally describe rhythmic syncope while TIOSL functions cannot, and we argue that TSSL functions provide a more restricted characterization of rhythmic syncope than existing treatments within Optimality Theory.


title: Correlating Twitter Language with Community-Level Health Outcomes

abstract: We study how language on social media is linked to diseases such as atherosclerotic heart disease (AHD), diabetes and various types of cancer. Our proposed model leverages state-of-the-art sentence embeddings, followed by a regression model and clustering, without the need of additional labelled data. It allows to predict community-level medical outcomes from language, and thereby potentially translate these to the individual level. The method is applicable to a wide range of target variables and allows us to discover known and potentially novel correlations of medical outcomes with life-style aspects and other socioeconomic risk factors.


title: A Robust Approach for Stability Analysis of Complex Flows Using Navier-Stokes Solvers

abstract: Direct methods to obtain global stability modes are restricted by the daunting sizes and complexity of Jacobians encountered in general three-dimensional flows. Jacobian-free iterative approaches such as Arnoldi methods have greatly alleviated the required computational burden. However, operations such as orthonormalization and shift-and-invert transformation of matrices with appropriate shift guesses can stll introduce computational and parameter-dependent costs that inhibit their routine application to general three-dimensional flowfields. The present work addresses these limitations by proposing and implementing a robust, generalizable approach to extract the principal global modes, suited for curvilinear coordinates as well as the effects of compressibility. Accurate linearized perturbation snapshots are obtained using high-order schemes by leveraging the same non-linear Navier-Stokes code as used to obtain the basic state by appropriately constraining the equations using a body-force. It is shown that with random impulse forcing, dynamic mode decomposition (DMD) of the subspace formed by these products yields the desired physically meaningful modes when appropriately scaled. The leading eigenmodes are thus obtained without spurious modes or the need for an iterative procedure. Further, since orthonormalization is not required, large subspaces can be processed to capture converged low frequency or stationary modes. The validity and versatility of the method are demonstrated with numerous examples encompassing essential elements expected in realistic flows, such as compressibility effects and complicated domains requiring general curvilinear meshes. Favorable comparisons with Arnoldi-based method, complemented with substantial savings in computational resources show the potential of the current approach for relatively complex flows.


title: Symmetry-Breaking Polymorphous Descriptions for Complex Materials without Interelectronic U

abstract: Correlated materials with open-shell d- and f-ions having degenerate band edge states show a rich variety of interesting properties ranging from metal-insulator transition to unconventional superconductivity. The textbook view for the electronic structure of these materials is that mean-field approaches are inappropriate, as the interelectronic interaction U is required to open a band gap between the occupied and unoccupied degenerate states while retaining symmetry. We show that the latter scenario often defining what Mott insulators are, is in fact not needed for the 3d binary oxides MnO, FeO, CoO, and NiO. The mean-field band theory can indeed lift such degeneracies in the binaries when nontrivial unit cell representations (polymorphous networks) are allowed to break symmetries, in conjunction with a recently developed non-empirical exchange and correlation density-functional without an on-site interelectronic interaction U. We explain how density-functional theory (DFT) in the polymorphous representation achieves band gap opening in correlated materials through a separate mechanism to the Mott-Hubbard approach. We show the method predicts magnetic moments and gaps for the four binary monoxides in both the antiferromagnetic and paramagnetic phases, offering an effective alternative to symmetry-conserving approaches for studying a range of functionalities in open d- and f-shell complex materials.


title: Small $x$ phenomenology on gluon evolution through BFKL equation in light of a constraint in multi-Regge kinematics

abstract: We investigate the impact of so called kinematic constraint on gluon evolution at small $x$. Implanting the constraint on the real emission term of gluon ladder diagram, we obtain an integro-differential form of BFKL equation. Later we solve the equation analytically using the method of characteristics. We sketch the Bjorken x and transverse momentum $k_t^2$ dependence of our solution of unintegrated gluon distributions $f(x,k_t^2)$ in kinematic constraint supplemented BFKL equation and contrasted the same with original BFKL equation. Then we extract the collinear gluon density $xg(x,Q^2)$ from unintegrated gluon distributions $f(x,k_t^2)$ and compared our theoretical prediction with that of global data fits viz. NNPDF3.1sx and CT14. Finally we assess the sensitivity of $f(x,k_t^2)$ towards BFKL intercept $\lambda$ for three canonical choices of $\lambda$ viz. o.4, 0.5 and 0.6.


title: Approximate Normalization for Gradual Dependent Types

abstract: Dependent types help programmers write highly reliable code. However, this reliability comes at a cost: it can be challenging to write new prototypes in (or migrate old code to) dependently-typed programming languages. Gradual typing makes static type disciplines more flexible, so an appropriate notion of gradual dependent types could fruitfully lower this cost. However, dependent types raise unique challenges for gradual typing. Dependent typechecking involves the execution of program code, but gradually-typed code can signal runtime type errors or diverge. These runtime errors threaten the soundness guarantees that make dependent types so attractive, while divergence spoils the type-driven programming experience. This paper presents GDTL, a gradual dependently-typed language that emphasizes pragmatic dependently-typed programming. GDTL fully embeds both an untyped and dependently-typed language, and allows for smooth transitions between the two. In addition to gradual types we introduce gradual terms , which allow the user to be imprecise in type indices and to omit proof terms; runtime checks ensure type safety . To account for nontermination and failure, we distinguish between compile-time normalization and run-time execution: compile-time normalization is approximate but total, while runtime execution is exact , but may fail or diverge. We prove that GDTL has decidable typechecking and satisfies all the expected properties of gradual languages. In particular, GDTL satisfies the static and dynamic gradual guarantees: reducing type precision preserves typedness, and altering type precision does not change program behavior outside of dynamic type failures. To prove these properties, we were led to establish a novel normalization gradual guarantee that captures the monotonicity of approximate normalization with respect to imprecision.


title: Gravitational Deflection of Massive Particles by a Schwarzschild Black Hole in Radiation Gauge

abstract: The exact metric of a Schwarzschild black hole in the true radiation gauge was recently reported. In this work, we base on this gravity and calculate the gravitational deflection of relativistic massive particles up to the fourth post-Minkowskian order. It is found that the result is consistent with the previous formulations for both the case of dropping the fourth-order contribution and the case of light deflection. Our result might be helpful for future high-accuracy observations.


title: Genetic Algorithm Based Resource Minimization in Network Code Based Peer-to-Peer Network

abstract: Block scheduling is difficult to implement in P2P network since there is no central coordinator. This problem can be solved by employing network coding technique which allows intermediate nodes to perform the coding operation instead of conventional store and forward the received data. There is a general assumption in this area of research so far that a target download rate is always attainable at every peer as long as coding operation is performed at all the nodes in the network. An interesting study is made that a maximum download rate can be attained by performing the coding operation at relatively small portion of the network. The problem of finding the minimal set of node to perform the coding operation and links to carry the coded data is called as a network code minimization problem (NCMP). It is proved to be NP hard problem. It can be solved using genetic algorithm (GA) because GA can be used to solve the diverse NP hard problem. A new NCMP model is proposed which considers both minimize the resources needed to perform coding operation and dynamic change in network topology due to disconnection. Based on this new NCMP model, an effective and novel GA is proposed by implementing problem specific GA operators into the evolutionary process. There is an attempt to implement the different compositions and several options of GA elements which worked well in many other problems and pick the one that works best for this resource minimization problem. Our simulation results prove that the proposed system outperforms the random selection and coding at all possible node mechanisms in terms of both download time and system throughput.


title: An Exact and Fast CBCT Reconstruction via Pseudo-Polar Fourier Transform based Discrete Grangeat's Formula

abstract: The recent application of Fourier Based Iterative Reconstruction Method (FIRM) has made it possible to achieve high-quality 2D images from a fan beam Computed Tomography (CT) scan with a limited number of projections in a fast manner. The proposed methodology in this article is designed to provide 3D Radon space in linogram fashion to facilitate the use of FIRM with cone beam projections (CBP) for the reconstruction of 3D images in a low dose Cone Beam CT (CBCT).


title: High-K isomer and the rotational properties in the odd-Z neutron-rich nucleus $^{163}$Eu

abstract: The newly observed isomer and ground-state band in the odd-Z neutron-rich rare-earth nucleus $^{163}$Eu are investigated by using the cranked shell model (CSM) with pairing treated by the particle-number conserving (PNC) method. This is the first time detailed theoretical investigations are performed of the observed $964(1)$ keV isomer and ground-state rotational band in $^{163}$Eu. The experimental data are reproduced very well by the theoretical results. The configuration of the $964(1)$ keV isomer is assigned as the three-particle state $\frac{13}{2}^{-}(\nu\frac{7}{2}^{+}[633]\otimes\nu\frac{1}{2}^{-}[521]\otimes\pi\frac{5}{2}^{+}[413]$). More low-lying multi-particle states are predicted in $^{163}$Eu. Due to its significant effect on the nuclear mean field, the high-order $\varepsilon_{6}$ deformation plays an important role in the energy and configuration assignment of the multi-particle states. Compared to its neighboring even-even nuclei $^{162}$Sm and $^{164}$Gd, there is a $10\%\sim15\%$ increase of $J^{(1)}$ of the one-particle ground-state band in $^{163}$Eu. This is explained by the pairing reduction due to the blocking of the nucleon on the proton $\pi\frac{5}{2}^{+}$[413] orbital in $^{163}$Eu.


title: Quadratic $D$-forms with applications to hermitian forms

abstract: We study some properties of quadratic forms with values in a field whose underlying vector spaces are endowed with the structure of right vector spaces over a division ring extension of that field. Some generalized notions of isotropy, metabolicity and isometry are introduced and used to find a Witt decomposition for these forms. We then associate to every (skew) hermitian form over a division algebra with involution of the first kind a quadratic form defined on its underlying vector space. It is shown that this quadratic form, with its generalized notions of isotropy and isometry, can be used to determine the isotropy behaviour and the isometry class of (skew) hermitian forms.


title: Physical Integrity Attack Detection of Surveillance Camera with Deep Learning Based Video Frame Interpolation

abstract: Surveillance cameras, which is a form of Cyber Physical System, are deployed extensively to provide visual surveillance monitoring of activities of interest or anomalies. However, these cameras are at risks of physical security attacks against their physical attributes or configuration like tampering of their recording coverage, camera positions or recording configurations like focus and zoom factors. Such adversarial alteration of physical configuration could also be invoked through cyber security attacks against the camera's software vulnerabilities to administratively change the camera's physical configuration settings. When such Cyber Physical attacks occur, they affect the integrity of the targeted cameras that would in turn render these cameras ineffective in fulfilling the intended security functions. There is a significant measure of research work in detection mechanisms of cyber-attacks against these Cyber Physical devices, however it is understudied area with such mechanisms against integrity attacks on physical configuration. This research proposes the use of the novel use of deep learning algorithms to detect such physical attacks originating from cyber or physical spaces. Additionally, we proposed the novel use of deep learning-based video frame interpolation for such detection that has comparatively better performance to other anomaly detectors in spatiotemporal environments.


title: Speeding up VP9 Intra Encoder with Hierarchical Deep Learning Based Partition Prediction

abstract: In VP9 video codec, the sizes of blocks are decided during encoding by recursively partitioning 64$\times$64 superblocks using rate-distortion optimization (RDO). This process is computationally intensive because of the combinatorial search space of possible partitions of a superblock. Here, we propose a deep learning based alternative framework to predict the intra-mode superblock partitions in the form of a four-level partition tree, using a hierarchical fully convolutional network (H-FCN). We created a large database of VP9 superblocks and the corresponding partitions to train an H-FCN model, which was subsequently integrated with the VP9 encoder to reduce the intra-mode encoding time. The experimental results establish that our approach speeds up intra-mode encoding by 69.7% on average, at the expense of a 1.71% increase in the Bjontegaard-Delta bitrate (BD-rate). While VP9 provides several built-in speed levels which are designed to provide faster encoding at the expense of decreased rate-distortion performance, we find that our model is able to outperform the fastest recommended speed level of the reference VP9 encoder for the good quality intra encoding configuration, in terms of both speedup and BD-rate.


title: Realization of superabsorption by time reversal of superradiance

abstract: Emission and absorption of light lie at the heart of light-matter interaction. Although emission and absorption rates are regarded as intrinsic properties of atoms and molecules, various ways to modify these rates have been sought in applications such as quantum information processing, metrology and light-energy harvesting. One promising approach is to utilize collective behaviour of emitters in the same way as in superradiance5. Although superradiance has been observed in diverse systems, its conceptual counterpart in absorption has never been realized11 until now. Here we demonstrate enhanced cooperative absorption - superabsorption - by implementing a time-reversal process of superradiance. The observed superabsorption rate is much higher than that of ordinary absorption, with the number of absorbed photons scaling with the square of the number of atoms, exhibiting the cooperative nature of superabsorption. The present superabsorption - which performs beyond the limitations of conventional absorption - can facilitate weak-signal sensing, light-energy harvesting and light-matter quantum interfaces


title: Calibration of Local-Stochastic Volatility Models by Optimal Transport

abstract: In this paper, we study a semi-martingale optimal transport problem and its application to the calibration of Local-Stochastic Volatility (LSV) models. Rather than considering the classical constraints on marginal distributions at initial and final time, we optimise our cost function given the prices of a finite number of European options. We formulate the problem as a convex optimisation problem, for which we provide a PDE formulation along with its dual counterpart. Then we solve numerically the dual problem, which involves a fully non-linear Hamilton-Jacobi-Bellman equation. The method is tested by calibrating a Heston-like LSV model with simulated data and foreign exchange market data.


title: Quantum Anomaly Detection with Density Estimation and Multivariate Gaussian Distribution

abstract: We study quantum anomaly detection with density estimation and multivariate Gaussian distribution. Both algorithms are constructed using the standard gate-based model of quantum computing. Compared with the corresponding classical algorithms, the resource complexities of our quantum algorithm are logarithmic in the dimensionality of quantum states and the number of training quantum states. We also present a quantum procedure for efficiently estimating the determinant of any Hermitian operators $\mathcal{A}\in\mathcal{R}^{N\times N}$ with time complexity $O(poly\log N)$ which forms an important subroutine in our quantum anomaly detection with multivariate Gaussian distribution. Finally, our results also include the modified quantum kernel principal component analysis (PCA) and the quantum one-class support vector machine (SVM) for detecting classical data.


title: RECAL: Reuse of Established CNN classifer Apropos unsupervised Learning paradigm

abstract: Recently, clustering with deep network framework has attracted attention of several researchers in the computer vision community. Deep framework gains extensive attention due to its efficiency and scalability towards large-scale and high-dimensional data. In this paper, we transform supervised CNN classifier architecture into an unsupervised clustering model, called RECAL, which jointly learns discriminative embedding subspace and cluster labels. RECAL is made up of feature extraction layers which are convolutional, followed by unsupervised classifier layers which is fully connected. A multinomial logistic regression function (softmax) stacked on top of classifier layers. We train this network using stochastic gradient descent (SGD) optimizer. However, the successful implementation of our model is revolved around the design of loss function. Our loss function uses the heuristics that true partitioning entails lower entropy given that the class distribution is not heavily skewed. This is a trade-off between the situations of "skewed distribution" and "low-entropy". To handle this, we have proposed classification entropy and class entropy which are the two components of our loss function. In this approach, size of the mini-batch should be kept high. Experimental results indicate the consistent and competitive behavior of our model for clustering well-known digit, multi-viewed object and face datasets. Morever, we use this model to generate unsupervised patch segmentation for multi-spectral LISS-IV images. We observe that it is able to distinguish built-up area, wet land, vegetation and waterbody from the underlying scene.


title: A Hierarchical Attention Based Seq2seq Model for Chinese Lyrics Generation

abstract: In this paper, we comprehensively study on context-aware generation of Chinese song lyrics. Conventional text generative models generate a sequence or sentence word by word, failing to consider the contextual relationship between sentences. Taking account into the characteristics of lyrics, a hierarchical attention based Seq2Seq (Sequence-to-Sequence) model is proposed for Chinese lyrics generation. With encoding of word-level and sentence-level contextual information, this model promotes the topic relevance and consistency of generation. A large Chinese lyrics corpus is also leveraged for model training. Eventually, results of automatic and human evaluations demonstrate that our model is able to compose complete Chinese lyrics with one united topic constraint.


title: Contributions of Jets in Net Charge Fluctuations from the Beam Energy Scan at RHIC and LHC

abstract: Dynamical net charge fluctuations have been studied in ultra-relativistic heavy-ion collisions from the beam energy scan at RHIC and LHC energies by carrying out the hadronic model simulation. Monte Carlo model, HIJING is used to generate events in two different modes, HIJING-default with jet quenching switched off and jet/minijet production switched off. A popular variable, $\nu_{[+-,dyn]}$ is used to study the net charge fluctuations in different centrality bins and the findings are compared with the available experimental values reported earlier. Although the broad features of net charge fluctuations are reproduced by the HIJING, yet the model predicts the larger magnitude of fluctuations as compared to the one observed in experiments. The role of jets/minijets production in reducing the net charge fluctuations is, however distinctly visible from the analysis of the two types of HIJING events. Furthermore, $dN_{ch}/d\eta$ and $1/N$ scaling is partially exhibited which is due to the fact that in HIJING, nucleus-nucleus collisions are treated as multiple independent nucleon-nucleon collisions.


title: Option Pricing via Multi-path Autoregressive Monte Carlo Approach

abstract: The pricing of financial derivatives, which requires massive calculations and close-to-real-time operations under many trading and arbitrage scenarios, were largely infeasible in the past. However, with the advancement of modern computing, the efficiency has substantially improved. In this work, we propose and design a multi-path option pricing approach via autoregression (AR) process and Monte Carlo Simulations (MCS). Our approach learns and incorporates the price characteristics into AR process, and re-generates the price paths for options. We apply our approach to price weekly options underlying Taiwan Stock Exchange Capitalization Weighted Stock Index (TAIEX) and compare the results with prior practiced models, e.g., Black-Scholes-Merton and Binomial Tree. The results show that our approach is comparable with prior practiced models.


title: Non parametric estimation of joint, Renyi-Stallis entropies and mutual information and asymptotic limits

abstract: This paper proposes a new method for estimating the joint probability mass function of a pair of discrete random variables. This estimator is used to construct joint Shannon R\'enyi-Tsallis entropies, and the mutual information estimates of a pair of discrete random variables. Almost sure consistency and central limit Theorems are established. Our theorical results are validated by simulations.


title: Toda theory in AdS$_{2}$ and $\mathcal WA_{n}$-algebra structure of boundary correlators

abstract: We consider the conformal $A_{n}$ Toda theory in AdS$_{2}$. Due to the bulk full Virasoro symmetry, this system provides an instance of a non-gravitational $\text{AdS}_{2}$/$\text{CFT}_{1}$ correspondence where the 1d boundary theory enjoys enhanced "$\frac{1}{2}$-Virasoro" symmetry. General boundary correlators are expected to be captured by the restriction of chiral correlators in a suitable $\mathcal WA_{n}$ Virasoro extension. At next-to-leading order in weak coupling expansion they have been conjectured to match the subleading terms in the large central charge expansion of the dual $\mathcal WA_{n}$ correlators. We explicitly test this conjecture on the boundary four point functions of the Toda scalar fields dual to $\mathcal WA_{n}$ generators with next-to-minimal spin 3 and 4. Our analysis is valid in the generic rank case and extends previous results for specific rank-2 Toda theories. On the AdS side, the extension is straightforward and requires the computation of a finite set of tree Witten diagrams. This is due to simple rank dependence and selection rules of cubic and quartic couplings. On the boundary, the CFT calculation is made feasible by exploiting crossing symmetry and specific meromorphic properties of the $\mathcal W$-algebra correlators at large central charge. We present the required 4-point functions in closed form for any rank and verify the bulk-boundary correspondence in full details.


title: R-Symmetric NMSSM

abstract: It is well known that the observed Higgs mass is more naturally explained in the NMSSM than in the MSSM. Without any violation of this success, there are variants on the NMSSM which can lead to new phenomenologies. In this study we propose a new variant of NMSSM by imposing an unbroken $R$ symmetry. We firstly identify the minimal structure of such scenario from the perspective of both simplicity and viability, then compare model predictions to current experimental limits, and finally highlight main features that differ from the well-known scenarios.


title: Studying Internal Compositions of Binary Alloy Pd-Rh Nanoparticles Using Bragg Coherent Diffraction Imaging

abstract: Bragg coherent diffraction imaging (BCDI), the well-established technique for imaging internal strain of nanoparticles, was used to image the internal compositional distribution of binary alloys in thermal equilibrium. The images experimentally obtained for Pd-Rh alloy nanoparticles are presented and discussed. The direct correspondence between the lattice strain and the compositional deviation is discussed in the derivation of the BCDI displacement field aided by illustrations.


title: The super-connectivity of Johnson graphs

abstract: For positive integers $n,k$ and $t$, the uniform subset graph $G(n, k, t)$ has all $k$-subsets of $\{1,2,\ldots, n\}$ as vertices and two $k$-subsets are joined by an edge if they intersect at exactly $t$ elements. The Johnson graph $J(n,k)$ corresponds to $G(n,k,k-1)$, that is, two vertices of $J(n,k)$ are adjacent if the intersection of the corresponding $k$-subsets has size $k-1$. A super vertex-cut of a connected graph is a set of vertices whose removal disconnects the graph without isolating a vertex and the super-connectivity is the size of a minimum super vertex-cut. In this work, we fully determine the super-connectivity of the family of Johnson graphs $J(n,k)$ for $n\geq k\geq 1$.


title: Distance scaling and polarization of electric-field noise in a surface ion trap

abstract: We probe electric-field noise in a surface ion trap for ion-surface distances $d$ between 50 and 300 $\mu\mathrm{m}$ in the normal and planar directions. We find the noise distance dependence to scale as $d^{-2.6}$ in our trap and a frequency dependence which is consistent with $1/f$ noise. Simulations of the electric-field noise specific to our trap geometry provide evidence that we are not limited by technical noise sources. Our distance scaling data is consistent with a noise correlation length of about 100 $\mu\mathrm{m}$ at the trap surface, and we discuss how patch potentials of this size would be modified by the electrode geometry.


title: A Secure Consensus Protocol for Sidechains

abstract: Sidechain technology has been envisioned as a promising solution to accelerate today's public blockchains in terms of scalability and interoperability. By relying on the mainchain for security, different sidechains can formulate their own rules to reach consensus. Although the literature has considered the possibility of using consensus protocols in the sidechain, so far a tailor-made consensus protocol for sidechains with high performance and formal security proof has not been attempted. To fill this gap, we introduce Cumulus, a low overhead, highly efficient, security provable sidechain protocol. Cumulus makes use of smart contracts to ensure that only one block proposed in the sidechain will be enforced on the mainchain in each round, thereby achieving consensus in an efficient manner. We give a formal specification of Cumulus which ensures safety and liveness without any online requirements of clients. For security analysis, we provide formal security definitions and proofs under Universally Composable Security (UCS) model. As a proof of concept, we implement Cumulus and evaluate it in an Ethereum testnet.