title: Channel-Aware Random Access in the Presence of Channel Estimation Errors

abstract: In this work, we consider the random access of nodes adapting their transmission probability based on the local channel state information (CSI) in a decentralized manner, which is called CARA. The CSI is not directly available to each node but estimated with some errors in our scenario. Thus, the impact of imperfect CSI on the performance of CARA is our main concern. Specifically, an exact stability analysis is carried out when a pair of bursty sources are competing for a common receiver and, thereby, have interdependent services. The analysis also takes into account the compound effects of the multipacket reception (MPR) capability at the receiver. The contributions in this paper are twofold: first, we obtain the exact stability region of CARA in the presence of channel estimation errors; such an assessment is necessary as the errors in channel estimation are inevitable in the practical situation. Secondly, we compare the performance of CARA to that achieved by the class of stationary scheduling policies that make decisions in a centralized manner based on the CSI feedback. It is shown that the stability region of CARA is not necessarily a subset of that of centralized schedulers as the MPR capability improves.


title: The exceptional set and the Green-Griffiths locus do not always coincide

abstract: We give a very simple criterion in order to ensure that the Green-Griffiths locus of a projective manifold is the whole manifold. Next, we use it to show that the Green-Griffiths locus of any projective manifold uniformized by a bounded symmetric domain of rank greater than one is the whole manifold. In particular, this clarifies an old example given by M. Green to S. Lang.


title: The Schur-Horn theorem for operators with finite spectrum

abstract: We characterize the set of diagonals of the unitary orbit of a self-adjoint operator with a finite spectrum. Our result extends the Schur-Horn theorem from a finite dimensional setting to an infinite dimensional Hilbert space analogous to Kadison's theorem for orthogonal projections and the second author's result for operators with three point spectrum.


title: Long range trap models on Z and quasistable processes

abstract: Let $\mathcal X=\{\mathcal X_t:\, t\geq0,\, \mathcal X_0=0\}$ be a mean zero $\beta$-stable random walk on $\mathbb{Z}$ with inhomogeneous jump rates $\{\tau_i^{-1}: i\in\mathbb{Z}\}$, with $\beta\in(1,2]$ and $\{\tau_i: i\in\mathbb{Z}\}$ a family of independent random variables with common marginal distribution in the basin of attraction of an $\alpha$-stable law, $\alpha\in(0,1)$. In this paper we derive results about the long time behavior of this process, in particular its scaling limit, given by a $\beta$-stable process time-changed by the inverse of another process, involving the local time of the $\beta$-stable process and an independent $\alpha$-stable subordinator; we call the resulting process a quasistable process. Another such result concerns aging. We obtain an (integrated) aging result for $\mathcal X$.


title: A Homological Approach to Factorization

abstract: Mott noted a one-to-one correspondence between saturated multiplicatively closed subsets of a domain D and directed convex subgroups of the group of divisibility D. With this, we construct a functor between inclusions into saturated localizations of D and projections onto partially ordered quotient groups of G(D). We use this functor to construct many cochain complexes of o-homomorphisms of po-groups. These complexes naturally lead to some fundamental structure theorems and some natural homology theory that provide insight into the factorization behavior of D.


title: Predicting Intermediate Storage Performance for Workflow Applications

abstract: Configuring a storage system to better serve an application is a challenging task complicated by a multidimensional, discrete configuration space and the high cost of space exploration (e.g., by running the application with different storage configurations). To enable selecting the best configuration in a reasonable time, we design an end-to-end performance prediction mechanism that estimates the turn-around time of an application using storage system under a given configuration. This approach focuses on a generic object-based storage system design, supports exploring the impact of optimizations targeting workflow applications (e.g., various data placement schemes) in addition to other, more traditional, configuration knobs (e.g., stripe size or replication level), and models the system operation at data-chunk and control message level. This paper presents our experience to date with designing and using this prediction mechanism. We evaluate this mechanism using micro- as well as synthetic benchmarks mimicking real workflow applications, and a real application.. A preliminary evaluation shows that we are on a good track to meet our objectives: it can scale to model a workflow application run on an entire cluster while offering an over 200x speedup factor (normalized by resource) compared to running the actual application, and can achieve, in the limited number of scenarios we study, a prediction accuracy that enables identifying the best storage system configuration.


title: Finite-time Consensus for Multi-agent Networks with Unknown Inherent Nonlinear Dynamics

abstract: This paper focuses on analyzing the finite-time convergence of a nonlinear consensus algorithm for multi-agent networks with unknown inherent nonlinear dynamics. Due to the existence of the unknown inherent nonlinear dynamics, the stability analysis and the finite-time convergence analysis of the closed-loop system under the proposed consensus algorithm are more challenging than those under the well-studied consensus algorithms for known linear systems. For this purpose, we propose a novel stability tool based on a generalized comparison lemma. With the aid of the novel stability tool, it is shown that the proposed nonlinear consensus algorithm can guarantee finite-time convergence if the directed switching interaction graph has a directed spanning tree at each time interval. Specifically, the finite-time convergence is shown by comparing the closed-loop system under the proposed consensus algorithm with some well-designed closed-loop system whose stability properties are easier to obtain. Moreover, the stability and the finite-time convergence of the closed-loop system using the proposed consensus algorithm under a (general) directed switching interaction graph can even be guaranteed by the stability and the finite-time convergence of some special well-designed nonlinear closed-loop system under some special directed switching interaction graph, where each agent has at most one neighbor whose state is either the maximum of those states that are smaller than its own state or the minimum of those states that are larger than its own state. This provides a stimulating example for the potential applications of the proposed novel stability tool in the stability analysis of linear/nonlinear closed-loop systems by making use of known results in linear/nonlinear systems. For illustration of the theoretical result, we provide a simulation example.


title: Carbon-19 in Halo EFT: Effective-range parameters from Coulomb-dissociation experiments

abstract: We study the Coulomb dissociation of the 19C nucleus in an effective field theory that uses the 18C core and the neutron as effective degrees of freedom and exploits the separation of scales in this halo system. We extract the effective-range parameters and the separation energy of the halo neutron from the experimental data taken at RIKEN by Nakamura et al. We obtain a value of (575 +/- 55(stat.) +/- 20(EFT)) keV for the one-neutron separation energy of 19C, and (7.75 +/- 0.35(stat.) +/- 0.3(EFT)) fm for the 18C-neutron scattering length. The width of the longitudinal momentum distribution predicted by EFT using this separation energy agrees well with the experimental data taken at NSCL by Bazin et al., reaffirming the dominance of the s-wave configuration of the valence neutron.


title: Compactness of powers of \omega

abstract: We characterize exactly the compactness properties of the product of \kappa\ copies of the space \omega\ with the discrete topology. The characterization involves uniform ultrafilters, infinitary languages, and the existence of nonstandard elements in elementary estensions. We also have results involving products of possibly uncountable regular cardinals.


title: An Algorithm for Precise Aperture Photometry of Critically Sampled Images

abstract: We present an algorithm for performing precise aperture photometry on critically sampled astrophysical images. The method is intended to overcome the small-aperture limitations imposed by point-sampling. Aperture fluxes are numerically integrated over the desired aperture, with sinc-interpolation used to reconstruct values between pixel centers. Direct integration over the aperture is computationally intensive, but the integrals in question are shown to be convolution integrals and can be computed ~10000x faster as products in the wave-number domain. The method works equally well for annular and elliptical apertures and could be adapted for any geometry. A sample of code is provided to demonstrate the method.


title: Design Features for the Social Web: The Architecture of Deme

abstract: We characterize the "social Web" and argue for several features that are desirable for users of socially oriented web applications. We describe the architecture of Deme, a web content management system (WCMS) and extensible framework, and show how it implements these desired features. We then compare Deme on our desiderata with other web technologies: traditional HTML, previous open source WCMSs (illustrated by Drupal), commercial Web 2.0 applications, and open-source, object-oriented web application frameworks. The analysis suggests that a WCMS can be well suited to building social websites if it makes more of the features of object-oriented programming, such as polymorphism, and class inheritance, available to non-programmers in an accessible vocabulary.


title: Elasticity in polynomial-type extensions

abstract: The elasticity of an atomic integral domain is, in some sense, a measure of how far the domain is from being a unique factorization domain (or, more properly, a half-factorial domain). We consider the relationship between the elasticity of a domain, R, and the elasticity of its polynomial ring R[x]. For example, if R has at least one atom, a sufficient condition for the polynomial ring R[x] to have elasticity 1 is that every nonconstant irreducible polynomial f in R[x] be irreducible in K[x]. We will determine the integral domains R whose polynomial rings satisfy this condition.


title: Low-power Secret-key Agreement over OFDM

abstract: Information-theoretic secret-key agreement is perhaps the most practically feasible mechanism that provides unconditional security at the physical layer to date. In this paper, we consider the problem of secret-key agreement by sharing randomness at low power over an orthogonal frequency division multiplexing (OFDM) link, in the presence of an eavesdropper. The low power assumption greatly simplifies the design of the randomness sharing scheme, even in a fading channel scenario. We assess the performance of the proposed system in terms of secrecy key rate and show that a practical approach to key sharing is obtained by using low-density parity check (LDPC) codes for information reconciliation. Numerical results confirm the merits of the proposed approach as a feasible and practical solution. Moreover, the outage formulation allows to implement secret-key agreement even when only statistical knowledge of the eavesdropper channel is available.


title: The single-electron transport in a three-ion magnetic molecule modulated by a transverse field

abstract: We study single-electron transport in a three-ion molecule with strong uniaxial anisotropy and in the presence of a transverse magnetic field. Two magnetic ions are connected to each other through a third, nonmagnetic ion. The magnetic ions are coupled to ideal metallic leads and a back gate voltage is applied to the molecule, forming a field-effect transistor. The microscopic Hamiltonian describing this system includes inter-ion hopping, on-site repulsions, and magnetic anisotropies. For a range of values of the parameters of the Hamiltonian, we obtain an energy spectrum similar to that of single-molecule magnets in the giant-spin approximation where the two states with maximum spin projection along the uniaxial anisotropy axis are well separated from other states. In addition, upon applying an external in-plane magnetic field, the energy gap between the ground and first excited states of the molecule oscillates, going to zero at certain special values of the field, in analogy to the diabolical points resulting from Berry phase interference in the giant spin model. Thus, our microscopic model provides the same phenomenological behavior expected from the giant spin model of a single-molecule magnet but with direct access to the internal structure of the molecule, thus making it more appropriate for realistic electronic transport studies. To illustrate this point, the nonlinear electronic transport in the sequential tunneling regime is evaluated for values of the field near these degeneracy points. We show that the existence of these points has a clear signature in the I-V characteristics of the molecule, most notably the modulation of excitation lines in the differential conductance.


title: Degenerations of Complex Dynamical Systems

abstract: We show that the weak limit of the maximal measures for any degenerating sequence of rational maps on the Riemann sphere must be a countable sum of atoms. For a 1-parameter family f_t of rational maps, we refine this result by showing that the measures of maximal entropy have a unique limit on the Riemann sphere as the family degenerates. The family f_t may be viewed as a single rational function on the Berkovich projective line over the completion of the field of formal Puiseux series in t, and the limiting measure on the Riemann sphere is the "residual measure" associated to the equilibrium measure on the Berkovich line. For the proof, we introduce a new technique for quantizing measures on the Berkovich projective line and demonstrate the uniqueness of solutions to a quantized version of the pullback formula for the equilibrium measure there.


title: Optimization of spin-torque switching using AC and DC pulses

abstract: We explore spin-torque induced magnetic reversal in magnetic tunnel junctions using combined AC and DC spin-current pulses. We calculate the optimal pulse times and current strengths for both AC and DC pulses as well as the optimal AC signal frequency, needed to minimize the Joule heat lost during the switching process. The results of this optimization are compared against numeric simulations. Finally we show how this optimization leads to different dynamic regimes, where switching is optimized by either a purely AC or DC spin-current, or a combination AC/DC spin-current, depending on the anisotropy energies and the spin-current polarization.


title: A Comment on Continuous Spin Representations of the Poincar\'e Group and Perturbative String Theory

abstract: We make a simple observation that the massless continuous spin representations of the Poincar\'e group are not present in perturbative string theory constructions. This represents one of the very few model-independent low-energy consequences of these models.


title: Time-dependent information transmission in a model regulatory circuit

abstract: Many biological regulatory systems process signals out of steady state and respond with a physiological delay. A simple model of regulation which respects these features shows how the ability of a delayed output to transmit information is limited: at short times by the timescale of the dynamic input, at long times by that of the dynamic output. We find that topologies of maximally informative networks correspond to commonly occurring biological circuits linked to stress response and that circuits functioning out of steady state may exploit absorbing states to transmit information optimally.


title: Optimal Discriminant Functions Based On Sampled Distribution Distance for Modulation Classification

abstract: In this letter, we derive the optimal discriminant functions for modulation classification based on the sampled distribution distance. The proposed method classifies various candidate constellations using a low complexity approach based on the distribution distance at specific testpoints along the cumulative distribution function. This method, based on the Bayesian decision criteria, asymptotically provides the minimum classification error possible given a set of testpoints. Testpoint locations are also optimized to improve classification performance. The method provides significant gains over existing approaches that also use the distribution of the signal features.


title: A theoretical framework for conducting multi-level studies of complex social systems with agent-based models and empirical data

abstract: A formal but intuitive framework is introduced to bridge the gap between data obtained from empirical studies and that generated by agent-based models. This is based on three key tenets. Firstly, a simulation can be given multiple formal descriptions corresponding to static and dynamic properties at different levels of observation. These can be easily mapped to empirically observed phenomena and data obtained from them. Secondly, an agent-based model generates a set of closed systems, and computational simulation is the means by which we sample from this set. Thirdly, properties at different levels and statistical relationships between them can be used to classify simulations as those that instantiate a more sophisticated set of constraints. These can be validated with models obtained from statistical models of empirical data (for example, structural equation or multi-level models) and hence provide more stringent criteria for validating the agent-based model itself.


title: Antiferromagnetism in hexagonal graphene structures: Rings vs dots

abstract: The mean-field Hubbard model is used to investigate the formation of the antiferromagnetic phase in hexagonal graphene rings with inner zigzag edges. The outer edge of the ring was taken to be either zigzag or armchair, and we found that both types of structures can have a larger antiferromagnetic interaction as compared with hexagonal dots. This difference could be partially ascribed to the larger number of zigzag edges per unit area in rings than in dots. Furthermore, edge states localized on the inner ring edge are found to hybridize differently than the edge states of dots, which results in important differences in the magnetism of graphene rings and dots. The largest staggered magnetization is found when the outer edge has a zigzag shape. However, narrow rings with armchair outer edge are found to have larger staggered magnetization than zigzag hexagons. The edge defects are shown to have the least effect on magnetization when the outer ring edge is armchair shaped.


title: Universal Outlier Hypothesis Testing

abstract: Outlier hypothesis testing is studied in a universal setting. Multiple sequences of observations are collected, a small subset of which are outliers. A sequence is considered an outlier if the observations in that sequence are distributed according to an ``outlier'' distribution, distinct from the ``typical'' distribution governing the observations in all the other sequences. Nothing is known about the outlier and typical distributions except that they are distinct and have full supports. The goal is to design a universal test to best discern the outlier sequence(s). It is shown that the generalized likelihood test is universally exponentially consistent under various settings. The achievable error exponent is also characterized. In the other settings, it is also shown that there cannot exist any universally exponentially consistent test.


title: The temperature dependence of quantum spin pumping generated using electron spin resonance with three-magnon splittings

abstract: On the basis of the Schwinger-Keldysh formalism, we have closely investigated the temperature dependence of quantum spin pumping by electron spin resonance. We have clarified that three-magnon splittings excite non-zero modes of magnons and characterize the temperature dependence of quantum spin pumping. Our theoretical result qualitatively agrees with the experiment by Czeschka et al. that the mixing conductance is little influenced by temperature [F. D. Czeschka et al., Phys. Rev. Lett., 107, 046601 (2011)].

categories: cond-mat.mes-hall cond-mat.quant-gas cond-mat.stat-mech cond-mat.str-el


title: Bi-Lipschitz A-equivalence of K-equivalent map germs

abstract: In this paper, two sufficient conditions are provided for given two K-equivalent map-germs to be bi-Lipschitz A-equivalent. These are Lipschitz analogues of the known results on C^r-A-equivalence $(0 \leq r \leq \infty)$ for given two K-equivalent map-germs. As a corollary of one of our results, a Lipschitz version of the well-known Fukuda-Fukuda theorem is provided.


title: Failure Data Analysis of HPC Systems

abstract: Continuous availability of HPC systems built from commodity components have become a primary concern as system size grows to thousands of processors. In this paper, we present the analysis of 8-24 months of real failure data collected from three HPC systems at the National Center for Supercomputing Applications (NCSA) during 2001-2004. The results show that the availability is 98.7-99.8% and most outages are due to software halts. On the other hand, the downtime are mostly contributed by hardware halts or scheduled maintenance. We also used failure clustering analysis to identify several correlated failures.


title: Proceedings 10th International Workshop on Formal Engineering Approaches to Software Components and Architectures

abstract: These are the proceedings of the 10th International Workshop on Formal Engineering approaches to Software Components and Architectures (FESCA). The workshop was held on March 23, 2013 in Rome (Italy) as a satellite event to the European Joint Conference on Theory and Practice of Software (ETAPS'13). The aim of the FESCA workshop is to bring together both young and senior researchers from formal methods, software engineering, and industry interested in the development and application of formal modelling approaches as well as associated analysis and reasoning techniques with practical benefits for component-based software engineering. FESCA aims to address the open question of how formal methods can be applied effectively to these new contexts and challenges. FESCA is interested in both the development and application of formal methods in component-based development and tries to cross-fertilize their research and application.


title: Electroweak Baryogenesis And The Fermi Gamma-Ray Line

abstract: Many particle physics models attempt to explain the 130 GeV gamma-ray feature that the Fermi-LAT observes in the Galactic Center. Neutralino dark matter in non-minimal supersymmetric models, such as the NMSSM, is an especially well-motivated theoretical setup which can explain the line. We explore the possibility that regions of the NMSSM consistent with the 130 GeV line can also produce the observed baryon asymmetry of the universe via electroweak baryogenesis. We find that such regions can in fact accommodate a strongly first-order electroweak phase transition (due to the singlet contribution to the effective potential), while also avoiding a light stop and producing a Standard Model-like Higgs in the observed mass range. Simultaneously, CP-violation from a complex phase in the wino-higgsino sector can account for the observed baryon asymmetry through resonant sources at the electroweak phase transition, while satisfying current constraints from dark matter, collider, and electric dipole moment (EDM) experiments. This result is possible by virtue of a relatively light pseudoscalar Higgs sector with a small degree of mixing, which yields efficient s-channel resonant neutralino annihilation consistent with indirect detection constraints, and of the moderate values of $\mu$ required to obtain a bino-like LSP consistent with the line. The wino mass is essentially a free parameter which one can tune to satisfy electroweak baryogenesis. Thus, the NMSSM framework can potentially explain the origins of both baryonic and dark matter components in the Universe. The tightness of the constraints we impose on this scenario makes it extraordinarily predictive, and conclusively testable in the near future by modest improvements in EDM and dark matter search experiments.


title: High-power mid-infrared frequency comb source based on a femtosecond Er:fiber oscillator

abstract: We report on a high-power mid-infrared frequency comb source based on a femtosecond Er:fiber oscillator with a stabilized repetition rate at 250 MHz. The mid-infrared frequency comb is produced through difference frequency generation in a periodically poled MgO-doped lithium niobate crystal. The output power is about 120 mW with a pulse duration of about 80 fs, and spectrum coverage from 2.9 to 3.6 um. The coherence properties of the produced high-power broadband mid-infrared frequency comb are maintained, which was verified by heterodyne measurements. As the first application, the spectrum of a ~200 ppm methane-air mixture in a short 20 cm glass cell at ambient atmospheric pressure and temperature was measured.


title: A Labelled Sequent Calculus for BBI: Proof Theory and Proof Search

abstract: We present a labelled sequent calculus for Boolean BI, a classical variant of O'Hearn and Pym's logic of Bunched Implication. The calculus is simple, sound, complete, and enjoys cut-elimination. We show that all the structural rules in our proof system, including those rules that manipulate labels, can be localised around applications of certain logical rules, thereby localising the handling of these rules in proof search. Based on this, we demonstrate a free variable calculus that deals with the structural rules lazily in a constraint system. A heuristic method to solve the constraints is proposed in the end, with some experimental results.


title: An Optical Watermarking Solution for Color Personal Identification Pictures

abstract: This paper presents a new approach for embedding authentication information into image on printed materials based on optical projection technique. Our experimental setup consists of two parts, one is a common camera, and the other is a LCD projector, which project a pattern on personnel's body (especially on the face). The pattern, generated by a computer, act as the illumination light source with sinusoidal distribution and it is also the watermark signal. For a color image, the watermark is embedded into the blue channel. While we take pictures (256 *256 and 512*512, 567*390 pixels, respectively), an invisible mark is embedded directly into magnitude oefficients of Discrete Fourier transform (DFT) at exposure moment. Both optical an d digital correlation is suitable for detection of this type of watermark. The decoded watermark is a set of concentric circles or sectors in the DFT domain (middle frequencies region) which is robust to photographing, printing and scanning. The unlawful people modify or replace the original photograph, and make fake passport (drivers' license and so on). Experiments show, it is difficult to forge certificates in which a watermark was embedded by our projector-camera combination based on analogue watermark method rather than classical digital method.


title: A Distributed Approach to Interference Alignment in OFDM-based Two-tiered Networks

abstract: In this contribution, we consider a two-tiered network and focus on the coexistence between the two tiers at physical layer. We target our efforts on a long term evolution advanced (LTE-A) orthogonal frequency division multiple access (OFDMA) macro-cell sharing the spectrum with a randomly deployed second tier of small-cells. In such networks, high levels of co-channel interference between the macro and small base stations (MBS/SBS) may largely limit the potential spectral efficiency gains provided by the frequency reuse 1. To address this issue, we propose a novel cognitive interference alignment based scheme to protect the macro-cell from the cross-tier interference, while mitigating the co-tier interference in the second tier. Remarkably, only local channel state information (CSI) and autonomous operations are required in the second tier, resulting in a completely self-organizing approach for the SBSs. The optimal precoder that maximizes the spectral efficiency of the link between each SBS and its served user equipment is found by means of a distributed one-shot strategy. Numerical findings reveal non-negligible spectral efficiency enhancements with respect to traditional time division multiple access approaches at any signal to noise (SNR) regime. Additionally, the proposed technique exhibits significant robustness to channel estimation errors, achieving remarkable results for the imperfect CSI case and yielding consistent performance enhancements to the network.


title: Cognitive Orthogonal Precoder for Two-tiered Networks Deployment

abstract: In this work, the problem of cross-tier interference in a two-tiered (macro-cell and cognitive small-cells) network, under the complete spectrum sharing paradigm, is studied. A new orthogonal precoder transmit scheme for the small base stations, called multi-user Vandermonde-subspace frequency division multiplexing (MU-VFDM), is proposed. MU-VFDM allows several cognitive small base stations to coexist with legacy macro-cell receivers, by nulling the small- to macro-cell cross-tier interference, without any cooperation between the two tiers. This cleverly designed cascaded precoder structure, not only cancels the cross-tier interference, but avoids the co-tier interference for the small-cell network. The achievable sum-rate of the small-cell network, satisfying the interference cancelation requirements, is evaluated for perfect and imperfect channel state information at the transmitter. Simulation results for the cascaded MU-VFDM precoder show a comparable performance to that of state-of-the-art dirty paper coding technique, for the case of a dense cellular layout. Finally, a comparison between MU-VFDM and a standard complete spectrum separation strategy is proposed. Promising gains in terms of achievable sum-rate are shown for the two-tiered network w.r.t. the traditional bandwidth management approach.


title: Anomalous metallic state above the upper critical field of the conventional three-dimensional superconductor AgSnSe2 with strong intrinsic disorder

abstract: We report superconducting properties of AgSnSe2 which is a conventional type-II superconductor in the very dirty limit due to intrinsically strong electron scatterings. While this material is an isotropic three-dimensional (3D) superconductor with a not-so-short coherence length where strong vortex fluctuations are NOT expected, we found that the magnetic-field-induced resistive transition at fixed temperatures becomes increasingly broader toward zero temperature and, surprisingly, that this broadened transition is taking place largely ABOVE the upper critical field determined thermodynamically from the specific heat. This result points to the existence of an anomalous metallic state possibly caused by quantum phase fluctuations in a strongly-disordered 3D superconductor.


title: Layered Interference Networks with Delayed CSI: DoF Scaling with Distributed Transmitters

abstract: The layered interference network is investigated with delayed channel state information (CSI) at all nodes. It is demonstrated how multi-hopping can be utilized to increase the achievable degrees of freedom (DoF). In particular, a multi-phase transmission scheme is proposed for the $K$-user $2K$-hop interference network in order to systematically exploit the layered structure of the network and delayed CSI to achieve DoF values that scale with $K$. This result provides the first example of a network with distributed transmitters and delayed CSI whose DoF scales with the number of users.


title: Numerical formulation of three-dimensional scattering problems for optical structures

abstract: This paper describes a numerical formulation for calculating wave propagation with high precision in a three-dimensional system. Yee's discretization scheme is used to formulate a frequency domain method that is compatible with the finite-difference time-domain (FDTD) procedure. When the S-matrix satisfies a unitarity (power flow conservation) condition, the method enables arbitrary S-matrix elements to be obtained within a numerical error of less than $10^{-8}$ ($2 \times 10^{-13}$) for double precision format.


title: A possible NN*(1440) quasi-molecular state

abstract: Inspired by the recent observation of a narrow resonance-like structure around 2360 MeV in the p+n to d + \pi 0 + \pi 0 cross section, the possibility of forming a NN*(1440) quasi-molecular state is investigated by using a meson exchange model in which the \pi, \sigma, \rho\ and \omega\ exchanges in t- and u-channels are considered. By adopting the coupling constants extracted from the relevant NN scattering and N*(1440) decay data, it is found that a deuteron-like quasi-molecular state of NN*(1440) with a binding energy in the range of from 2 to 67MeV can be formed. Therefore, it is speculated that the observed structure around 2360 MeV might be or may have a large component of the NN*(1440) quasi-molecular state.


title: Non-metallic, non-Fermi-liquid resistivity of FeCrAs from 0 to 17 GPa

abstract: An unusual, non-metallic resistivity of the 111 iron-pnictide compound FeCrAs is shown to be relatively unchanged under pressures of up to 17 GPa. Combined with our previous finding that this non-metallic behaviour persists from at least 80 mK to 800 K, this shows that the non-metallic phase is exceptionally robust. Antiferromagnetic order, with a Neel temperature T_N ~ 125 K at ambient pressure, is suppressed at a rate of 7.1 +/- 0.1 K/GPa, falling to below 50 K at 10 GPa. We conclude that formation of a spin-density wave gap at T_N does not play an important role in the non-metallic resistivity of FeCrAs at low temperatures.


title: Coherence properties of nanofiber-trapped cesium atoms

abstract: We experimentally study the ground state coherence properties of cesium atoms in a nanofiber-based two-color dipole trap, localized 200 nm away from the fiber surface. Using microwave radiation to coherently drive the clock transition, we record Ramsey fringes as well as spin echo signals and infer a reversible dephasing time $T_2^\ast=0.6$ ms and an irreversible dephasing time $T_2^\prime=3.7$ ms. By theoretically modelling the signals, we find that, for our experimental parameters, $T_2^\ast$ and $T_2^\prime$ are limited by the finite initial temperature of the atomic ensemble and the heating rate, respectively. Our results represent a fundamental step towards establishing nanofiber-based traps for cold atoms as a building block in an optical fiber quantum network.


title: Opportunistic Wireless Energy Harvesting in Cognitive Radio Networks

abstract: Wireless networks can be self-sustaining by harvesting energy from ambient radio-frequency (RF) signals. Recently, researchers have made progress on designing efficient circuits and devices for RF energy harvesting suitable for low-power wireless applications. Motivated by this and building upon the classic cognitive radio (CR) network model, this paper proposes a novel method for wireless networks coexisting where low-power mobiles in a secondary network, called secondary transmitters (STs), harvest ambient RF energy from transmissions by nearby active transmitters in a primary network, called primary transmitters (PTs), while opportunistically accessing the spectrum licensed to the primary network. We consider a stochastic-geometry model in which PTs and STs are distributed as independent homogeneous Poisson point processes (HPPPs) and communicate with their intended receivers at fixed distances. Each PT is associated with a guard zone to protect its intended receiver from ST's interference, and at the same time delivers RF energy to STs located in its harvesting zone. Based on the proposed model, we analyze the transmission probability of STs and the resulting spatial throughput of the secondary network. The optimal transmission power and density of STs are derived for maximizing the secondary network throughput under the given outage-probability constraints in the two coexisting networks, which reveal key insights to the optimal network design. Finally, we show that our analytical result can be generally applied to a non-CR setup, where distributed wireless power chargers are deployed to power coexisting wireless transmitters in a sensor network.


title: Search for narrow resonances using the dijet mass spectrum in pp collisions at sqrt(s) = 8 TeV

abstract: Results are presented of a search for the production of new particles decaying to pairs of partons (quarks, antiquarks, or gluons), in the dijet mass spectrum in proton-proton collisions at sqrt(s) = 8 TeV. The data sample corresponds to an integrated luminosity of 4.0 inverse femtobarns, collected with the CMS detector at the LHC in 2012. No significant evidence for narrow resonance production is observed. Upper limits are set at the 95% confidence level on the production cross section of hypothetical new particles decaying to quark-quark, quark-gluon, or gluon-gluon final states. These limits are then translated into lower limits on the masses of new resonances in specific scenarios of physics beyond the standard model. The limits reach up to 4.8 TeV, depending on the model, and extend previous exclusions from similar searches performed at lower collision energies. For the first time mass limits are set for the Randall-Sundrum graviton model in the dijet channel.


title: Finite Time Ruin Probabilities for Tempered Stable Insurance Risk Processes

abstract: We study the probability of ruin before time $t$ for the family of tempered stable L\'evy insurance risk processes, which includes the spectrally positive inverse Gaussian processes. Numerical approximations of the ruin time distribution are derived via the Laplace transform of the asymptotic ruin time distribution, for which we have an explicit expression. These are benchmarked against simulations based on importance sampling using stable processes. Theoretical consequences of the asymptotic formulae are found to indicate some potential drawbacks to the use of the inverse Gaussian process as a risk reserve process. We offer as alternatives natural generalizations which fall within the tempered stable family of processes.


title: End to End Verification and Validation with SPIN

abstract: Over the last several years the tools used for model checking have become more efficient and usable. This has enabled users to apply model checking to industrial-scale problems, however the task of validating the implementation of the model is usually much harder. In this paper we present an approach to do end to end verification and validation of a real time system using the SPIN model checker. Taking the example of the cardiac pacemaker system proposed in the SQRL Pacemaker Formal Methods Challenge we demonstrate our framework by building a formal model for the cardiac pacemaker in SPIN, checking for desirable temporal properties of the model (expressed as LTL formulas), generating C code from the model (by refinement of PROMELA) and validating the generated implementation (using SPIN). We argue that a state of the art model checking tool like SPIN can be used to do formal specification as well as validation of the implementation. To evaluate our approach we show that our pacemaker model is expressive enough to derive consistent operating modes and that the refinement rules preserve LTL properties.


title: Kronecker product in terms of Hubbard operators and the Clebsch-Gordan decomposition of SU(2)xSU(2)

abstract: We review the properties of the Kronecker (direct, or tensor) product of square matrices $A \otimes B \otimes C \cdots$ in terms of Hubbard operators. In its simplest form, a Hubbard operator $X_n^{i,j}$ can be expressed as the $n$-square matrix which has entry 1 in position $(i,j)$ and zero in all other entries. The algebra and group properties of the observables that define a multipartite quantum system are notably straightforward in such a framework. In particular, we use the Kronecker product in Hubbard notation to get the Clebsch-Gordan decomposition of the product group $SU(2) \times SU(2)$. Finally, the $n$-dimensional irreducible representations so obtained are used to derive closed forms of the Clebsch-Gordan coefficients that rule the addition of angular momenta. Our results can be further developed in many different directions.


title: An Empirical Study of Path Feasibility Queries

abstract: In this paper we present a comparative study of path feasibility queries generated during path exploration based software engineering methods. Symbolic execution based methods are gaining importance in different aspects of software engineering e.g. proving properties about programs, test case generation, comparing different executions of programs. These methods use SMT solvers to check the satisfiability of path feasibility queries written as a formula in the supported theories. We study the performance of solving such path feasibility queries using SMT solvers for real world programs. Our path condition formulas are generated in a theory of quantifier free bit vectors with arrays (QF_ABV). We show that among the different SMT solvers, STP is better than Z3 by an order of magnitude for such kind of queries. As an application we design a new program analysis (Change Value Analysis) based on our study which exploits undefined behaviors in programs. We have implemented our analysis in LLVM and tested it with the benchmark of SIR programs. It reduces the time taken for solving path feasibility queries by 48%. The study can serve as guidance to practitioners using path feasibility queries to create scalable software engineering methods based on symbolic execution.


title: Two Beyond-Primitive Extrasolar Planetesimals

abstract: Using the Cosmic Origins Spectrograph onboard the Hubble Space Telescope, we have obtained high-resolution ultraviolet observations of GD 362 and PG 1225-079, two helium-dominated, externally-polluted white dwarfs. We determined or placed useful upper limits on the abundances of two key volatile elements, carbon and sulfur, in both stars; we also constrained the zinc abundance in PG 1225-079. In combination with previous optical data, we find strong evidence that each of these two white dwarfs has accreted a parent body that has evolved beyond primitive nebular condensation. The planetesimal accreted onto GD 362 had a bulk composition roughly similar to that of a mesosiderite meteorite based on a reduced chi-squared comparison with solar system objects; however, additional material is required to fully reproduce the observed mid-infrared spectrum for GD 362. No single meteorite can reproduce the unique abundance pattern observed in PG 1225-079; the best fit model requires a blend of ureilite and mesosiderite material. From a compiled sample of 9 well-studied polluted white dwarfs, we find evidence for both primitive planetesimals, which are a direct product from nebular condensation, as well as beyond-primitive planetesimals, whose final compositions were mainly determined by post-nebular processing.


title: Redundancies in Nambu-Goldstone Bosons

abstract: We propose a simple criterion to identify when Nambu-Goldstone bosons (NGBs) for different symmetries are redundant. It solves an old mystery why crystals have phonons for spontaneously broken translations but no gapless excitations for equally spontaneously broken rotations. Similarly for a superfluid, the NGB for spontaneously broken Galilean symmetry is redundant with phonons. The most nontrivial example is Tkachenko mode for a vortex lattice in a superfluid, where phonons are redundant to the Tkachenko mode which is identified as the Boboliubov mode.


title: Proofs of the Kochen-Specker theorem based on the N-qubit Pauli group

abstract: We present a number of observables-based proofs of the Kochen-Specker (KS) theorem based on the N-qubit Pauli group for N >= 4, thus adding to the proofs that have been presented earlier for the two- and three-qubit groups. These proofs have the attractive feature that they can be presented in the form of diagrams from which they are obvious by inspection. They are also irreducible in the sense that they cannot be reduced to smaller proofs by ignoring some subset of qubits and/or observables in them. A simple algorithm is given for transforming any observables-based KS proof into a large number of projectors-based KS proofs; if the observables-based proof has O observables, with each observable occurring in exactly two commuting sets and any two commuting sets having at most one observable in common, the number of associated projectors-based parity proofs is 2^O. We introduce symbols for the observables- and projectors-based KS proofs that capture their important features and also convey a feeling for the enormous variety of both these types of proofs within the N-qubit Pauli group. We discuss an infinite family of observables-based proofs, whose members apply to all numbers of qubits from two up, and show how it can be used to generate projectors-based KS proofs involving only nine bases (or experimental contexts) in any dimension of the form 2^N for N >= 2. Some implications of our results are discussed.


title: On twisted large N=4 conformal superalgebras

abstract: We explicitly compute the automorphism group of the large N = 4 conformal superalgebra and classify the twisted loop conformal superalgebras based on the large N = 4 conformal superalgebra. By considering the corresponding superconformal Lie algebras, we validate the existence of only two (up to isomorphism) such algebras as described in the Physics literature.


title: Topological Response Theory of Abelian Symmetry-Protected Topological Phases in Two Dimensions

abstract: It has been shown that the symmetry-protected topological (SPT) phases with finite Abelian symmetries can be described by Chern-Simons field theory. We propose a topological response theory to uniquely identify the SPT orders, which allows us to obtain a systematic scheme to classify bosonic SPT phases with any finite Abelian symmetry group. We point out that even for finite Abelian symmetry, there exist bosonic SPT phases beyond the current Chern-Simons theory framework. We also apply the theory to fermionic SPT phases with $\mathbb{Z}_m$ symmetry and find the classification of SPT phases depends on the parity of $m$: for even $m$ there are $2m$ classes, $m$ out of which is intrinsically fermionic SPT phases and can not be realized in any bosonic system. Finally we propose a classification scheme of fermionic SPT phases for any finite, Abelian symmetry.


title: Stability of genus five canonical curves

abstract: We analyze GIT stability of nets of quadrics in $\mathbb{P}^4$ up to projective equivalence. Since a general net of quadrics defines a canonically embedded smooth curve of genus five, the resulting GIT quotient gives a birational model of the moduli space of genus 5 curves. We study the geometry of the associated contraction and prove that the constructed GIT quotient is the final step of the log minimal model program for the moduli space of genus 5 curves.


title: Energy-Efficient Optimization for Physical Layer Security in Multi-Antenna Downlink Networks with QoS Guarantee

abstract: In this letter, we consider a multi-antenna downlink network where a secure user (SU) coexists with a passive eavesdropper. There are two design requirements for such a network. First, the information should be transferred in a secret and efficient manner. Second, the quality of service (QoS), i.e. delay sensitivity, should be take into consideration to satisfy the demands of real-time wireless services. In order to fulfill the two requirements, we combine the physical layer security technique based on switched beam beamforming with an energy-efficient power allocation. The problem is formulated as the maximization of the secrecy energy efficiency subject to delay and power constraints. By solving the optimization problem, we derive an energy-efficient power allocation scheme. Numerical results validate the effectiveness of the proposed scheme.


title: Topological phase transitions driven by magnetic phase transitions in FexBi2Te3 (0 < x < 0.1) single crystals

abstract: We propose a phase diagram for FexBi2Te3 (0 < x < 0.1) single crystals, which belong to a class of magnetically bulk-doped topological insulators. The evolution of magnetic correlations from ferromagnetic- to antiferromagnetic- gives rise to topological phase transitions, where the paramagnetic topological insulator of Bi2Te3 turns into a band insulator with ferromagnetic-cluster glassy behaviours around x ~ 0.025, and it further evolves to a topological insulator with valence-bond glassy behaviours, which spans over the region between x ~ 0.03 up to x ~ 0.1. This phase diagram is verified by measuring magnetization, magnetotransport, and angle-resolved photoemission spectra with theoretical discussions.


title: Electronic Structures of Graphene Layers on Metal Foil: Effect of Point Defects

abstract: Here we report a facile method to generate a high density of point defects in graphene on metal foil and show how the point defects affect the electronic structures of graphene layers. Our scanning tunneling microscopy (STM) measurements, complemented by first principle calculations, reveal that the point defects result in both the intervalley and intravalley scattering of graphene. The Fermi velocity is reduced in the vicinity area of the defect due to the enhanced scattering. Additionally, our analysis further points out that periodic point defects can tailor the electronic properties of graphene by introducing a significant bandgap, which opens an avenue towards all-graphene electronics.


title: Verifying the Consistency of Remote Untrusted Services with Conflict-Free Operations

abstract: A group of mutually trusting clients outsources a computation service to a remote server, which they do not fully trust and that may be subject to attacks. The clients do not communicate with each other and would like to verify the correctness of the remote computation and the consistency of the server's responses. This paper presents the Conflict-free Operation verification Protocol (COP) that ensures linearizability when the server is correct and preserves fork-linearizability in any other case. All clients that observe each other's operations are consistent, in the sense that their own operations and those operations of other clients that they see are linearizable. If the server forks two clients by hiding an operation, these clients never again see operations of each other. COP supports wait-free client operations in the sense that when executed with a correct server, non-conflicting operations can run without waiting for other clients, allowing more parallelism than earlier protocols. A conflict arises when an operation causes a subsequent operation to produce a different output value for the client who runs it. The paper gives a precise model for the guarantees of COP and includes a formal analysis that these are achieved.


title: On a Solution of the Self-Interaction Problem in Kohn-Sham Density Functional Theory

abstract: We report on a methodology for the treatment of the Coulomb energy and potential in Kohn-Sham density functional theory that is free from self-interaction effects. Specifically, we determine the Coulomb potential given as the functional derivative of the Coulomb energy with respect to the density, where the Coulomb energy is calculated explicitly in terms of the pair density of the Kohn-Sham orbitals. This is accomplished by taking advantage of an orthonormal and complete basis that is an explicit functional of the density that then allows for the functional differentiation of the pair density with respect to the density to be performed explicitly. This approach leads to a new formalism that provides an analytic, closed-form determination of the exchange potential. This method is applied to one-dimensional model systems and to the atoms Helium through Krypton based on an exchange only implementation. Comparison of our total energies (denoted SIF) to those obtained using the usual Hartree-Fock (HF) and optimized effective potential (OEP) methods reveals the hierarchy $E_{\rm HF} \le E_{\rm OEP} \le E_{\rm SIF}$ that is indicative of the greater variation freedom implicit in the former two methods.


title: Anisotropy of the Superconducting State in Sr2RuO4

abstract: Despite intense studies the exact nature of the order parameter in superconducting Sr2RuO4 remains unresolved. We have used small-angle neutron scattering to study the vortex lattice in Sr2RuO4 with the field applied close to the basal plane, taking advantage of the transverse magnetization. We measured the intrinsic superconducting anisotropy between the c axis and the Ru-O basal plane (~60), which greatly exceeds the upper critical field anisotropy (~20). Our result imposes significant constraints on possible models of triplet pairing in Sr2RuO4 and raises questions concerning the direction of the zero spin projection axis.


title: Towards a Semantic-based Approach for Modeling Regulatory Documents in Building Industry

abstract: Regulations in the Building Industry are becoming increasingly complex and involve more than one technical area. They cover products, components and project implementation. They also play an important role to ensure the quality of a building, and to minimize its environmental impact. In this paper, we are particularly interested in the modeling of the regulatory constraints derived from the Technical Guides issued by CSTB and used to validate Technical Assessments. We first describe our approach for modeling regulatory constraints in the SBVR language, and formalizing them in the SPARQL language. Second, we describe how we model the processes of compliance checking described in the CSTB Technical Guides. Third, we show how we implement these processes to assist industrials in drafting Technical Documents in order to acquire a Technical Assessment; a compliance report is automatically generated to explain the compliance or noncompliance of this Technical Documents.


title: A real-time beam current density meter

abstract: We have developed a real-time beam current density meter for charged particle beams. It measures the mean current density by collimating a uniform and large diameter primary beam. The suppression of the secondary electrons and the deflection of the beam were simulated, and it was tested with a 105 keV Ar7+ ion beam.


title: Probabilistic Frame Induction

abstract: In natural-language discourse, related events tend to appear near each other to describe a larger scenario. Such structures can be formalized by the notion of a frame (a.k.a. template), which comprises a set of related events and prototypical participants and event transitions. Identifying frames is a prerequisite for information extraction and natural language generation, and is usually done manually. Methods for inducing frames have been proposed recently, but they typically use ad hoc procedures and are difficult to diagnose or extend. In this paper, we propose the first probabilistic approach to frame induction, which incorporates frames, events, participants as latent topics and learns those frame and event transitions that best explain the text. The number of frames is inferred by a novel application of a split-merge method from syntactic parsing. In end-to-end evaluations from text to induced frames and extracted facts, our method produced state-of-the-art results while substantially reducing engineering effort.


title: NLP and CALL: integration is working

abstract: In the first part of this article, we explore the background of computer-assisted learning from its beginnings in the early XIXth century and the first teaching machines, founded on theories of learning, at the start of the XXth century. With the arrival of the computer, it became possible to offer language learners different types of language activities such as comprehension tasks, simulations, etc. However, these have limits that cannot be overcome without some contribution from the field of natural language processing (NLP). In what follows, we examine the challenges faced and the issues raised by integrating NLP into CALL. We hope to demonstrate that the key to success in integrating NLP into CALL is to be found in multidisciplinary work between computer experts, linguists, language teachers, didacticians and NLP specialists.


title: Contemporaneous aggregation of triangular array of random-coefficient AR(1) processes

abstract: We discuss contemporaneous aggregation of independent copies of a triangular array of random-coefficient AR(1) processes with i.i.d. innovations belonging to the domain of attraction of an infinitely divisible law W. The limiting aggregated process is shown to exist, under general assumptions on W and the mixing distribution, and is represented as a mixed infinitely divisible moving-average. Partial sums process of $ is discussed under the assumption E(W^2) is finite and a mixing density regularly varying at the "unit root" x=1 with exponent \beta >0. We show that the above partial sums process may exhibit four different limit behaviors depending on \beta and the L\'evy triplet of W. Finally, we study the disaggregation problem in spirit of Leipus et al. (2006) and obtain the weak consistency of the corresponding estimator of the mixing distribution in a suitable L_2-space.


title: Angular dependence of resonant inelastic x-ray scattering: a spherical tensor expansion

abstract: A spherical tensor expansion is carried out to express the resonant inelastic scattering cross-section as a sum of products of fundamental spectra with tensors involving wavevectors and polarization vectors of incident and scattered photons. The expression presented in this paper differs from that of the influential article by Carra et al. (Phys. Rev. Lett. 74, 3700, 1995) because it does not omit interference terms between electric dipole and quadrupole contributions when coupling each photon to itself. Some specific cases of the spherical tensor expansion are discussed. For example the case of isotropic samples is considered and the cross-section is expressed as a combination of only three fundamental spectra for the situation where electric dipole or electric quadrupole transitions in the absorption process are followed by electric dipole transitions in the emission. This situation includes the case of untextured powder samples, which corresponds to the most frequent situation met experimentally. Finally, it is predicted that some circular dichroism may be observed on isotropic samples provided that the circular polarization of the scattered beam can be detected.


title: Bistable transition fronts in R^N

abstract: This paper is chiefly concerned with qualitative properties of some reaction-diffusion fronts. The recently defined notions of transition fronts generalize the standard notions of traveling fronts. In this paper, we show the existence and the uniqueness of the global mean speed of bistable transition fronts in R^N. This speed is proved to be independent of the shape of the level sets of the fronts. The planar fronts are also characterized in the more general class of almost-planar fronts with any number of transition layers. These qualitative properties show the robustness of the notions of transition fronts. But we also prove the existence of new types of transition fronts in R^N that are not standard traveling fronts, thus showing that the notions of transition fronts are broad enough to include other relevant propagating solutions.


title: Uniqueness property for quasiharmonic functions

abstract: In this paper we consider class of continuous functions, called quasiaharmonic functions, admitting best approximations by harmonic polynomials. In this class we prove a uniqueness theorem by analogy with the analytic functions.


title: Harmonic Chain with Weak Dissipation

abstract: We consider finite harmonic chain (consisting of N classical particles) plus dissipative force acting on one particle (called dissipating particle) only. We want to prove that "in the generic case" the energy (per particle) for the whole system tends to zero in the large time limit and then in the large N limit. "In the generic case" means: for almost all initial conditions and for almost any choice of the dissipating particle, in the thermodynamic limit.


title: Linear Hamiltonian Systems under Microscopic Random Influence

abstract: It is known that a linear hamiltonian system has too many invariant measures, thus the problem of convergence to Gibbs measure has no sense. We consider linear hamiltonian systems of arbitrary finite dimension and prove that, under the condition that one distinguished coordinate is subjected to dissipation and white noise, then, for almost any hamiltonians and almost any initial conditions, there exists the unique limiting distribution. Moreover, this distribution is Gibbsian with the temperature depending on the dissipation and of the variance of the white noise.


title: Search for correlations between morphological characteristics and the crystallite sizes in thin zinc oxide films

abstract: Size-property relations in plasma-modified ZnO thin films have been investigated as a function of plasma treatment duration. The correlations between crystallite sizes and the morphological characteristics of films have been extracted on the basis of the frontier computational analysis of the scanning probe microscope (SPM) data matrices. The nanocluster structure of oxide films have been studied in detail with high accuracy. The strong plasma-induced changes in crystallite sizes have been interpreted as a size-structure phase transition. Direct measurements of X-ray diffraction and optical transmittance spectra have confirmed the results obtained with computational approaches. The discovery size-morphology correlations in thin oxide films might open new avenues ultimately leading towards deeper insight into unsolved problems of evaluation of optimal technological conditions for thin oxide film designing.


title: Modular cryostat for ion trapping with surface-electrode ion traps

abstract: We present a simple cryostat purpose built for use with surface-electrode ion traps, designed around an affordable, large cooling power commercial pulse tube refrigerator. A modular vacuum enclosure with a single vacuum space facilitates interior access, and enables rapid turnaround and flexiblity for future modifications. Long rectangular windows provide nearly 360 degrees of optical access in the plane of the ion trap, while a circular bottom window near the trap enables NA 0.4 light collection without the need for in-vacuum optics. We evaluate the system's mechanical and thermal characteristics, and we quantify ion trapping performance by trapping 40Ca+, finding small stray electric fields, long ion lifetimes, and low ion heating rates.


title: Flavor mixings and textures of the fermion mass matrices

abstract: A comprehensive review of several aspects of fermion mixing phenomenon and texture specific mass matrices have been presented. Regarding fermion mixings, implications of unitarity and certain new developments for the CKM paradigm have been discussed. In the leptonic sector, the question of possibility of CP violation has been discussed in detail from the unitarity triangle perspective. In the case of texture specific mass matrices, the issues of viability of Fritzsch-like as well as non Fritzsch-like mass matrices have been detailed for both the quark and leptonic sectors. The relationship of textures, naturalness and weak basis rotations has also been looked into. The issue of the compatibility of texture specific mass matrices with the SO(10) based GUT mass matrices has also been discussed.


title: Non-stationary extremal eigenvalue approximations in iterative solutions of linear systems and estimators for relative error

abstract: Non-stationary approximations of the final value of a converging sequence are discussed, and we show that extremal eigenvalues can be reasonably estimated from the CG iterates without much computation at all. We introduce estimators of relative error for conjugate gradient (CG)methods that adopt past work on computationally efficient bounds of the absolute errors using quadrature formulas. The evaluation of the Gauss quadrature based estimates though, depends on a priori knowledge of extremal eigenvalues; and the upper bounds in particular that are useful as a stopping criterion fail in the absence of a reasonable underestimate of smallest eigenvalue. Estimators for relative errors in A-norm and their extension to errors in l2 norm are presented with numerical results. Estimating the relative error from the residue in an iterative solution is required for efficient solution of a large problem with even a moderately high condition. Specifically, in a problem of solving for vector x in Ax=b, the uncertainty between the strict upper bound in relative error [{\kappa}*||r(i)||/||b||] and its strict lower bound [||r(i)||/({\kappa}*||b||)] is a factor of {\kappa}^2 (given residue r(i)= b-Ax(i) is the residual vector at ith iteration and {\kappa} the condition number of the square matrix A).


title: Recognizability by spectrum of alternating groups

abstract: The spectrum of a group is the set of its element orders. A finite group $G$ is said to be recognizable by spectrum if every finite group that has the same spectrum as $G$ is isomorphic to $G$. We prove that the simple alternating groups $A_n$ are recognizable by spectrum when $n\neq 6, 10$. This implies that every finite group with the same spectrum as that of a finite nonabelian simple group, has at most one nonabelian composition factor


title: Application of a $\mathbb{Z}_{3}$-orbifold construction to the lattice vertex operator algebras associated to Niemeier lattices

abstract: By applying Miyamoto's $\mathbb{Z}_{3}$-orbifold construction to the lattice vertex operator algebras associated to Niemeier lattices and their automorphisms of order 3, we construct holomorphic vertex operator algebras of central charge 24 whose Lie algebras of the weight one spaces are of types $A_{2,3}^6$, $E_{6,3}G_{2,1}^{3}$, and $A_{5,3}D_{4,3}A_{1,1}^{3}$, which correspond to No.6, No.17, and No.32 on Schellekens' list, respectively.


title: Spin-Triplet Superconductivity Induced by Longitudinal Ferromagnetic Fluctuations in UCoGe: Theoretical Aspect

abstract: Identification of pairing mechanisms leading to the unconventional superconductivity realized in copper-oxide, heavy-fermions, and organic compounds is one of the most challenging issues in condensed-matter physics. Clear evidence for an electron-phonon mechanism in conventional superconductors is seen by the isotope effect on the superconducting transition temperatures $T_{\rm SC}$, since isotopic substitution varies the phonon frequency without affecting the electronic states. In unconventional superconductors, magnetic fluctuations have been proposed to mediate superconductivity, and considerable efforts have been made to unravel relationships between normal-state magnetic fluctuations and superconductivity. Here, we show that characteristic experimental results on the ferromagnetic (FM) superconductor UCoGe ($T_{\rm Curie} \sim 2.5 $ K and $T_{\rm SC} \sim 0.6$ K) can be understood consistently within a scenario of the spin-triplet superconductivity induced by FM spin fluctuations. Temperature and angle dependencies of the upper critical magnetic field of the superconductivity ($H_{c2}$) are calculated on the basis of the above scenario by solving the Eliashberg equation. Calculated $H_{c2}$ well agrees with the characteristic experimental results observed in UCoGe. This is a first example that FM fluctuations are shown to be a pairing glue of superconductivity.


title: Thermal Mass Spectra of Scalar and Pseudo-Scalar Mesons in IR-improved Soft-Wall AdS/QCD Model with Finite Chemical Potential

abstract: The thermal mass spectra of scalar and pseudo scalar mesons are studied in an IR-improved soft-wall AdS/QCD model. The Reissner-Nordstrom AdS black hole metric is introduced to describe both the finite temperature and density effects. The thermal spectral function is computed, which shows that the position of peak moves towards a smaller value and the width of peak also broadens to a larger value as the temperature increases. The critical temperature at which the peaks are completely dissolved has been found to be around $T_{c}\simeq 160\sim 200\MeV$. The effect of chemical potential is shown to be the same as the one caused by the temperature. It is found that when the temperature approaches to zero $T\approx 0$, the melting down of mesons occurs at the scaled critical chemical potential $\mu_0/\kappa\approx 2.2\sim 2.4 \GeV$.


title: The effect of electron--hole scattering on the transport properties of a 2D semimetal in a HgTe quantum well

abstract: The influence of e-h scattering on the conductivity and magnetotransport of 2D semimetallic HgTe is studied both theoretically and experimentally. The presence of e-h scattering leads to the friction between electron and holes resulting in a large temperature-dependent contribution to the transport coefficients. The coefficient of friction between electrons and holes is determined. The comparison of experimental data with the theory shows that the interaction between electrons and holes based on the long - range Coulomb potential strongly underestimates the e-h friction. The experimental results are in agreement with the model of strong short-range e-h interaction.


title: The radiation energy component of the Hubble function and a LCDM cosmological simulation

abstract: We study some effects the inclusion of the radiation energy component in the universe, Omega_r, can have on several quantities of interest for the large-scale structure of the universe in a LCDM cosmological simulation; started at a very high redshift (z=500). In particular we compute the power spectrum density, the halo mass function, and the concentration-mass relation for haloes. We find that Omega_r has an important contribution in the long-term nonlinear evolution of structures in the universe. For instance, a lower matter density power, by approx 50%, in all scales is obtained when compared with a simulation without the radiation term. Also, haloes formed with the Omega_r taken into account are approx 20% less concentrated than when not included in the Hubble function.


title: Modified gravity: walk through accelerating cosmology

abstract: We review the accelerating (mainly, dark energy) cosmologies in modified gravity. Special attention is paid to cosmologies leading to finite-time future singularities in $F(R)$, $F(G)$ and $\mathcal{F}(R,G)$ modified gravities. The removal of the finite-time future singularities via addition of $R^2$-term which simultaneously unifies the early-time inflation with late-time acceleration is also briefly mentioned. Accelerating cosmology including the scenario unifying inflation with dark energy is considered in $F(R)$ gravity with Lagrange multipliers. In addition, we examine domain wall solutions in $F(R)$ gravity. Furthermore, covariant higher derivative gravity with scalar projectors is explored.


title: Convergence to Gibbs equilibrium - unveiling the mystery

abstract: We consider general hamiltonian systems with quadratic interaction potential and $N<\infty$ degrees of freedom, only $m$ of which have contact with external world, that is subjected to damping and random stationary external forces. We show that, as $t\to\infty$, already for $m=1$, the unique limiting distribution exists for almost all interactions. Moreover, it is Gibbs if the external force is the white noise, but typically not Gibbs for gaussian processes with smooth trajectories. This conclusion survives also in the thermodynamic limit $N\to\infty$.


title: Antikaons in neutron star studied with recent versions of relativistic mean-field models

abstract: We study the impact of additional couplings in the relativistic mean field (RMF) models, in conjunction with antikaon condensation, on various neutron star properties. We analyze different properties such as in-medium antikaon and nucleon effective masses, antikaon energies, chemical potentials and the mass-radius relations of neutron star (NS). We calculate the NS properties with the RMF (NL3), E-RMF (G1, G2) and FSU2.1 models, which are quite successful in explaining several finite nuclear properties. Our results show that the onset of kaon condensation in NS strongly depends on the parameters of the Lagrangian, especially the additional couplings which play a significant role at higher densities where antikaons dominate the behavior of equation of state.


title: Robustness of Gapless Interface State in a Junction of Two Topological Insulators

abstract: We theoretically study subgap states appearing at the interface between two three-dimensional topological insulators which have different configurations in the spin-orbit interactions from each other. The coupling of spin $\boldsymbol{\sigma}$ with momenta $\boldsymbol{p}$ is configured by a material dependent $3\times 3$ matrix $\boldsymbol{\Lambda}$ as ${\sigma}^\mu {\Lambda}_\mu^\nu p_\nu$. We show that the spectra of the interface suggap states depend strongly on the relative choices of $\boldsymbol{\Lambda}$ in the two topological insulators. In particular, we focus on properties of gapless states which appear when $\boldsymbol{\Lambda}$ in two topological insulators are connected by the inversion in momentum space. We also discuss the robustness of the gapless states under perturbations breaking the time-reversal symmetry or the band-inversion symmetry by the numerical simulation.


title: On the interactions of the high energy photoelectrons with the fullerene shell

abstract: The probability that photoionization of the caged atom in an endohedral system is accompanied by excitation of the fullerene shell is shown to be close to unity in broad intervals of the photoelectron energies. The result is obtained by summation of the perturbative series for the interaction between the photoelectron and the fullerene shell. This result means that the interaction between the photoelectron ejected from the cage atom and the fullerene shell cannot be described by a static potential, since inelastic processes become decisively important.


title: Grain boundary segregation of C, N and O in hcp titanium from first-principles

abstract: It is believed that grain boundary segregation of light interstitials can serve as possible mechanism of thermal stability in commercially pure nanostructured titanium alloys. In this paper, using first-principles calculations, we show that independent segregation of C, N and O atoms at \Sigma 7 high angle grain boundary in \alpha-Ti is energetically unfavourable. The presence of interstitial elements near and at the grain boundary interface results in the increase of the grain boundary width and specific formation energy.


title: Polycyclic aromatic hydrocarbons in spatially resolved extragalactic star forming complexes

abstract: The abundance of polycyclic aromatic hydrocarbons (PAHs) in low- and high-metallicity galaxies has been widely discussed since the time when detailed infrared data for extragalactic objects were first obtained. On the scales of entire galaxies, a smaller PAH abundance in lower-metallicity galaxies is often observed. We study this relationship for star-forming regions in nearby galaxies, for a sample containing more than 200 HII complexes, using spatially-resolved observations from the Herschel Space Observatory and Spitzer Space Telescope. We use a model for the dust emission to estimate the physical parameters (PAH abundance, metallicity, ultraviolet radiation field, etc.) of these complexes. The same correlation of PAH abundance with metallicity, as seen for entire galaxies, is apparently preserved at smaller scales, at least when the Kobulnicky & Kewley metallicity calibration is used. We discuss possible reasons for this correlation, noting that traces of less-effective PAH formation in low-metallicity AGB stars should be smeared out by radial mixing in galactic disks. Effective destruction by the harder and more intensive ultraviolet field in low-metallicity environments is qualitatively consistent with our data, as the ultraviolet field intensity, derived from the infrared photometry, is indeed smaller in HII complexes with lower metallicity.


title: Multielectron processes in endohedral atoms at high energies

abstract: We analyze the role of shake-off and of the final state interactions in inelastic processes in the fullerene shell which follow ionization of the caged atom. We demonstrate that in the broad interval of the photon energies the process is dominated by the final state interactions. Its contribution is calculated in a model-independent way. In the large energy intervals the cross section of the process is close to that of photoionization of isolated atom.


title: Securing coherence rephasing with a pair of adiabatic rapid passages

abstract: Coherence rephasing is an essential step in quantum storage protocols that use echo-based strategies. We present a thorough analysis on how two adiabatic rapid passages (ARP) are able to rephase atomic coherences in an inhomogeneously broadened ensemble. We consider both the cases of optical and spin coherences, rephased by optical or radio-frequency (rf) ARPs, respectively. We show how a rephasing sequence consisting of two ARPs in a double-echo scheme is equivalent to the identity operator (any state can be recovered), as long as certain conditions are fulfilled. Our mathematical treatment of the ARPs leads to a very simple geometrical interpretation within the Bloch sphere that permits a visual comprehension of the rephasing process. We also identify the conditions that ensure the rephasing, finding that the phase of the optical or rf ARP fields plays a key role in the capability of the sequence to preserve the phase of the superposition state. This settles a difference between optical and rf ARPs, since field phase control is not readily guaranteed in the former case. We also provide a quantitative comparison between $\pi$-pulse and ARP rephasing efficiencies, showing the superiority of the latter. We experimentally verify the conclusions of our analysis through rf ARP rephasing sequencies performed on the rare-earth ion-doped crystal Tm$^{3+}$:YAG, of interest in quantum memories.


title: Joint Physical Network Coding and LDPC decoding for Two Way Wireless Relaying

abstract: In this paper, we investigate the joint design of channel and network coding in bi-directional relaying systems and propose a combined low complexity physical network coding and LDPC decoding scheme. For the same LDPC codes employed at both source nodes, we show that the relay can decodes the network coded codewords from the superimposed signal received from the BPSK-modulated multiple-access channel. Simulation results shown that this novel joint physical network coding and LDPC decoding method outperforms the existing MMSE network coding and LDPC decoding method over AWGN and complex MAC channel.


title: A.E.C. with not too many models

abstract: Consider an a.e.c. (abstract elementary class), that is, a class K of models with a partial order refining inclusion (submodel) which satisfy the most basic properties of an elementary class. Our test question is trying to show that the function dot I (lambda, K), counting the number of models in K of cardinality lambda up to isomorphism, is "nice", not chaotic, even without assuming it is sometimes 1, i.e. categorical in some lambda's. We prove here that for some closed unbounded class C of cardinals we have (a), (b) or (c) where (a) for every lambda in C of cofinality aleph_0, dot I (lambda, K) greater than or equal to lambda, (b) for every lambda in C of cofinality aleph_0 and M belongs to K_lambda, for every cardinal kappa greater than or equal to lambda there is N_kappa of cardinality kappa extending M (in the sense of our a.e.c.), (c) mathfrak k is bounded; that is, dot I (lambda, K) = 0 for every lambda large enough (equivalently lambda greater than or equal to beth_{delta_*} where delta_* = (2^{LST(mathfrak k)})^+). Recall that an important difference of non-elementary classes from the elementary case is the possibility of having models in K, even of large cardinality, which are maximal, or just failing clause (b).


title: Ray trajectories, binomial of a new type, and the binary system; on binomial distribution of the second (nonlinear) type for big binomial power

abstract: The paper describes a new algorithm of construction of the nonlinear arithmetic triangle on the basis of numerical simulation and the binary system. It demonstrates that the numbers that fill the nonlinear arithmetic triangle may be binomial coefficients of a new type. An analogy has been drawn with the binomial coefficients calculated with the use of the Pascal triangle. The paper provides a geometrical interpretation of binomials of different types in considering the branching systems of rays. Results of numerical calculations of binomial distribution of the second (nonlinear) type for big power of a binomial are given. Difference of geometrical properties of linear and nonlinear arithmetic triangles and envelopes of binomial distributions of the first and second types is drawn. The empirical formula for half-sums of binomial coefficients of the second (nonlinear) type is offered. Comparison of envelopes of binomial coefficients sums is carried out. It is shown that at big degrees of a binomial a form of envelops of these sums are close.


title: Exact solution for a binary system of unequal counter-rotating black holes

abstract: A complete solution describing a binary system constituted by two unequal counter-rotating black holes with a massless strut inbetween is presented. It is expressed in terms of four arbitrary parameters: the half length of the two rods representing the black hole horizons sigma1 and sigma2, the total mass M, and the relative distance R between the centers of the horizons. The explicit form of this solution in terms of physical parameters, i.e., the Komar masses M1 and M2, the Komar angular momenta per unit mass a1 and a2, having a1 and a2 opposite signs, and the coordinate distance R, led us to a 4-parameter subclass of solutions in which a set of five physical parameters satisfy a simple algebraic relation. Moreover, the interaction force, provided by the strut, between the black holes results to be of same form as it is for the static double-Schwarzschild case.


title: General position of a projection and its image under a free unitary Brownian motion

abstract: Given an orthogonal projection $P$ and a free unitary Brownian motion $Y = (Y_t)_{t \geq 0}$ in a $W^{\star}$-non commutative probability space such that $Y$ and $P$ are $\star$-free in Voiculescu's sense, the main result of this paper states that $P$ and $Y_tPY_t^{\star}$ are in general position at any time $t$. To this end, we study the dynamics of the unitary operator $SY_tSY_t^{\star}$ where $S = 2P-1$. More precisely, we derive a partial differential equation for the Herglotz transform of its spectral distribution, say $\mu_t$. Then, we provide a flow on the interval $[-1,1]$ in such a way that the Herglotz transform of $\mu_t$ composed with this flow is governed by both the Herglotz transforms of the initial ($t=0$) and the stationary ($t = \infty)$ distributions. This fact allows to compute the weight that $\mu_t$ assigns to $z=1$ leading to the main result. As a by-product, the weight that the spectral distribution of the free Jacobi process assigns to $x=1$ follows after a normalization. In the last part of the paper, we use combinatorics of non crossing partitions in order to analyze the term corresponding to the exponential decay $e^{-nt}$ in the expansion of the $n$-th moment of $SY_tSY_t^{\star}$.


title: Rationally trivial quadratic spaces are locally trivial:III

abstract: Let R be a regular semi-local domain containing a field such that all the residue fields are infinite. Let K be the fraction field of R. Let q be a quadratic space over R on a free rank n R-module P such that the projective quadric q=0 is smooth over R. It is proved that if the quadratic space q is isotropic over K, then there is a unimodular vector v in the free rank n R-module P such that q(v)=0. If characteristic of R is 2, then in the case of even n our assumption on q is equivalent to the one that q is a non-singular space in the sense of \cite{Kn} and in the case of odd n > 2 our assumption on q is equivalent to the one that q is a semi-regular in the sense of \cite{Kn}.


title: Dissipative structures of quantized vortices in a coherently pumped polariton superfluid

abstract: Steady states reached in a coherently pumped exciton-polariton superfluid are investigated. As the pump parameter is changed, the translational symmetry of the uniform system is spontaneously broken, and various steady patterns of quantized vortices are formed. This is peculiar to nonequilibrium dissipative systems with continuous pumping.


title: INTEGRAL Results on Gamma-Ray Bursts

abstract: Despite being a general observatory, and not a Gamma-Ray Bursts (GRBs) oriented mission, INTEGRAL has contributed to several important discoveries in the GRB field. This has been obtained thanks to its unprecedented localization capabilities, and sensitivity in the soft gamma-ray domain. In this paper I will review the main results obtained during the last 10 years with, and thanks to, INTEGRAL GRBs, including the discovery of one of the few GRBs spectroscopically associated with a Supernova, the first measurement of variable polarization in the GRB prompt emission, the indication of the existence of a low-luminosity population of GRBs, as well as the recent application of GRBs as probes for the fundamental physics. I will mention the main global characteristics of the INTEGRAL sample, and make the point on the lessons learnt from INTEGRAL in the perspective of designing future GRB dedicated missions.


title: Time dependence of X-ray diffraction intensity of a crystal induced by an intense femtosecond X-ray pulse

abstract: The time evolution of the electron density and the resulting time dependence of X-ray diffraction peak intensity in a crystal irradiated by highly intense femtosecond pulses of an XFEL is investigated theoretically on the basis of rate equations for bound electrons and the Boltzmann equation for the kinetics of the unbound electron gas that plays an essential role in the time evolution of the electron density of a crystal. The photoionization, Auger process, electron-impact ionization, electron--electron scattering, and three-body recombination have been implemented in the system of rate equations. An algorithm for the numerical solution of the rate equations was simplified by incorporating analytical expressions for the cross sections of all the electron configurations in ions within the framework of the effective charge model. Using this approach we evaluate the time dependence of the inner shell population and electronic kinetic energy during the time of XFEL pulse propagation through the crystal for photon energies between 3 and 12 keV and a pulse width of 40 fs considering a flux of 10^12 ph/pulse (focusing on a spot size of ~ 1 mum^2, this flux corresponds to a fluence ranging between 0.6 and 1.6 mJ/mum^2). The time evolution of the atomic scattering factor and its fluctuation is numerically analyzed for the case of a Silicon crystal taking into account the decrease of the bound electron density during the pulse propagation. The time integrated intensity drops dramatically if the fluence of the XFEL pulse exceeds 1.6 mJ/mum^2.


title: Norms of idempotent Schur multipliers

abstract: Let D be a masa in B(H) where H is a separable Hilbert space. We find real numbers \eta_0 < \eta_1 < \eta_2 < ... < \eta_6 so that for every bounded, normal D-bimodule map {\Phi} on B(H) either ||\Phi|| > \eta_6, or ||\Phi|| = \eta_k for some k <= 6. When D is totally atomic, these maps are the idempotent Schur multipliers and we characterise those with norm \eta_k for 0 <= k <= 6. We also show that the Schur idempotents which keep only the diagonal and superdiagonal of an n x n matrix, or of an n x (n+1) matrix, both have norm 2/(n+1) cot(pi/(n+1)), and we consider the average norm of a random idempotent Schur multiplier as a function of dimension. Many of our arguments are framed in the combinatorial language of bipartite graphs.


title: Radial Solutions of Non-Archimedean Pseudo-Differential Equations

abstract: We consider a class of equations with the fractional differentiation operator $D^\alpha$, $\alpha >0$, for complex-valued functions $x\mapsto f(|x|_K)$ on a non-Archimedean local field $K$ depending only on the absolute value $|\cdot |_K$. We introduce a right inverse $I^\alpha$ to $D^\alpha$, such that the change of an unknown function $u=I^\alpha v$ reduces the Cauchy problem for an equation with $D^\alpha$ (for radial functions) to an integral equation whose properties resemble those of classical Volterra equations. This contrasts much more complicated behavior of $D^\alpha$ on other classes of functions.


title: Spectral analysis on interior transmission eigenvalues

abstract: In this paper we prove some results on interior transmission eigenvalues. First, under rea- sonable assumptions, we prove that the spectrum is a discrete countable set and the generalized eigenfunctions spanned a dense space in the range of resolvent. This is a consequence of spectral theory of Hilbert-Schmidt operators. The main ingredient is to prove a smoothing property of resolvent. This allows to prove that a power of the resolvent is Hilbert-Schmidt. We obtain an estimate of the number of eigenvalues, counting with multiplicities, with modulus less than t2 when t is large. We prove also some estimate on the resolvent near the real axe when the square of the index of refraction is not real. Under some assumptions we obtain lower bound on the resolvent using the results obtained by Dencker, Sj\"ostrand and Zworski on the pseudospectra.


title: Rare Kaon decays

abstract: Rare Kaon decays and CP violation are important tools to test the Standard Model and its extensions. We describe kaon physics observables testing CP violation and more generally short distance physics. Channels under consideration will be K -> pi nu nubar, K -> pi l+ l-, K+- > pi 3 pi, K+- -> pi+- pi gamma, KS -> mu mu and K+- -> pi+- pi0 e+ e-


title: Consistency of Online Random Forests

abstract: As a testament to their success, the theory of random forests has long been outpaced by their application in practice. In this paper, we take a step towards narrowing this gap by providing a consistency result for online random forests.


title: An Explicit Martingale Version of Brenier's Theorem

abstract: By investigating model-independent bounds for exotic options in financial mathematics, a martingale version of the Monge-Kantorovich mass transport problem was introduced in \cite{BeiglbockHenry LaborderePenkner,GalichonHenry-LabordereTouzi}. In this paper, we extend the one-dimensional Brenier's theorem to the present martingale version. We provide the explicit martingale optimal transference plans for a remarkable class of coupling functions corresponding to the lower and upper bounds. These explicit extremal probability measures coincide with the unique left and right monotone martingale transference plans, which were introduced in \cite{BeiglbockJuillet} by suitable adaptation of the notion of cyclic monotonicity. Instead, our approach relies heavily on the (weak) duality result stated in \cite{BeiglbockHenry-LaborderePenkner}, and provides, as a by-product, an explicit expression for the corresponding optimal semi-static hedging strategies. We finally provide an extension to the multiple marginals case.


title: Large transport critical currents and magneto-optical imaging of textured Sr1-xKxFe2As2 superconducting tapes

abstract: We report the temperature dependence of the transport critical current density (Jc) in textured Sr1-xKxFe2As2/Fe (Sr122) tapes fabricated by an ex situ powder-in-tube process. Critical currents were measured in magnetic fields up to 0-15 T and/or the temperature range 4.2-30 K by using a dc four-probe method. It was found that textured Sr122 tapes heat-treated at low temperatures showed higher transport Jc performance due to much improved intergrain connections. At temperatures of 20 K, easily obtained using a cryocooler, Jc reached ~ 10^4 A/cm^2 in self field, which is the highest transport value of ferropnictide wires and tapes reported so far. Magneto-optical imaging observations further revealed significant and well distributed global Jc at 20 K in our tapes. These results demonstrate that 122 type superconducting tapes are promising for high-field applications at around 20 K.


title: An algebraic approach to weak and delay bismulation in coalgebra

abstract: The aim of this paper is to introduce an algebraic structure on the set of all coalgebras with the same state space over the given type which allows us to present definitions of weak and delay bisimulation for coalgebras. Additionally, we introduce an algebraic structure on the carrier set of the final coalgebra and characterize a special subcoalgebra of the final coalgebra which is used in the formulation of the weak coinduction principle. Finally, the new algebraic setting allows us to present a definition of an approximated weak bisimulation, study its properties and compare it with previously defined weak bisimulation for coalgebras.


title: Expectation Maximization for Hard X-ray Count Modulation Profiles

abstract: This paper is concerned with the image reconstruction problem when the measured data are solar hard X-ray modulation profiles obtained from the Reuven Ramaty High Energy Solar Spectroscopic Imager (RHESSI)} instrument. Our goal is to demonstrate that a statistical iterative method classically applied to the image deconvolution problem is very effective when utilized for the analysis of count modulation profiles in solar hard X-ray imaging based on Rotating Modulation Collimators. The algorithm described in this paper solves the maximum likelihood problem iteratively and encoding a positivity constraint into the iterative optimization scheme. The result is therefore a classical Expectation Maximization method this time applied not to an image deconvolution problem but to image reconstruction from count modulation profiles. The technical reason that makes our implementation particularly effective in this application is the use of a very reliable stopping rule which is able to regularize the solution providing, at the same time, a very satisfactory Cash-statistic (C-statistic). The method is applied to both reproduce synthetic flaring configurations and reconstruct images from experimental data corresponding to three real events. In this second case, the performance of Expectation Maximization, when compared to Pixon image reconstruction, shows a comparable accuracy and a notably reduced computational burden; when compared to CLEAN, shows a better fidelity with respect to the measurements with a comparable computational effectiveness. If optimally stopped, Expectation Maximization represents a very reliable method for image reconstruction in the RHESSI context when count modulation profiles are used as input data.


title: Trajectory generation and display for free flight

abstract: In this study a new approach is proposed for the generation of aircraft trajectories. The relative guidance of an aircraft, which is aimed to join in minimum time the track of a leader aircraft, is particularly considered. In a first place, a minimum time relative convergence problem is considered and optimal trajectories are characterized. Then the synthesis of a neural approximator for optimal trajectories is discussed. Trained neural networks are used in an adaptive manner to generate intent trajectories during operation. Finally simulation results involving two wide body aircraft are presented.


title: On the waiting time till some patterns occur in i.i.d. sequences

abstract: In this paper we present some general solution of the system of linear equations formed by Guibas and Odlyzko in Th.3.3 \cite{Gui}. We derive probabilities for given patterns to be first to appear in random text and the expected waiting time till one of them is observed and also till one of them occurs given it is known which pattern appears first.


title: Subsonic Free Surface Waves in Linear Elasticity

abstract: For general anisotropic linear elastic solids with smooth boundaries, Rayleigh-type surface waves are studied. Using spectral factorizations of matrix polynomials, a self-contained exposition of the case of a homogeneous half-space is given first. The main result is about inhomogeneous anisotropic bodies with curved surfaces. The existence of subsonic free surface waves is shown by giving ray series asymptotic expansions, including formulas for the transport equation.