title: Geo-Encryption Protocol For Mobile Networks

abstract: We propose a geo-encryption protocol that allow mobile nodes to communicate securely by restricting the decryption of a message to a particular location and time period. Our protocol will handle the exchange of movement parameters, so that a sender is able to geo-encrypt messages to a moving decryption zone that contains a mobile node's estimated location. We also present methods for estimating the node's movement parameters to allow for geo-encryption. Finally, we evaluate our model by measuring the induced overhead to the network and its performance in terms of decryption ratio.


title: Global well-posedness of partially periodic KP-I equation in the energy space and application

abstract: In this article, we address the Cauchy problem for the KP-I equation \[\partial_t u + \partial_x^3 u -\partial_x^{-1}\partial_y^2u + u\partial_x u = 0\] for functions periodic in $y$. We prove global well-posedness of this problem for any data in the energy space $\mathbb{E} = \left\{u\in L^2\left(\mathbb{R}\times\mathbb{T}\right),~\partial_x u \in L^2\left(\mathbb{R}\times\mathbb{T}\right),~\partial_x^{-1}\partial_y u \in L^2\left(\mathbb{R}\times\mathbb{T}\right)\right\}$. We then prove that the KdV line soliton, seen as a special solution of KP-I equation, is orbitally stable under this flow, as long as its speed is small enough.


title: Semisimple and separable algebras in multi-fusion categories

abstract: We give a classification of semisimple and separable algebras in a multi-fusion category over an arbitrary field in analogy to Wedderben-Artin theorem in classical algebras. It turns out that, if the multi-fusion category admits a semisimple Drinfeld center, the only obstruction to the separability of a semisimple algebra arises from inseparable field extensions as in classical algebras. Among others, we show that a division algebra is separable if and only if it has a nonvanishing dimension.


title: Learnable pooling with Context Gating for video classification

abstract: Current methods for video analysis often extract frame-level features using pre-trained convolutional neural networks (CNNs). Such features are then aggregated over time e.g., by simple temporal averaging or more sophisticated recurrent neural networks such as long short-term memory (LSTM) or gated recurrent units (GRU). In this work we revise existing video representations and study alternative methods for temporal aggregation. We first explore clustering-based aggregation layers and propose a two-stream architecture aggregating audio and visual features. We then introduce a learnable non-linear unit, named Context Gating, aiming to model interdependencies among network activations. Our experimental results show the advantage of both improvements for the task of video classification. In particular, we evaluate our method on the large-scale multi-modal Youtube-8M v2 dataset and outperform all other methods in the Youtube 8M Large-Scale Video Understanding challenge.


title: Expert and Non-Expert Opinion about Technological Unemployment

abstract: There is significant concern that technological advances, especially in Robotics and Artificial Intelligence (AI), could lead to high levels of unemployment in the coming decades. Studies have estimated that around half of all current jobs are at risk of automation. To look into this issue in more depth, we surveyed experts in Robotics and AI about the risk, and compared their views with those of non-experts. Whilst the experts predicted a significant number of occupations were at risk of automation in the next two decades, they were more cautious than people outside the field in predicting occupations at risk. Their predictions were consistent with their estimates for when computers might be expected to reach human level performance across a wide range of skills. These estimates were typically decades later than those of the non-experts. Technological barriers may therefore provide society with more time to prepare for an automated future than the public fear. In addition, public expectations may need to be dampened about the speed of progress to be expected in Robotics and AI.


title: Long sets of lengths with maximal elasticity

abstract: We introduce a new invariant describing the structure of sets of lengths in atomic monoids and domains. For an atomic monoid $H$, let $\Delta_{\rho} (H)$ be the set of all positive integers $d$ which occur as differences of arbitrarily long arithmetical progressions contained in sets of lengths having maximal elasticity $\rho (H)$. We study $\Delta_{\rho} (H)$ for transfer Krull monoids of finite type (including commutative Krull domains with finite class group) with methods from additive combinatorics, and also for a class of weakly Krull domains (including orders in algebraic number fields) for which we use ideal theoretic methods.


title: Sparse and Smooth Prior for Bayesian Linear Regression with Application to ETEX Data

abstract: Sparsity of the solution of a linear regression model is a common requirement, and many prior distributions have been designed for this purpose. A combination of the sparsity requirement with smoothness of the solution is also common in application, however, with considerably fewer existing prior models. In this paper, we compare two prior structures, the Bayesian fused lasso (BFL) and least-squares with adaptive prior covariance matrix (LS-APC). Since only variational solution was published for the latter, we derive a Gibbs sampling algorithm for its inference and Bayesian model selection. The method is designed for high dimensional problems, therefore, we discuss numerical issues associated with evaluation of the posterior. In simulation, we show that the LS-APC prior achieves results comparable to that of the Bayesian Fused Lasso for piecewise constant parameter and outperforms the BFL for parameters of more general shapes. Another advantage of the LS-APC priors is revealed in real application to estimation of the release profile of the European Tracer Experiment (ETEX). Specifically, the LS-APC model provides more conservative uncertainty bounds when the regressor matrix is not informative.


title: Uniform magnetization dynamics of a submicron ferromagnetic coin driven by the spin-orbit coupled spin torque

abstract: A simple model of magnetization dynamics in a ferromagnet/doped semiconductor hybrid structure with Rashba spin-orbit interaction (SOI) driven by an applied pulse of the electric field is proposed. The electric current excited by the applied field is spin-polarized due to the SOI and therefore it induces the magnetization rotation in the ferromagnetic layer via s-d exchange coupling. Magnetization dynamics dependence on the electric pulse shape and magnitude is analyzed for realistic values of parameters. We show that it is similar to the dynamics of a damped nonlinear oscillator with the time-dependent frequency proportional to the square root of the applied electric field. The magnetization switching properties of an elliptic magnetic element are examined as a function of the applied field magnitude and direction.


title: Multi-scale streaming anomalies detection for time series

abstract: In the class of streaming anomaly detection algorithms for univariate time series, the size of the sliding window over which various statistics are calculated is an important parameter. To address the anomalous variation in the scale of the pseudo-periodicity of time series, we define a streaming multi-scale anomaly score with a streaming PCA over a multi-scale lag-matrix. We define three methods of aggregation of the multi-scale anomaly scores. We evaluate their performance on Yahoo! and Numenta dataset for unsupervised anomaly detection benchmark. To the best of authors' knowledge, this is the first time a multi-scale streaming anomaly detection has been proposed and systematically studied.


title: Minimum Cost Feedback Selection for Arbitrary Pole Placement in Structured Systems

abstract: This paper addresses optimal feedback selection for generic arbitrary pole placement of structured systems when each feedback edge is associated with a cost. Given a structured system and a feedback cost matrix, our aim is to find a feasible feedback matrix of minimum cost that guarantees arbitrary pole placement of the closed-loop structured system. We first give a polynomial time reduction of the weighted set cover problem to an instance of the feedback selection problem and thereby show that the problem is NP-hard. Then we prove the inapproximability of the problem by showing that constant factor approximation for the problem does not exist unless the set cover problem can be approximated within a constant factor. Since the problem is hard, we study a subclass of systems whose directed acyclic graph constructed using the strongly connected components of the state digraph is a line graph and the state bipartite graph has a perfect matching. We propose a polynomial time optimal algorithm based on dynamic programming for solving the problem on this class of systems. Further, over the same class of systems we relax the perfect matching assumption, and provide a polynomial time 2-optimal solution based on dynamic programming and a minimum cost perfect matching algorithm.


title: Rotation and toroidal magnetic field effects on the stability of two-component jets

abstract: Several observations of astrophysical jets show evidence of a structure in the direction perpendicular to the jet axis, leading to the development of "spine & sheath" models of jets. Most studies focus on a two-component jet consisting of a highly relativistic inner jet and a slower - but still relativistic - outer jet surrounded by an unmagnetized environment. These jets are believed to be susceptible to a relativistic Rayleigh-Taylor-type instability, depending on the effective inertia ratio of the two components. We extend previous studies by taking into account the presence of a non-zero toroidal magnetic field. Different values of magnetization are examined, to detect possible differences in the evolution and stability of the jet. We find that the toroidal field, above a certain level of magnetization $\sigma$, roughly equal to 0.01, can stabilize the jet against the previously mentioned instabilities and that there is a clear trend in the behaviour of the average Lorentz factor and the effective radius of the jet when we continuously increase the magnetization. The simulations are performed using the relativistic MHD module from the open source, parallel, grid adaptive, MPI-AMRVAC code.


title: Searching for sterile neutrinos in dynamical dark energy cosmologies

abstract: We investigate how the dark energy properties change the cosmological limits on sterile neutrino parameters by using recent cosmological observations. We consider the simplest dynamical dark energy models, the $w$CDM model and the holographic dark energy (HDE) model, to make an analysis. The cosmological observations used in this work include the Planck 2015 CMB temperature and polarization data, the baryon acoustic oscillation data, the type Ia supernova data, the Hubble constant direct measurement data, and the Planck CMB lensing data. We find that, $m_{\nu,{\rm{sterile}}}^{\rm{eff}}<0.2675$ eV and $N_{\rm eff}<3.5718$ for $\Lambda$CDM cosmology, $m_{\nu,{\rm{sterile}}}^{\rm{eff}}<0.5313$ eV and $N_{\rm eff}<3.5008$ for $w$CDM cosmology, and $m_{\nu,{\rm{sterile}}}^{\rm{eff}}<0.1989$ eV and $N_{\rm eff}<3.6701$ for HDE cosmology, from the constraints of the combination of these data. Thus, without the addition of measurements of growth of structure, only upper limits on both $m_{\nu,{\rm{sterile}}}^{\rm{eff}}$ and $N_{\rm eff}$ can be derived, indicating that no evidence of the existence of a sterile neutrino species with eV-scale mass is found in this analysis. Moreover, compared to the $\Lambda$CDM model, in the $w$CDM model the limit on $m_{\nu,{\rm{sterile}}}^{\rm{eff}}$ becomes much looser, but in the HDE model the limit becomes much tighter. Therefore, the dark energy properties could significantly influence the constraint limits of sterile neutrino parameters.


title: Hippocampal Spike-Timing Correlations Lead to Hexagonal Grid Fields

abstract: Space is represented in the mammalian brain by the activity of hippocampal place cells as well as in their spike-timing correlations. Here we propose a theory how this temporal code is transformed to spatial firing rate patterns via spike-timing-dependent synaptic plasticity. The resulting dynamics of synaptic weights resembles well-known pattern formation models in which a lateral inhibition mechanism gives rise to a Turing instability. We identify parameter regimes in which hexagonal firing patterns develop as they have been found in medial entorhinal cortex.


title: A Monoidal Model for Multilinearization

abstract: Using the category of finite sets and injections, we construct a new model for the multilinearization of multifunctors between spaces that appears in the derivatives of Goodwillie calculus. We show that this model yields a lax monoidal functor from the category of symmetric functor sequences to the category of symmetric sequences of spaces after evaluating at the unit.


title: Topology Control Schema for Better QoS in Hybrid RF/FSO Mesh Networks

abstract: The practical limitations and challenges of radio frequency (RF) based communication networks have become increasingly apparent over the past decade, leading researchers to seek new hybrid communication approaches. One promising strategy that has been the subject of considerable interest is the augmentation of RF technology by Free Space Optics (FSO), using the strength of each communication technology to overcome the limitations of the other. In this article, we introduce a new scheme for controlling the topology in hybrid Radio-Frequency/Free Space Optics (RF/FSO) wireless mesh networks. Our scheme is based on adaptive adjustments to both transmission power (of RF and FSO transmitters) and the optical beam-width (of FSO transmitters) at individual nodes, with the objective of meeting specified Quality of Service (QoS) requirements, specifically end-to-end delay and throughput. We show how one can effectively encode the instantaneous objectives and constraints of the system as an instance of Integer Linear Programming (ILP). We demonstrate that the technique of Lagrangian Relaxation (LR), augmented with iterative repair heuristics, can be used to determine good (albeit sub-optimal) solutions for the ILP problem, making the approach feasible for mid-sized networks. We make the proposed scheme viable for large-scale networks in terms of number of nodes, number of transceivers, and number of source-destination pairs by solving the ILP problem using a Particle Swarm Optimization (PSO) implementation.


title: Class-specific image denoising using importance sampling

abstract: In this paper, we propose a new image denoising method, tailored to specific classes of images, assuming that a dataset of clean images of the same class is available. Similarly to the non-local means (NLM) algorithm, the proposed method computes a weighted average of non-local patches, which we interpret under the importance sampling framework. This viewpoint introduces flexibility regarding the adopted priors, the noise statistics, and the computation of Bayesian estimates. The importance sampling viewpoint is exploited to approximate the minimum mean squared error (MMSE) patch estimates, using the true underlying prior on image patches. The estimates thus obtained converge to the true MMSE estimates, as the number of samples approaches infinity. Experimental results provide evidence that the proposed denoiser outperforms the state-of-the-art in the specific classes of face and text images.


title: cGAN-based Manga Colorization Using a Single Training Image

abstract: The Japanese comic format known as Manga is popular all over the world. It is traditionally produced in black and white, and colorization is time consuming and costly. Automatic colorization methods generally rely on greyscale values, which are not present in manga. Furthermore, due to copyright protection, colorized manga available for training is scarce. We propose a manga colorization method based on conditional Generative Adversarial Networks (cGAN). Unlike previous cGAN approaches that use many hundreds or thousands of training images, our method requires only a single colorized reference image for training, avoiding the need of a large dataset. Colorizing manga using cGANs can produce blurry results with artifacts, and the resolution is limited. We therefore also propose a method of segmentation and color-correction to mitigate these issues. The final results are sharp, clear, and in high resolution, and stay true to the character's original color scheme.


title: Unusual anisotropy of inplane field magnetoresistance in ultra-high mobility SiGe/Si/SiGe quantum wells

abstract: We find an unusual anisotropy of the inplane field magnetoresistance in ultra-high mobility SiGe/Si/SiGe quantum wells. The anisotropy depends on the orientation between the inplane field, $B_\parallel$, and current, $I$, relative to the crystallographic axes of the sample and is a consequence of the intrinsic ridges on the quantum well surface. For the simplest orientations between current and crystallographic axes, a method of recalculating the magnetoresistance measured at $I\perp B_\parallel$ into the one measured at $I\parallel B_\parallel$ is suggested and is shown to yield results that agree with the experiment.


title: Genetic Algorithm with Optimal Recombination for the Asymmetric Travelling Salesman Problem

abstract: We propose a new genetic algorithm with optimal recombination for the asymmetric instances of travelling salesman problem. The algorithm incorporates several new features that contribute to its effectiveness: (i) Optimal recombination problem is solved within crossover operator. (ii) A new mutation operator performs a random jump within 3-opt or 4-opt neighborhood. (iii) Greedy constructive heuristic of W.Zhang and 3-opt local search heuristic are used to generate the initial population. A computational experiment on TSPLIB instances shows that the proposed algorithm yields competitive results to other well-known memetic algorithms for asymmetric travelling salesman problem.


title: RSU Cloud and its Resource Management in support of Enhanced Vehicular Applications

abstract: We propose Roadside Unit (RSU) Clouds as a novel way to offer non-safety application with QoS for VANETs. The architecture of RSU Clouds is delineated, and consists of traditional RSUs and specialized micro-datacenters and virtual machines (VMs) using Software Defined Networking (SDN). SDN offers the flexibility to migrate or replicate virtual services and reconfigure the data forwarding rules dynamically. However, frequent changes to service hosts and data flows not only result in degradation of services, but are also costly for service providers. In this paper, we use Mininet to analyze and formally quantify the reconfiguration overhead. Our unique RSU Cloud Resource Management (CRM) model jointly minimizes reconfiguration overhead, cost of service deployment and infrastructure routing delay. To the best of our knowledge, we are the first to utilize this approach. We compare the performance of purist approach to our Integer Linear Programming (ILP) model and our innovative heuristic for the CRM technique and discuss the results. We will show the benefits of a holistic approach in Cloud Resource Management with SDN.


title: Online Submodular Maximization Problem with Vector Packing Constraint

abstract: We consider the online vector packing problem in which we have a $d$ dimensional knapsack and items $u$ with weight vectors $\mathbf{w}_u \in \mathbb{R}_+^d$ arrive online in an arbitrary order. Upon the arrival of an item, the algorithm must decide immediately whether to discard or accept the item into the knapsack. When item $u$ is accepted, $\mathbf{w}_u(i)$ units of capacity on dimension $i$ will be taken up, for each $i\in[d]$. To satisfy the knapsack constraint, an accepted item can be later disposed of with no cost, but discarded or disposed of items cannot be recovered. The objective is to maximize the utility of the accepted items $S$ at the end of the algorithm, which is given by $f(S)$ for some non-negative monotone submodular function $f$. For any small constant $\epsilon > 0$, we consider the special case that the weight of an item on every dimension is at most a $(1-\epsilon)$ fraction of the total capacity, and give a polynomial-time deterministic $O(\frac{k}{\epsilon^2})$-competitive algorithm for the problem, where $k$ is the (column) sparsity of the weight vectors. We also show several (almost) tight hardness results even when the algorithm is computationally unbounded. We show that under the $\epsilon$-slack assumption, no deterministic algorithm can obtain any $o(k)$ competitive ratio, and no randomized algorithm can obtain any $o(\frac{k}{\log k})$ competitive ratio. For the general case (when $\epsilon = 0$), no randomized algorithm can obtain any $o(k)$ competitive ratio. In contrast to the $(1+\delta)$ competitive ratio achieved in Kesselheim et al. (STOC 2014) for the problem with random arrival order of items and under large capacity assumption, we show that in the arbitrary arrival order case, even when $\| \mathbf{w}_u \|_\infty$ is arbitrarily small for all items $u$, it is impossible to achieve any $o(\frac{\log k}{\log\log k})$ competitive ratio.


title: Direct imaging of a zero-field target skyrmion and its polarity switch in a chiral magnetic nanodisk

abstract: A target skyrmion is a flux-closed spin texture that has two-fold degeneracy and is promising as a binary state in next generation universal memories. Although its formation in nanopatterned chiral magnets has been predicted, its observation has remained challenging. Here, we use off-axis electron holography to record images of target skyrmions in a 160-nm-diameter nanodisk of the chiral magnet FeGe. We compare experimental measurements with numerical simulations, demonstrate switching between two stable degenerate target skyrmion ground states that have opposite polarities and rotation senses and discuss the observed switching mechanism.


title: The Ptolemy-Alhazen problem and spherical mirror reflection

abstract: An ancient optics problem of Ptolemy, studied later by Alhazen, is discussed. This problem deals with reflection of light in spherical mirrors. Mathematically this reduces to the solution of a quartic equation, which we solve and analyze using a symbolic computation software. Similar problems have been recently studied in connection with ray-tracing, catadioptric optics, scattering of electromagnetic waves, and mathematical billiards, but we were led to this problem in our study of the so-called triangular ratio metric.


title: Static Dalvik VM bytecode instrumentation

abstract: This work proposes a novel approach to restricting the access for blacklisted Android system API calls. Main feature of the suggested method introduced in this paper is that it requires only rootless or (user-mode) access to the system unlike previous works. For that reason this method is valuable for end-users due to the possibility of project distribution via Play Market and it does not require any phone system modifications and/or updates. This paper explains the required background of Android OS necessary for understanding and describes the method for modification Android application. In this paper the proof-of-concept implementation. That is able to block the application's IMEI requests is introduced. Also this paper lists unsuccessful methods that tried to provide the user security. Obviously with those restrictions application may lack some of features that can only be granted in unsecured environment.


title: Trade-off preservation in inverse multi-objective convex optimization

abstract: We present a new inverse optimization methodology for multi-objective convex optimization that accommodates an input solution that may not be Pareto optimal and determines a weight vector that produces a Pareto optimal solution that approximates the input solution and preserves the decision maker's intention encoded in it. We introduce a notion of trade-off preservation, which we use as a measure of similarity for approximating the input solution, and show its connection with minimizing an optimality gap. Our inverse model maintains the complexity of the traditional inverse convex models. We propose a linear approximation to the model and a successive linear programming algorithm that balance between trade-off preservation and computational efficiency, and show that our model encompasses many of the existing models from the literature. We demonstrate the proposed method using clinical data from prostate cancer radiation therapy.


title: Combined Task and Motion Planning as Classical AI Planning

abstract: Planning in robotics is often split into task and motion planning. The high-level, symbolic task planner decides what needs to be done, while the motion planner checks feasibility and fills up geometric detail. It is known however that such a decomposition is not effective in general as the symbolic and geometrical components are not independent. In this work, we show that it is possible to compile task and motion planning problems into classical AI planning problems; i.e., planning problems over finite and discrete state spaces with a known initial state, deterministic actions, and goal states to be reached. The compilation is sound, meaning that classical plans are valid robot plans, and probabilistically complete, meaning that valid robot plans are classical plans when a sufficient number of configurations is sampled. In this approach, motion planners and collision checkers are used for the compilation, but not at planning time. The key elements that make the approach effective are 1) expressive classical AI planning languages for representing the compiled problems in compact form, that unlike PDDL make use of functions and state constraints, and 2) general width-based search algorithms capable of finding plans over huge combinatorial spaces using weak heuristics only. Empirical results are presented for a PR2 robot manipulating tens of objects, for which long plans are required.


title: The best constant in the embedding of $W^{N,1}({\mathbb R}^N)$ into $L^\infty({\mathbb R}^N)$

abstract: We compute the best constant in the embedding of $W^{N,1}({\mathbb R}^N)$ into $L^\infty({\mathbb R}^N)$, extending a result of Humbert and Nazaret in dimensions one and two to any $N$. The main tool is the identification of $\log |x|$ as a fundamental solution of a certain elliptic operator of order $2N$.


title: Non-Nudgable Subgroups of Permutations

abstract: Motivated by a problem from behavioral economics, we study subgroups of permutation groups that have a certain strong symmetry. Given a fixed permutation, consider the set of all permutations with disjoint inversion sets. The group is called non-nudgable, if the cardinality of this set always remains the same when replacing the initial permutation with its inverse. It is called nudgable otherwise. We show that all full permutation groups, standard dihedral groups, half of the alternating groups, and any abelian subgroup are non-nudgable. In the right probabilistic sense, it is thus quite likely that a randomly generated subgroup is non-nudgable. However, the other half of the alternating groups are nudgable. We also construct a smallest possible nudgable group, a 6-element subgroup of the permutation group on 4 elements.


title: Noncommutative products of Euclidean spaces

abstract: We present natural families of coordinate algebras of noncommutative products of Euclidean spaces. These coordinate algebras are quadratic ones associated with an R-matrix which is involutive and satisfies the Yang-Baxter equations. As a consequence they enjoy a list of nice properties, being regular of finite global dimension. Notably, we have eight-dimensional noncommutative euclidean spaces which are particularly well behaved and are deformations parametrised by a two-dimensional sphere. Quotients include noncommutative seven-spheres as well as noncommutative "quaternionic tori". There is invariance for an action of $SU(2) \times SU(2)$ in parallel with the action of $U(1) \times U(1)$ on a "complex" noncommutative torus which allows one to construct quaternionic toric noncommutative manifolds. Additional classes of solutions are disjoint from the classical case.


title: Faster Monte-Carlo Algorithms for Fixation Probability of the Moran Process on Undirected Graphs

abstract: Evolutionary graph theory studies the evolutionary dynamics in a population structure given as a connected graph. Each node of the graph represents an individual of the population, and edges determine how offspring are placed. We consider the classical birth-death Moran process where there are two types of individuals, namely, the residents with fitness 1 and mutants with fitness r. The fitness indicates the reproductive strength. The evolutionary dynamics happens as follows: in the initial step, in a population of all resident individuals a mutant is introduced, and then at each step, an individual is chosen proportional to the fitness of its type to reproduce, and the offspring replaces a neighbor uniformly at random. The process stops when all individuals are either residents or mutants. The probability that all individuals in the end are mutants is called the fixation probability. We present faster polynomial-time Monte-Carlo algorithms for finidng the fixation probability on undirected graphs. Our algorithms are always at least a factor O(n^2/log n) faster as compared to the previous algorithms, where n is the number of nodes, and is polynomial even if r is given in binary. We also present lower bounds showing that the upper bound on the expected number of effective steps we present is asymptotically tight for undirected graphs.


title: WebPol: Fine-grained Information Flow Policies for Web Browsers

abstract: In the standard web browser programming model, third-party scripts included in an application execute with the same privilege as the application's own code. This leaves the application's confidential data vulnerable to theft and leakage by malicious code and inadvertent bugs in the third-party scripts. Security mechanisms in modern browsers (the same-origin policy, cross-origin resource sharing and content security policies) are too coarse to suit this programming model. All these mechanisms (and their extensions) describe whether or not a script can access certain data, whereas the meaningful requirement is to allow untrusted scripts access to confidential data that they need and to prevent the scripts from leaking data on the side. Motivated by this gap, we propose WebPol, a policy mechanism that allows a website developer to include fine-grained policies on confidential application data in the familiar syntax of the JavaScript programming language. The policies can be associated with any webpage element, and specify what aspects of the element can be accessed by which third-party domains. A script can access data that the policy allows it to, but it cannot pass the data (or data derived from it) to other scripts or remote hosts in contravention of the policy. To specify the policies, we expose a small set of new native APIs in JavaScript. Our policies can be enforced using any of the numerous existing proposals for information flow tracking in web browsers. We have integrated our policies into one such proposal that we use to evaluate performance overheads and to test our examples.


title: Measurement and Statistical Analysis of End User Satisfaction with Mobile Network Coverage in Afghanistan

abstract: Network coverage is one of the fundamental requirements of any business of a service provider. Mobile operators are expected to deploy base stations in an effective way in order to cover most of the residential areas of a particular country. Improved network coverage leads to increase total revenue, provide end users with enhanced Quality of Services QoS anytime anywhere, and play vital role in the development of telecom sector. In this paper, we measure and statistically analyze network coverage of mobile operators in Afghanistan. Our study is based on primary data collected on random basis from 1,515 mobile phone users of cellular operators. The relationship between No Network Coverage in some residential areas and Satisfaction of Mobile Phone Users is also investigated. We furthermore propose realistic, feasible and cost-efficient solutions to mobile operators and policy makers in order to expand network coverage to non-covered residential areas as well as enhance the performance of networks in existing covered areas of the country.


title: Exact Learning of Juntas from Membership Queries

abstract: In this paper, we study adaptive and non-adaptive exact learning of Juntas from membership queries. We use new techniques to find new bounds, narrow some of the gaps between the lower bounds and upper bounds and find new deterministic and randomized algorithms with small query and time complexities. Some of the bounds are tight in the sense that finding better ones either gives a breakthrough result in some long-standing combinatorial open problem or needs a new technique that is beyond the existing ones.


title: Agile Millimeter Wave Networks with Provable Guarantees

abstract: There is much interest in integrating millimeter wave radios (mmWave) into wireless LANs and 5G cellular networks to benefit from their multiple GHz of available spectrum. Yet unlike existing technologies, e.g., WiFi, mmWave radios require highly directional antennas. Since the antennas have pencil-beams, the transmitter and receiver need to align their antenna beams before they can communicate. Existing solutions scan the entire space to find the best alignment. Such a process has been shown to introduce up to seconds of delay, and is unsuitable for wireless networks where an access point has to quickly switch between users and accommodate mobile clients. This paper presents Rapid-Link, a new protocol that can find the best mmWave beam alignment without scanning the space. Given all possible directions for setting the antenna beam, Rapid-Link provably finds the optimal direction in logarithmic number of measurements. Further, Rapid-Link works within the existing 802.11ad standard for mmWave LAN, and can support both clients and access points. We have implemented Rapid-Link in a mmWave radio and evaluated it empirically. Our results show that it reduces beam alignment delay by orders of magnitude. In particular, for highly directional mmWave devices operating under 802.11ad, the delay drops from over a second to 2.5 ms.


title: Significance of Side Information in the Graph Matching Problem

abstract: Percolation based graph matching algorithms rely on the availability of seed vertex pairs as side information to efficiently match users across networks. Although such algorithms work well in practice, there are other types of side information available which are potentially useful to an attacker. In this paper, we consider the problem of matching two correlated graphs when an attacker has access to side information, either in the form of community labels or an imperfect initial matching. In the former case, we propose a naive graph matching algorithm by introducing the community degree vectors which harness the information from community labels in an efficient manner. Furthermore, we analyze a variant of the basic percolation algorithm proposed in literature for graphs with community structure. In the latter case, we propose a novel percolation algorithm with two thresholds which uses an imperfect matching as input to match correlated graphs. We evaluate the proposed algorithms on synthetic as well as real world datasets using various experiments. The experimental results demonstrate the importance of communities as side information especially when the number of seeds is small and the networks are weakly correlated.


title: Weak commutativity and finiteness properties of groups

abstract: We consider the group $\mathfrak{X}(G)$ obtained from $G\ast G$ by forcing each element $g$ in the first free factor to commute with the copy of $g$ in the second free factor. Deceptively complicated finitely presented groups arise from this construction: $\mathfrak{X}(G)$ is finitely presented if and only if $G$ is finitely presented, but if $F$ is a non-abelian free group of finite rank then $\mathfrak{X}(F)$ has a subgroup of finite index whose third homology is not finitely generated.


title: Art Gallery Localization

abstract: We study the problem of placing a set $T$ of broadcast towers in a simple polygon $P$ in order for any point to locate itself in the interior of $P$. Let $V(p)$ denote the visibility polygon of a point $p$, as the set of all points $q \in P$ that are visible to $p$. For any point $p \in P$: for each tower $t \in T \cap V(p)$ the point $p$ receives the coordinates of $t$ and the Euclidean distance between $t$ and $p$. From this information $p$ can determine its coordinates. We show a tower-positioning algorithm that computes such a set $T$ of size at most $\lfloor 2n/3\rfloor$, where $n$ is the size of $P$. This improves the previous upper bound of $\lfloor 8n/9\rfloor$ towers. We also show that $\lfloor 2n/3\rfloor$ towers are sometimes necessary.


title: Faster Search by Lackadaisical Quantum Walk

abstract: In the typical model, a discrete-time coined quantum walk searching the 2D grid for a marked vertex achieves a success probability of $O(1/\log N)$ in $O(\sqrt{N \log N})$ steps, which with amplitude amplification yields an overall runtime of $O(\sqrt{N} \log N)$. We show that making the quantum walk lackadaisical or lazy by adding a self-loop of weight $4/N$ to each vertex speeds up the search, causing the success probability to reach a constant near $1$ in $O(\sqrt{N \log N})$ steps, thus yielding an $O(\sqrt{\log N})$ improvement over the typical, loopless algorithm. This improved runtime matches the best known quantum algorithms for this search problem. Our results are based on numerical simulations since the algorithm is not an instance of the abstract search algorithm.


title: Faster batched range minimum queries

abstract: Range Minimum Query (RMQ) is an important building brick of many compressed data structures and string matching algorithms. Although this problem is essentially solved in theory, with sophisticated data structures allowing for constant time queries, there are scenarios in which the number of queries, $q$, is rather small and given beforehand, which encourages to use a simpler approach. A recent work by Alzamel et al. starts with contracting the input array to a much shorter one, with its size proportional to $q$. In this work, we build upon their solution, speeding up handling small batches of queries by a factor of 3.8--7.8 (the gap grows with $q$). The key idea that helped us achieve this advantage is adapting the well-known Sparse Table technique to work on blocks, with speculative block minima comparisons. We also propose an even much faster (but possibly using more space) variant without the array contraction.


title: Concept Drift and Anomaly Detection in Graph Streams

abstract: Graph representations offer powerful and intuitive ways to describe data in a multitude of application domains. Here, we consider stochastic processes generating graphs and propose a methodology for detecting changes in stationarity of such processes. The methodology is general and considers a process generating attributed graphs with a variable number of vertices/edges, without the need to assume one-to-one correspondence between vertices at different time steps. The methodology acts by embedding every graph of the stream into a vector domain, where a conventional multivariate change detection procedure can be easily applied. We ground the soundness of our proposal by proving several theoretical results. In addition, we provide a specific implementation of the methodology and evaluate its effectiveness on several detection problems involving attributed graphs representing biological molecules and drawings. Experimental results are contrasted with respect to suitable baseline methods, demonstrating the effectiveness of our approach.


title: Graphcut Texture Synthesis for Single-Image Superresolution

abstract: Texture synthesis has proven successful at imitating a wide variety of textures. Adding additional constraints (in the form of a low-resolution version of the texture to be synthesized) makes it possible to use texture synthesis methods for texture superresolution.


title: Nonexponential quantum decay under environmental decoherence

abstract: An unstable quantum state generally decays following an exponential law, as environmental decoherence is expected to prevent the decay products from recombining to reconstruct the initial state. Here we show the existence of deviations from exponential decay in open quantum systems under very general conditions. Our results are illustrated with the exact dynamics under quantum Brownian motion and suggest an explanation of recent experimental observations.


title: Accurate and Efficient Profile Matching in Knowledge Bases

abstract: A profile describes a set of properties, e.g. a set of skills a person may have, a set of skills required for a particular job, or a set of abilities a football player may have with respect to a particular team strategy. Profile matching aims to determine how well a given profile fits to a requested profile. The approach taken in this article is grounded in a matching theory that uses filters in lattices to represent profiles, and matching values in the interval [0,1]: the higher the matching value the better is the fit. Such lattices can be derived from knowledge bases exploiting description logics to represent the knowledge about profiles. An interesting first question is, how human expertise concerning the matching can be exploited to obtain most accurate matchings. It will be shown that if a set of filters together with matching values by some human expert is given, then under some mild plausibility assumptions a matching measure can be determined such that the computed matching values preserve the rankings given by the expert. A second question concerns the efficient querying of databases of profile instances. For matching queries that result in a ranked list of profile instances matching a given one it will be shown how corresponding top-k queries can be evaluated on grounds of pre-computed matching values, which in turn allows the maintenance of the knowledge base to be decoupled from the maintenance of profile instances. In addition, it will be shown how the matching queries can be exploited for gap queries that determine how profile instances need to be extended in order to improve in the rankings. Finally, the theory of matching will be extended beyond the filters, which lead to a matching theory that exploits fuzzy sets or probabilistic logic with maximum entropy semantics. It will be shown that added fuzzy links can be captured by extending the underlying lattice.


title: On vertex-disjoint paths in regular graphs

abstract: Let $c\in (0, 1]$ be a real number and let $n$ be a sufficiently large integer. We prove that every $n$-vertex $c n$-regular graph $G$ contains a collection of $\lfloor 1/c \rfloor$ paths whose union covers all but at most $o(n)$ vertices of $G$. The constant $\lfloor 1/c \rfloor$ is best possible when $1/c\notin \mathbb{N}$ and off by $1$ otherwise. Moreover, if in addition $G$ is bipartite, then the number of paths can be reduced to $\lfloor 1/(2c) \rfloor$, which is best possible.


title: Integral perfectoid big Cohen-Macaulay algebras via Andr\'e's theorem

abstract: The main result of this article is to prove that any Noetherian local domain of mixed characteristic maps to an integral perfectoid big Cohen-Macaulay algebra. The proof of this result is based on the construction of almost Cohen-Macaulay algebras in mixed characteristic due to Yves Andr\'e. Moreover, we prove that the absolute integral closure of a complete Noetherian local domain of mixed characteristic maps to an integral perfectoid big Cohen-Macaulay algebra.


title: Quantum Phase Transition in the Twisted Three-Leg Spin Tube

abstract: We investigate the spin-1/2 twisted three-leg antiferromagnetic quantum spin tube in the presence of the easy-plane anisotropy, using the numerical diagonalization of finite-size clusters. And we observe cases of the existence and the absence of magnetization plateau at 1/3 height of saturation magnetization when the anisotropy is tuned. The phenomenological-renormalization analysis indicates a quantum phase transition between the 1/3 magnetization plateau phase and the plateauless one. The phase diagram is also presented.


title: Timelike duality, $M'$-theory and an exotic form of the Englert solution

abstract: Through timelike dualities, one can generate exotic versions of $M$-theory with different spacetime signatures. These are the $M^*$-theory with signature $(9,2,-)$, the $M'$-theory, with signature $(6,5,+)$ and the theories with reversed signatures $(1,10, -)$, $(2,9, +)$ and $(5,6, -)$. In $(s,t, \pm)$, $s$ is the number of space directions, $t$ the number of time directions, and $\pm$ refers to the sign of the kinetic term of the $3$ form. The only irreducible pseudo-riemannian manifolds admitting absolute parallelism are, besides Lie groups, the seven-sphere $S^7 \equiv SO(8)/SO(7)$ and its pseudo-riemannian version $S^{3,4} \equiv SO(4,4)/SO(3,4)$. [There is also the complexification $SO(8,\mathbb{C})/SO(7, \mathbb{C})$, but it is of dimension too high for our considerations.] The seven-sphere $S^7\equiv S^{7,0}$ has been found to play an important role in $11$-dimensional supergravity, both through the Freund-Rubin solution and the Englert solution that uses its remarkable parallelizability to turn on non trivial internal fluxes. The spacetime manifold is in both cases $AdS_4 \times S^7$. We show that $S^{3,4}$ enjoys a similar role in $M'$-theory and construct the exotic form $AdS_4 \times S^{3,4}$ of the Englert solution, with non zero internal fluxes turned on. There is no analogous solution in $M^*$-theory.


title: A fast direct imaging method for the inverse obstacle scattering problem with nonlinear point scatterers

abstract: Consider the scattering of a time-harmonic plane wave by heterogeneous media consisting of linear or nonlinear point scatterers and extended obstacles. A generalized Foldy-Lax formulation is developed to take fully into account of the multiple scattering by the complex media. A new imaging function is proposed and an FFT-based direct imaging method is developed for the inverse obstacle scattering problem, which is to reconstruct the shape of the extended obstacles. The novel idea is to utilize the nonlinear point scatterers to excite high harmonic generation so that enhanced imaging resolution can be achieved. Numerical experiments are presented to demonstrate the effectiveness of the proposed method.


title: Unstable normalized standing waves for the space periodic NLS

abstract: For the stationary nonlinear Schr\"odinger equation $-\Delta u+ V(x)u- f(u) = \lambda u$ with periodic potential $V$ we study the existence and stability properties of multibump solutions with prescribed $L^2$-norm. To this end we introduce a new nondegeneracy condition and develop new superposition techniques which allow to match the $L^2$-constraint. In this way we obtain the existence of infinitely many geometrically distinct solutions to the stationary problem. We then calculate the Morse index of these solutions with respect to the restriction of the underlying energy functional to the associated $L^2$-sphere, and we show their orbital instability with respect to the Schr\"odinger flow. Our results apply in both, the mass-subcritical and the mass-supercritical regime.


title: C*-Algebra Distance Filters

abstract: We use non-symmetric distances to give a self-contained account of C*-algebra filters and their corresponding compact projections, simultaneously simplifying and extending their general theory.


title: Ensemble Framework for Real-time Decision Making

abstract: This paper introduces a new framework for real-time decision making in video games. An Ensemble agent is a compound agent composed of multiple agents, each with its own tasks or goals to achieve. Usually when dealing with real-time decision making, reactive agents are used; that is agents that return a decision based on the current state. While reactive agents are very fast, most games require more than just a rule-based agent to achieve good results. Deliberative agents---agents that use a forward model to search future states---are very useful in games with no hard time limit, such as Go or Backgammon, but generally take too long for real-time games. The Ensemble framework addresses this issue by allowing the agent to be both deliberative and reactive at the same time. This is achieved by breaking up the game-play into logical roles and having highly focused components for each role, with each component disregarding anything outwith its own role. Reactive agents can be used where a reactive agent is suited to the role, and where a deliberative approach is required, branching is kept to a minimum by the removal of all extraneous factors, enabling an informed decision to be made within a much smaller time-frame. An Arbiter is used to combine the component results, allowing high performing agents to be created from simple, efficient components.


title: Statistical Mechanics of Node-perturbation Learning with Noisy Baseline

abstract: Node-perturbation learning is a type of statistical gradient descent algorithm that can be applied to problems where the objective function is not explicitly formulated, including reinforcement learning. It estimates the gradient of an objective function by using the change in the object function in response to the perturbation. The value of the objective function for an unperturbed output is called a baseline. Cho et al. proposed node-perturbation learning with a noisy baseline. In this paper, we report on building the statistical mechanics of Cho's model and on deriving coupled differential equations of order parameters that depict learning dynamics. We also show how to derive the generalization error by solving the differential equations of order parameters. On the basis of the results, we show that Cho's results are also apply in general cases and show some general performances of Cho's model.


title: Web-STAR: Towards a Visual Web-Based IDE for a Story Comprehension System

abstract: In this work, we present Web-STAR, an online platform for story understanding built on top of the STAR (STory comprehension through ARgumentation) reasoning engine. This platform includes a web-based IDE, integration with the STAR system and a web service infrastructure to support integration with other systems that rely on story understanding functionality to complete their tasks. The platform also delivers a number of "social" features like public story sharing with a built-in commenting system, a public repository for sharing stories with the community and collaboration tools that can be used from both project team members for development and educators for teaching. Moreover, we discuss the ongoing work on adding new features and functionality to this platform.


title: The GAPS Programme with HARPS-N at TNG XV. A substellar companion around a K giant star identified with quasi-simultaneous HARPS-N and GIANO measurements

abstract: Context. Identification of planetary companions of giant stars is made difficult because of the astrophysical noise, that may produce radial velocity (RV) variations similar to those induced by a companion. On the other hand any stellar signal is wavelength dependent, while signals due to a companion are achromatic. Aims. Our goal is to determine the origin of the Doppler periodic variations observed in the thick disk K giant star TYC 4282-605-1 by HARPS-N at the Telescopio Nazionale Galileo (TNG) and verify if they can be due to the presence of a substellar companion. Methods. Several methods have been used to exclude the stellar origin of the observed signal including detailed analysis of activity indicators and bisector and the analysis of the photometric light curve. Finally we have conducted an observational campaign to monitor the near infrared (NIR) RV with GIANO at the TNG in order to verify whether the NIR amplitude variations are comparable with those observed in the visible. Results. Both optical and NIR RVs show consistent variations with a period at 101 days and similar amplitude, pointing to the presence of a companion orbiting the target. The main orbital properties obtained for our giant star with a derived mass of M=0.97+-0.03M_sun are M_Psini=10.78+-0.12MJ;P=101.54+-0.05days;e=0.28+-0.01 and a=0.422+-0.009AU. The chemical analysis shows a significant enrichment in the abundance of Nai, Mgi, Ali and S i while the rest of analyzed elements are consistent with the solar value demonstrating that the chemical composition corresponds with an old K giant (age = 10.1 Gyr) belonging to local thick disk. Conclusions. We conclude that the substellar companion hypothesis for this K giant is the best explanation for the observed periodic RV variation. This study also shows the high potential of multi-wavelength RV observations for the validation of planet candidates.


title: FOREST Unbiased Galactic plane Imaging survey with the Nobeyama 45-m telescope (FUGIN) 2: Possible evidence for formation of NGC~6618 cluster in M17 by cloud-cloud collision

abstract: We present $^{12}$CO $J=$1--0, $^{13}$CO $J=$1--0 and C$^{18}$O $J=$1--0 images of the M17 giant molecular clouds obtained as part of FUGIN (FOREST Ultra-wide Galactic Plane Survey InNobeyama) project. The observations cover the entire area of M17 SW and M17 N clouds at the highest angular resolution ($\sim$19$"$) to date which corresponds to $\sim$ 0.15 pc at the distance of 2.0 kpc. We find that the region consists of four different velocity components: very low velocity (VLV) clump, low velocity component (LVC), main velocity component (MVC), and high velocity component (HVC). The LVC and the HVC have cavities. UV photons radiated from NGC 6618 cluster penetrate into the N cloud up to $\sim$ 5 pc through the cavities and interact with molecular gas. This interaction is correlated with the distribution of YSOs in the N cloud. The LVC and the HVC are distributed complementary after that the HVC is displaced by 0.8 pc toward the east-southeast direction, suggesting that collision of the LVC and the HVC create the cavities in both clouds. The collision velocity and timescale are estimated to be 9.9 km s$^{-1}$ and $1.1 \times 10^{5}$ yr, respectively. The high collision velocity can provide the mass accretion rate up to 10$^{-3}$ $M_{\solar}$ yr$^{-1}$, and the high column density ($4 \times 10^{23}$ cm$^{-2}$) might result in massive cluster formation. The scenario of cloud-cloud collision likely well explains the stellar population and its formation history of NGC 6618 cluster proposed by Hoffmeister et al. (2008).


title: Twist invariants of graded algebras

abstract: We define two invariants for (semiprime right Goldie) algebras, one for algebras graded by arbitrary abelian groups, which is unchanged under twists by $2$-cocycles on the grading group, and one for $\mathbb Z$-graded or $\mathbb Z_{\ge 0}$-filtered algebras. The first invariant distinguishes quantum algebras which are "truly multiparameter" apart from ones that are "essentially uniparameter", meaning cocycle twists of uniparameter algebras. We prove that both invariants are stable under adjunction of polynomial variables. Methods for computing these invariants for large families of algebras are given, including quantum nilpotent algebras and algebras admitting one quantum cluster, and applications to non-isomorphism theorems are obtained.


title: Additive Correlation and the Inverse Problem for the Large Sieve

abstract: Let $A\subset [1,N]$ be a set of positive integers with $|A|\gg \sqrt N$. We show that if avoids about $p/2$ residue classes modulo $p$ for each prime $p$, the $A$ must correlate additively with the squares $S=\{n^2:1\leq n\leq \sqrt N\}$, in the sense that we have the additive energy estimate $E(A,S)\gg N\log N$. This is, in a sense, optimal.


title: The coarse index class with support

abstract: We construct the coarse index class with support condition (as an element of coarse $K$-homology) of an equivariant Dirac operator on a complete Riemannian manifold endowed with a proper, isometric action of a group. We further show a coarse relative index theorem and discuss the compatibility of the index with the suspension isomorphism.


title: 3D CFT Archipelago from Single Correlator Bootstrap

abstract: We show that the scaling dimensions of lowest operators in conformal field theories (CFTs) can be isolated in small and closed regions from single correlator bootstrap. We find the conserved currents play crucial roles in bootstrapping the crossing equation. By imposing a mild gap between the scaling dimensions of the conserved current and its next operator, the scaling dimensions of lowest operators are forced to lie in small isolated regions, i.e., these CFTs can be almost fixed by few lowest operators in certain channels. For CFTs with extended supersymmetry, the single correlator crossing equation involves several conserved or shorted operators and by imposing gaps in these sectors it is possible to isolate different CFTs. Specifically, we bootstrap the isolated regions corresponding to the 3D Ising model, $O(N)$ vector model, $N=1,2$ supersymmetric Ising models by introducing mild gaps in certain sectors with conserved or shorted operators.


abstract: Isospin splittings in baryons with two heavy quarks and a $u$ or $d$ quark are calculated using simple methods proposed previously by the authors. The results are $M(\Xi_{cc}^{++})-M(\Xi_{cc}^+) = 1.41 \pm 0.12^{+0.76}$ MeV, $M(\Xi_{bb}^0) - M(\Xi_{bb}^-) = - 4.78 \pm 0.06^{+0.03}$ MeV, and $M(\Xi_{bc}^+)-M(\Xi_{bc}^0)=-1.69 \pm0.07 ^{+0.39}$ MeV, where the statistical errors reflect uncertainties in input mass splittings, and the systematic errors are associated with the choice of constituent-quark masses.


title: High Resolution Spectroscopic Abundances of Red Giant Branch Stars in NGC 6681

abstract: We obtain high resolution spectra of nine red giant branch stars in NGC 6681 and perform the first detailed abundance analysis of stars in this cluster. We confirm cluster membership for these stars based on consistent radial velocities of 214.5$\pm$3.7 km/s and find a mean [Fe/H] = -1.63$\pm$0.07 dex and [{\alpha}/Fe] = 0.42$\pm$0.11 dex. Additionally, we confirm the existence of a Na-O anti-correlation in NGC 6681 and identify two populations of stars with unique abundance trends. With the use of HST photometry from Sarajedini et al. (2007) and Piotto et al. (2015) we are able to identify these two populations as discrete sequences in the cluster CMD. Although we cannot confirm the nature of the polluter stars responsible for the abundance differences in these populations, these results do help put constraints on possible polluter candidates.


title: Knowledge-Concealing Evidencing of Knowledge about a Quantum State

abstract: Bob has a black box that emits a single pure state qudit which is, from his perspective, uniformly distributed. Alice wishes to give Bob evidence that she has knowledge about the emitted state while giving him little or no information about it. We show that zero-knowledge evidencing of such knowledge is impossible in quantum relativistic protocols, extending a previous result of Horodecki et al.. We also show that no such protocol can be both sound and complete. We present a new quantum relativistic protocol which we conjecture to be close to optimal in security against Alice and which reveals little knowledge to Bob, for large dimension $d$. We analyse its security against general attacks by Bob and restricted attacks by Alice.


title: Lumping of Degree-Based Mean Field and Pair Approximation Equations for Multi-State Contact Processes

abstract: Contact processes form a large and highly interesting class of dynamic processes on networks, including epidemic and information spreading. While devising stochastic models of such processes is relatively easy, analyzing them is very challenging from a computational point of view, particularly for large networks appearing in real applications. One strategy to reduce the complexity of their analysis is to rely on approximations, often in terms of a set of differential equations capturing the evolution of a random node, distinguishing nodes with different topological contexts (i.e., different degrees of different neighborhoods), like degree-based mean field (DBMF), approximate master equation (AME), or pair approximation (PA). The number of differential equations so obtained is typically proportional to the maximum degree kmax of the network, which is much smaller than the size of the master equation of the underlying stochastic model, yet numerically solving these equations can still be problematic for large kmax. In this paper, we extend AME and PA, which has been proposed only for the binary state case, to a multi-state setting and provide an aggregation procedure that clusters together nodes having similar degrees, treating those in the same cluster as indistinguishable, thus reducing the number of equations while preserving an accurate description of global observables of interest. We also provide an automatic way to build such equations and to identify a small number of degree clusters that give accurate results. The method is tested on several case studies, where it shows a high level of compression and a reduction of computational time of several orders of magnitude for large networks, with minimal loss in accuracy.


title: 3D DNA origami crystals

abstract: Engineering shape and interactions of nanoscopic building blocks allows for the assembly of rationally designed macroscopic three-dimensional (3D) materials with spatial accuracy inaccessible to top-down fabrication methods. Owing to its sequence-specific interaction, DNA is often used as selective binder to connect metallic nanoparticles into highly ordered lattices. Moreover, 3D crystals assembled entirely from DNA have been proposed and implemented with the declared goal to arrange guest molecules in predefined lattices. This requires design schemes that provide high rigidity and sufficiently large open guest space. We here present a DNA origami-based tensegrity triangle structure that assembles into a 3D rhombohedral crystalline lattice. We site-specifically place 10 nm and 20 nm gold particles within the lattice, demonstrating that our crystals are spacious enough to host e.g. ribosome-sized macromolecules. We validate the accurate assembly of the DNA origami lattice itself as well as the precise incorporation of gold particles by electron microscopy and small angle X-ray scattering (SAXS) experiments. Our results show that it is possible to create DNA building blocks that assemble into lattices with customized geometry. Site-specific hosting of nano objects in the transparent DNA lattice sets the stage for metamaterial and structural biology applications.


title: Chiral symmetry restoration at finite temperature within the Hamiltonian approach to QCD in Coulomb gauge

abstract: The chiral phase transition of the quark sector of QCD is investigated within the Hamiltonian approach in Coulomb gauge. Finite temperatures $T$ are introduced by compactifying one spatial dimension, which makes all thermodynamical quantities accessible from the ground state on the spatial manifold $\mathbb{R}^2 \times S^1(1/T)$. In the limit of a vanishing quark-gluon coupling, the equations of motion of the quark sector are solved numerically and the chiral quark condensate is evaluated and compared to the results of the usual canonical approach to finite-temperature Hamiltonian QCD based on the density operator of the grand canonical ensemble. For zero bare quark masses, we find a second-order chiral phase transition with a critical temperature of about $107 \, \mathrm{MeV}$.


title: MinXSS-1 CubeSat On-Orbit Pointing and Power Performance: The First Flight of the Blue Canyon Technologies XACT 3-axis Attitude Determination and Control System

abstract: The Miniature X-ray Solar Spectrometer (MinXSS) is a 3 Unit (3U) CubeSat designed for a 3-month mission to study solar soft X-ray spectral irradiance. The first of the two flight models was deployed from the International Space Station in 2016 May and operated for one year before its natural deorbiting. This was the first flight of the Blue Canyon Technologies XACT 3-axis attitude determination and control system -- a commercially available, high-precision pointing system. We characterized the performance of the pointing system on orbit including performance at low altitudes where drag torque builds up. We found that the pointing accuracy was 0.0042\degree\ - 0.0117\degree\ (15$''$ - 42$''$, 3$\sigma$, axis dependent) consistently from 190 km - 410 km, slightly better than the specification sheet states. Peak-to-peak jitter was estimated to be 0.0073\degree\ (10 s$^{-1}$) - 0.0183\degree\ (10 s$^{-1}$) (26$''$ (10 s$^{-1}$) - 66$''$ (10 s$^{-1}$), 3$\sigma$). The system was capable of dumping momentum until an altitude of 185 km. We found small amounts of sensor degradation in the star tracker and coarse sun sensor. Our mission profile did not require high-agility maneuvers so we are unable to characterize this metric. Without a GPS receiver, it was necessary to periodically upload ephemeris information to update the orbit propagation model and maintain pointing. At 400 km, these uploads were required once every other week. At $\sim$270 km, they were required every day. We also characterized the power performance of our electric power system, which includes a novel pseudo-peak power tracker -- a resistor that limited the current draw from the battery on the solar panels. With 19 30\% efficient solar cells and an 8 W system load, the power balance had 65\% of margin on orbit. We present several recommendations to other CubeSat programs throughout.


title: Exact Coupling of Random Walks on Polish Groups

abstract: Exact coupling of random walks is studied. Conditions for admitting a successful exact coupling are given that are necessary and in the Abelian case also sufficient. In the Abelian case, it is shown that a random walk $S$ with step-length distribution $\mu$ started at $0$ admits a successful exact coupling with a version $S^x$ started at $x$ if and only if there is $n\geq 1$ with $\mu^{n} \wedge \mu^{n}(x+\cdot) \neq 0$. Moreover, when a successful exact coupling exists, the total variation distance between $S_n$ and $S^x_n$ is determined to be $O(n^{-1/2})$ if $x$ has infinite order, or $O(\rho^n)$ for some $\rho \in (0,1)$ if $x$ has finite order. In particular, this paper solves a problem posed by H. Thorisson on successful exact coupling of random walks on $\mathbb{R}$. It is also noted that the set of such $x$ for which a successful exact coupling can be constructed is a Borel measurable group. Lastly, the weaker notion of possible exact coupling and its relationship to successful exact coupling are studied.


title: Comparing deep neural networks against humans: object recognition when the signal gets weaker

abstract: Human visual object recognition is typically rapid and seemingly effortless, as well as largely independent of viewpoint and object orientation. Until very recently, animate visual systems were the only ones capable of this remarkable computational feat. This has changed with the rise of a class of computer vision algorithms called deep neural networks (DNNs) that achieve human-level classification performance on object recognition tasks. Furthermore, a growing number of studies report similarities in the way DNNs and the human visual system process objects, suggesting that current DNNs may be good models of human visual object recognition. Yet there clearly exist important architectural and processing differences between state-of-the-art DNNs and the primate visual system. The potential behavioural consequences of these differences are not well understood. We aim to address this issue by comparing human and DNN generalisation abilities towards image degradations. We find the human visual system to be more robust to image manipulations like contrast reduction, additive noise or novel eidolon-distortions. In addition, we find progressively diverging classification error-patterns between humans and DNNs when the signal gets weaker, indicating that there may still be marked differences in the way humans and current DNNs perform visual object recognition. We envision that our findings as well as our carefully measured and freely available behavioural datasets provide a new useful benchmark for the computer vision community to improve the robustness of DNNs and a motivation for neuroscientists to search for mechanisms in the brain that could facilitate this robustness.


title: Optimized Household Demand Management with Local Solar PV Generation

abstract: Demand Side Management (DSM) strategies are of-ten associated with the objectives of smoothing the load curve and reducing peak load. Although the future of demand side manage-ment is technically dependent on remote and automatic control of residential loads, the end-users play a significant role by shifting the use of appliances to the off-peak hours when they are exposed to Day-ahead market price. This paper proposes an optimum so-lution to the problem of scheduling of household demand side management in the presence of PV generation under a set of tech-nical constraints such as dynamic electricity pricing and voltage deviation. The proposed solution is implemented based on the Clonal Selection Algorithm (CSA). This solution is evaluated through a set of scenarios and simulation results show that the proposed approach results in the reduction of electricity bills and the import of energy from the grid.


title: Ensembles of phalanxes across assessment metrics for robust ranking of homologous proteins

abstract: Two proteins are homologous if they have a common evolutionary origin, and the binary classification problem is to identify proteins in a candidate set that are homologous to a particular native protein. The feature (explanatory) variables available for classification are various measures of similarity of proteins. There are multiple classification problems of this type for different native proteins and their respective candidate sets. Homologous proteins are rare in a single candidate set, giving a highly unbalanced two-class problem. The goal is to rank proteins in a candidate set according to the probability of being homologous to the set's native protein. An ideal classifier will place all the homologous proteins at the head of such a list. Our approach uses an ensemble of models in a classifier and an ensemble of assessment metrics. For a given metric a classifier combines models, each based on a subset of the available feature variables which we call phalanxes. The proposed ensemble of phalanxes identifies strong and diverse subsets of feature variables. A second phase of ensembling aggregates classifiers based on diverse evaluation metrics. The overall result is called an ensemble of phalanxes and metrics. It provide robustness against both close and distant homologues.


title: Scalable Online Convolutional Sparse Coding

abstract: Convolutional sparse coding (CSC) improves sparse coding by learning a shift-invariant dictionary from the data. However, existing CSC algorithms operate in the batch mode and are expensive, in terms of both space and time, on large datasets. In this paper, we alleviate these problems by using online learning. The key is a reformulation of the CSC objective so that convolution can be handled easily in the frequency domain and much smaller history matrices are needed. We use the alternating direction method of multipliers (ADMM) to solve the resulting optimization problem and the ADMM subproblems have efficient closed-form solutions. Theoretical analysis shows that the learned dictionary converges to a stationary point of the optimization problem. Extensive experiments show that convergence of the proposed method is much faster and its reconstruction performance is also better. Moreover, while existing CSC algorithms can only run on a small number of images, the proposed method can handle at least ten times more images.


title: On the derivations of lattice Boltzmann evolution equation

abstract: A comparative analysis on the popular schemes for evaluating evolution equation in lattice Boltzmann method (LBM) is presented in this paper. It includes two classical characteristic-line schemes, Boesh-Karlin and He-Luo scheme, and a author-proposed scheme, Taylor-expansion scheme, originating from the extension of He-Luo scheme. We detailly discuss the mathematical mechanism and the equilibrium distribution evolution behind them. By analyzing the conflict between prediction and derivation, we address the preconditions for these schemes. At the end, we conclude their pros and cons and suggest scheme's applicable scene based on their derivation procedure and further development capacity.


title: The Theory is Predictive, but is it Complete? An Application to Human Perception of Randomness

abstract: When we test a theory using data, it is common to focus on correctness: do the predictions of the theory match what we see in the data? But we also care about completeness: how much of the predictable variation in the data is captured by the theory? This question is difficult to answer, because in general we do not know how much "predictable variation" there is in the problem. In this paper, we consider approaches motivated by machine learning algorithms as a means of constructing a benchmark for the best attainable level of prediction. We illustrate our methods on the task of predicting human-generated random sequences. Relative to an atheoretical machine learning algorithm benchmark, we find that existing behavioral models explain roughly 15 percent of the predictable variation in this problem. This fraction is robust across several variations on the problem. We also consider a version of this approach for analyzing field data from domains in which human perception and generation of randomness has been used as a conceptual framework; these include sequential decision-making and repeated zero-sum games. In these domains, our framework for testing the completeness of theories provides a way of assessing their effectiveness over different contexts; we find that despite some differences, the existing theories are fairly stable across our field domains in their performance relative to the benchmark. Overall, our results indicate that (i) there is a significant amount of structure in this problem that existing models have yet to capture and (ii) there are rich domains in which machine learning may provide a viable approach to testing completeness.


title: On the enumeration of sentences by compactness

abstract: Presented is a Julia meta-program that discovers compact theories from data if they exist. It writes candidate theories in Julia and then validates: tossing the bad theories and keeping the good theories. Compactness is measured by a metric: such as the number of space-time derivatives. The underlying algorithm is applicable to a wide variety of combinatorics problems and compactness serves to cut down the search space.


title: The effect of the spatial domain in FANOVA models with ARH(1) error term

abstract: Functional Analysis of Variance (FANOVA) from Hilbert-valued correlated data with spatial rectangular or circular supports is analyzed, when Dirichlet conditions are assumed on the boundary. Specifically, a Hilbert-valued fixed effect model with error term defined from an Autoregressive Hilbertian process of order one (ARH(1) process) is considered, extending the formulation given in Ruiz-Medina (2016). A new statistical test is also derived to contrast the significance of the functional fixed effect parameters. The Dirichlet conditions established at the boundary affect the dependence range of the correlated error term. While the rate of convergence to zero of the eigenvalues of the covariance kernels, characterizing the Gaussian functional error components, directly affects the stability of the generalized least-squares parameter estimation problem. A simulation study and a real-data application related to fMRI analysis are undertaken to illustrate the performance of the parameter estimator and statistical test derived.


title: A sharp oracle inequality for Graph-Slope

abstract: Following recent success on the analysis of the Slope estimator, we provide a sharp oracle inequality in term of prediction error for Graph-Slope, a generalization of Slope to signals observed over a graph. In addition to improving upon best results obtained so far for the Total Variation denoiser (also referred to as Graph-Lasso or Generalized Lasso), we propose an efficient algorithm to compute Graph-Slope. The proposed algorithm is obtained by applying the forward-backward method to the dual formulation of the Graph-Slope optimization problem. We also provide experiments showing the interest of the method.


title: Deep Interest Network for Click-Through Rate Prediction

abstract: Click-through rate prediction is an essential task in industrial applications, such as online advertising. Recently deep learning based models have been proposed, which follow a similar Embedding\&MLP paradigm. In these methods large scale sparse input features are first mapped into low dimensional embedding vectors, and then transformed into fixed-length vectors in a group-wise manner, finally concatenated together to fed into a multilayer perceptron (MLP) to learn the nonlinear relations among features. In this way, user features are compressed into a fixed-length representation vector, in regardless of what candidate ads are. The use of fixed-length vector will be a bottleneck, which brings difficulty for Embedding\&MLP methods to capture user's diverse interests effectively from rich historical behaviors. In this paper, we propose a novel model: Deep Interest Network (DIN) which tackles this challenge by designing a local activation unit to adaptively learn the representation of user interests from historical behaviors with respect to a certain ad. This representation vector varies over different ads, improving the expressive ability of model greatly. Besides, we develop two techniques: mini-batch aware regularization and data adaptive activation function which can help training industrial deep networks with hundreds of millions of parameters. Experiments on two public datasets as well as an Alibaba real production dataset with over 2 billion samples demonstrate the effectiveness of proposed approaches, which achieve superior performance compared with state-of-the-art methods. DIN now has been successfully deployed in the online display advertising system in Alibaba, serving the main traffic.


title: $3d$-electrons contribution to cohesive energy of $3d$-metals

abstract: In this paper a model for $3d$-subsystem of transition $3d$-metals has been proposed and used for calculation of the cohesive energy dependent on $3d$-band filling of particular metal, its bandwidth and effective intra-atomic interaction value. It has been shown that the model enables one to explain the observed peculiarities of cohesive energy effect on the atomic number. The nature of two parabolic dependencies of cohesive energy on $3d$-band filling has been clarified. The calculated values of cohesive energy are close to those experimentally obtained for Sc-Ti-V-Cr-Mn-Fe series.


title: Higher-order derivative of intersection local time for two independent fractional Brownian motions

abstract: In this article, we obtain sharp conditions for the existence of the high order derivatives ($k$-th order) of intersection local time $ \widehat{\alpha}^{(k)}(0)$ of two independent d-dimensional fractional Brownian motions $B^{H_1}_t$ and $\widetilde{B}^{H_2}_s$ with Hurst parameters $H_1$ and $H_2$, respectively. We also study their exponential integrability.


title: Evidence for a possible bimodal distribution of the nodal distances of the extreme trans-Neptunian objects: avoiding a trans-Plutonian planet or just plain bias?

abstract: It is a well-known fact that the presence of a massive perturber interacting with a population of minor bodies following very eccentric orbits can strongly affect the distribution of their nodal distances. The details of this process have been explored numerically and its outcome confirmed observationally in the case of Jupiter, where a bimodal distribution of nodal distances of comets has been found. Here, we show evidence for a possible bimodal distribution of the nodal distances of the extreme trans-Neptunian objects (ETNOs) in the form of a previously unnoticed correlation between nodal distance and orbital inclination. This proposed correlation is unlikely to be the result of observational bias as data for both large semimajor axis Centaurs and comets fit well into the pattern found for the ETNOs, and all these populations are subjected to similar background perturbations when moving well away from the influence of the giant planets. The correlation found is better understood if these objects tend to avoid a putative planet with semimajor axis in the range 300-400 au.


title: Two-Stream Convolutional Networks for Dynamic Texture Synthesis

abstract: We introduce a two-stream model for dynamic texture synthesis. Our model is based on pre-trained convolutional networks (ConvNets) that target two independent tasks: (i) object recognition, and (ii) optical flow prediction. Given an input dynamic texture, statistics of filter responses from the object recognition ConvNet encapsulate the per-frame appearance of the input texture, while statistics of filter responses from the optical flow ConvNet model its dynamics. To generate a novel texture, a randomly initialized input sequence is optimized to match the feature statistics from each stream of an example texture. Inspired by recent work on image style transfer and enabled by the two-stream model, we also apply the synthesis approach to combine the texture appearance from one texture with the dynamics of another to generate entirely novel dynamic textures. We show that our approach generates novel, high quality samples that match both the framewise appearance and temporal evolution of input texture. Finally, we quantitatively evaluate our texture synthesis approach with a thorough user study.


title: Electrical switching of antiferromagnetic Mn$_2$Au and the role of thermal activation

abstract: Electrical manipulation of antiferromagnets with specific symmetries offers the prospect of creating novel, antiferromagnetic spintronic devices. Such devices aim to make use of the insensitivity to external magnetic fields and the ultrafast dynamics at the picosecond timescale intrinsic to antiferromagnets. The possibility to electrically switch antiferromagnets was first predicted for Mn2Au and then experimentally observed in tetragonal CuMnAs. Here, we report on the electrical switching and detection of the Neel order in epitaxial films of Mn2Au. The exponential dependences of the switching amplitude on the current density and the temperature are explained by a macroscopic thermal activation model taking into account the effect of the Joule heating in Hall cross devices and we observe that the thermal activation plays a key role in the reorientation process of the Neel order. Our model analysis shows that the electrically set Neel-state is long-term stable at room temperature, paving the way for practical applications in memory devices.


title: An exact solution to a Stefan problem with variable thermal conductivity and a Robin boundary condition

abstract: In this article it is proved the existence of similarity solutions for a one-phase Stefan problem with temperature-dependent thermal conductivity and a Robin condition at the fixed face. The temperature distribution is obtained through a generalized modified error function which is defined as the solution to a nonlinear ordinary differential problem of second order. It is proved that the latter has a unique non-negative bounded analytic solution when the parameter on which it depends assumes small positive values. Moreover, it is shown that the generalized modified error function is concave and increasing, and explicit approximations are proposed for it. Relation between the Stefan problem considered in this article with those with either constant thermal conductivity or a temperature boundary condition is also analysed.


title: An Improved Second Order Poincar\'e Inequality for Functionals of Gaussian Fields

abstract: We present an improved version of the second order Gaussian Poincar\'e inequality, firstly introduced in Chatterjee (2009) and Nourdin, Peccati and Reinert (2009). These novel estimates are used in order to bound distributional distances between functionals of Gaussian fields and normal random variables. Several applications are developed, including quantitative CLTs for non-linear functionals of stationary Gaussian fields related to the Breuer-Major theorem, improving previous findings in the literature and obtaining presumably optimal rates of convergence.


title: Linearity of stability conditions

abstract: For modules over an artin algebra a linear stability condition is given by a "central charge" and a nonlinear stability condition is given by the wall-crossing sequence of a "green path". Finite Harder-Narasimhan stratifications of the module category, maximal forward hom-orthogonal sequences and maximal green sequences, defined using Fomin-Zelevinsky quiver mutation are shown to be equivalent to finite nonlinear stability conditions when the algebra is hereditary. This is the first of a series of three papers whose purpose is to determine all maximal green sequences of maximal length for quivers of affine type A and determine which are linear. See [1].


title: A Generative Model of Group Conversation

abstract: Conversations with non-player characters (NPCs) in games are typically confined to dialogue between a human player and a virtual agent, where the conversation is initiated and controlled by the player. To create richer, more believable environments for players, we need conversational behavior to reflect initiative on the part of the NPCs, including conversations that include multiple NPCs who interact with one another as well as the player. We describe a generative computational model of group conversation between agents, an abstract simulation of discussion in a small group setting. We define conversational interactions in terms of rules for turn taking and interruption, as well as belief change, sentiment change, and emotional response, all of which are dependent on agent personality, context, and relationships. We evaluate our model using a parameterized expressive range analysis, observing correlations between simulation parameters and features of the resulting conversations. This analysis confirms, for example, that character personalities will predict how often they speak, and that heterogeneous groups of characters will generate more belief change.


title: Escape and fractionation of volatiles and noble gases from Mars-sized planetary embryos and growing protoplanets

abstract: Planetary embryos form protoplanets via mutual collisions, which can lead to the development of magma oceans. During their solidification, large amounts of the mantles' volatile contents may be outgassed. The resulting H$_2$O/CO$_2$ dominated steam atmospheres may be lost efficiently via hydrodynamic escape due to the low gravity and the high stellar EUV luminosities. Protoplanets forming later from such degassed building blocks could therefore be drier than previously expected. We model the outgassing and subsequent hydrodynamic escape of steam atmospheres from such embryos. The efficient outflow of H drags along heavier species (O, CO$_2$, noble gases). The full range of possible EUV evolution tracks of a solar-mass star is taken into account to investigate the escape from Mars-sized embryos at different orbital distances. The envelopes are typically lost within a few to a few tens of Myr. Furthermore, we study the influence on protoplanetary evolution, exemplified by Venus. We investigate different early evolution scenarios and constrain realistic cases by comparing modeled noble gas isotope ratios with observations. Starting from solar values, consistent isotope ratios (Ne, Ar) can be found for different solar EUV histories, as well as assumptions about the initial atmosphere (either pure steam or a mixture with accreted H). Our results generally favor an early accretion scenario with a small amount of accreted H and a low-activity Sun, because in other cases too much CO$_2$ is lost during evolution, which is inconsistent with Venus' present atmosphere. Important issues are likely the time at which the initial steam atmosphere is outgassed and/or the amount of CO$_2$ which may still be delivered at later evolutionary stages. A late accretion scenario can only reproduce present isotope ratios for a highly active young Sun, but then very massive steam atmospheres would be required.


title: A Very Fast And Angular Momentum Conserving Tree Code

abstract: There are many methods used to compute the classical gravitational field in astrophysical simulation codes. With the exception of the typically impractical method of direct computation, none ensure conservation of angular momentum to machine precision. Under uniform time-stepping, the Cartesian fast multipole method of Dehnen (also known as the very fast tree code) conserves linear momentum to machine precision. We show it is possible to modify this method in a way that conserves both angular and linear momenta.


title: Optimality of Unconstrained Pulse Inputs to the Bergman Minimal Model

abstract: We characterise optimality of bolus insulin inputs, to the Bergman minimal model, by the predicted behaviour of the plasma glucose concentration for a given disturbance. The result is derived subject to the constraints that the plasma glucose concentration must attain but not go below a specified minimum value and the bolus input is rectangular. We give numerical examples of the results for the Hovorka model.


title: Adaptive Huber Regression

abstract: Big data can easily be contaminated by outliers or contain variables with heavy-tailed distributions, which makes many conventional methods inadequate. To address this challenge, we propose the adaptive Huber regression for robust estimation and inference. The key observation is that the robustification parameter should adapt to the sample size, dimension and moments for optimal tradeoff between bias and robustness. Our theoretical framework deals with heavy-tailed distributions with bounded $(1+\delta)$-th moment for any $\delta > 0$. We establish a sharp phase transition for robust estimation of regression parameters in both low and high dimensions: when $\delta \geq 1$, the estimator admits a sub-Gaussian-type deviation bound without sub-Gaussian assumptions on the data, while only a slower rate is available in the regime $0<\delta< 1$. Furthermore, this transition is smooth and optimal. In addition, we extend the methodology to allow both heavy-tailed predictors and observation noise. Simulation studies lend further support to the theory. In a genetic study of cancer cell lines that exhibit heavy-tailedness, the proposed methods are shown to be more robust and predictive.


title: Obstacle Numbers of Planar Graphs

abstract: Given finitely many connected polygonal obstacles $O_1,\dots,O_k$ in the plane and a set $P$ of points in general position and not in any obstacle, the {\em visibility graph} of $P$ with obstacles $O_1,\dots,O_k$ is the (geometric) graph with vertex set $P$, where two vertices are adjacent if the straight line segment joining them intersects no obstacle. The obstacle number of a graph $G$ is the smallest integer $k$ such that $G$ is the visibility graph of a set of points with $k$ obstacles. If $G$ is planar, we define the planar obstacle number of $G$ by further requiring that the visibility graph has no crossing edges (hence that it is a planar geometric drawing of $G$). In this paper, we prove that the maximum planar obstacle number of a planar graph of order $n$ is $n-3$, the maximum being attained (in particular) by maximal bipartite planar graphs. This displays a significant difference with the standard obstacle number, as we prove that the obstacle number of every bipartite planar graph (and more generally in the class PURE-2-DIR of intersection graphs of straight line segments in two directions) of order at least $3$ is $1$.


title: Conformal Scattering of Maxwell Fields on Reissner-Nordstr{\o}m-de Sitter Black Hole Spacetimes

abstract: We construct a complete conformal scattering theory for Maxwell fields in the static exterior region of a Reissner-Nordstr{\o}m-de Sitter black bole spacetime. This is done using uniform energy decay results that we obtain in a separate paper, to show that the trace operators are injective and have closed ranges. We then solve the Goursat problem (characteristic Cauchy problem) for Maxwell fields on the null boundaries showing that the trace operators are also surjective.


title: Disjoint pairs in set systems with restricted intersection

abstract: The problem of bounding the size of a set system under various intersection restrictions has a central place in extremal combinatorics. We investigate the maximum number of disjoint pairs a set system can have in this setting. In particular, we show that for any pair of set systems $(\mathcal{A}, \mathcal{B})$ which avoid a cross-intersection of size $t$, the number of disjoint pairs $(A, B)$ with $A \in \mathcal{A}$ and $B \in \mathcal{B}$ is at most $\sum_{k=0}^{t-1}\binom{n}{k}2^{n-k}$. This implies an asymptotically best possible upper bound on the number of disjoint pairs in a single $t$-avoiding family $\mathcal{F} \subset \mathcal{P}[n]$. We also study this problem when $\mathcal{A}$, $\mathcal{B} \subset [n]^{(r)}$ are both $r$-uniform, and show that it is closely related to the problem of determining the maximum of the product $|\mathcal{A}||\mathcal{B}|$ when $\mathcal{A}$ and $\mathcal{B}$ avoid a cross-intersection of size $t$, and $n \ge n_0(r, t)$.


title: A latent variable model for survival time prediction with censoring and diverse covariates

abstract: Fulfilling the promise of precision medicine requires accurately and precisely classifying disease states. For cancer, this includes prediction of survival time from a surfeit of covariates. Such data presents an opportunity for improved prediction, but also a challenge due to high dimensionality. Furthermore, disease populations can be heterogeneous. Integrative modeling is sensible, as the underlying hypothesis is that joint analysis of multiple covariates provides greater explanatory power than separate analyses. We propose an integrative latent variable model that combines factor analysis for various data types and an exponential Cox proportional hazards model for continuous survival time with informative censoring. The factor and Cox models are connected through low-dimensional latent variables that can be interpreted and visualized to identify subpopulations. We use this model to predict survival time. We demonstrate this model's utility in simulation and on four Cancer Genome Atlas datasets: diffuse lower-grade glioma, glioblastoma multiforme, lung adenocarcinoma, and lung squamous cell carcinoma. These datasets have small sample sizes, high-dimensional diverse covariates, and high censorship rates. We compare the predictions from our model to two alternative models. Our model outperforms in simulation and is competitive on real datasets. Furthermore, the low-dimensional visualization for diffuse lower-grade glioma displays known subpopulations.


title: Statistical Inferences for Polarity Identification in Natural Language

abstract: Information forms the basis for all human behavior, including the ubiquitous decision-making that people constantly perform in their every day lives. It is thus the mission of researchers to understand how humans process information to reach decisions. In order to facilitate this task, this work proposes a novel method of studying the reception of granular expressions in natural language. The approach utilizes LASSO regularization as a statistical tool to extract decisive words from textual content and draw statistical inferences based on the correspondence between the occurrences of words and an exogenous response variable. Accordingly, the method immediately suggests significant implications for social sciences and Information Systems research: everyone can now identify text segments and word choices that are statistically relevant to authors or readers and, based on this knowledge, test hypotheses from behavioral research. We demonstrate the contribution of our method by examining how authors communicate subjective information through narrative materials. This allows us to answer the question of which words to choose when communicating negative information. On the other hand, we show that investors trade not only upon facts in financial disclosures but are distracted by filler words and non-informative language. Practitioners - for example those in the fields of investor communications or marketing - can exploit our insights to enhance their writings based on the true perception of word choice.


title: Constant Composition Codes as Subcodes of Linear Codes

abstract: In this paper, on one hand, a class of linear codes with one or two weights is obtained. Based on these linear codes, we construct two classes of constant composition codes, which includes optimal constant composition codes depending on LVFC bound. On the other hand, a class of constant composition codes is derived from known linear codes.