title: An Efficient and Layout-Independent Automatic License Plate Recognition System Based on the YOLO detector

abstract: This paper presents an efficient and layout-independent Automatic License Plate Recognition (ALPR) system based on the state-of-the-art YOLO object detector that contains a unified approach for license plate (LP) detection and layout classification to improve the recognition results using post-processing rules. The system is conceived by evaluating and optimizing different models, aiming at achieving the best speed/accuracy trade-off at each stage. The networks are trained using images from several datasets, with the addition of various data augmentation techniques, so that they are robust under different conditions. The proposed system achieved an average end-to-end recognition rate of 96.9% across eight public datasets (from five different regions) used in the experiments, outperforming both previous works and commercial systems in the ChineseLP, OpenALPR-EU, SSIG-SegPlate and UFPR-ALPR datasets. In the other datasets, the proposed approach achieved competitive results to those attained by the baselines. Our system also achieved impressive frames per second (FPS) rates on a high-end GPU, being able to perform in real time even when there are four vehicles in the scene. An additional contribution is that we manually labeled 38,351 bounding boxes on 6,239 images from public datasets and made the annotations publicly available to the research community.


title: Optimal uniform continuity bound for conditional entropy of classical--quantum states

abstract: In this short note, I show how a recent result of Alhejji and Smith [arXiv:1909.00787] regarding an optimal uniform continuity bound for classical conditional entropy leads to an optimal uniform continuity bound for quantum conditional entropy of classical--quantum states. The bound is optimal in the sense that there always exists a pair of classical--quantum states saturating the bound, and so no further improvements are possible. An immediate application is a uniform continuity bound for entanglement of formation that improves upon the one previously given by Winter in [arXiv:1507.07775]. Two intriguing open questions are raised regarding other possible uniform continuity bounds for conditional entropy, one about quantum--classical states and another about fully quantum bipartite states.

categories: quant-ph cs.IT hep-th math-ph math.IT math.MP


title: Rate-Memory Trade-off for Multi-access Coded Caching with Uncoded Placement

abstract: We study a multi-access variant of the popular coded caching framework, which consists of a central server with a catalog of $N$ files, $K$ caches with limited memory $M$, and $K$ users such that each user has access to $L$ consecutive caches with a cyclic wrap-around and requests one file from the central server's catalog. The server assists in file delivery by transmitting a message of size $R$ over a shared error-free link and the goal is to characterize the optimal rate-memory trade-off. This setup was studied previously by Hachem et al., where an achievable rate and an information-theoretic lower bound were derived. However, the multiplicative gap between them was shown to scale linearly with the access degree $L$ and thus order-optimality could not be established. A series of recent works have used a natural mapping of the coded caching problem to the well-known index coding problem to derive tighter characterizations of the optimal rate-memory trade-off under the additional assumption that the caches store uncoded content. We follow a similar strategy for the multi-access framework and provide new bounds for the optimal rate-memory trade-off $R^*(M)$ over all uncoded placement policies. In particular, we derive a new achievable rate for any $L \ge 1$ and a new lower bound, which works for any uncoded placement policy and $L \ge K/2$. We then establish that the (multiplicative) gap between the new achievable rate and the lower bound is at most $2$ independent of all parameters, thus establishing an order-optimal characterization of $R^*(M)$ for any $L\ge K/2$. This is a significant improvement over the previously known gap result, albeit under the restriction of uncoded placement policies. Finally, we also characterize $R^*(M)$ exactly for a few special cases.


title: Augmented Memory Networks for Streaming-Based Active One-Shot Learning

abstract: One of the major challenges in training deep architectures for predictive tasks is the scarcity and cost of labeled training data. Active Learning (AL) is one way of addressing this challenge. In stream-based AL, observations are continuously made available to the learner that have to decide whether to request a label or to make a prediction. The goal is to reduce the request rate while at the same time maximize prediction performance. In previous research, reinforcement learning has been used for learning the AL request/prediction strategy. In our work, we propose to equip a reinforcement learning process with memory augmented neural networks, to enhance the one-shot capabilities. Moreover, we introduce Class Margin Sampling (CMS) as an extension of the standard margin sampling to the reinforcement learning setting. This strategy aims to reduce training time and improve sample efficiency in the training process. We evaluate the proposed method on a classification task using empirical accuracy of label predictions and percentage of label requests. The results indicates that the proposed method, by making use of the memory augmented networks and CMS in the training process, outperforms existing baselines.


title: Value Iteration Algorithm for Mean-field Games

abstract: In the literature, existence of mean-field equilibria has been established for discrete-time mean field games under both the discounted cost and the average cost optimality criteria. In this paper, we provide a value iteration algorithm to compute mean-field equilibrium for both the discounted cost and the average cost criteria, whose existence proved previously. We establish that the value iteration algorithm converges to the fixed point of a mean-field equilibrium operator. Then, using this fixed point, we construct a mean-field equilibrium. In our value iteration algorithm, we use $Q$-functions instead of value functions.


title: Data Selection for Short Term load forecasting

abstract: Power load forecast with Machine Learning is a fairly mature application of artificial intelligence and it is indispensable in operation, control and planning. Data selection techniqies have been hardly used in this application. However, the use of such techniques could be beneficial provided the assumption that the data is identically distributed is clearly not true in load forecasting, but it is cyclostationary. In this work we present a fully automatic methodology to determine what are the most adequate data to train a predictor which is based on a full Bayesian probabilistic model. We assess the performance of the method with experiments based on real publicly available data recorded from several years in the United States of America.


title: An Empirical Study of the Relationships between Code Readability and Software Complexity

abstract: Code readability and software complexity are important software quality metrics that impact other software metrics such as maintainability, reusability, portability and reliability. This paper presents an empirical study of the relationships between code readability and program complexity. The results are derived from an analysis of 35 Java programs that cover 23 distinct code constructs. The analysis includes six readability metrics and two complexity metrics. Our study empirically confirms the existing wisdom that readability and complexity are negatively correlated. Applying a machine learning technique, we also identify and rank those code constructs that substantially affect code readability.


title: Single Training Dimension Selection for Word Embedding with PCA

abstract: In this paper, we present a fast and reliable method based on PCA to select the number of dimensions for word embeddings. First, we train one embedding with a generous upper bound (e.g. 1,000) of dimensions. Then we transform the embeddings using PCA and incrementally remove the lesser dimensions one at a time while recording the embeddings' performance on language tasks. Lastly, we select the number of dimensions while balancing model size and accuracy. Experiments using various datasets and language tasks demonstrate that we are able to train 10 times fewer sets of embeddings while retaining optimal performance. Researchers interested in training the best-performing embeddings for downstream tasks, such as sentiment analysis, question answering and hypernym extraction, as well as those interested in embedding compression should find the method helpful.


title: Extending the Scope of Robust Quadratic Optimization

abstract: We derive computationally tractable formulations of the robust counterparts of convex quadratic and conic quadratic constraints that are concave in matrix-valued uncertain parameters. We do this for a broad range of uncertainty sets. In particular, we show how to reformulate the support functions of uncertainty sets represented in terms of matrix norms and cones. Our results provide extensions to known results from the literature. We also consider hard quadratic constraints; those that are convex in uncertain matrix-valued parameters. For the robust counterpart of such constraints we derive inner and outer tractable approximations. As application, we show how to construct a natural uncertainty set based on a statistical confidence set around a sample mean vector and covariance matrix and use this to provide a tractable reformulation of the robust counterpart of an uncertain portfolio optimization problem. We also apply the results of this paper to a norm approximation and a regression line problem.


title: Video Affective Effects Prediction with Multi-modal Fusion and Shot-Long Temporal Context

abstract: Predicting the emotional impact of videos using machine learning is a challenging task considering the varieties of modalities, the complicated temporal contex of the video as well as the time dependency of the emotional states. Feature extraction, multi-modal fusion and temporal context fusion are crucial stages for predicting valence and arousal values in the emotional impact, but have not been successfully exploited. In this paper, we propose a comprehensive framework with novel designs of modal structure and multi-modal fusion strategy. We select the most suitable modalities for valence and arousal tasks respectively and each modal feature is extracted using the modality-specific pre-trained deep model on large generic dataset. Two-time-scale structures, one for the intra-clip and the other for the inter-clip, are proposed to capture the temporal dependency of video content and emotion states. To combine the complementary information from multiple modalities, an effective and efficient residual-based progressive training strategy is proposed. Each modality is step-wisely combined into the multi-modal model, responsible for completing the missing parts of features. With all those improvements above, our proposed prediction framework achieves better performance on the LIRIS-ACCEDE dataset with a large margin compared to the state-of-the-art.


title: On the Iwasawa invariants of Kato's zeta elements for modular forms

abstract: We study the behavior of the Iwasawa invariants of the Iwasawa modules which appear in Kato's main conjecture without $p$-adic $L$-functions under congruences. It generalizes the work of Greenberg-Vatsal, Emerton-Pollack-Weston, B.D. Kim, Greenberg-Iovita-Pollack, and one of us simultaneously. As a consequence, we establish the propagation of Kato's main conjecture for modular forms of higher weight at arbitrary good prime under the assumption on the mod $p$ non-vanishing of Kato's zeta elements. The application to the $\pm$ and $\sharp/\flat$-Iwasawa theory for modular forms is also discussed.


title: Non-relativistic quantum effects on the harmonic oscillator in a spacetime with a distortion of a vertical line into a vertical spiral

abstract: Non-relativistic quantum effects of the topology of the spacetime with the distortion of a vertical line into a vertical spiral on the harmonic oscillator are investigated. By searching for analytical solutions to the Schr\"odinger equation in this topological defect background, it is shown that the topology of the spacetime modifies the spectrum of energy of the harmonic oscillator. Besides, it is shown that there exists an Aharonov-Bohm-type effect for bound states.


title: Modeling and verification method for an early validation of a train system

abstract: This paper presents the results achieved while pursuing the verification and validation of a train system behavior at the first steps of development in an industrial context. A method is proposed, supported by preliminary results through the definition and verification of constrained states and preconditions to use cases, as well as a structure for the behavior.


title: Modular Modeling and Optimized Scheduling of Building Energy Systems Based on Mixed Integer Programming

abstract: Almost climate neutral buildings are one of the core goals in terms of sustainability. Beside the support of the necessary design decisions for an integrated, interoperable, ecological and economical operation of building energy systems, innovative management solutions for scheduling the operation of decentralized energy systems are of great importance. The challenge is optimal interaction between energy system components in terms of own consumption, energy efficiency and resource consumption as well as greenhouse gas emissions. To achieve these goals a modular optimization approach based on Mixed Integer Programming is proposed. In detail, and to our knowledge the first time, a MIP model for the dynamic behavior of fuel cell Combined Heat and Power plants is presented. Our approach is evaluated for the operation of heat pumps showing that their energy efficiency can be increased significantly.


title: Learning to gesticulate by observation using a deep generative approach

abstract: The goal of the system presented in this paper is to develop a natural talking gesture generation behavior for a humanoid robot, by feeding a Generative Adversarial Network (GAN) with human talking gestures recorded by a Kinect. A direct kinematic approach is used to translate from human poses to robot joint positions. The provided videos show that the robot is able to use a wide variety of gestures, offering a non-dreary, natural expression level.


title: Complexity of Computing the Shapley Value in Games with Externalities

abstract: We study the complexity of computing the Shapley value in games with externalities. We focus on two representations based on marginal contribution nets (embedded MC-nets and weighted MC-nets). Our results show that while weighted MC-nets are more concise than embedded MC-nets, they have slightly worse computational properties when it comes to computing the Shapley value.


title: First-principles many-body models for electron transport through molecular nanomagnets

abstract: Impressive advances in the field of molecular spintronics allow one to study electron transport through individual magnetic molecules embedded between metallic leads in the purely quantum regime of single electron tunneling. Besides fundamental interest, this experimental setup, in which a single molecule is manipulated by electronic means, provides the elementary units of possible forthcoming technological applications, ranging from spin valves to transistors and qubits for quantum information processing. Theoretically, while for weakly correlated molecular junctions established first-principles techniques do enable the system-specific description of transport phenomena, methods of similar power and flexibility are still lacking for junctions involving strongly correlated molecular nanomagnets. Here we propose an efficient scheme based on the ab initio construction of material-specific Hubbard models and on the master-equation formalism. We apply this approach to a representative case, the Ni$_2$ molecular spin dimer, in the regime of weak molecule-electrode coupling, the one relevant for quantum-information applications. Our approach allows us to study in a realistic setting many-body effects such as current suppression and negative differential conductance. We think that this method has the potential for becoming a very useful tool for describing transport phenomena in strongly correlated molecules.


title: Spiking Neural Networks for Inference and Learning: A Memristor-based Design Perspective

abstract: On metrics of density and power efficiency, neuromorphic technologies have the potential to surpass mainstream computing technologies in tasks where real-time functionality, adaptability, and autonomy are essential. While algorithmic advances in neuromorphic computing are proceeding successfully, the potential of memristors to improve neuromorphic computing have not yet born fruit, primarily because they are often used as a drop-in replacement to conventional memory. However, interdisciplinary approaches anchored in machine learning theory suggest that multifactor plasticity rules matching neural and synaptic dynamics to the device capabilities can take better advantage of memristor dynamics and its stochasticity. Furthermore, such plasticity rules generally show much higher performance than that of classical Spike Time Dependent Plasticity (STDP) rules. This chapter reviews the recent development in learning with spiking neural network models and their possible implementation with memristor-based hardware.


title: Affect Enriched Word Embeddings for News Information Retrieval

abstract: Distributed representations of words have shown to be useful to improve the effectiveness of IR systems in many sub-tasks like query expansion, retrieval and ranking. Algorithms like word2vec, GloVe and others are also key factors in many improvements in different NLP tasks. One common issue with such embedding models is that words like happy and sad appear in similar contexts and hence are wrongly clustered close in the embedding space. In this paper we leverage Aff2Vec, a set of word embeddings models which include affect information, in order to better capture the affect aspect in news text to achieve better results in information retrieval tasks, also such embeddings are less hit by the synonym/antonym issue. We evaluate their effectiveness on two IR related tasks (query expansion and ranking) over the New York Times dataset (TREC-core '17) comparing them against other word embeddings based models and classic ranking models.


title: Reply to a comment on `Understanding the gamma-ray emission from the globular cluster 47 Tuc: evidence for dark matter?'

abstract: Analysing 9 years of Fermi-LAT observations, we recently studied the spectral properties of the prominent globular cluster 47 Tuc (Brown et al. 2018). In particular, we investigated several models to explain the observed gamma-ray emission, ranging from millisecond pulsars (MSP) to Dark Matter (DM), with the motivation for the latter model driven by recent evidence that 47 Tuc harbours an intermediate-mass black hole (IMBH). This investigation found evidence that the observed gamma-ray emission from 47 Tuc is due to two source populations of MSPs and DM. In Bartels \& Edwards (2018), the authors comment that this evidence is an artifact of the MSP spectra used in (Brown et al. 2019). Here we reply to this comment and argue that the authors of Bartels \& Edwards (2018) (i) do not give due consideration to a very important implication of their result and (ii) there is tension between our MSP fit and their MSP fit when taking uncertainties into consideration. As such, we still conclude there is evidence for a DM component which motivates a deeper radio study of the prominent globular cluster 47 Tuc.


title: Method of Distributions for Systems with Stochastic Forcing

abstract: The method of distributions is developed for systems that are governed by hyperbolic conservation laws with stochastic forcing. The method yields a deterministic equation for the cumulative density distribution (CDF) of a system state, e.g., for flow velocity governed by an inviscid Burgers' equation with random source coefficients. This is achieved without recourse to any closure approximation. The CDF model is verified against MC simulations using spectral numerical approximations. It is shown that the CDF model accurately predicts the mean and standard deviation for Gaussian, normal and beta distributions of the random coefficients.


title: Outer independent double Roman domination number of graphs

abstract: A double Roman dominating function of a graph $G$ is a function $f:V(G)\rightarrow \{0,1,2,3\}$ having the property that for each vertex $v$ with $f(v)=0$, there exists $u\in N(v)$ with $f(u)=3$, or there are $u,w\in N(v)$ with $f(u)=f(w)=2$, and if $f(v)=1$, then $v$ is adjacent to a vertex assigned at least $2$ under $f$. The double Roman domination number $\gamma_{dR}(G)$ is the minimum weight $f(V(G))=\sum_{v\in V(G)}f(v)$ among all double Roman dominating functions of $G$. An outer independent double Roman dominating function is a double Roman dominating function $f$ for which the set of vertices assigned $0$ under $f$ is independent. The outer independent double Roman domination number $\gamma_{oidR}(G)$ is the minimum weight taken over all outer independent double Roman dominating functions of $G$. In this work, we present some contributions to the study of outer independent double Roman domination in graphs. Characterizations of the families of all connected graphs with small outer independent double Roman domination numbers, and tight lower and upper bounds on this parameter are given. We moreover bound this parameter for a tree $T$ from below by two times the vertex cover number of $T$ plus one. We also prove that the decision problem associated with $\gamma_{oidR}(G)$ is NP-complete even when restricted to planar graphs with maximum degree at most four. Finally, we give an exact formula for this parameter concerning the corona graphs.


title: Technical Report -- Comparison of Direct Finite Element Simulation with Actuator Line Models and Vortex Models for Simulation of Turbulent Flow Past a Vertical Axis wind Turbine

abstract: We compare three different methodologies for simulation of turbulent flow past a vertical axis wind turbine: (i) full resolution of the turbine blades in a Direct Finite Element Simulation (DFS), (ii) implicit representation of the turbine blades in a 3D Actuator Line Method (ALM), and (iii) implicit representation of the turbine blades as sources in a Vortex Model (VM). The integrated normal force on one blade is computed for a range of azimuthal angles, and is compared to experimental data for the different tip speed ratios, 2.55, 3.44 and 4.09.


title: Feasible Rotator Using Zero Index Metamaterials and Perfect Electric Conductors

abstract: We report the design of a new electromagnetic device with a new mapping function to have simultaneous electromagnetic concentration and rotation using a singular radial mapping. We implement such a device only by using alternating structure of zero index metamaterials and perfect electric conductors. Numerical simulations are performed to verify its functionality.


title: Sequential Convex Restriction and its Applications in Robust Optimization

abstract: This paper presents a convex sufficient condition for solving a system of nonlinear equations under parametric changes and proposes a sequential convex optimization method for solving robust optimization problems with nonlinear equality constraints. By bounding the nonlinearity with concave envelopes and using Brouwer's fixed point theorem, the sufficient condition is expressed in terms of closed-form convex inequality constraints. We extend the result to provide a convex sufficient condition for feasibility under bounded uncertainty. Using these conditions, a non-convex optimization problem can be solved as a sequence of convex optimization problems, with feasibility and robustness guarantees. We present a detailed analysis of the performance and complexity of the proposed condition. The examples in polynomial optimization and nonlinear network are provided to illustrate the proposed method.


title: Approximating two value functions instead of one: towards characterizing a new family of Deep Reinforcement Learning algorithms

abstract: This paper makes one step forward towards characterizing a new family of \textit{model-free} Deep Reinforcement Learning (DRL) algorithms. The aim of these algorithms is to jointly learn an approximation of the state-value function ($V$), alongside an approximation of the state-action value function ($Q$). Our analysis starts with a thorough study of the Deep Quality-Value Learning (DQV) algorithm, a DRL algorithm which has been shown to outperform popular techniques such as Deep-Q-Learning (DQN) and Double-Deep-Q-Learning (DDQN) \cite{sabatelli2018deep}. Intending to investigate why DQV's learning dynamics allow this algorithm to perform so well, we formulate a set of research questions which help us characterize a new family of DRL algorithms. Among our results, we present some specific cases in which DQV's performance can get harmed and introduce a novel \textit{off-policy} DRL algorithm, called DQV-Max, which can outperform DQV. We then study the behavior of the $V$ and $Q$ functions that are learned by DQV and DQV-Max and show that both algorithms might perform so well on several DRL test-beds because they are less prone to suffer from the overestimation bias of the $Q$ function.


title: Non-compact manifolds with Killing spinors

abstract: We present a result for non-compact manifolds with invertible Dirac operator, where we link the presence of a massless Killing spinor, with a harmonic, closed conformal Killing-Yano tensor, if one exists for the specic manifold. A couple of examples are introduced.


title: Density wave and topological reconstruction of an isotropic two-dimensional electron band in external magnetic field

abstract: We predict a mechanism of spontaneous stabilization of a uniaxial density wave in a two-dimensional metal with an isotropic Fermi surface in the presence of external magnetic field. The topological transformation of a closed Fermi surface into an open one decreases the electron band energy due to delocalization of electrons initially localized by magnetic field, additionally affected by the magnetic breakdown effect. The driving mechanism of such reconstruction is a periodic potential due to the self-consistently formed electron density wave. It is accompanied with quantum oscillations periodic in inverse magnetic field, similar to the standard de Haas - van Alphen effect, due to Landau level filling. The phase transition appears as a quantum one at T=0, provided the relevant coupling constant is above the critical one. This critical value rapidly decreases, and finally saturates toward zero on the scale of tens of Tesla. Thus, a strong enough magnetic field can induce the density wave in the system in which it was absent in zero field.


title: Inference in Difference-in-Differences: How Much Should We Trust in Independent Clusters?

abstract: We analyze the challenges for inference in difference-in-differences (DID) when there is spatial correlation. We present novel theoretical insights and empirical evidence on the settings in which ignoring spatial correlation should lead to more or less distortions in DID applications. We show that details such as the time frame used in the estimation, the choice of the treated and control groups, and the choice of the estimator, are key determinants of distortions due to spatial correlation. We also analyze the feasibility and trade-offs involved in a series of alternatives to take spatial correlation into account. Given that, we provide relevant recommendations for applied researchers on how to mitigate and assess the possibility of inference distortions due to spatial correlation.


title: Oracle Efficient Private Non-Convex Optimization

abstract: One of the most effective algorithms for differentially private learning and optimization is objective perturbation. This technique augments a given optimization problem (e.g. deriving from an ERM problem) with a random linear term, and then exactly solves it. However, to date, analyses of this approach crucially rely on the convexity and smoothness of the objective function, limiting its generality. We give two algorithms that extend this approach substantially. The first algorithm requires nothing except boundedness of the loss function, and operates over a discrete domain. Its privacy and accuracy guarantees hold even without assuming convexity. This gives an oracle-efficient optimization algorithm over arbitrary discrete domains that is comparable in its generality to the exponential mechanism. The second algorithm operates over a continuous domain and requires only that the loss function be bounded and Lipschitz in its continuous parameter. Its privacy analysis does not require convexity. Its accuracy analysis does require convexity, but does not require second order conditions like smoothness. Even without convexity, this algorithm can be generically used as an oracle-efficient optimization algorithm, with accuracy evaluated empirically. We complement our theoretical results with an empirical evaluation of the non-convex case, in which we use an integer program solver as our optimization oracle. We find that for the problem of learning linear classifiers, directly optimizing for 0/1 loss using our approach can out-perform the more standard approach of privately optimizing a convex-surrogate loss function on the Adult dataset.


title: Strain-tunable Single Photon Sources in WSe2 Monolayers

abstract: The appearance of single photon sources in atomically thin semiconductors holds great promises for the development of a flexible and ultra-compact quantum technology, in which elastic strain engineering can be used to tailor their emission properties. Here, we show a compact and hybrid 2D-semiconductor-piezoelectric device that allows for controlling the energy of single photons emitted by quantum emitters localized in wrinkled WSe2 monolayers. We demonstrate that strain fields exerted by the piezoelectric device can be used to tune the energy of localized excitons in WSe2 up to 18 meV in a reversible manner, while leaving the single photon purity unaffected over a wide range. Interestingly, we find that the magnitude and in particular the sign of the energy shift as a function of stress is emitter dependent. With the help of finite element simulations we suggest a simple model that explains our experimental observations and, furthermore, discloses that the type of strain (tensile or compressive) experienced by the quantum emitters strongly depends on their localization across the wrinkles. Our findings are of strong relevance for the practical implementation of single photon devices based on two-dimensional materials as well as for understanding the effects of strain on their emission properties.


title: Certified Side Channels

abstract: We demonstrate that the format in which private keys are persisted impacts Side Channel Analysis (SCA) security. Surveying several widely deployed software libraries, we investigate the formats they support, how they parse these keys, and what runtime decisions they make. We uncover a combination of weaknesses and vulnerabilities, in extreme cases inducing completely disjoint multi-precision arithmetic stacks deep within the cryptosystem level for keys that otherwise seem logically equivalent. Exploiting these vulnerabilities, we design and implement key recovery attacks utilizing signals ranging from electromagnetic (EM) emanations, to granular microarchitecture cache timings, to coarse traditional wall clock timings.


title: GPU-based parallelism for ASP-solving

abstract: Answer Set Programming (ASP) has become, the paradigm of choice in the field of logic programming and non-monotonic reasoning. Thanks to the availability of efficient solvers, ASP has been successfully employed in a large number of application domains. The term GPU-computing indicates a recent programming paradigm aimed at enabling the use of modern parallel Graphical Processing Units (GPUs) for general purpose computing. In this paper we describe an approach to ASP-solving that exploits GPU parallelism. The design of a GPU-based solver poses various challenges due to the peculiarities of GPUs' software and hardware architectures and to the intrinsic nature of the satisfiability problem.


title: Existence of minimal hypersurfaces with non-empty free boundary for generic metrics

abstract: For almost all Riemannian metrics (in the $C^\infty$ Baire sense) on a compact manifold with boundary $(M^{n+1},\partial M)$, $3\leq (n + 1)\leq 7$, we prove that, for any open subset $V$ of $\partial M$, there exists a compact, properly embedded free boundary minimal hypersurface intersecting $V$.


title: Fractals2019: Combinatorial Optimisation with Dynamic Constraint Annealing

abstract: Fractals2019 started as a new experimental entry in the RoboCup Soccer 2D Simulation League, based on Gliders2d code base, and advanced to become a RoboCup-2019 champion. We employ combinatorial optimisation methods, within the framework of Guided Self-Organisation, with the search guided by local constraints. We present examples of several tactical tasks based on the Gliders2d code (version v2), including the search for an optimal assignment of heterogeneous player types, as well as blocking behaviours, offside trap, and attacking formations. We propose a new method, Dynamic Constraint Annealing, for solving dynamic constraint satisfaction problems, and apply it to optimise thermodynamic potential of collective behaviours, under dynamically induced constraints.


title: Unifying Causal Models with Trek Rules

abstract: In many scientific contexts, different investigators experiment with or observe different variables with data from a domain in which the distinct variable sets might well be related. This sort of fragmentation sometimes occurs in molecular biology, whether in studies of RNA expression or studies of protein interaction, and it is common in the social sciences. Models are built on the diverse data sets, but combining them can provide a more unified account of the causal processes in the domain. On the other hand, this problem is made challenging by the fact that a variable in one data set may influence variables in another although neither data set contains all of the variables involved. Several authors have proposed using conditional independence properties of fragmentary (marginal) data collections to form unified causal explanations when it is assumed that the data have a common causal explanation but cannot be merged to form a unified dataset. These methods typically return a large number of alternative causal models. The first part of the thesis shows that marginal datasets contain extra information that can be used to reduce the number of possible models, in some cases yielding a unique model.


title: A primal dual variational formulation suitable for a large class of non-convex problems in optimization

abstract: In this article we develop a new primal dual variational formulation suitable for a large class of non-convex problems in the calculus of variations. The results are obtained through basic tools of convex analysis, duality theory, the Legendre transform concept and the respective relations between the primal and dual variables. The novelty here is that the dual formulation is established also for the primal variables, however with a large domain region of concavity about a critical point. Finally, we formally prove there is no duality gap between the primal and dual formulations in a local extremal context.


title: Conservation of energy-momentum of matter as the basis for the gauge theory of gravitation

abstract: According to Yang \& Mills (1954), a {\it conserved} current and a related rigid (`global') symmetry lie at the foundations of gauge theory. When the rigid symmetry is extended to a {\it local} one, a so-called gauge symmetry, a new interaction emerges as gauge potential $A$; its field strength is $F\sim {\rm curl} A$. In gravity, the conservation of the energy-momentum current of matter and the rigid translation symmetry in the Minkowski space of special relativity lie at the foundations of a gravitational gauge theory. If the translation invariance is made local, a gravitational potential $\vartheta$ arises together with its field strength $T\sim {\rm curl}\,\vartheta$. Thereby the Minkowski space deforms into a Weitzenb\"ock space with nonvanishing torsion $T$ but vanishing curvature. The corresponding theory is reviewed and its equivalence to general relativity pointed out. Since translations form a subgroup of the Poincar\'e group, the group of motion of special relativity, one ought to straightforwardly extend the gauging of the translations to the gauging of full Poincar\'e group thereby also including the conservation law of the {\it angular momentum} current. The emerging Poincar\'e gauge (theory of) gravity, starting from the viable Einstein-Cartan theory of 1961, will be shortly reviewed and its prospects for further developments assessed.


title: Mogrifier LSTM

abstract: Many advances in Natural Language Processing have been based upon more expressive models for how inputs interact with the context in which they occur. Recurrent networks, which have enjoyed a modicum of success, still lack the generalization and systematicity ultimately required for modelling language. In this work, we propose an extension to the venerable Long Short-Term Memory in the form of mutual gating of the current input and the previous output. This mechanism affords the modelling of a richer space of interactions between inputs and their context. Equivalently, our model can be viewed as making the transition function given by the LSTM context-dependent. Experiments demonstrate markedly improved generalization on language modelling in the range of 3-4 perplexity points on Penn Treebank and Wikitext-2, and 0.01-0.05 bpc on four character-based datasets. We establish a new state of the art on all datasets with the exception of Enwik8, where we close a large gap between the LSTM and Transformer models.


title: Employ Multimodal Machine Learning for Content quality analysis

abstract: The task of identifying high-quality content becomes increasingly important, and it can improve overall reading time and CTR(click-through rate estimates). Generalizes quality analysis only focused on single Modal,such as image or text,but in today's mainstream media sites a lot of information is presented in graphic form.In this paper we propose a MultiModal quality recognition approach for the quality score. First we use two feature extractors,one for image and another for the text. After that we use an Siamese Network with the rank loss as the optimization objective.Compare with other approach,our approach get a more accuracy result.


title: Integration of returns and decomposition of customer orders in e-commerce warehouses

abstract: In picker-to-parts warehouses, order picking is a cost- and labor-intensive operation that must be designed efficiently. It comprises the construction of order batches and the associated order picker routes, and the assignment and sequencing of those batches to multiple order pickers. The ever-increasing competitiveness among e-commerce companies has made the joint optimization of this order picking process inevitable. Inspired by the large number of product returns and the many but small-sized customer orders, we address a new integrated order picking process problem. We integrate the restocking of returned products into regular order picking routes and we allow for the decomposition of customer orders so that multiple batches may contain products from the same customer order. We thereby generalize the existing models on order picking processing. We provide Mixed Integer Programming (MIP) formulations and a tailored adaptive large neighborhood search heuristic that, amongst others, exploits these MIPs. We propose a new set of practically-sized benchmark instances, consisting of up to 5547 to be picked products and 2491 to be restocked products. On those large-scale instances, we show that integrating the restocking of returned products into regular order picker routes results in cost-savings of 10 to 15%. Allowing for the decomposition of the customer orders' products results in cost savings of up to 44% compared to not allowing this. Finally, we show that on average cost-savings of 17.4% can be obtained by using our ALNS instead of heuristics typically used in practice.


title: Stochastic Submodular Probing with State-Dependent Costs

abstract: In this paper, we study a new stochastic submodular maximization problem with state-dependent costs and rejections. The input of our problem is a budget constraint $B$, and a set of items whose states (i.e., the marginal contribution and the cost of an item) are drawn from a known probability distribution. The only way to know the realized state of an item is to probe that item. We allow rejections, i.e., after probing an item and knowing its actual state, we must decide immediately and irrevocably whether to add that item to our solution or not. Our objective is to sequentially probe/selet a best group of items subject to a budget constraint on the total cost of the selected items. We present a constant approximate solution to this problem. We show that our solution can be extended to an online setting.


title: Bisimulation maps in presheaf categories

abstract: The category of presheaves on a (small) category is a suitable semantic universe to study behaviour of various dynamical systems. In particular, presheaves can be used to record the executions of a system and their morphisms correspond to simulation maps for various kinds of state-based systems. In this paper, we introduce a notion of bisimulation maps between presheaves (or executions) to capture well known behavioural equivalences in an abstract way. We demonstrate the versatility of this framework by working out the characterisations for standard bisimulation, $\forall$-fair bisimulation, and branching bisimulation.


title: Matching Component Analysis for Transfer Learning

abstract: We introduce a new Procrustes-type method called matching component analysis to isolate components in data for transfer learning. Our theoretical results describe the sample complexity of this method, and we demonstrate through numerical experiments that our approach is indeed well suited for transfer learning.


title: Q-functions as models of physical reality

abstract: We show that one may interpret physical reality as random fields in space-time. These have a probability given by the expectation of a coherent state projection operator, called the Q-function. The resulting dynamical evolution includes retrocausal effects. This suggests that a physical universe exists without requiring observers, but with a well-defined probability for its field configuration. By including the meter dynamics, we show that field trajectories have quantum measurement properties without wave-function collapse, including sharp measured eigenvalues. We treat continuous and discrete measurements, and show that this model predicts Bell inequality violations for measurements on correlated spins. A discussion is give of a number of well-known quantum paradoxes, showing how these can be treated in a realistic model of measurement. Our theory resolves a number of practical and philosophical issues in quantum measurement, and we compare it with earlier theories.


title: Phase transition of modified Horndeski gravity with new method

abstract: In this paper, we investigate the critical points of the $ P-V $ diagram and the phase transitions of the Horndenski black holes. In fact, the usual Horndeski black holes do not have $ P-V $ critical points, hence do not show any phase transitions. However, we successfully modify the Horndeski black hole solution to obtain such a phase transition behavior. This modified black holes solution is satisfied by the equation of state of liquid-gas phase transition. Also, we study the thermodynamics of our modified Horndeski black hole by applying a new method based on the equation of state that originated from the slope of temperature versus entropy. This new prescription provides us a simple powerful way to study the critical behavior and the phase transition of the black holes and concludes the novel results. The analytical interpretation of possible phase transition points leads us to set some nonphysical range on the horizon radius for the black hole.


title: Extracting Aspects Hierarchies using Rhetorical Structure Theory

abstract: We propose a novel approach to generate aspect hierarchies that proved to be consistently correct compared with human-generated hierarchies. We present an unsupervised technique using Rhetorical Structure Theory and graph analysis. We evaluated our approach based on 100,000 reviews from Amazon and achieved an astonishing 80% coverage compared with human-generated hierarchies coded in ConceptNet. The method could be easily extended with a sentiment analysis model and used to describe sentiment on different levels of aspect granularity. Hence, besides the flat aspect structure, we can differentiate between aspects and describe if the charging aspect is related to battery or price.


title: Soft Triangles for Expert Aggregation

abstract: We consider the problem of eliciting expert assessments of an uncertain parameter. The context is risk control, where there are, in fact, three uncertain parameters to be estimates. Two of these are probabilities, requiring the that the experts be guided in the concept of "uncertainty about uncertainty." We propose a novel formulation for expert estimates, which relies on the range and the median, rather than the variance and the mean. We discuss the process of elicitation, and provide precise formulas for these new distributions.


title: Analysis of SparseHash: an efficient embedding of set-similarity via sparse projections

abstract: Embeddings provide compact representations of signals in order to perform efficient inference in a wide variety of tasks. In particular, random projections are common tools to construct Euclidean distance-preserving embeddings, while hashing techniques are extensively used to embed set-similarity metrics, such as the Jaccard coefficient. In this letter, we theoretically prove that a class of random projections based on sparse matrices, called SparseHash, can preserve the Jaccard coefficient between the supports of sparse signals, which can be used to estimate set similarities. Moreover, besides the analysis, we provide an efficient implementation and we test the performance in several numerical experiments, both on synthetic and real datasets.


title: Computation Protein Design instances with small tree-width: selection based on coarse approximated 3D average position volume

abstract: This paper proposes small tree-width graph decomposition computational protein design CFN instances defined according to the model [1] with protocol defined by Simononcini et al [2] . The proteins used in the benchmark have been selected in the PDB (not on their biological interest) to explore the efficiency of global search method based on tree-width decomposition. The instances are bigger than those previously proposed in the paper [2] with one backbone relaxation and the aka Beta November 2016 Rosetta force-field [3]. The benchmark includes 21 proteins selected with a low level of sequences identity (40%) . Those instances have been selected on the basis of 3D criteria by applying a decreasing average coarse volume occupancy filter by Amino Acid (-i.e. by CFN variable) . The instances characteristic (see Table 1) contain from 130 up to n = 282 variables with a maximum domain size from 383 to 438, and between 1706 and 6208 cost functions. The min-fill tree-width ranges from 21 to 68, and from 0.16 to 0.34 for a normalized tree width. Those instances have been used for UDGVNS search algorithm[4] benchmarking. This approach is suitable for evaluation of search methods that exploit the notion of graph decomposition.


title: Dual Student: Breaking the Limits of the Teacher in Semi-supervised Learning

abstract: Recently, consistency-based methods have achieved state-of-the-art results in semi-supervised learning (SSL). These methods always involve two roles, an explicit or implicit teacher model and a student model, and penalize predictions under different perturbations by a consistency constraint. However, the weights of these two roles are tightly coupled since the teacher is essentially an exponential moving average (EMA) of the student. In this work, we show that the coupled EMA teacher causes a performance bottleneck. To address this problem, we introduce Dual Student, which replaces the teacher with another student. We also define a novel concept, stable sample, following which a stabilization constraint is designed for our structure to be trainable. Further, we discuss two variants of our method, which produce even higher performance. Extensive experiments show that our method improves the classification performance significantly on several main SSL benchmarks. Specifically, it reduces the error rate of the 13-layer CNN from 16.84% to 12.39% on CIFAR-10 with 1k labels and from 34.10% to 31.56% on CIFAR-100 with 10k labels. In addition, our method also achieves a clear improvement in domain adaptation.


title: Weak interaction studies at SARAF

abstract: We review the current status of the radioisotopes program at the Soreq Applied Research Accelerator Facility (SARAF), where we utilize an electrostatic-ion-beam trap and a magneto-optical trap for studying the nuclear $\beta$-decay from trapped radioactive atoms and ions. The differential energy spectra of $\beta$'s and recoil ions emerging from the decay is sensitive to beyond standard model interactions and is complementary to high energy searches. The completed facility SARAF-II will be one of the world's most powerful deuteron, proton and fast neutron sources, producing light radioactive isotopes in unprecedented amounts, needed for obtaining enough statistics for a high precision measurement.


title: Epistemological Issues in Educational Data Mining

abstract: Educational Data Mining (EDM) shows interesting scientific results lately. However, little has been discussed about philosophical questions regarding the type of knowledge produced in this area. This paper aims to present two epistemological issues in EDM: (i) a question of ontological nature about the content of the knowledge obtained; and (ii) a question of deontological nature, about the guidelines and principles adopted by the researcher in education, to the detriment of the results of his own research. In the end, some considerations and guidelines are outlined as a result of the discussion of the issues raised.


title: ICDM 2019 Knowledge Graph Contest: Team UWA

abstract: We present an overview of our triple extraction system for the ICDM 2019 Knowledge Graph Contest. Our system uses a pipeline-based approach to extract a set of triples from a given document. It offers a simple and effective solution to the challenge of knowledge graph construction from domain-specific text. It also provides the facility to visualise useful information about each triple such as the degree, betweenness, structured relation type(s), and named entity types.


title: HAWC Contributions to the 36th International Cosmic Ray Conference (ICRC2019)

abstract: List of proceedings from the HAWC Collaboration presented at the 36th International Cosmic Ray Conference, 24 July - 1 August 2019, Madison, Wisconsin, USA.


title: Meromorphic nearby cycle functors and monodromies of meromorphic functions (with Appendix by T. Saito)

abstract: We introduce meromorphic nearby cycle functors and study their functorial properties. Moreover we apply them to monodromies of meromorphic functions in various situations. Combinatorial descriptions of their reduced Hodge spectra and Jordan normal forms will be obtained.


title: High-field moment polarization in the itinerant ferromagnet URhSi

abstract: We report a high-magnetic-field study of the itinerant ferromagnet URhSi. Magnetization and electrical resistivity were measured under magnetic fields $\mu_0H$ up to 58~T applied along the directions $\mathbf{a}$, $\mathbf{b}$, and $\mathbf{c}$ of the orthorhombic structure and temperatures $T$ ranging from 1.5 to 50 K. For $\mathbf{H}\parallel\mathbf{b}$, pseudo-metamagnetism at $\mu_0H_m\simeq30-40$~T is associated with a broad step in the magnetization and a maximum in the resistivity. The properties of URhSi are discussed and compared with those of the isostructural superconducting ferromagnets URhGe and UCoGe and of the superconducting paramagnet UTe$_2$.


title: A Deep, Forgetful Novelty-Seeking Movie Recommender Model

abstract: As more and more people shift their movie watching online, competition between movie viewing websites are getting more and more intense. Therefore, it has become incredibly important to accurately predict a given user's watching list to maximize the chances of keeping the user on the platform. Recent studies have suggested that the novelty-seeking propensity of users can impact their viewing behavior. In this paper, we aim to accurately model and describe this novelty-seeking trait across many users and timestamps driven by data, taking into consideration user forgetfulness. Compared to previous studies, we propose a more robust measure for novelty. Our model, termed Deep Forgetful Novelty-Seeking Model (DFNSM), leverages demographic information about users, genre information about movies, and novelty-seeking traits to predict the most likely next actions of a user. To evaluate the performance of our model, we conducted extensive experiments on a large movie rating dataset. The results reveal that DFNSM is very effective for movie recommendation.


title: Learning Distributions Generated by One-Layer ReLU Networks

abstract: We consider the problem of estimating the parameters of a $d$-dimensional rectified Gaussian distribution from i.i.d. samples. A rectified Gaussian distribution is defined by passing a standard Gaussian distribution through a one-layer ReLU neural network. We give a simple algorithm to estimate the parameters (i.e., the weight matrix and bias vector of the ReLU neural network) up to an error $\epsilon||W||_F$ using $\tilde{O}(1/\epsilon^2)$ samples and $\tilde{O}(d^2/\epsilon^2)$ time (log factors are ignored for simplicity). This implies that we can estimate the distribution up to $\epsilon$ in total variation distance using $\tilde{O}(\kappa^2d^2/\epsilon^2)$ samples, where $\kappa$ is the condition number of the covariance matrix. Our only assumption is that the bias vector is non-negative. Without this non-negativity assumption, we show that estimating the bias vector within any error requires the number of samples at least exponential in the infinity norm of the bias vector. Our algorithm is based on the key observation that vector norms and pairwise angles can be estimated separately. We use a recent result on learning from truncated samples. We also prove two sample complexity lower bounds: $\Omega(1/\epsilon^2)$ samples are required to estimate the parameters up to error $\epsilon$, while $\Omega(d/\epsilon^2)$ samples are necessary to estimate the distribution up to $\epsilon$ in total variation distance. The first lower bound implies that our algorithm is optimal for parameter estimation. Finally, we show an interesting connection between learning a two-layer generative model and non-negative matrix factorization. Experimental results are provided to support our analysis.


title: Linear robust adaptive model predictive control: Computational complexity and conservatism -- extended version

abstract: In this paper, we present a robust adaptive model predictive control (MPC) scheme for linear systems subject to parametric uncertainty and additive disturbances. The proposed approach provides a computationally efficient formulation with theoretical guarantees (constraint satisfaction and stability), while allowing for reduced conservatism and improved performance due to online parameter adaptation. A moving window parameter set identification is used to compute a fixed complexity parameter set based on past data. Robust constraint satisfaction is achieved by using a computationally efficient tube based robust MPC method. The predicted cost function is based on a least mean squares point estimate, which ensures finite-gain $\mathcal{L}_2$ stability of the closed loop. The overall algorithm has a fixed (user specified) computational complexity. We illustrate the applicability of the approach and the trade-off between conservatism and computational complexity using a numerical example. This paper is an extended version of~[1], and contains additional details regarding the theoretical proof of Theorem~1, the numerical example, and the offline computations in Appendix~A--B.


title: Cooperative Multi-spacecraft Observation of Incoming Space Threats

abstract: Earth is constantly being bombarded with material from space. Most of the natural material end up being dust grains that litter the surface of Earth, but larger bodies are known to impact every few decades. The most recent large impact was Chelyabinsk which set off a 500-kiloton explosion which was 40 times that of the Hiroshima nuclear explosion. Apart from meteors, there is a growing threat of space assets deorbiting. With these impending space threats, it is critical to have a constellation of satellites to autonomously lookout for meteors and reentering space debris. By using multiple spacecraft, it is possible to perform multipoint observation of the event. Through multipoint observation, it is possible to triangulate the location of the observed event. The detection, tracking, and analysis of these objects all need to be performed autonomously. Our previous work focused on developing several vision algorithms including blob-detection, feature detection, and neural network-based image segment classification. For this multipoint observation to occur, it requires multiple spacecraft to coordinate their actions particularly fixating on the space observation target. Furthermore, communication and coordination are needed for bringing new satellites into observation view and removing other satellites that have lost their view. In this paper, we analyze state-of-the-art observation technology for small satellites and perform detailed design of its implementation. Through this study, we estimate the error estimates on position, velocity, and acceleration. We presume use of low to mid-tier cameras for the spacecraft.


title: 3D Morphable Face Models -- Past, Present and Future

abstract: In this paper, we provide a detailed survey of 3D Morphable Face Models over the 20 years since they were first proposed. The challenges in building and applying these models, namely capture, modeling, image formation, and image analysis, are still active research topics, and we review the state-of-the-art in each of these areas. We also look ahead, identifying unsolved challenges, proposing directions for future research and highlighting the broad range of current and future applications.


title: On a Class of Sixth-order Cahn-Hilliard Type Equations with Logarithmic Potential

abstract: We consider a class of six-order Cahn-Hilliard equations with logarithmic type potential. This system is closely connected with some important phase-field models relevant in different applications, for instance, the functionalized Cahn-Hilliard equation that describes phase separation in mixtures of amphiphilic molecules in solvent, and the Willmore regularization of Cahn-Hilliard equation for anisotropic crystal and epitaxial growth. The singularity of the configuration potential guarantees that the solution always stays in the physical relevant domain [-1,1]. Meanwhile, the resulting system is characterized by some highly singular diffusion terms that make the mathematical analysis more involved. We prove existence and uniqueness of global weak solutions and show their parabolic regularization property for any positive time. Besides, we investigate long-time behavior of the system, proving existence of the global attractor for the associated dynamical process in a suitable complete metric space.


title: Chiral coupling of magnons in waveguides

abstract: We theoretically investigate the collective excitation of multiple (sub)millimeter-sized ferromagnets mediated by waveguide photons. By the position of the magnets in the waveguide, the magnon-photon coupling can be tuned to be chiral, i.e., magnons only couple with photons propagating in one direction, leading to asymmetric transfer of angular momentum and energy between the magnets. A large imbalance in the magnon number distribution over the magnets can be achieved with a long chain of magnets, which concentrate at one edge. The chain also supports standing waves with low radiation efficiency that is inert to the chirality.


title: PISEP^2: Pseudo Image Sequence Evolution based 3D Pose Prediction

abstract: Pose prediction is to predict future poses given a window of previous poses. In this paper, we propose a new problem that predicts poses using 3D joint coordinate sequences. Different from the traditional pose prediction based on Mocap frames, this problem is convenient to use in real applications due to its simple sensors to capture data. We also present a new framework, PISEP^2 (Pseudo Image Sequence Evolution based 3D Pose Prediction), to address this new problem. Specifically, a skeletal representation is proposed by transforming the joint coordinate sequence into an image sequence, which can model the different correlations of different joints. With this image based skeletal representation, we model the pose prediction as the evolution of image sequence. Moreover, a novel inference network is proposed to predict all future poses in one step by decoupling the decoders in a non-recursive manner. Compared with the recursive sequence to sequence model, we can improve the computational efficiency and avoid error accumulation significantly. Extensive experiments are carried out on two benchmark datasets (e.g. G3D and FNTU). The proposed method achieves the state-of-the-art performance on both datasets, which demonstrates the effectiveness of our proposed method.


title: Probing P and CP Violations on the Cosmological Collider

abstract: In direct analogy to the 4-body decay of a heavy scalar particle, the 4-point correlation function of primordial fluctuations carries P and CP information. The CP violation appears as a P-odd angular dependence in the imaginary part of the trispectrum in momentum space. We construct a model with axion-like couplings which leads to observably large CP-violating trispectrum for future surveys. Furthermore, we show the importance of on-shell particle production in observing P- and CP-violating signals. It is impossible to observe these signals from local 4-scalar EFT operators that respect dS isometries, and thus any such observation can rule out single-field EFT with sufficiently small slow-roll parameters. This calculation opens a new frontier of studying P and CP at very high energy scales.


title: An Introduction to Spontaneous Symmetry Breaking

abstract: Perhaps the most important aspect of symmetry in physics is the idea that a state does not need to have the same symmetries as the theory that describes it. This phenomenon is known as spontaneous symmetry breaking. In these lecture notes, starting from a careful definition of symmetry in physics, we introduce symmetry breaking and its consequences. Emphasis is placed on the physics of singular limits, showing the reality of symmetry breaking even in small-sized systems. Topics covered include Nambu-Goldstone modes, quantum corrections, phase transitions, topological defects and gauge fields. We provide many examples from both high energy and condensed matter physics. These notes are suitable for graduate students.


title: Almost Optimal Tensor Sketch

abstract: We construct a matrix $M\in R^{m\otimes d^c}$ with just $m=O(c\,\lambda\,\varepsilon^{-2}\text{poly}\log1/\varepsilon\delta)$ rows, which preserves the norm $\|Mx\|_2=(1\pm\varepsilon)\|x\|_2$ of all $x$ in any given $\lambda$ dimensional subspace of $ R^d$ with probability at least $1-\delta$. This matrix can be applied to tensors $x^{(1)}\otimes\dots\otimes x^{(c)}\in R^{d^c}$ in $O(c\, m \min\{d,m\})$ time -- hence the name "Tensor Sketch". (Here $x\otimes y = \text{asvec}(xy^T) = [x_1y_1, x_1y_2,\dots,x_1y_m,x_2y_1,\dots,x_ny_m]\in R^{nm}$.) This improves upon earlier Tensor Sketch constructions by Pagh and Pham~[TOCT 2013, SIGKDD 2013] and Avron et al.~[NIPS 2014] which require $m=\Omega(3^c\lambda^2\delta^{-1})$ rows for the same guarantees. The factors of $\lambda$, $\varepsilon^{-2}$ and $\log1/\delta$ can all be shown to be necessary making our sketch optimal up to log factors. With another construction we get $\lambda$ times more rows $m=\tilde O(c\,\lambda^2\,\varepsilon^{-2}(\log1/\delta)^3)$, but the matrix can be applied to any vector $x^{(1)}\otimes\dots\otimes x^{(c)}\in R^{d^c}$ in just $\tilde O(c\, (d+m))$ time. This matches the application time of Tensor Sketch while still improving the exponential dependencies in $c$ and $\log1/\delta$. Technically, we show two main lemmas: (1) For many Johnson Lindenstrauss (JL) constructions, if $Q,Q'\in R^{m\times d}$ are independent JL matrices, the element-wise product $Qx \circ Q'y$ equals $M(x\otimes y)$ for some $M\in R^{m\times d^2}$ which is itself a JL matrix. (2) If $M^{(i)}\in R^{m\times md}$ are independent JL matrices, then $M^{(1)}(x \otimes (M^{(2)}y \otimes \dots)) = M(x\otimes y\otimes \dots)$ for some $M\in R^{m\times d^c}$ which is itself a JL matrix. Combining these two results give an efficient sketch for tensors of any size.


title: Frameworks for Querying Databases Using Natural Language: A Literature Review

abstract: A Natural Language Interface (NLI) facilitates users to pose queries to retrieve information from a database without using any artificial language such as the Structured Query Language (SQL). Several applications in various domains including healthcare, customer support and search engines, require elaborating structured data having information on text. Moreover, many issues have been explored including configuration complexity, processing of intensive algorithms, and popularity of relational databases, due to which translating natural language to database query has become a secondary area of investigation. The emerging trend of querying systems and speech-enabled interfaces revived natural language to database queries research area., The last survey published on this topic was six years ago in 2013. To best of our knowledge, there is no recent study found which discusses the current state of the art translations frameworks for natural language for structured and non-structured query languages. In this paper, we have reviewed 47 frameworks from 2008 to 2018. Out of 47, 35 were closely relevant to our work. SQL based frameworks have been categorized as statistical, symbolic and connectionist approaches. Whereas, NoSQL based frameworks have been categorized as semantic matching and pattern matching. These frameworks are then reviewed based on their supporting language, scheme of their heuristic rule, interoperability support, dataset scope and their overall performance score. The findings stated that 70% of the work in natural language to database querying has been carried out for SQL, and NoSQL share 15%, 10% and 5% of languages like SPAROL, CYPHER and GREMLIN respectively. It has also been observed that most of the frameworks support English language only.


title: Corrigendum to "Graphs of hyperbolic groups and a limit set intersection theorem"

abstract: The purpose of this article is to point out a mistake in the published paper "Graphs of hyperbolic groups and limit set intersection theorem- Proc AMS, vol 146, no 5, pp 1859--1871, which subsequently weakens the main theorem of that paper. We state and prove a weaker result in this note.


title: A class of stochastic and distributions-free quantum mechanics evolution equations: The Schr\"odinger-like equations

abstract: A procedure allowing to construct rigorously discrete as well as continuum deterministic evolution equations from stochastic evolution equations is developed using a Dirac's bra and ket notation. This procedure is an extension of an approach previously used by the authors coined Discrete Stochastic Evolution Equations. Definitions and examples of discretes as well as continuum one-dimensional lattices are developed in detail in order to show the basic tools that allows to construct Schr\"odinger-like equations. Extension to d-dimensional lattices are studied in order to provide a wider exposition and the one-dimensional cases are derived as special cases, as expected. Some variants of the procedure allows to construct other evolution equations. Also, using a limiting procedure, it is possible to derive the Schr\"odinger equations from the Schr\"odinger like equations.


title: Internet Appendix for "Sequential Bargaining Based Incentive Mechanism for Collaborative Internet Access"

abstract: This document is an Internet Appendix of paper entitled "Sequential Bargaining Based Incentive Mechanism for Collaborative Internet Access". It includes information about LTE signal metrics, results of idle state experiments, and linear regression assumptions of the models presented in the related paper.


title: Status in flux: Unequal alliances can create power vacuums

abstract: Human groups show a variety of leadership structures from no leader, to changing leaders, to a single long-term leader. When a leader is deposed, the presence of a power vacuum can mean they are often quickly replaced. We lack an explanation of how such phenomena can emerge from simple rules of interaction between individuals. Here, we model transitions between different phases of leadership structure. We find a novel class of group dynamical behaviour where there is a single leader who is quickly replaced when they lose status, demonstrating a power vacuum. The model uses a dynamic network of individuals who non-coercively form and break alliances with one-another, with a key parameter modelling inequality in these alliances. We argue the model can explain transitions in leadership structure in the Neolithic Era from relatively equal hunter-gatherer societies, to groups with chieftains which change over time, to groups with an institutionalised leader on a paternal lineage. Our model demonstrates how these transitions can be explained by the impact of technological developments such as food storage and/or weapons, which meant that alliances became more unequal. In general terms, our approach provides a quantitative understanding of how technology and social norms can affect leadership dynamics and structures.


title: Landau levels in a gravitational field: The Schwarzschild spacetime case

abstract: We investigate the gravitational effect on Landau levels. We show that the familiar infinite Landau degeneracy of the energy levels of a quantum particle moving inside a uniform and constant magnetic field is removed by the interaction of the particle with a gravitational field. Two independent approaches are used to solve the relevant Schr\"odinger equation within the Newtonian approximation. It is found that both approaches yield qualitatively similar results within their respective approximations. With the goal of clarifying some results found in the literature concerning the use of a third independent approach for extracting the quantization condition based on a similar differential equation, we show that such an approach cannot yield a general and yet consistent result. We point out to the more accurate, but impractical, way to use such an approach; a way which does in principle yield a consistent quantization condition. We discuss how our results could be used to contribute in a novel way to the existing methods for testing gravity at the tabletop experiments level as well as at the astrophysical observational level by deriving the corrections brought by Yukawa-like and power-law deviations from the inverse-square law. The full relativistic regime is also examined in detail.


title: hi_class: Background Evolution, Initial Conditions and Approximation Schemes

abstract: Cosmological datasets have great potential to elucidate the nature of dark energy and test gravity on the largest scales available to observation. Theoretical predictions can be computed with hi_class (www.hiclass-code.net), an accurate, fast and flexible code for linear cosmology, incorporating a wide range of dark energy theories and modifications to general relativity. We introduce three new functionalities into hi_class: (1) Support for models based on covariant Lagrangians, including a constraint-preserving integration scheme for the background evolution and a series of worked-out examples: Galileon, nKGB, quintessence (monomial, tracker) and Brans-Dicke. (2) Consistent initial conditions for the scalar-field perturbations in the deep radiation era, identifying the conditions under which modified-gravity isocurvature perturbations may grow faster than adiabatic modes leading to a loss of predictivity. (3) An automated quasistatic approximation scheme allowing order-of-magnitude improvement in computing performance without sacrificing accuracy for wide classes of models. These enhancements bring the treatment of dark energy and modified gravity models to the level of detail comparable to software tools restricted to standard $\Lambda$CDM cosmologies. The hi_class code is publicly available (https://github.com/miguelzuma/hi_class_public), ready to explore current data and prepare for next-generation experiments.


title: A panchromatic spatially resolved study of the inner 500pc of NGC1052 -- II: Gas excitation and kinematics

abstract: We map the optical and near-infrared (NIR) emission-line flux distributions and kinematics of the inner 320$\times$535pc$^2$ of the elliptical galaxy NGC1052. The integral field spectra were obtained with the Gemini Telescope using the GMOS-IFU and NIFS instruments, with angular resolutions of 0''88 and 0''1 in the optical and NIR, respectively. We detect five kinematic components: (1 and 2) Two spatially unresolved components, being a broad line region visible in H$\alpha$, with a FWHM of $\sim$3200km s$^{-1}$ and an intermediate-broad component seen in the [OIII]$\lambda \lambda$4959,5007 doublet; (3) an extended intermediate-width component with 280<FWHM<450km s$^{-1}$ and centroid velocities up to 400km s$^{-1}$, which dominates the flux in our data, attributed either to a bipolar outflow related to the jets, rotation in an eccentric disc or a combination of a disc and large-scale gas bubbles; (4 and 5) two narrow (FWHM<150km s$^{-1}$) components, one visible in [OIII], and one visible in the other emission lines, extending beyond the field-of-view of our data, which is attributed to large-scale shocks. Our results suggest that the ionization within the observed field of view cannot be explained by a single mechanism, with photoionization being the dominant mechanism in the nucleus with a combination of shocks and photoionization responsible for the extended ionization.


title: Robust Utility Maximizing Strategies under Model Uncertainty and their Convergence

abstract: In this paper we investigate a utility maximization problem with drift uncertainty in a multivariate continuous-time Black-Scholes type financial market which may be incomplete. We impose a constraint on the admissible strategies that prevents a pure bond investment and we include uncertainty by means of ellipsoidal uncertainty sets for the drift. Our main results consist firstly in finding an explicit representation of the optimal strategy and the worst-case parameter, secondly in proving a minimax theorem that connects our robust utility maximization problem with the corresponding dual problem. Thirdly, we show that, as the degree of model uncertainty increases, the optimal strategy converges to a generalized uniform diversification strategy.


title: New insights for setting up contractual options for demand side flexibility

abstract: This paper exploits the Duration-of-Use of the demand patterns as a key concept for dealing with demand side flexibility. Starting from the consideration that fine-grained energy metering is not used at the point of supply of the electricity consumers, i.e., the granularity of the energy measured (at time steps of 15 minutes, 30 minutes or one hour), the event-based energy metering (EDM) is indicated as a viable option to provides a very detailed reconstruction of the demand patterns. The use of EDM enables high-quality tracking of the demand peaks with a reduced number of data with respect to the ones needed to measure energy at regular time steps for reaching a similar peak tracking capability. From the EDM outcomes, a new class of options for setting up tariffs or contracts for flexibility, based on the demand duration curve, is envisioned.


title: Effective low-dimensional dynamics of a mean-field coupled network of slow-fast spiking lasers

abstract: Low dimensional dynamics of large networks is the focus of many theoretical works, but controlled laboratory experiments are comparatively very few. Here, we discuss experimental observations on a mean-field coupled network of hundreds of semiconductor lasers, which collectively display effectively low-dimensional mixed mode oscillations and chaotic spiking typical of slow-fast systems. We demonstrate that such a reduced dimensionality originates from the slow-fast nature of the system and of the existence of a critical manifold of the network where most of the dynamics takes place. Experimental measurement of the bifurcation parameter for different network sizes corroborate the theory.


title: Quadratic forms with a strong regularity property on the representations of squares

abstract: A (positive definite and non-classic integral) quadratic form is called strongly $s$-regular if it satisfies a strong regularity property on the number of representations of squares of integers. In this article, we prove that for any integer $k \ge 2$, there are only finitely many isometry classes of strongly $s$-regular quadratic forms with rank $k$ if the minimum of the nonzero squares that are represented by them is fixed.


title: Variants on a conjecture relating block source algebras to characteristic bisets

abstract: Given a block of a finite group, any source algebra has a basis invariant under the multiplicative actions of the defect group. Is such a basis a characteristic biset of the block fusion system? If the basis can be chosen to consist entirely of units, the question is answered in the affirmative. We prove the equivalence of several reformulations of this stronger condition on the source algebra.


title: Using Mw dependence of surface dynamics of glassy polymers to probe the length scale of free surface mobility

abstract: We describe a series of surface levelling experiments in glassy polystyrene (PS) of varying molecular weight. The evolution through a mobile surface layer is described by the glassy thin film equation that was introduced and used in a previous work. Excellent agreement with the data is achieved, with surface mobility as the single free parameter. Different molecular-weight dependencies in mobility are then observed above and below the glass transition. The results are discussed in terms of surface-chain anchoring in the bulk matrix, and the length scale for surface mobility.


title: Multifidelity Computer Model Emulation with High-Dimensional Output: An Application to Storm Surge

abstract: Hurricane-driven storm surge is one of the most deadly and costly natural disasters, making precise quantification of the surge hazard of great importance. Surge hazard quantification is often performed through physics-based computer models of storm surges. Such computer models can be implemented with a wide range of fidelity levels, with computational burdens varying by several orders of magnitude due to the nature of the system. The threat posed by surge makes greater fidelity highly desirable, however such models and their high-volume output tend to come at great computational cost, which can make detailed study of coastal flood hazards prohibitive. These needs make the development of an emulator combining high-dimensional output from multiple complex computer models with different fidelity levels important. We propose a parallel partial autoregressive cokriging model to predict highly-accurate storm surges in a computationally efficient way over a large spatial domain. This emulator has the capability of predicting storm surges as accurately as a high-fidelity computer model given any storm characteristics over a large spatial domain.


title: DeepObfusCode: Source Code Obfuscation Through Sequence-to-Sequence Networks

abstract: The paper explores a novel methodology in source code obfuscation through the application of text-based recurrent neural network (RNN) encoder-decoder models in ciphertext generation and key generation. Sequence-to-sequence models are incorporated into the model architecture to generate obfuscated code, generate the deobfuscation key, and live execution. Quantitative benchmark comparison to existing obfuscation methods indicate significant improvement in stealth and execution cost for the proposed solution, and experiments regarding the model's properties yield positive results regarding its character variation, dissimilarity to the original codebase, and consistent length of obfuscated code.


title: High Accuracy and High Fidelity Extraction of Neural Networks

abstract: In a model extraction attack, an adversary steals a copy of a remotely deployed machine learning model, given oracle prediction access. We taxonomize model extraction attacks around two objectives: *accuracy*, i.e., performing well on the underlying learning task, and *fidelity*, i.e., matching the predictions of the remote victim classifier on any input. To extract a high-accuracy model, we develop a learning-based attack exploiting the victim to supervise the training of an extracted model. Through analytical and empirical arguments, we then explain the inherent limitations that prevent any learning-based strategy from extracting a truly high-fidelity model---i.e., extracting a functionally-equivalent model whose predictions are identical to those of the victim model on all possible inputs. Addressing these limitations, we expand on prior work to develop the first practical functionally-equivalent extraction attack for direct extraction (i.e., without training) of a model's weights. We perform experiments both on academic datasets and a state-of-the-art image classifier trained with 1 billion proprietary images. In addition to broadening the scope of model extraction research, our work demonstrates the practicality of model extraction attacks against production-grade systems.


title: Improving Disentangled Representation Learning with the Beta Bernoulli Process

abstract: To improve the ability of VAE to disentangle in the latent space, existing works mostly focus on enforcing independence among the learned latent factors. However, the ability of these models to disentangle often decreases as the complexity of the generative factors increases. In this paper, we investigate the little-explored effect of the modeling capacity of a posterior density on the disentangling ability of the VAE. We note that the independence within and the complexity of the latent density are two different properties we constrain when regularizing the posterior density: while the former promotes the disentangling ability of VAE, the latter -- if overly limited -- creates an unnecessary competition with the data reconstruction objective in VAE. Therefore, if we preserve the independence but allow richer modeling capacity in the posterior density, we will lift this competition and thereby allow improved independence and data reconstruction at the same time. We investigate this theoretical intuition with a VAE that utilizes a non-parametric latent factor model, the Indian Buffet Process (IBP), as a latent density that is able to grow with the complexity of the data. Across three widely-used benchmark data sets and two clinical data sets little explored for disentangled learning, we qualitatively and quantitatively demonstrated the improved disentangling performance of IBP-VAE over the state of the art. In the latter two clinical data sets riddled with complex factors of variations, we further demonstrated that unsupervised disentangling of nuisance factors via IBP-VAE -- when combined with a supervised objective -- can not only improve task accuracy in comparison to relevant supervised deep architectures but also facilitate knowledge discovery related to task decision-making. A shorter version of this work will appear in the ICDM 2019 conference proceedings.


title: 'Skimming-Perusal' Tracking: A Framework for Real-Time and Robust Long-term Tracking

abstract: Compared with traditional short-term tracking, long-term tracking poses more challenges and is much closer to realistic applications. However, few works have been done and their performance have also been limited. In this work, we present a novel robust and real-time long-term tracking framework based on the proposed skimming and perusal modules. The perusal module consists of an effective bounding box regressor to generate a series of candidate proposals and a robust target verifier to infer the optimal candidate with its confidence score. Based on this score, our tracker determines whether the tracked object being present or absent, and then chooses the tracking strategies of local search or global search respectively in the next frame. To speed up the image-wide global search, a novel skimming module is designed to efficiently choose the most possible regions from a large number of sliding windows. Numerous experimental results on the VOT-2018 long-term and OxUvA long-term benchmarks demonstrate that the proposed method achieves the best performance and runs in real-time. The source codes are available at https://github.com/iiau-tracker/SPLT.


title: Neutrino oscillations in a neutrino-dominated accretion disk around a Kerr BH

abstract: In the binary-driven hypernova model of long gamma-ray bursts, a carbon-oxygen star explodes as a supernova in presence of a neutron star binary companion in close orbit. Hypercritical (i.e. highly super-Eddington) accretion of the ejecta matter onto the neutron star sets in, making it reach the critical mass with consequent formation of a Kerr black hole. We have recently shown that, during the accretion process onto the neutron star, fast neutrino flavour oscillations occur. Numerical simulations of the above system show that a part of the ejecta keeps bound to the newborn Kerr black hole, leading to a new process of hypercritical accretion. We here address, also for this phase of the binary-driven hypernova, the occurrence of neutrino flavour oscillations given the extreme conditions of high density (up to $10^{12}$ g cm$^{-3}$) and temperatures (up to tens of MeV) inside this disk. We estimate the \textcolor{red}{behaviour} of the electronic and non-electronic neutrino content within the two-flavour formalism ($\nu_{e}\nu_{x}$) under the action of neutrino collective effects by neutrino self-interactions. We find that in the case of inverted mass hierarchy, neutrino oscillations inside the disk have frequencies between $\sim (10^{5}$-$10^{9})$ s$^{-1}$, leading the disk to achieve flavour equipartition. This implies that the energy deposition rate by neutrino annihilation ($\nu + \bar{\nu} \to e^{-} + e^{+}$) in the vicinity of the Kerr black hole, is smaller than previous estimates in the literature not accounting by flavour oscillations inside the disk. The exact value of the reduction factor depends on the $\nu_{e}$ and $\nu_{x}$ optical depths but it can be as high as $\sim 5$. The results of this work are a first step toward the analysis of neutrino oscillations in a novel astrophysical context and, as such, deserve further attention.


title: Infinite dimensional families of Calabi-Yau threefolds and moduli of vector bundles

abstract: We study noncompact Calabi-Yau threefolds, their moduli spaces of vector bundles and deformation theory. We present Calabi-Yau threefolds that have infinitely many distinct deformations, constructing them explicitily, and describe the effect that such deformations produce on moduli spaces of vector bundles.


title: Mapping Spiking Neural Networks to Neuromorphic Hardware

abstract: Neuromorphic hardware platforms implement biological neurons and synapses to execute spiking neural networks (SNNs) in an energy-efficient manner. We present SpiNeMap, a design methodology to map SNNs to crossbar-based neuromorphic hardware, minimizing spike latency and energy consumption. SpiNeMap operates in two steps: SpiNeCluster and SpiNePlacer. SpiNeCluster is a heuristic-based clustering technique to partition SNNs into clusters of synapses, where intracluster local synapses are mapped within crossbars of the hardware and inter-cluster global synapses are mapped to the shared interconnect. SpiNeCluster minimizes the number of spikes on global synapses, which reduces spike congestion on the shared interconnect, improving application performance. SpiNePlacer then finds the best placement of local and global synapses on the hardware using a meta-heuristic-based approach to minimize energy consumption and spike latency. We evaluate SpiNeMap using synthetic and realistic SNNs on the DynapSE neuromorphic hardware. We show that SpiNeMap reduces average energy consumption by 45% and average spike latency by 21%, compared to state-of-the-art techniques.


title: Deep kernel learning for integral measurements

abstract: Deep kernel learning refers to a Gaussian process that incorporates neural networks to improve the modelling of complex functions. We present a method that makes this approach feasible for problems where the data consists of line integral measurements of the target function. The performance is illustrated on computed tomography reconstruction examples.


title: Metered reagent injection into microfluidic continuous flow sampling for conductimetric ocean dissolved inorganic carbon sensing

abstract: Continuous and autonomous measurement of total dissolved inorganic carbon (TCO2) in the oceans is critical for modelling important climate change factors such as ocean uptake of atmospheric CO2 and ocean acidification. Miniaturised chemical analysis systems are therefore required which are small enough for integration into the existing Argo ocean float network for long-term unattended depth profiling of dissolved CO2 with the accuracy of laboratory bench analysers. A microfluidic conductivity-based approach offers the potential for such miniaturisation. Reagent payload for >3 yr operation is a critical parameter. The precise injection of acid into sample, liberating CO2 from seawater, is addressed here. Laser etched microfluidic snake channel restrictors and asymmetric Y meters were fabricated to adjust the metering ratio between seawater and acid simulants. Laser etching conditions were varied to create a range of channel dimensions down to ~75 microns. Channel flow versus pressure measurements were used to determine hydrodynamic resistances which were compared with finite element simulations using a range of cross-section profiles and areas. Microfluidic metering circuits were constructed from variable resistance snake channels and dimensionally symmetric or asymmetric Y-junctions. Sample to acid volume ratios (meter ratio) up to 100:1 have been achieved with 300 microns wide snake channel for lengths > 1m. At the highest pattern resolution, this would require a footprint of > 600 mm2 (6 x10-4 m2). Circuits based solely on asymmetric Y-junctions gave meter ratios up to 16:1 with a footprint cost of < 40 mm2 and precision values of ~0.2%. Further design and fabrication refinements will be required to ensure the structural and dimensional integrity of such small channels in future integration of metering units into full TCO2 analysis microfluidic circuits.


title: Hybridization fluctuations in the half-filled periodic Anderson model

abstract: Motivated by recent photoemission and pump-probe experiments, we report determinant Quantum Monte Carlo simulations of hybridization fluctuations in the half-filled periodic Anderson model. A tentative phase diagram is constructed based solely on hybridization fluctuation spectra and reveals a crossover regime between an unhybridized selective Mott state and a fully hybridized Kondo insulating state. This intermediate phase exhibits nonlocal hybridization fluctuations and consequentially the so-called "band bending" and a direct hybridization gap as observed in angle-resolved photoemission spectroscopy and optical conductivity. This connects the band bending with the nonlocal hybridization fluctuations as proposed in latest ultrafast optical pump-probe experiment. The Kondo insulating state is only established at lower temperatures with the development of sufficiently strong inter-site hybridization correlations. Our work suggests a unified picture for interpreting recent photoemission, pump-probe, and optical observations and provides numerical evidences for the importance of hybridization fluctuations in heavy fermion physics.


title: A Classification Of Cohomogeneity One Actions On The Minkowski Space $\mathbb{R}^{3,1}$

abstract: The aim of this paper is to classify cohomogeneity one isometric actions on the 4-dimensional Minkowski space $\mathbb{R}^{3,1}$, up to orbit equivalence. Representations, up to conjugacy, of the acting groups in $O(3,1)\ltimes \mathbb{R}^{3,1}$ are given in both cases, proper and non-proper actions. When the action is proper, the orbits and the orbit spaces are determined.


title: Semiparametric Inference for Non-monotone Missing-Not-at-Random Data: the No Self-Censoring Model

abstract: We study the identification and estimation of statistical functionals of multivariate data missing non-monotonically and not-at-random, taking a semiparametric approach. Specifically, we assume that the missingness mechanism satisfies what has been previously called "no self-censoring" or "itemwise conditionally independent nonresponse," which roughly corresponds to the assumption that no partially-observed variable directly determines its own missingness status. We show that this assumption, combined with an odds ratio parameterization of the joint density, enables identification of functionals of interest, and we establish the semiparametric efficiency bound for the nonparametric model satisfying this assumption. We propose a practical augmented inverse probability weighted estimator, and in the setting with a (possibly high-dimensional) always-observed subset of covariates, our proposed estimator enjoys a certain double-robustness property. We explore the performance of our estimator with simulation experiments and on a previously-studied data set of HIV-positive mothers in Botswana.


title: Meromorphic mappings of a complete connected K\"{a}hler manifold into a projective space sharing hyperplanes

abstract: Let $M$ be a complete K\"{a}hler manifold, whose universal covering is biholomorphic to a ball $\mathbb B^m(R_0)$ in $\mathbb C^m$ ($0<R_0\le +\infty$). In this article, we will show that if three meromorphic mappings $f^1,f^2,f^3$ of $M$ into $\mathbb P^n(\mathbb C)\ (n\ge 2)$ satisfying the condition $(C_\rho)$ and sharing $q\ (q> 2n+1+\alpha+\rho K)$ hyperplanes in general position regardless of multiplicity with certain positive constants $K$ and $\alpha <1$ (explicitly estimated), then $f^1=f^2$ or $f^2=f^3$ or $f^3=f^1$. Moreover, if the above three mappings share the hyperplanes with mutiplicity counted to level $n+1$ then $f^1=f^2=f^3.$ Our results generalize the finiteness and uniqueness theorems for meromorphic mappings of $\mathbb C^m$ into $\mathbb P^n(\mathbb C)$ sharing $2n+2$ hyperplanes in general position with truncated multiplicity.


title: Multiplicities under basechange: finite field case

abstract: A general proposition is proved relating multiplicities (of restriction of a representation of a group to a subgroup) under basechange, and used to calculate some multiplicities for cuspidal representations which become principal series representations under basechange for which multiplicities can be calculated by geometric methods.


title: Blockchain-Powered Software Defined Network-Enabled Networking Infrastructure for Cloud Management

abstract: Cloud architecture has become a valuable solution for different applications, such as big data analytics, due to its high-degree of availability, scalability and strategic value. However, there still remain challenges in managing cloud architecture, in areas such as cloud security. In this paper, we exploit software-defined networking (SDN) and blockchain technologies to secure cloud management platforms from a networking perspective. We develop a blockchain-powered SDN-enabled networking infrastructure in which the integration between blockchain-based security and autonomy management layer and multi-controller SDN networking layer is defined to enhance the integrity of the control and management messages. Furthermore, our proposed networking infrastructure also enables the autonomous bandwidth provisioning to enhance the availability of cloud architecture. In the simulation section, we evaluate the performance of our proposed blockchain-powered SDN-enabled networking infrastructure by considering different scenarios.


title: Hecke operators on Hilbert-Siegel theta series

abstract: We consider the action of Hecke-type operators on Hilbert-Siegel theta series attached to lattices of even rank. We show that average Hilbert-Siegel theta series are eigenforms for these operators, and we explicitly compute the eigenvalues.