title: Quantum no-scale regimes in string theory

abstract: We show that in generic no-scale models in string theory, the flat, expanding cosmological evolutions found at the quantum level can be attracted to a "quantum no-scale regime", where the no-scale structure is restored asymptotically. In this regime, the quantum effective potential is dominated by the classical kinetic energies of the no-scale modulus and dilaton. We find that this natural preservation of the classical no-scale structure at the quantum level occurs when the initial conditions of the evolutions sit in a subcritical region of their space. On the contrary, supercritical initial conditions yield solutions that have no analogue at the classical level. The associated intrinsically quantum universes are sentenced to collapse and their histories last finite cosmic times. Our analysis is done at 1-loop, in perturbative heterotic string compactified on tori, with spontaneous supersymmetry breaking implemented by a stringy version of the Scherk-Schwarz mechanism.


title: A Manifesto for Future Generation Cloud Computing: Research Directions for the Next Decade

abstract: The Cloud computing paradigm has revolutionised the computer science horizon during the past decade and has enabled the emergence of computing as the fifth utility. It has captured significant attention of academia, industries, and government bodies. Now, it has emerged as the backbone of modern economy by offering subscription-based services anytime, anywhere following a pay-as-you-go model. This has instigated (1) shorter establishment times for start-ups, (2) creation of scalable global enterprise applications, (3) better cost-to-value associativity for scientific and high performance computing applications, and (4) different invocation/execution models for pervasive and ubiquitous applications. The recent technological developments and paradigms such as serverless computing, software-defined networking, Internet of Things, and processing at network edge are creating new opportunities for Cloud computing. However, they are also posing several new challenges and creating the need for new approaches and research strategies, as well as the re-evaluation of the models that were developed to address issues such as scalability, elasticity, reliability, security, sustainability, and application models. The proposed manifesto addresses them by identifying the major open challenges in Cloud computing, emerging trends, and impact areas. It then offers research directions for the next decade, thus helping in the realisation of Future Generation Cloud Computing.


title: Modularity of the metabolic gene network as a prognostic biomarker for hepatocellular carcinoma

abstract: Abnormal metabolism is an emerging hallmark of cancer. Cancer cells utilize both aerobic glycolysis and oxidative phosphorylation (OXPHOS) for energy production and biomass synthesis. Understanding the metabolic reprogramming in cancer can help design therapies to target metabolism and thereby to improve prognosis. We have previously argued that more malignant tumors are usually characterized by a more modular expression pattern of cancer-associated genes. In this work, we analyzed the expression patterns of metabolism genes in terms of modularity for 371 hepatocellular carcinoma (HCC) samples from the Cancer Genome Atlas (TCGA). We found that higher modularity significantly correlated with glycolytic phenotype, later tumor stages, higher metastatic potential, and cancer recurrence, all of which contributed to poorer overall prognosis. Among patients that recurred, we found the correlation of greater modularity with worse prognosis during early to mid-progression. Furthermore, we developed metrics to calculate individual modularity, which was shown to be predictive of cancer recurrence and patients' survival and therefore may serve as a prognostic biomarker. Our overall conclusion is that more aggressive HCC tumors, as judged by decreased host survival probability, had more modular expression patterns of metabolic genes. These results may be used to identify cancer driver genes and for drug design.


title: Appearance-and-Relation Networks for Video Classification

abstract: Spatiotemporal feature learning in videos is a fundamental problem in computer vision. This paper presents a new architecture, termed as Appearance-and-Relation Network (ARTNet), to learn video representation in an end-to-end manner. ARTNets are constructed by stacking multiple generic building blocks, called as SMART, whose goal is to simultaneously model appearance and relation from RGB input in a separate and explicit manner. Specifically, SMART blocks decouple the spatiotemporal learning module into an appearance branch for spatial modeling and a relation branch for temporal modeling. The appearance branch is implemented based on the linear combination of pixels or filter responses in each frame, while the relation branch is designed based on the multiplicative interactions between pixels or filter responses across multiple frames. We perform experiments on three action recognition benchmarks: Kinetics, UCF101, and HMDB51, demonstrating that SMART blocks obtain an evident improvement over 3D convolutions for spatiotemporal feature learning. Under the same training setting, ARTNets achieve superior performance on these three datasets to the existing state-of-the-art methods.


title: Vector potential normal form classification for completely integrable solenoidal nilpotent singularities

abstract: We introduce a sl_2-invariant family of nonlinear vector fields with a non-semisimple triple zero singularity. In this paper we are concerned with characterization and normal form classification of these vector fields. We show that the family constitutes a Lie algebra structure and each vector field from this family is solenoidal, completely integrable and rotational. All such vector fields share a common quadratic invariant. We provide a Poisson structure for the Lie algebra from which the second invariant for each vector field can be readily derived. We show that each vector field from this family can be uniquely characterized by two alternative representations, one uses a vector potential while the other uses two functionally independent Clebsch potentials. Our normal form results are designed to preserve these structures and representations. The results are implemented in Maple in order to compute vector potential and the Clebsch potential normal forms of a given vector field from this family. Some practical normal form coefficient formulas for degrees of up to four are presented.


title: Inter-layer and Intra-layer Heat Transfer in Bilayer/Monolayer Graphene van der Waals Heterostructure: Is There a Kapitza Resistance Analogous?

abstract: Van der Waals heterostructures have exhibited interesting physical properties. In this paper, heat transfer in hybrid coplanar bilayer/monolayer (BL-ML) graphene, as a model layered van der Waals heterostructure, was studied using non-equilibrium molecular dynamics (MD) simulations. Temperature profile and inter- and intra-layer heat fluxes of the BL-ML graphene indicated that, there is no fully developed thermal equilibrium between layers and the drop in average temperature profile at the step-like BL-ML interface is not attributable to the effect of Kapitza resistance. By increasing the length of the system up to 1 $\mu$m in the studied MD simulations, the thermally non-equilibrium region was reduced to a small area near the step-like interface. All MD results were compared to a continuum model and a good match was observed between the two approaches. Our results provide a useful understanding of heat transfer in nano- and micro-scale layered 2D materials and van der Waals heterostructures.


title: Role of the global water ocean on the evolution of Titan's primitive atmosphere

abstract: During the accretion of Titan, impact heating may have been sufficient to allow the global melting of water ice and the release of volatile compounds, mainly constituted of CO2, CH4 and NH3. The duration and efficiency of exchange between the primitive massive atmosphere and the global impact-induced water ocean likely play a key role in the chemical evolution of the early Titan's atmosphere. To investigate the atmospheric composition of early Titan for a wide range of global (atmosphere + ocean) composition in volatils, we first developed a gas-liquid equilibrium model of the NH3-CO2-H2O system, where the non-ideal behavior of both gas and liquid phases, and the speciation of volatiles dissolved in the aqueous phase are taken into account. We show that the relative abundance of CO2 and NH3 determine the composition of Titan's atmosphere. For CO2/NH3 < 1, CO2 is massively dissolved in the ocean. On the contrary, for CO2/NH3 > 1, CO2 is the main constituent of Titan's primitive atmosphere while the NH3 atmospheric content is dramatically decreased. We then investigate the conditions for the formation of CH4-rich clathrates hydrates at Titan's surface that could be the main reservoir of methane for the present-day atmosphere. In absence of reliable experimental data in the CH4-CO2-NH3-H2O system, the dissolution of methane in water is included using a simplified Henry's law approach. We find that if the concentration of CH4 in Titan's building block was higher than ~0.1 mol.kg-1 and CO2/NH3 < 3, a large fraction of methane may be stored in the primordial crust, which would form at temperature below ~10{\deg}C.


title: Natural Extension of Hartree-Fock through extremal $1$-fermion information: Overview and application to the lithium atom

abstract: Fermionic natural occupation numbers do not only obey Pauli's exclusion principle but are even stronger restricted by so-called generalized Pauli constraints. Whenever given natural occupation numbers lie on the boundary of the allowed region the corresponding $N$-fermion quantum state has a significantly simpler structure. We recall the recently proposed natural extension of the Hartree-Fock ansatz based on this structural simplification. This variational ansatz is tested for the lithium atom. Intriguingly, the underlying mathematical structure yields universal geometrical bounds on the correlation energy reconstructed by this ansatz.


title: Temporal Properties in Component-Based Cyber Physical Systems - Appendix

abstract: In this document, we provide supplementary material to a paper that will be published in ERTS2. It includes a more detailed description of the described requirement transformations, outlined in the paper. For this purpose, we also provide a formal description of the temporal semantics model.


title: Sparse Inverse Covariance Estimation for Chordal Structures

abstract: In this paper, we consider the Graphical Lasso (GL), a popular optimization problem for learning the sparse representations of high-dimensional datasets, which is well-known to be computationally expensive for large-scale problems. Recently, we have shown that the sparsity pattern of the optimal solution of GL is equivalent to the one obtained from simply thresholding the sample covariance matrix, for sparse graphs under different conditions. We have also derived a closed-form solution that is optimal when the thresholded sample covariance matrix has an acyclic structure. As a major generalization of the previous result, in this paper we derive a closed-form solution for the GL for graphs with chordal structures. We show that the GL and thresholding equivalence conditions can significantly be simplified and are expected to hold for high-dimensional problems if the thresholded sample covariance matrix has a chordal structure. We then show that the GL and thresholding equivalence is enough to reduce the GL to a maximum determinant matrix completion problem and drive a recursive closed-form solution for the GL when the thresholded sample covariance matrix has a chordal structure. For large-scale problems with up to 450 million variables, the proposed method can solve the GL problem in less than 2 minutes, while the state-of-the-art methods converge in more than 2 hours.


title: Multiparameter Gaussian Quantum Metrology

abstract: We investigate the ultimate precision achievable in Gaussian quantum metrology. We derive general analytical expressions for the quantum Fisher information matrix and for the measurement compatibility condition, ensuring asymptotic saturability of the quantum Cram\'er-Rao bound, for the estimation of multiple parameters encoded in multimode Gaussian states. We then apply our results to the joint estimation of a phase shift and two parameters characterizing Gaussian phase covariant noise in optical interferometry. In such a scheme, we show that two-mode displaced squeezed input probes with optimally tuned squeezing and displacement fulfil the measurement compatibility condition and enable the simultaneous estimation of all three parameters, with an advantage over individual estimation schemes that quickly rises with increasing mean energy of the probes.

categories: quant-ph cond-mat.stat-mech math-ph math.MP physics.ins-det physics.optics


title: Brain Modularity Mediates the Relation between Task Complexity and Performance

abstract: Recent work in cognitive neuroscience has focused on analyzing the brain as a network, rather than as a collection of independent regions. Prior studies taking this approach have found that individual differences in the degree of modularity of the brain network relate to performance on cognitive tasks. However, inconsistent results concerning the direction of this relationship have been obtained, with some tasks showing better performance as modularity increases and other tasks showing worse performance. A recent theoretical model (Chen & Deem, 2015) suggests that these inconsistencies may be explained on the grounds that high-modularity networks favor performance on simple tasks whereas low-modularity networks favor performance on more complex tasks. The current study tests these predictions by relating modularity from resting-state fMRI to performance on a set of simple and complex behavioral tasks. Complex and simple tasks were defined on the basis of whether they did or did not draw on executive attention. Consistent with predictions, we found a negative correlation between individuals' modularity and their performance on a composite measure combining scores from the complex tasks but a positive correlation with performance on a composite measure combining scores from the simple tasks. These results and theory presented here provide a framework for linking measures of whole brain organization from network neuroscience to cognitive processing.


title: Features of Microwave Radiation and Magnetographic Characteristics of Solar Active Region NOAA 12242 Before the X1.8 Flare on December 20, 2014

abstract: This paper continues the cycle of authors' works on the detection of precursors of large flares (M5 and higher classes) in active regions (ARs) of the Sun by their microwave radiation and magnetographic characteristics. Generalization of the detected precursors of strong flares can be used to develop methods for their prediction. This paper presents an analysis of the development of NOAA AR 12242, in which an X1.8 flare occurred on December 20, 2014. The analysis is based on regular multiazimuth and multiwavelength observations with the RATAN-600 radio telescope in the range 1.65-10 cm with intensity and circular polarization analysis and data from the Solar Dynamics Observatory (SDO). It was found that a new component appeared in the AR microwave radiation two days before the X-flare. It became dominant in the AR the day before the flare and significantly decreased after the flare. The use of multiazimuth observations from RATAN-600 and observations at 1.76 cm from the Nobeyama Radioheliograph made it possible to identify the radio source that appeared before the X-flare with the site of the closest convergence of opposite polarity fields near the neutral line in the AR. It was established that the X-flare occurred 20 h after the total gradient of the magnetic field of the entire region calculated from SDO/HMI data reached its maximum value. Analysis of the evolution of the microwave source that appeared before the X-flare in AR 12242 and comparison of its parameters with the parameters of other components of the AR microwave radiation showed that the new source can be classified as neutral line associated source (NLS), which were repeatedly detected by the RATAN-600 and other radio telescopes 1-3 days before the large flares.


title: The 2PI effective theory at next-to-leading order using the functional renormalization group

abstract: We consider a symmetric scalar theory with quartic coupling in 4-dimensions. We show that the 4 loop 2PI calculation can be done using a renormalization group method. The calculation involves one bare coupling constant which is introduced at the level of the Lagrangian and is therefore conceptually simpler than a standard 2PI calculation, which requires multiple counterterms. We explain how our method can be used to do the corresponding calculation at the 4PI level, which can not be done using any known method by introducing counterterms.


title: Power Counting and Modes in SCET

abstract: We present a formulation of soft-collinear effective theory (SCET) in the two-jet sector as a theory of decoupled sectors of QCD coupled to Wilson lines. The formulation is manifestly boost-invariant, does not require the introduction of ultrasoft modes at the hard matching scale Q, and has manifest power counting in inverse powers of Q. The spurious infrared divergences which arise in SCET when ultrasoft modes are not included in loops disappear when the overlap between the sectors is correctly subtracted, in a manner similar to the familiar zero-bin subtraction of SCET. We illustrate this approach by analyzing deep inelastic scattering in the endpoint region in SCET and comment on other applications.


title: On Gravitational Energy in Conformal Teleparallel Gravity

abstract: The paper deals with the definition of gravitational energy in conformal teleparallel gravity. The total energy is defined by means of the field equations which allow a local conservation law. Then such an expression is analyzed for a homogeneous and isotropic Universe. This model is implemented by the Friedmann-Robertson-Walker (FRW) line element. The energy of the universe in the absence of matter is identified with the dark energy, however it can be expanded for curved models defining such an energy as the difference between the total energy and the energy of the perfect fluid which is the matter field in the FRW model.


title: Plug and Play Bench: Simplifying Big Data Benchmarking Using Containers

abstract: The recent boom of big data, coupled with the challenges of its processing and storage gave rise to the development of distributed data processing and storage paradigms like MapReduce, Spark, and NoSQL databases. With the advent of cloud computing, processing and storing such massive datasets on clusters of machines is now feasible with ease. However, there are limited tools and approaches, which users can rely on to gauge and comprehend the performance of their big data applications deployed locally on clusters, or in the cloud. Researchers have started exploring this area by providing benchmarking suites suitable for big data applications. However, many of these tools are fragmented, complex to deploy and manage, and do not provide transparency with respect to the monetary cost of benchmarking an application. In this paper, we present Plug And Play Bench, an infrastructure aware abstraction built to integrate and simplify the deployment of big data benchmarking tools on clusters of machines. PAPB automates the tedious process of installing, configuring and executing common big data benchmark workloads by containerising the tools and settings based on the underlying cluster deployment framework. Our proof of concept implementation utilises HiBench as the benchmark suite, HDP as the cluster deployment framework and Azure as the cloud platform. The paper further illustrates the inclusion of cost metrics based on the underlying Microsoft Azure cloud platform.


title: Galaxy And Mass Assembly (GAMA): the G02 field, Herschel-ATLAS target selection and Data Release 3

abstract: We describe data release 3 (DR3) of the Galaxy And Mass Assembly (GAMA) survey. The GAMA survey is a spectroscopic redshift and multi-wavelength photometric survey in three equatorial regions each of 60.0 deg^2 (G09, G12, G15), and two southern regions of 55.7 deg^2 (G02) and 50.6 deg^2 (G23). DR3 consists of: the first release of data covering the G02 region and of data on H-ATLAS sources in the equatorial regions; and updates to data on sources released in DR2. DR3 includes 154809 sources with secure redshifts across four regions. A subset of the G02 region is 95.5% redshift complete to r<19.8 over an area of 19.5 deg^2, with 20086 galaxy redshifts, that overlaps substantially with the XXL survey (X-ray) and VIPERS (redshift survey). In the equatorial regions, the main survey has even higher completeness (98.5%), and spectra for about 75% of H-ATLAS filler targets were also obtained. This filler sample extends spectroscopic redshifts, for probable optical counterparts to H-ATLAS sub-mm sources, to 0.8 mag deeper (r<20.6) than the GAMA main survey. There are 25814 galaxy redshifts for H-ATLAS sources from the GAMA main or filler surveys. GAMA DR3 is available at the survey website (www.gama-survey.org/dr3/).


title: Polarized micro-Raman studies of femtosecond laser written stress-induced optical waveguides in diamond

abstract: Understanding the physical mechanisms of the refractive index modulation induced by femtosecond laser writing is crucial for tailoring the properties of the resulting optical waveguides. In this work we apply polarized Raman spectroscopy to study the origin of stress-induced waveguides in diamond, produced by femtosecond laser writing. The change in the refractive index induced by the femtosecond laser in the crystal is derived from the measured stress in the waveguides. The results help to explain the waveguide polarization sensitive guiding mechanism, as well as providing a technique for their optimization.


title: Universality of the weak pushed-to-pulled transition in systems with repulsive interactions

abstract: We consider a $d$-dimensional gas in canonical equilibrium under pairwise screened Coulomb repulsion and external confinement, and subject to a volume constraint. We show that its excess free energy displays a generic third-order singularity separating the pushed and pulled phases, irrespective of range of the pairwise interaction, dimension and details of the confining potential. The explicit expression of the excess free energy is universal and interpolates between the Coulomb (long-range) and the delta (zero-range) interaction. The order parameter of this transition - the electrostatic pressure generated by the surface excess charge - is determined by invoking a fundamental energy conservation argument.


title: Cascade Attribute Learning Network

abstract: We propose the cascade attribute learning network (CALNet), which can learn attributes in a control task separately and assemble them together. Our contribution is twofold: first we propose attribute learning in reinforcement learning (RL). Attributes used to be modeled using constraint functions or terms in the objective function, making it hard to transfer. Attribute learning, on the other hand, models these task properties as modules in the policy network. We also propose using novel cascading compensative networks in the CALNet to learn and assemble attributes. Using the CALNet, one can zero shoot an unseen task by separately learning all its attributes, and assembling the attribute modules. We have validated the capacity of our model on a wide variety of control problems with attributes in time, position, velocity and acceleration phases.


title: Competing charge density waves probed by non-linear transport and noise in the second and third Landau levels

abstract: Charge density waves (CDW) in the second and third Landau levels (LL) are investigated by both non-linear electronic transport and noise. The use of a Corbino geometry ensures that only bulk properties are probed, with no contribution from edge states. Sliding transport of CDWs is revealed by narrow band noise in re-entrant quantum Hall states R2a and R2c of the second LL as well as in pinned CDWs of the third LL. Competition between various phases - stripe, pinned CDW or fractional quantum Hall liquid - in both LL are clearly revealed by combining noise data with maps of conductivity versus magnetic field and bias voltage.


title: Femtosecond X-ray absorption spectroscopy in warm dense matter

abstract: Exploring and understanding ultrafast processes at the atomic level is a scientific challenge. Femtosecond X-ray Absorption Spectroscopy (XAS) is an essential experimental probing technic, as it can simultaneously reveal both electronic and atomic structures, and thus unravel their non-equilibrium dynamic interplay which is at the origin of most of the ultrafast mechanisms. However, despite considerable efforts, there is still no femtosecond X-ray source suitable for routine experiments. Here we show that betatron radiation from relativistic laser-plasma interaction combines ideal features for femtosecond XAS. It has been used to investigate the non-equilibrium transition of a copper sample brought at extreme conditions of temperature and pressure by a femtosecond laser pulse. We measured a rise time of the electron temperature below 100 fs. This first experiment demonstrates the great potential of the betatron source and paves the way to a new class of ultrafast experiments.


title: The Final Integrations of the Caltech Submillimeter Observatory

abstract: We present the final observations of the Caltech Submillimeter Observatory, taken toward Orion KL, prior to its decommissioning after nearly three decades of operation.


title: Semicrystalline block copolymers in rigid confining nanopores

abstract: We have investigated PLLA crystallization in lamellae-forming PS-b-PLLA confined to straight cylindrical nanopores under weak confinement (nanopore diameter D / equilibrium PS-b-PLLA period L0 larger than 4.8). Molten PS-b-PLLA predominantly forms concentric lamellae along the nanopores, but intertwined helices occur even for D/L0 = 7.3. Quenching PS-b-PLLA melts below TG(PS) results in PLLA cold crystallization strictly confined by the vitrified PS domains. Above TG(PS), PLLA crystallization is templated by the PS-b-PLLA melt domain structure in the nanopore centers, while adsorption on the nanopore walls stabilizes the outermost cylindrical PS-b-PLLA shell. In between, the nanoscopic PS-b-PLLA melt domain structure apparently ripens to reduce frustrations transmitted from the outermost immobilized PS-b-PLLA layer. The onset of PLLA crystallization catalyzes the ripening while transient ripening states are arrested by advancing PLLA crystallization. Certain helical structure motifs persist PLLA crystallization even if PS is soft. The direction of fastest PLLA crystal growth is preferentially aligned with the nanopore axes to the same degree as for PLLA homopolymer, independent of whether PS is vitreous or soft.


title: Renormalization of Dijet Operators at Order $1/Q^2$ in Soft-Collinear Effective Theory

abstract: We make progress towards resummation of power-suppressed logarithms in dijet event shapes such as thrust, which have the potential to improve high-precision fits for the value of the strong coupling constant. Using a newly developed formalism for Soft-Collinear Effective Theory (SCET), we identify and compute the anomalous dimensions of all the operators that contribute to event shapes at order $1/Q^2$. These anomalous dimensions are necessary to resum power-suppressed logarithms in dijet event shape distributions, although an additional matching step and running of observable-dependent soft functions will be necessary to complete the resummation. In contrast to standard SCET, the new formalism does not make reference to modes or $\lambda$-scaling. Since the formalism does not distinguish between collinear and ultrasoft degrees of freedom at the matching scale, fewer subleading operators are required when compared to recent similar work. We demonstrate how the overlap subtraction prescription extends to these subleading operators.


title: Lower Bounds for Symbolic Computation on Graphs: Strongly Connected Components, Liveness, Safety, and Diameter

abstract: A model of computation that is widely used in the formal analysis of reactive systems is symbolic algorithms. In this model the access to the input graph is restricted to consist of symbolic operations, which are expensive in comparison to the standard RAM operations. We give lower bounds on the number of symbolic operations for basic graph problems such as the computation of the strongly connected components and of the approximate diameter as well as for fundamental problems in model checking such as safety, liveness, and co-liveness. Our lower bounds are linear in the number of vertices of the graph, even for constant-diameter graphs. For none of these problems lower bounds on the number of symbolic operations were known before. The lower bounds show an interesting separation of these problems from the reachability problem, which can be solved with $O(D)$ symbolic operations, where $D$ is the diameter of the graph. Additionally we present an approximation algorithm for the graph diameter which requires $\tilde{O}(n \sqrt{D})$ symbolic steps to achieve a $(1+\epsilon)$-approximation for any constant $\epsilon > 0$. This compares to $O(n \cdot D)$ symbolic steps for the (naive) exact algorithm and $O(D)$ symbolic steps for a 2-approximation. Finally we also give a refined analysis of the strongly connected components algorithms of Gentilini et al., showing that it uses an optimal number of symbolic steps that is proportional to the sum of the diameters of the strongly connected components.


title: Most Complex Deterministic Union-Free Regular Languages

abstract: A regular language $L$ is union-free if it can be represented by a regular expression without the union operation. A union-free language is deterministic if it can be accepted by a deterministic one-cycle-free-path finite automaton; this is an automaton which has one final state and exactly one cycle-free path from any state to the final state. Jir\'askov\'a and Masopust proved that the state complexities of the basic operations reversal, star, product, and boolean operations in deterministic union-free languages are exactly the same as those in the class of all regular languages. To prove that the bounds are met they used five types of automata, involving eight types of transformations of the set of states of the automata. We show that for each $n\ge 3$ there exists one ternary witness of state complexity $n$ that meets the bound for reversal and product. Moreover, the restrictions of this witness to binary alphabets meet the bounds for star and boolean operations. We also show that the tight upper bounds on the state complexity of binary operations that take arguments over different alphabets are the same as those for arbitrary regular languages. Furthermore, we prove that the maximal syntactic semigroup of a union-free language has $n^n$ elements, as in the case of regular languages, and that the maximal state complexities of atoms of union-free languages are the same as those for regular languages. Finally, we prove that there exists a most complex union-free language that meets the bounds for all these complexity measures. Altogether this proves that the complexity measures above cannot distinguish union-free languages from regular languages.


title: A model of irreversible jam formation in dense traffic

abstract: We study an one-dimensional stochastic model of vehicular traffic on open segments of a single-lane road of finite size $L$. The vehicles obey a stochastic discrete-time dynamics which is a limiting case of the generalized Totally Asymmetric Simple Exclusion Process. This dynamics has been previously used by Bunzarova and Pesheva [Phys. Rev. E 95, 052105 (2017)] for an one-dimensional model of irreversible aggregation. The model was shown to have three stationary phases: a many-particle one, MP, a phase with completely filled configuration, CF, and a boundary perturbed MP+CF phase, depending on the values of the particle injection ($\alpha$), ejection ($\beta$) and hopping ($p$) probabilities. Here we extend the results for the stationary properties of the MP+CF phase, by deriving exact expressions for the local density at the first site of the chain and the probability P(1) of a completely jammed configuration. The unusual phase transition, characterized by jumps in both the bulk density and the current (in the thermodynamic limit), as $\alpha$ crosses the boundary $\alpha =p$ from the MP to the CF phase, is explained by the finite-size behavior of P(1). By using a random walk theory, we find that, when $\alpha$ approaches from below the boundary $\alpha =p$, three different regimes appear, as the size $L\rightarrow \infty$: (i) the lifetime of the gap between the rightmost clusters is of the order $O(L)$ in the MP phase; (ii) small jams, separated by gaps with lifetime $O(1)$, exist in the MP+CF phase close to the left chain boundary; and (iii) when $\beta =p$, the jams are divided by gaps with lifetime of the order $O(L^{1/2})$. These results are supported by extensive Monte Carlo calculations.


title: Convolutional Image Captioning

abstract: Image captioning is an important but challenging task, applicable to virtual assistants, editing tools, image indexing, and support of the disabled. Its challenges are due to the variability and ambiguity of possible image descriptions. In recent years significant progress has been made in image captioning, using Recurrent Neural Networks powered by long-short-term-memory (LSTM) units. Despite mitigating the vanishing gradient problem, and despite their compelling ability to memorize dependencies, LSTM units are complex and inherently sequential across time. To address this issue, recent work has shown benefits of convolutional networks for machine translation and conditional image generation. Inspired by their success, in this paper, we develop a convolutional image captioning technique. We demonstrate its efficacy on the challenging MSCOCO dataset and demonstrate performance on par with the baseline, while having a faster training time per number of parameters. We also perform a detailed analysis, providing compelling reasons in favor of convolutional language generation approaches.


title: Thermodynamic model of a solid with RKKY interaction and magnetoelastic coupling

abstract: Thermodynamic description of a model system with magnetoelastic coupling is presented. The elastic, vibrational, electronic and magnetic energy contributions are taken into account. The long-range RKKY interaction is considered together with the nearest-neighbour direct exchange. The generalized Gibbs potential and the set of equations of state are derived, from which all thermodynamic functions are self-consistently obtained. Thermodynamic properties are calculated numerically for FCC structure for arbitrary external pressure, magnetic field and temperature, and widely discussed. In particular, for some parameters of interaction potential and electron concentration corresponding to antiferromagnetic phase, the existence of negative thermal expansion coefficient is predicted.


title: The full configuration interaction quantum Monte Carlo method in the lens of inexact power iteration

abstract: In this paper, we propose a general analysis framework for inexact power iteration, which can be used to efficiently solve high dimensional eigenvalue problems arising from quantum many-body problems. Under the proposed framework, we establish the convergence theorems for several recently proposed randomized algorithms, including the full configuration interaction quantum Monte Carlo (FCIQMC) and the fast randomized iteration (FRI). The analysis is consistent with numerical experiments for physical systems such as Hubbard model and small chemical molecules. We also compare the algorithms both in convergence analysis and numerical results.


title: Observer-Side Parameter Estimation For Adaptive Control

abstract: In adaptive control, a controller is precisely designed for a certain model of the system, but that model's parameters are updated online by another mechanism called the adaptive update. This allows the controller to aim for the benefits of exact model knowledge while simultaneously remaining robust to model uncertainty. Like most nonlinear controllers, adaptive controllers are often designed and analyzed under the assumption of deterministic full state feedback. However, doing so inherently decouples the adaptive update mechanism from the probabilistic information provided by modern state observers. The simplest way to reconcile this is to let the observer produce both state estimates and model parameter estimates, so that all probabilistic information is shared within the framework of the observer. While this technique is becoming increasingly common, it is still not widely accepted due to a lack of general closed-loop stability proofs. In this thesis, we will investigate observer-side parameter estimation for adaptive control by precisely juxtaposing its mechanics against the current, widely accepted adaptive control designs. Additionally, we will propose a new technique that increases the robustness of observer-based adaptive control by following the same line of reasoning used for the popular concurrent learning method.


title: SHIP: A Scalable High-performance IPv6 Lookup Algorithm that Exploits Prefix Characteristics

abstract: Due to the emergence of new network applications, current IP lookup engines must support high-bandwidth, low lookup latency and the ongoing growth of IPv6 networks. However, existing solutions are not designed to address jointly those three requirements. This paper introduces SHIP, an IPv6 lookup algorithm that exploits prefix characteristics to build a two-level data structure designed to meet future application requirements. Using both prefix length distribution and prefix density, SHIP first clusters prefixes into groups sharing similar characteristics, then it builds a hybrid trie-tree for each prefix group. The compact and scalable data structure built can be stored in on-chip low-latency memories, and allows the traversal process to be parallelized and pipelined at each level in order to support high packet bandwidth. Evaluated on real and synthetic prefix tables holding up to 580 k IPv6 prefixes, SHIP has a logarithmic scaling factor in terms of the number of memory accesses, and a linear memory consumption scaling. Using the largest synthetic prefix table, simulations show that compared to other well-known approaches, SHIP uses at least 44% less memory per prefix, while reducing the memory latency by 61%.


title: Warped-Linear Models for Time Series Classification

abstract: This article proposes and studies warped-linear models for time series classification. The proposed models are time-warp invariant analogues of linear models. Their construction is in line with time series averaging and extensions of k-means and learning vector quantization to dynamic time warping (DTW) spaces. The main theoretical result is that warped-linear models correspond to polyhedral classifiers in Euclidean spaces. This result simplifies the analysis of time-warp invariant models by reducing to max-linear functions. We exploit this relationship and derive solutions to the label-dependency problem and the problem of learning warped-linear models. Empirical results on time series classification suggest that warped-linear functions better trade solution quality against computation time than nearest-neighbor and prototype-based methods.


title: A Study to Optimize Heterogeneous Resources for Open IoT

abstract: Recently, IoT technologies have been progressed, and many sensors and actuators are connected to networks. Previously, IoT services were developed by vertical integration style. But now Open IoT concept has attracted attentions which achieves various IoT services by integrating horizontal separated devices and services. For Open IoT era, we have proposed the Tacit Computing technology to discover the devices with necessary data for users on demand and use them dynamically. We also implemented elemental technologies of Tacit Computing. In this paper, we propose three layers optimizations to reduce operation cost and improve performance of Tacit computing service, in order to make as a continuous service of discovered devices by Tacit Computing. In optimization process, appropriate function allocation or offloading specific functions are calculated on device, network and cloud layer before full-scale operation.


title: Persistent homology machine learning for fingerprint classification

abstract: The fingerprint classification problem is to sort fingerprints into pre-determined groups, such as arch, loop, and whorl. It was asserted in the literature that minutiae points, which are commonly used for fingerprint matching, are not useful for classification. We show that, to the contrary, near state-of-the-art classification accuracy rates can be achieved when applying topological data analysis (TDA) to 3-dimensional point clouds of oriented minutiae points. We also apply TDA to fingerprint ink-roll images, which yields a lower accuracy rate but still shows promise, particularly since the only preprocessing is cropping; moreover, combining the two approaches outperforms each one individually. These methods use supervised learning applied to persistent homology and allow us to explore feature selection on barcodes, an important topic at the interface between TDA and machine learning. We test our classification algorithms on the NIST fingerprint database SD-27.


title: Quantifying the Effects of Enforcing Disentanglement on Variational Autoencoders

abstract: The notion of disentangled autoencoders was proposed as an extension to the variational autoencoder by introducing a disentanglement parameter $\beta$, controlling the learning pressure put on the possible underlying latent representations. For certain values of $\beta$ this kind of autoencoders is capable of encoding independent input generative factors in separate elements of the code, leading to a more interpretable and predictable model behaviour. In this paper we quantify the effects of the parameter $\beta$ on the model performance and disentanglement. After training multiple models with the same value of $\beta$, we establish the existence of consistent variance in one of the disentanglement measures, proposed in literature. The negative consequences of the disentanglement to the autoencoder's discriminative ability are also asserted while varying the amount of examples available during training.


title: An Exploration of Word Embedding Initialization in Deep-Learning Tasks

abstract: Word embeddings are the interface between the world of discrete units of text processing and the continuous, differentiable world of neural networks. In this work, we examine various random and pretrained initialization methods for embeddings used in deep networks and their effect on the performance on four NLP tasks with both recurrent and convolutional architectures. We confirm that pretrained embeddings are a little better than random initialization, especially considering the speed of learning. On the other hand, we do not see any significant difference between various methods of random initialization, as long as the variance is kept reasonably low. High-variance initialization prevents the network to use the space of embeddings and forces it to use other free parameters to accomplish the task. We support this hypothesis by observing the performance in learning lexical relations and by the fact that the network can learn to perform reasonably in its task even with fixed random embeddings.


title: Hierarchical Bayesian modeling of fluid-induced seismicity

abstract: In this study, we present a Bayesian hierarchical framework to model fluid-induced seismicity. The framework is based on a non-homogeneous Poisson process (NHPP) with a fluid-induced seismicity rate proportional to the rate of injected fluid. The fluid-induced seismicity rate model depends upon a set of physically meaningful parameters, and has been validated for six fluid-induced case studies. In line with the vision of hierarchical Bayesian modeling, the rate parameters are considered as random variables. We develop both the Bayesian inference and updating rules, which are used to develop a probabilistic forecasting model. We tested the Basel 2006 fluid-induced seismic case study to prove that the hierarchical Bayesian model offers a suitable framework to coherently encode both epistemic uncertainty and aleatory variability. Moreover, it provides a robust and consistent short-term seismic forecasting model suitable for online risk quantification and mitigation.


title: SDSS-IV MANGA: Spatially Resolved Star Formation Main Sequence and LI(N)ER Sequence

abstract: We present our study on the spatially resolved H_alpha and M_star relation for 536 star-forming and 424 quiescent galaxies taken from the MaNGA survey. We show that the star formation rate surface density (Sigma_SFR), derived based on the H_alpha emissions, is strongly correlated with the M_star surface density (Sigma_star) on kpc scales for star- forming galaxies and can be directly connected to the global star-forming sequence. This suggests that the global main sequence may be a consequence of a more fundamental relation on small scales. On the other hand, our result suggests that about 20% of quiescent galaxies in our sample still have star formation activities in the outer region with lower SSFR than typical star-forming galaxies. Meanwhile, we also find a tight correlation between Sigma_H_alpha and Sigma_star for LI(N)ER regions, named the resolved "LI(N)ER" sequence, in quiescent galaxies, which is consistent with the scenario that LI(N)ER emissions are primarily powered by the hot, evolved stars as suggested in the literature.


title: JADE: Joint Autoencoders for Dis-Entanglement

abstract: The problem of feature disentanglement has been explored in the literature, for the purpose of image and video processing and text analysis. State-of-the-art methods for disentangling feature representations rely on the presence of many labeled samples. In this work, we present a novel method for disentangling factors of variation in data-scarce regimes. Specifically, we explore the application of feature disentangling for the problem of supervised classification in a setting where few labeled samples exist, and there are no unlabeled samples for use in unsupervised training. Instead, a similar datasets exists which shares at least one direction of variation with the sample-constrained datasets. We train our model end-to-end using the framework of variational autoencoders and are able to experimentally demonstrate that using an auxiliary dataset with similar variation factors contribute positively to classification performance, yielding competitive results with the state-of-the-art in unsupervised learning.


title: Evolution features of giant sources with linear and break steep radio spectra

abstract: In the framework of the cosmological model LambdaCDM the features of properties of giant radio sources with steep low-frequency spectra of linear (S) and break (C+) types are examined. Our estimates of characteristic age of galaxies and quasars with steep spectrum from the UTR-2 catalogue have values 10E7-10E8 years. We consider that steep radio spectra may be formed at the transient injection by synchrotron losses of relativistic electrons. To further examination of evolution features of giant sources with steep spectra we consider ratio of emission of radio lobes and accretion disk (and disk crown) versus velocity of jet propagation and characteristic age of these objects. Analysis of obtained relations testifies to periodical activity of giant low-frequency steep spectrum radio sources.


title: Disentangling Dynamics and Content for Control and Planning

abstract: In this paper, We study the problem of learning a controllable representation for high-dimensional observations of dynamical systems. Specifically, we consider a situation where there are multiple sets of observations of dynamical systems with identical underlying dynamics. Only one of these sets has information about the effect of actions on the observation and the rest are just some random observations of the system. Our goal is to utilize the information in that one set and find a representation for the other sets that can be used for planning and ling-term prediction.


title: 4, 8, 32, 64 bit Substitution Box generation using Irreducible or Reducible Polynomials over Galois Field GF(p^q) for Smart Applications

abstract: Substitution Box or S-Box had been generated using 4-bit Boolean Functions (BFs) for Encryption and Decryption Algorithm of Lucifer and Data Encryption Standard (DES) in late sixties and late seventies respectively. The S-box of Advance Encryption Standard have also been generated using Irreducible Polynomials over Galois field GF(2^8) adding an additive constant in early twenty first century. In this paper Substitution Boxes have been generated from Irreducible or Reducible Polynomials over Galois field GF(p^q). Binary Galois fields have been used to generate Substitution Boxes. Since the Galois Field Number or the Number generated from coefficients of a polynomial over a particular Binary Galois field (2q) is similar to log 2 q+1 bit BFs. So generation of log 2 q+1 bit S-boxes is Possible. Now if p = prime or non-prime number then generation of S-Boxes is possible using Galois field GF (p^q). where, q = p-1.


title: Realization of a Type-II Nodal-Line Semimetal in Mg$_3$Bi$_2$

abstract: Nodal-line semimetals (NLSs) represent a new type of topological semimetallic beyond Weyl and Dirac semimetals in the sense that they host closed loops or open curves of band degeneracies in the Brillouin zone. Parallel to the classification of type-I and type-II Weyl semimetals, there are two types of NLSs. The conventional NLS phase, in which the two bands forming the nodal line have opposite signs for their slopes along any direction perpendicular to the nodal line, has been proposed and realized in many compounds, whereas the exotic type-II NLS is very rare. Our first-principles calculations show that Mg$_3$Bi$_2$ is a material candidate that hosts a single type-II nodal loop around $\Gamma$. The band crossing is close to the Fermi level and the two crossing bands have the same sign in their slopes along the radial direction of the loop, indicating the type-II nature of the nodal line. Spin-orbit coupling generates only a small energy gap ($\sim$35 meV) at the nodal points and does not negate the band dispersion of Mg$_3$Bi$_2$ that yields the type-II nodal line. Based on this prediction we have synthesized Mg$_3$Bi$_2$ single crystals and confirmed the presence of the type-II nodal lines in the material. Our angle-resolved photoemission spectroscopy (ARPES) measurements agree well with our first-principles results and thus establish Mg$_3$Bi$_2$ as an ideal materials platform for studying the exotic properties of type-II nodal line semimetals.


title: Cost-Effective Active Learning for Melanoma Segmentation

abstract: We propose a novel Active Learning framework capable to train effectively a convolutional neural network for semantic segmentation of medical imaging, with a limited amount of training labeled data. Our contribution is a practical Cost-Effective Active Learning approach using dropout at test time as Monte Carlo sampling to model the pixel-wise uncertainty and to analyze the image information to improve the training performance. The source code of this project is available at https://marc-gorriz.github.io/CEAL-Medical-Image-Segmentation/ .


title: Coherence of a dynamically decoupled quantum-dot hole spin

abstract: A heavy hole confined to an InGaAs quantum dot promises the union of a stable spin and optical coherence to form a near perfect, high-bandwidth spin-photon interface. Despite theoretical predictions and encouraging preliminary measurements, the dynamic processes determining the coherence of the hole spin are yet to be understood. Here, we establish the regimes that allow for a highly coherent hole spin in these systems, recovering a crossover from hyperfine to electrical-noise dominated decoherence with a few-Tesla external magnetic field. Dynamical decoupling allows us to reach the longest ground-state coherence time, T2, of 4.4 $\mu$s, observed in this system. The improvement of coherence we measure is quantitatively supported by an independent analysis of the local electrical environment.


title: Local unitary periods and relative discrete series

abstract: Let $F$ be a $p$-adic field ($p\neq 2$), let $E$ be a quadratic Galois extension of $F$, and let $n \geq 2$. We construct representations in the discrete spectrum of the $p$-adic symmetric space $H \backslash G$, where $G = \mathbf{GL}_{2n}(E)$ and $H = \mathbf{U}_{E/F}(F)$ is a quasi-split unitary group over $F$.


title: Interaction-Free Ghost-Imaging of Structured Objects

abstract: Quantum - or classically correlated - light can be employed in various ways to improve resolution and measurement sensitivity. In an "interaction-free" measurement, a single photon can be used to reveal the presence of an object placed within one arm of an interferometer without being absorbed by it. This method has previously been applied to imaging. With a technique known as "ghost imaging", entangled photon pairs are used for detecting an opaque object with significantly improved signal-to-noise ratio while preventing over-illumination. Here, we integrate these two methods to obtain a new imaging technique which we term "interaction-free ghost-imaging" that possesses the benefits of both techniques. While maintaining the image quality of conventional ghost-imaging, this new technique is also sensitive to phase and polarisation changes in the photons introduced by a structured object. Furthermore, thanks to the "interaction-free" nature of this new technique, it is possible to reduce the number of photons required to produce a clear image of the object (which could be otherwise damaged by the photons) making this technique superior for probing light-sensitive materials and biological tissues.


title: SYGMA: Stellar Yields for Galactic Modeling Applications

abstract: The stellar yields for galactic modeling applications (SYGMA) code is an open-source module that models the chemical ejecta and feedback of simple stellar populations (SSPs). It is intended for use in hydrodynamical simulations and semi-analytic models of galactic chemical evolution. The module includes the enrichment from asymptotic giant branch (AGB) stars, massive stars, SNIa and neutron-star mergers. An extensive and extendable stellar yields library includes the NuGrid yields with all elements and many isotopes up to Bi. Stellar feedback from mechanic and frequency-dependent radiative luminosities are computed based on NuGrid stellar models and their synthetic spectra. The module further allows for customizable initial-mass functions and supernova Ia (SNIa) delay-time distributions to calculate time-dependent ejecta based on stellar yield input. A variety of r-process sites can be included. A comparison of SSP ejecta based on NuGrid yields with those from Portinari et al. (1998) and Marigo (2001) reveals up to a factor of 3.5 and 4.8 less C and N enrichment from AGB stars at low metallicity, a result we attribute to NuGrid's modeling of hot-bottom burning. Different core-collapse supernova explosion and fallback prescriptions may lead to substantial variations for the accumulated ejecta of C, O and Si in the first $10^7\, \mathrm{yr}$ at $Z=0.001$. An online interface of the open-source SYGMA module enables interactive simulations, analysis and data extraction of the evolution of all species formed by the evolution of simple stellar populations.


title: Echo State Transfer Learning for Data Correlation Aware Resource Allocation in Wireless Virtual Reality

abstract: In this paper, the problem of data correlation-aware resource management is studied for a network of wireless virtual reality (VR) users communicating over cloud-based small cell networks (SCNs). In the studied model, small base stations (SBSs) with limited computational resources act as VR control centers that collect the tracking information from VR users over the cellular uplink and send them to the VR users over the downlink. In such a setting, VR users may send or request correlated or similar data (panoramic images and tracking data). This potential spatial data correlation can be factored into the resource allocation problem to reduce the traffic load in both uplink and downlink. This VR resource allocation problem is formulated as a noncooperative game that allows jointly optimizing the computational and spectrum resources, while being cognizant of the data correlation. To solve this game, a transfer learning algorithm based on the machine learning framework of echo state networks (ESNs) is proposed. Unlike conventional reinforcement learning algorithms that must be executed each time the environment changes, the proposed algorithm can intelligently transfer information on the learned utility, across time, to rapidly adapt to environmental dynamics due to factors such as changes in the users' content or data correlation. Simulation results show that the proposed algorithm achieves up to 16.7% and 18.2% gains in terms of delay compared to the Q-learning with data correlation and Q-learning without data correlation. The results also show that the proposed algorithm has a faster convergence time than Q-learning and can guarantee low delays.


title: Neural Ranking Models with Multiple Document Fields

abstract: Deep neural networks have recently shown promise in the ad-hoc retrieval task. However, such models have often been based on one field of the document, for example considering document title only or document body only. Since in practice documents typically have multiple fields, and given that non-neural ranking models such as BM25F have been developed to take advantage of document structure, this paper investigates how neural models can deal with multiple document fields. We introduce a model that can consume short text fields such as document title and long text fields such as document body. It can also handle multi-instance fields with variable number of instances, for example where each document has zero or more instances of incoming anchor text. Since fields vary in coverage and quality, we introduce a masking method to handle missing field instances, as well as a field-level dropout method to avoid relying too much on any one field. As in the studies of non-neural field weighting, we find it is better for the ranker to score the whole document jointly, rather than generate a per-field score and aggregate. We find that different document fields may match different aspects of the query and therefore benefit from comparing with separate representations of the query text. The combination of techniques introduced here leads to a neural ranker that can take advantage of full document structure, including multiple instance and missing instance data, of variable length. The techniques significantly enhance the performance of the ranker, and also outperform a learning to rank baseline with hand-crafted features.


title: Real-Time Capable Micro-Doppler Signature Decomposition of Walking Human Limbs

abstract: Unique micro-Doppler signature ($\boldsymbol{\mu}$-D) of a human body motion can be analyzed as the superposition of different body parts $\boldsymbol{\mu}$-D signatures. Extraction of human limbs $\boldsymbol{\mu}$-D signatures in real-time can be used to detect, classify and track human motion especially for safety application. In this paper, two methods are combined to simulate $\boldsymbol{\mu}$-D signatures of a walking human. Furthermore, a novel limbs $\mu$-D signature time independent decomposition feasibility study is presented based on features as $\mu$-D signatures and range profiles also known as micro-Range ($\mu$-R). Walking human body parts can be divided into four classes (base, arms, legs, feet) and a decision tree classifier is used. Validation is done and the classifier is able to decompose $\mu$-D signatures of limbs from a walking human signature on real-time basis.


title: Selling to a No-Regret Buyer

abstract: We consider the problem of a single seller repeatedly selling a single item to a single buyer (specifically, the buyer has a value drawn fresh from known distribution $D$ in every round). Prior work assumes that the buyer is fully rational and will perfectly reason about how their bids today affect the seller's decisions tomorrow. In this work we initiate a different direction: the buyer simply runs a no-regret learning algorithm over possible bids. We provide a fairly complete characterization of optimal auctions for the seller in this domain. Specifically: - If the buyer bids according to EXP3 (or any "mean-based" learning algorithm), then the seller can extract expected revenue arbitrarily close to the expected welfare. This auction is independent of the buyer's valuation $D$, but somewhat unnatural as it is sometimes in the buyer's interest to overbid. - There exists a learning algorithm $\mathcal{A}$ such that if the buyer bids according to $\mathcal{A}$ then the optimal strategy for the seller is simply to post the Myerson reserve for $D$ every round. - If the buyer bids according to EXP3 (or any "mean-based" learning algorithm), but the seller is restricted to "natural" auction formats where overbidding is dominated (e.g. Generalized First-Price or Generalized Second-Price), then the optimal strategy for the seller is a pay-your-bid format with decreasing reserves over time. Moreover, the seller's optimal achievable revenue is characterized by a linear program, and can be unboundedly better than the best truthful auction yet simultaneously unboundedly worse than the expected welfare.


title: Micro-Doppler Based Human-Robot Classification Using Ensemble and Deep Learning Approaches

abstract: Radar sensors can be used for analyzing the induced frequency shifts due to micro-motions in both range and velocity dimensions identified as micro-Doppler ($\boldsymbol{\mu}$-D) and micro-Range ($\boldsymbol{\mu}$-R), respectively. Different moving targets will have unique $\boldsymbol{\mu}$-D and $\boldsymbol{\mu}$-R signatures that can be used for target classification. Such classification can be used in numerous fields, such as gait recognition, safety and surveillance. In this paper, a 25 GHz FMCW Single-Input Single-Output (SISO) radar is used in industrial safety for real-time human-robot identification. Due to the real-time constraint, joint Range-Doppler (R-D) maps are directly analyzed for our classification problem. Furthermore, a comparison between the conventional classical learning approaches with handcrafted extracted features, ensemble classifiers and deep learning approaches is presented. For ensemble classifiers, restructured range and velocity profiles are passed directly to ensemble trees, such as gradient boosting and random forest without feature extraction. Finally, a Deep Convolutional Neural Network (DCNN) is used and raw R-D images are directly fed into the constructed network. DCNN shows a superior performance of 99\% accuracy in identifying humans from robots on a single R-D map.


title: Stability of depth functions of cover ideals of balanced hypergraphs

abstract: We prove that the depth functions of cover ideals of balanced hyper- gragh have the non-increasing property. Furthermore, we also give a bound for the index of depth stability of these ideals.


title: Distance Metrics for Measuring Joint Dependence with Application to Causal Inference

abstract: Many statistical applications require the quantification of joint dependence among more than two random vectors. In this work, we generalize the notion of distance covariance to quantify joint dependence among d >= 2 random vectors. We introduce the high order distance covariance to measure the so-called Lancaster interaction dependence. The joint distance covariance is then defined as a linear combination of pairwise distance covariances and their higher order counterparts which together completely characterize mutual independence. We further introduce some related concepts including the distance cumulant, distance characteristic function, and rank-based distance covariance. Empirical estimators are constructed based on certain Euclidean distances between sample elements. We study the large sample properties of the estimators and propose a bootstrap procedure to approximate their sampling distributions. The asymptotic validity of the bootstrap procedure is justified under both the null and alternative hypotheses. The new metrics are employed to perform model selection in causal inference, which is based on the joint independence testing of the residuals from the fitted structural equation models. The effectiveness of the method is illustrated via both simulated and real datasets.


title: Nonequilibrium entropic bounds for Darwinian replicators

abstract: Life evolved on our planet by means of a combination of Darwinian selection and innovations leading to higher levels of complexity. The emergence and selection of replicating entities is a central problem in prebiotic evolution. Theoretical models have shown how populations of different types of replicating entities exclude or coexist with other classes of replicators. Models are typically kinetic, based on standard replicator equations. On the other hand, the presence of thermodynamical constrains for these systems remain an open question. This is largely due to the lack of a general theory of out of statistical methods for systems far from equilibrium. Nonetheless, a first approach to this problem has been put forward in a series of novel developements in non-equilibrium physics, under the rubric of the extended second law of thermodynamics. The work presented here is twofold: firstly, we review this theoretical framework and provide a brief description of the three fundamental replicator types in prebiotic evolution: parabolic, malthusian and hyperbolic. Finally, we employ these previously mentioned techinques to explore how replicators are constrained by thermodynamics.


title: Towards Accurate Deceptive Opinion Spam Detection based on Word Order-preserving CNN

abstract: Nowadays, deep learning has been widely used. In natural language learning, the analysis of complex semantics has been achieved because of its high degree of flexibility. The deceptive opinions detection is an important application area in deep learning model, and related mechanisms have been given attention and researched. On-line opinions are quite short, varied types and content. In order to effectively identify deceptive opinions, we need to comprehensively study the characteristics of deceptive opinions, and explore novel characteristics besides the textual semantics and emotional polarity that have been widely used in text analysis. The detection mechanism based on deep learning has better self-adaptability and can effectively identify all kinds of deceptive opinions. In this paper, we optimize the convolution neural network model by embedding the word order characteristics in its convolution layer and pooling layer, which makes convolution neural network more suitable for various text classification and deceptive opinions detection. The TensorFlow-based experiments demonstrate that the detection mechanism proposed in this paper achieve more accurate deceptive opinion detection results.


title: Hill-type formula for Hamiltonian system with Lagrangian boundary conditions

abstract: In this paper, we build up Hill-type formula for linear Hamiltonian systems with Lagrangian boundary conditions, which include standard Neumann, Dirichlet boundary conditions. Such a kind of boundary conditions comes from the brake symmetry periodic orbits in $n$-body problem naturally. The Hill-type formula connects the infinite determinant of the Hessian of the action functional with the determinant of matrices which depend on the monodromy matrix and boundary conditions. Consequently, we derive the Krein-type trace formula and give nontrivial estimation for the eigenvalue problem. Combined with the Maslov-type index theory, we give some new stability criteria for the brake symmetry periodic solutions of Hamiltonian systems. As an application, we study the linear stability of elliptic relative equilibria in planar $3$-body problem.


title: A symmetric monoidal and equivariant Segal infinite loop space machine

abstract: In [MMO] (arXiv:1704.03413), we reworked and generalized equivariant infinite loop space theory, which shows how to construct $G$-spectra from $G$-spaces with suitable structure. In this paper, we construct a new variant of the equivariant Segal machine that starts from the category $\scr{F}$ of finite sets rather than from the category ${\scr{F}}_G$ of finite $G$-sets and which is equivalent to the machine studied by Shimakawa and in [MMO]. In contrast to the machine in [MMO], the new machine gives a lax symmetric monoidal functor from the symmetric monoidal category of $\scr{F}$-$G$-spaces to the symmetric monoidal category of orthogonal $G$-spectra. We relate it multiplicatively to suspension $G$-spectra and to Eilenberg-MacLane $G$-spectra via lax symmetric monoidal functors from based $G$-spaces and from abelian groups to $\scr{F}$-$G$-spaces. Even non-equivariantly, this gives an appealing new variant of the Segal machine. This new variant makes the equivariant generalization of the theory essentially formal, hence is likely to be applicable in other contexts.


title: A Formal Specification Framework for Smart Grid Components

abstract: Smart grid can be considered as the next step in the evolution of power systems. It comprises of different entities and objects ranging from smart appliances, smart meters, generators, smart storages, and more. One key problem in modeling smart grid is that while currently there is a considerable focus on the practical aspects of smart grid, there are very few modeling attempts and even lesser attempts at formalization. To the best of our knowledge, among other formal methods, formal specification has previously not been applied in the domain of smart grid. In this paper, we attempt to bridge this gap by presenting a novel approach to modeling smart grid components using a formal specification approach. We use a state-based formal specification language namely Z (pronounced as `Zed') since we believe Z is particularly suited for modeling smart grid components.We demonstrate the application of Z on key smart grid components. The presented formal specification can be considered as first steps towards modeling of smart grid using a Software Engineering formalism. It also demonstrates how complex systems, such as the smart grid, can be modeled elegantly using formal specification.


title: A Further Test of Lorentz Violation from the Rest-Frame Spectral Lags of Gamma-Ray Bursts

abstract: Lorentz invariance violation (LIV) can manifest itself by an energy-dependent vacuum dispersion of light, which leads to arrival-time differences of photons with different energies originating from the same astronomical source. The spectral lags of gamma-ray bursts (GRBs) have been widely used to investigate the possible LIV effect. However, all current investigations used lags extracted in the observer frame only. In this work, we present, for the first time, an analysis of the LIV effect and its redshift dependence in the cosmological rest frame. Using a sample of 56 GRBs with known redshifts, we obtain a robust limit on LIV by fitting their rest-frame spectral lag data both using a maximization of the likelihood function and a minimum $\chi^{2}$ statistic. Our analysis indicates that there is no evidence of LIV. Additionally, we test the LIV in different redshift ranges by dividing the full sample into four redshift bins. We also find no evidence for the redshift variation of the LIV effect.


title: D numbers theory based game-theoretic framework in adversarial decision making under fuzzy environment

abstract: Adversarial decision making is a particular type of decision making problem where the gain a decision maker obtains as a result of his decisions is affected by the actions taken by others. Representation of alternatives' evaluations and methods to find the optimal alternative are two important aspects in the adversarial decision making. The aim of this study is to develop a general framework for solving the adversarial decision making issue under uncertain environment. By combining fuzzy set theory, game theory and D numbers theory (DNT), a DNT based game-theoretic framework for adversarial decision making under fuzzy environment is presented. Within the proposed framework or model, fuzzy set theory is used to model the uncertain evaluations of decision makers to alternatives, the non-exclusiveness among fuzzy evaluations are taken into consideration by using DNT, and the conflict of interests among decision makers is considered in a two-person non-constant sum game theory perspective. An illustrative application is given to demonstrate the effectiveness of the proposed model. This work, on one hand, has developed an effective framework for adversarial decision making under fuzzy environment; One the other hand, it has further improved the basis of DNT as a generalization of Dempster-Shafer theory for uncertainty reasoning.


title: Repulsive effect for the unbound high energy particles along the rotation axis in the Kerr-Taub-NUT spacetime

abstract: We have investigated the acceleration of the unbound high energy particles moving along the rotation axis in the Kerr-Taub-NUT spacetime, and then study the dependence of the repulsive effects on the NUT charge for the particles in the spacetime. Whether the repulsive effects with the NUT charge become stronger depends on the Carter constant, the position and velocity of the particles themselves. We also present numerically the changes of the observable velocity and acceleration with the NUT charge for the unbound particles in the Kerr-Taub-NUT spacetime.


title: Spine decompositions and limit theorems for a class of critical superprocesses

abstract: In this paper, we first establish a decomposition theorem for size-biased Poisson random measures. As consequences of this decomposition theorem, we get a spine decomposition theorem and a 2-spine decomposition theorem for some critical superprocesses. Then we use these spine decomposition theorems to give probabilistic proofs of the asymptotic behavior of the survival probability and Yaglom's exponential limit law for critical superprocesses.


title: A Near-optimal Algorithm for Edge Connectivity-based Hierarchical Graph Decomposition

abstract: Driven by many applications in graph analytics, the problem of computing $k$-edge connected components ($k$-ECCs) of a graph $G$ for a user-given $k$ has been extensively studied recently. In this paper, we investigate the problem of constructing the hierarchy of edge connectivity-based graph decomposition, which compactly represents the $k$-ECCs of a graph for all possible $k$ values. This is based on the fact that each $k$-ECC is entirely contained in a $(k-1)$-ECC. In contrast to the existing approaches that conduct the computation either in a bottom-up or a top-down manner, we propose a binary search-based framework which invokes a $k$-ECC computation algorithm as a black box. Let $T_{kecc}(G)$ be the time complexity of computing all $k$-ECCs of $G$ for a specific $k$ value. We prove that the time complexity of our framework is ${\cal O}\big( (\log \delta(G))\times T_{kecc}(G)\big)$, where $\delta(G)$ is the degeneracy of $G$ and equals the maximum value among the minimum vertex degrees of all subgraphs of $G$. As $\delta(G)$ is typically small for real-world graphs, this time complexity is optimal up to a logarithmic factor.


title: Host galaxy properties of mergers of stellar binary black holes and their implications for advanced LIGO gravitational wave sources

abstract: Understanding the host galaxy properties of stellar binary black hole (SBBH) mergers is important for revealing the origin of the SBBH gravitational-wave sources detected by advanced LIGO and helpful for identifying their electromagnetic counterparts. Here we present a comprehensive analysis of the host galaxy properties of SBBHs by implementing semi-analytical recipes for SBBH formation and merger into cosmological galaxy formation model. If the time delay between SBBH formation and merger ranges from $\la$\,Gyr to the Hubble time, SBBH mergers at redshift $z\la0.3$ occur preferentially in big galaxies with stellar mass $M_*\ga2\times10^{10}\msun$ and metallicities $Z$ peaking at $\sim0.6Z_\odot$. However, the host galaxy stellar mass distribution of heavy SBBH mergers ($M_{\bullet\bullet}\ga50\msun$) is bimodal with one peak at $\sim10^9\msun$ and the other peak at $\sim2\times10^{10}\msun$. The contribution fraction from host galaxies with $Z\la0.2Z_\odot$ to heavy mergers is much larger than that to less heavy mergers. If SBBHs were formed in the early universe (e.g., $z>6$), their mergers detected at $z\la0.3$ occur preferentially in even more massive galaxies with $M_*>3\times10^{10}\msun$ and in galaxies with metallicities mostly $\ga0.2Z_\odot$ and peaking at $Z\sim0.6Z_\odot$, due to later cosmic assembly and enrichment of their host galaxies. SBBH mergers at $z\la0.3$ mainly occur in spiral galaxies, but the fraction of SBBH mergers occur in elliptical galaxies can be significant if those SBBHs were formed in the early universe; and about two thirds of those mergers occur in the central galaxies of dark matter halos. We also present results on the host galaxy properties of SBBH mergers at higher redshift.


title: Multiple Instance Curriculum Learning for Weakly Supervised Object Detection

abstract: When supervising an object detector with weakly labeled data, most existing approaches are prone to trapping in the discriminative object parts, e.g., finding the face of a cat instead of the full body, due to lacking the supervision on the extent of full objects. To address this challenge, we incorporate object segmentation into the detector training, which guides the model to correctly localize the full objects. We propose the multiple instance curriculum learning (MICL) method, which injects curriculum learning (CL) into the multiple instance learning (MIL) framework. The MICL method starts by automatically picking the easy training examples, where the extent of the segmentation masks agree with detection bounding boxes. The training set is gradually expanded to include harder examples to train strong detectors that handle complex images. The proposed MICL method with segmentation in the loop outperforms the state-of-the-art weakly supervised object detectors by a substantial margin on the PASCAL VOC datasets.


title: Communication and Synchronization of Distributed Medical Models: Design, Development, and Performance Analysis

abstract: Model-based development is a widely-used method to describe complex systems that enables the rapid prototyping. Advances in the science of distributed systems has led to the development of large scale statechart models which are distributed among multiple locations. Taking medicine for example, models of best-practice guidelines during rural ambulance transport are distributed across hospital settings from a rural hospital, to an ambulance, to a central tertiary hospital. Unfortunately, these medical models require continuous and real-time communication across individual medical models in physically distributed treatment locations which provides vital assistance to the clinicians and physicians. This makes it necessary to offer methods for model-driven communication and synchronization in a distributed environment. In this paper, we describe ModelSink, a middleware to address the problem of communication and synchronization of heterogeneous distributed models. Being motivated by the synchronization requirements during emergency ambulance transport, we use medical best-practice models as a case study to illustrate the notion of distributed models. Through ModelSink, we achieve an efficient communication architecture, open-loop-safe protocol, and queuing and mapping mechanisms compliant with the semantics of statechart-based model-driven development. We evaluated the performance of ModelSink on distributed sets of medical models that we have developed to assess how ModelSink performs in various loads. Our work is intended to assist clinicians, EMT, and medical staff to prevent unintended deviations from medical best practices, and overcome connectivity and coordination challenges that exist in a distributed hospital network. Our practice suggests that there are in fact additional potential domains beyond medicine where our middleware can provide needed utility.


title: Option Pricing with Orthogonal Polynomial Expansions

abstract: We derive analytic series representations for European option prices in polynomial stochastic volatility models. This includes the Jacobi, Heston, Stein-Stein, and Hull-White models, for which we provide numerical case studies. We find that our polynomial option price series expansion performs as efficiently and accurately as the Fourier transform based method in the nested affine cases. We also derive and numerically validate series representations for option Greeks. We depict an extension of our approach to exotic options whose payoffs depend on a finite number of prices.


title: Structure of quantum corrections in ${\cal N}=1$ supersymmetric gauge theories

abstract: Some recent research of quantum corrections in ${\cal N}=1$ supersymmetric theories is briefly reviewed. The most attention is paid to the theories regularized by higher covariant derivatives. In particular, we discuss, how the NSVZ and NSVZ-like relations appear with this regularization and how one can construct the NSVZ scheme in all orders.


title: Feature Selection Facilitates Learning Mixtures of Discrete Product Distributions

abstract: Feature selection can facilitate the learning of mixtures of discrete random variables as they arise, e.g. in crowdsourcing tasks. Intuitively, not all workers are equally reliable but, if the less reliable ones could be eliminated, then learning should be more robust. By analogy with Gaussian mixture models, we seek a low-order statistical approach, and here introduce an algorithm based on the (pairwise) mutual information. This induces an order over workers that is well structured for the `one coin' model. More generally, it is justified by a goodness-of-fit measure and is validated empirically. Improvement in real data sets can be substantial.


title: The Impact of an AirBnb Host's Listing Description 'Sentiment' and Length On Occupancy Rates

abstract: There has been significant literature regarding the way product review sentiment affects brand loyalty. Intrigued by how natural language influences consumer choice, we were motivated to examine whether an AirBnb host's occupancy rate (how often their listing is booked out of the days they indicated their listing was available) can be determined by the perceived sentiment and length of their description summary. Our main goal, more generally, was to determine which features, including (but not limited to) sentiment and description length, most influence a host's occupancy rate. We define sentiment score through a natural language algorithm process, based on the AFINN dictionary. Using AirBnB data on New York City, our hypothesis is that higher sentiment scores (more positive descriptions) and longer summary length lead to higher occupancy rates. Our results show that while longer summary length may positively influence occupancy rates, more positive summary descriptions have no effect. Instead, we find that other factors such as number of reviews and number of amenities, in addition to summary length, are better indicators of occupancy rate.


title: Declarativeness: the work done by something else

abstract: Being declarative means that we do computer programming on higher levels of abstraction. This vague definition identifies declarativeness with the act of ignoring details, but it is a special case of abstraction. The unspecified part is some computational work. Automating computations and offloading mental processing are essentially the same concept, which is fundamental for both computational and mathematical thinking. This shows that declarativeness is not just a particular style, but it is the core idea of programming. Here we demonstrate this argument and examine its consequences for teaching by a systematic study of coding examples from an introductory programming course. The chosen language is Clojure, as it is proven to be accessible for novices.


title: Power-Based Real-Time Respiration Monitoring Using FMCW Radar

abstract: Non-contact vital sign detection is a required application nowadays in many fields as patient monitoring and static human detection. Within the last decade, radar has been introduced as a smart and convenient sensor for non-contact respiration monitoring. Radar sensors are considered suitable for such application for its capability to work through obstacles and in harsh environmental conditions. FMCW radar has been introduced as a powerful tool in this field for its capability of detecting both the breathing target position and his chest micro-motions induced due to breathing. Most of the presented techniques for using the radar for respiration detection is based on bandpass filtering or wavelet transforms on the required harmonics in either the range or Doppler dimension. However, both techniques affect the real-time capability of the monitoring and work on limited distances and aspect angles. A recognizable fluctuation effect is observed in the received range spectrum overtime due to respiration chest movements. The proposed technique in this paper is based on detecting and processing the power changes in real-time over different aspect angles and distances. Two radar modules working on different carrier frequency bands, bandwidths and output power levels were tested and compared.


title: A biophysical model explains the spontaneous bursting behavior in the developing retina

abstract: During early development, waves of activity propagate across the retina and play a key role in the proper wiring of the early visual system. During the stage II these waves are triggered by a transient network of neurons, called Starburst Amacrine Cells (SACs), showing a bursting activity which disappears upon further maturation. While several models have attempted to reproduce retinal waves, none of them is able to mimic the rhythmic autonomous bursting of individual SACs and reveal how these cells change their intrinsic properties during development. Here, we introduce a mathematical model, grounded on biophysics, which enables us to reproduce the bursting activity of SACs and to propose a plausible, generic and robust, mechanism that generates it. The core parameters controlling repetitive firing are fast depolarizing $V$-gated calcium channels and hyperpolarizing $V$-gated potassium channels. The quiescent phase of bursting is controlled by a slow after hyperpolarization (sAHP), mediated by calcium-dependent potassium channels. Based on a bifurcation analysis we show how biophysical parameters, regulating calcium and potassium activity, control the spontaneously occurring fast oscillatory activity followed by long refractory periods in individual SACs. We make a testable experimental prediction on the role of voltage-dependent potassium channels on the excitability properties of SACs and on the evolution of this excitability along development. We also propose an explanation on how SACs can exhibit a large variability in their bursting periods, as observed experimentally within a SACs network as well as across different species, yet based on a simple, unique, mechanism. As we discuss, these observations at the cellular level have a deep impact on the retinal waves description.


title: An Oracle Property of The Nadaraya-Watson Kernel Estimator for High Dimensional Nonparametric Regression

abstract: The celebrated Nadaraya-Watson kernel estimator is among the most studied method for nonparametric regression. A classical result is that its rate of convergence depends on the number of covariates and deteriorates quickly as the dimension grows, which underscores the "curse of dimensionality" and has limited its use in high dimensional settings. In this article, we show that when the true regression function is single or multi-index, the effects of the curse of dimensionality may be mitigated for the Nadaraya-Watson kernel estimator. Specifically, we prove that with $K$-fold cross-validation, the Nadaraya-Watson kernel estimator indexed by a positive semidefinite bandwidth matrix has an oracle property that its rate of convergence depends on the number of indices of the regression function rather than the number of covariates. Intuitively, this oracle property is a consequence of allowing the bandwidths to diverge to infinity as opposed to restricting them all to converge to zero at certain rates as done in previous theoretical studies. Our result provides a theoretical perspective for the use of kernel estimation in high dimensional nonparametric regression and other applications such as metric learning when a low rank structure is anticipated. Numerical illustrations are given through simulations and real data examples.


title: Parameter free predictions within the proxy-SU(3) model

abstract: Using a new approximate analytic parameter-free proxy-SU(3) scheme, we make predictions of shape observables for deformed nuclei, namely beta and gamma deformation variables, and compare them with empirical data and with predictions by relativistic and non-relativistic mean-field theories. Furthermore, analytic expressions are derived for B(E2) ratios within the proxy-SU(3) model, free of any free parameters, and/or scaling factors. The predicted B(E2) ratios are in good agreement with the experimental data for deformed rare earth nuclides.


title: Topological Corner States on Kagome Lattice Based Chiral Higher-Order Topological Insulator

abstract: The higher-order topological insulator (HOTI) protected by spacial symmetry has been studied in-depth on models with square lattice. Our work, based on an alternative model on the breathing Kagome lattice, revealed that the different types of corners in the lattice could actually be conditionally gapless, or always gapped. Using the Wilson loop formalism, we argue that these corner states occur when the eigenvalues of the Wannier Hamiltonian cross through a certain reference point during the conceptual "pumping" procedure. The results demonstrate the corner of the Kagome lattice based HOTI is a zero-dimensional analogue of the 1D chiral edge states on the boundary of a Chern insulator, but with a sensitive dependence on the shape of the corner. Our method of the pumping cylinder, which reveals the symmetry/gapless-ability correspondence, can be generalized into a general scheme in determining the classification of corner(hinge) states in HOTI.


title: Mathematical Model and Optimal Control of the Transmission Dynamics of Avian Spirochaetosis (TICK Fever)

abstract: Avian Spirochaetosis is an acute endemic tick-borne disease of birds, caused by Borrelia anserins, a species of Borrelia bacteria. In this paper, we present a compartmental Mathematical model of the disease for the bird population and Tick population. The model so constructed was analyzed using methods from dynamical systems theory. \tcr{The disease steady (equilibrium) state was determined and the conditions for the disease-free steady state to be stable were determined}. The analysis showed that the disease-free steady state is locally stable if $d\geq \tau_B$ and $\delta \geq \tau_T$, that is, the natural death rate of birds (d) will be greater than the per capita birth rate of birds $\tau_B$ and the death rate of tick $\delta)$ is greater than the per capita birth rate of tick $\tau_T$. This means that for the disease to be under control and eradicated within a while from its outbreak, the natural death rate of birds $d$ will be greater than the per capita birth rate of bird $\tau_B$ and the death rate of tick $\delta$ is greater than the per capita birth rate of tick $\tau_T$. It was also proved the disease-free equilibrium (DFE) and the endemic equilibrium (EE) are globally stable using Lyaponov method. Three control measures were introduced into the model. The optimality system of the three controls is characterized using optimal control theory and the existence and uniqueness of the optimal control are established. Then, the effect of the incorporation of the three controls is investigated by performing numerical simulation.


title: One form deformation of sprays

abstract: In this paper, we introduce the notion of one form deformation of sprays. The metrizability of the new spray, when the background spray is flat, is characterized. Therefore, we obtain new projectively flat metrics of constant flag curvature $1$. Moreover, these new metrics are not, generally, isometric to the Klein metric via affine transformations. New solutions for Hilbert's fourth problem are obtained and constructed. Various examples are discussed and studied.


title: Discovery of a possible symbiotic binary in the Large Magellanic Cloud

abstract: We report the discovery of a possible symbiotic star, in the Large Magellanic Cloud (LMC). The object under consideration here, designated as RP 870, was detected during the course of a comprehensive H$\alpha$ survey of the LMC by Reid & Parker (2012). The spectrum of RP 870 showed high ionization emission lines of He I, He II and [O III] and molecular absorption bands of TiO $\lambda$$\lambda$6180, 7100. The collective signatures of a hot component (high excitation/ionization lines) and of a cool component (TiO molecular bands) are seen in RP 870, from which we propose it as a symbiotic star. Since known symbiotic systems are rare in the LMC, possibly less than a dozen are known, we thought the present detection to be interesting enough to be reported.


title: Stairs Detection for Enhancing Wheelchair Capabilities Based on Radar Sensors

abstract: Powered wheelchair users encounter barriers to their mobility everyday. Entering a building with non barrier-free areas can massively impact the user mobility related activities. There are a few commercial devices and some experimental that can climb stairs using for instance adaptive wheels with joints or caterpillar drive. These systems rely on the use for sensing and control. For safe automated obstacle crossing, a robust and environment invariant detection of the surrounding is necessary. Radar may prove to be a suitable sensor for its capability to handle harsh outdoor environmental conditions. In this paper, we introduce a mirror based two dimensional Frequency-Modulated Continuous-Wave (FMCW) radar scanner for stair detection. A radar image based stair dimensioning approach is presented and tested under laboratory and realistic conditions.


title: Reorthonormalization of Chebyshev matrix product states for dynamical correlation functions

abstract: The Chebyshev expansion offers a numerically efficient and easy-implement algorithm for evaluating dynamic correlation functions using matrix product states (MPS). In this approach, each recursively generated Chebyshev vector is approximately represented by an MPS. However, the recurrence relations of Chebyshev polynomials are broken by the approximation, leading to an error which is accumulated with the increase of the order of expansion. Here we propose a reorthonormalization approach to remove this error introduced in the loss of orthogonality of the Chebyshev polynomials. Our approach, as illustrated by comparison with the exact results for the one-dimensional XY and Heisenberg models, improves significantly the accuracy in the calculation of dynamical correlation functions.


title: On estimation of the noise variance in high-dimensional linear models

abstract: We consider the problem of recovering the unknown noise variance in the linear regression model. To estimate the nuisance (a vector of regression coefficients) we use a family of spectral regularisers of the maximum likelihood estimator. The noise estimation is based on the adaptive normalisation of the squared error. We derive the upper bound for the concentration of the proposed method around the ideal estimator (the case of zero nuisance).


title: Isolated circular orders of PSL(2,Z)

abstract: We give a bijection between the isolated circular orders of the group G=PSL(2,Z) and the equivalence classes of Markov systems associated with G. As applications, we present examples of isolated circular order of G.