title: Estimates of the Derivative of the Entropy of Gaussian Thermostats

abstract: We consider a variation of an Anosov geodesic flow by Gaussian Thermostats and we obtain estimates of the derivative of the entropy map at the geodesic flow. In particular, we prove that the entropy of the geodesic flow is a local maximum for the entropy map.


title: Neutron production and thermal moderation at the PSI UCN source

abstract: We report on gold foil activation measurements performed along a vertical channel along the tank of the ultracold neutron source at the Paul Scherrer Institute. The activities obtained at various distances from the spallation target are in very good agreement with MCNPX simulations which take into account the detailed description of the source as built.


title: Toward Automated Discovery of Artistic Influence

abstract: Considering the huge amount of art pieces that exist, there is valuable information to be discovered. Examining a painting, an expert can determine its style, genre, and the time period that the painting belongs. One important task for art historians is to find influences and connections between artists. Is influence a task that a computer can measure? The contribution of this paper is in exploring the problem of computer-automated suggestion of influences between artists, a problem that was not addressed before in a general setting. We first present a comparative study of different classification methodologies for the task of fine-art style classification. A two-level comparative study is performed for this classification problem. The first level reviews the performance of discriminative vs. generative models, while the second level touches the features aspect of the paintings and compares semantic-level features vs. low-level and intermediate-level features present in the painting. Then, we investigate the question "Who influenced this artist?" by looking at his masterpieces and comparing them to others. We pose this interesting question as a knowledge discovery problem. For this purpose, we investigated several painting-similarity and artist-similarity measures. As a result, we provide a visualization of artists (Map of Artists) based on the similarity between their works


title: Scattering processes could distinguish Majorana from Dirac neutrinos

abstract: It is well known that Majorana neutrinos have a pure axial neutral current interaction while Dirac neutrinos have the standard vector-axial interaction. In spite of this crucial difference, usually Dirac neutrino processes differ from Majorana processes by a term proportional to the neutrino mass, resulting in almost unmeasurable observations of this difference. In the present work we show that once the neutrino polarization evolution is considered, there are clear differences between Dirac and Majorana scattering on electrons. The change of polarization can be achieved in astrophysical environments with strong magnetic fields. Furthermore, we show that in the case of unpolarized neutrino scattering onto polarized electrons, this difference can be relevant even for large values of the neutrino energy.


title: Recurrence for the frog model with drift on $\mathbb{Z}^d$

abstract: In this paper we present a recurrence criterion for the frog model on $\mathbb{Z}^d$ with an i.i.d. initial configuration of sleeping frogs and such that the underlying random walk has a drift to the right.


title: An adaptive composite quantile approach to dimension reduction

abstract: Sufficient dimension reduction [J. Amer. Statist. Assoc. 86 (1991) 316-342] has long been a prominent issue in multivariate nonparametric regression analysis. To uncover the central dimension reduction space, we propose in this paper an adaptive composite quantile approach. Compared to existing methods, (1) it requires minimal assumptions and is capable of revealing all dimension reduction directions; (2) it is robust against outliers and (3) it is structure-adaptive, thus more efficient. Asymptotic results are proved and numerical examples are provided, including a real data analysis.


title: Height of varieties over finitely generated fields

abstract: We show that the height of a variety over a finitely generated field of characteristic zero can be written as an integral of local heights over the set of places of the field. This allows us to apply our previous work on toric varieties and extend our combinatorial formulae for the height to compute some arithmetic intersection numbers of non toric arithmetic varieties over the rational numbers.


title: Joint User Association and Reuse Pattern Selection in Heterogeneous Networks

abstract: The successful deployment of LTE heterogeneous networks (HetNets) depends crucially on the inter-cell interference (ICI) management. Among ICI coordination schemes, fractional frequency reuse (FFR) is considered as an efficient technique well-suited to OFDMA-based HetNets. Two coupled questions in this context are: 1) how to associate users to appropriate base-stations considering the long list of available candidate cells, and 2) how to allocate frequency resources among multiple cells. In this paper, we treat the multi-cell frequency allocation as frequency partitioning among multiple reuse patterns, and develop a novel algorithm to solve these two coupled questions in a joint manner. We also provide practical criterion to select the set of essential candidate patterns from all possible patterns. Results show that the proposed joint strategy improves both the cell-edge user and overall network throughput.


title: On a theorem of Ax and Katz

abstract: The well-known theorem of Ax and Katz gives a p-divisibility bound for the number of rational points on an algebraic variety V over a finite field of characteristic p in terms of the degree and number of variables of defining polynomials of V. It was strengthened by Adolphson-Sperber in terms of Newton polytope of the support set G of V. In this paper we prove that for every generic algebraic variety over a number field supported on G the Adolphson-Sperber bound can be achieved on special fibre at p for a set of prime p of positive density in SpecZ. Moreover we show that if G has certain combinatorial conditional number nonzero then the above bound is achieved at special fiber at p for all but finitely many primes p.


title: Equality of Dedekind sums mod $\mathbb{Z},2\mathbb{Z}$ and $4\mathbb{Z}$

abstract: In [Girstmair, A criterion for the equality of Dedekind sums mod $\mathbb{Z}$, Internat. J. Number Theory 10: (2014) 565--568], it was shown that the necessary condition $b \mid (a_1 a_2-1)(a_1-a_2)$ for equality of two dedekind sums $s(a_1,b)$ and $s(a_2,b)$ given in [Jabuka, Robins and Wang, When are two Dedekind sums equal? Internat. J. Number Theory 7: (2011) 2197--2202] is equivalent to $12s(a_1,b)-12s(a_2,b) \in \mathbb{Z}$. In this note, we give a new proof of this result and then find two additional necessary and sufficient conditions for $12s(a_1,b)-12s(a_2,b) \in 2\mathbb{Z}, 4\mathbb{Z}$. These give new necessary conditions on equality of Dedekind sums.


title: Fiducial and differential cross sections of Higgs boson production measured in the four-lepton decay channel in $pp$ collisions at $\sqrt{s}$=8 TeV with the ATLAS detector

abstract: Measurements of fiducial and differential cross sections of Higgs boson production in the ${H \rightarrow ZZ ^{*}\rightarrow 4\ell}$ decay channel are presented. The cross sections are determined within a fiducial phase space and corrected for detection efficiency and resolution effects. They are based on 20.3 fb$^{-1}$ of $pp$ collision data, produced at $\sqrt{s}$=8 TeV centre-of-mass energy at the LHC and recorded by the ATLAS detector. The differential measurements are performed in bins of transverse momentum and rapidity of the four-lepton system, the invariant mass of the subleading lepton pair and the decay angle of the leading lepton pair with respect to the beam line in the four-lepton rest frame, as well as the number of jets and the transverse momentum of the leading jet. The measured cross sections are compared to selected theoretical calculations of the Standard Model expectations. No significant deviation from any of the tested predictions is found.


title: A close-in companion to HD142384

abstract: I report the detection of a companion around HD142384 from Optical Long Baseline Interferometry in the near-infrared (flux difference DeltaH~4 and separation ~20mas). HD142384 has been used as PSF reference for published observations of the well-known young star HD142527. This is now strongly discouraged.


title: The 3D Split-Ring Cavity Lattice: A New Metastructure for Engineering Arrays of Coupled Microwave Harmonic Oscillators

abstract: A new electromagnetic cavity structure, a lattice of 3D cavities consisting of an array of posts and gaps is presented. The individual cavity elements are based on the cylindrical re-entrant (or Klystron) cavity. We show that these cavities can also can be thought of as 3D split-ring resonators, which is confirmed by applying symmetry transformations, each of which is an electromagnetic resonator with spatially separated magnetic and electric field. The characteristics of the cavity is used to mimic phonon behaviour of a one dimensional chain of atoms. It is demonstrated how magnetic field coupling can lead to phonon-like dispersion curves with acoustical and optical branches. The system is able to reproduce a number of effects typical to one-dimensional lattices exhibiting acoustic vibration, such as band gaps, phonon trapping, and effects of impurities. In addition, quasicrystal emulations predict the results expected from this class of ordered structures. The system is easily scalable to simulate 2D and 3D lattices and shows a new way to engineer arrays of coupled microwave resonators with a variety of possible applications to hybrid quantum systems proposed.


title: Robustness of the nonlinear PI control method to ignored actuator dynamics

abstract: This note examines the robustness properties of the nonlinear PI control method to ignored actuator dynamics. It is proven that global boundedness and regulation can be achieved for sector bounded nonlinear systems with unknown control directions if the actuator dynamics are sufficiently fast and the nonlinear PI control gain is chosen from a subclass of the Nussbaum function class. Simulation examples are also presented that demonstrate the validity of our arguments.


title: Study of confinement/deconfinement transition in AdS/QCD with generalized warp factors

abstract: We study analytical solutions of charged black holes and thermally charged AdS with generalized warped factors in Einstein-Maxwell-Dilaton system. We calculate Euclidean action for charged AdS and thermally charged AdS. The actions in both backgrounds are regularized by the method of background subtraction. The study of phase transition between charged black hole and thermally charged AdS gives an insight to the confinement/deconfinement transition. The plots of grand potential vs temperature and chemical potential vs transition temperature are obtained.


title: Simulations on Consumer Tests: A Perspective for Driver Assistance Systems

abstract: This article discusses new challenges for series development regarding the vehicle safety that arise from the recently published AEB test protocol by the consumer-test-organisation EuroNCAP for driver assistance systems [6]. The tests from the test protocol are of great significance for an OEM that sells millions of cars each year, due to the fact that a positive rating of the vehicle-under-test (VUT) in safety relevant aspects is important for the reputation of a car manufacturer. The further intensification and aggravation of the test requirements for those systems is one of the challenges, that has to be mastered in order to continuously make significant contributions to safety for high-volume cars. Therefore, it is to be shown how a simulation approach may support the development process, especially with tolerance analysis. This article discusses the current stage of work, steps that are planned for the future and results that can be expected at the end of such an analysis.


title: The RD53 Collaboration's SystemVerilog-UVM Simulation Framework and its General Applicability to Design of Advanced Pixel Readout Chips

abstract: The foreseen Phase 2 pixel upgrades at the LHC have very challenging requirements for the design of hybrid pixel readout chips. A versatile pixel simulation platform is as an essential development tool for the design, verification and optimization of both the system architecture and the pixel chip building blocks (Intellectual Properties, IPs). This work is focused on the implemented simulation and verification environment named VEPIX53, built using the SystemVerilog language and the Universal Verification Methodology (UVM) class library in the framework of the RD53 Collaboration. The environment supports pixel chips at different levels of description: its reusable components feature the generation of different classes of parameterized input hits to the pixel matrix, monitoring of pixel chip inputs and outputs, conformity checks between predicted and actual outputs and collection of statistics on system performance. The environment has been tested performing a study of shared architectures of the trigger latency buffering section of pixel chips. A fully shared architecture and a distributed one have been described at behavioral level and simulated; the resulting memory occupancy statistics and hit loss rates have subsequently been compared.


title: Boundary terms in quantum field theory and the spin structure of QCD

abstract: Determining how boundary terms behave in a quantum field theory (QFT) is crucial for understanding the dynamics of the theory. Nevertheless, boundary terms are often neglected using classical-type arguments which are no longer justified in the full quantum theory. In this paper we address this problem by establishing a necessary and sufficient condition for arbitrary spatial boundary terms to vanish in a general QFT. As an application of this condition we examine the issue of whether the angular momentum operator in Quantum Chromodynamics (QCD) has a physically meaningful quark-gluon decomposition. Using this condition it appears as though this is not the case, and that it is in fact the non-perturbative QCD structure which prevents the possibility of such a decomposition.


title: Exploring the relationship between black hole accretion and star formation with blind mid-/far-infrared spectroscopic surveys

abstract: We present new estimates of redshift-dependent luminosity functions of IR lines detectable by SPICA/SAFARI and excited both by star formation and by AGN activity. The new estimates improve over previous work by using updated evolutionary models and dealing in a self consistent way with emission of galaxies as a whole, including both the starburst and the AGN component. New relationships between line and AGN bolometric luminosity have been derived and those between line and IR luminosities of the starburst component have been updated. These ingredients were used to work out predictions for the source counts in 11 mid/far-IR emission lines partially or entirely excited by AGN activity. We find that the statistics of the emission line detection of galaxies as a whole is mainly determined by the star formation rate, because of the rarity of bright AGNs. We also find that the slope of the line integral number counts is flatter than 2 implying that the number of detections at fixed observing time increases more by extending the survey area than by going deeper. We thus propose a wide spectroscopic survey of 1 hour integration per field-of-view over an area of 5 deg$^{2}$ to detect (at 5$\sigma$) $\sim$760 AGNs in [OIV]25.89$\mu$m $-$ the brightest AGN mid-infrared line $-$ out to $z\sim2$. Pointed observations of strongly lensed or hyper-luminous galaxies previously detected by large area surveys such as those by Herschel and by the SPT can provide key information on the galaxy-AGN co-evolution out to higher redshifts.


title: Design of a spin-wave majority gate employing mode selection

abstract: The design of a microstructured, fully functional spin-wave majority gate is presented and studied using micromagnetic simulations. This all-magnon logic gate consists of three-input waveguides, a spin-wave combiner and an output waveguide. In order to ensure the functionality of the device, the output waveguide is designed to perform spin-wave mode selection. We demonstrate that the gate evaluates the majority of the input signals coded into the spin-wave phase. Moreover, the all-magnon data processing device is used to perform logic AND-, OR-, NAND- and NOR- operations.


title: The degenerative evolution from multicellularity to unicellularity during cancer

abstract: Theoretical reasoning suggests that human cancer may result from knocking down the genetic constraints evolved for maintenance of the metazoan multicellularity, which, however, requires a critical test. Using xenograft-based experimental evolution we characterized for the first time the full life history from initiation to metastasis of a tumor at the genomic and transcriptomic levels, and observed metastasis-driving positive selection for generally loss-of-function mutations on a set of multicellularity-related genes, which is further supported by large-scale exome data of clinical tumor samples. Subsequent expression analysis revealed mainly expression down-regulation of multicellularity-related genes, which form an evolving expression profile approaching that of embryonic stem cells, the cell type with the most characteristics of unicellular life. The theoretical conjecture predicts that genes born at the emergence of metazoan multicellularity tend to be cancer drivers, which we validated using a rigorous phylostratigraphy analysis on the birth rate of genes annotated by Cancer Gene Census. Also, the number of loss-of-function tumor suppressors often predominates over activated oncogenes in a typical tumor of human patients. These data collectively suggest that, different from typical organismal evolution in which gain of new genes is the mainstream, cancer represents a loss-of-function-driven degenerative evolution back to the unicellular ground state. This cancer evolution model may explain the enormous tumoral genetic heterogeneity in the clinic, underlie how distant-organ metastases originate in primary tumors despite distinct environmental requirements, and hold implications for designing effective cancer therapy.


title: A new distribution for robust least squares

abstract: A new distribution is introduced, which we call the twin-t distribution. This distribution is heavy-tailed like the t distribution, but closer to normality in the central part of the curve. Its properties are described, e.g. the pdf, the distribution function, moments, and random number generation. This distribution could have many applications, but here we focus on its use as an aid to robustness. We give examples of its application in robust regression and in curve fitting. Extensions such as skew and multivariate twin-t distributions, and a twin of


title: Review on magnetic and related properties of RTX compounds

abstract: RTX (R=rare earths, T= 3d/4d/5d, transition metals such as Sc, Ti, Mn, Fe, Co, Ni, Cu, Ru, Rh, Pd, Ag, Os, Ir, Pt, Au, and X=p-block elements such as Al, Ga, In, Si, Ge, Sn, As, Sb, Bi) series is a huge family of intermetallics compounds. These compounds crystallize in different crystal structures depending on the constituents. Though these compounds have been known for a long time, they came to limelight recently in view of the large magnetocaloric effect (MCE) and magnetoresistance (MR) shown by many of them. Most of these compounds crystallize in hexagonal and tetragonal crystal structures. Some of them show crystal structure modification with annealing temperature; while a few of them show iso-structural transition in the paramagnetic regime. Their magnetic ordering temperatures vary from very low temperatures to temperatures well above room temperature (~510 K). Depending on the crystal structure, they show a variety of magnetic and electrical properties. These compounds have been characterized by means of a variety of techniques/measurements such as x-ray diffraction, neutron diffraction, magnetic properties, heat capacity, magnetocaloric properties, electrical resistivity, magnetoresistance, thermoelectric power, thermal expansion, Hall effect, optical properties, XPS, M\"ossbauer spectroscopy, ESR, {\mu}SR, NMR, NQR etc. Some amount of work on theoretical calculations on electronic structure, crystal field interaction and exchange interactions has also been reported. The interesting aspect of this series is that they show a variety of physical properties such as Kondo effect, heavy fermion behavior, spin glass state, intermediate valence, superconductivity, multiple magnetic transitions, metamagnetism, large MCE, large positive as well as negative MR, spin orbital compensation, magnetic polaronic behavior, pseudo gap effect etc.


title: Origin of structural and magnetic transitions in BaFe$_{2-x}$Ru$_x$As$_2$ materials

abstract: Using the experimentally measured temperature and doping dependent structural parameters on Ru doped BaFe$_2$As$_2$, orbital-dependent reconstruction of the electronic structure across the magnetostructural transition is found, through first principle simulations. Below structural transition there exists two distinct Fe - Fe bond distances which modifies the Fe-d$_{xy}$ orbital largely due to its planar spatial extension leading to Lifshitz transition, while the otherwise degenerate Fe-d$_{xz}$ and d$_{yz}$ orbitals become non-degenerate, giving rise to orbital order. The orbital order follows the temperature dependence of orthorhombocity and is also the cause of two distinct Fe - Fe bond distances. Doping dependent Fermi surfaces show nearly equal expansion of both the electron and hole like Fermi surfaces whereas the hole Fermi surface shrinks with temperature but the electron Fermi surface expands comparatively slowly. The observed structural transition in this compound is electronic in origin, occurs close to the Lifshitz transition whereas the suppression of the concurrent magnetic transition is due to loss of temperature dependent nesting of Fermi surface.


title: Evolution of sparsity and modularity in a model of protein allostery

abstract: The sequence of a protein is not only constrained by its physical and biochemical properties under current selection, but also by features of its past evolutionary history. Understanding the extent and the form that these evolutionary constraints may take is important to interpret the information in protein sequences. To study this problem, we introduce a simple but physical model of protein evolution where selection targets allostery, the functional coupling of distal sites on protein surfaces. This model shows how the geometrical organization of couplings between amino acids within a protein structure can depend crucially on its evolutionary history. In particular, two scenarios are found to generate a spatial concentration of functional constraints: high mutation rates and fluctuating selective pressures. This second scenario offers a plausible explanation for the high tolerance of natural proteins to mutations and for the spatial organization of their least tolerant amino acids, as revealed by sequence analyses and mutagenesis experiments. It also implies a faculty to adapt to new selective pressures that is consistent with observations. Besides, the model illustrates how several independent functional modules may emerge within a same protein structure, depending on the nature of past environmental fluctuations. Our model thus relates the evolutionary history and evolutionary potential of proteins to the geometry of their functional constraints, with implications for decoding and engineering protein sequences.


title: CMC hierarchy II: Non-commuting symmetries and affine Kac-Moody algebra

abstract: Continuing the previous work, we propose a further extension of the structure equation for a truncated CMC hierarchy by the non-commuting, truncated Virasoro algebra of non-local symmetries. Via a canonical dressing transformation, we first define a wave function for the CMC hierarchy. This leads to a pair of additional formal Killing fields, and the corresponding spectral Killing field is defined by a purely algebraic formula up to an integrable extension. The extended CMC hierarchy is obtained by packaging these data into the associated affine Kac-Moody algebra valued Killing fields. The log of tau function of the extended CMC hierarchy is defined as the central component of the affine extension of the spectral Killing field. We give a closed formula for the tau function in terms of the determinant of the spectral Killing field.


title: Mixed quantal-semiquantal dynamics with stochastic particles for backreaction

abstract: A mixed quantal-semiquantal theory is presented in which the semiquantal squeezed-state wave packet describes the heavy degrees of freedom. We first derive mean-field equations of motion from the time-dependent variational principle. Then, in order to take into account the interparticle correlation, in particular the 'quantum backreaction' beyond the mean-field approximation, we introduce the stochastic particle description for both the quantal and semiquantal parts. A numerical application on a model of O2 scattering from a Pt surface demonstrates that the proposed scheme gives correct asymptotic behavior of the scattering probability, with improvement over the mixed quantum-classical scheme with Bohmian particles, which is comprehended by comparing the Bohmian and the stochastic trajectories.


title: Jackson's integral of multiple Hurwitz-Lerch zeta functions and multiple gamma functions

abstract: Using the Jackson integral, we obtain the $q$-integral analogue of the Raabe type formulas for Barnes multiple Hurwitz-Lerch zeta functions and Barnes and Vardi's multiple gamma functions. Our results generalize $q$-integral analogue of the Raabe type formulas for the Hurwitz zeta functions and log gamma functions in [N. Kurokawa, K. Mimachi, and M. Wakayama, Jackson's integral of the Hurwitz zeta function, Rend. Circ. Mat. Palermo (2) 56 (2007), no. 1, 43--56]. During the proof we also obtain a new formula on the relationship between the higher and lower orders Hurwitz zeta functions.


title: Iron based superconductors: A brief overview

abstract: Fe-based superconductors were discovered in 2008. This discovery with T$_c$ values up to 56 K, generated a new belief in the field of superconductivity. Till its discovery, high temperature superconductivity in cuprates, created a prejudice that Cu-oxides are essential building blocks for a high temperature superconducting material. These Fe based superconductors do not contain Cu-O planes (some of the materials are even O free). It will be argued in this review, that these iron pnictide and chalcogenide (FePn/Ch) superconductors have Fe electrons at the Fermi surface together with an unusual Fermiology that can change rapidly with doping. This may lead to very different normal and superconducting state properties compared to those in standard electron-phonon coupled {\it conventional} superconductors. There are a large number of evidences showing that superconductivity, magnetism, orbital fluctuations are intimately related and coexist in these materials although the mechanism of superconductivity in these compounds is still unknown. The electronic specific heat, $\frac{2\Delta}{k_B T_c}$ ratio, phase diagrams, isotope effect, crystal structures and there correlation to T$_c$ from various available experimental data are main inputs of this review to show the above.


title: A Novel (k,n) Secret Sharing Scheme from Quadratic Residues for Grayscale Images

abstract: A new grayscale image encryption algorithm based on $(k,n)$ threshold secret sharing is proposed. The scheme allows a secret image to be transformed into $n$ shares, where any $k \le n$ shares can be used to reconstruct the secret image, while the knowledge of $k-1$ or fewer shares leaves no sufficient information about the secret image and it becomes hard to decrypt the transmitted image. In the proposed scheme, the pixels of the secret image are first permuted and then encrypted by using quadratic residues. In the final stage, the encrypted image is shared into n shadow images using polynomials of Shamir scheme. The proposed scheme is provably secure and the experimental results shows that the scheme performs well while maintaining high levels of quality in the reconstructed image.


title: Efficient numerical solution of the time fractional diffusion equation by mapping from its Brownian counterpart

abstract: The solution of a Caputo time fractional diffusion equation of order $0<\alpha<1$ is expressed in terms of the solution of a corresponding integer order diffusion equation. We demonstrate a linear time mapping between these solutions that allows for accelerated computation of the solution of the fractional order problem. In the context of an $N$-point finite difference time discretisation, the mapping allows for an improvement in time computational complexity from $O\left(N^2\right)$ to $O\left(N^\alpha\right)$, given a precomputation of $O\left(N^{1+\alpha}\ln N\right)$. The mapping is applied successfully to the least-squares fitting of a fractional advection diffusion model for the current in a time-of-flight experiment, resulting in a computational speed up in the range of one to three orders of magnitude for realistic problem sizes.


title: The Moduli Space of Cubic Rational Maps

abstract: We construct the moduli space, $M_d$, of degree $d$ rational maps on $\mathbb{P}^1$ in terms of invariants of binary forms. We apply this construction to give explicit invariants and equations for $M_3$. Using classical invariant theory, we give solutions to the following problems: (1) explicitly construct, from a moduli point $P\in M_d(k)$, a rational map $\phi$ with the given moduli; (2) find a model for $\phi$ over the field of definition (i.e. explicit descent). We work out the method in detail for the cases $d=2,3$.


title: Superresolution Multipoint Ranging with Optimized Sampling via Orthogonally Designed Golomb Rulers

abstract: We consider the problem of performing ranging measurements between a source and multiple receivers efficiently and accurately, as required by distance-based wireless localization systems. To this end, a new multipoint ranging algorithm is proposed, which is obtained by adapting superresolution techniques to the ranging problem, using for the sake of illustration the specific cases of ToA and PDoA, unified under the same mathematical framework. The algorithm handles multipoint ranging in an efficient manner by employing an orthogonalized non-uniform sampling scheme optimised via Golomb rulers. Since the approach requires the design of mutually orthogonal sets of Golomb rulers with equivalent properties -- a problem that founds no solution in current literature -- a new genetic algorithm to accomplish this task is presented, which is also found to outperform the best known alternative when used to generate a single ruler. Finally, a CRLB analysis of the overall optimised multipoint ranging solution is performed, which together with a comparison against simulation results validates the proposed techniques.


title: On certain finiteness questions in the arithmetic of modular forms

abstract: We investigate certain finiteness questions that arise naturally when studying approximations modulo prime powers of p-adic Galois representations coming from modular forms. We link these finiteness statements with a question by K. Buzzard concerning p-adic coefficient fields of Hecke eigenforms. Specifically, we conjecture that for fixed N, m, and prime p with p not dividing N, there is only a finite number of reductions modulo p^m of normalized eigenforms on \Gamma_1(N). We consider various variants of our basic finiteness conjecture, prove a weak version of it, and give some numerical evidence.


title: Global Fukaya category II: singular connections, quantum obstruction theory, and other applications

abstract: In part I, using the theory of $\infty$-categories, we constructed a natural ``continuous action'' of $\operatorname {Ham} (M, \omega) $ on the Fukaya category of a closed monotone symplectic manifold. Here we show that this action is generally homotopically non-trivial, i.e implicitly the main part of a conjecture of Teleman. We use this to give various applications. For example we find new curvature constraint phenomena for smooth and singular $\mathcal{G}$-connections on principal $\mathcal{G}$-bundles over $S ^{4}$, where $\mathcal{G}$ is $\operatorname {PU} (2)$ or $\operatorname {Ham} (S ^{2} )$. Even for the classical group $\operatorname {PU} (2)$, these phenomena are invisible to Chern-Weil theory, and are inaccessible to known Yang-Mills theory and quantum characteristic classes techniques. So this can be understood as one application of Floer theory and the theory of $\infty$-categories in basic differential geometry. We also develop, based on this $\infty$-categorical Fukaya theory, some basic new integer valued invariants of smooth manifolds, called quantum obstruction. On the way we also construct what we call quantum Maslov classes, which are higher degree variants of the relative Seidel morphism. This also leads to new applications in Hofer geometry of the space of Lagrangian equators in $S^2$.


title: Combinatorics of Bi-Freeness with Amalgamation

abstract: In this paper, we develop the theory of bi-freeness in an amalgamated setting. We construct the operator-valued bi-free cumulant functions, and show that the vanishing of mixed cumulants is necessary and sufficient for bi-free independence. Further, we develop a multiplicative convolution for operator-valued random variables and explore ways to construct bi-free pairs of B-faces.


title: Homotopy excision and cellularity

abstract: Consider a push-out diagram of spaces C <-- A --> B, construct the homotopy push-out, and then the homotopy pull-back of the diagram one gets by forgetting the initial object A. We compare the difference between A and this homotopy pull-back. This difference is measured in terms of the homotopy fibers of the original maps. Restricting our attention to the connectivity of these maps, we recover the classical Blakers-Massey Theorem.


title: A measurement based software quality framework

abstract: In this report we propose a solution to problem of the dependency on the experience of the software project quality assurance personnel by providing a transparent, objective and measurement based quality framework. The framework helps the quality assurance experts making objective and comparable decisions in software projects by defining and assessing measurable quality goals and thresholds, directly relating these to an escalation mechanism. First results of applying the proposed measurement based software quality framework in a real life case study are also addressed in this report.


title: The new insight into gallium nitride (GaN) melting under pressure

abstract: Results solving the long standing puzzle regarding the phase diagram and the pressure evolution of the melting temperature Tm(P) of gallium nitride (GaN), the most promising semiconducting material for innovative modern electronic applications, are presented. The analysis is based on (i) studies of the decomposition curve in P-T plane up to challenging P equal 9 GPa, (ii) novel method enabling Tm(P) determination despite the earlier decomposition, and (iii) the pressure invariant parameterization of Tm(P) curve, showing the reversal melting for P greater-than 22 GPa. This is linked to a possible fluid-fluid crossover under extreme pressures and temperatures. The importance of results for the development of GaN based technologies is indicated.


title: Coding theorems for hybrid channels. II

abstract: The present work continues investigation of the capacities of measurement (quantum-classical) channels in the most general setting, initiated in~\cite{HCT}. The proof of coding theorems is given for the classical capacity and entanglement-assisted classical capacity of the measurement channel with arbitrary output alphabet, without assuming that the channel is given by a bounded operator-valued density.


title: On normal, formally normal and quasinormal composition operators in $\ell^2$-spaces

abstract: Unbounded composition operators in $L^2$-space over discrete measure spaces are investigated. Normal, formally normal and quasinormal composition operators acting in $L^2$-spaces of this kind are characterized.


title: Extended Hodge Theory for Fibred Cusp Manifolds

abstract: For a particular class of pseudo manifolds, we show that the intersection cohomology groups for any perversity may be naturally represented by extended weighted $L^2$ harmonic forms for a complete metric on the regular stratum with respect to some weight determined by the perversity. Extended weighted $L^2$ harmonic forms are harmonic forms that are almost in the given weighted $L^2$ space for the metric in question, but not quite. This result is akin to the representation of absolute and relative cohomology groups for a manifold with boundary by extended harmonic forms on the associated manifold with cylindrical ends. As in that setting, in the unweighted $L^2$ case, the boundary values of the extended harmonic forms define a Lagrangian splitting of the boundary space in the long exact sequence relating upper and lower middle perversity intersection cohomology groups.


title: Modified light cone condition via vacuum polarization in a time dependent field

abstract: The appearance of unconventional vacuum properties in intense fields has long been an active field of research. In this paper the vacuum polarization effect is investigated via a pump probe scheme of a probe light propagating in the vacuum excited by two counter-propagating laser beams. The modified light cone condition of the probe light is derived analytically for the situation that it passes through the electric/magnetic antinode plane of the pump field. The derivation does not follow the commonly adopted assumption of treating the pump field as a constant field. Differences from the conventional light cone conditions are identified. The implications of the result are discussed with a consideration of the vacuum birefringence measurement.


title: Closed-loop control of an experimental mixing layer using machine learning control

abstract: A novel framework for closed-loop control of turbulent flows is tested in an experimental mixing layer flow. This framework, called Machine Learning Control (MLC), provides a model-free method of searching for the best function, to be used as a control law in closed-loop flow control. MLC is based on genetic programming, a function optimization method of machine learning. In this article, MLC is benchmarked against classical open-loop actuation of the mixing layer. Results show that this method is capable of producing sensor-based control laws which can rival or surpass the best open-loop forcing, and be robust to changing flow conditions. Additionally, MLC can detect non-linear mechanisms present in the controlled plant, and exploit them to find a better type of actuation than the best periodic forcing.


title: Lorentzian Connes Distance, Spectral Graph Distance and Loop Gravity

abstract: Connes' formula defines a distance in loop quantum gravity, via the spinfoam Dirac operator. A simple notion of spectral distance on a graph can be extended do the discrete Lorentzian context, providing a physically natural example of Lorentzian spectral geometry, with a neat space of Dirac operators. The Hilbert structure of the fermion space is Lorentz covariant rather than invariant.


title: The yielding of concentrated cohesive suspensions can be deformation rate dependent

abstract: The yielding of concentrated cohesive suspensions can be deformation-rate dependent. One consquence of this is that a single suspension can present in one several different ways, depending upon how it is tested, or more generally, how it is caused to flow. We have seen variously Herschel-Bulkley flow, highly non-monotonic flow curves and highly erratic or chaotic yield, all in one suspension. In controlled-rate testing one sees a systematic effect of deformation rate. In controlled stress testing, matters are more subtle. Whereas step-stress creep testing will elicit reproducible behaviour, any attempt to determine a flow curve by, e.g. stepping up or sweeping stress at an inappropriate rate can lead to highly irreproducible behaviour.


title: Multivariable Optimization: Quantum Annealing & Computation

abstract: Recent developments in quantum annealing techniques have been indicating potential advantage of quantum annealing for solving NP-hard optimization problems. In this article we briefly indicate and discuss the beneficial features of quantum annealing techniques and compare them with those of simulated annealing techniques. We then briefly discuss the quantum annealing studies of some model spin glass and kinetically constrained systems.


title: Development of a novel neutron detection technique by using a boron layer coating a Charge Coupled Device

abstract: This article describes the design features and the first test measurements obtained during the installation of a novel high resolution 2D neutron detection technique. The technique proposed in this work consists of a boron layer (enriched in ${^{10}}$B) placed on a scientific Charge Coupled Device (CCD). After the nuclear reaction ${^{10}}$B(n,$\alpha$)${^{7}}$Li, the CCD detects the emitted charge particles thus obtaining information on the neutron absorption position. The above mentioned ionizing particles, with energies in the range 0.5-5.5 MeV, produce a plasma effect in the CCD which is recorded as a circular spot. This characteristic circular shape, as well as the relationship observed between the spot diameter and the charge collected, is used for the event recognition, allowing the discrimination of undesirable gamma events. We present the first results recently obtained with this technique, which has the potential to perform neutron tomography investigations with a spatial resolution better than that previously achieved. Numerical simulations indicate that the spatial resolution of this technique will be about 15 $\mu$m, and the intrinsic detection efficiency for thermal neutrons will be about 3 %. We compare the proposed technique with other neutron detection techniques and analyze its advantages and disadvantages.


title: A brief survey on deep belief networks and introducing a new object oriented toolbox (DeeBNet)

abstract: Nowadays, this is very popular to use the deep architectures in machine learning. Deep Belief Networks (DBNs) are deep architectures that use stack of Restricted Boltzmann Machines (RBM) to create a powerful generative model using training data. DBNs have many ability like feature extraction and classification that are used in many applications like image processing, speech processing and etc. This paper introduces a new object oriented MATLAB toolbox with most of abilities needed for the implementation of DBNs. In the new version, the toolbox can be used in Octave. According to the results of the experiments conducted on MNIST (image), ISOLET (speech), and 20 Newsgroups (text) datasets, it was shown that the toolbox can learn automatically a good representation of the input from unlabeled data with better discrimination between different classes. Also on all datasets, the obtained classification errors are comparable to those of state of the art classifiers. In addition, the toolbox supports different sampling methods (e.g. Gibbs, CD, PCD and our new FEPCD method), different sparsity methods (quadratic, rate distortion and our new normal method), different RBM types (generative and discriminative), using GPU, etc. The toolbox is a user-friendly open source software and is freely available on the website http://ceit.aut.ac.ir/~keyvanrad/DeeBNet%20Toolbox.html .


title: Twisting tensor and spin squeezing

abstract: A unified tensor description of quadratic spin squeezing interactions is proposed, covering the single- and two-axis twisting as special cases of a general scheme. A closed set of equations of motion of the first moments and variances is derived in Gaussian approximation and their solutions are discussed from the prospect of fastest squeezing generation. It turns out that the optimum rate of squeezing generation is governed by the difference between the largest and the smallest eigenvalues of the twisting tensor. A cascaded optical interferometer with Kerr nonlinear media is proposed as one of possible realizations of the general scheme.


title: Optimization of periodic single-photon sources

abstract: We introduce a theoretical framework which is suitable for the description of all spatial and time-multiplexed periodic single-photon sources realized or proposed thus far. Our model takes into account all possibly relevant loss mechanisms. This statistical analysis of the known schemes shows that multiplexing systems can be optimized in order to produce maximal single-photon probability for various sets of loss parameters by the appropriate choice of the number of multiplexed units of spatial multiplexers or multiplexed time intervals and the input mean photon pair number, and reveals the physical reasons of the existence of the optimum. We propose a novel time-multiplexed scheme to be realized in bulk optics, which, according to the present analysis, would have promising performance when experimentally realized. It could provide a single-photon probability of 85\% with a choice of experimental parameters which are feasible according to the experiments known from the literature.


title: Community structure benefits the fixation of cooperation under strong selection

abstract: Recent empirical studies suggest that heavy-tailed distributions of human activities are universal in real social dynamics [Muchnik, \emph{et al.}, Sci. Rep. \textbf{3}, 1783 (2013)]. On the other hand, community structure is ubiquitous in biological and social networks [M.~E.~J. Newman, Nat. Phys. \textbf{8}, 25 (2012)]. Motivated by these facts, we here consider the evolutionary Prisoner's dilemma game taking place on top of a real social network to investigate how the community structure and the heterogeneity in activity of individuals affect the evolution of cooperation. In particular, we account for a variation of the birth-death process (which can also be regarded as a proportional imitation rule from social point of view) for the strategy updating under both weak- and strong-selection (meaning the payoffs harvested from games contribute either slightly or heavily to the individuals' performance). By implementing comparative studies, where the players are selected either randomly or in terms of their actual activities to playing games with their immediate neighbors, we figure out that heterogeneous activity benefits the emergence of collective cooperation in harsh environment (the action for cooperation is costly) under strong selection, while it impairs the formation of altruism under weak selection. Moreover, we find that the abundance of communities in the social network can evidently foster the fixation of cooperation under strong-selection, in contrast to the games evolving on the randomized counterparts. Our results are therefore helpful for us to better understand the evolution of cooperation in real social systems.


title: Generation and Decay of Two-Dimensional Quantum Turbulence in a Trapped Bose-Einstein Condensate

abstract: In a recent experiment, Kwon et. al (arXiv:1403.4658 [cond-mat.quant-gas]) generated a disordered state of quantum vortices by translating an oblate Bose-Einstein condensate past a laser-induced obstacle and studying the subsequent decay of vortex number. Using mean-field simulations of the Gross-Pitaevskii equation, we shed light on the various stages of the observed dynamics. We find that the flow of the superfluid past the obstacle leads initially to the formation of a classical-like wake, which later becomes disordered. Following removal of the obstacle, the vortex number decays due to vortices annihilating and reaching the boundary. Our results are in excellent agreement with the experimental observations. Furthermore, we probe thermal effects through phenomenological dissipation.


title: A far-off-resonance optical trap for a Ba$^+$ ion

abstract: Optical trapping and ions combine unique advantages of independently striving fields of research. Light fields can form versatile potential landscapes, such as optical lattices, for neutral and charged atoms, avoiding detrimental implications of established radiofrequency (rf) traps while mediating interaction via long range Coulomb forces, controlling and detecting motional and electronic states on the quantum level. Here we show optical trapping of $^{138}$Ba$^{+}$ ions in the absence of rf fields in a far-detuned dipole trap, suppressing photon scattering by three and the related recoil heating by four orders of magnitude. To enhance the prospects for optical as well as hybrid traps, we demonstrate a novel method for stray electric field compensation to a level below 9 mV/m. Our results will be relevant, for example, for ion-atom ensembles, to enable four to five orders of magnitude lower common temperatures, accessing the regime of ultracold interaction and chemistry, where quantum effects are predicted to dominate.


title: JIDT: An information-theoretic toolkit for studying the dynamics of complex systems

abstract: Complex systems are increasingly being viewed as distributed information processing systems, particularly in the domains of computational neuroscience, bioinformatics and Artificial Life. This trend has resulted in a strong uptake in the use of (Shannon) information-theoretic measures to analyse the dynamics of complex systems in these fields. We introduce the Java Information Dynamics Toolkit (JIDT): a Google code project which provides a standalone, (GNU GPL v3 licensed) open-source code implementation for empirical estimation of information-theoretic measures from time-series data. While the toolkit provides classic information-theoretic measures (e.g. entropy, mutual information, conditional mutual information), it ultimately focusses on implementing higher-level measures for information dynamics. That is, JIDT focusses on quantifying information storage, transfer and modification, and the dynamics of these operations in space and time. For this purpose, it includes implementations of the transfer entropy and active information storage, their multivariate extensions and local or pointwise variants. JIDT provides implementations for both discrete and continuous-valued data for each measure, including various types of estimator for continuous data (e.g. Gaussian, box-kernel and Kraskov-Stoegbauer-Grassberger) which can be swapped at run-time due to Java's object-oriented polymorphism. Furthermore, while written in Java, the toolkit can be used directly in MATLAB, GNU Octave, Python and other environments. We present the principles behind the code design, and provide several examples to guide users.

categories: cs.IT cs.MS cs.SI math.IT nlin.AO physics.data-an


title: Lifshitz flows in IIB and dual field theories

abstract: We construct solutions describing flows between AdS and Lifshitz spacetimes in IIB supergravity. We find that flows from AdS$_5$ can approach either AdS$_3$ or Lifshitz$_3$ in the IR depending on the values of the deformation from AdS$_5$. Surprisingly, the choice between AdS and Lifshitz IR depends only on the value of the deformation, not on its character; the breaking of the Lorentz symmetry in the flows with Lifshitz IR is spontaneous. We find that the values of the deformation which lead to flows to Lifshitz make the UV field theory dual to the AdS$_5$ geometry unstable, so that these flows do not offer an approach to defining the field theory dual to the Lifshitz spacetime.


title: Equivalence of Optical and Electrical Noise Equivalent Power of Hybrid NbTiN-Al Microwave Kinetic Inductance Detectors

abstract: We have measured and compared the response of hybrid NbTiN-Al Microwave Kinetic Inductance Detectors (MKIDs) to changes in bath temperature and illumination by sub-mm radiation. We show that these two stimulants have an equivalent effect on the resonance feature of hybrid MKIDs. We determine an electrical NEP from the measured temperature responsivity, quasiparticle recombination time, superconducting transition temperature and noise spectrum, all of which can be measured in a dark environment. For the two hybrid NbTiN-Al MKIDs studied in detail the electrical NEP is within a factor of two of the optical NEP, which is measured directly using a blackbody source.


title: Modelling the magnetic activity & filtering radial velocity curves of young Suns: the weak-line T Tauri star LkCa 4

abstract: We report results of a spectropolarimetric and photometric monitoring of the weak-line T Tauri star LkCa4 within the MaTYSSE programme, involving ESPaDOnS at the Canada-France-Hawaii Telescope. Despite an age of only 2Myr and a similarity with prototypical classical T Tauri stars, LkCa4 shows no evidence for accretion and probes an interesting transition stage for star and planet formation. Large profile distortions and Zeeman signatures are detected in the unpolarized and circularly-polarized lines of LkCa4 using Least-Squares Deconvolution (LSD), indicating the presence of brightness inhomogeneities and magnetic fields at the surface of LkCa4. Using tomographic imaging, we reconstruct brightness and magnetic maps of LkCa4 from sets of unpolarized and circularly-polarized LSD profiles. The large-scale field is strong and mainly axisymmetric, featuring a ~2kG poloidal component and a ~1kG toroidal component encircling the star at equatorial latitudes - the latter making LkCa4 markedly different from classical TTauri stars of similar mass and age. The brightness map includes a dark spot overlapping the magnetic pole and a bright region at mid latitudes - providing a good match to the contemporaneous photometry. We also find that differential rotation at the surface of LkCa4 is small, typically ~5.5x weaker than that of the Sun, and compatible with solid-body rotation. Using our tomographic modelling, we are able to filter out the activity jitter in the RV curve of LkCa4 (of full amplitude 4.3km/s) down to a rms precision of 0.055km/s. Looking for hot Jupiters around young Sun-like stars thus appears feasible, even though we find no evidence for such planets around LkCa4.


title: Measurement of the transverse target and beam-target asymmetries in $\eta$ meson photoproduction at MAMI

abstract: We present new data for the transverse target asymmetry T and the very first data for the beam-target asymmetry F in the $\vec \gamma \vec p\to\eta p$ reaction up to a center-of-mass energy of W=1.9 GeV. The data were obtained with the Crystal-Ball/TAPS detector setup at the Glasgow tagged photon facility of the Mainz Microtron MAMI. All existing model predictions fail to reproduce the new data indicating a significant impact on our understanding of the underlying dynamics of $\eta$ meson photoproduction. The peculiar nodal structure observed in existing T data close to threshold is not confirmed.


title: Role of magnetic degrees of freedom in a scenario of phase transformations in steel

abstract: The diversity of mesostructures formed in steel at cooling from a high-temperature austenite ("gamma") phase is determined by the interplay of shear reconstructions of crystal lattice and diffusion of carbon. Combining first-principles calculations with large-scale phase-field simulations we demonstrate a decisive role of magnetic degrees of freedom in the formation of energy relief along the Bain path of "gamma"-"alpha" transformation and, thus, in this interplay. We show that there is the main factor, namely, the magnetic state of iron and its evolution with temperature which controls the change in character of the transformation. Based on the computational results we propose a simple model which reproduces, in good agreement with experiment, the most important curves of the phase transformation in Fe-C, namely, the lines relevant to a start of ferrite, bainite, and martensite transformations. Phase-field simulations within the model describe qualitatively typical patterns at these transformations.


title: A strongly heated neutron star in the transient Z source MAXI J0556-332

abstract: We present Chandra, XMM-Newton, and Swift observations of the quiescent neutron star in the transient low-mass X-ray binary MAXI J0556-332. Observations of the source made during outburst (with the Rossi X-ray Timing Explorer) reveal tracks in its X-ray color--color and hardness--intensity diagrams that closely resemble those of the neutron-star Z sources, suggesting that MAXI J0556-332 had near- or super-Eddington luminosities for a large part of its ~16 month outburst. A comparison of these diagrams with those of other Z sources suggests a source distance of 46+/-15 kpc. Fits to the quiescent spectra of MAXI J0556-332 with a neutron-star atmosphere model (with or without a power-law component) result in distance estimates of 45+/-3 kpc, for a neutron-star radius of 10 km and a mass of 1.4 Msun. The spectra show the effective surface temperature of the neutron star decreasing monotonically over the first ~500 days of quiescence, except for two observations that were likely affected by enhanced low-level accretion. The temperatures we obtain for the fits that include a power-law (kT_eff=184-308 eV) are much higher than those seen for any other neutron star heated by accretion, while the inferred cooling (e-folding) timescale (~200 days) is similar to other sources. Fits without a power-law yield higher temperatures (kT_eff=190-336 eV) and a shorter e-folding time (~160 days). Our results suggest that the heating of the neutron-star crust in MAXI J0556-332 was considerably more efficient than for other systems, possibly indicating additional or more efficient shallow heat sources in its crust.


title: Spin effects probed by Rayleigh X-ray scattering off hydrogenic ions

abstract: We study the polarization characteristics of x-ray photons scattered by hydrogenic atoms, based on the Dirac equation and second-order perturbation theory. The relativistic states used in calculations are obtained using the finite basis set method and expressed in terms of B-splines and B-polynomials. We derive general analytical expressions for the polarization-dependent total cross sections, which are applicable to any atom and ion, and evaluate them separately for linear and circular polarization of photons. In particular, detailed calculations are performed for the integrated Stokes parameters of the scattered light for hydrogen as well as hydrogenlike neon and argon. Analyzing such integrated Stokes parameters, special attention is given to the electron-photon spin-spin interaction, which mostly stems from the magnetic-dipole contribution of the electron-photon interaction. Subsequently, we find an energy window for the selected targets in which such spin-spin interactions can be probed.


title: The adiabatic static linear response function in nonextensive statistical mechanics

abstract: We analyze the difference between the three generations of the energy constraint in nonextensive statistical mechanics. Using the third generation of the energy constraint, we revise the isothermal static linear response function and then derive the adiabatic static linear response function under the adiabatic condition. We present the relationship between the isothermal and adiabatic linear response functions.


title: A maximum-entropy description of animal movement

abstract: We introduce a class of maximum-entropy states that naturally includes within it all of the major continuous-time stochastic processes that have been applied to animal movement, including Brownian motion, Ornstein-Uhlenbeck motion, integrated Ornstein-Uhlenbeck motion, a recently discovered hybrid of the previous models, and a new model that describes central-place foraging. We are also able to predict a further hierarchy of new models that will emerge as data quality improves to better resolve the underlying continuity of animal movement. Finally, we also show that Langevin equations must obey a fluctuation-dissipation theorem to generate processes that fall from this class of maximum-entropy distributions.


title: Did the ever dead outnumber the living and when? A birth-and-death approach

abstract: This paper is an attempt to formalize analytically the question raised in "World Population Explained: Do Dead People Outnumber Living, Or Vice Versa?" Huffington Post, \cite{HJ}. We start developing simple deterministic Malthusian growth models of the problem (with birth and death rates either constant or time-dependent) before running into both linear birth and death Markov chain models and age-structured models.


title: Nonlocality and conflicting interest games

abstract: Nonlocality enables two parties to win specific games with probabilities strictly higher than allowed by any classical theory. Nevertheless, all known such examples consider games where the two parties have a common interest, since they jointly win or lose the game. The main question we ask here is whether the nonlocal feature of quantum mechanics can offer an advantage in a scenario where the two parties have conflicting interests. We answer this in the affirmative by presenting a simple conflicting interest game, where quantum strategies outperform classical ones. Moreover, we show that our game has a fair quantum equilibrium with higher payoffs for both players than in any fair classical equilibrium. Finally, we play the game using a commercial entangled photon source and demonstrate experimentally the quantum advantage.


title: Atom-canonicity and complete representations for cylindric-like algebras, and omitting types for the clque guarded fragment of first order logic

abstract: Fix a finite ordinal n>2. We show that there exists an atomic, simple and countable representable CA_n, such that its minimal completion is outside SNr_nCA_{n+3}. Hence, for any finite k\geq 3, the variety SNr_nCA_{n+k} is not atom-canonical, so that the variety of CA_n's having n+k-flat representations is not atom-canonical, too. We show, for finite k\geq 3, that S_cNr_nCA_{n+k} is not elementary, hence the class of CA_n's having complete n+3-smooth representations is not elementary. We obtain analogous results by replacing flat and smooth, respectively, by (the weaker notion of) square; this give a stronger result in both cases and here we can allow k to be infinite. Our results are proved using rainbow constructions for CA's. We lift the negative result on atom-canonicity to the transfinite. We also show that for any ordinal \alpha\geq \omega, for any finite k\geq 1, and for any r\in \omega, there exists an atomic algebra A_r\in SNr_\alphaCA_{\alpha+k}\sim SNr_nCA_{\alpha+k+1}, such that \Pi_{r/U} A_r\in RCA_{\alpha} where U is any non--principal ultrafilter on \omega. Reaping the harvest of our algebraic results we investigate a plethora of omitting types theorems for variants of first logic including its finite variable fragments and its packed fragment.


title: Assessment of asymptotically corrected model potential scheme for charge-transfer-like excitations in oligoacenes

abstract: We examine the performance of the asymptotically corrected model potential scheme on the two lowest singlet excitation energies of acenes with different number of linearly fused benzene rings (up to 5), employing both the real-time time-dependent density functional theory and the frequency-domain formulation of linear-response time-dependent density functional theory. The results are compared with the experimental data and those calculated by long-range corrected hybrid functionals and others. The long-range corrected hybrid scheme is shown to outperform the asymptotically corrected model potential scheme for charge-transfer-like excitations.


title: The near infrared camera for the Subaru Prime Focus Spectrograph

abstract: We present the detailed design of the near infrared camera for the SuMIRe (Subaru Measurement of Images and Redshifts) Prime Focus Spectrograph (PFS) being developed for the Subaru Telescope. The PFS spectrograph is designed to collect spectra from 2394 objects simultaneously, covering wavelengths that extend from 380 nm - 1.26 um. The spectrograph is comprised of four identical spectrograph modules, with each module collecting roughly 600 spectra from a robotic fiber positioner at the telescope prime focus. Each spectrograph module will have two visible channels covering wavelength ranges 380 nm - 640 nm and 640 nm - 955 nm, and one near infrared (NIR) channel with a wavelength range 955 nm - 1.26 um. Dispersed light in each channel is imaged by a 300 mm focal length, f/1.07, vacuum Schmidt camera onto a 4k x 4k, 15 um pixel, detector format. For the NIR channel a HgCdTe substrate-removed Teledyne 1.7 um cutoff device is used. In the visible channels, CCDs from Hamamatsu are used. These cameras are large, having a clear aperture of 300 mm at the entrance window, and a mass of ~ 250 kg. Like the two visible channel cameras, the NIR camera contains just four optical elements: a two-element refractive corrector, a Mangin mirror, and a field flattening lens. This simple design produces very good imaging performance considering the wide field and wavelength range, and it does so in large part due to the use of a Mangin mirror (a lens with a reflecting rear surface) for the Schmidt primary. In the case of the NIR camera, the rear reflecting surface is a dichroic, which reflects in-band wavelengths and transmits wavelengths beyond 1.26 um. This, combined with a thermal rejection filter coating on the rear surface of the second corrector element, greatly reduces the out-of-band thermal radiation that reaches the detector.


title: PT-symmetry in macroscopic magnetic structures

abstract: We introduce the notion of PT-symmetry in magnetic nanostructures and show that they can support a new type of non-Hermitian dynamics. Using the simplest possible set-up consisting of two coupled ferromagnetic films, one with loss and another one with a balanced amount of gain, we demonstrate the existence of a spontaneous PT-symmetry breaking point where both the eigenfrequencies and eigenvectors are degenerate. Below this point the frequency spectrum is real indicating stable dynamics while above this point it is complex signaling unstable dynamics.

categories: cond-mat.mes-hall math-ph math.MP nlin.CD


title: SAT for pedestrians

abstract: The aim of this short note is mainly pedagogical. It summarizes some knowledge about Boolean satisfiability (SAT) and the P=NP? problem in an elementary mathematical language. A convenient scheme to visualize and manipulate CNF formulae is introduced. Also some results like the formulae for the number of unsatisfied clauses and the number of solutions might be unknown.


title: Determinants of Circulant Matrices with Some Certain Sequences

abstract: Let $\{a_k\}$ be a sequence of real numbers defined by an $m$th order linear homogenous recurrence relation. In this paper we obtain a determinant formula for the circulant matrix $A=circ(a_1, a_2, \cdots, a_n)$, providing a generalization of determinantal results in papers of Bozkurt \cite{Bozkurt}, Bozkurt and Tam \cite{BozkurtTam}, and Shen, et al. \cite{ShenCenHao}.


title: Diffusion under a flat potential with time dependent sink

abstract: The Smoluchowski equation for a free particle with a time dependent sink is solved exactly for many special cases. In this method by knowing the probability distribution at the origin P(0,t), one may derive the probability distribution at all positions i.e. P(x,t)


title: Nonlinear eigenvalue approximation for compact operators

abstract: In \cite{Os} a general spectral approximation theory was developed for compact operators on a Banach space which does not require that the operators be self-adjoint and also provides a first order correction term. Here we extend some of the results of that paper to nonlinear eigenvalue problems. We present examples of its application that arise in electromagnetics.


title: Exact results on diffusion in a piecewise linear potential with a time dependent sink

abstract: The Smoluchowski equation with a time dependent sink term is solved exactly. In this method by knowing the probability distribution at the origin P(0,s), one may derive the probability distribution at all positions i.e., P(x,s). Further the exact solution for Smoluchowski equation are also provided in different cases where the sink term has linear, constant, inverse and exponential variation in time.


title: The problem of describing central measures on path space of graded graphs

abstract: We suggest a new method of describing invariant measures on Markov compacta and path spaces of graphs, and thus of describing characters of some groups and traces of AF-algebras. The method relies on properties of filtrations associated with the graph and, in particular, on the notion of a standard filtration. The main tool is the so-called internal metric that we introduce on simplices of measures; it is an iterated Kantorovich metric, and the key result is that the relative compactness in this metric guarantees a constructive enumeration of the ergodic invariant measures. Applications include a number of classical theorems on invariant measures


title: On the Erdos-Ko-Rado Theorem and the Bollobas Theorem for t-intersecting families

abstract: A family $\mathcal{F}$ is $t$-$\it{intersecting}$ if any two members have at least $t$ common elements. Erd\H os, Ko, and Rado proved that the maximum size of a $t$-intersecting family of subsets of size $k$ is equal to $ {{n-t} \choose {k-t}}$ if $n\geq n_0(k,t)$. Alon, Aydinian, and Huang considered families generalizing intersecting families, and proved the same bound. In this paper, we give a strengthening of their result by considering families generalizing $t$-intersecting families for all $t \geq 1$. In 2004, Talbot generalized Bollob\'{a}s's Two Families Theorem to $t$-intersecting families. In this paper, we proved a slight generalization of Talbot's result by using the probabilistic method.


title: Vortex excitation in a stirred toroidal Bose-Einstein condensate

abstract: Motivated by the recent experiment [Wright et al., Phys. Rev. A 88, 063633 (2013)], we investigate formation of vortices in an annular BEC stirred by a narrow blue-detuned optical beam. In the framework of a two-dimensional mean field model, we study the dissipative dynamics of the condensate with parameters matched to the experimental conditions. Vortex-antivortex pairs appear near the center of the stirrer in the bulk of the condensate for slow motion of the stirring beam. When the barrier angular velocity is above some critical value, an outer edge surface mode develops and breaks into the vortices entering the condensate annulus. We determine the conditions for creation of the vortex excitations in the stirred toroidal condensate and compare our results with the experimental observations.


title: The $(p,q)$-Analogues of Some Inequalities for the Digamma Function

abstract: In this paper, we present the (p; q)-analogues of some inequalities concerning the digamma function. Our results generalize some earlier results.


title: Models with non-Hermitian Hamiltonian and optical theorem

abstract: The applicability of the optical theorem in the models with the non-Hermitian Hamiltonian is studied. By way of example we consider the $n\bar{n}$ transition in a medium followed by annihilation. It is shown that an application of optical theorem for the non-unitary $S$-matrix leads to the qualitative error in the result. The lower limit on the free-space $n\bar{n}$ oscillation time $\tau $ calculated by means of the model with Hermitian Hamiltonian lies in the range $10^{16}\; {\rm yr}>\tau >1.2\cdot 10^{9}\; {\rm s}$.


title: Strings vs Spins on the Null Orbifold

abstract: We study the null orbifold singularity in 2+1 d flat space higher spin theory as well as string theory. Using the Chern-Simons formulation of 2+1 d Einstein gravity, we first observe that despite the singular nature of this geometry, the eigenvalues of its Chern-Simons holonomy are trivial. Next, we construct a resolution of the singularity in higher spin theory: a Kundt spacetime with vanishing scalar curvature invariants. We also point out that the UV divergences previously observed in the 2-to-2 tachyon tree level string amplitude on the null orbifold do not arise in the $\alpha^\prime\to \infty$ limit. We find all the divergences of the amplitude and demonstrate that the ones remaining in the tensionless limit are physical IR-type divergences. We conclude with a discussion on the meaning and limitations of higher spin (cosmological) singularity resolution and its potential connection to string theory.


title: Toward a deeper understanding of Visualization through keyword analysis

abstract: We present the results of a comprehensive analysis of visualization paper keywords supplied for 4366 papers submitted to five main visualization conferences. We describe main keywords, topic areas, and 10-year historic trends from two datasets: (1) the standardized PCS taxonomy keywords in use for paper submissions for IEEE InfoVis, IEEE Vis-SciVis, IEEE VAST, EuroVis, and IEEE PacificVis since 2009 and (2) the author-chosen keywords for papers published in the IEEE Visualization conference series (now called IEEE VIS) since 2004. Our analysis of research topics in visualization can serve as a starting point to (a) help create a common vocabulary to improve communication among different visualization sub-groups, (b) facilitate the process of understanding differences and commonalities of the various research sub-fields in visualization, (c) provide an understanding of emerging new research trends, (d) facilitate the crucial step of finding the right reviewers for research submissions, and (e) it can eventually lead to a comprehensive taxonomy of visualization research. One additional tangible outcome of our work is an application that allows visualization researchers to easily browse the 2600+ keywords used for IEEE VIS papers during the past 10 years, aiming at more informed and, hence, more effective keyword selections for future visualization publications.


title: Strongly minimal reducts of valued fields

abstract: We prove that if a strongly minimal non-locally modular reduct of an algebraically closed valued field of characteristic 0 contains +, then this reduct is bi-interpretable with the underlying field.


title: Astrometry for Dynamics

abstract: In May 2013, I responded with the present paper to ESA's call for White Papers for the definition of Large missions. This was half a year before the launch of ESA's large astrometry mission Gaia. The present proposal for a Gaia successor mission is similar to Gaia, because two Gaia-like missions at an interval of about twenty years would provide a foundation for studies of dynamics in all branches of astronomy from the solar system and stellar systems to compact galaxies, quasars and dark matter by astrometric data which cannot be surpassed in the next 50 years.


title: Gradient Distribution Priors for Biomedical Image Processing

abstract: Ill-posed inverse problems are commonplace in biomedical image processing. Their solution typically requires imposing prior knowledge about the latent ground truth. While this regularizes the problem to an extent where it can be solved, it also biases the result toward the expected. With inappropriate priors harming more than they use, it remains unclear what prior to use for a given practical problem. Priors are hence mostly chosen in an {\em ad hoc} or empirical fashion. We argue here that the gradient distribution of natural-scene images may provide a versatile and well-founded prior for biomedical images. We provide motivation for this choice from different points of view, and we fully validate the resulting prior for use on biomedical images by showing its stability and correlation with image quality. We then provide a set of simple parametric models for the resulting prior, leading to straightforward (quasi-)convex optimization problems for which we provide efficient solver algorithms. We illustrate the use of the present models and solvers in a variety of common image-processing tasks, including contrast enhancement, noise level estimation, denoising, blind deconvolution, zooming/up-sampling, and dehazing. In all cases we show that the present method leads to results that are comparable to or better than the state of the art; always using the same, simple prior. We conclude by discussing the limitations and possible interpretations of the prior.


title: Beryllium monohydride (BeH): Where we are now, after 86 years of spectroscopy

abstract: BeH is one of the most important benchmark systems for ab initio methods and for studying Born-Oppenheimer breakdown. However the best empirical potential and best ab initio potential for the ground electronic state to date give drastically different predictions in the long-range region beyond which measurements have been made, which is about \sim1000 cm^{-1} for ^{9} BeH, \sim3000 cm^{-1} for ^{9} BeD, and \sim13000 cm^{-1} for ^{9} BeT. Improved empirical potentials and Born-Oppenheimer breakdown corrections have now been built for the ground electronic states X(1^{2}\Sigma^{+}) of all three isotopologues. The predicted dissociation energy for ^{9} BeH from the new empirical potential is now closer to the current best ab initio prediction by more than 66% of the discrepancy between the latter and the previous best empirical potential. The previous best empirical potential predicted the existence of unobserved vibrational levels for all three isotopologues, and the current best ab initio study also predicted the existence of all of these levels, and four more. The present empirical potential agrees with the ab initio prediction of all of these extra levels not predicted by the earlier empirical potential. With one exception, all energy spacings between vibrational energy levels for which measurements have been made, are predicted with an agreement of better than 1 cm^{-1} between the new empirical potential and the current best ab initio potential, but some predictions for unobserved levels are still in great disagreement, and the equilibrium bond lengths are different by orders of magnitude.


title: Solar system and small-field astrometry

abstract: Astrometric issues for solar system studies are discussed. An overview gives references and cover all aspects of the solar system where astrometry is important: orbits of planets, moons, asteroids and NEOs, masses of asteroids, occultations of asteroids and KBOs, and families of asteroids and KBOs. The roles of astrometry from the ground, from Gaia and from a Gaia successor are discussed, but not small-field astrometry from space. It appears from work with CCD cameras at the 1.55 m astrometric reflector in Flagstaff that an accuracy of 1 mas is the best possible from the ground during one night observing when using ordinary telescopes, i.e. without wave-front correctors, and for field sizes larger than 2 arcmin. It has been seen that the same accuracies can be reached with the much larger 4-m class telescope on Hawaii although it is not specifically designed for astrometry. The accuracy of 1 mas from the ground refers mainly to non-moving point sources, but it is expected that 1 mas can be reached from the ground for solar system bodies from many nights of observations when phase effects are taken into account.


title: On the spectral radius of a class of non-odd-bipartite even uniform hypergraphs

abstract: In order to investigate the non-odd-bipartiteness of even uniform hypergraphs, starting from a simple graph $G$, we construct a generalized power of $G$, denoted by $G^{k,s}$, which is obtained from $G$ by blowing up each vertex into a $k$-set and each edge into a $(k-2s)$-set, where $s \le k/2$. When $s < k/2$, $G^{k,s}$ is always odd-bipartite. We show that $G^{k,{k \over 2}}$ is non-odd-bipartite if and only if $G$ is non-bipartite, and find that $G^{k,{k \over 2}}$ has the same adjacency (respectively, signless Laplacian) spectral radius as $G$. So the results involving the adjacency or signless Laplacian spectral radius of a simple graph $G$ hold for $G^{k,{k \over 2}}$. In particular, we characterize the unique graph with minimum adjacency or signless Laplacian spectral radius among all non-odd-bipartite hypergraphs $G^{k,{k \over 2}}$ of fixed order, and prove that $\sqrt{2+\sqrt{5}}$ is the smallest limit point of the non-odd-bipartite hypergraphs $G^{k,{k \over 2}}$. In addition we obtain some results for the spectral radii of the weakly irreducible nonnegative tensors.


title: On Pairwise Costs for Network Flow Multi-Object Tracking

abstract: Multi-object tracking has been recently approached with the min-cost network flow optimization techniques. Such methods simultaneously resolve multiple object tracks in a video and enable modeling of dependencies among tracks. Min-cost network flow methods also fit well within the "tracking-by-detection" paradigm where object trajectories are obtained by connecting per-frame outputs of an object detector. Object detectors, however, often fail due to occlusions and clutter in the video. To cope with such situations, we propose to add pairwise costs to the min-cost network flow framework. While integer solutions to such a problem become NP-hard, we design a convex relaxation solution with an efficient rounding heuristic which empirically gives certificates of small suboptimality. We evaluate two particular types of pairwise costs and demonstrate improvements over recent tracking methods in real-world video sequences.


title: A Gaia successor with NIR Sensors

abstract: The expected accurate astrometric data from Gaia offer the opportunity and the obligation to exploitation by a second all-sky mission. Therefore a proposal was submitted to ESA in May 2013 for a Gaia-like mission in about twenty years. Two new designs are here considered with NIR sensors in addition to the visual CCDs as in Gaia. This has been suggested by several colleagues in order to get better astrometry in obscured regions. A first design with CMOS sensors was quickly abandoned for technical reasons. The second design with specially developed CCDs for NIR looked more promising. But a deeper study showed that the longer wavelength in the near infrared at two microns deteriorates astrometry so much that only heavily obscured stars of extremely red types as M5III would obtain a better accuracy. Thus, an option with NIR sensors does not seem promissing.


title: Rigidity of Proper Holomorphic Self-mappings of the Pentablock

abstract: The pentablock is a Hartogs domain over the symmetrized bidisc. The domain is a bounded inhomogeneous pseudoconvex domain, and does not have a $\mathcal{C}^{1}$ boundary. Recently, Agler-Lykova-Young constructed a special subgroup of the group of holomorphic automorphisms of the pentablock, and Kosi\'nski completely described the group of holomorphic automorphisms of the pentablock. The purpose of this paper is to prove that any proper holomorphic self-mapping of the pentablock must be an automorphism.


title: Implications of Lorentz violation on Higgs-mediated lepton flavor violation

abstract: The lepton flavor violating decay of the Higgs boson $H\to l_Al_B$ is studied within two qualitatively different extensions of the Yukawa sector: one renormalizable and the other nonrenormalizable; both incorporating Lorentz violation in a model-independent fashion. These extensions are characterized by Yukawa-like matrices, the former by a constant Lorentz 2-tensor $Y^{AB}_{\mu \nu}$, whereas the latter by a constant Lorentz vector $Y^{AB}_\mu$. It is found that the experimental constraints on the decays $l_A\to l_B\gamma$ severely restrict lepton flavor violating Higgs signals in the renormalizable scenario. In this context, it is found that $BR(H\to \mu^\pm e^\mp)$ and $BR(H\to \tau^\pm \mu^\mp)$ cannot be larger than $10^{-18}$ and $10^{-11}$, respectively. In the nonrenormalizable scenario, transitions mediated by the Higgs or the $Z$ gauge boson are induced at tree level, and we find mild restrictions on lepton flavor violation. Using the experimental limits on the three-body decays $l_A \to l_B \bar{l}_Cl_C$ to constraint the vector $Y^{AB}_\mu$, it is found that the branching ratio for the decays $H\to \mu^\pm e^\mp$ is of about $4\times 10^{-9}$, more important, a branching ratio of $7\times 10^{-4}$ is found for the $\tau^\pm \mu^\mp$ mode. Accordingly, the decay $H \to \tau^\pm \mu^\mp$ could be at the reach of future measurements. The lepton flavor violating decays of the $Z$ gauge boson were also studied. In the renormalizable scenario, it was found the undetectable branching ratios $BR(Z\to \mu^\pm e^\mp)<5.7\times 10^{-21}$ and $BR(Z\to \tau^\pm \mu^\mp)<2.0\times 10^{-12}$. In the nonrenormalizable scenario, it was found that $BR(Z\to \mu^\pm e^\mp)<0.67\times 10^{-12}$ and $BR(Z\to \tau^\pm \mu^\mp)<1.12\times 10^{-7}$. Although the latter branching ratio is relatively large, it still could not be within the range of future measurements.


title: Design and performance of coded aperture optical elements for the CESR-TA x-ray beam size monitor

abstract: We describe the design and performance of optical elements for an x-ray beam size monitor (xBSM), a device measuring $e^+$ and $e^-$ beam sizes in the CESR-TA storage ring. The device can measure vertical beam sizes of $10-100~\mu$m on a turn-by-turn, bunch-by-bunch basis at $e^\pm$ beam energies of $\sim2-5~$GeV. X-rays produced by a hard-bend magnet pass through a single- or multiple-slit (coded aperture) optical element onto a detector. The coded aperture slit pattern and thickness of masking material forming that pattern can both be tuned for optimal resolving power. We describe several such optical elements and show how well predictions of simple models track measured performances.


title: Utilizing the Active and Collaborative Learning Model in the Introductory Physics Course

abstract: Model of active and collaborative learning applied in training specific subject makes clear advantage due to the goals of knowledge, skills that students got to develop successful future job. The author exploits the learning management system of Hanoi National University of Education to establish a learning environment in the Introductory Physics course Part 2, which supports to the blended learning, for the 1st year student. The method of pattern languages is taken to redesign learning content in the framework of ACLM, which focused on analysing real-life application and doing exercises, with the support of information and communication technology. Both formative and summative assessments were used to evaluate competency of students.


title: An algorithm for canonical forms of finite subsets of $\mathbb{Z}^d$ up to affinities

abstract: In this paper we describe an algorithm for the computation of canonical forms of finite subsets of $\mathbb{Z}^d$, up to affinities over $\mathbb{Z}$. For fixed dimension $d$, this algorithm has worst-case asymptotic complexity $O(n \log^2 n \, s\,\mu(s))$, where $n$ is the number of points in the given subset, $s$ is an upper bound to the size of the binary representation of any of the $n$ points, and $\mu(s)$ is an upper bound to the number of operations required to multiply two $s$-bit numbers. In particular, the problem is fixed-parameter tractable with respect to the dimension $d$. This problem arises e.g. in the context of computation of invariants of finitely presented groups with abelianized group isomorphic to $\mathbb{Z}^d$. In that context one needs to decide whether two Laurent polynomials in $d$ indeterminates, considered as elements of the group ring over the abelianized group, are equivalent with respect to a change of basis.


title: On Zippin's Embedding Theorem of Banach spaces into Banach spaces with bases

abstract: We present a new proof of Zippin's Embedding Theorem, that every separable reflexive Banach space embeds into one with shrinking and boundedly complete basis, and every Banach space with a separable dual embeds into one with a shrinking basis. This new proof leads to improved versions of other embedding results.


title: The fate of a gray soliton in a quenched Bose-Einstein condensate

abstract: We investigate the destiny of a gray soliton in a repulsive one-dimensional Bose-Einstein condensate undergoing a sudden quench of the non-linearity parameter. The outcome of the quench is found to depend dramatically on the ratio $\eta$ of the final and initial values of the speed of sound. For integer $\eta$ the soliton splits into exactly $2\eta-1$ solitons. For non-integer $\eta$ the soliton decays into multiple solitons and Bogoliubov modes. The case of integer $\eta$ is analyzed in detail. The parameters of solitons in the out-state are found explicitly. Our approach exploits the inverse scattering method and can be easily used for the similar quenches in any classical integrable system.

categories: cond-mat.quant-gas math-ph math.MP nlin.PS


title: Particle Capture Efficiency in a Multi-Wire Model for High Gradient Magnetic Separation

abstract: High gradient magnetic separation (HGMS) is an efficient way to remove magnetic and paramagnetic particles, such as heavy metals, from waste water. As the suspension flows through a magnetized filter mesh, high magnetic gradients around the wires attract and capture the particles, removing them from the fluid. We model such a system by considering the motion of a paramagnetic tracer particle through a periodic array of magnetized cylinders. We show that there is a critical Mason number (ratio of viscous to magnetic forces) below which the particle is captured irrespective of its initial position in the array. Above this threshold, particle capture is only partially successful and depends on the particle's entry position. We determine the relationship between the critical Mason number and the system geometry using numerical and asymptotic calculations. If a capture efficiency below 100% is sufficient, our results demonstrate how operating the HGMS system above the critical Mason number but with multiple separation cycles may increase efficiency.


title: Performance of Hybrid NbTiN-Al Microwave Kinetic Inductance Detectors as Direct Detectors for Sub-millimeter Astronomy

abstract: In the next decades millimeter and sub-mm astronomy requires large format imaging arrays and broad-band spectrometers to complement the high spatial and spectral resolution of the Atacama Large Millimeter/sub-millimeter Array. The desired sensors for these instruments should have a background limited sensitivity and a high optical efficiency and enable arrays thousands of pixels in size. Hybrid microwave kinetic inductance detectors consisting of NbTiN and Al have shown to satisfy these requirements. We present the second generation hybrid NbTiN-Al MKIDs, which are photon noise limited in both phase and amplitude readout for loading levels $P_{850GHz} \geq 10$ fW. Thanks to the increased responsivity, the photon noise level achieved in phase allows us to simultaneously read out approximately 8000 pixels using state-of-the-art electronics. In addition, the choice of superconducting materials and the use of a Si lens in combination with a planar antenna gives these resonators the flexibility to operate within the frequency range $0.09 < \nu < 1.1$ THz. Given these specifications, hybrid NbTiN-Al MKIDs will enable astronomically usable kilopixel arrays for sub-mm imaging and moderate resolution spectroscopy.


title: Chip-Scale Continuously Tunable Optical Orbital Angular Momentum Generator

abstract: Light carrying orbital angular momentum (OAM) has potential to impact a wide variety of applications ranging from optical communications to quantum information and optical forces for the excitation and manipulation of atoms, molecules, and micro-particles. The unique advantage of utilizing OAM in these applications relies, to a large extent, on the use of multiple different OAM states. Therefore, it is desirable to have a device that is able to gen- erate light with freely adjustable OAM states in an integrated form for large- scale integration. We propose and demonstrate a compact silicon photonic integrated circuit to generate a free-space optical beam with OAM state con- tinuously tuned from a single electrical input signal, realizing both integer and non-integer OAM states. The compactness and flexibility of the device and its compatibility with complementary metal-oxide-semiconductor (CMOS) pro- cessing hold promise for integration with other silicon photonic components for wide-ranging applications.


title: Search for neutral MSSM Higgs bosons decaying to a pair of tau leptons in pp collisions

abstract: A search for neutral Higgs bosons in the minimal supersymmetric extension of the standard model (MSSM) decaying to tau-lepton pairs in pp collisions is performed, using events recorded by the CMS experiment at the LHC. The dataset corresponds to an integrated luminosity of 24.6 inverse femtobarns, with 4.9 inverse femtobarns at 7 TeV and 19.7 inverse femtobarns at 8 TeV. To enhance the sensitivity to neutral MSSM Higgs bosons, the search includes the case where the Higgs boson is produced in association with a b-quark jet. No excess is observed in the tau-lepton-pair invariant mass spectrum. Exclusion limits are presented in the MSSM parameter space for different benchmark scenarios, m[h,max}, m[h,mod+], m[h,mod-], light-stop, light-stau, tau-phobic, and low-m[H]. Upper limits on the cross section times branching fraction for gluon fusion and b-quark associated Higgs boson production are also given.


title: Maximally Permissive Controlled System Synthesis for Modal Logic

abstract: We propose a new method for controlled system synthesis on non-deterministic automata, which includes the synthesis for deadlock-freeness, as well as invariant and reachability expressions. Our technique restricts the behavior of a Kripke-structure with labeled transitions, representing the uncontrolled system, such that it adheres to a given requirement specification in an expressive modal logic. while all non-invalidating behavior is retained. This induces maximal permissiveness in the context of supervisory control. Research presented in this paper allows a system model to be constrained according to a broad set of liveness, safety and fairness specifications of desired behavior, and embraces most concepts from Ramadge-Wonham supervisory control, including controllability and marker-state reachability. Synthesis is defined in this paper as a formal construction, which allowed a careful validation of its correctness using the Coq proof assistant.


title: Causality and stability of cosmic jets

abstract: In stark contrast to their laboratory and terrestrial counterparts, the cosmic jets appear to be very stable. We propose that the reason behind this remarkable property is the loss of causal connectivity across these jets, caused by their rapid expansion in response to fast decline of external pressure with the distance from the "jet engine". In atmospheres with power-law pressure distribution, the total loss of causal connectivity occurs, when the power index k>2 - the steepness which is expected to be quite common for many astrophysical environments. This conclusion does not seem to depend on the physical nature of jets - it applies both to relativistic and non-relativistic flows, both magnetically-dominated and unmagnetized jets. In order to verify it, we have carried out numerical simulations of moderately magnetized and moderately relativistic jets. Their results give strong support to our hypothesis and provide with valuable insights. In particular, we find that the z-pinched inner cores of magnetic jets expand slower than their envelopes and become susceptible to instabilities even when the whole jet is stable. This may result in local dissipation and emission without global disintegration of the flow. Cosmic jets may become globally unstable when they enter flat sections of external atmospheres. We propose that the Fanaroff-Riley morphological division of extragalactic radio sources into two classes is related to this issue. In particular, we argue that the low power FR-I jets become re-confined, causally connected and globally unstable on the scale of galactic X-ray coronas, whereas more powerful FR-II jets re-confine much further out and remain largely intact until they terminate at hot spots. Using this idea, we derived the relationship between the critical jet power and the optical luminosity of the host galaxy, which is in a very good agreement with the observations.


title: Crystal growth and annealing study of fragile, non-bulk superconductivity in YFe$_2$Ge$_2$

abstract: We investigated the occurrence and nature of superconductivity in single crystals of YFe$_2$Ge$_2$ grown out of Sn flux by employing x-ray diffraction, electrical resistivity, and specific heat measurements. We found that the residual resistivity ratio (RRR) of single crystals can be greatly improved, reaching as high as $\sim$60, by decanting the crystals from the molten Sn at $\sim$350$^\circ$C and/or by annealing at temperatures between 550$^\circ$C and 600$^\circ$C. We found that samples with RRR $\gtrsim$ 34 showed resistive signatures of superconductivity with the onset of the superconducting transition $T_c\approx1.4$ K. RRR values vary between 35 and 65 with, on average, no systematic change in $T_c$ value, indicating that systematic changes in RRR do not lead to comparable changes in $T_c$. Specific heat measurements on samples that showed clear resistive signatures of a superconducting transition did not show any signature of a superconducting phase transition, which suggests that the superconductivity observed in this compound is either some sort of filamentary, strain stabilized superconductivity associated with small amounts of stressed YFe$_2$Ge$_2$ (perhaps at twin boundaries or dislocations) or is a second crystallographic phase present at levels below detection capability of conventional powder x-ray techniques.