title: Max-Margin Object Detection

abstract: Most object detection methods operate by applying a binary classifier to sub-windows of an image, followed by a non-maximum suppression step where detections on overlapping sub-windows are removed. Since the number of possible sub-windows in even moderately sized image datasets is extremely large, the classifier is typically learned from only a subset of the windows. This avoids the computational difficulty of dealing with the entire set of sub-windows, however, as we will show in this paper, it leads to sub-optimal detector performance. In particular, the main contribution of this paper is the introduction of a new method, Max-Margin Object Detection (MMOD), for learning to detect objects in images. This method does not perform any sub-sampling, but instead optimizes over all sub-windows. MMOD can be used to improve any object detection method which is linear in the learned parameters, such as HOG or bag-of-visual-word models. Using this approach we show substantial performance gains on three publicly available datasets. Strikingly, we show that a single rigid HOG filter can outperform a state-of-the-art deformable part model on the Face Detection Data Set and Benchmark when the HOG filter is learned via MMOD.


title: Laser-Ranging Long Baseline Differential Atom Interferometers for Space

abstract: High sensitivity differential atom interferometers are promising for precision measurements in science frontiers in space, including gravity field mapping for Earth science studies and gravitational wave detection. We propose a new configuration of twin atom interferometers connected by a laser ranging interferometer (LRI-AI) to provide precise information of the displacements between the two AI reference mirrors and a means to phase-lock the two independent interferometer lasers over long distances, thereby further enhancing the feasibility of long baseline differential atom interferometers. We show that a properly implemented LRI-AI can achieve equivalent functionality to the conventional differential atom interferometer measurement system. LRI-AI isolates the laser requirements for atom interferometers and for optical phase readout between distant locations, thus enabling optimized allocation of available laser power within a limited physical size and resource budget. A unique aspect of LRI-AI also enables extended dynamic range of differential signals and the highest possible effective data rate.


title: Near-Infrared Spectroscopy of Young Galactic Supernova Remnants

abstract: Young Galactic supernova remnants (SNRs) are where we can observe closely the supernova (SN) ejecta and its interaction with circumstellar/interstellar medium. Therefore, they provide an opportunity to explore the explosion and the final stage of the evolution of massive stars. Near-infrared (NIR) emission lines in SNRs mostly originate from shocked dense material. In shocked SN ejecta, forbidden lines from heavy ions are prominent, while in shocked circumstellar/interstellar medium, [Fe II] and H2 lines are prominent. [Fe II] lines are strong in both media, and therefore [Fe II] line images provide a good starting point for the NIR study of SNRs. There are about twenty SNRs detected in [Fe II] lines, some of which have been studied in NIR spectroscopy. We will review the NIR [Fe II] observations of SNRs and introduce our recent NIR spectroscopic study of the young core-collapse SNR Cas A where we detected strong [P II] lines.


title: Dual Lie Bialgebra Structures of Poisson Types

abstract: Let $A=F[x,y]$ be the polynomial algebra on two variables $x,y$ over an algebraically closed field $F$ of characteristic zero. Under the Poisson bracket, $A$ is equipped with a natural Lie algebra structure. It is proven that the maximal good subspace of $A^*$ induced from the multiplication of the associative commutative algebra $A$ coincides with the maximal good subspace of $A^*$ induced from the Poisson bracket of the Poisson Lie algebra $A$. Based on this, structures of dual Lie bialgebras of the Poisson type are investigated. As by-products, five classes of new infinite dimensional Lie algebras are obtained.


title: Time-Free and Timer-Based Assumptions Can Be Combined to Solve Authenticated Byzantine Consensus

abstract: To circumvent the FLP impossibility result in a deterministic way several protocols have been proposed on top of an asynchronous distributed system enriched with additional assumptions. In the context of Byzantine failures for systems where at most t processes may exhibit a Byzantine behavior, two approaches have been investigated to solve the consensus problem.The first, relies on the addition of synchrony, called Timer-Based, but the second is based on the pattern of the messages that are exchanged, called Time-Free. This paper shows that both types of assumptions are not antagonist and can be combined to solve authenticated Byzantine consensus. This combined assumption considers a correct process pi, called 2t-BW, and a set X of 2t processes such that, eventually, for each query broadcasted by a correct process pj of X, pj receives a response from pi 2 X among the (n- t) first responses to that query or both links connecting pi and pj are timely. Based on this combination, a simple hybrid authenticated Byzantine consensus protocol,benefiting from the best of both worlds, is proposed. Whereas many hybrid protocols have been designed for the consensus problem in the crash model, this is, to our knowledge, the first hybrid deterministic solution to the Byzantine consensus problem.


title: Local rigidity for Yamabe-type problems in warped products

abstract: Our aim in this paper is to study local rigidity for metrics defined on a compact manifold $M$ with boundary satisfying constant scalar curvature on $M$ and constant mean curvature on $\partial M$. We present some geometrical hypotheses ensuring local rigidity for both, the general Riemannian and the warped metric case. These conditions arise from the study of a spectral problem which is not included within the classical problems (Neumann, Steklov,...) that we call "mixed eigenvalue problem". Finally, we apply our previous results for the spatial slice of the de Sitter and Anti-de Sitter Schwarzschild spacetimes.


title: Joint Tx/Rx Energy-Efficient Scheduling in Multi-Radio Networks: A Divide-and-Conque Approach

abstract: Most of the existing works on energy-efficient wireless communication systems only consider the transmitter (Tx) or the receiver (Rx) side power consumption but not both. Moreover, they often assume the static circuit power consumption. To be more practical, this paper considers the joint Tx and Rx power consumption in multiple-access radio networks, where the power model takes both the transmission power and the dynamic circuit power into account. We formulate the joint Tx and Rx energy efficiency (EE) maximization problem which is a combinatorial-type one due to the indicator function for scheduling users and activating radio links. The link EE and the user EE are then introduced which have the similar structure as the system EE. Their hierarchical relationships are exploited to tackle the problem using a divide-and-conquer approach, which is only of linear complexity. We further reveal that the static receiving power plays a critical role in the user scheduling. Finally, comprehensive numerical results are provided to validate the theoretical findings and demonstrate the effectiveness of the proposed algorithm for improving the system EE.


title: An atomic resolution, single-spin magnetic resonance detection concept based on tunneling force microscopy

abstract: A comprehensive study of a force detected single-spin magnetic resonance measurement concept with atomic spatial resolution is presented. The method is based upon electrostatic force detection of spin-selection rule controlled single-electron tunneling between two electrically isolated paramagnetic states. Single spin magnetic resonance detection is possible by measuring the force detected tunneling charge noise on and off spin resonance. Simulation results of this charge noise, based upon physical models of the tunneling and spin physics, are directly compared to measured AFM system noise. The results show that the approach could provide single spin measurement of electrically isolated qubit states with atomic spatial resolution at room temperature.


title: ECPR: Environment- and Context-aware Combined Power and Rate Distributed Congestion Control for Vehicular Communications

abstract: Safety and efficiency applications in vehicular networks rely on the exchange of periodic messages between vehicles. These messages contain position, speed, heading, and other vital information that makes the vehicles aware of their surroundings. The drawback of exchanging periodic cooperative messages is that they generate significant channel load. Decentralized Congestion Control (DCC) algorithms have been proposed to minimize the channel load. However, while the rationale for periodic message exchange is to improve awareness, existing DCC algorithms do not use awareness as a metric for deciding when, at what power, and at what rate the periodic messages need to be sent in order to make sure all vehicles are informed. We propose an environment- and context-aware DCC algorithm combines power and rate control in order to improve cooperative awareness by adapting to both specific propagation environments (e.g., urban intersections, open highways, suburban roads) as well as application requirements (e.g., different target cooperative awareness range). Studying various operational conditions (e.g., speed, direction, and application requirement), ECPR adjusts the transmit power of the messages in order to reach the desired awareness ratio at the target distance while at the same time controlling the channel load using an adaptive rate control algorithm. By performing extensive simulations, including realistic propagation as well as environment modeling and realistic vehicle operational environments (varying demand on both awareness range and rate), we show that ECPR can increase awareness by 20% while keeping the channel load and interference at almost the same level. When permitted by the awareness requirements, ECPR can improve the average message rate by 18% compared to algorithms that perform rate adaptation only.


title: Calculation of the specific heat of optimally K-doped BaFe$_2$As$_2$

abstract: The calculated specific heat of optimally K-doped BaFe$_2$As$_2$ in density functional theory is about five times smaller than that found in the experiment. We report that by adjusting the potential on the iron atom to be slightly more repulsive for electrons improves the calculated heat capacity as well as the structural, magnetic, and electronic properties of Ba$_{0.6}$K$_{0.4}$Fe$_2$As$_2$. Applying the same correction to the antiferromagnetic state, we find that the electron-phonon coupling is strongly enhanced.


title: Set partition patterns and statistics

abstract: A set partition $\sigma$ of $[n]=\{1,\dots,n\}$ contains another set partition $\pi$ if restricting $\sigma$ to some $S\subseteq[n]$ and then standardizing the result gives $\pi$. Otherwise we say $\sigma$ avoids $\pi$. For all sets of patterns consisting of partitions of $[3]$, the sizes of the avoidance classes were determined by Sagan and by Goyt. Set partitions are in bijection with restricted growth functions (RGFs) for which Wachs and White defined four fundamental statistics. We consider the distributions of these statistics over various avoidance classes, thus obtaining multivariate analogues of the previously cited cardinality results. This is the first in-depth study of such distributions. We end with a list of open problems.


title: Spontaneous multipole ordering by local parity mixing

abstract: Broken spatial inversion symmetry in spin-orbital coupled systems leads to a mixing between orbitals with different parity, which results in unusual electronic structures and transport properties. We theoretically investigate the possibility of multipole ordering induced by a parity mixing. In particular, we focus on the system in which the parity mixing appears in a sublattice-dependent form. Starting from the periodic Anderson model with such a local parity mixing, we derive an extended Kondo lattice model with sublattice-dependent antisymmetric exchange couplings between itinerant electrons and localized spins. By the variational calculation, simulated annealing, and Monte Carlo simulation, we show that the model on a quasi-one-dimensional zig-zag lattice exhibits an odd-parity multipole order composed of magnetic toroidal and quadrupole components at and near half filling. The multipole order causes a band deformation with the band bottom shift and a magnetoelectric response. The results suggest that unusual odd-parity multipole orders will be widely observed in multi-orbital systems with local parity mixing.


title: Convergence of the tamed Euler scheme for stochastic differential equations with Piecewise Continuous Arguments under non-Lipschitz continuous coefficients

abstract: Recently, Martin Hutzenthaler pointed out that the explicit Euler method fails to converge strongly to the exact solution of a stochastic differential equation (SDE) with superlinearly growing and globally one sided Lipschitz drift coefficient. Afterwards, he proposed an explicit and easily implementable Euler method, i.e tamed Euler method, for such an SDE and showed that this method converges strongly with order of one half. In this paper, we use the tamed Euler method to solve the stochastic differential equations with piecewise continuous arguments (SEPCAs) with superlinearly growing coefficients and prove that this method is convergent with strong order one half.


title: Simulation and measurement of the fractional particle number in one-dimensional optical lattices

abstract: We propose a scheme to mimic and directly measure the fractional particle number in a generalized Su-Schrieffer-Heeger model with ultracold fermions in one-dimensional optical lattices. We show that the fractional particle number in this model can be simulated in the momentum-time parameter space in terms of Berry curvature without a spatial domain wall. In this simulation, a hopping modulation is adiabatically tuned to form a kink-type configuration and the induced current plays the role of an analogous soliton distributing in the time domain, such that the mimicked fractional particle number is expressed by the particle transport. Two feasible experimental setups of optical lattices for realizing the required Su-Schrieffer-Heeger Hamiltonian with tunable parameters and time-varying hopping modulation are presented. We also show practical methods for measuring the particle transport in the proposed cold atom systems by numerically calculating the shift of the Wannier center and the center of mass of an atomic cloud.


title: A Random Matrix Theoretical Approach to Early Event Detection in Smart Grid

abstract: Power systems are developing very fast nowadays, both in size and in complexity; this situation is a challenge for Early Event Detection (EED). This paper proposes a data- driven unsupervised learning method to handle this challenge. Specifically, the random matrix theories (RMTs) are introduced as the statistical foundations for random matrix models (RMMs); based on the RMMs, linear eigenvalue statistics (LESs) are defined via the test functions as the system indicators. By comparing the values of the LES between the experimental and the theoretical ones, the anomaly detection is conducted. Furthermore, we develop 3D power-map to visualize the LES; it provides a robust auxiliary decision-making mechanism to the operators. In this sense, the proposed method conducts EED with a pure statistical procedure, requiring no knowledge of system topologies, unit operation/control models, etc. The LES, as a key ingredient during this procedure, is a high dimensional indictor derived directly from raw data. As an unsupervised learning indicator, the LES is much more sensitive than the low dimensional indictors obtained from supervised learning. With the statistical procedure, the proposed method is universal and fast; moreover, it is robust against traditional EED challenges (such as error accumulations, spurious correlations, and even bad data in core area). Case studies, with both simulated data and real ones, validate the proposed method. To manage large-scale distributed systems, data fusion is mentioned as another data processing ingredient.


title: Stability of analytical solutions and convergence of numerical methods for non-linear stochastic pantograph differential equations

abstract: In this paper, we study the polynomial stability of analytical solution and convergence of the semi-implicit Euler method for non-linear stochastic pantograph differential equations. Firstly, the sufficient conditions for solutions to grow at a polynomial rate in the sense of mean-square and almost surely are obtained. Secondly, the consistence and convergence of this method are proved. Furthermore, the orders of consistence (in the sense of average and mean-square) and convergence are given, respectively.


title: A New Intelligence Based Approach for Computer-Aided Diagnosis of Dengue Fever

abstract: Identification of the influential clinical symptoms and laboratory features that help in the diagnosis of dengue fever in early phase of the illness would aid in designing effective public health management and virological surveillance strategies. Keeping this as our main objective we develop in this paper, a new computational intelligence based methodology that predicts the diagnosis in real time, minimizing the number of false positives and false negatives. Our methodology consists of three major components (i) a novel missing value imputation procedure that can be applied on any data set consisting of categorical (nominal) and/or numeric (real or integer) (ii) a wrapper based features selection method with genetic search for extracting a subset of most influential symptoms that can diagnose the illness and (iii) an alternating decision tree method that employs boosting for generating highly accurate decision rules. The predictive models developed using our methodology are found to be more accurate than the state-of-the-art methodologies used in the diagnosis of the dengue fever.


title: Asymptotics of the energy of sections of greedy energy sequences on the unit circle, and some conjectures for general sequences

abstract: In this paper we investigate the asymptotic behavior of the Riesz $s$-energy of the first $N$ points of a greedy $s$-energy sequence on the unit circle, for all values of $s$ in the range $0\leq s<\infty$ (identifying as usual the case $s=0$ with the logarithmic energy). In the context of the unit circle, greedy $s$-energy sequences coincide with the classical Leja sequences constructed using the logarithmic potential. We obtain first-order and second-order asymptotic results. The key idea is to express the Riesz $s$-energy of the first $N$ points of a greedy $s$-energy sequence in terms of the binary representation of $N$. Motivated by our results, we pose some conjectures for general sequences on the unit circle.


title: A Batchwise Monotone Algorithm for Dictionary Learning

abstract: We propose a batchwise monotone algorithm for dictionary learning. Unlike the state-of-the-art dictionary learning algorithms which impose sparsity constraints on a sample-by-sample basis, we instead treat the samples as a batch, and impose the sparsity constraint on the whole. The benefit of batchwise optimization is that the non-zeros can be better allocated across the samples, leading to a better approximation of the whole. To accomplish this, we propose procedures to switch non-zeros in both rows and columns in the support of the coefficient matrix to reduce the reconstruction error. We prove in the proposed support switching procedure the objective of the algorithm, i.e., the reconstruction error, decreases monotonically and converges. Furthermore, we introduce a block orthogonal matching pursuit algorithm that also operates on sample batches to provide a warm start. Experiments on both natural image patches and UCI data sets show that the proposed algorithm produces a better approximation with the same sparsity levels compared to the state-of-the-art algorithms.


title: Sequential Defense Against Random and Intentional Attacks in Complex Networks

abstract: Network robustness against attacks is one of the most fundamental researches in network science as it is closely associated with the reliability and functionality of various networking paradigms. However, despite the study on intrinsic topological vulnerabilities to node removals, little is known on the network robustness when network defense mechanisms are implemented, especially for networked engineering systems equipped with detection capabilities. In this paper, a sequential defense mechanism is firstly proposed in complex networks for attack inference and vulnerability assessment, where the data fusion center sequentially infers the presence of an attack based on the binary attack status reported from the nodes in the network. The network robustness is evaluated in terms of the ability to identify the attack prior to network disruption under two major attack schemes, i.e., random and intentional attacks. We provide a parametric plug-in model for performance evaluation on the proposed mechanism and validate its effectiveness and reliability via canonical complex network models and real-world large-scale network topology. The results show that the sequential defense mechanism greatly improves the network robustness and mitigates the possibility of network disruption by acquiring limited attack status information from a small subset of nodes in the network.


title: Rokhsar-Kivelson Models of Bosonic Symmetry-Protected Topological States

abstract: A platform for constructing microscopic Hamiltonians describing bosonic symmetry-protected topological (SPT) states is presented. The Hamiltonians we consider are examples of frustration-free Rokhsar-Kivelson models, which are known to be in one-to-one correspondence with classical stochastic systems in the same spatial dimensionality. By exploring this classical-quantum mapping, we are able to construct a large class of microscopic models which, in a closed manifold, have a non-degenerate gapped symmetric ground state describing the universal properties of SPT states. Examples of one and two dimensional SPT states which illustrate our approach are discussed.


title: Quantum interpretations of AWPP and APP

abstract: AWPP is a complexity class introduced by Fenner, Fortnow, Kurtz, and Li, which is defined using GapP functions. Although it is an important class as the best upperbound of BQP, its definition seems to be somehow artificial, and therefore it would be better if we have some "physical interpretation" of AWPP. Here we provide a quantum physical interpretation of AWPP: we show that AWPP is equal to the class of problems efficiently solved by a quantum computer with the ability of postselecting an event whose probability is close to an FP function. This result is applied to also obtain a quantum physical interpretation of APP. In addition, we consider "classical physical analogue" of these results, and show that a restricted version of ${\rm BPP}_{\rm path}$ contains ${\rm UP}\cap{\rm coUP}$ and is contained in WAPP.


title: TuPAQ: An Efficient Planner for Large-scale Predictive Analytic Queries

abstract: The proliferation of massive datasets combined with the development of sophisticated analytical techniques have enabled a wide variety of novel applications such as improved product recommendations, automatic image tagging, and improved speech-driven interfaces. These and many other applications can be supported by Predictive Analytic Queries (PAQs). A major obstacle to supporting PAQs is the challenging and expensive process of identifying and training an appropriate predictive model. Recent efforts aiming to automate this process have focused on single node implementations and have assumed that model training itself is a black box, thus limiting the effectiveness of such approaches on large-scale problems. In this work, we build upon these recent efforts and propose an integrated PAQ planning architecture that combines advanced model search techniques, bandit resource allocation via runtime algorithm introspection, and physical optimization via batching. The result is TuPAQ, a component of the MLbase system, which solves the PAQ planning problem with comparable quality to exhaustive strategies but an order of magnitude more efficiently than the standard baseline approach, and can scale to models trained on terabytes of data across hundreds of machines.


title: Misner-Sharp Mass and the Unified First Law in Massive Gravity

abstract: We obtain the Misner-Sharp mass in the massive gravity for a four dimensional spacetime with a two dimensional maximally symmetric subspace via the inverse unified first law method. Significantly, the stress energy is conserved in this case with a widely used reference metric. Based on this property we confirm the derived Misner-Sharp mass by the conserved charge method. We find that the existence of the Misner-sharp mass in this case does not lead to extra constraint for the massive gravity, which is notable in modified gravities. In addition, as a special case, we also investigate the Misner-Sharp mass in the static spacetime. Especially, we take the FRW universe into account for investigating the thermodynamics of the massive gravity. The result shows that the massive gravity can be in thermodynamic equilibrium, which fills in the gap in the previous studies of thermodynamics in the massive gravity.


title: Matings of Cubic polynomials with a fixed critical point, Part I: Thurston Obstructions

abstract: We prove that if $F$ is a degree $3$ Thurston map with two fixed critical points, then any irreducible obstruction for $F$ contains a Levy cycle. As a corollary, it will be shown that if $f$ and $g$ are two postcritically finite cubic polynomials each having a fixed critical point, then any obstruction to the mating $f \mate g$ contains a Levy cycle. We end with an appendix to show examples of the obstructions described in the paper.


title: Inverses of structured vector bundles

abstract: We prove that structured vector bundles whose holonomies lie in GL(N,C), SO(N,C), or Sp(2N,C) have structured inverses. This generalizes a theorem of Simons and Sullivan.


title: Dual Optical Marker Raman Characterization of Strained GaN-channels on AlN Using AlN/GaN/AlN Quantum Wells and 15N Isotopes

abstract: This work shows that the combination of ultrathin highly strained GaN quantum wells embedded in an AlN matrix, with controlled isotopic concentrations of Nitrogen enables a dual marker method for Raman spectroscopy. By combining these techniques, we demonstrate the effectiveness in studying strain in the vertical direction. This technique will enable the precise probing of properties of buried active layers in heterostructures, and can be extended in the future to vertical devices such as those used for optical emitters, and for power electronics.


title: Distorted Local Shadows

abstract: We introduce the notion of a local shadow for a black hole and determine its shape for the particular case of a distorted Schwarzschild black hole. Considering the lowest-order even and odd multiple moments, we compute the relation between the deformations of the shadow of a Schwarzschild black hole and the distortion multiple moments. For the range of values of multiple moments that we consider, the horizon is deformed much less than its corresponding shadow, suggesting the horizon is more `rigid'. Quite unexpectedly we find that a prolate distortion of the horizon gives rise to an oblate distortion of the shadow, and vice-versa.


title: Tunneling of atoms, nuclei and molecules

abstract: This is a brief review of few relevant topics on tunneling of composite particles and how the coupling to intrinsic and external degrees of freedom affects tunneling probabilities. I discuss the phenomena of resonant tunneling, different barriers seen by subsystems, damping of resonant tunneling by level bunching and continuum effects due to particle dissociation.

categories: nucl-th cond-mat.supr-con nucl-ex quant-ph


title: Byzantine Broadcast Under a Selective Broadcast Model for Single-hop Wireless Networks

abstract: This paper explores an old problem, {\em Byzantine fault-tolerant Broadcast} (BB), under a new model, {\em selective broadcast model}. The new model "interpolates" between the two traditional models in the literature. In particular, it allows fault-free nodes to exploit the benefits of a broadcast channel (a feature from reliable broadcast model) and allows faulty nodes to send mismatching messages to different neighbors (a feature from point-to-point model) simultaneously. The {\em selective broadcast} model is motivated by the potential for {\em directional} transmissions on a wireless channel. We provide a collection of results for a single-hop wireless network under the new model. First, we present an algorithm for {\em Multi-Valued} BB that is order-optimal in bit complexity. Then, we provide an algorithm that is designed to achieve BB efficiently in terms of message complexity. Third, we determine some lower bounds on both bit and message complexities of BB problems in the {\em selective broadcast model}. Finally, we present a conjecture on an "exact" lower bound on the bit complexity of BB under the {\em selective broadcast} model.


title: Design of a Unified Transport Triggered Processor for LDPC/Turbo Decoder

abstract: This paper summarizes the design of a programmable processor with transport triggered architecture (TTA) for decoding LDPC and turbo codes. The processor architecture is designed in such a manner that it can be programmed for LDPC or turbo decoding for the purpose of internetworking and roaming between different networks. The standard trellis based maximum a posteriori (MAP) algorithm is used for turbo decoding. Unlike most other implementations, a supercode based sum-product algorithm is used for the check node message computation for LDPC decoding. This approach ensures the highest hardware utilization of the processor architecture for the two different algorithms. Up to our knowledge, this is the first attempt to design a TTA processor for the LDPC decoder. The processor is programmed with a high level language to meet the time-to-market requirement. The optimization techniques and the usage of the function units for both algorithms are explained in detail. The processor achieves 22.64 Mbps throughput for turbo decoding with a single iteration and 10.12 Mbps throughput for LDPC decoding with five iterations for a clock frequency of 200 MHz.


title: Time-resolved neutron imaging at ANTARES cold neutron beamline

abstract: In non-destructive evaluation with X-rays light elements embedded in dense, heavy (or high-Z) matrices show little contrast and their structural details can hardly be revealed. Neutron radiography, on the other hand, provides a solution for those cases, in particular for hydrogenous materials, owing to the large neutron scattering cross section of hydrogen and uncorrelated dependency of neutron cross section on the atomic number. The majority of neutron imaging experiments at the present time is conducted with static objects mainly due to the limited flux intensity of neutron beamline facilities and sometimes due to the limitations of the detectors. However, some applications require the studies of dynamic phenomena and can now be conducted at several high intensity beamlines such as the recently rebuilt ANTARES beam line at the FRM-II reactor. In this paper we demonstrate the capabilities of time resolved imaging for repetitive processes, where different phases of the process can be imaged simultaneously and integrated over multiple cycles. A fast MCP/Timepix neutron counting detector was used to image the water distribution within a model steam engine operating at 10 Hz frequency. Within <10 minutes integration the amount of water was measured as a function of cycle time with a sub-mm spatial resolution, thereby demonstrating the capabilities of time-resolved neutron radiography for the future applications. The neutron spectrum of the ANTARES beamline as well as transmission spectra of a Fe sample were also measured with the Time Of Flight (TOF) technique in combination with a high resolution beam chopper. The energy resolution of our setup was found to be ~0.8% at 5 meV and ~1.7% at 25 meV.


title: Torus localization and wall crossing for cosection localized virtual cycles

abstract: Since its introduction in 1995 by Li-Tian and Behrend-Fantechi, the theory of virtual fundamental class has played a key role in algebraic geometry, defining important invariants such as the Gromov-Witten invariant and the Donaldson-Thomas invariant. Quite a few methods for handling the virtual fundamental classes were discovered such as torus localization, degeneration, virtual pullback and cosection localization. Often combining these methods turns out to be quite effective. In this paper, we prove virtual pullback, torus localization and wall crossing formulas for cosection localized virtual cycles.


title: EXIT Chart Analysis of Block Markov Superposition Transmission of Short Codes

abstract: In this paper, a modified extrinsic information transfer (EXIT) chart analysis that takes into account the relation between mutual information (MI) and bit-error-rate (BER) is presented to study the convergence behavior of block Markov superposition transmission (BMST) of short codes (referred to as basic codes). We show that the threshold curve of BMST codes using an iterative sliding window decoding algorithm with a fixed decoding delay achieves a lower bound in the high signal-to-noise ratio (SNR) region, while in the low SNR region, due to error propagation, the thresholds of BMST codes become slightly worse as the encoding memory increases. We also demonstrate that the threshold results are consistent with finite-length performance simulations.


title: Approximate controllability of second-order evolution differential inclusions in Hilbert spaces

abstract: In this paper, we consider a class of second-order evolution differential inclusions in Hilbert spaces. This paper deals with the approximate controllability for a class of second-order control systems. First, we establish a set of sufficient conditions for the approximate controllability for a class of second-order evolution differential inclusions in Hilbert spaces. We use Bohnenblust-Karlin's fixed point theorem to prove our main results. Further, we extend the result to study the approximate controllability concept with nonlocal conditions and extend the result to study the approximate controllability for impulsive control systems with nonlocal conditions. An example is also given to illustrate our main results.


title: Efficient numerical solver for first-principles transport calculation based on real-space finite-difference method

abstract: We propose an efficient procedure to obtain Green's functions by combining the shifted conjugate orthogonal conjugate gradient (shifted COCG) method with the nonequilibrium Green's function (NEGF) method based on a real-space finite-difference (RSFD) approach. The bottleneck of the computation in the NEGF scheme is matrix inversion of the Hamiltonian including the self-energy terms of electrodes to obtain perturbed Green's function in the transition region. This procedure first computes unperturbed Green's functions and calculates perturbed Green's functions from the unperturbed ones using a mathematically strict relation. Since the matrices to be inverted to obtain the unperturbed Green's functions are sparse, complex-symmetric and shifted for a given set of sampling energy points, we can use the shifted COCG method, in which once the Green's function for a reference energy point has been calculated, the Green's functions for the other energy points can be obtained with a moderate computational cost. We calculate the transport properties of a C$_{60}$@(10,10) carbon nanotube (CNT) peapod suspended by (10,10)CNTs as an example of a large-scale transport calculation. The proposed scheme opens the possibility of performing large-scale RSFD-NEGF transport calculations using massively parallel computers without the loss of accuracy originating from the incompleteness of the localized basis set.


title: Category-Epitomes : Discriminatively Minimalist Representations for Object Categories

abstract: Freehand line sketches are an interesting and unique form of visual representation. Typically, such sketches are studied and utilized as an end product of the sketching process. However, we have found it instructive to study the sketches as sequentially accumulated composition of drawing strokes added over time. Studying sketches in this manner has enabled us to create novel sparse yet discriminative sketch-based representations for object categories which we term category-epitomes. Our procedure for obtaining these epitomes concurrently provides a natural measure for quantifying the sparseness underlying the original sketch, which we term epitome-score. We construct and analyze category-epitomes and epitome-scores for freehand sketches belonging to various object categories. Our analysis provides a novel viewpoint for studying the semantic nature of object categories.


title: Extension of Euclidean operator radius inequalities

abstract: To extend the Euclidean operator radius, we define $w_p$ for an $n$-tuples of operators $(T_1,\ldots, T_n)$ in $\mathbb{B}(\mathscr{H})$ by $w_p(T_1,\ldots,T_n):= \sup_{\| x \| =1} \left(\sum_{i=1}^{n}| \langle T_i x, x \rangle |^p \right)^{\frac1p}$ for $p\geq1$. We generalize some inequalities including Euclidean operator radius of two operators to those involving $w_p$. Further we obtain some lower and upper bounds for $w_p$. Our main result states that if $f$ and $g$ are nonnegative continuous functions on $\left[ 0,\infty \right) $ satisfying $f\left( t\right) g\left(t\right) =t$ for all $t\in \left[ 0,\infty \right) $, then \begin{equation*} w_{p}^{rp}\left( A_{1}^{\ast }T_{1}B_{1},\ldots ,A_{n}^{\ast }T_{n}B_{n}\right) \leq \frac{1}{2}\left\Vert \underset{i=1}{\overset{n}{\sum }}\Big( \left[ B_{i}^{\ast }f^{2}\left( \left\vert T_{i}\right\vert \right) B_{i}\right] ^{rp}+\left[ A_{i}^{\ast }g^{2}\left( \left\vert T_{i}^{\ast }\right\vert \right) A_{i}\right] ^{rp}\Big)\right\Vert \end{equation*} for all $p\geq 1$, $r\geq 1$ and operators in $ \mathbb{B}(\mathscr{H})$.


title: Search for the dark photon and the dark Higgs boson at Belle

abstract: The dark photon, $A^\prime$, and the dark Higgs boson, $h^\prime$, are hypothetical constituents featured in a number of recently proposed Dark Sector Models. Assuming prompt decays of both dark particles, we search for their production in the so-called Higgs-strahlung channel, $e^+e^- \rightarrow A^\prime h'$, with $h^\prime \rightarrow A^\prime A^\prime$. We investigate ten exclusive final-states with $A^\prime \rightarrow e^+e^-$, $\mu^+\mu^-$, or $\pi^+\pi^-$, in the mass ranges $0.1$~GeV/$c^2$~$< m_{A^\prime} < 3.5$~GeV/$c^2$ and $0.2$~GeV/$c^2$~$< m_{h'} < 10.5$~GeV/$c^2$. We also investigate three inclusive final-states, $2(e^+e^-)X$, $2(\mu^+\mu^-)X$, and $(e^+e^-)(\mu^+\mu^-)X$, where $X$ denotes a dark photon candidate detected via missing mass, in the mass ranges $1.1$~GeV/$c^2$~$< m_{A^\prime} < 3.5$~GeV/$c^2$ and $2.2$~GeV/$c^2$~$< m_{h'} < 10.5$~GeV/$c^2$. Using the entire $977\,\mathrm{fb}^{-1}$ data set collected by Belle, we observe no significant signal. We obtain individual and combined 90$\%$ confidence level upper limits on the branching fraction times the Born cross section, $\cal B \times \sigma_{\mathrm{Born}}$, on the Born cross section, $\sigma_{\mathrm{Born}}$, and on the dark photon coupling to the dark Higgs boson times the kinetic mixing between the Standard Model photon and the dark photon, $\alpha_D \times \epsilon^2$. These limits improve upon and cover wider mass ranges than previous experiments. The limits from the final-states $3(\pi^+\pi^-)$ and $2(e^+e^-)X$ are the first placed by any experiment. For $\alpha_D$ equal to 1/137, $m_{h'}<$ 8 GeV/$c^2$, and $m_{A^\prime}<$ 1 GeV/$c^2$, we exclude values of the mixing parameter, $\epsilon$, above $\sim 8 \times 10^{-4}$.


title: Inference for interacting linear waves in ordered and random media

abstract: A statistical inference method is developed and tested for pairwise interacting systems whose degrees of freedom are continuous angular variables, such as planar spins in magnetic systems or wave phases in optics and acoustics. We investigate systems with both deterministic and quenched disordered couplings on two extreme topologies: complete and sparse graphs. To match further applications in optics also complex couplings and external fields are considered and general inference formulas are derived for real and imaginary parts of Hermitian coupling matrices from real and imaginary parts of complex correlation functions. The whole procedure is, eventually, tested on numerically generated correlation functions and local magnetizations by means of Monte Carlo simulations.


title: Phenomenology of renormalons and the OPE from lattice regularization: the gluon condensate and the heavy quark pole mass

abstract: We study the operator product expansion of the plaquette (gluon condensate) and the self-energy of an infinitely heavy quark. We first compute their perturbative expansions to order $\alpha^{35}$ and $\alpha^{20}$, respectively, in the lattice scheme. In both cases we reach the asymptotic regime where the renormalon behavior sets in. Subtracting the perturbative series, we obtain the leading non-perturbative corrections of their respective operator product expansions. In the first case we obtain the gluon condensate and in the second the binding energy of the heavy quark in the infinite mass limit. The results are fully consistent with the expectations from renormalons and the operator product expansion.


title: On Optimization of Network-coded Scalable Multimedia Service Multicasting

abstract: In the near future, the delivery of multimedia multicast services over next-generation networks is likely to become one of the main pillars of future cellular networks. In this extended abstract, we address the issue of efficiently multicasting layered video services by defining a novel optimization paradigm that is based on an Unequal Error Protection implementation of Random Linear Network Coding, and aims to ensure target service coverages by using a limited amount of radio resources.


title: Quantifying replicability in systematic reviews: the r-value

abstract: In order to assess the effect of a health care intervention, it is useful to look at an ensemble of relevant studies. The Cochrane Collaboration's admirable goal is to provide systematic reviews of all relevant clinical studies, in order to establish whether or not there is a conclusive evidence about a specific intervention. This is done mainly by conducting a meta-analysis: a statistical synthesis of results from a series of systematically collected studies. Health practitioners often interpret a significant meta-analysis summary effect as a statement that the treatment effect is consistent across a series of studies. However, the meta-analysis significance may be driven by an effect in only one of the studies. Indeed, in an analysis of two domains of Cochrane reviews we show that in a non-negligible fraction of reviews, the removal of a single study from the meta-analysis of primary endpoints makes the conclusion non-significant. Therefore, reporting the evidence towards replicability of the effect across studies in addition to the significant meta-analysis summary effect will provide credibility to the interpretation that the effect was replicated across studies. We suggest an objective, easily computed quantity, we term the r-value, that quantifies the extent of this reliance on single studies. We suggest adding the r-values to the main results and to the forest plots of systematic reviews.


title: Efficiently Testing T-Interval Connectivity in Dynamic Graphs

abstract: Many types of dynamic networks are made up of durable entities whose links evolve over time. When considered from a {\em global} and {\em discrete} standpoint, these networks are often modelled as evolving graphs, i.e. a sequence of graphs ${\cal G}=(G_1,G_2,...,G_{\delta})$ such that $G_i=(V,E_i)$ represents the network topology at time step $i$. Such a sequence is said to be $T$-interval connected if for any $t\in [1, \delta-T+1]$ all graphs in $\{G_t,G_{t+1},...,G_{t+T-1}\}$ share a common connected spanning subgraph. In this paper, we consider the problem of deciding whether a given sequence ${\cal G}$ is $T$-interval connected for a given $T$. We also consider the related problem of finding the largest $T$ for which a given ${\cal G}$ is $T$-interval connected. We assume that the changes between two consecutive graphs are arbitrary, and that two operations, {\em binary intersection} and {\em connectivity testing}, are available to solve the problems. We show that $\Omega(\delta)$ such operations are required to solve both problems, and we present optimal $O(\delta)$ online algorithms for both problems. We extend our online algorithms to a dynamic setting in which connectivity is based on the recent evolution of the network.


title: Birkhoff spectrum for H\'enon-like maps at the first bifurcation

abstract: We effect a multifractal analysis for a strongly dissipative H\'enon-like map at the first bifurcation parameter at which the uniform hyperbolicity is destroyed by the formation of tangencies inside the limit set. We decompose the set of non wandering points on the unstable manifold into level sets of Birkhoff averages of continuous functions, and derive a formula for the Hausdorff dimension of the level sets in terms of the entropy and unstable Lyapunov exponent of invariant probability measures.


title: Optimal design problems for Schr\"odinger operators with noncompact resolvents

abstract: We consider optimization problems for cost functionals which depend on the negative spectrum of Schr\"odinger operators of the form $-\Delta+V(x)$, where $V$ is a potential, with prescribed compact support, which has to be determined. Under suitable assumptions the existence of an optimal potential is shown. This can be applied to interesting cases such as costs functions involving finitely many negative eigenvalues.


title: Second-Order Fermions and the Standard Model

abstract: We present a construction of a non-hermitian fermionic Lagrangian which has a second-order kinetic term. Despite the non-hermicity of the latter, the theory is unitary and the perturbation theory that can be derived is equivalent to the usual one derived from a first-order formalism. Having this in mind, the construction of a second-order Standard Model allows a more compact description of the theory. This work is based on [1, 2] and citations therein.


title: Deep learning of fMRI big data: a novel approach to subject-transfer decoding

abstract: As a technology to read brain states from measurable brain activities, brain decoding are widely applied in industries and medical sciences. In spite of high demands in these applications for a universal decoder that can be applied to all individuals simultaneously, large variation in brain activities across individuals has limited the scope of many studies to the development of individual-specific decoders. In this study, we used deep neural network (DNN), a nonlinear hierarchical model, to construct a subject-transfer decoder. Our decoder is the first successful DNN-based subject-transfer decoder. When applied to a large-scale functional magnetic resonance imaging (fMRI) database, our DNN-based decoder achieved higher decoding accuracy than other baseline methods, including support vector machine (SVM). In order to analyze the knowledge acquired by this decoder, we applied principal sensitivity analysis (PSA) to the decoder and visualized the discriminative features that are common to all subjects in the dataset. Our PSA successfully visualized the subject-independent features contributing to the subject-transferability of the trained decoder.


title: Twitter Hash Tag Recommendation

abstract: The rise in popularity of microblogging services like Twitter has led to increased use of content annotation strategies like the hashtag. Hashtags provide users with a tagging mechanism to help organize, group, and create visibility for their posts. This is a simple idea but can be challenging for the user in practice which leads to infrequent usage. In this paper, we will investigate various methods of recommending hashtags as new posts are created to encourage more widespread adoption and usage. Hashtag recommendation comes with numerous challenges including processing huge volumes of streaming data and content which is small and noisy. We will investigate preprocessing methods to reduce noise in the data and determine an effective method of hashtag recommendation based on the popular classification algorithms.


title: A nonlinear model for long memory conditional heteroscedasticity

abstract: We discuss a class of conditionally heteroscedastic time series models satisfying the equation $r_t= \zeta_t \sigma_t$, where $\zeta_t$ are standardized i.i.d. r.v.'s and the conditional standard deviation $\sigma_t$ is a nonlinear function $Q$ of inhomogeneous linear combination of past values $r_s, s<t$ with coefficients $b_j$. The existence of stationary solution $r_t$ with finite $p$th moment, $0< p < \infty $ is obtained under some conditions on $Q, b_j$ and $p$th moment of $\zeta_0$. Weak dependence properties of $r_t$ are studied, including the invariance principle for partial sums of Lipschitz functions of $r_t$. In the case of quadratic $Q^2$, we prove that $r_t$ can exhibit a leverage effect and long memory, in the sense that the squared process $r^2_t$ has long memory autocorrelation and its normalized partial sums process converges to a fractional Brownian motion.


title: Combining k-Induction with Continuously-Refined Invariants

abstract: Bounded model checking (BMC) is a well-known and successful technique for finding bugs in software. k-induction is an approach to extend BMC-based approaches from falsification to verification. Automatically generated auxiliary invariants can be used to strengthen the induction hypothesis. We improve this approach and further increase effectiveness and efficiency in the following way: we start with light-weight invariants and refine these invariants continuously during the analysis. We present and evaluate an implementation of our approach in the open-source verification-framework CPAchecker. Our experiments show that combining k-induction with continuously-refined invariants significantly increases effectiveness and efficiency, and outperforms all existing implementations of k-induction-based software verification in terms of successful verification results.


title: Recent developments in deformation quantization

abstract: In this review an overview on some recent developments in deformation quantization is given. After a general historical overview we motivate the basic definitions of star products and their equivalences both from a mathematical and a physical point of view. Then we focus on two topics: the Morita classification of star product algebras and convergence issues which lead to the nuclear Weyl algebra.


title: On the convergence properties of a majorized ADMM for linearly constrained convex optimization problems with coupled objective functions

abstract: In this paper, we establish the convergence properties for a majorized alternating direction method of multipliers (ADMM) for linearly constrained convex optimization problems whose objectives contain coupled functions. Our convergence analysis relies on the generalized Mean-Value Theorem which plays an important role to properly control the cross terms due to the presence of coupled objective functions. Our results in particular show that directly applying 2-block ADMM with a large step length to the linearly constrained convex optimization problem with a quadratically coupled objective function is convergent under mild conditions. We also provide several iteration complexity results for the algorithm.


title: Higgs mechanism and renormalization group flow: are they compatible?

abstract: Usually the Lagrangian of a model for massive vector bosons is derived in a geometric way by the Higgs mechanism. We investigate whether this geometric structure is maintained under the renormalization group (RG) flow. Using the framework of Epstein-Glaser renormalization, we find that the answer is 'no', if the renormalization mass scale(s) are chosen in a way corresponding to the minimal subtraction scheme. This result is derived for the $U(1)$-Higgs model to 1-loop order. On the other hand we give a model-independent proof that physical consistency, which is a weak form of BRST-invariance of the time-ordered products, is stable under the RG-flow.


title: Energy concentration of the focusing energy-critical FNLS

abstract: We consider the fractional nonlinear Schr\"odinger equation (FNLS) with general dispersion $|\nabla|^\alpha$ and focusing energy-critical nonlinearities $-|u|^\frac{2\alpha}{d-\alpha}u$ and $-(|x|^{-2\alpha} * |u|^2) u$. By adopting Kenig-Tsutsumi \cite{mets}, Kenig-Merle \cite{keme} and Killip-Visan \cite{kv} arguments, we show the energy concentration of radial solutions near the maximal existence time. For this purpose we use Sobolev inequalities for radial functions and establish strong energy decoupling of profiles. And we also show that when the kinetic energy is confined the maximal existence time is finite for some large class of initial data satisfying the initial energy $E(\varphi)$ is less than energy of ground state $E(W_\alpha)$ but $\||\nabla|^\frac\alpha2 \varphi\|_{L^2} \ge \||\nabla|^\frac\alpha2 W_\alpha\|_{L^2}$.


title: Hybrid Update/Invalidate Schemes for Cache Coherence Protocols

abstract: In general when considering cache coherence, write back schemes are the default. These schemes invalidate all other copies of a data block during a write. In this paper we propose several hybrid schemes that will switch between updating and invalidating on processor writes at runtime, depending on program conditions. We created our own cache simulator on which we could implement our schemes, and generated data sets from both commercial benchmarks and through artificial methods to run on the simulator. We analyze the results of running the benchmarks with various schemes, and suggest further research that can be done in this area.


title: An integral representation for the product of two parabolic cylinder functions having unrelated arguments

abstract: An integral representation is provided for the parabolic cylinder function product $D_{\mu}(x)D_{\mu}(-y)$ where $Re\,\mu<0$ and $x>y$ are unrelated. A few simple consequences are given in the form of hyperbolic integrals and a sum rule.


title: X-ray Transients: Hyper- or Hypo-Luminous?

abstract: The disk instability picture gives a plausible explanation for the behavior of soft X-ray transient systems if self-irradiation of the disk is included. We show that there is a simple relation between the peak luminosity (at the start of an outburst) and the decay timescale. We use this relation to place constraints on systems assumed to undergo disk instabilities. The observable X-ray populations of elliptical galaxies must largely consist of long-lived transients, as deduced on different grounds by Piro and Bildsten (2002). The strongly-varying X-ray source HLX-1 in the galaxy ESO 243-49 can be modeled as a disk instability of a highly super-Eddington stellar-mass binary similar to SS433. A fit to the disk instability picture is not possible for an intermediate-mass black hole model for HLX-1. Other, recently identified, super-Eddington ULXs might be subject to disk instability.


title: Worldwide clustering of the corruption perception

abstract: We inspect a possible clustering structure of the corruption perception among 134 countries. Using the average linkage clustering, we uncover a well-defined hierarchy in the relationships among countries. Four main clusters are identified and they suggest that countries worldwide can be quite well separated according to their perception of corruption. Moreover, we find a strong connection between corruption levels and a stage of development inside the clusters. The ranking of countries according to their corruption perfectly copies the ranking according to the economic performance measured by the gross domestic product per capita of the member states. To the best of our knowledge, this study is the first one to present an application of hierarchical and clustering methods to the specific case of corruption.


title: Sejong Open Cluster Survey (SOS) - IV. The Young Open Clusters NGC 1624 and NGC 1931

abstract: Young open clusters located in the outer Galaxy provide us with an opportunity to study star formation activity in a different environment from the solar neighborhood. We present a UBVI and H alpha photometric study of the young open clusters NGC 1624 and NGC 1931 that are situated toward the Galactic anticenter. Various photometric diagrams are used to select the members of the clusters and to determine the fundamental parameters. NGC 1624 and NGC 1931 are, on average, reddened by <E(B-V)> = 0.92 +/- 0.05 and 0.74 +/- 0.17 mag, respectively. The properties of the reddening toward NGC 1931 indicate an abnormal reddening law (Rv,cl = 5.2 +/- 0.3). Using the zero-age main sequence fitting method we confirm that NGC 1624 is 6.0 +/- 0.6 kpc away from the Sun, whereas NGC 1931 is at a distance of 2.3 +/- 0.2 kpc. The results from isochrone fitting in the Hertzsprung-Russell diagram indicate the ages of NGC 1624 and NGC 1931 to be less than 4 Myr and 1.5 - 2.0 Myr, respectively. We derived the initial mass function (IMF) of the clusters. The slope of the IMF (Gamma_NGC 1624 = -2.0 +/- 0.2 and Gamma_NGC 1931 = -2.0 +/- 0.1) appears to be steeper than that of the Salpeter/Kroupa IMF. We discuss the implication of the derived IMF based on simple Monte-Carlo simulations and conclude that the property of star formation in the clusters seems not to be far different from that in the solar neighborhood.


title: Counting ghosts in the "ghost-free" non-local gravity

abstract: In the recently proposed non-local theory of quantum gravity one can avoid massive tensor ghosts at the tree level by a special choice of the non-local form factor between the two Ricci tensors. We show that at the quantum level this theory has an infinite amount of massive unphysical states, mostly corresponding to complex poles.


title: Density-functional study of the pure and palladium doped small copper and silver clusters

abstract: The size-dependent electronic, structural, magnetic and vibrational properties of small pure cop- per and silver clusters and their alloys with one and two palladium atoms are studied by using full-potential all-electron density functional computations. The stable isomers of these clusters are identified and their theoretical magic numbers are determined via the analysis of the second differ- ence of their minimized energy. We discuss that the doped Pd atoms generally prefer to sit in the high coordination sites of the pure clusters. It is argued that Pd doping influences the structural properties and the two dimensional to three dimensional structural cross over in the small Cu and Ag clusters. The many body based GW correction is applied for more accurate determination of the electron affinity and ionization potential of these systems. Magnetic and vibrational properties of the pure and doped clusters are presented and discussed.


title: Spin-orbit-induced exotic insulators in a three-orbital Hubbard model with $(t_{2g})^5$ electrons

abstract: On the basis of the multi-orbital dynamical mean field theory, a three-orbital Hubbard model with a relativistic spin-orbit coupling (SOC) is studied at five electrons per site. The numerical calculations are performed by employing the continuous-time quantum Monte Carlo (CTQMC) method based on the strong coupling expansion. We find that appropriately choosing bases, i.e., the maximally spin-orbit-entangled bases, drastically improve the sign problem in the CTQMC calculations, which enables us to treat exactly the full Hund's coupling and pair hopping terms. This improvement is also essential to reach at low temperatures for a large SOC region where the SOC most significantly affects the electronic structure. We show that a metal-insulator transition is induced by the SOC for fixed Coulomb interactions. The insulating state for smaller Coulomb interactions is antiferromagnetically ordered with the local effective total angular momentum $j=1/2$, in which the $j=1/2$ based band is essentially half-filled while the $j=3/2$ based bands are completely occupied. More interestingly, for larger Coulomb interactions, we find that an excitonic insulating state emerges, where the condensation of an electron-hole pair in the $j=1/2$ and $j=3/2$ based bands occurs. The origin of the excitonic insulator as well as the experimental implication is discussed.


title: Single-molecule spectromicroscopy: the door into sub-diffraction refractometry

abstract: We suggest a novel approach for probing of local fluctuations of the refractive index $n$ in solids by means of single-molecule (SM) spectroscopy. It is based on the dependence $T_1(n)$ of the effective radiative lifetime $T_1$ of dye centres in solids on $n$ due to the local field effects. Detection of SM zero-phonon lines at ultra-low temperatures gives the values of SM natural spectral linewidth (which is inverse proportional to $T_1$) and makes it possible to reveal the distribution of the local $n$ values in solids. Here we demonstrate this possibility on the example of amorphous polyethylene and polycrystalline naphthalene doped with terrylene.


title: Leptogenesis in an SU(5) x A5 Golden Ratio Flavour Model

abstract: In this paper we discuss a minor modification of a previous SU(5) x A5 flavour model which exhibits at leading order golden ratio mixing and sum rules for the heavy and the light neutrino masses. Although this model could predict all mixing angles well it fails in generating a sufficient large baryon asymmetry via the leptogenesis mechanism. We repair this deficit here, discuss model building aspects and give analytical estimates for the generated baryon asymmetry before we perform a numerical parameter scan. Our setup has only a few parameters in the lepton sector. This leads to specific constraints and correlations between the neutrino observables. For instance, we find that in the model considered only the neutrino mass spectrum with normal mass ordering and values of the lightest neutrino mass in the interval 10-18 meV are compatible with the current data on the neutrino oscillation parameters. With the introduction of only one NLO operator, the model can accommodate successfully simultaneously even at 1$\sigma$ level the current data on neutrino masses, on neutrino mixing and the observed value of the baryon asymmetry.


title: Nonextensive analysis on the local structure entropy of complex networks

abstract: The local structure entropy is a new method which is proposed to identify the influential nodes in the complex networks. In this paper a new form of the local structure entropy of the complex networks is proposed based on the Tsallis entropy. The value of the entropic index $q$ will influence the property of the local structure entropy. When the value of $q$ is equal to 0, the nonextensive local structure entropy is degenerated to a new form of the degree centrality. When the value of $q$ is equal to 1, the nonextensive local structure entropy is degenerated to the existing form of the local structure entropy. We also have find a nonextensive threshold value in the nonextensive local structure entropy. When the value of $q$ is bigger than the nonextensive threshold value, change the value of $q$ will has no influence on the property of the local structure entropy, and different complex networks have different nonextensive threshold value. The results in this paper show that the new nonextensive local structure entropy is a generalised of the local structure entropy. It is more reasonable and useful than the existing one.


title: Bar recursion in classical realisability : dependent choice and continuum hypothesis

abstract: This paper is about the bar recursion operator in the context of classical realizability. After the pioneering work of Berardi, Bezem & Coquand [1], T. Streicher has shown [10], by means of their bar recursion operator, that the realizability models of ZF, obtained from usual models of $\lambda$-calculus (Scott domains, coherent spaces, . . .), satisfy the axiom of dependent choice. We give a proof of this result, using the tools of classical realizability. Moreover, we show that these realizability models satisfy the well ordering of $\mathbb{R}$ and the continuum hypothesis These formulas are therefore realized by closed $\lambda_c$-terms. This allows to obtain programs from proofs of arithmetical formulas using all these axioms.


title: Vacua and correlators in hyperbolic de Sitter space

abstract: We study the power - and bi -spectrum of vacuum fluctuations in a hyperbolic section of de Sitter space, comparing two states of physical interest: the Bunch-Davies and hyperbolic vacuum. We introduce a one -parameter family of de Sitter hyperbolic sections and their natural vacua, and identify a limit in which it reduces to the planar section and the corresponding Bunch -Davies vacuum state. Selecting the Bunch -Davies vacuum for a massless scalar field implies a mixed reduced density matrix in a hyperbolic section of de Sitter space. We stress that in the Bunch -Davies state the hyperbolic de Sitter $n$-point correlation functions have to match the planar de Sitter $n$-point correlation functions. The expressions for the planar and hyperbolic Bunch -Davies correlation functions only appear different because of the transformation from planar to hyperbolic coordinates. Initial state induced deviations from the standard inflationary predictions are instead obtained by considering the pure hyperbolic vacuum, as we verify explicitly by computing the power - and bi -spectrum. For the bi -spectrum in the hyperbolic vacuum we find that the corrections as compared to the standard Bunch -Davies result are not enhanced in specific momentum configurations and strongly suppressed for momenta large compared to the hyperbolic curvature scale. We close with some final remarks, in particular regarding the implications of these results for more realistic inflationary bubble scenarios.


title: Inverse problems for linear hyperbolic equations using mixed formulations

abstract: We introduce in this document a direct method allowing to solve numerically inverse type problems for linear hyperbolic equations. We first consider the reconstruction of the full solution of the wave equation posed in $\Omega\times (0,T)$ - $\Omega$ a bounded subset of $\mathbb{R}^N$ - from a partial distributed observation. We employ a least-squares technique and minimize the $L^2$-norm of the distance from the observation to any solution. Taking the hyperbolic equation as the main constraint of the problem, the optimality conditions are reduced to a mixed formulation involving both the state to reconstruct and a Lagrange multiplier. Under usual geometric optic conditions, we show the well-posedness of this mixed formulation (in particular the inf-sup condition) and then introduce a numerical approximation based on space-time finite elements discretization. We prove the strong convergence of the approximation and then discussed several examples for $N=1$ and $N=2$. The problem of the reconstruction of both the state and the source term is also addressed.


title: Optimized Projection for Sparse Representation Based Classification

abstract: Dimensionality reduction (DR) methods have been commonly used as a principled way to understand the high-dimensional data such as facial images. In this paper, we propose a new supervised DR method called Optimized Projection for Sparse Representation based Classification (OP-SRC), which is based on the recent face recognition method, Sparse Representation based Classification (SRC). SRC seeks a sparse linear combination on all the training data for a given query image, and make the decision by the minimal reconstruction residual. OP-SRC is designed on the decision rule of SRC, it aims to reduce the within-class reconstruction residual and simultaneously increase the between-class reconstruction residual on the training data. The projections are optimized and match well with the mechanism of SRC. Therefore, SRC performs well in the OP-SRC transformed space. The feasibility and effectiveness of the proposed method is verified on the Yale, ORL and UMIST databases with promising results.


title: Intercept Behavior Analysis of Industrial Wireless Sensor Networks in the Presence of Eavesdropping Attack

abstract: This paper studies the intercept behavior of an industrial wireless sensor network (WSN) consisting of a sink node and multiple sensors in the presence of an eavesdropping attacker, where the sensors transmit their sensed information to the sink node through wireless links. Due to the broadcast nature of radio wave propagation, the wireless transmission from the sensors to the sink can be readily overheard by the eavesdropper for interception purposes. In an information-theoretic sense, the secrecy capacity of the wireless transmission is the difference between the channel capacity of the main link (from sensor to sink) and that of the wiretap link (from sensor to eavesdropper). If the secrecy capacity becomes non-positive due to the wireless fading effect, the sensor's data transmission could be successfully intercepted by the eavesdropper and an intercept event occurs in this case. However, in industrial environments, the presence of machinery obstacles, metallic frictions and engine vibrations makes the wireless fading fluctuate drastically, resulting in the degradation of the secrecy capacity. As a consequence, an optimal sensor scheduling scheme is proposed in this paper to protect the legitimate wireless transmission against the eavesdropping attack, where a sensor with the highest secrecy capacity is scheduled to transmit its sensed information to the sink. Closed-form expressions of the probability of occurrence of an intercept event (called intercept probability) are derived for the conventional round-robin scheduling and the proposed optimal scheduling schemes. Also, an asymptotic intercept probability analysis is conducted to provide an insight into the impact of the sensor scheduling on the wireless security. Numerical results demonstrate that the proposed sensor scheduling scheme outperforms the conventional round-robin scheduling in terms of the intercept probability.


title: Semiclassical analysis of the electron-nuclear coupling in electronic non-adiabatic processes

abstract: In the context of the exact factorization of the electron-nuclear wave function, the coupling between electrons and nuclei beyond the adiabatic regime is encoded (i) in the time-dependent vector and scalar potentials and (ii) in the electron-nuclear coupling operator. The former appear in the Schroedinger-like equation that drives the evolution of the nuclear degrees of freedom, whereas the latter is responsible for inducing non-adiabatic effects in the electronic evolution equation. As we have devoted previous studies to the analysis of the vector and scalar potentials, in this paper we focus on the properties of the electron-nuclear coupling operator, with the aim of describing a numerical procedure to approximate it within a semiclassical treatment of the nuclear dynamics.


title: Room temperature local ferromagnetism and nanoscale domain growth in the ferromagnetic semiconductor GeFe

abstract: We investigate the local electronic structure and magnetic properties of the group IV based ferromagnetic semiconductor, GeFe, using soft X ray magnetic circular dichroism. Our results show that the doped Fe 3d electrons are strongly hybridized with the Ge 4p states, and have an unusually large orbital magnetic moment relative to the spin magnetic moment; i.e., morb/mspin = 0.3. We find that local ferromagnetic domains, which are formed through ferromagnetic exchange interactions in the high Fe content regions of the GeFe films, exist at room temperature, well above the Curie temperature. We demonstrate the first observation of the intriguing nanoscale domain growth process in which ferromagnetic domains expand as the temperature decreases, followed by a transition of the entire film into a ferromagnetic state at the Curie temperature.


title: Production of the Y(4260) State in B Meson Decay

abstract: We calculate the branching ratio for the production of the meson $Y(4260)$ in the decay $B^- \to Y(4260)K^-$. We use QCD sum rules approach and we consider the $Y(4260)$ to be a mixture between charmonium and exotic tetraquark, $[\bar{c}\bar{q}][qc]$, states with $J^{PC}=1^{--}$. Using the value of the mixing angle determined previously as: $\theta=(53.0\pm0.5)^\circ$, we get the branching ratio $\mathcal{B}(B\to Y(4260)K)=(1.34\pm0.47)\times10^{-6}$, which allows us to estimate an interval on the branching fraction $3.0 \times 10^{-8} < {\mathcal B}_{_Y} < 1.8 \times 10^{-6}$ in agreement with the experimental upper limit reported by Babar Collaboration.


title: Electricity markets regarding the operational flexibility of power plants

abstract: Electricity market mechanisms designed to steer sustainable generation of electricity play an important role for the energy transition intended to mitigate climate change. One of the major problems is to complement volatile renewable energy sources by operationally flexible capacity reserves. In this paper a proposal is given to determine prices on electricity markets taking into account the operational flexibility of power plants, such that the costs of long-term capacity reserves can be paid by short-term electricity spot markets. For this purpose, a measure of operational flexibility is introduced enabling to compute an inflexibility fee charging each individual power plant on a wholesale electricity spot market. The total sum of inflexibility fees accumulated on the spot markets then can be used to finance a capacity market keeping the necessary reserves to warrant grid reliability. Here each reserve power plant then gets a reliability payment depending on its operational flexibility. The proposal is applied to a small exemplary grid, illustrating its main idea and also revealing the caveat that too high fees paradoxically could create incentives to employ highly flexible power plants on the spot market rather than to run them as backup capacity.


title: Towards a Systems Engineering Essence

abstract: SEMAT/OMG Essence provides a powerful Language and a Kernel for describing software development processes. How can it be tweaked to apply it to systems engineering methods description? We must harmonize Essence and various systems engineering standards in order to provide a more formal system approach to obtaining a Systems Engineering Essence. In this paper, an approach of using Essence for systems engineering is presented. In this approach we partly modified a Kernel only within engineering solution area of concerns and completely preserved Language as an excellent situational method engineering foundation.


title: From Field Theory to the Hydrodynamics of Relativistic Superfluids

abstract: The hydrodynamic description of a superfluid is usually based on a two-fluid picture. In this thesis, basic properties of such a relativistic two-fluid system are derived from the underlying microscopic physics of a complex scalar quantum field theory. To obtain analytic results of all non-dissipative hydrodynamic quantities in terms of field theoretic variables, calculations are first carried out in a low-temperature and weak-coupling approximation. In a second step, the 2-particle-irreducible formalism is applied: This formalism allows for a numerical evaluation of the hydrodynamic parameters for all temperatures below the critical temperature. In addition, a system of two coupled superfluids is studied. As an application, the velocities of first and second sound in the presence of a superflow are calculated. The results show that first (second) sound evolves from a density (temperature) wave at low temperatures to a temperature (density) wave at high temperatures. This role reversal is investigated for ultra-relativistic and near-nonrelativistic systems for zero and nonzero superflow. The studies carried out in this thesis are of a very general nature as one does not have to specify the system for which the microscopic field theory is an effective description. As a particular example, superfluidity in dense quark and nuclear matter in compact stars are discussed.


title: Comment on QBism and locality in quantum mechanics

abstract: A critique to the article by C.A. Fuchs, N.D. Mermin, and R.Schack, "An introduction to QBism with and application to the locality of quantum mechanics" that appeared in Am. J. Phys. 82 (8), 749-754 (2014)


title: Law of total probability and Bayes' theorem in Riesz spaces

abstract: This note generalizes the notion of conditional probability to Riesz spaces using the order-theoretic approach. With the aid of this concept, we establish the law of total probability and Bayes' theorem in Riesz spaces; we also prove an inclusion-exclusion formula in Riesz spaces. Several examples are provided to show that the law of total probability, Bayes' theorem and inclusion-exclusion formula in probability theory are special cases of our results.


title: Center-unstable foliations do not have compact leaves

abstract: For a partiallyhyperbolic diffeomorphism on a 3-manifold, we show that any invariant foliation tangent to the center-unstable (or center-stable) bundle has no compact leaves.


title: Injective metrizability and the duality theory of cubings

abstract: Following his discovery that finite metric spaces have injective envelopes naturally admitting a polyhedral structure, Isbell, in his pioneering work on injective metric spaces, attempted a characterization of cellular complexes admitting the structure of an injective metric space. A bit later, Mai and Tang confirmed Isbell's conjecture that a simplicial complex is injectively metrizable if and only if it is collapsible. Considerable advances in the understanding, classification and applications of injective envelopes have since been made by Dress, Huber, Sturmfels and collaborators, and most recently by Lang. Unfortunately a combination theory for injective polyhedra is still unavailable. Here we expose a connection to the duality theory of cubings -- simply connected non-positively curved cubical complexes -- which provides a more principled and accessible approach to Mai and Tang's result, providing one with a powerful tool for systematic construction of locally-compact injective metric spaces: Main Theorem. Any complete pointed Gromov--Hausdorff limit of locally-finite piecewise-$\ell_\infty$ cubings is injective. This result may be construed as a combination theorem for the simplest injective polytopes, $\ell_\infty$-parallelopipeds, where the condition for retaining injectivity is the combinatorial non-positive curvature condition on the complex. Thus it represents a first step towards a more comprehensive combination theory for injective spaces. In addition to setting the earlier work on injectively metrizable complexes within its proper context of non-positively curved geometry, this paper is meant to provide the reader with a systematic review of the results~ ---~ otherwise scattered throughout the geometric group theory literature~ ---~ on the duality theory and the geometry of cubings, which make this connection possible.


title: Spontaneous Motion on Two-dimensional Continuous Attractors

abstract: Attractor models are simplified models used to describe the dynamics of firing rate profiles of a pool of neurons. The firing rate profile, or the neuronal activity, is thought to carry information. Continuous attractor neural networks (CANNs) describe the neural processing of continuous information such as object position, object orientation and direction of object motion. Recently, it was found that, in one-dimensional CANNs, short-term synaptic depression can destabilize bump-shaped neuronal attractor activity profiles. In this paper, we study two-dimensional CANNs with short-term synaptic depression and with spike frequency adaptation. We found that the dynamics of CANNs with short-term synaptic depression and CANNs with spike frequency adaptation are qualitatively similar. We also found that in both kinds of CANNs the perturbative approach can be used to predict phase diagrams, dynamical variables and speed of spontaneous motion.


title: Structure Relations and Darboux Contractions for 2D 2nd Order Superintegrable Systems

abstract: Two-dimensional quadratic algebras are generalizations of Lie algebras that include the symmetry algebras of 2nd order superintegrable systems in 2 dimensions as special cases. The superintegrable systems are exactly solvable physical systems in classical and quantum mechanics. Distinct superintegrable systems and their quadratic algebras can be related by geometric contractions, induced by In\"on\"u-Wigner type Lie algebra contractions. These geometric contractions have important physical and geometric meanings, such as obtaining classical phenomena as limits of quantum phenomena as ${\hbar}\to 0$ and nonrelativistic phenomena from special relativistic as $c\to \infty$, and the derivation of the Askey scheme for obtaining all hypergeometric orthogonal polynomials as limits of Racah/Wilson polynomials. In this paper we show how to simplify the structure relations for abstract nondegenerate and degenerate quadratic algebras and their contractions. In earlier papers we have classified contractions of 2nd order superintegrable systems on constant curvature spaces and have shown that all results are derivable from free quadratic algebras contained in the enveloping algebras of the Lie algebras $e(2,{\mathbb C})$ in flat space and $o(3,{\mathbb C})$ on nonzero constant curvature spaces. The quadratic algebra contractions are induced by generalizations of In\"on\"u-Wigner contractions of these Lie algebras. As a special case we obtained the Askey scheme for hypergeometric orthogonal polynomials. Here we complete this theoretical development for 2D superintegrable systems by showing that the Darboux superintegrable systems are also characterized by free quadratic algebras contained in the symmetry algebras of these spaces and that their contractions are also induced by In\"on\"u-Wigner contractions. We present tables of the contraction results.


title: Abelian splittings of Right-Angled Artin Groups

abstract: We characterize when (and how) a Right-Angled Artin group splits nontrivially over an abelian subgroup.


title: The Search for Computational Intelligence

abstract: We define and explore in simulation several rules for the local evolution of generative rules for 1D and 2D cellular automata. Our implementation uses strategies from conceptual blending. We discuss potential applications to modelling social dynamics.


title: Shear instabilities in shallow-water magnetohydrodynamics

abstract: Within the framework of shallow-water magnetohydrodynamics, we investigate the linear instability of horizontal shear flows, influenced by an aligned magnetic field and stratification. Various classical instability results, such as H{\o}iland's growth rate bound and Howard's semi-circle theorem, are extended to this shallow-water system for quite general profiles. Two specific piecewise-constant velocity profiles, the vortex sheet and the rectangular jet, are studied analytically and asymptotically; it is found that the magnetic field and stratification (as measured by the Froude number) are generally both stabilising, but weak instabilities can be found at arbitrarily large Froude number. Numerical solutions are computed for corresponding smooth velocity profiles, the hyperbolic-tangent shear layer and the Bickley jet, for a uniform background field. A generalisation of the long-wave asymptotic analysis of Drazin & Howard (1962) is employed in order to understand the instability characteristics for both profiles. For the shear layer, the mechanism underlying the primary instability is interpreted in terms of counter-propagating Rossby waves, thereby allowing an explication of the stabilising effects of the magnetic field and stratification.


title: On a possibility to combine the order effect with sequential reproducibility for quantum measurements

abstract: In this paper we study the problem of a possibility to use quantum observables to describe a possible combination of the order effect with sequential reproducibility for quantum measurements. By the order effect we mean a dependence of probability distributions (of measurement results) on the order of measurements. We consider two types of the sequential reproducibility: adjacent reproducibility ($A-A$) and separated reproducibility($A-B-A$). The first one is reproducibility with probability 1 of a result of measurement of some observable $A$ measured twice, one $A$ measurement after the other. The second one, $A-B-A$, is reproducibility with probability 1 of a result of $A$ measurement when another quantum observable $B$ is measured between two $A$'s. Heuristically, it is clear that the second type of reproducibility is complementary to the order effect. We show that, surprisingly, for an important class of quantum observables given by positive operator valued measures (POVMs), this may not be the case. The order effect can coexist with a separated reproducibility as well as adjacent reproducibility for both observables $A$ and $B.$ However, the additional constraint in the form of separated reproducibility of the $B-A-B$ type makes this coexistence impossible. Mathematically, this paper is about the operator algebra for effects composing POVMs. The problem under consideration was motivated by attempts to apply the quantum formalism outside of physics, especially, in cognitive psychology and psychophysics. However, it is also important for foundations of quantum physics as a part of the problem about the structure of sequential quantum measurements.


title: Sparse Dueling Bandits

abstract: The dueling bandit problem is a variation of the classical multi-armed bandit in which the allowable actions are noisy comparisons between pairs of arms. This paper focuses on a new approach for finding the "best" arm according to the Borda criterion using noisy comparisons. We prove that in the absence of structural assumptions, the sample complexity of this problem is proportional to the sum of the inverse squared gaps between the Borda scores of each suboptimal arm and the best arm. We explore this dependence further and consider structural constraints on the pairwise comparison matrix (a particular form of sparsity natural to this problem) that can significantly reduce the sample complexity. This motivates a new algorithm called Successive Elimination with Comparison Sparsity (SECS) that exploits sparsity to find the Borda winner using fewer samples than standard algorithms. We also evaluate the new algorithm experimentally with synthetic and real data. The results show that the sparsity model and the new algorithm can provide significant improvements over standard approaches.


title: The Emerging Internet of Things Marketplace From an Industrial Perspective: A Survey

abstract: The Internet of Things (IoT) is a dynamic global information network consisting of internet-connected objects, such as Radio-frequency identification (RFIDs), sensors, actuators, as well as other instruments and smart appliances that are becoming an integral component of the future internet. Over the last decade, we have seen a large number of the IoT solutions developed by start-ups, small and medium enterprises, large corporations, academic research institutes (such as universities), and private and public research organisations making their way into the market. In this paper, we survey over one hundred IoT smart solutions in the marketplace and examine them closely in order to identify the technologies used, functionalities, and applications. More importantly, we identify the trends, opportunities and open challenges in the industry-based the IoT solutions. Based on the application domain, we classify and discuss these solutions under five different categories: smart wearable, smart home, smart, city, smart environment, and smart enterprise. This survey is intended to serve as a guideline and conceptual framework for future research in the IoT and to motivate and inspire further developments. It also provides a systematic exploration of existing research and suggests a number of potentially significant research directions.


title: Extremes for the inradius in the Poisson line tessellation

abstract: A Poisson line tessellation is observed within a window. With each cell of the tessellation, we associate the inradius, which is the radius of the largest ball contained in the cell. Using Poisson approximation, we compute the limit distributions of the largest and smallest order statistics for the inradii of all cells whose nuclei are contained in the window in the limit as the window is scaled to infinity. We additionally prove that the limit shape of the cells minimising the inradius is a triangle.


title: The role of self-interacting right-handed neutrinos in galactic structure

abstract: It has been shown previously that the DM in galactic halos can be explained by a self-gravitating system of massive keV fermions (`inos') in thermodynamic equilibrium, and predicted the existence of a denser quantum core of inos towards the center of galaxies. In this article we show that the inclusion of self-interactions among the inos, modeled within a relativistic mean-field-theory approach, allows the quantum core to become massive and compact enough to explain the dynamics of the S-cluster stars closest to the Milky Way's galactic center. The application of this model to other galaxies such as large elliptical harboring massive central dark objects of $\sim 10^9 M_\odot$ is also investigated. We identify these interacting inos with sterile right-handed neutrinos pertaining to minimal extensions of the Standard Model, and calculate the corresponding total cross-section $\sigma$ within an electroweak-like formalism to be compared with other observationally inferred cross-section estimates. The coincidence of an ino mass range of few tens of keV derived here only from the galactic structure, with the range obtained independently from other astrophysical and cosmological constraints, points towards an important role of the right-handed neutrinos in the cosmic structure.


title: Hybrid Radio/Free-Space Optical Design for Next Generation Backhaul Systems

abstract: The deluge of date rate in today's networks imposes a cost burden on the backhaul network design. Developing cost efficient backhaul solutions becomes an exciting, yet challenging, problem. Traditional technologies for backhaul networks include either radio-frequency backhauls (RF) or optical fibers (OF). While RF is a cost-effective solution as compared to OF, it supports lower data rate requirements. Another promising backhaul solution is the free-space optics (FSO) as it offers both a high data rate and a relatively low cost. FSO, however, is sensitive to nature conditions, e.g., rain, fog, line-of-sight. This paper combines both RF and FSO advantages and proposes a hybrid RF/FSO backhaul solution. It considers the problem of minimizing the cost of the backhaul network by choosing either OF or hybrid RF/FSO backhaul links between the base-stations (BS) so as to satisfy data rate, connectivity, and reliability constraints. It shows that under a specified realistic assumption about the cost of OF and hybrid RF/FSO links, the problem is equivalent to a maximum weight clique problem, which can be solved with moderate complexity. Simulation results show that the proposed solution shows a close-to-optimal performance, especially for practical prices of the hybrid RF/FSO links.


title: Compositional Invariant Generation via Linear Recurrence Analysis

abstract: This paper presents a new method for automatically generating numerical invariants for imperative programs. Given a program, our procedure computes a binary input/output relation on program states which over-approximates the behaviour of the program. It is compositional in the sense that it operates by decomposing the program into parts, computing an abstract meaning of each part, and then composing the meanings. Our method for approximating loop behaviour is based on first approximating the meaning of the loop body, extracting recurrence relations from that approximation, and then using the closed forms to approximate the loop. Our experiments demonstrate that on verification tasks, our method is competitive with leading invariant generation and verification tools.


title: Subspace Leakage Analysis and Improved DOA Estimation with Small Sample Size

abstract: Classical methods of DOA estimation such as the MUSIC algorithm are based on estimating the signal and noise subspaces from the sample covariance matrix. For a small number of samples, such methods are exposed to performance breakdown, as the sample covariance matrix can largely deviate from the true covariance matrix. In this paper, the problem of DOA estimation performance breakdown is investigated. We consider the structure of the sample covariance matrix and the dynamics of the root-MUSIC algorithm. The performance breakdown in the threshold region is associated with the subspace leakage where some portion of the true signal subspace resides in the estimated noise subspace. In this paper, the subspace leakage is theoretically derived. We also propose a two-step method which improves the performance by modifying the sample covariance matrix such that the amount of the subspace leakage is reduced. Furthermore, we introduce a phenomenon named as root-swap which occurs in the root-MUSIC algorithm in the low sample size region and degrades the performance of the DOA estimation. A new method is then proposed to alleviate this problem. Numerical examples and simulation results are given for uncorrelated and correlated sources to illustrate the improvement achieved by the proposed methods. Moreover, the proposed algorithms are combined with the pseudo-noise resampling method to further improve the performance.


title: Regression version of the Matsumoto-Yor type characterization of the gamma and Kummer distributions

abstract: In this paper we study a Matsumoto-Yor type property for the gamma and Kummer inde- pendent variables discovered in Koudou and Vallois (2012). We prove that constancy of regressions of U = (1 + 1/(X + Y ))=(1 + 1/X) given V = X + Y and of 1/U given V , where X and Y are indepen- dent and positive random variables, characterizes the gamma and Kummer distributions. This result completes characterizations by independence of U and V obtained, under smoothness assumptions for densities, in Koudou and Vallois (2011, 2012). Since we work with differential equations for the Laplace transforms, no density assumptions are needed.


title: An evaluation framework for event detection using a morphological model of acoustic scenes

abstract: This paper introduces a model of environmental acoustic scenes which adopts a morphological approach by ab-stracting temporal structures of acoustic scenes. To demonstrate its potential, this model is employed to evaluate the performance of a large set of acoustic events detection systems. This model allows us to explicitly control key morphological aspects of the acoustic scene and isolate their impact on the performance of the system under evaluation. Thus, more information can be gained on the behavior of evaluated systems, providing guidance for further improvements. The proposed model is validated using submitted systems from the IEEE DCASE Challenge; results indicate that the proposed scheme is able to successfully build datasets useful for evaluating some aspects the performance of event detection systems, more particularly their robustness to new listening conditions and the increasing level of background sounds.


title: Higher Derivative Corrections to Charged Fluids in 2n Dimensions

abstract: We study anomalous charged fluid in $2n$-dimensions ($n\geq 2$) up to sub-leading derivative order. Only the effect of gauge anomaly is important at this order. Using the Euclidean partition function formalism, we find the constraints on different sub-leading order transport coefficients appearing in parity-even and odd sectors of the fluid. We introduce a new mechanism to count different fluid data at arbitrary derivative order. We show that only the knowledge of independent scalar-data is sufficient to find the constraints. In appendix we further extend this analysis to obtain fluid data at sub-sub-leading order (where both gauge and gravitational anomaly contribute) for parity-odd fluid.


title: Hybrid model for LTE Network-Assisted D2D communications

abstract: New Architecture to support D2D communications, where discovery is made directly between devices while communications occur with the help of the E-Node B


title: Direct probes of neutrino mass

abstract: The discovery of neutrino oscillations has shown that neutrinos, in contradiction to a prediction of the minimal standard model, have mass. Oscillations do not yield a value for the mass, but do set a lower limit of 0.02 eV on the average of the 3 known eigenmasses. Moreover, they make it possible to determine or limit all 3 masses from measurements of electron-flavor neutrinos in beta decay. The present upper limit from such measurements is 2 eV. We review the status of laboratory work toward closing the remaining window between 2 and 0.02 eV, and measuring the mass.