title: Logarithmic ramifications of \'etale sheaves by restricting to curves

abstract: In this article, we prove that the Swan conductor of an \'etale sheaf on a smooth variety defined by Abbes and Saito's logarithmic ramification theory can be computed by its classical Swan conductors after restricting it to curves. It extends the same result for rank 1 sheaves due to Barrientos. As an application, we give a logarithmic ramification version of generalizations of Deligne and Laumon's lower semi-continuity property for Swan conductors of \'etale sheaves on relative curves to higher relative dimensions in a geometric situation.


title: Measurement of $J/\psi$ production as a function of event multiplicity in pp collisions at $\sqrt{s} = 13\,\mathrm{TeV}$ with ALICE

abstract: The availability at the LHC of the largest collision energy in pp collisions allows a significant advance in the measurement of $J/\psi$ production as function of event multiplicity. The interesting relative increase observed with data at the LHC at $\sqrt{s} = 7\,\mathrm{TeV}$ and at RHIC at $\sqrt{s} = 0.2\,\mathrm{TeV}$ is studied now at unprecedented multiplicities at $\sqrt{s} = 13\,\mathrm{TeV}$. The measurement at mid-rapidity in the dielectron channel with ALICE is presented and discussed in comparison to predictions from available theoretical models and to data at lower energies.


title: Extending Owen's integral table and a new multivariate Bernoulli distribution

abstract: We extend some equatilites in the Owen's table of normal integrals (A table of normal integrals in Communication in Statistics-Simulation and Computation, 1980). Furthermore a new probabilistic model for a vector of binary random variables is proposed.


title: Multiplicity dependence of identified particle production in pp collisions with ALICE

abstract: The study of identified particle production as a function of transverse momentum ($p_{\text{T}}$) and event multiplicity in proton-proton (pp) collisions at different center-of-mass energies ($\sqrt{s}$) is a key tool for understanding similarities and differences between small and large collisions systems. We report on the production of $\pi^{\pm}$, $K^{\pm}$, $K^{0}_{S}$, $p (\bar{p})$, $\Lambda (\bar{\Lambda})$, $\Xi^{\pm}$ and $\Omega^{\pm}$ measured in pp collisions in a wide range of center-of-mass energies with ALICE. The multiplicity dependence of identified particle yields is presented for $\sqrt{s} = \textrm{7}$ and $13$ TeV and discussed in the context of the results obtained in proton-lead (p-Pb) and lead-lead (Pb-Pb) collisions, unveiling remarkable and intriguing similarities. The production rates of strange hadrons are observed to increase more than those of non-strange particles, showing an enhancement pattern with multiplicity which does not depend on the collision energy. Even if the multiplicity dependence of spectral shapes can be qualitatively described by commonly-used Monte Carlo (MC) event generators, the evolution of integrated yield ratios is poorly described by these models.


title: SilkMoth: An Efficient Method for Finding Related Sets with Maximum Matching Constraints

abstract: Determining if two sets are related - that is, if they have similar values or if one set contains the other - is an important problem with many applications in data cleaning, data integration, and information retrieval. A particularly popular metric that has been proposed is to measure the relatedness of two sets by treating the elements as vertices of a bipartite graph and calculating the score of the maximum matching pairing between elements. Compared to other metrics which require exact matchings between elements, this metric uses a similarity function to compare elements between the two sets, making it robust to small dissimilarities in elements and more useful for real-world, dirty data. Unfortunately, the metric suffers from expensive computational cost, taking O(n^3) time, where n is the number of elements in sets, for each set-to-set comparison. Thus for applications which try to search for all pairings of related sets in a brute-force manner, the runtime becomes unacceptably large. To address this challenge, we developed SilkMoth, a system capable of rapidly discovering related set pairs in collections of sets. Internally, SilkMoth creates a signature for each set, with the property that any other set which is related must match the signature. SilkMoth then uses these signatures to prune the search space, so only sets which match the signatures are left as candidates. Finally, SilkMoth applies the maximum matching metric on remaining candidates to verify which of these candidates are truly related sets. Thus, a contribution of this paper is the characterization of the space of signatures which enable this property. We show that selecting the optimal signature in this space is NP-complete, and based on insights from the characterization of the space, we propose two novel filters which help to prune the candidates further before verification.


title: The network structure of visited locations according to geotagged social media photos

abstract: Businesses, tourism attractions, public transportation hubs and other points of interest are not isolated but part of a collaborative system. Making such collaborative network surface is not always an easy task. The existence of data-rich environments can assist in the reconstruction of collaborative networks. They shed light into how their members operate and reveal a potential for value creation via collaborative approaches. Social media data are an example of a means to accomplish this task. In this paper, we reconstruct a network of tourist locations using fine-grained data from Flickr, an online community for photo sharing. We have used a publicly available set of Flickr data provided by Yahoo! Labs. To analyse the complex structure of tourism systems, we have reconstructed a network of visited locations in Europe, resulting in around 180,000 vertices and over 32 million edges. An analysis of the resulting network properties reveals its complex structure.


title: Lorenz curve of a light beam: evaluating beam quality from a mayorization perspective

abstract: We introduce a novel approach for the characterization of the quality of a laser beam that is not based on particular criteria for beam width definition. The Lorenz curve of a light beam is a sophisticated version of the so-called power-in-the-bucket curve, formed by the partial sums of discretized joint intensity distribution in the near and far fields sorted in decreasing order. According to majorization theory, a higher Lorenz curve implies that all measures of spreading in phase space, and, in particular, all R\'enyi (and Shannon) entropy-based measures of the beam width products in near and far fields, are unanimously smaller, providing a strong assessment of a better beam quality. Two beams whose Lorenz curves intersect can only be considered of relatively better or lower quality according to specific criteria, which can be inferred from the plot of the respective Lorenz curves.


title: Harmonic spinors from twistors and potential forms

abstract: Symmetry operators of twistor spinors and harmonic spinors can be constructed from conformal Killing-Yano forms. Transformation operators relating twistors to harmonic spinors are found in terms of potential forms. These constructions are generalized to gauged twistor spinors and gauged harmonic spinors. The operators that transform gauged twistor spinors to gauged harmonic spinors are found. Symmetry operators of gauged harmonic spinors in terms of conformal Killing-Yano forms are obtained. Algebraic conditions to obtain solutions of the Seiberg-Witten equations are discussed.


title: Percolation in Media with Columnar Disorder

abstract: We study a generalization of site percolation on a simple cubic lattice, where not only single sites are removed randomly, but also entire parallel columns of sites. We show that typical clusters near the percolation transition are very anisotropic, with different scaling exponents for the sizes parallel and perpendicular to the columns. Below the critical point there is a Griffiths phase where cluster size distributions and spanning probabilities in the direction parallel to the columns have power law tails with continuously varying non-universal powers. This region is very similar to the Griffiths phase in subcritical directed percolation with frozen disorder in the preferred direction, and the proof follows essentially the same arguments as in that case. But in contrast to directed percolation in disordered media, the number of active ("growth") sites in a growing cluster at criticality shows a power law, while the probability of a cluster to continue to grow shows logarithmic behavior.


title: Towards String-to-Tree Neural Machine Translation

abstract: We present a simple method to incorporate syntactic information about the target language in a neural machine translation system by translating into linearized, lexicalized constituency trees. An experiment on the WMT16 German-English news translation task resulted in an improved BLEU score when compared to a syntax-agnostic NMT baseline trained on the same dataset. An analysis of the translations from the syntax-aware system shows that it performs more reordering during translation in comparison to the baseline. A small-scale human evaluation also showed an advantage to the syntax-aware system.


title: Vanishing in stable motivic homotopy sheaves

abstract: We determine systematic regions in which the bigraded homotopy sheaves of the motivic sphere spectrum vanish.


title: Gaussian Bounds for Noise Correlation of Resilient Functions

abstract: Gaussian bounds on noise correlation of functions play an important role in hardness of approximation, in quantitative social choice theory and in testing. The author (2008) obtained sharp gaussian bounds for the expected correlation of $\ell$ low influence functions $f^{(1)},\ldots, f^{(\ell)} : \Omega^n \to [0,1]$, where the inputs to the functions are correlated via the $n$-fold tensor of distribution $\mathcal{P}$ on $\Omega^{\ell}$. It is natural to ask if the condition of low influences can be relaxed to the condition that the function has vanishing Fourier coefficients. Here we answer this question affirmatively. For the case of two functions $f$ and $g$, we further show that if $f,g$ have a noisy inner product that exceeds the gaussian bound, then the Fourier supports of their large coefficients intersect.


title: Hydrodynamic theory of freezing: Nucleation and polycrystalline growth

abstract: Structural aspects of crystal nucleation in undercooled liquids are explored using a nonlinear hydrodynamic theory of crystallization proposed recently [G. I. Toth et al., J. Phys.: Condens. Matter 26, 055001 (2014)], which is based on combining fluctuating hydrodynamics with the phase-field crystal theory. We show that in this hydrodynamic approach not only homogeneous and heterogeneous nucleation processes are accessible, but also growth front nucleation, which leads to the formation of new (differently oriented) grains at the solid-liquid front in highly undercooled systems. Formation of dislocations at the solid-liquid interface and interference of density waves ahead of the crystallization front are responsible for the appearance of the new orientations at the growth front that lead to spherulite-like nanostructures.


title: Categories with Dependence and Semantics of Dependent Types

abstract: The present paper gives a generalization of cartesian closed categories, called cartesian closed categories with dependence, whose strict version induces categories with families that support 1-, Sigma- and Pi-types in the strict sense. Consequently, we have obtained a new semantics of dependent type theories that is both categorical and true-to-syntax.


title: Test the accuracy of the Dubna phenomenological model of the masses of the atomic nuclei

abstract: In this paper is presented the reliability test the numerical generalization of Bethe-Weizsacker mass formula which describes the values of measured 2654 nuclei masses in AME2012 nuclear database: https://www-nds.iaea.org/amdc/, with accuracy in the interval (-1.90,1.80) MeV, for the nulear with mass number A=2(1,1) to 294(117,177). In the analyzed generalization of the Bethe-Weizsacker formula the little correction of proton and neutron magic numbers and boundaries of their influence was derived as a solution of nonlinear inverce problem (Ivanenko shell model!). There was confirmed the existence of ten proton (2,8,14,20,28,50,82,96,108,126) and eleven neutron (2,8,14,20,28,50,82,126,142,152,184) magic numbers. The test was performed analyzing the new data from Nuclide ground states: https://www-nds.iaea.org/relnsd/NdsEnsdf/QueryForm.html, containing 3182 data for A=2(1,1) to 294(118,176) and confirmed the above values of proton and neutron magic numbers. The accuracy of masses description is in the interval (-2.80,1.80) MeV. Only fourteen nuclear masses have bigger than 1.90 MeV residual.


title: AnchorNet: A Weakly Supervised Network to Learn Geometry-sensitive Features For Semantic Matching

abstract: Despite significant progress of deep learning in recent years, state-of-the-art semantic matching methods still rely on legacy features such as SIFT or HoG. We argue that the strong invariance properties that are key to the success of recent deep architectures on the classification task make them unfit for dense correspondence tasks, unless a large amount of supervision is used. In this work, we propose a deep network, termed AnchorNet, that produces image representations that are well-suited for semantic matching. It relies on a set of filters whose response is geometrically consistent across different object instances, even in the presence of strong intra-class, scale, or viewpoint variations. Trained only with weak image-level labels, the final representation successfully captures information about the object structure and improves results of state-of-the-art semantic matching methods such as the deformable spatial pyramid or the proposal flow methods. We show positive results on the cross-instance matching task where different instances of the same object category are matched as well as on a new cross-category semantic matching task aligning pairs of instances each from a different object class.


title: Nonlinear QED effects in X-ray emission of pulsars

abstract: In the presence of strong magnetic fields near pulsars, the QED vacuum becomes a birefringent medium due to nonlinear QED interactions. Here, we explore the impact of the effective photon-photon interaction on the polarization evolution of photons propagating through the magnetized QED vacuum of a pulsar. We solve the quantum Boltzmann equation within the framework of the Euler-Heisenberg Lagrangian to find the evolution of the Stokes parameters. We find that linearly polarized X-ray photons propagating outward in the magnetosphere of a rotating neutron star can acquire high values for the circular polarization parameter. Meanwhile, it is shown that the polarization characteristics of photons besides photon energy depend strongly on parameters of the pulsars such as magnetic field strength, inclination angle and rotational period. Our results are clear predictions of QED vacuum polarization effects in the near vicinity of magnetic stars which can be tested with the upcoming X-ray polarimetric observations.


title: Compactness of maximal eventually different families

abstract: We show that there is an effectively closed maximal eventually different family of functions in spaces of the form $\prod_n F(n)$ for $F\colon \mathbb{N} \to \mathbb{N}\cup\{\mathbb{N}\}$ and give an exact criterion for when there exists an effectively compact such family.


title: Further and stronger analogy between sampling and optimization: Langevin Monte Carlo and gradient descent

abstract: In this paper, we revisit the recently established theoretical guarantees for the convergence of the Langevin Monte Carlo algorithm of sampling from a smooth and (strongly) log-concave density. We improve the existing results when the convergence is measured in the Wasserstein distance and provide further insights on the very tight relations between, on the one hand, the Langevin Monte Carlo for sampling and, on the other hand, the gradient descent for optimization. Finally, we also establish guarantees for the convergence of a version of the Langevin Monte Carlo algorithm that is based on noisy evaluations of the gradient.


title: On spectral analysis in varieties containing the solutions of inhomogeneous linear functional equations

abstract: The aim of the paper is to investigate the solutions of special inhomogeneous linear functional equations by using spectral analysis in a translation invariant closed linear subspace of additive/multiadditive functions containing the restrictions of the solutions to finitely generated fields. The application of spectral analysis in some related varieties is a new and important trend in the theory of functional equations; especially they have successful applications in case of homogeneous linear functional equations. The foundation of the theory can be found in M. Laczkovich and G. Kiss \cite{KL}, see also G. Kiss and A. Varga \cite{KV}. We are going to adopt the main theoretical tools to solve some inhomogeneous problems due to T. Szostok \cite{KKSZ08}, see also \cite{KKSZ} and \cite{KKSZW}. They are motivated by quadrature rules of approximate integration.


title: Universal three-body bound states in mixed dimensions beyond the Efimov paradigm

abstract: The Efimov effect was first predicted for three particles interacting at an $s$-wave resonance in three dimensions. Subsequent study showed that the same effect can be realized by considering two-body and three-body interactions in mixed dimensions. In this work, we consider the three-body problem of two bosonic $A$ atoms interacting with another single $B$ atom in mixed dimensions: The $A$ atoms are confined in a space of dimension $d_A$ and the $B$ atom in a space of dimension $d_B$, and there is an interspecies $s$-wave interaction in a $d_{\rm int}$-co-dimensional space accessible to both species. We find that when the $s$-wave interaction is tuned on resonance, there emerge an infinite series of universal three-body bound states for $\{d_A,d_B,d_{\rm int}\}=\{2,2,0\}$ and $\{2,3,1\}$. Going beyond the Efimov paradigm, the binding energies of these states follow the scaling $\ln|E_n|\sim-s(n\pi-\theta)^2/4$ with the scaling factor $s$ being unity for the former case and $\sqrt{m_B(2m_A+m_B)}/(m_A+m_B)$ for the latter. We discuss how our mixed dimensional systems can be realized in current cold atom experiment and how the effects of these universal three-body bound states can be detected.


title: On spectral synthesis in varieties containing the solutions of inhomogeneous linear functional equations

abstract: As a continuation of our previous work \cite{KV2} the aim of the recent paper is to investigate the solutions of special inhomogeneous linear functional equations by using spectral synthesis in translation invariant closed linear subspaces of additive/multiadditive functions containing the restrictions of the solutions to finitely generated fields. The idea is based on the fundamental work of M. Laczkovich and G. Kiss \cite{KL}. Using spectral analysis in some related varieties we can prove the existence of special solutions (automorphisms) of the functional equation but the spectral synthesis allows us to describe the entire space of solutions on a large class of finitely generated fields. It is spanned by the so-called exponential monomials which can be given in terms of automorphisms of $\cc$ and differential operators. We apply the general theory to some inhomogeneous problems motivated by quadrature rules of approximate integration \cite{KKSZ08}, see also \cite{KKSZ} and \cite{KKSZW}.


title: An analytic solution to the spin flavor precession for solar Majorana neutrinos in the case of three neutrino generations

abstract: The spin flavor precession (SFP) is investigated in the three neutrino generation case assuming that the neutrinos are Majorana type. Approximate analytical formulas including all transition magnetic moments are provided for the electron neutrino survival probability and electron neutrino -> electron anti-neutrino transition probability in the SFP framework. The accuracy of the formulas is checked out for two different magnetic field profiles in the Sun.


title: On the commutativity of a certain class of Toeplitz operators

abstract: In this paper we prove that if the polar decomposition of a symbol $f$ is truncated above, i.e., $f(re^{i\theta} )=\sum_{k=-\infty}^Ne^{ik\theta} f_k (r)$ where the $f_k$'s are radial functions, and if the associated Toeplitz operator $T_f$ commutes with $T_{z^2+\bar{z}^2}$, then $T_f=Q(T_{z^2+\bar{z}^2})$ where $Q$ is a polynomial of degree at most $1$. This gives a partial answer to an open problem by S. Axler, Z. Cuckovic and N. V. Rao [2, p. 1953].


title: Four dimensional ambitwistor strings and form factors of local and Wilson line operators

abstract: We consider the description of form factors of local and Wilson line operators (reggeon amplitudes) in N=4 SYM within the framework of four dimensional ambitwistor string theory. We present the explicit expressions for string composite operators corresponding to stress-tensor operator supermultiplet and Wilson line operator insertion. It is shown, that corresponding tree-level string correlation functions correctly reproduce previously obtained Grassmannian integral representations. As by product we derive four dimensional tree-level scattering equations representations for the mentioned form factors and formulate a simple gluing procedure used to relate operator form factors with on-shell amplitudes.


title: A Component-Based Simplex Architecture for High-Assurance Cyber-Physical Systems

abstract: We present Component-Based Simplex Architecture (CBSA), a new framework for assuring the runtime safety of component-based cyber-physical systems (CPSs). CBSA integrates Assume-Guarantee (A-G) reasoning with the core principles of the Simplex control architecture to allow component-based CPSs to run advanced, uncertified controllers while still providing runtime assurance that A-G contracts and global properties are satisfied. In CBSA, multiple Simplex instances, which can be composed in a nested, serial or parallel manner, coordinate to assure system-wide properties. Combining A-G reasoning and the Simplex architecture is a challenging problem that yields significant benefits. By utilizing A-G contracts, we are able to compositionally determine the switching logic for CBSAs, thereby alleviating the state explosion encountered by other approaches. Another benefit is that we can use A-G proof rules to decompose the proof of system-wide safety assurance into sub-proofs corresponding to the component-based structure of the system architecture. We also introduce the notion of coordinated switching between Simplex instances, a key component of our compositional approach to reasoning about CBSA switching logic. We illustrate our framework with a component-based control system for a ground rover. We formally prove that the CBSA for this system guarantees energy safety (the rover never runs out of power), and collision freedom (the rover never collides with a stationary obstacle). We also consider a CBSA for the rover that guarantees mission completion: all target destinations visited within a prescribed amount of time.


title: In-Datacenter Performance Analysis of a Tensor Processing Unit

abstract: Many architects believe that major improvements in cost-energy-performance must now come from domain-specific hardware. This paper evaluates a custom ASIC---called a Tensor Processing Unit (TPU)---deployed in datacenters since 2015 that accelerates the inference phase of neural networks (NN). The heart of the TPU is a 65,536 8-bit MAC matrix multiply unit that offers a peak throughput of 92 TeraOps/second (TOPS) and a large (28 MiB) software-managed on-chip memory. The TPU's deterministic execution model is a better match to the 99th-percentile response-time requirement of our NN applications than are the time-varying optimizations of CPUs and GPUs (caches, out-of-order execution, multithreading, multiprocessing, prefetching, ...) that help average throughput more than guaranteed latency. The lack of such features helps explain why, despite having myriad MACs and a big memory, the TPU is relatively small and low power. We compare the TPU to a server-class Intel Haswell CPU and an Nvidia K80 GPU, which are contemporaries deployed in the same datacenters. Our workload, written in the high-level TensorFlow framework, uses production NN applications (MLPs, CNNs, and LSTMs) that represent 95% of our datacenters' NN inference demand. Despite low utilization for some applications, the TPU is on average about 15X - 30X faster than its contemporary GPU or CPU, with TOPS/Watt about 30X - 80X higher. Moreover, using the GPU's GDDR5 memory in the TPU would triple achieved TOPS and raise TOPS/Watt to nearly 70X the GPU and 200X the CPU.


title: Towards Effective Bug Triage with Towards Effective Bug Triage with Software Data Reduction Techniques

abstract: Software companies spend over 45 percent of cost in dealing with software bugs. An inevitable step of fixing bugs is bug triage, which aims to correctly assign a developer to a new bug. To decrease the time cost in manual work, text classification techniques are applied to conduct automatic bug triage. In this paper, we address the problem of data reduction for bug triage, i.e., how to reduce the scale and improve the quality of bug data. We combine instance selection with feature selection to simultaneously reduce data scale on the bug dimension and the word dimension. To determine the order of applying instance selection and feature selection, we extract attributes from historical bug data sets and build a predictive model for a new bug data set. We empirically investigate the performance of data reduction on totally 600,000 bug reports of two large open source projects, namely Eclipse and Mozilla. The results show that our data reduction can effectively reduce the data scale and improve the accuracy of bug triage. Our work provides an approach to leveraging techniques on data processing to form reduced and high-quality bug data in software development and maintenance.


title: Nanosecond thermometry with Josephson junction

abstract: We demonstrate a novel approach to thermometry at the nanoscale exploiting a superconducting weak link. Such a weak link probed with nanosecond current pulses serves as a temperature sensing element and, due to the fast inherent dynamics, is capable of delivering unprecedented temporal resolution. We employ the thermometer to measure dynamic temperature of electrons in a long superconducting wire relaxing to the bath temperature after application of the heating pulse. Our measurement delivers nanosecond resolution thus providing the proof-of-concept of the fastest-todate all-solid-state thermometry. Our method improves the state-of-the-art temporal resolution of mesoscopic thermometry by at least two orders of magnitude, extending temporal resolution of existing experiments and introducing new possibilities for ultra-sensitive calorimeters and radiation detectors.


title: Anti-Dynamical Casimir Effect as a Resource for Work Extraction

abstract: We consider the quantum Rabi model with external time modulation of the atomic frequency, which can be employed to create excitations from the vacuum state of the electromagnetic field as a consequence of the dynamical Casimir effect. Excitations can also be systematically subtracted from the atom-field system by suitably adjusting the modulation frequency, in the so-called anti-dynamical Casimir effect (ADCE). We evaluate the quantum thermodynamical work and show that a realistic out-of-equilibrium finite-time protocol harnessing ADCE allows for work extraction from the system, whose amount can be much bigger then the modulation amplitude, $| W_{\mathrm{ADCE}}| \gg \hbar \epsilon_\Omega$, in contrast to the case of very slow adiabatic modulations. We provide means to control work extraction in state-of-the-art experimental scenarios, where precise frequency adjustments or complete system isolation may be difficult to attain.


title: Developer Prioritization in Bug Repositories

abstract: Developers build all the software artifacts in development. Existing work has studied the social behavior in software repositories. In one of the most important software repositories, a bug repository, developers create and update bug reports to support software development and maintenance. However, no prior work has considered the priorities of developers in bug repositories. In this paper, we address the problem of the developer prioritization, which aims to rank the contributions of developers. We mainly explore two aspects, namely modeling the developer prioritization in a bug repository and assisting predictive tasks with our model. First, we model how to assign the priorities of developers based on a social network technique. Three problems are investigated, including the developer rankings in products, the evolution over time, and the tolerance of noisy comments. Second, we consider leveraging the developer prioritization to improve three predicted tasks in bug repositories, i.e., bug triage, severity identification, and reopened bug prediction. We empirically investigate the performance of our model and its applications in bug repositories of Eclipse and Mozilla. The results indicate that the developer prioritization can provide the knowledge of developer priorities to assist software tasks, especially the task of bug triage.


title: Dynamical fluctuations in critical regime and across the 1st order phase transition

abstract: In this proceeding, we study the dynamical evolution of the sigma field within the framework of Langevin dynamics. We find that, as the system evolves in the critical regime, the magnitudes and signs of the cumulants of sigma field, $C_{3}$ and $C_{4}$, can be dramatically different from the equilibrated ones due to the memory effects near $T_c$. For the dynamical evolution across the 1st order phase transition boundary, the supercooling effect leads the sigma field to be widely distributed in the thermodynamical potential, which largely enhances the cumulants $C_3, \ C_4$, correspondingly.


title: Debt-Prone Bugs: Technical Debt in Software Maintenance

abstract: Fixing bugs is an important phase in software development and maintenance. In practice, the process of bug fixing may conflict with the release schedule. Such confliction leads to a trade-off between software quality and release schedule, which is known as the technical debt metaphor. In this article, we propose the concept of debt-prone bugs to model the technical debt in software maintenance. We identify three types of debt-prone bugs, namely tag bugs, reopened bugs, and duplicate bugs. A case study on Mozilla is conducted to examine the impact of debt-prone bugs in software products. We investigate the correlation between debt-prone bugs and the product quality. For a product under development, we build prediction models based on historical products to predict the time cost of fixing bugs. The result shows that identifying debt-prone bugs can assist in monitoring and improving software quality.


title: Light scattering by dielectric bodies in the Born approximation

abstract: Light scattering is one of the most important elementary processes in near-field optics. We build up the Born series for scattering by dielectric bodies with step boundaries. The Green function for a 2-dimensional homogeneous dielectric cylinder is obtained. As an example, the formulas are derived for scattered field of two parallel cylinders. The polar diagram is shown to agree with numerical calculation by the known methods of discrete dipoles and boundary elements.


title: Solving the Large Scale Next Release Problem with a Backbone Based Multilevel Algorithm

abstract: The Next Release Problem (NRP) aims to optimize customer profits and requirements selection for the software releases. The research on the NRP is restricted by the growing scale of requirements. In this paper, we propose a Backbone based Multilevel Algorithm (BMA) to address the large scale NRP. In contrast to direct solving approaches, BMA employs multilevel reductions to downgrade the problem scale and multilevel refinements to construct the final optimal set of customers. In both reductions and refinements, the backbone is built to fix the common part of the optimal customers. Since it is intractable to extract the backbone in practice, the approximate backbone is employed for the instance reduction while the soft backbone is proposed to augment the backbone application. In the experiments, to cope with the lack of open large requirements databases, we propose a method to extract instances from open bug repositories. Experimental results on 15 classic instances and 24 realistic instances demonstrate that BMA can achieve better solutions on the large scale NRP instances than direct solving approaches. Our work provides a reduction approach for solving large scale problems in search based requirements engineering.


title: Automatic Bug Triage using Semi-Supervised Text Classification

abstract: In this paper, we propose a semi-supervised text classification approach for bug triage to avoid the deficiency of labeled bug reports in existing supervised approaches. This new approach combines naive Bayes classifier and expectation-maximization to take advantage of both labeled and unlabeled bug reports. This approach trains a classifier with a fraction of labeled bug reports. Then the approach iteratively labels numerous unlabeled bug reports and trains a new classifier with labels of all the bug reports. We also employ a weighted recommendation list to boost the performance by imposing the weights of multiple developers in training the classifier. Experimental results on bug reports of Eclipse show that our new approach outperforms existing supervised approaches in terms of classification accuracy.


title: Raman study of lattice vibrations in type II superlattice InAs/InAs1-xSbx

abstract: In this work, we report a polarized Raman study on the vibrational properties of the InAs/InAs1-xSbx SLs as well as selected InAs1-xSbx alloys, all grown on GaSb substrates by either MBE or MOCVD, from both growth surface and cleaved edge.


title: Study of parameter degeneracy and hierarchy sensitivity of NO$\nu$A in presence of sterile neutrino

abstract: The first hint of the neutrino mass hierarchy is believed to come from the long-baseline experiment NO$\nu$A. Recent results from the NO$\nu$A shows a mild preference towards the CP phase $\delta_{13} = -90^\circ$ and normal hierarchy. Fortunately this is the favorable area of the parameter space which does not suffer from the hierarchy-$\delta_{13}$ degeneracy and thus NO$\nu$A can have good hierarchy sensitivity for this true combination of hierarchy and $\delta_{13}$. Apart from the hierarchy-$\delta_{13}$ degeneracy there is also the octant-$\delta_{13}$ degeneracy. But this does not affect the favorable parameter space of NO$\nu$A as this degeneracy can be resolved with a balanced neutrino and antineutrino run. However, ff we consider the existence of a light sterile neutrino then there may be additional degeneracies which can spoil the hierarchy sensitivity of NO$\nu$A even in the favorable parameter space. In the present work we find that apart from the degeneracies mentioned above, there are additional hierarchy and octant degeneracies that appear with the new phase $\delta_{14}$ in the presence of a light sterile neutrino in the eV scale. In contrast to the hierarchy and octant degeneracies appearing with $\delta_{13}$, the parameter space for hierarchy-$\delta_{14}$ degeneracy is different in neutrinos and antineutrinos though the octant-$\delta_{14}$ degeneracy behaves similarly in neutrinos and antineutrinos. We study the effect of these degeneracies on the hierarchy sensitivity of NO$\nu$A for the true normal hierarchy.


title: A Random Walk Based Algorithm for Structural Test Case Generation

abstract: Structural testing is a significant and expensive process in software development. By converting test data generation into an optimization problem, search-based software testing is one of the key technologies of automated test case generation. Motivated by the success of random walk in solving the satisfiability problem (SAT), we proposed a random walk based algorithm (WalkTest) to solve structural test case generation problem. WalkTest provides a framework, which iteratively calls random walk operator to search the optimal solutions. In order to improve search efficiency, we sorted the test goals with the costs of solutions completely instead of traditional dependence analysis from control flow graph. Experimental results on the condition-decision coverage demonstrated that WalkTest achieves better performance than existing algorithms (random test and tabu search) in terms of running time and coverage rate.


title: Approximate Backbone Based Multilevel Algorithm for Next Release Problem

abstract: The next release problem (NRP) aims to effectively select software requirements in order to acquire maximum customer profits. As an NP-hard problem in software requirement engineering, NRP lacks efficient approximate algorithms for large scale instances. The backbone is a new tool for tackling large scale NP-hard problems in recent years. In this paper, we employ the backbone to design high performance approximate algorithms for large scale NRP instances. Firstly we show that it is NP-hard to obtain the backbone of NRP. Then, we illustrate by fitness landscape analysis that the backbone can be well approximated by the shared common parts of local optimal solutions. Therefore, we propose an approximate backbone based multilevel algorithm (ABMA) to solve large scale NRP instances. This algorithm iteratively explores the search spaces by multilevel reductions and refinements. Experimental results demonstrate that ABMA outperforms existing algorithms on large instances in terms of solution quality and running time.


title: Lorentz invariant entanglement distribution for the space-based quantum network

abstract: In recent years there has been a great deal of focus on a globe-spanning quantum network, including linked satellites for applications ranging from quantum key distribution to distributed sensors and clocks. In many of these schemes, relativistic transformations may have deleterious effects on the purity of the distributed entangled pairs. This becomes particularly important for the application of distributed clocks. In this paper, we have developed a Lorentz invariant entanglement distribution protocol that completely removes the effects due to the relative motions of the satellites.


title: Approximating the Backbone in the Weighted Maximum Satisfiability Problem

abstract: The weighted Maximum Satisfiability problem (weighted MAX-SAT) is a NP-hard problem with numerous applications arising in artificial intelligence. As an efficient tool for heuristic design, the backbone has been applied to heuristics design for many NP-hard problems. In this paper, we investigated the computational complexity for retrieving the backbone in weighted MAX-SAT and developed a new algorithm for solving this problem. We showed that it is intractable to retrieve the full backbone under the assumption that . Moreover, it is intractable to retrieve a fixed fraction of the backbone as well. And then we presented a backbone guided local search (BGLS) with Walksat operator for weighted MAX-SAT. BGLS consists of two phases: the first phase samples the backbone information from local optima and the backbone phase conducts local search under the guideline of backbone. Extensive experimental results on the benchmark showed that BGLS outperforms the existing heuristics in both solution quality and runtime.


title: Evidence for OH or H2O on the surface of 433 Eros and 1036 Ganymed

abstract: Water and hydroxyl, once thought to be found only in the primitive airless bodies that formed beyond roughly 2.5-3 AU, have recently been detected on the Moon and Vesta, which both have surfaces dominated by evolved, non-primitive compositions. In both these cases, the water/OH is thought to be exogenic, either brought in via impacts with comets or hydrated asteroids or created via solar wind interactions with silicates in the regolith or both. Such exogenic processes should also be occurring on other airless body surfaces. To test this hypothesis, we used the NASA Infrared Telescope Facility (IRTF) to measure reflectance spectra (2.0 to 4.1 {\mu}m) of two large near-Earth asteroids (NEAs) with compositions generally interpreted as anhydrous: 433 Eros and 1036 Ganymed. OH is detected on both of these bodies in the form of absorption features near 3 {\mu}m. The spectra contain a component of thermal emission at longer wavelengths, from which we estimate thermal of 167+/- 98 J m-2s-1/2K-1 for Eros (consistent with previous estimates) and 214+/- 80 J m-2s-1/2K-1 for Ganymed, the first reported measurement of thermal inertia for this object. These observations demonstrate that processes responsible for water/OH creation on large airless bodies also act on much smaller bodies.


title: A Hybrid ACO Algorithm for the Next Release Problem

abstract: In this paper, we propose a Hybrid Ant Colony Optimization algorithm (HACO) for Next Release Problem (NRP). NRP, a NP-hard problem in requirement engineering, is to balance customer requests, resource constraints, and requirement dependencies by requirement selection. Inspired by the successes of Ant Colony Optimization algorithms (ACO) for solving NP-hard problems, we design our HACO to approximately solve NRP. Similar to traditional ACO algorithms, multiple artificial ants are employed to construct new solutions. During the solution construction phase, both pheromone trails and neighborhood information will be taken to determine the choices of every ant. In addition, a local search (first found hill climbing) is incorporated into HACO to improve the solution quality. Extensively wide experiments on typical NRP test instances show that HACO outperforms the existing algorithms (GRASP and simulated annealing) in terms of both solution uality and running time.


title: On the Fourier Transformability of Strongly Almost Periodic Measures

abstract: In this paper we characterize the Fourier transformability of a strongly almost periodic measure in terms of an integrability condition for its Fourier Bohr series. We also provide a necessary and sufficient condition for a strongly almost periodic measure to be a Fourier transform of a measure. We discuss the Fourier transformability of a measure on $\RR^d$ in terms of its Fourier transform as a tempered distribution. We conclude by looking at a large class of such measures coming from the cut and project formalism.


title: Specialization of cycles and the K-theory elevator

abstract: A general specialization map is constructed for higher Chow groups and used to prove a "going-up" theorem for algebraic cycles and their regulators. The results are applied to study the degeneration of the modified diagonal cycle of Gross and Schoen, and of the coordinate symbol on a genus-2 curve.


title: Importance of $^{56}$Ni production on diagnosing explosion mechanism of core-collapse supernova

abstract: $^{56}$Ni is an important indicator of the supernova explosions, which characterizes light curves. Nevertheless, rather than $^{56}$Ni, the explosion energy has often been paid attention from the explosion mechanism community, since it is easier to estimate from numerical data than the amount of $^{56}$Ni. The final explosion energy, however, is difficult to estimate by detailed numerical simulations because current simulations cannot reach typical timescale of saturation of explosion energy. Instead, the amount of $^{56}$Ni converges within a short timescale so that it would be a better probe of the explosion mechanism. We investigated the amount of $^{56}$Ni synthesized by explosive nucleosynthesis in supernova ejecta by means of numerical simulations and an analytic model. For numerical simulations, we employ Lagrangian hydrodynamics code in which neutrino heating and cooling terms are taken into account by light-bulb approximation. Initial conditions are taken from Woosley & Hegel (2007), which have 12, 15, 20, and 25 $M_\odot$ in zero age main sequence. We additionally develop an analytic model, which gives a reasonable estimate of the amount of $^{56}$Ni. We found that, in order to produce enough amount of $^{56}$Ni, $\mathcal{O}(1)$ Bethe s$^{-1}$ of growth rate of the explosion energy is needed, which is much larger than that found in recent exploding simulations, typically $\mathcal{O}(0.1)$ Bethe s$^{-1}$.


title: On quadri-bialgebras

abstract: We introduce the notion of a quadri-bialgebra, which gives a bialgebra theory for the quadri-algebra introduced by Aguiar and Loday. We show that a quadri-bialgebra is equivalent to a Manin triple of dendriform algebras associated to a nondegenerate 2-cocycle, and to a Manin triple of quadri-algebras associated to a nondegenerate invariant bilinear form. Quadri-bialgebras also come from a variation of the classical Yang-Baxter equation, called the $Q$-equations. Moreover, quadri-bialgebras fit into the framework of construction of Rota-Baxter operators and Nijenhuis operators on the double spaces of quadri-algebras.


title: A Security Monitoring Framework For Virtualization Based HEP Infrastructures

abstract: High Energy Physics (HEP) distributed computing infrastructures require automatic tools to monitor, analyze and react to potential security incidents. These tools should collect and inspect data such as resource consumption, logs and sequence of system calls for detecting anomalies that indicate the presence of a malicious agent. They should also be able to perform automated reactions to attacks without administrator intervention. We describe a novel framework that accomplishes these requirements, with a proof of concept implementation for the ALICE experiment at CERN. We show how we achieve a fully virtualized environment that improves the security by isolating services and Jobs without a significant performance impact. We also describe a collected dataset for Machine Learning based Intrusion Prevention and Detection Systems on Grid computing. This dataset is composed of resource consumption measurements (such as CPU, RAM and network traffic), logfiles from operating system services, and system call data collected from production Jobs running in an ALICE Grid test site and a big set of malware. This malware was collected from security research sites. Based on this dataset, we will proceed to develop Machine Learning algorithms able to detect malicious Jobs.


title: Highly anisotropic quasiparticle interference patterns in the spin-density wave state of the iron pnictides

abstract: We investigate the impurity scattering induced quasiparticle interference in the ($\pi, 0$) spin-density wave phase of the iron pnictides. We use a five orbital tight binding model and our mean field theory in the clean limit captures key features of the Fermi surface observed in angle-resolved photoemission. We use a t-matrix formalism to incorporate the effect of doping induced impurities on this state. The impurities lead to a spatial modulation of the local density of states about the impurity site, with a periodicity of $\sim 8a_{{\rm Fe}-{\rm Fe}}$ along the antiferromagnetic direction. The associated momentum space quasiparticle interference pattern is anisotropic, with major peaks located at $\sim (\pm \pi/4,0)$, consistent with spectroscopic imaging scanning tunneling microscopy. We trace the origin of this pattern to an elliptical contour of constant energy around momentum (0,0), with major axis oriented along the (0,1) direction, in the mean field electronic structure.


title: Constraints on inflation revisited: An analysis including the latest local measurement of the Hubble constant

abstract: We revisit the constraints on inflation models by using the current cosmological observations involving the latest local measurement of the Hubble constant ($H_{0} = 73.00\pm 1.75$ km s $^{-1}$ Mpc$^{-1}$). We constrain the primordial power spectra of both scalar and tensor perturbations with the observational data including the Planck 2015 CMB full data, the BICEP2 and Keck Array CMB B-mode data, the BAO data, and the direct measurement of $H_0$. In order to relieve the tension between the local determination of the Hubble constant and the other astrophysical observations, we consider the additional parameter $N_{\rm eff}$ in the cosmological model. We find that, for the $\Lambda$CDM+$r$+$N_{\rm eff}$ model, the scale invariance is only excluded at the 3.3$\sigma$ level, and $\Delta N_{\rm eff}>0$ is favored at the 1.6$\sigma$ level. Comparing the obtained 1$\sigma$ and 2$\sigma$ contours of $(n_s,r)$ with the theoretical predictions of selected inflation models, we find that both the convex and concave potentials are favored at 2$\sigma$ level, the natural inflation model is excluded at more than 2$\sigma$ level, the Starobinsky $R^2$ inflation model is only favored at around 2$\sigma$ level, and the spontaneously broken SUSY inflation model is now the most favored model.


title: Efficient Cryptographic Substitution Box Design Using Travelling Salesman Problem and Chaos

abstract: Symmetric encryption has been a standout amongst the most reliable option by which security is accomplished. In modern block symmetric ciphers, the substitution-boxes have been playing a critical role of nonlinear components that drives the actual security of ciphers. In this paper, the travelling salesman problem and piecewise linear chaotic map are explored to synthesize an efficient configuration of 8x8 substitution-box. The proposed anticipated design has the consistency which is justified by the standard performance indexes. The statistical results manifest that the prospective substitution-box is cryptographically more impressive as compared to some recent investigations.


title: Impact of basic angle variations on the parallax zero point for a scanning astrometric satellite

abstract: Determination of absolute parallaxes by means of a scanning astrometric satellite such as Hipparcos or Gaia relies on the short-term stability of the so-called basic angle between the two viewing directions. Uncalibrated variations of the basic angle may produce systematic errors in the computed parallaxes. We examine the coupling between a global parallax shift and specific variations of the basic angle, namely those related to the satellite attitude with respect to the Sun. The changes in observables produced by small perturbations of the basic angle, attitude, and parallaxes are calculated analytically. We then look for a combination of perturbations that has no net effect on the observables. In the approximation of infinitely small fields of view, it is shown that certain perturbations of the basic angle are observationally indistinguishable from a global shift of the parallaxes. If such perturbations exist, they cannot be calibrated from the astrometric observations but will produce a global parallax bias. Numerical simulations of the astrometric solution, using both direct and iterative methods, confirm this theoretical result. For a given amplitude of the basic angle perturbation, the parallax bias is smaller for a larger basic angle and a larger solar aspect angle. In both these respects Gaia has a more favourable geometry than Hipparcos. In the case of Gaia, internal metrology is used to monitor basic angle variations. Additionally, Gaia has the advantage of detecting numerous quasars, which can be used to verify the parallax zero point.


title: Connecting measurement invasiveness to optimal metrological scenarios

abstract: The connection between the Leggett-Garg inequality and optimal scenarios from the point of view of quantum metrology is investigated for perfect and noisy general dichotomic measurements. In this context, we show that the Fisher information can be expressed in terms of quantum temporal correlations. This connection allows us to associate scenarios with relatively high Fisher information to scenarios in which the Leggett-Garg inequality is violated. We thus demonstrate a qualitative and, to some extent, quantitative link between measurement invasiveness and metrological performance. Finally, we illustrate our results by using a specific model for spin systems.


title: Rotational deviations and invariant pseudo-foliations for periodic point free torus homeomorphisms

abstract: This article deals with directional rotational deviations for non-wandering periodic point free homeomorphisms of the 2-torus which are homotopic to the identity. We prove that under mild assumptions, such a homeomorphism exhibits uniformly bounded rotational deviations in some direction if and only it leaves invariant a pseudo-foliation, a notion which is a slight generalization of classical one-dimensional foliations. To get these results, we introduce a novel object called $\tilde\rho$-centralized skew-product and their associated stable sets at infinity.


title: Energy Efficient Adaptive Network Coding Schemes for Satellite Communications

abstract: In this paper, we propose novel energy efficient adaptive network coding and modulation schemes for time variant channels. We evaluate such schemes under a realistic channel model for open area environments and Geostationary Earth Orbit (GEO) satellites. Compared to non-adaptive network coding and adaptive rate efficient network-coded schemes for time variant channels, we show that our proposed schemes, through physical layer awareness can be designed to transmit only if a target quality of service (QoS) is achieved. As a result, such schemes can provide remarkable energy savings.


title: Network Coding Channel Virtualization Schemes for Satellite Multicast Communications

abstract: In this paper, we propose two novel schemes to solve the problem of finding a quasi-optimal number of coded packets to multicast to a set of independent wireless receivers suffering different channel conditions. In particular, we propose two network channel virtualization schemes that allow for representing the set of intended receivers in a multicast group to be virtualized as one receiver. Such approach allows for a transmission scheme not only adapted to per-receiver channel variation over time, but to the network-virtualized channel representing all receivers in the multicast group. The first scheme capitalizes on a maximum erasure criterion introduced via the creation of a virtual worst per receiver per slot reference channel of the network. The second scheme capitalizes on a maximum completion time criterion by the use of the worst performing receiver channel as a virtual reference to the network. We apply such schemes to a GEO satellite scenario. We demonstrate the benefits of the proposed schemes comparing them to a per-receiver point-to-point adaptive strategy.


title: Superradiant Instability and Backreaction of Massive Vector Fields around Kerr Black Holes

abstract: We study the growth and saturation of the superradiant instability of a complex, massive vector (Proca) field as it extracts energy and angular momentum from a spinning black hole, using numerical solutions of the full Einstein-Proca equations. We concentrate on a rapidly spinning black hole ($a=0.99$) and the dominant $m=1$ azimuthal mode of the Proca field, with real and imaginary components of the field chosen to yield an axisymmetric stress-energy tensor and, hence, spacetime. We find that in excess of $9\%$ of the black hole's mass can be transferred into the field. In all cases studied, the superradiant instability smoothly saturates when the black hole's horizon frequency decreases to match the frequency of the Proca cloud that spontaneously forms around the black hole.


title: Locating Power Flow Solution Space Boundaries: A Numerical Polynomial Homotopy Approach

abstract: The solution space of any set of power flow equations may contain different number of real-valued solutions. The boundaries that separate these regions are referred to as power flow solution space boundaries. Knowledge of these boundaries is important as they provide a measure for voltage stability. Traditionally, continuation based methods have been employed to compute these boundaries on the basis of initial guesses for the solution. However, with rapid growth of renewable energy sources these boundaries will be increasingly affected by variable parameters such as penetration levels, locations of the renewable sources, and voltage set-points, making it difficult to generate an initial guess that can guarantee all feasible solutions for the power flow problem. In this paper we solve this problem by applying a numerical polynomial homotopy based continuation method. The proposed method guarantees to find all solution boundaries within a given parameter space up to a chosen level of discretization, independent of any initial guess. Power system operators can use this computational tool conveniently to plan the penetration levels of renewable sources at different buses. We illustrate the proposed method through simulations on 3-bus and 10-bus power system examples with renewable generation.


title: Harvesting Multiple Views for Marker-less 3D Human Pose Annotations

abstract: Recent advances with Convolutional Networks (ConvNets) have shifted the bottleneck for many computer vision tasks to annotated data collection. In this paper, we present a geometry-driven approach to automatically collect annotations for human pose prediction tasks. Starting from a generic ConvNet for 2D human pose, and assuming a multi-view setup, we describe an automatic way to collect accurate 3D human pose annotations. We capitalize on constraints offered by the 3D geometry of the camera setup and the 3D structure of the human body to probabilistically combine per view 2D ConvNet predictions into a globally optimal 3D pose. This 3D pose is used as the basis for harvesting annotations. The benefit of the annotations produced automatically with our approach is demonstrated in two challenging settings: (i) fine-tuning a generic ConvNet-based 2D pose predictor to capture the discriminative aspects of a subject's appearance (i.e.,"personalization"), and (ii) training a ConvNet from scratch for single view 3D human pose prediction without leveraging 3D pose groundtruth. The proposed multi-view pose estimator achieves state-of-the-art results on standard benchmarks, demonstrating the effectiveness of our method in exploiting the available multi-view information.


title: Outward Influence and Cascade Size Estimation in Billion-scale Networks

abstract: Estimating cascade size and nodes' influence is a fundamental task in social, technological, and biological networks. Yet this task is extremely challenging due to the sheer size and the structural heterogeneity of networks. We investigate a new influence measure, termed outward influence (OI), defined as the (expected) number of nodes that a subset of nodes $S$ will activate, excluding the nodes in S. Thus, OI equals, the de facto standard measure, influence spread of S minus |S|. OI is not only more informative for nodes with small influence, but also, critical in designing new effective sampling and statistical estimation methods. Based on OI, we propose SIEA/SOIEA, novel methods to estimate influence spread/outward influence at scale and with rigorous theoretical guarantees. The proposed methods are built on two novel components 1) IICP an important sampling method for outward influence, and 2) RSA, a robust mean estimation method that minimize the number of samples through analyzing variance and range of random variables. Compared to the state-of-the art for influence estimation, SIEA is $\Omega(\log^4 n)$ times faster in theory and up to several orders of magnitude faster in practice. For the first time, influence of nodes in the networks of billions of edges can be estimated with high accuracy within a few minutes. Our comprehensive experiments on real-world networks also give evidence against the popular practice of using a fixed number, e.g. 10K or 20K, of samples to compute the "ground truth" for influence spread.


title: Root Mean Square Error of Neural Spike Train Sequence Matching with Optogenetics

abstract: Optogenetics is an emerging field of neuroscience where neurons are genetically modified to express light-sensitive receptors that enable external control over when the neurons fire. Given the prominence of neuronal signaling within the brain and throughout the body, optogenetics has significant potential to improve the understanding of the nervous system and to develop treatments for neurological diseases. This paper uses a simple optogenetic model to compare the timing distortion between a randomly-generated target spike sequence and an externally-stimulated neuron spike sequence. The distortion is measured by filtering each sequence and finding the root mean square error between the two filter outputs. The expected distortion is derived in closed form when the target sequence generation rate is sufficiently low. Derivations are verified via simulations.


title: Equivariant formality in $K$-theory

abstract: In this note we present an analogue of equivariant formality in $K$-theory and show that it is equivalent to equivariant formality \emph{\`a la} Goresky-Kottwitz-MacPherson. We also apply this analogue to give alternative proofs of equivariant formality of conjugation action on compact Lie groups, left translation action on generalized flag manifolds, and compact Lie group actions with maximal rank isotropy subgroups.


title: Setting Up Pepper For Autonomous Navigation And Personalized Interaction With Users

abstract: In this paper we present our work with the Pepper robot, a service robot from SoftBank Robotics. We had two main goals in this work: improving the autonomy of this robot by increasing its awareness of the environment; and enhance the robot ability to interact with its users. To achieve this goals, we used ROS, a modern open-source framework for developing robotics software, to provide Pepper with state of the art localization and navigation capabilities. Furthermore, we contribute an architecture for effective human interaction based on cloud services. Our architecture improves Pepper speech recognition capabilities by connecting it to the IBM Bluemix Speech Recognition service and enable the robot to recognize its user via an in-house face recognition web-service. We show examples of our successful integration of ROS and IBM services with Pepper's own software. As a result, we were able to make Pepper move autonomously in a environment with humans and obstacles. We were also able to have Pepper execute spoken commands from known users as well as newly introduced users that were enrolled in the robot list of trusted users via a multi-modal interface.


title: Uncovering Architectural Design Decisions

abstract: Over the past three decades, considerable effort has been devoted to the study of software architecture. A major portion of this effort has focused on the originally proposed view of four "C"s---components, connectors, configurations, and constraints---that are the building blocks of a system's architecture. Despite being simple and appealing, this view has proven to be incomplete and has required further elaboration. To that end, researchers have more recently tried to approach architectures from another important perspective---that of design decisions that yield a system's architecture. These more recent efforts have lacked a precise understanding of several key questions, however: (1) What is an architectural design decision (definition)? (2) How can architectural design decisions be found in existing systems (identification)? (3) What system decisions are and are not architectural (classification)? (4) How are architectural design decisions manifested in the code (reification)? (5) How can important architectural decisions be preserved and/or changed as desired (evolution)? This paper presents a technique targeted at answering these questions by analyzing information that is readily available about software systems. We applied our technique on over 100 different versions of two widely adopted open- source systems, and found that it can accurately uncover the architectural design decisions embodied in the systems.


title: Random Walk Sampling for Big Data over Networks

abstract: It has been shown recently that graph signals with small total variation can be accurately recovered from only few samples if the sampling set satisfies a certain condition, referred to as the network nullspace property. Based on this recovery condition, we propose a sampling strategy for smooth graph signals based on random walks. Numerical experiments demonstrate the effectiveness of this approach for graph signals obtained from a synthetic random graph model as well as a real-world dataset.


title: Non-parametric Impedance based Stability and Controller Bandwidth Extraction from Impedance Measurements of HVDC-connected Wind Farms

abstract: Impedance measurements have been widely used with the Nyquist plot to estimate the stability of interconnected power systems. Being a black-box method for equivalent and aggregated impedance estimation, its use for the identification of sub-components bandwidth is not a straightforward task. This paper proposes a simple method that will enable to identify the specific part of the equivalent impedance (e.g. controller's bandwidth) that has major impact on the stability of the system. For doing that, the paper analyses the stability of an interconnected system of wind farms and high voltage dc (HVDC) transmission system. The impedance frequency responses of the wind farms and HVDC system from the ac collection point are measured and it is shown by the method proposed in this paper, which controller has major impact in the observed oscillation. A mitigation technique is proposed based on re-tuning of the critical controller bandwidth of the interconnected converters. The method suggested can reveal the internal controllers' dynamics of the wind farm from the measured impedance combined with an analytical expression of the impedance and a transfer function identity when no information about the controllers is provided by the vendors due to confidentiality and industry secrecy.


title: Thermal Schwinger pair production at arbitrary coupling

abstract: We calculate the rate of thermal Schwinger pair production at arbitrary coupling in weak external fields. Our calculations are valid independently of many properties of the charged particles produced, in particular their spin and whether they are electric or magnetic. Using the worldline formalism, we calculate the logarithm of the rate to leading order in the weak external field and to all orders in virtual photon exchange, taking us beyond the perturbative expansion about the leading order, weak coupling result.


title: Design and implementation of lighting control system using battery-less wireless human detection sensor networks

abstract: Artificial lighting is responsible for a large portion of total energy consumption and has great potential for energy saving. This paper designs an LED light control algorithm based on users' localization using multiple battery-less binary human detection sensors. The proposed lighting control system focuses on reducing office lighting energy consumption and satisfying users' illumination requirement. Most current lighting control systems use infrared human detection sensors, but the poor detection probability, especially for a static user, makes it difficult to realize comfortable and effective lighting control. To improve the detection probability of each sensor, we proposed to locate sensors as close to each user as possible by using a battery-less wireless sensor network, in which all sensors can be placed freely in the space with high energy stability. We also proposed to use a multi-sensor-based user localization algorithm to capture user's position more accurately and realize fine lighting control which works even with static users. The system is actually implemented in an indoor office environment in a pilot project. A verification experiment is conducted by measuring the practical illumination and power consumption. The performance agrees with design expectations. It shows that the proposed LED lighting control system reduces the energy consumption significantly, 57% compared to the batch control scheme, and satisfies user's illumination requirement with 100% probability.


title: Disorder and superfluid density in overdoped cuprate superconductors

abstract: We calculate superfluid density for a dirty d-wave superconductor. The effects of impurity scattering are treated within the self-consistent t-matrix approximation, in weak-coupling BCS theory. Working from a realistic tight-binding parameterization of the Fermi surface, we find a superfluid density that is both correlated with T_c and linear in temperature, in good correspondence with recent experiments on overdoped La2-xSrxCuO4.


title: Infinite Dimensional Orthogonal Preserving Quadratic Stochastic Operators

abstract: In the present paper, we study infinite dimensional orthogonal preserving quadratic stochastic operators (OP QSO). A full description of OP QSOs in terms of their canonical form and heredity coefficient's values is provided. Furthermore, some properties of OP QSOs and their fixed points are studied.


title: Replicator Equation: Applications Revisited

abstract: The replicator equation is a simple model of evolution that leads to stable form of Nash Equilibrium, Evolutionary Stable Strategy (ESS). It has been studied in connection with Evolutionary Game Theory and was originally developed for symmetric games. Beyond its first emphasis in biological use, evolutionary game theory has been expanded well beyond in social studies for behavioral analysis, in machine learning, computer vision and others. Its several applications in the fields of machine learning and computer vision has drawn my attention which is the reason to write this extended abstract


title: Simultaneous Inference for High Dimensional Mean Vectors

abstract: Let $X_1, \ldots, X_n\in\mathbb{R}^p$ be i.i.d. random vectors. We aim to perform simultaneous inference for the mean vector $\mathbb{E} (X_i)$ with finite polynomial moments and an ultra high dimension. Our approach is based on the truncated sample mean vector. A Gaussian approximation result is derived for the latter under the very mild finite polynomial ($(2+\theta)$-th) moment condition and the dimension $p$ can be allowed to grow exponentially with the sample size $n$. Based on this result, we propose an innovative resampling method to construct simultaneous confidence intervals for mean vectors.


title: Exact Self-Dual Skyrmions

abstract: We introduce a Skyrme type model with the target space being the 3-sphere S^3 and with an action possessing, as usual, quadratic and quartic terms in field derivatives. The novel character of the model is that the strength of the couplings of those two terms are allowed to depend upon the space-time coordinates. The model should therefore be interpreted as an effective theory, such that those couplings correspond in fact to low energy expectation values of fields belonging to a more fundamental theory at high energies. The theory possesses a self-dual sector that saturates the Bogomolny bound leading to an energy depending linearly on the topological charge. The self-duality equations are conformally invariant in three space dimensions leading to a toroidal ansatz and exact self-dual Skyrmion solutions. Those solutions are labelled by two integers and, despite their toroidal character, the energy density is spherically symmetric when those integers are equal and oblate or prolate otherwise.


title: Stationary coupling method for renewal process in continuous time (application to strong bounds for the convergence rate of the distribution of the regenerative process)

abstract: We propose a new modification of the coupling method for renewal process in continuous time. We call this modification "the stationary coupling method", and construct it primarily to obtain the bounds for convergence rate of the distribution of the regenerative processes in the total variation metrics. At the same time this modification of the coupling method demonstrates an improvement of the classical result of polynomial convergence rate of the distribution of the regenerative process -- in the case of a heavy tail. This paper is an extension of my preprint "On strong bounds of rate of convergence for regenerative processes" - arXiv:1608.02243


title: Asymptotic approximation for the solution to a semi-linear parabolic problem in a thin star-shaped junction

abstract: A semi-linear parabolic problem is considered in a thin $3D$ star-shaped junction that consists of several thin curvilinear cylinders that are joined through a domain (node) of diameter $\mathcal{O}(\varepsilon).$ The purpose is to study the asymptotic behavior of the solution $u_\varepsilon$ as $\varepsilon \to 0,$ i.e. when the star-shaped junction is transformed in a graph. In addition, the passage to the limit is accompanied by special intensity factors $\{\varepsilon^{\alpha_i}\}$ and $\{\varepsilon^{\beta_i}\}$ in nonlinear perturbed Robin boundary conditions. We establish qualitatively different cases in the asymptotic behaviour of the solution depending on the value of the parameters $\{{\alpha_i}\}$ and $\{\beta_i\}.$ Using the multi-scale analysis, the asymptotic approximation for the solution is constructed and justified as the parameter $\varepsilon \to 0.$ Namely, in each case we derive the limit problem $(\varepsilon =0)$ on the graph with the corresponding Kirchhoff transmission conditions (untypical in some cases) at the vertex, define other terms of the asymptotic approximation and prove appropriate asymptotic estimates that justify these coupling conditions at the vertex and show the impact of the local geometric heterogeneity of the node and physical processes in the node on some properties of the solution.


title: A Novel Experimental Platform for In-Vessel Multi-Chemical Molecular Communications

abstract: This work presents a new multi-chemical experimental platform for molecular communication where the transmitter can release different chemicals. This platform is designed to be inexpensive and accessible, and it can be expanded to simulate different environments including the cardiovascular system and complex network of pipes in industrial complexes and city infrastructures. To demonstrate the capabilities of the platform, we implement a time-slotted binary communication system where a bit-0 is represented by an acid pulse, a bit-1 by a base pulse, and information is carried via pH signals. The channel model for this system, which is nonlinear and has long memories, is unknown. Therefore, we devise novel detection algorithms that use techniques from machine learning and deep learning to train a maximum-likelihood detector. Using these algorithms the bit error rate improves by an order of magnitude relative to the approach used in previous works. Moreover, our system achieves a data rate that is an order of magnitude higher than any of the previous molecular communication platforms.


title: A driven-dissipative spin chain model based on exciton-polariton condensates

abstract: An infinite chain of driven-dissipative condensate spins with uniform nearest-neighbor coherent coupling is solved analytically and investigated numerically. Above a critical occupation threshold the condensates undergo spontaneous spin bifurcation (becoming magnetized) forming a binary chain of spin-up or spin-down states. Minimization of the bifurcation threshold determines the magnetic order as a function of the coupling strength. This allows control of multiple magnetic orders via adiabatic (slow ramping of) pumping. In addition to ferromagnetic and anti-ferromagnetic ordered states we show the formation of a paired-spin ordered state $\left|\dots \uparrow \uparrow \downarrow \downarrow \dots \right. \rangle$ as a consequence of the phase degree of freedom between condensates.


title: $k$-means as a variational EM approximation of Gaussian mixture models

abstract: We show that $k$-means (Lloyd's algorithm) is obtained as a special case when truncated variational EM approximations are applied to Gaussian Mixture Models (GMM) with isotropic Gaussians. In contrast to the standard way to relate $k$-means and GMMs, the provided derivation shows that it is not required to consider Gaussians with small variances or the limit case of zero variances. There are a number of consequences that directly follow from our approach: (A) $k$-means can be shown to increase a free energy associated with truncated distributions and this free energy can directly be reformulated in terms of the $k$-means objective; (B) $k$-means generalizations can directly be derived by considering the 2nd closest, 3rd closest etc. cluster in addition to just the closest one; and (C) the embedding of $k$-means into a free energy framework allows for theoretical interpretations of other $k$-means generalizations in the literature. In general, truncated variational EM provides a natural and rigorous quantitative link between $k$-means-like clustering and GMM clustering algorithms which may be very relevant for future theoretical and empirical studies.


title: Wireless Communication using Unmanned Aerial Vehicles (UAVs): Optimal Transport Theory for Hover Time Optimization

abstract: In this paper, the effective use of flight-time constrained unmanned aerial vehicles (UAVs) as flying base stations that can provide wireless service to ground users is investigated. In particular, a novel framework for optimizing the performance of such UAV-based wireless systems in terms of the average number of bits (data service) transmitted to users as well as UAVs' hover duration (i.e. flight time) is proposed. In the considered model, UAVs hover over a given geographical area to serve ground users that are distributed within the area based on an arbitrary spatial distribution function. In this case, two practical scenarios are considered. In the first scenario, based on the maximum possible hover times of UAVs, the average data service delivered to the users under a fair resource allocation scheme is maximized by finding the optimal cell partitions associated to the UAVs. Using the mathematical framework of optimal transport theory, a gradient-based algorithm is proposed for optimally partitioning the geographical area based on the users' distribution, hover times, and locations of the UAVs. In the second scenario, given the load requirements of ground users, the minimum average hover time that the UAVs need for completely servicing their ground users is derived. To this end, first, an optimal bandwidth allocation scheme for serving the users is proposed. Then, given this optimal bandwidth allocation, the optimal cell partitions associated with the UAVs are derived by exploiting the optimal transport theory. Results show that our proposed cell partitioning approach leads to a significantly higher fairness among the users compared to the classical weighted Voronoi diagram. In addition, our results reveal an inherent tradeoff between the hover time of UAVs and bandwidth efficiency while serving the ground users.


title: Jet Measurements with Neutral and Di-jet Triggers in Central Au+Au Collisions at $\sqrt{{s}_{NN}}$ = 200 GeV with STAR

abstract: We present two measurements related to jet production in p+p and central Au+Au collisions at $\sqrt{{s}_{NN}}$=200 GeV. Firstly, a study of semi-inclusive charged recoil jets coincident with high-$\rm{p_{T}}$ direct-photon and neutral pions, and secondly, the hadron correlations with respect to reconstructed di-jet triggers. Indication of medium effects is observed by comparing $\gamma$+jet and $\pi^{0}$+jet measurements. The di-jet+hadron study shows signs that the medium-induced modifications of an imbalanced set of di-jets with "hard cores" primarily affect the recoil jet.


title: Hardware Impairments Aware Transceiver Design for Bidirectional Full-Duplex MIMO OFDM Systems

abstract: In this paper we address the linear precoding and decoding design problem for a bidirectional orthogonal frequencydivision multiplexing (OFDM) communication system, between two multiple-input multiple-output (MIMO) full-duplex (FD) nodes. The effects of hardware distortion as well as the channel state information error are taken into account. In the first step, we transform the available time-domain characterization of the hardware distortions for FD MIMO transceivers to the frequency domain, via a linear Fourier transformation. As a result, the explicit impact of hardware inaccuracies on the residual selfinterference (RSI) and inter-carrier leakage (ICL) is formulated in relation to the intended transmit/received signals. Afterwards, linear precoding and decoding designs are proposed to enhance the system performance following the minimum-mean-squarederror (MMSE) and sum rate maximization strategies, assuming the availability of perfect or erroneous CSI. The proposed designs are based on the application of alternating optimization over the system parameters, leading to a necessary convergence. Numerical results indicate that the application of a distortionaware design is essential for a system with a high hardware distortion, or for a system with a low thermal noise variance.


title: Conditions for the equivalence between IQC and graph separation stability results

abstract: This paper provides a link between time-domain and frequency-domain stability results in the literature. Specifically, we focus on the comparison between stability results for a feedback interconnection of two nonlinear systems stated in terms of frequency-domain conditions. While the Integral Quadratic Constrain (IQC) theorem can cope with them via a homotopy argument for the Lurye problem, graph separation results require the transformation of the frequency-domain conditions into truncated time-domain conditions. To date, much of the literature focuses on "hard" factorizations of the multiplier, considering only one of the two frequency-domain conditions. Here it is shown that a symmetric, "doubly-hard" factorization is required to convert both frequency-domain conditions into truncated time-domain conditions. By using the appropriate factorization, a novel comparison between the results obtained by IQC and separation theories is then provided. As a result, we identify under what conditions the IQC theorem may provide some advantage.


title: EPRL/FK Asymptotics and the Flatness Problem

abstract: Spin foam models are an approach to quantum gravity based on the concept of sum over states, which aims to describe quantum spacetime dynamics in a way that its parent framework, loop quantum gravity, has not as of yet succeeded. Since these models' relation to classical Einstein gravity is not explicit, an important test of their viabilitiy is the study of asymptotics - the classical theory should be obtained in a limit where quantum effects are negligible, taken to be the limit of large triangle areas in a triangulated manifold with boundary. In this paper we will briefly introduce the EPRL/FK spin foam model and known results about its asymptotics, proceeding then to describe a practical computation of spin foam and semiclassical geometric data for a simple triangulation with only one interior triangle. The results are used to comment on the "flatness problem" - a hypothesis raised by Bonzom (2009) suggesting that EPRL/FK's classical limit only describes flat geometries in vacuum.


title: A Layperson Introduction to the Quantum Approach to Humor

abstract: Despite our familiarity with and fondness of humor, until relatively recently very little was known about the underlying psychology of this complex and nuanced phenomenon. Recently, however, cognitive psychologists have begun investigating how people understand humor and why we find certain things funny. This chapter introduces a new cognitive approach to modeling humor that we refer to as the 'quantum approach', which will be explained here in intuitive, non-mathematical terms later (a formal treatment can be found in Gabora & Kitto, 2017). What makes the quantum approach a promising candidate for a theory of humor is that it can be useful for representing states of ambiguity, and it defines states and variables with reference to a context. Contextuality and ambiguity both play a key role in humor, which often hangs on an ambiguous word, phrase, or situation that might not make sense, or even be socially acceptable outside the specific context of the joke. The quantum approach does not attempt to explain all aspects of humor, such as the contagious quality of laughter, or why children tease each other, or why people might find it funny when someone is hit in the face with a pie (and laugh even if they know it will happen in advance); what it aims to do is to mathematically represent the underlying cognitive process of "getting" a joke. After briefly overviewing the relevant historical antecedents of the quantum approach and other related approaches in cognitive psychology, we present the theoretical basis of our approach, and outline a recent study that provides empirical support for it.


title: The excitation spectrum of Bose gases interacting through singular potentials

abstract: We consider systems of $N$ bosons in a box with volume one, interacting through a repulsive two-body potential of the form $\kappa N^{3\beta-1} V(N^\beta x)$. For all $0 < \beta < 1$, and for sufficiently small coupling constant $\kappa > 0$, we establish the validity of Bogoliubov theory, identifying the ground state energy and the low-lying excitation spectrum up to errors that vanish in the limit of large $N$.


title: Shrinking characteristics of precision matrix estimators

abstract: We propose a framework to shrink a user-specified characteristic of a precision matrix estimator that is needed to fit a predictive model. Estimators in our framework minimize the Gaussian negative loglikelihood plus an $L_1$ penalty on a linear or affine function evaluated at the optimization variable corresponding to the precision matrix. We establish convergence rate bounds for these estimators and propose an alternating direction method of multipliers algorithm for their computation. Our simulation studies show that our estimators can perform better than competitors when they are used to fit predictive models. In particular, we illustrate cases where our precision matrix estimators perform worse at estimating the population precision matrix but better at prediction.


title: A second order equation for Schr\"odinger bridges with applications to the hot gas experiment and entropic transportation cost

abstract: The \emph{Schr\"odinger problem} is obtained by replacing the mean square distance with the relative entropy in the Monge-Kantorovich problem. It was first addressed by Schr\"odinger as the problem of describing the most likely evolution of a large number of Brownian particles conditioned to reach an "unexpected configuration". Its optimal value, the \textit{entropic transportation cost}, and its optimal solution, the \textit{Schr\"odinger bridge}, stand as the natural probabilistic counterparts to the transportation cost and displacement interpolation. Moreover, they provide a natural way of lifting from the point to the measure setting the concept of Brownian bridge. In this article, we prove that the Schr\"odinger bridge solves a second order equation in the Riemannian structure of optimal transport. Roughly speaking, the equation says that its acceleration is the gradient of the Fisher information. Using this result, we obtain a fine quantitative description of the dynamics, and a new functional inequality for the entropic transportation cost, that generalize Talagrand's transportation inequality. Finally, we study the convexity of the Fisher information along Schr\"odigner bridges, under the hypothesis that the associated \textit{reciprocal characteristic} is convex. The techniques developed in this article are also well suited to study the \emph{Feynman-Kac penalisations} of Brownian motion.


title: Catalogues, parameters and distributions of orbital binaries

abstract: The most complete list of visual binary systems with known orbital elements is compiled. It is based on OARMAC and ORB6 data and contains 3139 orbits for 2278 pairs. A refined subset of high quality orbits with available distance was also compiled. Relations between and distributions along different observational parameters are constructed, and an analysis of selection effects is made. Dynamical, photometric and spectral masses of systems are estimated, and reasons for discrepancies between them are discussed.


title: Spherical metrics with conical singularities on 2-spheres

abstract: Suppose that $\theta_1,\theta_2,\dots,\theta_n$ are positive numbers and $n\ge 3$. Does there exist a sphere with a spherical metric with $n$ conical singularities of angles $2\pi\theta_1,2\pi\theta_2,\dots,2\pi\theta_n$? A sufficient condition was obtained by Gabriele Mondello and Dmitri Panov (arXiv:1505.01994). We show that it is also necessary when we assume that $\theta_1,\theta_2,\dots,\theta_n \not\in \mathbb{N}$.


title: Structure of $^{14}$C and $^{14}$O nuclei calculated in the variational approach

abstract: The structure of mirror $^{14}$C and $^{14}$O nuclei has been studied in the framework of the five-particle model (three $\alpha$-particles and two nucleons). Interaction potentials are proposed, which allowed the energy and radius of $^{14}$C nucleus, as well as the energy of $^{14}$O one, to agree with experimental data. On the basis of the variational approach with the use of Gaussian bases, the energies and wave functions for five-particle systems under consideration are calculated. The charge radius of $^{14}$O nucleus, as well as the charge density distributions and the form factors for both nuclei, are predicted.


title: CT Image Reconstruction in a Low Dimensional Manifold

abstract: Regularization methods are commonly used in X-ray CT image reconstruction. Different regularization methods reflect the characterization of different prior knowledge of images. In a recent work, a new regularization method called a low-dimensional manifold model (LDMM) is investigated to characterize the low-dimensional patch manifold structure of natural images, where the manifold dimensionality characterizes structural information of an image. In this paper, we propose a CT image reconstruction method based on the prior knowledge of the low-dimensional manifold of CT image. Using the clinical raw projection data from GE clinic, we conduct comparisons for the CT image reconstruction among the proposed method, the simultaneous algebraic reconstruction technique (SART) with the total variation (TV) regularization, and the filtered back projection (FBP) method. Results show that the proposed method can successfully recover structural details of an imaging object, and achieve higher spatial and contrast resolution of the reconstructed image than counterparts of FBP and SART with TV.


title: Optical Tomographic Imaging for Breast Cancer Detection

abstract: Diffuse optical breast imaging utilizes near-infrared (NIR) light propagation through tissues to assess the optical properties of tissue for the identification of abnormal tissue. This optical imaging approach is sensitive, cost-effective, and does not involve any ionizing radiation. However, the image reconstruction of diffuse optical tomography (DOT) is a nonlinear inverse problem and suffers from severe ill-posedness, especially in the cases of strong noise and incomplete data. In this paper, a novel image reconstruction method is proposed for the detection of breast cancer. This method split the image reconstruction problem into the localization of abnormal tissues and quantification of absorption variations. The localization of abnormal tissues is performed based on a new well-posed optimization model, which can be solved via differential evolution optimization method to achieve a stable image reconstruction. The quantification of abnormal absorption variations is then determined in localized regions of relatively small extents, which are potentially tumors. Consequently, the number of unknown absorption variables can be greatly reduced to overcome the underdetermined nature of diffuse optical tomography (DOT), allowing for accurate and stable reconstruction of the abnormal absorption variations in the breast. Numerical simulation experiments show that the image reconstruction method is stable and accurate for the identification of abnormal tissues, and robust against measurement noise of data.


title: Weyl type N solutions with null electromagnetic fields in the Einstein-Maxwell $p$-form theory

abstract: We consider $d$-dimensional solutions to the electrovacuum Einstein-Maxwell equations with the Weyl tensor of type N and a null Maxwell $(p+1)$-form field. We prove that such spacetimes are necessarily aligned, i.e. the Weyl tensor of the corresponding spacetime and the electromagnetic field share the same \textit{aligned null direction} (AND). Moreover, this AND is geodetic, shear-free, non-expanding and non-twisting and hence Einstein-Maxwell equations imply that Weyl type N spacetimes with a null Maxwell $(p+1)$-form field belong to the Kundt class. Moreover, these Kundt spacetimes are necessarily $CSI$ and the $(p+1)$ form is $VSI$. Finally, a general coordinate form of solutions and a reduction of the field equations are discussed.


title: Versatile Robust Clustering of Ad Hoc Cognitive Radio Network

abstract: Cluster structure in cognitive radio networks facilitates cooperative spectrum sensing, routing and other functionalities. The unlicensed channels, which are available for every member of a group of cognitive radio users, consolidate the group into a cluster, and the availability of unlicensed channels decides the robustness of that cluster against the licensed users' influence. This paper analyses the problem that how to form robust clusters in cognitive radio network, so that more cognitive radio users can get benefits from cluster structure even when the primary users' operation are intense. We provide a formal description of robust clustering problem, prove it to be NP-hard and propose a centralized solution, besides, a distributed solution is proposed to suit the dynamics in the ad hoc cognitive radio network. Congestion game model is adopted to analyze the process of cluster formation, which not only contributes designing the distributed clustering scheme directly, but also provides the guarantee of convergence into Nash Equilibrium and convergence speed. Our proposed clustering solution is versatile to fulfill some other requirements such as faster convergence and cluster size control. The proposed distributed clustering scheme outperforms the related work in terms of cluster robustness, convergence speed and overhead. The extensive simulation supports our claims.


title: Maximal Supersymmetry and B-Mode Targets

abstract: Extending the work of Ferrara and one of the authors, we present dynamical cosmological models of $\alpha$-attractors with plateau potentials for $3\alpha=1,2,3,4,5,6,7$. These models are motivated by geometric properties of maximally supersymmetric theories: M-theory, superstring theory, and maximal $N = 8$ supergravity. After a consistent truncation of maximal to minimal supersymmetry in a seven-disk geometry, we perform a two-step procedure: 1) we introduce a superpotential, which stabilizes the moduli of the seven-disk geometry in a supersymmetric minimum, 2) we add a cosmological sector with a nilpotent stabilizer, which breaks supersymmetry spontaneously and leads to a desirable class of cosmological attractor models. These models with $n_s$ consistent with observational data, and with tensor-to-scalar ratio $r \approx 10^{-2}- 10^{-3}$, provide natural targets for future B-mode searches. We relate the issue of stability of inflationary trajectories in these models to tessellations of a hyperbolic geometry.


title: Nearly Tight Bounds for Sandpile Transience on the Grid

abstract: We use techniques from the theory of electrical networks to give nearly tight bounds for the transience class of the Abelian sandpile model on the two-dimensional grid up to polylogarithmic factors. The Abelian sandpile model is a discrete process on graphs that is intimately related to the phenomenon of self-organized criticality. In this process, vertices receive grains of sand, and once the number of grains exceeds their degree, they topple by sending grains to their neighbors. The transience class of a model is the maximum number of grains that can be added to the system before it necessarily reaches its steady-state behavior or, equivalently, a recurrent state. Through a more refined and global analysis of electrical potentials and random walks, we give an $O(n^4\log^4{n})$ upper bound and an $\Omega(n^4)$ lower bound for the transience class of the $n \times n$ grid. Our methods naturally extend to $n^d$-sized $d$-dimensional grids to give $O(n^{3d - 2}\log^{d+2}{n})$ upper bounds and $\Omega(n^{3d -2})$ lower bounds.


title: Smooth-supported multiplicative functions in arithmetic progressions beyond the $x^{1/2}$-barrier

abstract: We show that smooth-supported multiplicative functions $f$ are well-distributed in arithmetic progressions $a_1a_2^{-1} \pmod q$ on average over moduli $q\leq x^{3/5-\varepsilon}$ with $(q,a_1a_2)=1$.


title: Characteristic cycles and the conductor of direct image

abstract: We prove the functoriality for proper push-forward of the characteristic cycles of constructible complexes by morphisms of smooth projective schemes over a perfect field, under the assumption that the direct image of the singular support has the dimension at most that of the target of the morphism. The functoriality is deduced from a conductor formula which is a special case for morphisms to curves. The conductor formula in the constant coefficient case gives the geometric case of a formula conjectured by Bloch.