title: Inverse problems for the stationary transport equation in the diffusion scaling

abstract: We consider the inverse problem of reconstructing the optical parameters of the radiative transfer equation (RTE) from boundary measurements in the diffusion limit. In the diffusive regime (the Knudsen number $\mathsf{Kn}\ll 1$), the forward problem for the stationary RTE is well approximated by an elliptic equation. However, the connection between the inverse problem for the RTE and the inverse problem for the elliptic equation has not been fully developed. This problem is particularly interesting because the former one is mildly ill-posed , with a Lipschitz type stability estimate, while the latter is well known to be severely ill-posed with a logarithmic type stability estimate. In this paper, we derive stability estimates for the inverse problem for RTE and examine its dependence on $\mathsf{Kn}$. We show that the stability is Lipschitz in all regimes, but the coefficient deteriorates as $e^{\frac{1}{\mathsf{Kn}}}$, making the inverse problem of RTE severely ill-posed when $\mathsf{Kn}$ is small. In this way we connect the two inverse problems. Numerical results agree with the analysis of worsening stability as the Knudsen number gets smaller.


title: A quantum controlled quantum eraser

abstract: We show that the protocol known as quantum state separation can be used to transfer information between the phase and path of a particle in an interferometer. When applied to a quantum eraser, this allows us to erase some, but not all, of the path information. We can control how much path information we wish to erase.


title: Gaia, Trumpler 16, and Eta Carinae

abstract: Gaia parallaxes for the star cluster Tr 16 reveal a discrepancy in the oft-quoted distance of Eta Carinae. It is probably more distant and more luminous. Moreover, many presumed members may not belong to Tr 16.


title: A unified geometric framework for boundary charges and dressings: non-Abelian theory and matter

abstract: Boundaries in gauge theories are a delicate issue. Arbitrary boundary choices enter the calculation of charges via Noether's second theorem, obstructing the assignment of unambiguous physical charges to local gauge symmetries. Replacing the arbitrary boundary choice with new degrees of freedom suggests itself. But, concretely, such boundary degrees of freedom are spurious---i.e. they are not part of the original field content of the theory---and have to disappear upon gluing. How should we fit them into what we know about field-theory? We resolve these issues in a unified and geometric manner, by introducing a connection 1-form, $\varpi$, in the field-space of Yang-Mills theory. Using this geometric tool, a modified version of symplectic geometry---here called `horizontal'---is possible. Independently of boundary conditions, this formalism bestows to each region a physical notion of charge: the horizontal Noether charge. The horizontal gauge charges always vanish, while global charges still arise for reducible configurations characterized by global symmetries. The field-content itself is used as a reference frame to distinguish `gauge' and `physical'; no new degrees of freedom, such as group-valued edge modes, are required. Different choices of reference fields give different $\varpi$'s, which are cousins of gauge-fixing like the Higgs-unitary and Coulomb gauges. But the formalism extends well beyond gauge-fixings, for instance by avoiding the Gribov problem. For one choice of $\varpi$, would-be Goldstone modes arising from the condensation of matter degrees of freedom play precisely the role of the known group-valued edge modes, but here they arise as preferred coordinates in field space, rather than new fields. For another choice, in the Abelian case, $\varpi$ recovers the Dirac dressing of the electron.


title: Spontaneous CP Violation and the Strong CP Problem in Left-Right Symmetric Theories

abstract: We study spontaneous CP violation as a solution to the strong CP problem in left-right symmetric theories. The discrete CP symmetry is broken by a complex vacuum expectation value of a right-handed Higgs doublet. Heavy vectorlike down-type quarks mix with the Standard Model quarks introducing the known CP violation - realizing a variant of the Nelson-Barr mechanism. A nonvanishing QCD vacuum angle is generated at loop level. The implementation in the ultraviolet complete theory of trinification at low scales is discussed. We further comment on the phenomenology and future testability of the model.


title: Approval Gap of Weighted k-Majority Tournaments

abstract: A $k$-majority tournament $T$ on a finite set of vertices $V$ is defined by a set of $2k-1$ linear orders on $V$, with an edge $u \to v$ in $T$ if $u>v$ in a majority of the linear orders. We think of the linear orders as voter preferences and the vertices of $T$ as candidates, with an edge $u \to v$ in $T$ if a majority of voters prefer candidate $u$ to candidate $v$. In this paper we introduce weighted $k$-majority tournaments, with each edge $u \to v$ weighted by the number of voters preferring $u$. We define the maximum approval gap $\gamma_w(T)$, a measure by which any dominating set of $T$ beats the next most popular candidate. This parameter is analogous to previous work on the size of minimum dominating sets of (unweighted) $k$-majority tournaments. We prove that $k/2 \leq \gamma_w(T) \leq 2k-1$ for any weighted $k$-majority tournament $T$, and construct tournaments with $\gamma_w(T)=q$ for any rational number $k/2 \leq q \leq 2k-1$. We also consider the minimum number of vertices $m(q,k)$ in a $k$-majority tournament with $\gamma_w(T)=q$.


title: Gluon Quasi-PDF From Lattice QCD

abstract: We present the first attempt to access the $x$-dependence of the gluon unpolarized parton distribution function (PDF), based on lattice simulations using the large-momentum effective theory (LaMET) approach. The lattice calculation is carried out with pion masses of 340 and 678 MeV on a 2+1-flavor DWF configuration with lattice spacing $a=0.111$~fm, for the gluon quasi-PDF matrix element with the nucleon momentum up to 0.93 GeV. Taking the normalization from similar matrix elements in the rest frame of the nucleon and pion, our results for these matrix elements are consistent with the Fourier transform of the global fit CT14 and PDF4LHC15 NNLO of the gluon PDF, within statistical uncertainty and the systematic one up to power corrections, perturbative ${\cal O}(\alpha_s)$ matching and the mixing from the quark PDFs.


title: Unbiased Implicit Variational Inference

abstract: We develop unbiased implicit variational inference (UIVI), a method that expands the applicability of variational inference by defining an expressive variational family. UIVI considers an implicit variational distribution obtained in a hierarchical manner using a simple reparameterizable distribution whose variational parameters are defined by arbitrarily flexible deep neural networks. Unlike previous works, UIVI directly optimizes the evidence lower bound (ELBO) rather than an approximation to the ELBO. We demonstrate UIVI on several models, including Bayesian multinomial logistic regression and variational autoencoders, and show that UIVI achieves both tighter ELBO and better predictive performance than existing approaches at a similar computational cost.


title: Low-latency Networking: Where Latency Lurks and How to Tame It

abstract: While the current generation of mobile and fixed communication networks has been standardized for mobile broadband services, the next generation is driven by the vision of the Internet of Things and mission critical communication services requiring latency in the order of milliseconds or sub-milliseconds. However, these new stringent requirements have a large technical impact on the design of all layers of the communication protocol stack. The cross layer interactions are complex due to the multiple design principles and technologies that contribute to the layers' design and fundamental performance limitations. We will be able to develop low-latency networks only if we address the problem of these complex interactions from the new point of view of sub-milliseconds latency. In this article, we propose a holistic analysis and classification of the main design principles and enabling technologies that will make it possible to deploy low-latency wireless communication networks. We argue that these design principles and enabling technologies must be carefully orchestrated to meet the stringent requirements and to manage the inherent trade-offs between low latency and traditional performance metrics. We also review currently ongoing standardization activities in prominent standards associations, and discuss open problems for future research.


title: Surface-enhanced Raman scattering in graphene deposited on Al$_x$Ga$_{1-x}$N/GaN axial heterostructure nanowires

abstract: The surface-enhanced Raman scattering in graphene deposited on AlxGa1-xN/GaN axial heterostructure nanowires was investigated. The intensity of graphene Raman spectra was found not to be correlated with aluminium content. Analysis of graphene Raman bands parameters, KPFM and electroreflectance showed a screening of polarization charges. Theoretical calculations showed that plasmon resonance in graphene is far beyond the Raman spectral range. This excludes the presence of an electromagnetic mechanism of SERS and therefore suggests the chemical mechanism of enhancement.


title: The system of cloud oriented learning tools as an element of educational and scientific environment of high school

abstract: The aim of this research is to design and implementation of cloud based learning environment for separate division of the university. The analysis of existing approaches to the construction of cloud based learning environments, the formation of requirements cloud based learning tools, the selection on the basis of these requirements, cloud ICT training and pilot their use for building cloud based learning environment for separate division of the university with the use of open source software and resources its own IT infrastructure of the institution. Results of the study is planned to generalize to develop recommendations for the design of cloud based environment of high school.


title: Did you take the pill? - Detecting Personal Intake of Medicine from Twitter

abstract: Mining social media messages such as tweets, articles, and Facebook posts for health and drug related information has received significant interest in pharmacovigilance research. Social media sites (e.g., Twitter), have been used for monitoring drug abuse, adverse reactions of drug usage and analyzing expression of sentiments related to drugs. Most of these studies are based on aggregated results from a large population rather than specific sets of individuals. In order to conduct studies at an individual level or specific cohorts, identifying posts mentioning intake of medicine by the user is necessary. Towards this objective we develop a classifier for identifying mentions of personal intake of medicine in tweets. We train a stacked ensemble of shallow convolutional neural network (CNN) models on an annotated dataset. We use random search for tuning the hyper-parameters of the CNN models and present an ensemble of best models for the prediction task. Our system produces state-of-the-art result, with a micro-averaged F-score of 0.693. We believe that the developed classifier has direct uses in the areas of psychology, health informatics, pharmacovigilance and affective computing for tracking moods, emotions and sentiments of patients expressing intake of medicine in social media.


title: Efficient Principal Subspace Projection of Streaming Data Through Fast Similarity Matching

abstract: Big data problems frequently require processing datasets in a streaming fashion, either because all data are available at once but collectively are larger than available memory or because the data intrinsically arrive one data point at a time and must be processed online. Here, we introduce a computationally efficient version of similarity matching, a framework for online dimensionality reduction that incrementally estimates the top K-dimensional principal subspace of streamed data while keeping in memory only the last sample and the current iterate. To assess the performance of our approach, we construct and make public a test suite containing both a synthetic data generator and the infrastructure to test online dimensionality reduction algorithms on real datasets, as well as performant implementations of our algorithm and competing algorithms with similar aims. Among the algorithms considered we find our approach to be competitive, performing among the best on both synthetic and real data.


title: Deep Generative Modeling for Scene Synthesis via Hybrid Representations

abstract: We present a deep generative scene modeling technique for indoor environments. Our goal is to train a generative model using a feed-forward neural network that maps a prior distribution (e.g., a normal distribution) to the distribution of primary objects in indoor scenes. We introduce a 3D object arrangement representation that models the locations and orientations of objects, based on their size and shape attributes. Moreover, our scene representation is applicable for 3D objects with different multiplicities (repetition counts), selected from a database. We show a principled way to train this model by combining discriminator losses for both a 3D object arrangement representation and a 2D image-based representation. We demonstrate the effectiveness of our scene representation and the deep learning method on benchmark datasets. We also show the applications of this generative model in scene interpolation and scene completion.


title: Design an Advance computer-aided tool for Image Authentication and Classification

abstract: Over the years, advancements in the fields of digital image processing and artificial intelligence have been applied in solving many real-life problems. This could be seen in facial image recognition for security systems, identity registrations. Hence a bottleneck of identity registration is image processing. These are carried out in form of image preprocessing, image region extraction by cropping, feature extraction using Principal Component Analysis (PCA) and image compression using Discrete Cosine Transform (DCT). Other processing includes filtering and histogram equalization using contrast stretching is performed while enhancing the image as part of the analytical tool. Hence, this research work presents a universal integration image forgery detection analysis tool with image facial recognition using Back Propagation Neural Network (BPNN) processor. The proposed designed tool is a multi-function smart tool with the novel architecture of programmable error goal and light intensity. Furthermore, its advance dual database increases the efficiency of a high-performance application. With the fact that, the facial image recognition will always, give a matching output or closest possible output image for every input image irrespective of the authenticity, the universal smart GUI tool is proposed and designed to perform image forgery detection with the high accuracy of 2% error rate. Meanwhile, a novel structure that provides efficient automatic image forgery detection for all input test images for the BPNN recognition is presented. Hence, an input image will be authenticated before being fed into the recognition tool.


title: Nonlinear Model Order Reduction via Lifting Transformations and Proper Orthogonal Decomposition

abstract: This paper presents a structure-exploiting nonlinear model reduction method for systems with general nonlinearities. First, the nonlinear model is lifted to a model with more structure via variable transformations and the introduction of auxiliary variables. The lifted model is equivalent to the original model---it uses a change of variables, but introduces no approximations. When discretized, the lifted model yields a polynomial system of either ordinary differential equations or differential algebraic equations, depending on the problem and lifting transformation. Proper orthogonal decomposition (POD) is applied to the lifted models, yielding a reduced-order model for which all reduced-order operators can be pre-computed. Thus, a key benefit of the approach is that there is no need for additional approximations of nonlinear terms, in contrast with existing nonlinear model reduction methods requiring sparse sampling or hyper-reduction. Application of the lifting and POD model reduction to the FitzHugh-Nagumo benchmark problem and to a tubular reactor model with Arrhenius reaction terms shows that the approach is competitive in terms of reduced model accuracy with state-of-the-art model reduction via POD and discrete empirical interpolation, while having the added benefits of opening new pathways for rigorous analysis and input-independent model reduction via the introduction of the lifted problem structure.


title: The Optimality Principle for MR signal excitation and reception: New physical insights into ideal radiofrequency coil design

abstract: Purpose: Despite decades of collective experience, radiofrequency coil optimization for MR has remained a largely empirical process, with clear insight into what might constitute truly task-optimal, as opposed to merely 'good,' coil performance being difficult to come by. Here, a new principle, the Optimality Principle, is introduced, which allows one to predict, rapidly and intuitively, the form of optimal current patterns on any surface surrounding any arbitrary body. Theory: The Optimality Principle, in its simplest form, states that the surface current pattern associated with optimal transmit field or receive sensitivity at a point of interest (per unit current integrated over the surface) is a precise scaled replica of the tangential electric field pattern that would be generated on the surface by a precessing spin placed at that point. A more general perturbative formulation enables efficient calculation of the pattern modifications required to optimize signal-to-noise ratio in body-noise-dominated situations. Methods and Results: The unperturbed principle is validated numerically, and convergence of the perturbative formulation is explored in simple geometries. Current patterns and corresponding field patterns in a variety of concrete cases are then used to separate signal and noise effects in coil optimization, to understand the emergence of electric dipoles as strong performers at high frequency, and to highlight the importance of surface geometry in coil design. Conclusion: Like the Principle of Reciprocity from which it is derived, the Optimality Principle offers both a conceptual and a computational shortcut. In addition to providing quantitative targets for coil design, the Optimality Principle affords direct physical insight into the fundamental determinants of coil performance.


title: Unstable Equilibria and Invariant Manifolds in Quasi-Two-Dimensional Kolmogorov-like Flow

abstract: Recent studies suggest that unstable, non-chaotic solutions of the Navier-Stokes equation may provide deep insights into fluid turbulence. In this article, we present a combined experimental and numerical study exploring the dynamical role of unstable equilibrium solutions and their invariant manifolds in a weakly turbulent, electromagnetically driven, shallow fluid layer. Identifying instants when turbulent evolution slows down, we compute 31 unstable equilibria of a realistic two-dimensional model of the flow. We establish the dynamical relevance of these unstable equilibria by showing that they are closely visited by the turbulent flow. We also establish the dynamical relevance of unstable manifolds by verifying that they are shadowed by turbulent trajectories departing from the neighborhoods of unstable equilibria over large distances in state space.


title: Gravitational Effects in g Factor Measurements and High-Precision Spectroscopy: Limits of Einstein's Equivalence Principle

abstract: We study the interplay of general relativity, the equivalence principle, and high-precision experiments involving atomic transitions and g factor measurements. In particular, we derive a generalized Dirac Hamiltonian, which describes both the gravitational coupling for weak fields, as well as the electromagnetic coupling, e.g., to a central Coulomb field. An approximate form of this Hamiltonian is used to derive the leading gravitational corrections to transition frequencies and g factors. The position-dependence of atomic transitions is shown to be compatible with the equivalence principle, up to a very good approximation. The compatibility of g factor measurements requires a deeper, subtle analysis, in order to eventually restore the compliance of g factor measurements with the equivalence principle. Finally, we analyze small, but important limitations of Einstein's equivalence principle due to quantum effects, within high-precision experiments. We also study the relation of these effects to a conceivable gravitationally induced collapse of a quantum mechanical wave function (Penrose conjecture), and space-time noncommutativity, and find that the competing effects should not preclude the measurability of the higher-order gravitational corrections. Surprisingly large higher-order gravitational effects are obtained for transitions in diatomic molecules.


title: Tidal decay of circumbinary planetary systems

abstract: It is shown that circumbinary planetary systems are subject to universal tidal decay (shrinkage of orbits), caused by the forced orbital eccentricity inherent to them. Circumbinary planets (CBP) are liberated from parent systems, when, owing to the shrinkage, they enter the circumbinary chaotic zone. On shorter timescales (less than the current age of the Universe), the effect may explain, at least partially, the observed lack of CBP of close-enough (with periods < 5 days) stellar binaries; on longer timescales (greater than the age of the Universe but well within stellar lifetimes), it may provide massive liberation of chemically evolved CBP. Observational signatures of the effect may comprise (1) a prevalence of large rocky planets (super-Earths) in the whole population of rogue planets (if this mechanism were the only source of rogue planets); (2) a mass-dependent paucity of CBP in systems of low-mass binaries: the lower the stellar mass, the greater the paucity.


title: A remark on the disorienting of species due to the fluctuating environment

abstract: In this article we study the stabilizing of a primitive pattern of behaviour for the two-species community with chemotaxis due to the short-wavelength external signal. We use a system of Patlak-Keller-Segel type as a model of the community. It is well-known that such systems can produce complex unsteady patterns of behaviour which are usually explained mathematically by bifurcations of some basic solutions that describe simpler patterns. As far as we aware, all such bifurcations in the models of the Patlak-Keller-Segel type had been found for homogeneous (i.e. translationally invariant) systems where the basic solutions are equilibria with homogeneous distributions of all species. The model considered in the present paper does not possess the translational invariance: one of species (the predators) is assumed to be capable of moving in response to a signal produced externally in addition to the signal emitted by another species (the prey). For instance, the external signal may arise from the inhomogeneity of the distribution of an environmental characteristic such as temperature, salinity, terrain relief, etc. Our goal is to examine the effect of short-wavelength inhomogeneity. To do this, we employ a certain homogenization procedure. We separate the short-wavelength and smooth components of the system response and derive a slow system governing the latter one. Analysing the slow system and comparing it with the case of homogeneous environment shows that, generically, a short-wavelength inhomogeneity results in an exponential decrease in the motility of the predators. The loss of motility prevents, to a great extent, the occurrence of complex unsteady patterns and dramatically stabilizes the primitive basic solution. In some sense, the necessity of dealing with intensive small-scale changes of the environment makes the system unable to respond to other challenges.


title: Tame hereditary path algebras and amenability

abstract: In this note we are concerned with the notion of amenable representation type as defined in a recent paper by G\'abor Elek. Roughly speaking, an algebra is of amenable type if for all $\varepsilon > 0$, every finite-dimensional module has a submodule which is a direct sum of modules which are small with respect to $\varepsilon$ such that the quotient is also small in that respect. We will show that the tame hereditary path algebras of quivers of extended Dynkin type over any field $k$ are of amenable type, thus extending a conjecture in the aforementioned paper to another class of tame algebras. In doing so, we avoid using already known results for string algebras. We also show that path algebras of wild acyclic quivers over finite fields are not amenable.


title: Learning to Share and Hide Intentions using Information Regularization

abstract: Learning to cooperate with friends and compete with foes is a key component of multi-agent reinforcement learning. Typically to do so, one requires access to either a model of or interaction with the other agent(s). Here we show how to learn effective strategies for cooperation and competition in an asymmetric information game with no such model or interaction. Our approach is to encourage an agent to reveal or hide their intentions using an information-theoretic regularizer. We consider both the mutual information between goal and action given state, as well as the mutual information between goal and state. We show how to optimize these regularizers in a way that is easy to integrate with policy gradient reinforcement learning. Finally, we demonstrate that cooperative (competitive) policies learned with our approach lead to more (less) reward for a second agent in two simple asymmetric information games.


title: Particle Flow and PUPPI in the Level-1 Trigger at CMS for the HL-LHC

abstract: With the planned addition of tracking information to the Compact Muon Solenoid (CMS) Level-1 trigger for the High-Luminosity Large Hadron Collider (HL-LHC), the trigger algorithms can be completely reconceptualized. We explore the feasibility of using particle flow-like reconstruction and pileup per particle identification (PUPPI) pileup mitigation at the hardware trigger level. This represents a new type of multi-subdetector pattern recognition challenge for the HL-LHC. We present proof-of-principle studies on both physics and hardware-resource performance of a prototype algorithm for use by CMS in the HL-LHC era.


title: A Lanczos-Stieltjes method for one-dimensional ridge function approximation and integration

abstract: Many of the input-parameter-to-output-quantity-of-interest maps that arise in computational science admit a surprising low-dimensional structure, where the outputs vary primarily along a handful of directions in the high-dimensional input space. This type of structure is well modeled by a ridge function, which is a composition of a low-dimensional linear transformation with a nonlinear function. If the goal is to compute statistics of the output (e.g., as in uncertainty quantification or robust design) then one should exploit this low-dimensional structure, when present, to accelerate computations. We develop Gaussian quadrature and the associated polynomial approximation for one-dimensional ridge functions. The key elements of our method are (i) approximating the univariate density of the given linear combination of inputs by repeated convolutions and (ii) a Lanczos-Stieltjes method for constructing orthogonal polynomials and Gaussian quadrature.


title: Semi-supervised Deep Generative Modelling of Incomplete Multi-Modality Emotional Data

abstract: There are threefold challenges in emotion recognition. First, it is difficult to recognize human's emotional states only considering a single modality. Second, it is expensive to manually annotate the emotional data. Third, emotional data often suffers from missing modalities due to unforeseeable sensor malfunction or configuration issues. In this paper, we address all these problems under a novel multi-view deep generative framework. Specifically, we propose to model the statistical relationships of multi-modality emotional data using multiple modality-specific generative networks with a shared latent space. By imposing a Gaussian mixture assumption on the posterior approximation of the shared latent variables, our framework can learn the joint deep representation from multiple modalities and evaluate the importance of each modality simultaneously. To solve the labeled-data-scarcity problem, we extend our multi-view model to semi-supervised learning scenario by casting the semi-supervised classification problem as a specialized missing data imputation task. To address the missing-modality problem, we further extend our semi-supervised multi-view model to deal with incomplete data, where a missing view is treated as a latent variable and integrated out during inference. This way, the proposed overall framework can utilize all available (both labeled and unlabeled, as well as both complete and incomplete) data to improve its generalization ability. The experiments conducted on two real multi-modal emotion datasets demonstrated the superiority of our framework.


title: Machine-learning error models for approximate solutions to parameterized systems of nonlinear equations

abstract: This work proposes a machine-learning framework for constructing statistical models of errors incurred by approximate solutions to parameterized systems of nonlinear equations. These approximate solutions may arise from early termination of an iterative method, a lower-fidelity model, or a projection-based reduced-order model, for example. The proposed statistical model comprises the sum of a deterministic regression-function model and a stochastic noise model. The method constructs the regression-function model by applying regression techniques from machine learning (e.g., support vector regression, artificial neural networks) to map features (i.e., error indicators such as sampled elements of the residual) to a prediction of the approximate-solution error. The method constructs the noise model as a mean-zero Gaussian random variable whose variance is computed as the sample variance of the approximate-solution error on a test set; this variance can be interpreted as the epistemic uncertainty introduced by the approximate solution. This work considers a wide range of feature-engineering methods, data-set-construction techniques, and regression techniques that aim to ensure that (1) the features are cheaply computable, (2) the noise model exhibits low variance (i.e., low epistemic uncertainty introduced), and (3) the regression model generalizes to independent test data. Numerical experiments performed on several computational-mechanics problems and types of approximate solutions demonstrate the ability of the method to generate statistical models of the error that satisfy these criteria and significantly outperform more commonly adopted approaches for error modeling.


title: Towards a measurement of the Debye length in very large Magneto-Optical traps

abstract: We propose different experimental methods to measure the analog of the Debye length in a very large Magneto-Optical Trap, which should characterize the spatial correlations in the atomic cloud. An analytical, numerical and experimental study of the response of the atomic cloud to an external modulation potential suggests that this Debye length, if it exists, is significantly larger than what was expected.


title: On the module of differentials of order $n$ of hypersurfaces

abstract: We give an explicit presentation of the module of differentials of order $n$ of a finitely generated algebra via a higher-order Jacobian matrix. We use the presentation to study some aspects of this module in the case of hypersurfaces. More precisely, we prove higher-order versions of known results relating freness and torsion-freness of the module of differentials with the regularity and normality of the hypersurface. We also study its projective dimension.


title: Non-crossing Annular Pairings and The Infinitesimal Distribution of the GOE

abstract: We present a combinatorial approach to the infinitesimal distribution of the Gaussian orthogonal ensemble (GOE). In particular we show how the infinitesimal moments are described by non-crossing partitions, but not of type B. We demonstrate the asymptotic infinitesimal freeness of independent complex Wishart matrices. With the combinatorial picture we can easily compute the infinitesimal cumulants of the GOE and demonstrate the lack of asymptotic infinitesimal freeness of independent GOE ensembles. I have added a new figure and some additional explanatory remarks. This update corrects a number of typographical errors; I am grateful to the readers who brought these to my attention.


title: Size-Change Termination as a Contract

abstract: Termination is an important but undecidable program property, which has led to a large body of work on static methods for conservatively predicting or enforcing termination. One such method is the size-change termination approach of Lee, Jones, and Ben-Amram, which operates in two phases: (1) abstract programs into "size-change graphs," and (2) check these graphs for the size-change property: the existence of paths that lead to infinite decreasing sequences. We transpose these two phases with an operational semantics that accounts for the run-time enforcement of the size-change property, postponing (or entirely avoiding) program abstraction. This choice has two key consequences: (1) size-change termination can be checked at run-time and (2) termination can be rephrased as a safety property analyzed using existing methods for systematic abstraction. We formulate run-time size-change checks as contracts in the style of Findler and Felleisen. The result compliments existing contracts that enforce partial correctness specifications to obtain contracts for total correctness. Our approach combines the robustness of the size-change principle for termination with the precise information available at run-time. It has tunable overhead and can check for nontermination without the conservativeness necessary in static checking. To obtain a sound and computable termination analysis, we apply existing abstract interpretation techniques directly to the operational semantics, avoiding the need for custom abstractions for termination. The resulting analyzer is competitive with with existing, purpose-built analyzers.


title: On the boundedness of anti-canonical volumes of singular Fano $3$-folds in characteristic $p>5$

abstract: In this article we prove the following version of the Weak-BAB conjecture for $3$-folds in char $p>5$: Fix a DCC set $I\subset [0, 1)$ and an algebraically closed field $k$ of characteristic $p>5$. Let $\mathfrak{D}$ be a collection of klt pairs $(X, \Delta)$ satisfying the following properties: (1) $X$ is a projective $3$-fold, (2) $\Delta$ is an $\mathbb{R}$-divisor with coefficients in $I$, (3) $K_X+\Delta\equiv 0$, and (4) $-K_X$ is ample. Then the set $\{\mbox{vol}_X(-K_X) \ | \ (X, \Delta)\in\mathfrak{D}\mbox{ for some }\Delta\}$ is bounded from above.


title: DCert: Find the Leak in Your Pocket

abstract: Static data-flow analysis has proven its effectiveness in assessing security of applications. One major challenge it faces is scalability to large software. This issue is even exacerbated when additional limitations on computing and storage resources are imposed, as is the case for mobile devices. In such cases the analysis is performed on a conventional computer. This poses two problems. First, a man-in-the-middle attack can tamper with an analyzed application. So once on the mobile device, what guarantees that the actual version is not corrupt. Second, the analysis itself might be broken leading to an erroneous result. As a solution, we present DCert a tool for checking and certifying data-flow properties that consists of two components: a (heavy- weight) analyzer and a (lightweight) checker. The analyzer is deployed on a conventional computer. It verifies the conformance of a given application to a specified policy and generates a certificate attesting the validity of the analysis result. It suffices then for the checker, on a mobile device, to perform a linear pass in the application size to validate or refute the certificate as well as the policy. This allows us to separate the verification and the checking process while ensuring a trust relationship between them via the certificate. We describe DCert and report on experimental results obtained for real-world applications.


title: Inner Space Preserving Generative Pose Machine

abstract: Image-based generative methods, such as generative adversarial networks (GANs) have already been able to generate realistic images with much context control, specially when they are conditioned. However, most successful frameworks share a common procedure which performs an image-to-image translation with pose of figures in the image untouched. When the objective is reposing a figure in an image while preserving the rest of the image, the state-of-the-art mainly assumes a single rigid body with simple background and limited pose shift, which can hardly be extended to the images under normal settings. In this paper, we introduce an image "inner space" preserving model that assigns an interpretable low-dimensional pose descriptor (LDPD) to an articulated figure in the image. Figure reposing is then generated by passing the LDPD and the original image through multi-stage augmented hourglass networks in a conditional GAN structure, called inner space preserving generative pose machine (ISP-GPM). We evaluated ISP-GPM on reposing human figures, which are highly articulated with versatile variations. Test of a state-of-the-art pose estimator on our reposed dataset gave an accuracy over 80% on PCK0.5 metric. The results also elucidated that our ISP-GPM is able to preserve the background with high accuracy while reasonably recovering the area blocked by the figure to be reposed.


title: Lithium Metal Penetration Induced by Electrodeposition through Solid Electrolytes: Example in Single-Crystal Li6La3ZrTaO12 Garnet

abstract: Solid electrolytes are considered a potentially enabling component in rechargeable batteries that use lithium metal as the negative electrode, and thereby can safely access higher energy density than available with today's lithium ion batteries. To do so, the solid electrolyte must be able to suppress morphological instabilities that lead to poor coulombic efficiency and, in the worst case, internal short circuits. In this work, lithium electrodeposition experiments were performed using single-crystal Li6La3ZrTaO12 garnet as solid electrolyte layers to investigate the factors that determine whether lithium penetration occurs through brittle inorganic solid electrolytes. In these single crystals, grain boundaries are excluded as possible paths for lithium metal propagation. However, Vickers microindentation was used to introduce sharp surface flaws of known size. Using operando optical microscopy, it was found that lithium metal penetration sometimes initiates at these controlled surface defects, and when multiple indents of varying size were present, propagates preferentially from the largest defect. However, a second class of flaws was found to be equally or more important. At the perimeter of surface current collectors, an enhanced electrodeposition current density causes lithium metal filled cracks to initiate and grow to penetration, even when the large Vickers defects are in close proximity. Modeling the electric field concentration for the experimental configurations, it was shown that a factor of 5 enhancement in field can readily occur within 10 micrometers of current collector discontinuities, which we interpret as the origin of electrochemomechanical stresses leading to failure. Such field amplification may determine the sites where supercritical surface defects dominate lithium metal propagation during electrodeposition, overriding the presence of larger defects elsewhere.


title: Estimating initial state and quark-gluon plasma medium properties using a hybrid model with nucleon substructure calibrated to $p$-Pb and Pb-Pb collisions at $\sqrt{s_\mathrm{NN}}=5.02$ TeV

abstract: We posit a unified hydrodynamic and microscopic description of the quark-gluon plasma (QGP) produced in ultrarelativistic $p$-Pb and Pb-Pb collisions at $\sqrt{s_\mathrm{NN}}=5.02$ TeV and evaluate our assertion using Bayesian inference. Specifically, we model the dynamics of both collision systems using initial conditions with parametric nucleon substructure, a pre-equilibrium free-streaming stage, event-by-event viscous hydrodynamics, and a microscopic hadronic afterburner. Free parameters of the model which describe the initial state and QGP medium are then simultaneously calibrated to fit charged particle yields, mean $p_T$, and flow cumulants. We argue that the global agreement of the calibrated model with the experimental data strongly supports the existence of hydrodynamic flow in small collision systems at ultrarelativistic energies, and that the flow produced develops at length scales smaller than a single proton. Posterior estimates for the model's input parameters are obtained, and new insights into the temperature dependence of the QGP transport coefficients and event-by-event structure of the proton are discussed.


title: Significantly enhanced photocatalytic degradation of Methylene Blue using rGO-SnO2 nanocomposite under natural sunlight and UV light irradiation

abstract: In this paper, we report the synthesis of reduced Graphene Oxide-Tin Oxide nanocomposite and the effectiveness of this composite in decolorizing and degrading Methylene Blue (MB). Tin Oxide was prepared by liquid phase co-precipitation method and reduced Graphene Oxide-Tin Oxide (rGO-SnO2) nanocomposite was prepared by solution mixing method. Tin Oxide nanoparticles (NPs) have been ardently investigated as photocatalyst for water purification and environment decontamination but the photon generated electron and hole pair (EHP) recombination is one of the limiting factors. Reduced Graphene Oxide-Tin Oxide (rGO-SnO2) nanocomposite is very efficient to overcome this limitation for photocatalytic application. The as-synthesized GO, SnO2, GO-SnO2, rGO and rGO-SnO2 nanocomposite were characterized by X-ray Diffraction, Scanning Electron Microscopy, Energy Dispersive X-ray spectroscopy and Fourier Transform Infrared spectroscopy. The XRD data confirms the sharp peak at 2Theta=10.44 degree corresponding to (002) reflection of GO with interlayer d spacing of 8.46 Angstrom indication of successful preparation of GO by oxidation of graphite. Moreover, the diffraction peak shifts from 2Theta=10.44 degree to 2Theta=23.31 degree confirm successful synthesis of rGO as well. SEM image shows the morphology of all the photocatalysts. EDX studies are carried out to investigate the elemental composition and purity of the sample by giving all the elements present in the nanomaterials. The presence of functional groups was identified by FTIR. The rGO-SnO2 (1:10) nanocomposite shows an efficient photodegradation efficiency of ~94% and ~95% under natural sunlight and UV light irradiation respectively for Methylene Blue (MB) within 15 minutes. Furthermore, the degradation kinetics of MB is also studied in this paper as well.


title: Cluster automorphisms and quasi-automorphisms

abstract: We study the relation between the cluster automorphisms and the quasi-automorphisms of a cluster algebra $\mathcal{A}$. We proof that under some mild condition, satisfied for example by every skew-symmetric cluster algebra, the quasi-automorphism group of $\mathcal{A}$ is isomorphic to a subgroup of the cluster automorphism group of $\mathcal{A}_{triv}$, and the two groups are isomorphic if $\mathcal{A}$ has principal or universal coefficients; here $\mathcal{A}_{triv}$ is the cluster algebra with trivial coefficients obtained from $\mathcal{A}$ by setting all frozen variables equal to the integer 1. We also compute the quasi-automorphism group of all finite type and all skew-symmetric affine type cluster algebras, and show in which types it is isomorphic to the cluster automorphism group of $\mathcal{A}_{triv}$.


title: Direct 3D Tomographic Reconstruction and Phase-Retrieval of Far-Field Coherent Diffraction Patterns

abstract: We present an alternative numerical reconstruction algorithm for direct tomographic reconstruction of a sample refractive indices from the measured intensities of its far-field coherent diffraction patterns. We formulate the well-known phase-retrieval problem in ptychography in a tomographic framework which allows for simultaneous reconstruction of the illumination function and the sample refractive indices in three dimensions. Our iterative reconstruction algorithm is based on the Levenberg-Marquardt algorithm. We demonstrate the performance of our proposed method with simulation studies.


title: Likely equilibria of stochastic hyperelastic spherical shells and tubes

abstract: In large deformations, internally pressurised elastic spherical shells and tubes may undergo a limit-point, or inflation, instability manifested by a rapid transition in which their radii suddenly increase. The possible existence of such an instability depends on the material constitutive model. Here, we revisit this problem in the context of stochastic incompressible hyperelastic materials, and ask the question: what is the probability distribution of stable radially symmetric inflation, such that the internal pressure always increases as the radial stretch increases? For the classic elastic problem, involving isotropic incompressible materials, there is a critical parameter value that strictly separates the cases where inflation instability can occur or not. By contrast, for the stochastic problem, we show that the inherent variability of the probabilistic parameters implies that there is always competition between the two cases. To illustrate this, we draw on published experimental data for rubber, and derive the probability distribution of the corresponding random shear modulus to predict the inflation responses for a spherical shell and a cylindrical tube made of a material characterised by this parameter.


title: Flow Smoothing and Denoising: Graph Signal Processing in the Edge-Space

abstract: This paper focuses on devising graph signal processing tools for the treatment of data defined on the edges of a graph. We first show that conventional tools from graph signal processing may not be suitable for the analysis of such signals. More specifically, we discuss how the underlying notion of a `smooth signal' inherited from (the typically considered variants of) the graph Laplacian are not suitable when dealing with edge signals that encode a notion of flow. To overcome this limitation we introduce a class of filters based on the Edge-Laplacian, a special case of the Hodge-Laplacian for simplicial complexes of order one. We demonstrate how this Edge-Laplacian leads to low-pass filters that enforce (approximate) flow-conservation in the processed signals. Moreover, we show how these new filters can be combined with more classical Laplacian-based processing methods on the line-graph. Finally, we illustrate the developed tools by denoising synthetic traffic flows on the London street network.


title: Strong shock in a uniform expanding universe. Approximate and exact solutions of self-similar equations

abstract: Self-similar solution is obtained for propagation of a strong shock, in a flat expanding dusty Friedman universe. Approximate analytic solution was obtained earlier, using relation between self-similar variables, equivalent to the exact energy conservation integral, which was obtained by L.I. Sedov for the strong explosion in the static uniform medium. Numerical integration of self-similar equation is made here, giving an exact solution of the problem, which is rather close to the approximate analytic one. The differences between these solutions are most apparent in the vicinity of the shock. For polytropic equation of state, self-similar solutions exist in more narrow interval of the adiabatic power than in the static case.


title: Paying Attention to Attention: Highlighting Influential Samples in Sequential Analysis

abstract: In (Yang et al. 2016), a hierarchical attention network (HAN) is created for document classification. The attention layer can be used to visualize text influential in classifying the document, thereby explaining the model's prediction. We successfully applied HAN to a sequential analysis task in the form of real-time monitoring of turn taking in conversations. However, we discovered instances where the attention weights were uniform at the stopping point (indicating all turns were equivalently influential to the classifier), preventing meaningful visualization for real-time human review or classifier improvement. We observed that attention weights for turns fluctuated as the conversations progressed, indicating turns had varying influence based on conversation state. Leveraging this observation, we develop a method to create more informative real-time visuals (as confirmed by human reviewers) in cases of uniform attention weights using the changes in turn importance as a conversation progresses over time.


title: Definition of a scoring parameter to identify low-dimensional materials components

abstract: The last decade has seen intense research in materials with reduced dimensionality. The low dimensionality leads to interesting electronic behavior due to electronic confinement and reduced screening. The investigations have to a large extent focused on 2D materials both in their bulk form, as individual layers a few atoms thick, and through stacking of 2D layers into heterostructures. The identification of low-dimensional compounds is therefore of key interest. Here, we perform a geometric analysis of material structures, demonstrating a strong clustering of materials depending on their dimensionalities. Based on the geometric analysis, we propose a simple scoring parameter to identify materials of a particular dimension or of mixed dimensionality. The method identifies spatially connected components of the materials and gives a measure of the degree of "1D-ness," "2D-ness," etc., for each component. The scoring parameter is applied to the Inorganic Crystal Structure Database and the Crystallography Open Database ranking the materials according to their degree of dimensionality. In the case of 2D materials the scoring parameter is seen to clearly separate 2D from non-2D materials and the parameter correlates well with the bonding strength in the layered materials. About 3000 materials are identified as one-dimensional, while more than 9000 are mixed-dimensionality materials containing a molecular (0D) component. The charge states of the components in selected highly ranked materials are investigated using density functional theory and Bader analysis showing that the spatially separated components have either zero charge, corresponding to weak interactions, or integer charge, indicating ionic bonding.


title: Impact of unitarization on the $J/\psi$-light meson cross section

abstract: Hidden charm mesons continue playing an essential role as relevant probes to understand the evolution of partonic matter. It is expected that the charmonia that survived the quark-gluon plasma phase suffer collisions with other particles composing the hadronic matter. In this work, we intend to contribute on this subject by presenting an updated study about the interactions of $J/\psi$ with surrounding hadronic medium. The meson-meson interactions are described with a $SU(4)$ effective Lagrangian, and within the framework of unitarized coupled channel amplitudes projected onto s-wave. The symmetry is explicitly broken to $SU(3)$ by suppression of the interactions driven by charmed mesons. We calculate the cross sections for $J/\psi $ scattering by light pseudoscalar mesons ($\pi, K, \eta$) and vector mesons ($\rho, K^\ast, \omega$), as well as their inverse processes. Keeping the validity of this present approach in the low CM energy range, the most relevant channels are evaluated and a comparison of the findings with existing literature is performed.


title: The Close Binary Fraction of Solar-type Stars is Strongly Anti-correlated with Metallicity

abstract: There is now strong evidence that the close binary fraction (P < 10$^4$ days; a < 10 AU) of solar-type stars ($M_1$ = 0.6-1.5M$_{\odot}$) decreases significantly with metallicity. Although early surveys showed that the observed spectroscopic binary (SB) fractions in the galactic disk and halo are similar (e.g., Carney-Latham sample), these studies did not correct for incompleteness. In this study, we examine five different surveys and thoroughly account for their underlying selection biases to measure the intrinsic occurrence rate of close solar-type binaries. We re-analyze: (1) a volume-limited sample of solar-type stars, (2) an SB survey of high-proper-motion stars, (3) various SB samples of metal-poor giants, (4) the APOGEE survey of radial velocity (RV) variables, and (5) Kepler eclipsing binaries (EBs). The observed APOGEE RV variability fraction and Kepler EB fraction both decrease by a factor of $\approx$4 across $-$1.0 < [Fe/H] < 0.5 at the 22$\sigma$ and 9$\sigma$ confidence levels, respectively. After correcting for incompleteness, all five samples exhibit a quantitatively consistent anti-correlation between the intrinsic close binary fraction (a < 10 AU) and metallicity: $F_{\rm close}$ = 53%$\pm$12%, 40%$\pm$6%, 24%$\pm$4%, and 10%$\pm$3% at [Fe/H] = $-$3.0, $-$1.0, $-$0.2 (mean field metallicity), and +0.5, respectively. We present fragmentation models that explain why the close binary fraction of solar-type stars strongly decreases with metallicity while the wide binary fraction, close binary fraction of OB stars, and initial mass function are all constant across $-$1.5 < [Fe/H] < 0.5. The majority of solar-type stars with [Fe/H] < $-$1.0 will interact with a stellar companion, which has profound implications for binary evolution in old and metal-poor environments such as the galactic halo, bulge, thick disk, globular clusters, dwarf galaxies, and high-redshift universe.


title: Large-time asymptotics of a public goods game model with diffusion

abstract: We consider a spatially inhomogeneous public goods game model with diffusion. By utilising a generalised Hamiltonian structure of the model we study the existence of global classical solutions as well as the large time behaviour: First, the asymptotic convergence of the PDE to the corresponding ODE system is proven. This result entails also the periodic behaviour of PDE solutions in the large time limit. Secondly, a shadow system approximation is considered and the convergence of the PDE to the shadow system in the associated fast-diffusion limit is shown. Finally, the asymptotic convergence of the shadow to the ODE system is proven.


title: Great Expectations: Plans and Predictions for New Horizons Encounter with Kuiper Belt Object 2014 MU69 ('Ultima Thule')

abstract: The New Horizons encounter with the cold classical Kuiper Belt object (KBO) 2014 MU69 (informally named 'Ultima Thule,' hereafter Ultima) on 1 January 2019 will be the first time a spacecraft has ever closely observed one of the free-orbiting small denizens of the Kuiper Belt. Related to but not thought to have formed in the same region of the Solar System as the comets that been explored so far, it will also be the largest, most distant, and most primitive body yet visited by spacecraft. In this letter we begin with a brief overview of cold classical KBOs, of which Ultima is a prime example. We give a short preview of our encounter plans. We note what is currently known about Ultima from earth-based observations. We then review our expectations and capabilities to evaluate Ultima's composition, surface geology, structure, near space environment, small moons, rings, and the search for activity.


title: Asymmetric Schottky Contacts in Bilayer MoS2 Field Effect Transistors

abstract: We discuss the high-bias electrical characteristics of back-gated field-effect transistors with CVD-synthesized bilayer MoS2 channel and Ti Schottky contacts. We find that oxidized Ti contacts on MoS2 form rectifying junctions with ~0.3 to 0.5 eV Schottky barrier height. To explain the rectifying output characteristics of the transistors, we propose a model based on two slightly asymmetric back-to-back Schottky barriers, where the highest current arises from image force barrier lowering at the electrically forced junction, while the reverse current is due to Schottky-barrier limited injection at the grounded junction. The device achieves a photo responsivity greater than 2.5 AW-1 under 5 mWcm-2 white-LED light. By comparing two- and four-probe measurements, we demonstrate that the hysteresis and persistent photoconductivity exhibited by the transistor are peculiarities of the MoS2 channel rather than effects of the Ti/MoS2 interface.


title: Heavy-Traffic Insensitive Bounds for Weighted Proportionally Fair Bandwidth Sharing Policies

abstract: We consider a connection-level model proposed by Massouli\'{e} and Roberts for bandwidth sharing among file transfer flows in a communication network. We study weighted proportionally fair sharing policies and establish explicit-form bounds on the weighted sum of the expected numbers of flows on different routes in heavy traffic. The bounds are linear in the number of critically loaded links in the network, and they hold for a class of phase-type file-size distributions; i.e., the bounds are heavy-traffic insensitive to the distributions in this class. Our approach is Lyapunov-drift based, which is different from the widely used diffusion approximation approach. A key technique we develop is to construct a novel inner product in the state space, which then allows us to obtain a multiplicative type of state-space collapse in steady state. Furthermore, this state-space collapse result implies the interchange of limits as a by-product for the diffusion approximation of the equal-weight case under phase-type file-size distributions, demonstrating the heavy-traffic insensitivity of the stationary distribution.


title: Composite Convex Optimization with Global and Local Inexact Oracles

abstract: We introduce new global and local inexact oracle concepts for a wide class of convex functions in composite convex minimization. Such inexact oracles naturally come from primal-dual framework, barrier smoothing, inexact computations of gradients and Hessian, and many other situations. We also provide examples showing that the class of convex functions equipped with the newly inexact second-order oracles is larger than standard self-concordant as well as Lipschitz gradient function classes. Further, we investigate several properties of convex and/or self-concordant functions under the inexact second-order oracles which are useful for algorithm development. Next, we apply our theory to develop inexact proximal Newton-type schemes for minimizing general composite convex minimization problems equipped with such inexact oracles. Our theoretical results consist of new optimization algorithms, accompanied with global convergence guarantees to solve a wide class of composite convex optimization problems. When the first objective term is additionally self-concordant, we establish different local convergence results for our method. In particular, we prove that depending on the choice of accuracy levels of the inexact second-order oracles, we obtain different local convergence rates ranging from $R$-linear and $R$-superlinear to $R$-quadratic. In special cases, where convergence bounds are known, our theory recovers the best known rates. We also apply our settings to derive a new primal-dual method for composite convex minimization problems. Finally, we present some representative numerical examples to illustrate the benefit of our new algorithms.


title: Non-Learning based Deep Parallel MRI Reconstruction (NLDpMRI)

abstract: Fast data acquisition in Magnetic Resonance Imaging (MRI) is vastly in demand and scan time directly depends on the number of acquired k-space samples. Recently, the deep learning-based MRI reconstruction techniques were suggested to accelerate MR image acquisition. The most common issues in any deep learning-based MRI reconstruction approaches are generalizability and transferability. For different MRI scanner configurations using these approaches, the network must be trained from scratch every time with new training dataset, acquired under new configurations, to be able to provide good reconstruction performance. Here, we propose a new generalized parallel imaging method based on deep neural networks called NLDpMRI to reduce any structured aliasing ambiguities related to the different k-space undersampling patterns for accelerated data acquisition. Two loss functions including non-regularized and regularized are proposed for parallel MRI reconstruction using deep network optimization and we reconstruct MR images by optimizing the proposed loss functions over the network parameters. Unlike any deep learning-based MRI reconstruction approaches, our method doesn't include any training step that the network learns from a large number of training samples and it only needs the single undersampled multi-coil k-space data for reconstruction. Also, the proposed method can handle k-space data with different undersampling patterns, and the different number of coils. Experimental results show that the proposed method outperforms the current state-of-the-art GRAPPA method and the deep learning-based variational network method.


title: Structure Learning for Relational Logistic Regression: An Ensemble Approach

abstract: We consider the problem of learning Relational Logistic Regression (RLR). Unlike standard logistic regression, the features of RLRs are first-order formulae with associated weight vectors instead of scalar weights. We turn the problem of learning RLR to learning these vector-weighted formulae and develop a learning algorithm based on the recently successful functional-gradient boosting methods for probabilistic logic models. We derive the functional gradients and show how weights can be learned simultaneously in an efficient manner. Our empirical evaluation on standard and novel data sets demonstrates the superiority of our approach over other methods for learning RLR.


title: On the $W^2_p$ Estimate for Oblique Derivative Problem in Lipschitz Domains

abstract: The aim of this paper is to establish $W^2_p$ estimate for non-divergence form second-order elliptic equations with the oblique derivative boundary condition in domains with small Lipschitz constants. Our result generalizes those in [14, 15], which work for $C^{1,\alpha}$ domains with $\alpha > 1-1/p$. As an application, we also obtain a solvability result. An extension to fully nonlinear elliptic equations with the oblique derivative boundary condition is also discussed.


title: Cross-App Interference Threats in Smart Homes: Categorization, Detection and Handling

abstract: A number of Internet of Things (IoTs) platforms have emerged to enable various IoT apps developed by third-party developers to automate smart homes. Prior research mostly concerns the overprivilege problem in the permission model. Our work, however, reveals that even IoT apps that follow the principle of least privilege, when they interplay, can cause unique types of threats, named Cross-App Interference (CAI) threats. We describe and categorize the new threats, showing that unexpected automation, security and privacy issues may be caused by such threats, which cannot be handled by existing IoT security mechanisms. To address this problem, we present HOMEGUARD, a system for appified IoT platforms to detect and cope with CAI threats. A symbolic executor module is built to precisely extract the automation semantics from IoT apps. The semantics of different IoT apps are then considered collectively to evaluate their interplay and discover CAI threats systematically. A user interface is presented to users during IoT app installation, interpreting the discovered threats to help them make decisions. We evaluate HOMEGUARD via a proof-of-concept implementation on Samsung SmartThings and discover many threat instances among apps in the SmartThings public repository. The evaluation shows that it is precise, effective and efficient.


title: Admissibility and nonuniform polynomial dichotomies

abstract: For a general one-sided nonautonomous dynamics defined by a sequence of linear operators, we consider the notion of a polynomial dichotomy with respect to a sequence of norms and we characterize it completely in terms of the admissibility of bounded solutions. As a nontrivial application, we establish the robustness of the notion of a nonuniform polynomial dichotomy.


title: A WSe2 vertical field emission transistor

abstract: We report the first observation of gate-controlled field emission current from a tungsten diselenide (WSe2) monolayer, synthesized by chemical-vapour deposition on SiO2/Si substrate. Ni contacted WSe2 monolayer back-gated transistors, under high vacuum, exhibit n-type conduction and drain-bias dependent transfer characteristics, which are attributed to oxygen/water desorption and drain induced Schottky barrier lowering, respectively. The gate-tuned n-type conduction enables field emission, i.e. the extraction of electrons by quantum tunnelling, even from the flat part of the WSe2 monolayers. Electron emission occurs under an electric field ~100 V {\mu}m^(-1) and exhibit good time stability. Remarkably, the field emission current can be modulated by the back-gate voltage. The first field-emission vertical transistor based on WSe2 monolayer is thus demonstrated and can pave the way to further optimize new WSe2 based devices for use in vacuum electronics.


title: Attentive Semantic Alignment with Offset-Aware Correlation Kernels

abstract: Semantic correspondence is the problem of establishing correspondences across images depicting different instances of the same object or scene class. One of recent approaches to this problem is to estimate parameters of a global transformation model that densely aligns one image to the other. Since an entire correlation map between all feature pairs across images is typically used to predict such a global transformation, noisy features from different backgrounds, clutter, and occlusion distract the predictor from correct estimation of the alignment. This is a challenging issue, in particular, in the problem of semantic correspondence where a large degree of image variations is often involved. In this paper, we introduce an attentive semantic alignment method that focuses on reliable correlations, filtering out distractors. For effective attention, we also propose an offset-aware correlation kernel that learns to capture translation-invariant local transformations in computing correlation values over spatial locations. Experiments demonstrate the effectiveness of the attentive model and offset-aware kernel, and the proposed model combining both techniques achieves the state-of-the-art performance.


title: Probabilistic Causal Analysis of Social Influence

abstract: Mastering the dynamics of social influence requires separating, in a database of information propagation traces, the genuine causal processes from temporal correlation, i.e., homophily and other spurious causes. However, most studies to characterize social influence, and, in general, most data-science analyses focus on correlations, statistical independence, or conditional independence. Only recently, there has been a resurgence of interest in "causal data science", e.g., grounded on causality theories. In this paper we adopt a principled causal approach to the analysis of social influence from information-propagation data, rooted in the theory of probabilistic causation. Our approach consists of two phases. In the first one, in order to avoid the pitfalls of misinterpreting causation when the data spans a mixture of several subtypes ("Simpson's paradox"), we partition the set of propagation traces into groups, in such a way that each group is as less contradictory as possible in terms of the hierarchical structure of information propagation. To achieve this goal, we borrow the notion of "agony" and define the Agony-bounded Partitioning problem, which we prove being hard, and for which we develop two efficient algorithms with approximation guarantees. In the second phase, for each group from the first phase, we apply a constrained MLE approach to ultimately learn a minimal causal topology. Experiments on synthetic data show that our method is able to retrieve the genuine causal arcs w.r.t. a ground-truth generative model. Experiments on real data show that, by focusing only on the extracted causal structures instead of the whole social graph, the effectiveness of predicting influence spread is significantly improved.


title: CPlaNet: Enhancing Image Geolocalization by Combinatorial Partitioning of Maps

abstract: Image geolocalization is the task of identifying the location depicted in a photo based only on its visual information. This task is inherently challenging since many photos have only few, possibly ambiguous cues to their geolocation. Recent work has cast this task as a classification problem by partitioning the earth into a set of discrete cells that correspond to geographic regions. The granularity of this partitioning presents a critical trade-off; using fewer but larger cells results in lower location accuracy while using more but smaller cells reduces the number of training examples per class and increases model size, making the model prone to overfitting. To tackle this issue, we propose a simple but effective algorithm, combinatorial partitioning, which generates a large number of fine-grained output classes by intersecting multiple coarse-grained partitionings of the earth. Each classifier votes for the fine-grained classes that overlap with their respective coarse-grained ones. This technique allows us to predict locations at a fine scale while maintaining sufficient training examples per class. Our algorithm achieves the state-of-the-art performance in location recognition on multiple benchmark datasets.


title: Piping Botnet - Turning Green Technology into a Water Disaster

abstract: The current generation of IoT devices is being used by clients and consumers to regulate resources (such as water and electricity) obtained from critical infrastructure (such as urban water services and smart grids), creating a new attack vector against critical infrastructure. In this research we show that smart irrigation systems, a new type of green technology and IoT device aimed at saving water and money, can be used by attackers as a means of attacking urban water services. We present a distributed attack model that can be used by an attacker to attack urban water services using a botnet of commercial smart irrigation systems. Then, we show how a bot running on a compromised device in a LAN can:(1) detect a connected commercial smart irrigation system (RainMachine, BlueSpray, and GreenIQ) within 15 minutes by analyzing LAN's behavior using a dedicated classification model, and (2) launch watering via a commercial smart irrigation system according to an attacker's wishes using spoofing and replay attacks. In addition, we model the damage that can be caused by performing such an attack and show that a standard water tower can be emptied in an hour using a botnet of 1,355 sprinklers and a flood water reservoir can be emptied overnight using a botnet of 23,866 sprinklers. Finally, we discuss countermeasure methods and hypothesize whether the next generation of plumbers will use Kali Linux instead of a monkey wrench.


title: Correlation Functions of Classical and Quantum Artin System defined on Lobachevsky Plane and Scrambling Time

abstract: We consider the quantisation of the Artin dynamical system defined on the fundamental region of the modular group. In classical regime the geodesic flow in the fundamental region represents one of the most chaotic dynamical systems, it has mixing of all orders, Lebesgue spectrum and non-zero Kolmogorov entropy. As a result, the classical correlation functions decay exponentially. In order to investigate the influence of the classical chaotic behaviour on the quantum-mechanical properties of the Artin system we calculated the corresponding thermal quantum-mechanical correlation functions. It was conjectured by Maldacena, Shenker and Stanford that the classical chaos can be diagnosed in thermal quantum systems by using an out-of-time-order correlation function as well as the square of the commutator of operators separated in time. We demonstrated that the two- and four-point correlation functions of the Louiville-like operators decay exponentially with a temperature dependent exponent. As conjectured the square of the commutator of the Louiville-like operators separated in time grows exponentially, similar to the exponential divergency of trajectories in the classical regime. The corresponding exponent does not saturate the maximal growth condition.


title: A fractional Korn-type inequality

abstract: We show that a class of spaces of vector fields whose semi-norms involve the magnitude of "directional" difference quotients is in fact equivalent to the class of fractional Sobolev spaces. The equivalence can be considered a Korn-type characterization of fractional Sobolev spaces. We use the result to understand better the energy space associated to a strongly coupled system of nonlocal equations related to a nonlocal continuum model via peridynamics. Moreover, the equivalence permits us to apply classical space embeddings in proving that weak solutions to the nonlocal system enjoy both improved differentiability and improved integrability.


title: Kerman: A Hybrid Lightweight Tracking Algorithm to Enable Smart Surveillance as an Edge Service

abstract: Edge computing pushes the cloud computing boundaries beyond uncertain network resource by leveraging computational processes close to the source and target of data. Time-sensitive and data-intensive video surveillance applications benefit from on-site or near-site data mining. In recent years, many smart video surveillance approaches are proposed for object detection and tracking by using Artificial Intelligence (AI) and Machine Learning (ML) algorithms. However, it is still hard to migrate those computing and data-intensive tasks from Cloud to Edge due to the high computational requirement. In this paper, we envision to achieve intelligent surveillance as an edge service by proposing a hybrid lightweight tracking algorithm named Kerman (Kernelized Kalman filter). Kerman is a decision tree based hybrid Kernelized Correlation Filter (KCF) algorithm proposed for human object tracking, which is coupled with a lightweight Convolutional Neural Network (L-CNN) for high performance. The proposed Kerman algorithm has been implemented on a couple of single board computers (SBC) as edge devices and validated using real-world surveillance video streams. The experimental results are promising that the Kerman algorithm is able to track the object of interest with a decent accuracy at a resource consumption affordable by edge devices.


title: A general principle for Hausdorff measure

abstract: We introduce a general principle for studying the Hausdorff measure of limsup sets. A consequence of this principle is the well-known Mass Transference Principle of Beresnevich and Velani (2006).


title: Correlations in the matter distribution in CLASH galaxy clusters

abstract: We study the total and dark matter (DM) density profiles as well as their correlations for a sample of 15 high-mass galaxy clusters by extending our previous work on several clusters from Newman et al. Our analysis focuses on 15 CLASH X-ray-selected clusters that have high-quality weak- and strong-lensing measurements from combined Subaru and {\em Hubble Space Telescope} observations. The total density profiles derived from lensing are interpreted based on the two-phase scenario of cluster formation. In this context, the brightest cluster galaxy (BCG) forms in the first dissipative phase, followed by a dissipationless phase where baryonic physics flattens the inner DM distribution. This results in the formation of clusters with modified DM distribution and several correlations between characteristic quantities of the clusters. We find that the central DM density profiles of the clusters are strongly influenced by baryonic physics as found in our earlier work. The inner slope of the DM density for the CLASH clusters is found to be flatter than the Navarro--Frenk--White profile, ranging from $\alpha=0.30$ to $0.79$. We examine correlations of the DM density slope $\alpha$ with the effective radius $R_\mathrm{e}$ and stellar mass $M_\mathrm{e}$ of the BCG, finding that these quantities are anti-correlated with a Spearman correlation coefficient of $\sim -0.6$. We also study the correlation between $R_\mathrm{e}$ and the cluster halo mass $M_{500}$, and the correlation between the total masses inside 5\,kpc and 100\,kpc. We find that these quantities are correlated with Spearman coefficients of $0.68$ and $0.64$, respectively. These observed correlations are in support of the physical picture proposed by Newman et al.


title: A Potential Space Estimate for Solutions of Systems of Nonlocal Equations in Peridynamics

abstract: We show that weak solutions to the strongly-coupled system of nonlocal equations of linearized peridynamics belong to a potential space with higher integrability. Specifically, we show a function that measures local fractional derivatives of weak solutions to a linear system belongs to $L^p$ for some $p > 2$ with no additional assumption other than measurability and ellipticity of coefficients. This is a nonlocal analogue of an inequality of Meyers for weak solutions to an elliptic system of equations. We also show that functions in $L^p$ whose Marcinkiewicz-type integrals are in $L^p$ in fact belong to the Bessel potential space $\mathcal{L}^{p}_s$. Thus the fractional analogue of higher integrability of the solution's gradient is displayed explicitly. The distinction here is that the Marcinkiewicz-type integral exhibits the coupling from the nonlocal model and does not resemble other classes of potential-type integrals found in the literature.


title: Formation of Spatial Patterns by Spin-selective Excitations of Interacting Fermions

abstract: We describe the formation of charge- and spin-density patterns induced by spin-selective photoexcitations of interacting fermionic systems in the presence of a microstructure. As an example, we consider a one-dimensional Hubbard-like system with a periodic magnetic microstructure, which has a uniform charge distribution in its ground state, and in which a long-lived charge-density pattern is induced by the spin-selective photoexcitation. Using tensor-network methods, we study the full quantum dynamics in the presence of electron-electron interactions and identify doublons as the main decay channel for the induced charge pattern. Our setup is compared to the OISTR mechanism, in which ultrafast optically induced spin transfer in Heusler and magnetic compounds is associated to the difference of the local density of states of the different elements in the alloys. We find that applying a spin-selective excitation there induces spatially periodic patterns in local observables. Implications for pump-probe experiments on correlated materials and experiments with ultracold gases on optical lattices are discussed.


title: The bipartite $K_{2,2}$-free process and bipartite Ramsey number $b(2, t)$

abstract: The bipartite Ramsey number $b(s,t)$ is the smallest integer $n$ such that every blue-red edge coloring of $K_{n,n}$ contains either a blue $K_{s,s}$ or a red $K_{t,t}$. In the bipartite $K_{2,2}$-free process, we begin with an empty graph on vertex set $X\cup Y$, $|X|=|Y|=n$. At each step, a random edge from $X\times Y$ is added under the restriction that no $K_{2,2}$ is formed. This step is repeated until no more edges can be added. In this note, we analyze this process and show that the resulting graph witnesses that $b(2,t) =\Omega \left(t^{3/2}/\log t \right)$, thereby improving the best known lower bound.


title: Specific heat and pairing of Dirac composite fermions in the half-filled Landau level

abstract: A recent proposal argues that an alternate description of the half-filled Landau level is a theory of massless Dirac fermions. We examine the possibility of pairing of these Dirac fermions by numerically solving the {\em coupled} Eliashberg equations unlike our previous calculation [Wang and Chakravarty, Phys. Rev. B {\bf 94}, 165138 (2016)]. In addition, vertex corrections are calculated to be zero from the Ward identity. We find that pairing is possible in non-zero angular momentum channels; the only differences are minor numerical shifts. As before, the pairing leads to the gapped Pfaffian and anti-Pfaffian states. However, in our approximation scheme, pairing is not possible in the putative particle-hole symmetric state for $\ell=0$ angular momentum. The specific heat at low temperatures of a system of massless Dirac fermions interacting with a transverse gauge field, expected to be relevant for the half-filled Landau level, is calculated. Using the Luttinger formula, it is found be $\propto T\ln T$ in the leading low temperature limit, due to the exchange of transverse gauge bosons. The result agrees with the corresponding one in the nonrelativistic composite fermion theory of Halperin, Lee and Read of the half-filled Landau level.


title: GRAVITY chromatic imaging of Eta Car's core

abstract: Eta Car is one of the most intriguing luminous blue variables in the Galaxy. Observations and models at different wavelengths suggest a central binary with a 5.54 yr period residing in its core. 2D and 3D radiative transfer and hydrodynamic simulations predict a primary with a dense and slow stellar wind that interacts with the faster and lower density wind of the secondary. The wind-wind collision scenario suggests that the secondary's wind penetrates the primary's wind creating a low-density cavity in it, with dense walls where the two winds interact. We aim to trace the inner ~5-50 au structure of Eta Car's wind-wind interaction, as seen through BrG and, for the first time, through the He I 2s-2p line. We have used spectro-interferometric observations with GRAVITY at the VLTI. Our modeling of the continuum allows us to estimate its FWHM angular size close to 2 mas and an elongation ratio of 1.06 +/- 0.05 over a PA = 130 +/- 20 deg. Our CMFGEN modeling helped us to confirm that the role of the secondary should be taken into account to properly reproduce the observed BrG and He I lines. Chromatic images across BrG reveal a southeast arc-like feature, possibly associated to the hot post-shocked winds flowing along the cavity wall. The images of He I 2s-2p served to constrain the 20 mas structure of the line-emitting region. The observed morphology of He I suggests that the secondary is responsible for the ionized material that produces the line profile. Both the BrG and the He I 2s-2p maps are consistent with previous hydrodynamical models of the colliding wind scenario. Future dedicated simulations together with an extensive interferometric campaign are necessary to refine our constraints on the wind and stellar parameters of the binary, which finally will help us predict the evolutionary path of Eta Car.


title: Effect of N interstitial complexes on the electronic properties of GaAs$_{1-x}$N$_{x}$ alloys from first principles

abstract: Several approaches have been used to investigate the impact of Nitrogen (N) on the electronic structure of GaAs$_{1-x}$N$_{x}$ alloys, however, there is no agreement between theory and experiments about the importance of the different N interstitial defects in these alloys, and their nature is still unknown. Here we analyze the impact of five different N defects on the electronic structure of GaAs$_{1-x}$N$_{x}$ alloys, using density-functional methods: we calculate electronic states, formation energies and charge transition levels. The studied defects include N$_{As}$, As$_{Ga}$, As$_{Ga}$-N$_{As}$ substitutional defects, and (N-N)$_{As}$, (N-As)$_{As}$ split-interstitial complex defects. Our calculated defect formation energies agree with those reported by S.B. Zhang et al. [Phys. Rev. Lett. 86, 1789 (2001)], who predicted these defects. Among the interstitial defects, we found that (N-As)$_{As}$ emerges as the lowest energy configuration in comparison with (N-N)$_{As}$, agreeing with recent experiments [T. Jen, et al., Appl. Phys. Lett. 107, 221904 (2015)]. We also calculated the levels induced in the electronic structure due to each of these defects: defect states may occur as deep levels in the gap, shallow levels close to the band edges, and as levels between bulk states. We find that the largest changes in the band structure are produced by an isolated N atom in GaAs, which is resonant with the conduction band, exhibiting a strong hybridization between N and GaAs states. Deeper levels in the bandgap are obtained with (N-N)$_{As}$ split-interstitial defects. Our results confirm the formation of highly localized states around the N sites, which is convenient for photovoltaics and photoluminescence applications.


title: The first high-resolution observations of 37.7-, 38.3- and 38.5-GHz methanol masers

abstract: We have used the Australia Telescope Compact Array (ATCA) to undertake the first high angular resolution observations of 37.7-GHz ($7_{-2} - 8_{-1}E$) methanol masers towards a sample of eleven high-mass star formation regions which host strong 6.7-GHz methanol masers. The 37.7-GHz methanol sites are coincident to within the astrometric uncertainty (0.4 arcseconds) with the 6.7-GHz methanol masers associated with the same star formation region. However, spatial and spectral comparison of the 6.7- and 37.7-GHz maser emission within individual sources shows that the 37.7-GHz masers are less often, or to a lesser degree co-spatial than are the 12.2-GHz and 6.7-GHz masers. We also made sensitive, high angular resolution observations of the 38.3- and 38.5-GHz class II methanol transitions ($6_{2} - 5_{3}A^{-}$ and $6_{2} - 5_{3}A^{+}$, respectively) and the 36.2-GHz ($4_{-1} - 3_{0}E$) class I methanol transition towards the same sample of eleven sources. The 37.7-, 38.3- and 38.5-GHz methanol masers are unresolved in the current observations, which implies a lower limit on the brightness temperature of the strongest masers of more than $10^6$K. We detected the 38.3-GHz methanol transition towards 7 sources, 5 of which are new detections and detected the 38.5-GHz transition towards 6 sources, 4 of which are new detections. We detected 36.2-GHz class I methanol masers towards all eleven sources, 6 of these are new detections for this transition, of which 4 sources do not have previously reported class I methanol masers from any transition.


title: Routing in Wireless Networks with Interferences

abstract: We consider dynamic routing in multi-hop wireless networks with adversarial traffic. The model of wireless communication incorporates interferences caused by packets' arrivals into the same node that overlap in time. We consider two classes of adversaries: balanced and unbalanced. We demonstrate that, for each routing algorithm and an unbalanced adversary, the algorithm is unstable against this adversary in some networks. We develop a routing algorithm that has bounded packet latency against each balanced adversary.


title: Strange metal crossover in the doped holographic superconductor

abstract: In a recent paper, Kiritsis and Li presented a holographic model to study the competition between different orders at finite doping in holographic superconductors. In the present work, we introduce fermions into such model and study the fermionic spectral functions in the normal phase at zero and finite temperatures. Combining analytic and numerical methods, we found that there is a crossover from a strange metal with short lived excitations at small doping, into a Fermi liquid with well defined quasiparticles at large doping. The critical doping at which excitations becomes long lived increases with temperature. The emerging phase diagram is qualitatively similar to that of High Temperature Superconductors.


title: Dynamical effects on the classical Kuiper Belt during the excited-Neptune model

abstract: The link between the dynamical evolution of the giant planets and the Kuiper Belt orbital structure can provide clues and insight about the dynamical history of the Solar System. The classical region of the Kuiper Belt has two populations (the cold and hot populations) with completely different physical and dynamical properties. These properties have been explained in the framework of a subset of the simulations of the Nice Model, in which Neptune remained on a low-eccentricity orbit (Neptune's eccentricity is never larger than 0.1) throughout the giant planet instability. However, recent simulations have showed that the remaining Nice model simulations, in which Neptune temporarily acquires a large-eccentricity orbit (larger than 0.1), are also consistent with the preservation of the cold population (inclination smaller than 4 degrees), if the latter formed in situ. However, the resulting a cold population showed in many of the simulations eccentricities larger than those observed for the real population. We focus on a short period of time which is characterized by Neptune's large eccentricity and a slow precession of Neptune's perihelion. We show that if self-gravity is considered in the disk, the precession rate of the particles longitude of perihelion is slowed down. This, combined with the effect of mutual scattering among the bodies, which spreads all orbital elements, allows some objects to return to low eccentricities. However, we show that if the cold population originally had a small total mass, this effect is negligible. Thus, we conclude that the only possibilities to keep at low eccentricity some cold-population objects during a high-eccentricity phase of Neptune are that (i) either Neptune's precession was rapid, as suggested by Batygin et al. (2011) or (ii) Neptune's slow precession phase was long enough to allow some particles to experience a full secular cycle.


title: Vacuum state in de Sitter spacetime with static charts

abstract: We study the free massive scalar field in de Sitter spacetime with static charts. In particular, we find positive-frequency modes for the Bunch-Davies vacuum state natural to the static charts as superpositions of the well-known positive-frequency modes in the conformally-flat chart. We discuss in detail how these modes are defined globally in the two static charts and the region in their future. The global structure of these solutions leads to the well-known description of the Bunch-Davies vacuum state as an entangled state. Our results are expected to be useful not only for studying the thermal properties in the vacuum fluctuations in de Sitter spacetime but also for understanding the nonlocal properties of the vacuum state.


title: $\ell$-torsion in class groups of certain families of $D_4$-quartic fields

abstract: We prove an upper bound for $\ell$-torsion in class groups of almost all fields in certain families of $D_4$-quartic fields. Our key tools are a new Chebotarev density theorem for these families of $D_4$-quartic fields and a lower bound for the number of fields in the families.


title: Quantitative uniqueness properties for $L^2$ functions with fast decaying, or sparsely supported, Fourier transform

abstract: This paper builds upon two key principles behind the Bourgain-Dyatlov quantitative uniqueness theorem for functions with Fourier transform supported in an Ahlfors regular set. We first provide a characterization of when a quantitative uniqueness theorem holds for functions with very quickly decaying Fourier transform, thereby providing an extension of the classical Paneah-Logvinenko-Sereda theorem. Secondly, we derive a transference result which converts a quantitative uniqueness theorem for functions with fast decaying Fourier transform to one for functions with Fourier transform supported on a fractal set. As well as recovering the result of Bourgain-Dyatlov, we obtain analogous uniqueness results for denser fractals.


title: The image of a tropical linear space

abstract: Given a tropical linear space $L \subseteq \mathbb{T}^n$ and a matrix $A \in \mathbb{T}^{m \times n}$, the image $AL$ of $L$ under $A$ is typically not a tropical linear space. We introduce a tropical linear space $\mathrm{tropim}_A(L)$, the tropical image, containing $AL$. We show under mild hypotheses that $\mathrm{tropim}_A(L)$ is realizable if $L$ is and apply the tropical image to construct the stable sum of two tropical linear spaces without a disjoint pair of bases.


title: High Order M-QAM Massive MIMO Detector with Low Computational Complexity for 5G Systems

abstract: In this work, the behaviour of bit error rates for both conventional and massive MIMO systems with high order constellations, which are essential to achieve spectral efficiency for 5G standard communications, has been evaluated. We have used real-domain Schnorr Euchner enumeration with K-best algorithm to reduce computational complexity of detection. The results, presented in this letter, have outperformed existing detection algorithms in terms of complexity and BER, especially in low SNR regions, for both massive and conventional MIMO systems. We performed simulations for N $\times$ N MIMO system, where N = 8, 25, 40, 50, 60, 80, 100 and 120, for both 256-QAM and 1024-QAM high order transmission systems as per the latest 3GPP standards for 5G systems and beyond. All the analyses and results that are given in this letter are from our MIMO detector, prior to usage of error correction decoder.


title: Weakly Supervised Bilinear Attention Network for Fine-Grained Visual Classification

abstract: For fine-grained visual classification, objects usually share similar geometric structure but present variant local appearance and different pose. Therefore, localizing and extracting discriminative local features play a crucial role in accurate category prediction. Existing works either pay attention to limited object parts or train isolated networks for locating and classification. In this paper, we propose Weakly Supervised Bilinear Attention Network (WS-BAN) to solve these issues. It jointly generates a set of attention maps (region-of-interest maps) to indicate the locations of object's parts and extracts sequential part features by Bilinear Attention Pooling (BAP). Besides, we propose attention regularization and attention dropout to weakly supervise the generating process of attention maps. WS-BAN can be trained end-to-end and achieves the state-of-the-art performance on multiple fine-grained classification datasets, including CUB-200-2011, Stanford Car and FGVC-Aircraft, which demonstrated its effectiveness.


title: Digital Blues: An Investigation into the Use of Bluetooth Protocols

abstract: The proliferation of Bluetooth mobile device communications into all aspects of modern society raises security questions by both academicians and practitioners. This environment prompted an investigation into the real-world use of Bluetooth protocols along with an analysis of documented security attacks. The experiment discussed in this paper collected data for one week in a local coffee shop. The data collection took about an hour each day and identified 478 distinct devices. The contribution of this research is two-fold. First, it provides insight into real-world Bluetooth protocols that are being utilized by the general public. Second, it provides foundational research that is necessary for future Bluetooth penetration testing research.


title: Detector Backgrounds at the Higgs Factory Muon Collider: MARS vs FLUKA

abstract: Simulations for the 125-GeV Higgs Factory (HF) Muon Collider (MC) have shown large background particle loads on the collider detector. To verify level, source and composition of background calculations were performed using FLUKA and MARS codes for two shielding configurations. After comprehensive tuning of muon beam parameters, geometry setups and scoring procedures, background particle distributions at the detector entrance were simulated and compared. The spatial distributions and energy spectra of background particles obtained by two codes are rather similar. Average numbers of background particles simulated using MARS and FLUKA agree within a factor of two.


title: EOE: Expected Overlap Estimation over Unstructured Point Cloud Data

abstract: We present an iterative overlap estimation technique to augment existing point cloud registration algorithms that can achieve high performance in difficult real-world situations where large pose displacement and non-overlapping geometry would otherwise cause traditional methods to fail. Our approach estimates overlapping regions through an iterative Expectation Maximization procedure that encodes the sensor field-of-view into the registration process. The proposed technique, Expected Overlap Estimation (EOE), is derived from the observation that differences in field-of-view violate the iid assumption implicitly held by all maximum likelihood based registration techniques. We demonstrate how our approach can augment many popular registration methods with minimal computational overhead. Through experimentation on both synthetic and real-world datasets, we find that adding an explicit overlap estimation step can aid robust outlier handling and increase the accuracy of both ICP-based and GMM-based registration methods, especially in large unstructured domains and where the amount of overlap between point clouds is very small.