title: X-ray Analysis of Filaments in Galaxy Clusters

abstract: We perform a detailed X-ray study of the filaments surrounding the brightest cluster galaxies in a sample of nearby galaxy clusters using deep Chandra observations, namely the Perseus, Centaurus and Virgo clusters, and Abell 1795. We compare the X-ray properties and spectra of the filaments in all of these systems, and find that their Chandra X-ray spectra are all broadly consistent with an absorbed two temperature thermal model, with temperature components at 0.75 and 1.7 keV. We find that it is also possible to model the Chandra ACIS filament spectra with a charge exchange model provided a thermal component is also present, and the abundance of oxygen is suppressed relative to the abundance of Fe. In this model, charge exchange provides the dominant contribution to the spectrum in the 0.5-1.0 keV band. However, when we study the high spectral resolution RGS spectrum of the filamentary plume seen in X-rays in Centaurus, the opposite appears to be the case. The properties of the filaments in our sample of clusters are also compared to the X-ray tails of galaxies in the Coma cluster and Abell 3627. In the Perseus cluster, we search for signs of absorption by a prominent region of molecular gas in the filamentary structure around NGC 1275. We do find a decrement in the X-ray spectrum below 2 keV, indicative of absorption. However the spectral shape is inconsistent with this decrement being caused by simply adding an additional absorbing component. We find that the spectrum can be well fit (with physically sensible parameters) with a model that includes both absorption by molecular gas and X-ray emission from the filament, which partially counteracts the absorption.


title: A Perfect Terahertz Metamaterial Absorber

abstract: In this paper the design for an absorbing metamaterial with near unity absorbance in terahertz region is presented. The absorber's unit cell structure consists of two metamaterial resonators that couple to electric and magnetic fields separately. The structure allows us to maximize absorption by varying dielectric material and thickness and, hence the effective electrical permittivity and magnetic permeability.


title: Higher Sobolev regularity for the fractional $p-$Laplace equation in the superquadratic case

abstract: We prove that for $p\ge 2$ solutions of equations modeled by the fractional $p$-Laplacian improve their regularity on the scale of fractional Sobolev spaces. Moreover, under certain precise conditions, they are in $W^{1,p}_{loc}$ and their gradients are in a fractional Sobolev space as well. The relevant estimates are stable as the fractional order of differentiation $s$ reaches $1$.


title: Oscillating Casimir force of trapped Bose gas in electromagnetic field

abstract: In this study, we consider motion of the massive and charged Bose gas trapped in electric and magnetic fields between two parallel plates in the $x-y$ plane that are separated by a distance $d$ in the $z$ direction. We derive analytical expression of the grand canonical potential of the quantum particles by using of Ketterle and van Druten approximation. By evaluating canonical potential, we obtain Casimir potential and force at the Bose-Einstein condensation temperature $T_{c}$. We also show that Casimir force oscillates depends on distance $d$ for fixed parameters.


title: Implementation of the Log-Conformation Formulation for Two-Dimensional Viscoelastic Flow

abstract: We have implemented the log-conformation method for two-dimensional viscoelastic flow in COMSOL, a commercial high-level finite element package. The code is verified for an Oldroyd-B fluid flowing past a confined cylinder. We are also able to describe the well-known bistability of the viscoelastic flow in a cross-slot geometry for a FENE-CR fluid, and we describe the changes required for performing simulations with the Phan-Thien-Tanner (PTT), Giesekus and FENE-P models. Finally, we calculate the flow of a FENE-CR fluid in a geometry with three in- and outlets. The implementation is included in the supplementary material, and we hope that it can inspire new as well as experienced researchers in the field of differential constitutive equations for viscoelastic flow.


title: Colorful plane vortices and Chiral Symmetry Breaking in $SU(2)$ Lattice Gauge Theory

abstract: We investigate plane vortices with color structure. The topological charge and gauge action of such colorful plane vortices are studied in the continuum and on the lattice. These configurations are vacuum to vacuum transitions changing the winding number between the two vacua, leading to a topological charge $Q=-1$ in the continuum. After growing temporal extent of these vortices, the lattice topological charge approaches $-1$ and the index theorem is fulfilled. We analyze the low lying modes of the overlap Dirac operator in the background of these colorful plane vortices and compare them with those of spherical vortices. They show characteristic properties for spontaneous chiral symmetry breaking.


title: Qualitative properties of solutions for nonlinear Schr\"odinger equations with nonlinear boundary conditions on the half-line

abstract: In this paper, we study the interaction between a nonlinear focusing Robin type boundary source, a nonlinear defocusing interior source, and a weak damping term for nonlinear Schr\"odinger equations posed on the infinite half line. We construct solutions with negative initial energy satisfying a certain set of conditions which blow-up in finite time in the $H^1$-sense. We obtain a sufficient condition relating the powers of nonlinearities present in the model which allows construction of blow-up solutions. In addition to the blow-up property, we also discuss the stabilization property and the critical exponent for this model.


title: Vertical-Cavity In-plane Heterostructures: Physics and Applications

abstract: We show that the in-plane heterostructures realized in vertical cavities with high contrast grating(HCG) reflector enables exotic configurations of heterostructure and photonic wells. In photonic crystal heterostructures forming a photonic well, the property of a confined mode is determined by the well width and barrier height. We show that in vertical-cavity in-plane heterostructures, anisotropic dispersion curvatures plays a key role as well, leading to exotic effects such as a photonic well with conduction band like well and a valence band like barrier. We investigate three examples to discuss the rich potential of this heterostructure as a platform for various physics studies and propose a system of two laterally coupled cavities which shows the breaking of parity-time symmetry as an example.


title: The QBF Gallery: Behind the Scenes

abstract: Over the last few years, much progress has been made in the theory and practice of solving quantified Boolean formulas (QBF). Novel solvers have been presented that either successfully enhance established techniques or implement novel solving paradigms. Powerful preprocessors have been realized that tune the encoding of a formula to make it easier to solve. Frameworks for certification and solution extraction emerged that allow for a detailed interpretation of a QBF solver's results, and new types of QBF encodings were presented for various application problems. To capture these developments the QBF Gallery was established in 2013. The QBF Gallery aims at providing a forum to assess QBF tools and to collect new, expressive benchmarks that allow for documenting the status quo and that indicate promising research directions. These benchmarks became the basis for the experiments conducted in the context of the QBF Gallery 2013 and follow-up evaluations. In this paper, we report on the setup of the QBF Gallery. To this end, we conducted numerous experiments which allowed us not only to assess the quality of the tools, but also the quality of the benchmarks.


title: Three-loop Neutrino Mass Model with Doubly Charged Particles from Iso-Doublets

abstract: We propose a new type of a three-loop induced neutrino mass model with dark matter candidates which are required for the neutrino mass generation. The smallness of neutrino masses can be naturally explained without introducing super heavy particles, namely, much heavier than a TeV scale and quite small couplings as compared to the gauge couplings. We find that as a bonus, the anomaly of the muon anomalous magnetic moment can simultaneously be explained by loop effects of new particles. In our model, there are doubly charged scalar bosons and leptons from isospin doublet fields which give characteristic collider signatures. In particular, the doubly charged scalar bosons can decay into the same-sign dilepton with its chirality of both right-handed or left- and right-handed. This can be a smoking gun signature to identify our model and be useful to distinguish other models with doubly charged scalar bosons at collider experiments.


title: Thermal creep assisted dust lifting on Mars: Wind tunnel experiments for the entrainment threshold velocity

abstract: In this work we present laboratory measurements on the reduction of the threshold friction velocity necessary for lifting dust if the dust bed is illuminated. Insolation of a porous soil establishes a temperature gradient. At low ambient pressure this gradient leads to thermal creep gas flow within the soil. This flow leads to a sub-surface overpressure which supports lift imposed by wind. The wind tunnel was run with Mojave Mars Simulant and air at 3, 6 and 9 mbar, to cover most of the pressure range at martian surface levels. Our first measurements imply that the insolation of the martian surface can reduce the entrainment threshold velocity between 4 % and 19 % for the conditions sampled with our experiments. An insolation activated soil might therefore provide additional support for aeolian particle transport at low wind speeds.


title: Double $L$-groups and doubly-slice knots

abstract: We develop a theory of chain complex double-cobordism for chain complexes equipped with Poincar\'{e} duality. The resulting double-cobordism groups are a refinement of Ranicki's torsion algebraic $L$-groups for localisations of a commutative ring with involution. The refinement is analogous to the difference between metabolic and hyperbolic linking forms. We apply the double $L$-groups in high-dimensional knot theory to define an invariant for doubly-slice $n$-knots. We prove that the "stably doubly-slice implies doubly-slice" property holds (algebraically) for Blanchfield forms, Seifert forms and for the Blanchfield complexes of $n$-knots for $n\geq 1$.


title: Cosmological and Particle Physics Constraints on a New Non-Abelian SU(3) Gauge Model for Ordinary/Dark Matter Interaction

abstract: We propose a mirror model for ordinary and dark matter that assumes a new SU(3) gauge group of transformations, as a natural extension of the Standard Model (SM). A close study of big bang nucleosynthesis, baryon asymmetries, cosmic microwave background bounds, galaxy dynamics, together with the Standard Model assumptions, help us to set a limit on the mass and width of the new gauge boson. The cross section for the elastic scattering of a dark proton by an ordinary proton is estimated and compare to the WIMP--nucleon experimental upper bounds. It is observed that all experimental bounds for the various cross sections can be accommodated consistently within the gauge model. We also suggest a way for direct detection of the new gauge boson via one example of a SM forbidden process: $e^+ + p \rightarrow \mu^+ + X$, where $X = \Lambda$ or $\Lambda_c$.


title: Adaptive Multiple Importance Sampling for Gaussian Processes

abstract: In applications of Gaussian processes where quantification of uncertainty is a strict requirement, it is necessary to accurately characterize the posterior distribution over Gaussian process covariance parameters. Normally, this is done by means of standard Markov chain Monte Carlo (MCMC) algorithms. Motivated by the issues related to the complexity of calculating the marginal likelihood that can make MCMC algorithms inefficient, this paper develops an alternative inference framework based on Adaptive Multiple Importance Sampling (AMIS). This paper studies the application of AMIS in the case of a Gaussian likelihood, and proposes the Pseudo-Marginal AMIS for non-Gaussian likelihoods, where the marginal likelihood is unbiasedly estimated. The results suggest that the proposed framework outperforms MCMC-based inference of covariance parameters in a wide range of scenarios and remains competitive for moderately large dimensional parameter spaces.


title: Modeling of Breaching Due to Overtopping Flow and Waves Based on Coupled Flow and Sediment Transport

abstract: Breaching of earthen or sandy dams/dunes by overtopping flow and waves is a complicated process with strong, unsteady flow, high sediment transport, and rapid bed changes in which the interactions between flow and morphology should not be ignored. This study presents a depth-averaged two-dimensional (2D) coupled flow and sediment transport model to investigate the flow and breaching processes with and without waves. Bed change and variable flow density are included in the flow continuity and momentum equations to consider the impacts of sediment transport. The model adopts the non-equilibrium approach for total-load sediment transport and specifies different repose angles to handle non-cohesive embankment slope avalanching. The equations are solved using an explicit finite volume method on a rectangular grid with the improved Godunov-type central upwind scheme and the nonnegative reconstruction of the water depth method to handle mixed-regime flows near the breach. The model has been tested against two sets of experimental data which show that it well simulates the flow characteristics, bed changes, and sediment transport. It is then applied to analyze flow and morphologic changes by overtopping flow with and without waves. The simulated bed change and breach cross-section shape show a significant difference if waves are considered. Erosion by flow without waves mainly occurs at the breach and is dominated by vertical erosion at the initial stage followed by the lateral erosion. With waves, the flow overtops the entire length of the dune to cause faster erosion along the entire length. Erosion mainly takes place at the upper layer at the initial stage and gradually accelerates as the height of the dune reduces and flow discharge increases, which indicates the simulated results with waves shall be further verified by physical experimental evidence.


title: A general theorem on temporal foliation of causal sets

abstract: We show a general theorem of existence of temporal foliations in a general causal set, under mild constraints. Then we study automorphisms of infinite causal sets (which satisfy further requirements) and show that they fall under one of two types: 1) Automorphims that induce automorphisms of spacelike hypersurfaces in some given foliation (i.e. spacelike automorphisms), or 2) Translation in time. These results might be useful for quantization of the aforementioned causal sets.


title: A Review of Technical Problems when Conducting an Investigation in Cloud Based Environments

abstract: Cloud computing is a relatively new technology which is quickly becoming one of the most important technological advances for computer science. This technology has had a significant growth in recent years. It is now more affordable and cloud platforms are becoming more stable. Businesses are successfully migrating their systems to a cloud infrastructure, obtaining technological and economic benefits. However, others still remain reluctant to do it due to both security concerns and the loss of control over their infrastructures and data that the migration entails. At the same time that new technologies progress, its benefits appeal to criminals too. They can not only steal data from clouds, but they can also hide data in clouds, which has provoked an increased in the number of cybercrimes and their economic impacts. Their victims range from children and adults to companies and even countries. On the other hand, digital forensics have negatively suffered the impact of the boom of cloud computing due to its dynamic nature. The tools and procedures that were successfully proved and used in digital investigations are now becoming irrelevant, making it an urging necessity to develop new forensics capabilities for conducting an investigation in this new environment. As a consequence of these needs a new area has emerged, Cloud Forensics, which is the result of the intersection between cloud computing and digital forensics. Keywords: Cloud forensics, cloud computing, forensics investigation, forensic challenges.


title: Correlation functions and correlation widths in Quantum-Chaotic Scattering for mesoscopic systems and nuclei

abstract: We derive analytical expressions for the correlation functions of the electronic conductance fluctuations of an open quantum dot under several conditions. Both the variation of energy and that of an external parameter such as an applied perpendicular or parallel magnetic fields are considered in the general case of partial openness.. These expressions are then used to obtain the ensemble averaged density of maxima, a measure recently suggested to contain invaluable information concerning the chaoticity of the system. The correlation width is then calculated for the case of energy variation and a significant deviation from the Weisskopf estimate is found in the case of two terminals. The results are extended to more than two terminals. All our results are analytical.The use of these results in other fields, such as nuclei, where the system can only be studied through a variation of the energy, is then discussed.


title: Estimating snow cover from publicly available images

abstract: In this paper we study the problem of estimating snow cover in mountainous regions, that is, the spatial extent of the earth surface covered by snow. We argue that publicly available visual content, in the form of user generated photographs and image feeds from outdoor webcams, can both be leveraged as additional measurement sources, complementing existing ground, satellite and airborne sensor data. To this end, we describe two content acquisition and processing pipelines that are tailored to such sources, addressing the specific challenges posed by each of them, e.g., identifying the mountain peaks, filtering out images taken in bad weather conditions, handling varying illumination conditions. The final outcome is summarized in a snow cover index, which indicates for a specific mountain and day of the year, the fraction of visible area covered by snow, possibly at different elevations. We created a manually labelled dataset to assess the accuracy of the image snow covered area estimation, achieving 90.0% precision at 91.1% recall. In addition, we show that seasonal trends related to air temperature are captured by the snow cover index.


title: Edge modification criteria for enhancing the communicability of digraphs

abstract: We introduce new broadcast and receive communicability indices that can be used as global measures of how effectively information is spread in a directed network. Furthermore, we describe fast and effective criteria for the selection of edges to be added to (or deleted from) a given directed network so as to enhance these network communicability measures. Numerical experiments illustrate the effectiveness of the proposed techniques.


title: On the convergence of the sparse possibilistic c-means algorithm

abstract: In this paper, a convergence proof for the recently proposed sparse possibilistic c-means (SPCM) algorithm is provided, utilizing the celebrated Zangwill convergence theorem. It is shown that the iterative sequence generated by SPCM converges to a stationary point or there exists a subsequence of it that converges to a stationary point of the cost function of the algorithm.


title: The asymptotic behavior of Palais-Smale sequences on manifolds with boundary

abstract: We describe the asymptotic behavior of Palais-Smale sequences associated to certain Yamabe-type equations on manifolds with boundary. We prove that each of those sequences converges to a solution of the limit equation plus a finite number of "bubbles" which are obtained by rescaling fundamental solutions of the corresponding Euclidean equations.


title: Offline and Online Models of Budget Allocation for Maximizing Influence Spread

abstract: The research of influence propagation in social networks via word-of-mouth processes has been given considerable attention in recent years. Arguably, the most fundamental problem in this domain is influence maximization, where the goal is to identify a seed set of individuals that can trigger a large cascade of influence in the network. While there has been significant progress regarding this problem and its variants, one basic shortcoming of the models is that they lack the flexibility in the way the budget is allocated to individuals. Indeed, budget allocation is a critical issue in advertising and viral marketing. Taking the other point of view, known models allowing flexible budget allocation do not take into account the influence spread in the network. We introduce a generalized model that captures both budgets and influence propagation simultaneously. For the offline setting, we identify a large family of budget-based propagation functions that admit tight approximation guarantee. This family extends most of the previously studied influence models, including the well-known Triggering model. We establish that any function in this family implies an instance of a monotone submodular function maximization over the integer lattice subject to a knapsack constraint. This problem is known to admit an optimal (1-1/e)-approximation. We also study the price of anarchy of the multi-player game that extends the model and establish tight results. For the online setting, in which an unknown subset of agents arrive in a random order and the algorithm needs to make an irrevocable budget allocation in each step, we develop a 1/(15e)-competitive algorithm. This setting extends the secretary problem, and its variant, the submodular knapsack secretary problem. Notably, our algorithm improves over the best known approximation for the latter problem, even though it applies to a more general setting.


title: Models of Innate Neural Attractors and Their Applications for Neural Information Processing

abstract: In this work we reveal and explore a new class of attractor neural networks, based on inborn connections provided by model molecular markers, the molecular marker based attractor neural networks (MMBANN). We have explored conditions for the existence of attractor states, critical relations between their parameters and the spectrum of single neuron models, which can implement the MMBANN. Besides, we describe functional models (perceptron and SOM) which obtain significant advantages, while using MMBANN. In particular, the perceptron based on MMBANN, gets specificity gain in orders of error probabilities values, MMBANN SOM obtains real neurophysiological meaning, the number of possible grandma cells increases 1000- fold with MMBANN. Each set of markers has a metric, which is used to make connections between neurons containing the markers. The resulting neural networks have sets of attractor states, which can serve as finite grids for representation of variables in computations. These grids may show dimensions of d = 0, 1, 2,... We work with static and dynamic attractor neural networks of dimensions d = 0 and d = 1. We also argue that the number of dimensions which can be represented by attractors of activities of neural networks with the number of elements N=104 does not exceed 8.


title: Pion transverse momentum dependent parton distributions in the Nambu and Jona-Lasinio model

abstract: An explicit evaluation of the two pion transverse momentum dependent parton distributions at leading twist is presented, in the framework of the Nambu-Jona Lasinio model with Pauli-Villars regularization. The transverse momentum dependence of the obtained distributions is generated solely by the dynamics of the model. Using these results, the so called generalized Boer-Mulders shift is studied and compared with recent lattice data. The obtained agreement is very encouraging, in particular because no additional parameter has been introduced. A more conclusive comparison would require a precise knowledge of the QCD evolution of the transverse momentum dependent parton distributions under scrutiny.


title: Asymptotically optimal neighbour sum distinguishing total colourings of graphs

abstract: Consider a simple graph $G=(V,E)$ of maximum degree $\Delta$ and its proper total colouring $c$ with the elements of the set $\{1,2,\ldots,k\}$. The colouring $c$ is said to be \emph{neighbour sum distinguishing} if for every pair of adjacent vertices $u$, $v$, we have $c(u)+\sum_{e\ni u}c(e)\neq c(v)+\sum_{e\ni v}c(e)$. The least integer $k$ for which it exists is denoted by $\chi"_{\sum}(G)$, hence $\chi"_{\sum}(G) \geq \Delta+1$. On the other hand, it has been daringly conjectured that just one more label than presumed in the famous Total Colouring Conjecture suffices to construct such total colouring $c$, i.e., that $\chi"_{\sum}(G) \leq \Delta+3$ for all graphs. We support this inequality by proving its asymptotic version, $\chi"_{\sum}(G) \leq (1+o(1))\Delta$. The major part of the construction confirming this relays on a random assignment of colours, where the choice for every edge is biased by so called attractors, randomly assigned to the vertices, and the probabilistic result of Molloy and Reed on the Total Colouring Conjecture itself.


title: Giant negative thermal expansion covering room temperature in nanocrystalline GaNxMn3

abstract: Materials with negative thermal expansion (NTE), which contract upon heating, are of great interest both technically and fundamentally. Here, we report giant NTE covering room temperature in mechanically milled antiperovksite GaNxMn3 compounds. The micrograin GaNxMn3 exhibits a large volume contraction at the antiferromagnetic (AFM) to paramagnetic (PM) (AFM-PM) transition within a temperature window ({\Delta}T) of only a few kelvins. The grain size reduces to ~ 30 nm after slight milling, while {\Delta}T is broadened to 50K. The corresponding coefficient of linear thermal expansion ({\alpha}) reaches ~ -70 ppm/K, which is almost two times larger than those obtained in chemically doped antiperovskite compounds. Further reducing grain size to ~ 10 nm, {\Delta}T exceeds 100 K and {\alpha} remains as large as -30 ppm/K (-21 ppm/K) for x = 1.0 (x = 0.9). Excess atomic displacements together with the reduced structural coherence, revealed by high-energy X-ray pair distribution functions, are suggested to delay the AFM-PM transition. By controlling the grain size via mechanically alloying or grinding, giant NTE may also be achievable in other materials with large lattice contraction due to electronic or magnetic phase transitions.


title: Gap-labelling conjecture with nonzero magnetic field

abstract: Given a constant magnetic field on Euclidean space ${\mathbb R}^p$ determined by a skew-symmetric $(p\times p)$ matrix $\Theta$, and a ${\mathbb Z}^p$-invariant probability measure $\mu$ on the disorder set $\Sigma$ which is by hypothesis a Cantor set, where the action is assumed to be minimal, the corresponding Integrated Density of States of any self-adjoint operator affiliated to the twisted crossed product algebra $C(\Sigma) \rtimes_\sigma {\mathbb Z}^p$, where $\sigma$ is the multiplier on ${\mathbb Z}^p$ associated to $\Theta$, takes on values on spectral gaps in the magnetic gap-labelling group. The magnetic frequency group is defined as an explicit countable subgroup of $\mathbb R$ involving Pfaffians of $\Theta$ and its sub-matrices. We conjecture that the magnetic gap labelling group is a subgroup of the magnetic frequency group. We give evidence for the validity of our conjecture in 2D, 3D, the Jordan block diagonal case and the periodic case in all dimensions.

categories: math.SP cond-mat.mes-hall math-ph math.DG math.MP math.OA


title: Low frequency radio observations of bi-directional electron beams in the solar corona

abstract: The radio signature of a shock travelling through the solar corona is known as a type II solar radio burst. In rare cases these bursts can exhibit a fine structure known as `herringbones', which are a direct indicator of particle acceleration occurring at the shock front. However, few studies have been performed on herringbones and the details of the underlying particle acceleration processes are unknown. Here, we use an image processing technique known as the Hough transform to statistically analyse the herringbone fine structure in a radio burst at $\sim$20-90 MHz observed from the Rosse Solar-Terrestrial Observatory on 2011 September 22. We identify 188 individual bursts which are signatures of bi-directional electron beams continuously accelerated to speeds of 0.16$_{-0.10}^{+0.11} c$. This occurs at a shock acceleration site initially at a constant altitude of $\sim$0.6 R$_{\odot}$ in the corona, followed by a shift to $\sim$0.5 R$_{\odot}$. The anti-sunward beams travel a distance of 170$_{-97}^{+174}$ Mm (and possibly further) away from the acceleration site, while those travelling toward the sun come to a stop sooner, reaching a smaller distance of 112$_{-76}^{+84}$ Mm. We show that the stopping distance for the sunward beams may depend on the total number density and the velocity of the beam. Our study concludes that a detailed statistical analysis of herringbone fine structure can provide information on the physical properties of the corona which lead to these relatively rare radio bursts.


title: Quasiparticle Interference in Fe-based Superconductors Based on a Five-Orbital Tight-Binding Model

abstract: We investigate the quasiparticle interference (QPI) in Fe-based superconductors in both the $s_{++}$-wave and $s_{\pm}$-wave superconducting states on the basis of the five-orbital model. In the octet model for cuprate superconductors with $d_{x^2 - y^2}$-wave state, the QPI signal due to the impurity scattering at ${q} = {k}_i - {k}_j$ ($E = | \Delta ( {k}_i ) |$, $i = 1 \sim 8$) disappears when the gap functions at ${k}_i$ and ${k}_j$ have the same sign. However, we show that this extinction rule does not hold in Fe-based superconductors with fully-gapped $s$-wave state. The reason is that the resonance condition $E = | \Delta ( {k}_i ) |$ is not satisfied under the experimental condition for Fe-based superconductors. We perform the detailed numerical study of the QPI signal using the $T$-matrix approximation, and show that the experimentally observed QPI peak around ${q}_2 = ( \pi, 0 )$ can be explained on the basis of both the $s_{++}$-wave and $s_{\pm}$-wave states. Furthermore, we discuss the magnetic field dependence of the QPI by considering the Zeeman effect, and find that the field-induced suppression of the peak intensity around ${q}_2$ can also be explained in terms of both the $s_{++}$-wave and $s_{\pm}$-wave states.


title: Topic Stability over Noisy Sources

abstract: Topic modelling techniques such as LDA have recently been applied to speech transcripts and OCR output. These corpora may contain noisy or erroneous texts which may undermine topic stability. Therefore, it is important to know how well a topic modelling algorithm will perform when applied to noisy data. In this paper we show that different types of textual noise will have diverse effects on the stability of different topic models. From these observations, we propose guidelines for text corpus generation, with a focus on automatic speech transcription. We also suggest topic model selection methods for noisy corpora.


title: Splitting, Bounding, and Almost Disjointness can be quite Different

abstract: We prove the consistency of $\mathrm{add}(\mathcal{N})<\mathrm{cov}(\mathcal{N})<\mathfrak{p}=\mathfrak{g}=\mathfrak{s}<\mathrm{add}(\mathcal{M})=\mathrm{cof}(\mathcal{M})<\mathfrak{a}=\mathrm{non}(\mathcal{N})=\mathfrak{c}$ with ZFC where each of these cardinal invariants assume arbitrary uncountable regular values.


title: String diagrams for traced and compact categories are oriented 1-cobordisms

abstract: We give an alternate conception of string diagrams as labeled 1-dimensional oriented cobordisms, the operad of which we denote by Cob/O, where O is the set of string labels. The axioms of traced (symmetric monoidal) categories are fully encoded by Cob/O in the sense that there is an equivalence between (Cob/O)-algebras, for varying O, and traced categories with varying object set. The same holds for compact (closed) categories, the difference being in terms of variance in O. As a consequence of our main theorem, we give a characterization of the 2-category of traced categories solely in terms of those of monoidal and compact categories, without any reference to the usual structures or axioms of traced categories. In an appendix we offer a complete proof of the well-known relationship between the 2-category of monoidal categories with strong monoidal functors and the 2-category of monoidal categories whose object set is free with strict functors; similarly for traced and compact categories.


title: Inverse proximity effect at superconductor-ferromagnet interfaces: Evidence for induced triplet pairing in the superconductor

abstract: Considerable evidence for proximity-induced triplet superconductivity on the ferromagnetic side of a superconductor-ferromagnet (S-F) interface now exists; however, the corresponding effect on the superconductor side has hardly been addressed. We have performed scanning tunneling spectroscopy measurements on NbN superconducting thin films proximity coupled to the half-metallic ferromagnet La2/3Ca1/3MnO3 (LCMO) as a function of magnetic field. We have found that at zero and low applied magnetic fields the tunneling spectra on NbN typically show an anomalous gap structure with suppressed coherence peaks and, in some cases, a zero-bias conductance peak. As the field increases to the magnetic saturation of LCMO where the magnetization is homogeneous, the spectra become more BCS-like and the critical temperature of the NbN increases, implying a reduced proximity effect. Our results therefore suggest that triplet-pairing correlations are also induced in the S side of an S-F bilayer.


title: A MAP approach for $\ell_q$-norm regularized sparse parameter estimation using the EM algorithm

abstract: In this paper, Bayesian parameter estimation through the consideration of the Maximum A Posteriori (MAP) criterion is revisited under the prism of the Expectation-Maximization (EM) algorithm. By incorporating a sparsity-promoting penalty term in the cost function of the estimation problem through the use of an appropriate prior distribution, we show how the EM algorithm can be used to efficiently solve the corresponding optimization problem. To this end, we rely on variance-mean Gaussian mixtures (VMGM) to describe the prior distribution, while we incorporate many nice features of these mixtures to our estimation problem. The corresponding MAP estimation problem is completely expressed in terms of the EM algorithm, which allows for handling nonlinearities and hidden variables that cannot be easily handled with traditional methods. For comparison purposes, we also develop a Coordinate Descent algorithm for the $\ell_q$-norm penalized problem and present the performance results via simulations.


title: North-South asymmetry in the magnetic deflection of polar coronal hole jets

abstract: Measurements of the magnetic field in the interplanetary medium, of the sunspots area, and of the heliospheric current sheet position, reveal a possible North-South asymmetry in the magnetic field of the Sun. We study the North-South asymmetry as inferred from measurements of the deflection of polar coronal hole jets when they propagate throughout the corona. Since the corona is an environment where the magnetic pressure is greater than the kinetic pressure, we can assume that magnetic field controls the dynamics of plasma. On average, jets during their propagation follow the magnetic field lines, highlighting its local direction. The average jet deflection is studied both in the plane perpendicular to the line of sight, and, for a reduced number of jets, in three dimensional space. The observed jet deflection is studied in terms of an axisymmetric magnetic field model comprising dipole We measured the position angles at 1 rs and at 2 rs of the 79 jets from the catalogue of Nistico et al 2009., based on the STEREO ultraviolet and white-light coronagraph observations during the solar minimum period March 2007-April 2008. We found that the propagation is not radial, in agreement with the deflection due to magnetic field lines. Moreover, the amount of the deflection is different between jets over the north and those from the south pole. Comparison of jet deflections and field line tracing shows that a ratio g2/g1 ~ -0.5 for the quadrupole and a ratio g3/g1 ~ 1.6-2.0 for the esapole can describe the field. The presence of a non-negligible quadrupole moment. We find that the magnetic deflection of jets is larger in the North than in the South of the order of 25-40%, with an asymmetry which is consistent with a southward deflection of the heliospheric current sheet of the order of 10 deg, consistent with that inferred from other, independent, datasets and instruments.


title: Hydrogen Bond Symmetrization in Glycinium Oxalate under Pressure

abstract: We report here the evidences of hydrogen bond symmetrization in the simplest amino acid- carboxylic acid complex, glycinium oxalate, at moderate pressures of 8 GPa using in-situ infrared and Raman spectroscopic investigations combined with first-principles simulations. The protonation of the semioxalate units through dynamic proton movement results in infinite oxalate chains. At pressures above 12 GPa, the glycine units systematically reorient with pressure to form hydrogen bonded supramolecular assemblies held together by these chains.


title: Small scale equidistribution of eigenfunctions on the torus

abstract: We study the small scale distribution of the $L^2$ mass of eigenfunctions of the Laplacian on the flat torus $\mathbb T^d$. Given an orthonormal basis of eigenfunctions, we show the existence of a density one subsequence whose $L^2$ mass equidistributes at small scales. In dimension two our result holds all the way down to the Planck scale. For dimensions $d=3,4$ we can restrict to individual eigenspaces and show small scale equidistribution in that context. We also study irregularities of quantum equidistribution: We construct eigenfunctions whose $L^2$ mass does not equidistribute at all scales above the Planck scale. Additionally, in dimension $d=4$ we show the existence of eigenfunctions for which the proportion of $L^2$ mass in small balls blows up at certain scales.


title: Anisotropy of the acoustooptic figure of merit for LiNbO3 crystals. Isotropic diffraction

abstract: We have developed the approach for analyzing of anisotropy of acoustooptic figure of merit (AOFM) for lithium niobate crystals in the case of isotropic acoustooptic (AO) diffraction. The working relations for the effective elastooptic coefficients and the AOFM have been derived. We have found that, under the conditions of isotropic AO diffraction, the maximum AOFM value for LiNbO3 is equal tp 11.62x10-15s3/kg. It is peculiar for the geometry of AO interaction of the shear acoustic wave propagating in the YZ plane (the velocity 3994 m/s) with the optical wave polarized in the same plane. We have demonstrated that the maximum AOFM values are achieved mainly due to essential anisotropy and high values of the elastooptic coefficients of LiNbO3.


title: Representing Directed Trees as Straight Skeletons

abstract: The straight skeleton of a polygon is the geometric graph obtained by tracing the vertices during a mitered offsetting process. It is known that the straight skeleton of a simple polygon is a tree, and one can naturally derive directions on the edges of the tree from the propagation of the shrinking process. In this paper, we ask the reverse question: Given a tree with directed edges, can it be the straight skeleton of a polygon? And if so, can we find a suitable simple polygon? We answer these questions for all directed trees where the order of edges around each node is fixed.


title: Evolutionary interpretations of entropy model for correspondence matrix calculation

abstract: In the work two ways of evolutionary interpretation of entropy model for correspondence matrix calculation are proposed. Both approaches based on the stochastic chemical kinetic evolution under the detailed balance condition. The first approach is based on the binary reactions, and the second one is based on the population games theory. Both approaches allow one to understand better possible physical interpretations of the classic model and to obtain the answers for some open questions in neighborhoods branches. For example, one can propose a selection rule to the unique equilibrium among the set of equilibriums.


title: Formation of accretion centers in simulations of colliding uniform density H$_2$ cores

abstract: We test here the first stage of a route of modifications to be applied to the public GADGET2 code for dynamically identifying accretion centers during the collision process of two adjacent and identical gas cores. Each colliding core has a uniform density profile and rigid body rotation; its mass and size have been chosen to represent the observed core $L1544$; for the thermal and rotational energy ratios with respect to the potential energy, we assume the values $\alpha=0.3$ and $\beta=0.1$, respectively. These values favor the gravitational collapse of the core. We here study cases of both -head-on and off-center collisions, in which the pre-collision velocity increases the initial sound speed of the barotropic gas by up to several times. In a simulation the accretion centers are formed by the highest density particles, so we here report their location and properties in order to realize the collision effects on the collapsing and colliding cores. In one of the models we observe a roughly spherical distribution of accretion centers located at the front wave of the collision. In a forthcoming publication we will apply the full modified GADGET code to study the collision of turbulent cores.


title: Scale Invariant Density Perturbations from Cyclic Cosmology

abstract: It is shown how quantum fluctuations of the radiation during the contraction era of a CBE (Comes Back Empty) cyclic cosmology can provide density fluctuations which re-enter the horizon during the subsequent expansion era and at lowest order are scale invariant, in a Harrison-Zel'dovich-Peebles sense, as necessary to be consistent with observations of large scale structure.


title: Automorphism group of a Bott-Samelson-Demazure-Hansen variety

abstract: Let $G$ be a simple, adjoint, algebraic group over the field of complex numbers, $B$ be a Borel subgroup of $G$ containing a maximal torus $T$ of $G$, $w$ be an element of the Weyl group $W$ and $X(w)$ be the Schubert variety in $G/B$ corresponding to $w$. Let $Z(w,\underline i)$ be the Bott-Samelson-Demazure-Hansen variety (the desingularization of the Schubert variety $X(w)$) corresponding to a reduced expression $\underline i$ of $w$. In this article, we compute the connected component $Aut^0(Z(w, \underline i))$ of the automorphism group of $Z(w,\underline i)$ containing the identity automorphism. We show that $Aut^0(Z(w, \underline i))$ contains a closed subgroup isomorphic to $B$ if and only if $w^{-1}(\alpha_0)<0$, where $\alpha_0$ is the highest root. If $w_0$ denotes the longest element of $W$, then we prove that $Aut^0(Z(w_0, \underline i))$ is a parabolic subgroup of $G$. It is also shown that this parabolic subgroup depends very much on the chosen reduced expression $\underline i$ of $w_0$ and we describe all parabolic subgroups of $G$ that occur as $Aut^0(Z(w_0, \underline i))$. If $G$ is simply laced, then we show that for every $w\in W$ and for every reduced expression $\underline i$ of $w$, $ Aut^0(Z(w, \underline i))$ is a quotient of the parabolic subgroup $Aut^0(Z(w_0, \underline j))$ of $G$ for a suitable choice of a reduced expression $\underline j$ of $w_0$. We also prove that the Bott-Samelson-Demazure-Hansen varieties are rigid for simply laced groups and their deformations are unobstructed in general.


title: Detection of Critical Number of People in Interlocked Doors for Security Access Control by Exploiting a Microwave Transceiver-Array

abstract: Counting the number of people is something many security application focus on, when dealing with controlling accesses in restricted areas, as it occurs with banks, airports, railway stations and governmental offices. This paper presents an automated solution for detecting the presence of more than one person into interlocked doors adopted in many accesses. In most cases, interlocked doors are small areas where other pieces of information and sensors are placed in order to detect the presence of guns, explosive, etc. The general goals and the required environmental condition, allowed us to implement a detection system at lower costs and complexity, with respect to other existing techniques. The system consists of a fixed array of microwave transceiver modules, whose received signals are processed to collect information related to a sort of volume occupied in the interlocked door cabin. The proposed solution has been statistically validated by using statistical analysis. The whole solution has been also implemented to be used in a real time environment and thus validated against real experimental measures.


title: A model with cosmological Bell inequalities

abstract: We discuss the possibility of devising cosmological observables which violate Bell's inequalities. Such observables could be used to argue that cosmic scale features were produced by quantum mechanical effects in the very early universe. As a proof of principle, we propose a somewhat elaborate inflationary model where a Bell inequality violating observable can be constructed.


title: Ontology Bulding vs Data Harvesting and Cleaning for Smart-city Services

abstract: Presently, a very large number of public and private data sets are available around the local governments. In most cases, they are not semantically interoperable and a huge human effort is needed to create integrated ontologies and knowledge base for smart city. Smart City ontology is not yet standardized, and a lot of research work is needed to identify models that can easily support the data reconciliation, the management of the complexity and reasoning. In this paper, a system for data ingestion and reconciliation smart cities related aspects as road graph, services available on the roads, traffic sensors etc., is proposed. The system allows managing a big volume of data coming from a variety of sources considering both static and dynamic data. These data are mapped to smart-city ontology and stored into an RDF-Store where they are available for applications via SPARQL queries to provide new services to the users. The paper presents the process adopted to produce the ontology and the knowledge base and the mechanisms adopted for the verification, reconciliation and validation. Some examples about the possible usage of the coherent knowledge base produced are also offered and are accessible from the RDF-Store.


title: Deep Convolutional Networks are Hierarchical Kernel Machines

abstract: In i-theory a typical layer of a hierarchical architecture consists of HW modules pooling the dot products of the inputs to the layer with the transformations of a few templates under a group. Such layers include as special cases the convolutional layers of Deep Convolutional Networks (DCNs) as well as the non-convolutional layers (when the group contains only the identity). Rectifying nonlinearities -- which are used by present-day DCNs -- are one of the several nonlinearities admitted by i-theory for the HW module. We discuss here the equivalence between group averages of linear combinations of rectifying nonlinearities and an associated kernel. This property implies that present-day DCNs can be exactly equivalent to a hierarchy of kernel machines with pooling and non-pooling layers. Finally, we describe a conjecture for theoretically understanding hierarchies of such modules. A main consequence of the conjecture is that hierarchies of trained HW modules minimize memory requirements while computing a selective and invariant representation.


title: Origin of giant magnetoresistance across the martensitic transformation for Ni44Cu2Mn43In11 alloy: Formation of phase fraction

abstract: We have studied the phase volume fraction related magnetoresistance (MR) across the first order martensite transformation (MT) of Ni44Cu2Mn43In11 alloy. Within the metastability of MT, an isothermal application of magnetic field converts the martensite into austenite. The field induced austenite phase fraction (fIA) at any temperature depends on the availability and instability of martensite phase fraction (fM ) at that temperature. This fIA is found to contribute most significantly to the observed giant MR while the contribution from pure martensite and austenite phase fraction is negligible. It is found that the net MR follows a non linear proportional relation with the fIA and the ascending and descending branch of fIA follows different power law giving rise to hysteresis in MR. Here we present a detail explanation of the observed behaviours of MR based on the existing phase fraction.


title: Km4City Ontology Building vs Data Harvesting and Cleaning for Smart-city Services

abstract: Presently, a very large number of public and private data sets are available from local governments. In most cases, they are not semantically interoperable and a huge human effort would be needed to create integrated ontologies and knowledge base for smart city. Smart City ontology is not yet standardized, and a lot of research work is needed to identify models that can easily support the data reconciliation, the management of the complexity, to allow the data reasoning. In this paper, a system for data ingestion and reconciliation of smart cities related aspects as road graph, services available on the roads, traffic sensors etc., is proposed. The system allows managing a big data volume of data coming from a variety of sources considering both static and dynamic data. These data are mapped to a smart-city ontology, called KM4City (Knowledge Model for City), and stored into an RDF-Store where they are available for applications via SPARQL queries to provide new services to the users via specific applications of public administration and enterprises. The paper presents the process adopted to produce the ontology and the big data architecture for the knowledge base feeding on the basis of open and private data, and the mechanisms adopted for the data verification, reconciliation and validation. Some examples about the possible usage of the coherent big data knowledge base produced are also offered and are accessible from the RDF-Store and related services. The article also presented the work performed about reconciliation algorithms and their comparative assessment and selection.


title: Moving Towards a Socially-Driven Internet Architectural Design

abstract: This paper provides an interdisciplinary perspective concerning the role of prosumers on future Internet design based on the current trend of Internet user empowerment. The paper debates the prosumer role, and addresses models to develop a symmetric Internet architecture and supply-chain based on the integration of social capital aspects. It has as goal to ignite the discussion concerning a socially-driven Internet architectural design.


title: Signal prediction by anticipatory relaxation dynamics

abstract: Real-time prediction of signals is a task often encountered in control problems as well as by living systems. Here a model-free prediction approach based on the coupling of a linear relaxation-delay system to a smooth, stationary signal is described. The resulting anticipatory relaxation dynamics (ARD) is a frequency-dependent predictor of future signal values. ARD not only approximately predicts signals on average but can anticipate the occurrence of signal peaks, too. This can be explained by recognizing ARD as an input/output system with negative group delay. It is completely characterized, including its prediction horizon, by its analytically given frequency response function.


title: On Fano threefolds with semi-free ${\mathbb C}^*$-actions, I

abstract: Let $X$ be a Fano threefold and $\C ^* \times X\rightarrow X$ an algebraic action. Then $X$ has a $S^1$-invariant K\"ahler structure and the corresponding $S^1$-action admits an equivariant moment map which is at the same time a perfect Bott-Morse function. We will initiate a program to classify the Fano threefolds with semi-free ${\mathbb C}^*$-actions using Morse theory and the holomorphic Lefschetz fixed point formula as the main tools. In this paper we give a complete list of all possible Fano threefolds without "interior isolated fixed points" for any semi-free ${\mathbb C}^*$-action. For the actions whose fixed point sets have only two connected components, and in a few other cases, we give the realizations of the semi-free $\C^*$-actions.


title: Truncation map estimation based on bivariate probabilities and validation for the truncated plurigaussian model

abstract: The truncated plurigaussian model is often used to simulate the spatial distribution of random categorical variables such as geological facies. The problems addressed in this paper are the estimation of parameters of the truncation map for the truncated plurigaussian model. Unlike standard truncation maps, in this paper a colored Voronoi tessellation with number of nodes, locations of nodes, and category associated with each node all treated as unknowns in the optimization. Parameters were adjusted to match categorical bivariate unit-lag probabilities, which were obtained from a larger pattern joint distribution estimates from the Bayesian maximum-entropy approach conditioned to the unit-lag probabilities. The distribution of categorical variables generated from the estimated truncation map was close to the target unit-lag bivariate probabilities. The validation of the predictive performance of the model is evaluated using scoring rules, and conditioning of the latent Gaussian fields to log-data is generalized for the case when the truncated bigaussian model is governed by a colored Voronoi tessellation of the truncation map.


title: Chemical abundance study of two strongly s-process enriched post-AGB stars in the LMC: J051213.81-693537.1 and J051848.86-700246.9

abstract: Context: This paper is part of a larger project in which we study the chemical abundances of extra-galactic post-AGB stars with the ultimate goal of improving our knowledge of the poorly understood AGB third dredge-up mixing processes and s-process nucleosynthesis. Aims: In this paper, we study two carefully selected post-AGB stars in the LMC. The combination of favourable atmospheric parameters for detailed abundance studies and their known distances make these objects ideal probes of the internal AGB third dredge-up and s-process nucleosynthesis in that they provide observational constraints for theoretical AGB models. Methods: We use high-resolution optical UVES spectra to determine accurate stellar parameters and perform detailed elemental abundance studies. Additionally, we use available photometric data to construct SEDs for reddening and luminosity determinations. We then estimate initial masses from theoretical post-AGB tracks. Results: Both stars show extreme s-process enrichment associated with relatively low C/O ratios of about 1.3. We could only derive upper limits of the lead (Pb) abundance which indicate no strong Pb overabundances with respect to other s-elements. Comparison with theoretical post-AGB evolutionary tracks in the HR-diagram reveals that both stars have low initial masses between 1.0 and 1.5 Msun. Conclusion: This study adds to the results obtained so far on a very limited number of s-process enriched post-AGB stars in the Magellanic Clouds. We find an increasing discrepancy between observed and predicted Pb abundances towards lower metallicities for all studied Magellanic Cloud post-AGB stars found so far, as well as moderate C/O ratios. We find that all s-process rich post-AGB stars in the LMC and SMC studied so far, cluster in the same region of the HR-diagram and are associated with low-mass stars with a low metallicity on average.


title: New deformations of Convolution algebras and Fourier algebras on locally compact groups

abstract: In this paper we introduce a new way of deforming convolution algebras and Fourier algebras on locally compact groups. We demonstrate that this new deformation allows us to reveal some informations of the underlying groups by examinining Banach algebra properties of deformed algebras. More precisely, we focus on representability as an operator algebra of deformed convolution algebras on compact connected Lie groups with connection to the real dimension of the underlying group. Similary, we investigate complete representability as an operator algebra of deformed Fourier algebras on some finitely generated discrete groups with connection to the growth rate of the group.


title: The Oberbeck--Boussinesq Approximation as a Constitutive Limit

abstract: We derive the usual Oberbeck--Boussinesq approximation as a constitutive limit of the full system describing the motion of an compressible linearly viscous fluid. To this end the starting system is written, using the Gibbs free energy, in the variables $\mathbf v, \theta$ and $p$. The Oberbeck--Boussinesq system is then obtained as the thermal expansion coefficient $\alpha$ and the isothermal compressibility coefficient $\beta$ tend to zero.


title: S-positivity of interval hypergraphs

abstract: We prove the s-positivity of the chromatic functions of interval hypergraphs and a conjecture of Taylor~\cite{Taylor15} as a consequence. We also give a new proof of Gasharov's theorem on the s-positivity of the chromatic symmetric functions of $(3+1)$-free posets.


title: Invisible Higgs Decay at the LHeC

abstract: The possibility that the 125 GeV Higgs boson may decay into invisible non-standard-model (non-SM) particles is theoretically and phenomenologically intriguing. In this letter we investigate the sensitivity of the Large Hadron Electron Collider (LHeC) to an invisibly decaying Higgs, in its proposed high luminosity running mode. We focus on the neutral current Higgs production channel which offers more kinematical handles than its charged current counterpart. The signal contains one electron, one jet and large missing energy. With a cut-based parton level analysis, we estimate that if the $hZZ$ coupling is at its standard model (SM) value, then assuming an integrated luminosity of $1\,\mbox{ab}^{-1}$ the LHeC with the proposed 60 GeV electron beam (with $-0.9$ polarization) and 7 TeV proton beam is capable of probing $\mathrm{Br}(h\rightarrow E\!\!\!\!/_T)=6\%$ at $2\sigma$ level. Good lepton veto performance (especially hadronic $\tau$ veto) in the forward region is crucial to the suppression of the dominant $Wje$ background. We also explicitly point out the important role that may be played by the LHeC in probing a wide class of exotic Higgs decay processes and emphasize the general function of lepton-hadron colliders in precision study of new resonances after their discovery in hadron-hadron collisions.


title: A Fixed Energy Fixed Angle Inverse Uniqueness in Interior Transmission Problem

abstract: We transform an inverse scattering problem to be an interior transmission problem. We find an inverse uniqueness on the scatterer with a knowledge of a fixed interior transmission eigenvalue. By examining the solution in a series of spherical harmonics at far fields, we can decide the perturbation uniquely for the radially symmetric perturbations.


title: Finding Points in General Position

abstract: We study computational aspects of the General Position Subset Selection problem defined as follows: Given a set of points in the plane, find a maximum-cardinality subset of points in general position. We prove that General Position Subset Selection is NP-hard, APX-hard, and give several fixed-parameter tractability results as well as a subexponential running time lower bound based on the Exponential Time Hypothesis.


title: On calculating the slice genera of 11- and 12-crossing knots

abstract: This paper contains the results of efforts to determine values of the smooth and the topological slice genus of 11- and 12-crossing knots. Upper bounds for these genera were produced by using a computer to search for genus one concordances between knots. For the topological slice genus further upper bounds were produced using the algebraic genus. Lower bounds were obtained using a new obstruction from the Seifert form and by use of Donaldson's diagonalization theorem. These results complete the computation of the topological slice genera for all knots with at most 11 crossings and leaves the smooth genera unknown for only two 11-crossing knots. For 12 crossings there remain merely 25 knots whose smooth or topological slice genus is unknown.


title: Breakdown of the escape dynamics in Josephson junctions

abstract: We have identified anomalous behavior of the escape rate out of the zero-voltage state in Josephson junctions with a high critical current density Jc. For this study we have employed YBa2Cu3O7-x grain boundary junctions, which span a wide range of Jc and have appropriate electrodynamical parameters. Such high Jc junctions, when hysteretic, do not switch from the superconducting to the normal state following the expected stochastic Josephson distribution, despite having standard Josephson properties such as a Fraunhofer magnetic field pattern. The switching current distributions (SCDs) are consistent with nonequilibrium dynamics taking place on a local rather than a global scale. This means that macroscopic quantum phenomena seem to be practically unattainable for high Jc junctions. We argue that SCDs are an accurate means to measure nonequilibrium effects. This transition from global to local dynamics is of relevance for all kinds of weak links, including the emergent family of nanohybrid Josephson junctions. Therefore caution should be applied in the use of such junctions in, for instance, the search for Majorana fermions.


title: Schiffer variations and Abelian differentials

abstract: Deformations of compact Riemann surfaces are considered using a \v{C}ech cohomology sliding overlaps approach. Cocycles are calculated for conformal cutting and regluing deformations at zeros of Abelian differentials. A second order deformation expansion is presented for the Riemann period matrix. A complete deformation expansion is presented for Abelian differentials. Schiffer's kernel function approach for deformations of a Green's function is followed.


title: Weak convergence of the empirical spectral distribution of ultra-high-dimensional banded sample covariance matrices

abstract: In this article we investigate high-dimensional banded sample covariance matrices under the regime that the sample size $n$, the dimension $p$ and the bandwidth $d$ tend simultaneously to infinity such that $$n/p\to 0 \ \ \text{and} \ \ 2d/n\to y>0.$$ It is shown that the empirical spectral distribution of those matrices almost surely converges weakly to some deterministic probability measure which is characterized by its moments. Certain restricted compositions of natural numbers play a crucial role in the evaluation of the expected moments of the empirical spectral distribution.


title: Screening an extremal black hole with a thin shell of exotic matter

abstract: We study the possibility of shielding a regular extremal black hole by means of a matter thin-shell. While the surface energy density $\sigma$ on the static shell is negative, the tangential pressures $p$ are positive, both of them being finite when the shell approaches the black hole horizon. The Darmois-Israel junction conditions are used to find $\sigma$ and $p$ in terms of the radius $a$ of the shell. The surface gravitational energy $E_{S}$ is computed, keeping track of the pressure contribution. The stability conditions are briefly investigated.


title: Partial clones containing all Boolean monotone self-dual partial functions

abstract: The study of partial clones on $\mathbf{2}:=\{0,1\}$ was initiated by R. V. Freivald. In his fundamental paper published in 1966, Freivald showed, among other things, that the set of all monotone partial functions and the set of all self-dual partial functions are both maximal partial clones on $\mathbf{2}$. Several papers dealing with intersections of maximal partial clones on $\mathbf{2}$ have appeared after Freivald work. It is known that there are infinitely many partial clones that contain the set of all monotone self-dual partial functions on $\mathbf{2}$, and the problem of describing them all was posed by some authors. In this paper we show that the set of partial clones that contain all monotone self-dual partial functions is of continuum cardinality on $\mathbf{2}$.


title: Bayesian Optimal Approximate Message Passing to Recover Structured Sparse Signals

abstract: We present a novel compressed sensing recovery algorithm - termed Bayesian Optimal Structured Signal Approximate Message Passing (BOSSAMP) - that jointly exploits the prior distribution and the structured sparsity of a signal that shall be recovered from noisy linear measurements. Structured sparsity is inherent to group sparse and jointly sparse signals. Our algorithm is based on approximate message passing that poses a low complexity recovery algorithm whose Bayesian optimal version allows to specify a prior distribution for each signal component. We utilize this feature in order to establish an iteration-wise extrinsic group update step, in which likelihood ratios of neighboring group elements provide soft information about a specific group element. Doing so, the recovery of structured signals is drastically improved. We derive the extrinsic group update step for a sparse binary and a sparse Gaussian signal prior, where the nonzero entries are either one or Gaussian distributed, respectively. We also explain how BOSSAMP is applicable to arbitrary sparse signals. Simulations demonstrate that our approach exhibits superior performance compared to the current state of the art, while it retains a simple iterative implementation with low computational complexity.


title: Signal extraction approach for sparse multivariate response regression

abstract: In this paper, we consider multivariate response regression models with high dimensional predictor variables. One way to model the correlation among the response variables is through the low rank decomposition of the coefficient matrix, which has been considered by several papers for the high dimensional predictors. However, all these papers focus on the singular value decomposition of the coefficient matrix. Our target is the decomposition of the coefficient matrix which leads to the best lower rank approximation to the regression function, the signal part in the response. Given any rank, this decomposition has nearly the smallest expected prediction error among all approximations to the the coefficient matrix with the same rank. To estimate the decomposition, we formulate a penalized generalized eigenvalue problem to obtain the first matrix in the decomposition and then obtain the second one by a least squares method. In the high-dimensional setting, we establish the oracle inequalities for the estimates. Compared to the existing theoretical results, we have less restrictions on the distribution of the noise vector in each observation and allow correlations among its coordinates. Our theoretical results do not depend on the dimension of the multivariate response. Therefore, the dimension is arbitrary and can be larger than the sample size and the dimension of the predictor. Simulation studies and application to real data show that the proposed method has good prediction performance and is efficient in dimension reduction for various reduced rank models.


title: Study Pelamis system to capture energy of ocean wave

abstract: Over the years, energy has become vital for humans, enabling us to comfort, leisure, mobility and other factors. The quest for cheap energy sources, renewable and clean has grown in recent years, mainly for the reduction of effects that comes degrading nature, allowing scientists and engineers to search for new technologies. Many energy sources have been researched for proper funding where some stand out for their ease of obtaining, by other low cost and others by being renewable. The main objective of this work is to study one of these energy sources - wave energy, whose capture is still in development. This energy comes from the waves of the sea and is 100% renewable and with minimal environmental impact when compared to hydro, nuclear, coal, thermal, etc. The system studied here is the Pelamis system.


title: SHIPS: A new setup for the investigation of swift heavy ion induced particle emission and surface modifications

abstract: The irradiation with fast ions with kinetic energies of > 10 MeV leads to the deposition of a high amount of energy along their trajectory (up to several ten keV/nm). The energy is mainly transferred to the electronic subsystem and induces different secondary processes of excitations which result in significant material modifications. A new setup to study these ion induced effects on surfaces will be described in this paper. The setup combines a variable irradiation chamber with different techniques of surface characterizations like scanning probe microscopy, time-of-flight secondary ion and neutral mass spectrometry, as well as low energy electron diffraction under ultra high vacuum conditions, and is mounted at a beamline of the universal linear accelerator (UNILAC) of the GSI facility in Darmstadt, Germany. Here, samples can be irradiated with high-energy ions with a total kinetic energy up to several GeVs under different angles of incidence. Our setup enables the preparation and in-situ analysis of different types of sample systems ranging from metals to insulators. Time-of-flight secondary ion mass spectrometry enables us to study the chemical composition of the surface, while scanning probe microscopy allows a detailed view into the local electrical and morphological conditions of the sample surface down to atomic scales. With the new setup particle emission during irradiation as well as persistent modifications of the surface after irradiation can thus be studied. We present first data obtained with the new setup, including a novel measuring protocol for time-of-flight mass spectrometry with the GSI UNILAC accelerator.


title: Evaluating color texture descriptors under large variations of controlled lighting conditions

abstract: The recognition of color texture under varying lighting conditions is still an open issue. Several features have been proposed for this purpose, ranging from traditional statistical descriptors to features extracted with neural networks. Still, it is not completely clear under what circumstances a feature performs better than the others. In this paper we report an extensive comparison of old and new texture features, with and without a color normalization step, with a particular focus on how they are affected by small and large variation in the lighting conditions. The evaluation is performed on a new texture database including 68 samples of raw food acquired under 46 conditions that present single and combined variations of light color, direction and intensity. The database allows to systematically investigate the robustness of texture descriptors across a large range of variations of imaging conditions.


title: The synchrotron component study in a spectral energy distribution of blazars

abstract: We study the synchrotron component of the spectral energy distribution (SED) on the sample of 877 blazars using the ASDC SED Builder Tool with available broadband data from the literature. Our sample includes 423 flat-spectrum radio sources (FSRQs), 361 BL Lac objects and candidates, and 93 blazars of uncertain type. We have made an estimation of the synchrotron peak frequency ($\nu_{peak}^{s}$) for the 875 objects and further classified them as high, intermediate and low synchrotron peaked sources (HSPs/ISPs/LSPs). There are 42 HSPs with $\nu_{peak}^{s} > 10^{16.5}$ Hz, 222 ISPs with $10^{14.5} < \nu_{peak}^{s} < 10^{16.5}$ Hz, and 611 LSPs with $\nu_{peak}^{s} < 10^{14.5}$ Hz in our sample. We have calculated an average value of $\nu_{peak}^{s}$ to be $10^{13.4 \pm 1.0}$ Hz for FSRQs and $10^{14.6 \pm 1.4}$ Hz for BL Lacs. We found out that $\nu_{peak}^{s}$ and the flux density at 4.8 GHz have a different distribution (as indicated by Kolmogorov-Smirnov test at significance level 0.05) for the FSRQ and BL Lac blazars, and for the RBL and XBL types of BL Lacs. Distribution of $\nu_{peak}^{s}$ values is broader for BL Lacs, than for FSRQs. There are no ultra-high energy peaked objects (with $\nu_{peak}^{s} > 10^{19}$ Hz) in our BL Lac sample according to our estimations. The significant part of FSRQs (41%) and small part of BL Lacs (9%) in our sample could be considered as candidates to the very-low synchrotron peaked blazars (with $\nu_{peak}^{s} < 10^{13}$ Hz). Our foundations confirm results of the previous studies made on samples with significantly smaller number of objects.


title: Symmetries of matrix multiplication algorithms. I

abstract: In this work the algorithms of fast multiplication of matrices are considered. To any algorithm there associated a certain group of automorphisms. These automorphism groups are found for some well-known algorithms, including algorithms of Hopcroft, Laderman, and Pan. The automorphism group is isomorphic to $S_3\times Z_2$ and $S_4$ for Hopcroft anf Laderman algorithms, respectively. The studying of symmetry of algorithms may be a fruitful idea for finding fast algorithms, by an analogy with well-known optimization problems for codes, lattices, and graphs. {\em Keywords}: Strassen algorithm, symmetry, fast matrix multiplication.


title: Simple-current algebra constructions of 2+1D topological orders

abstract: Self-consistent (non-)abelian statistics in 2+1D are classified by modular tensor categories (MTC). In recent works, a simplified axiomatic approach to MTCs, based on fusion coefficients $N^{ij}_k$ and spins $s_i$, was proposed. A numerical search based on these axioms led to a list of possible (non-)abelian statistics, with rank up to $N=7$. However, there is no guarantee that all solutions to the simplified axioms are consistent and can be realised by bosonic physical systems. In this paper, we use simple-current algebra to address this issue. We explicitly construct many-body wave functions, aiming to realize the entries in the list (\ie realize their fusion coefficients $N^{ij}_k$ and spins $s_i$). We find that all entries can be constructed by simple-current algebra plus conjugation under time reversal symmetry. This supports the conjecture that simple-current algebra is a general approach that allows us to construct all (non-)abelian statistics in 2+1D. It also suggests that the simplified theory based on $(N^{ij}_k,s_i)$ is a classifying theory at least for simple bosonic 2+1D topological orders (up to invertible topological orders).


title: The Half-composite Two Higgs Doublet Model and the Relaxion

abstract: We study a new confining gauge theory with fermions in a vectorial representation under the SM gauge group that allows for Yukawa interactions with the Higgs. If the fermion masses are smaller than the confinement scale this realizes a type I two Higgs doublet model where a composite Higgs mixes with the elementary Higgs. This class of models interpolates between an elementary and a composite Higgs and has interesting phenomenology with potentially observables effects in collider physics, EDMs and SM couplings but very weak bounds from indirect searches. The very same framework can be used to realize the cosmological relaxation of the electro-weak scale recently discussed in the literature.


title: Sparse Fisher's discriminant analysis with thresholded linear constraints

abstract: Various regularized linear discriminant analysis (LDA) methods have been proposed to address the problems of the classic methods in high-dimensional settings. Asymptotic optimality has been established for some of these methods in high dimension when there are only two classes. A major difficulty in proving asymptotic optimality for multiclass classification is that the classification boundary is typically complicated and no explicit formula for classification error generally exists when the number of classes is greater than two. For the Fisher's LDA, one additional difficulty is that the covariance matrix is also involved in the linear constraints. The main purpose of this paper is to establish asymptotic consistency and asymptotic optimality for our sparse Fisher's LDA with thresholded linear constraints in the high-dimensional settings for arbitrary number of classes. To address the first difficulty above, we provide asymptotic optimality and the corresponding convergence rates in high-dimensional settings for a large family of linear classification rules with arbitrary number of classes, and apply them to our method. To overcome the second difficulty, we propose a thresholding approach to avoid the estimate of the covariance matrix. We apply the method to the classification problems for multivariate functional data through the wavelet transformations.


title: Wormholes without exotic matter in Einstein-Cartan theory

abstract: We study the possible existence of static traversable wormholes without invoking exotic matter in the framework of the Einstein--Cartan theory. A family of exact static, spherically symmetric wormhole solutions with an arbitrary throat radius, with flat or AdS asymptotic behavior, has been obtained with sources in the form of two noninteracting scalar fields with nonzero potentials. Both scalar fields are canonical (that is, satisfy the weak energy condition), one is minimally and the other nonminimally coupled to gravity, and the latter is a source of torsion.


title: Improved Constructions of Two-Source Extractors

abstract: In a recent breakthrough \cite{CZ15}, Chattopadhyay and Zuckerman gave an explicit two-source extractor for min-entropy $k \geq \log^C n$ for some large enough constant $C$. However, their extractor only outputs one bit. In this paper, we improve the output of the two-source extractor to $k^{\Omega(1)}$, while the error remains $n^{-\Omega(1)}$. Our improvement is obtained by giving a better extractor for $(q, t, \gamma)$ non-oblivious bit-fixing sources, which can output $t^{\Omega(1)}$ bits instead of one bit as in \cite{CZ15}.


title: Subleading Terms in the Collinear Limit of Yang-Mills Amplitudes

abstract: For two massless particles i and j, the collinear limit is a special kinematic configuration in which the particles propagate with parallel four-momentum vectors, with the total momentum P distributed as p_i=xP and p_j=(1-x)P, so that s_{ij}=(p_i+p_j)^2=P^2=0. In Yang-Mills theory, if i and j are among N gauge bosons participating in a scattering process, it is well known that the partial amplitudes associated to the (single trace) group factors with adjacent i and j are singular in the collinear limit and factorize at the leading order into N-1-particle amplitudes times the universal, x-dependent Altarelli-Parisi factors. We give a precise definition of the collinear limit and show that at the tree level, the subleading, non-singular terms are related to the amplitudes with a single graviton inserted instead of two collinear gauge bosons. To that end, we argue that in one-graviton Einstein-Yang-Mills amplitudes, the graviton with momentum P can be replaced by a pair of collinear gauge bosons carrying arbitrary momentum fractions xP and (1-x)P.


title: Molecular-scale remnants of the liquid-gas transition in supercritical polar fluids

abstract: An electronically coarse-grained model for water reveals a persistent vestige of the liquid-gas transition deep into the supercritical region. A crossover in the density dependence of the molecular dipole arises from the onset of non-percolating hydrogen bonds. The crossover points coincide with the Widom line in the scaling region but extend further, tracking the heat capacity maxima, offering evidence for liquid- and gas-like state points in a "one-phase" fluid. The effect is present even in dipole-limit models suggesting that it is common for all molecular liquids exhibiting dipole enhancement in the liquid phase.


title: Towards a Mg lattice clock: Observation of the $^1S_{0}-$$^3P_{0}$ transition and determination of the magic wavelength

abstract: We optically excite the electronic state $3s3p~^3P_{0}$ in $^{24}$Mg atoms, laser-cooled and trapped in a magic-wavelength lattice. An applied magnetic field enhances the coupling of the light to the otherwise strictly forbidden transition. We determine the magic wavelength, the quadratic magnetic Zeeman shift and the transition frequency to be 468.463(207)$\,$nm, -206.6(2.0)$\,$MHz/T$^2$ and 655 058 646 691(101)$\,$kHz, respectively. These are compared with theoretical predictions and results from complementary experiments. We also developed a high-precision relativistic structure model for magnesium, give an improved theoretical value for the blackbody radiation shift and discuss a clock based on bosonic magnesium.


title: Unpredictability and the transmission of numbers

abstract: Curiously overlooked in physics is its dependence on the transmission of numbers. For example the transmission of numerical clock readings is implicit in the concept of a coordinate system. The transmission of numbers and other logical distinctions is often achieved over a computer-mediated communications network in the face of an unpredictable environment. By unpredictable we mean something stronger than the spread of probabilities over given possible outcomes, namely an opening to unforeseeable possibilities. Unpredictability, until now overlooked in theoretical physics, makes the transmission of numbers interesting. Based on recent proofs within quantum theory that provide a theoretical foundation to unpredictability, here we show how regularities in physics rest on a background of channels over which numbers are transmitted. As is known to engineers of digital communications, numerical transmissions depend on coordination reminiscent of the cycle of throwing and catching by players tossing a ball back and forth. In digital communications, the players are computers, and the required coordination involves unpredictably adjusting "live clocks" that step these computers through phases of a cycle. We show how this phasing, which we call `logical synchronization,' constrains number-carrying networks, and, if a spacetime manifold in invoked, put "stripes" on spacetime. Via its logically synchronized channels, a network of live clocks serves as a reference against which to locate events. Such a network in any case underpins a coordinate frame, and in some cases the direct use of a network can be tailored to investigate an unpredictable environment. Examples include explorations of gravitational variations near Earth.


title: Statically screened ion potential and Bohm potential in a quantum plasma

abstract: The effective potential $\Phi$ of a classical ion in a weakly correlated quantum plasma in thermodynamic equilibrium at finite temperature is well described by the RPA screened Coulomb potential. Additionally, collision effects can be included via a relaxation time ansatz (Mermin dielectric function). These potentials are used to study the quality of various statically screened potentials that were recently proposed by Shukla and Eliasson (SE) [Phys. Rev. Lett. {\bf 108}, 165007 (2012)], Akbari--Moghanjoughi (AM) [Phys. Plasmas {\bf 22}, 022103 (2015)] and Stanton and Murillo (SM) [Phys. Rev. E {\bf 91}, 033104 (2015)] starting from quantum hydrodynamic theory (QHD). Our analysis reveals that the SE potential is qualitatively different from the full potential, whereas the SM potential (at any temperature) and the AM potential (at zero temperature) are significantly more accurate. This confirms the correctness of the recently derived [Michta {\em et al.}, Contrib. Plasma Phys. {\bf 55}, (2015)] pre-factor $1/9$ in front of the Bohm term of QHD for fermions.


title: Dynamics of Perturbations in Double Field Theory & Non-Relativistic String Theory

abstract: Double Field Theory provides a geometric framework capable of describing string theory backgrounds that cannot be understood purely in terms of Riemannian geometry -- not only globally (`non-geometry'), but even locally (`non-Riemannian'). In this work, we show that the non-relativistic closed string theory of Gomis and Ooguri [1] arises precisely as such a non-Riemannian string background, and that the Gomis-Ooguri sigma model is equivalent to the Double Field Theory sigma model of [2] on this background. We further show that the target-space formulation of Double Field Theory on this non-Riemannian background correctly reproduces the appropriate sector of the Gomis-Ooguri string spectrum. To do this, we develop a general semi-covariant formalism describing perturbations in Double Field Theory. We derive compact expressions for the linearized equations of motion around a generic on-shell background, and construct the corresponding fluctuation Lagrangian in terms of novel completely covariant second order differential operators. We also present a new non-Riemannian solution featuring Schr\"odinger conformal symmetry.


title: On Bivariate Generalized Linear Failure Rate-Power Series Class of Distributions

abstract: Recently it has been observed that the bivariate generalized linear failure rate distribution can be used quite effectively to analyze lifetime data in two dimensions. This paper introduces a more general class of bivariate distributions. We refer to this new class of distributions as bivariate generalized linear failure rate power series model. This new class of bivariate distributions contains several lifetime models such as: generalized linear failure rate-power series, bivariate generalized linear failure rate and bivariate generalized linear failure rate geometric distributions as special cases among others. The construction and characteristics of the proposed bivariate distribution are presented along with estimation procedures for the model parameters based on maximum likelihood. The marginal and conditional laws are also studied. We present an application to the real data set where our model provides a better fit than other models.


title: Invariant subsets of scattered trees. An application to the tree alternative property of Bonato and Tardif

abstract: A tree is scattered if no subdivision of the complete binary tree is a subtree. Building on results of Halin, Polat and Sabidussi, we identify four types of subtrees of a scattered tree and a function of the tree into the integers at least one of which is preserved by every embedding. With this result and a result of Tyomkyn, we prove that the tree alternative property conjecture of Bonato and Tardif holds for scattered trees and a conjecture of Tyomkin holds for locally finite scattered trees.


title: Fine-tuning with Brane-Localized Flux in 6D Supergravity

abstract: There are claims in the literature that the cosmological constant problem could be solved in a braneworld model with two large (micron-sized) supersymmetric extra dimensions. The mechanism relies on two basic ingredients: First, the cosmological constant only curves the compact bulk geometry into a rugby shape while the 4D curvature stays flat. Second, a brane-localized flux term is introduced in order to circumvent Weinberg's fine-tuning argument, which otherwise enters here through a backdoor via the flux quantization condition. In this paper, we show that the latter mechanism does not work in the way it was designed: The only localized flux coupling that guarantees a flat on-brane geometry is one which preserves the scale invariance of the bulk theory. Consequently, Weinberg's argument applies, making a fine-tuning necessary again. The only remaining window of opportunity lies within scale invariance breaking brane couplings, for which the tuning could be avoided. Whether the corresponding 4D curvature could be kept under control and in agreement with the observed value will be answered in our companion paper [arXiv:1512.03800].


title: A Dynamically Adaptive Sparse Grid Method for Quasi-Optimal Interpolation of Multidimensional Analytic Functions

abstract: In this work we develop a dynamically adaptive sparse grids (SG) method for quasi-optimal interpolation of multidimensional analytic functions defined over a product of one dimensional bounded domains. The goal of such approach is to construct an interpolant in space that corresponds to the "best $M$-terms" based on sharp a priori estimate of polynomial coefficients. In the past, SG methods have been successful in achieving this, with a traditional construction that relies on the solution to a Knapsack problem: only the most profitable hierarchical surpluses are added to the SG. However, this approach requires additional sharp estimates related to the size of the analytic region and the norm of the interpolation operator, i.e., the Lebesgue constant. Instead, we present an iterative SG procedure that adaptively refines an estimate of the region and accounts for the effects of the Lebesgue constant. Our approach does not require any a priori knowledge of the analyticity or operator norm, is easily generalized to both affine and non-affine analytic functions, and can be applied to sparse grids build from one dimensional rules with arbitrary growth of the number of nodes. In several numerical examples, we utilize our dynamically adaptive SG to interpolate quantities of interest related to the solutions of parametrized elliptic and hyperbolic PDEs, and compare the performance of our quasi-optimal interpolant to several alternative SG schemes.


title: A subsampled double bootstrap for massive data

abstract: The bootstrap is a popular and powerful method for assessing precision of estimators and inferential methods. However, for massive datasets which are increasingly prevalent, the bootstrap becomes prohibitively costly in computation and its feasibility is questionable even with modern parallel computing platforms. Recently Kleiner, Talwalkar, Sarkar, and Jordan (2014) proposed a method called BLB (Bag of Little Bootstraps) for massive data which is more computationally scalable with little sacrifice of statistical accuracy. Building on BLB and the idea of fast double bootstrap, we propose a new resampling method, the subsampled double bootstrap, for both independent data and time series data. We establish consistency of the subsampled double bootstrap under mild conditions for both independent and dependent cases. Methodologically, the subsampled double bootstrap is superior to BLB in terms of running time, more sample coverage and automatic implementation with less tuning parameters for a given time budget. Its advantage relative to BLB and bootstrap is also demonstrated in numerical simulations and a data illustration.


title: Encoding CSP into CCS (Extended Version)

abstract: We study encodings from CSP into asynchronous CCS with name passing and matching, so in fact, the asynchronous pi-calculus. By doing so, we discuss two different ways to map the multi-way synchronisation mechanism of CSP into the two-way synchronisation mechanism of CCS. Both encodings satisfy the criteria of Gorla except for compositionality, as both use an additional top-level context. Following the work of Parrow and Sj\"odin, the first encoding uses a central coordinator and establishes a variant of weak bisimilarity between source terms and their translations. The second encoding is decentralised, and thus more efficient, but ensures only a form of coupled similarity between source terms and their translations.


title: Partitioned Shape Modeling with On-the-Fly Sparse Appearance Learning for Anterior Visual Pathway Segmentation

abstract: MRI quantification of cranial nerves such as anterior visual pathway (AVP) in MRI is challenging due to their thin small size, structural variation along its path, and adjacent anatomic structures. Segmentation of pathologically abnormal optic nerve (e.g. optic nerve glioma) poses additional challenges due to changes in its shape at unpredictable locations. In this work, we propose a partitioned joint statistical shape model approach with sparse appearance learning for the segmentation of healthy and pathological AVP. Our main contributions are: (1) optimally partitioned statistical shape models for the AVP based on regional shape variations for greater local flexibility of statistical shape model; (2) refinement model to accommodate pathological regions as well as areas of subtle variation by training the model on-the-fly using the initial segmentation obtained in (1); (3) hierarchical deformable framework to incorporate scale information in partitioned shape and appearance models. Our method, entitled PAScAL (PArtitioned Shape and Appearance Learning), was evaluated on 21 MRI scans (15 healthy + 6 glioma cases) from pediatric patients (ages 2-17). The experimental results show that the proposed localized shape and sparse appearance-based learning approach significantly outperforms segmentation approaches in the analysis of pathological data.


title: On decomposing graphs of large minimum degree into locally irregular subgraphs

abstract: A \emph{locally irregular graph} is a graph whose adjacent vertices have distinct degrees. We say that a graph $G$ can be decomposed into $k$ locally irregular subgraphs if its edge set may be partitioned into $k$ subsets each of which induces a locally irregular subgraph in $G$. It has been conjectured that apart from the family of exceptions which admit no such decompositions, i.e., odd paths, odd cycles and a special class of graphs of maximum degree $3$, every connected graph can be decomposed into $3$ locally irregular subgraphs. Using a combination of a probabilistic approach and some known theorems on degree constrained subgraphs of a given graph, we prove this to hold for graphs of sufficiently large minimum degree, $\delta(G)\geq 10^{10}$. This problem is strongly related to edge colourings distinguishing neighbours by the pallets of their incident colours and to 1-2-3 Conjecture. In particular, the contribution of this paper constitutes a strengthening of a result of Addario-Berry, Aldred, Dalal and Reed [J. Combin. Theory Ser. B 94 (2005) 237-244].


title: On the Efficiency of All-Pay Mechanisms

abstract: We study the inefficiency of mixed equilibria, expressed as the price of anarchy, of all-pay auctions in three different environments: combinatorial, multi-unit and single-item auctions. First, we consider item-bidding combinatorial auctions where m all-pay auctions run in parallel, one for each good. For fractionally subadditive valuations, we strengthen the upper bound from 2 [Syrgkanis and Tardos STOC'13] to 1.82 by proving some structural properties that characterize the mixed Nash equilibria of the game. Next, we design an all-pay mechanism with a randomized allocation rule for the multi- unit auction. We show that, for bidders with submodular valuations, the mechanism admits a unique, 75% efficient, pure Nash equilibrium. The efficiency of this mechanism outperforms all the known bounds on the price of anarchy of mechanisms used for multi-unit auctions. Finally, we analyze single-item all-pay auctions motivated by their connection to contests and show tight bounds on the price of anarchy of social welfare, revenue and maximum bid.


title: Asymptotic optimality of sparse linear discriminant analysis with arbitrary number of classes

abstract: Many sparse linear discriminant analysis (LDA) methods have been proposed to overcome the major problems of the classic LDA in high-dimensional settings. However, the asymptotic optimality results are limited to the case that there are only two classes, which is due to the fact that the classification boundary of LDA is a hyperplane and explicit formulas exist for the classification error in this case. In the situation where there are more than two classes, the classification boundary is usually complicated and no explicit formulas for the classification errors exist. In this paper, we consider the asymptotic optimality in the high-dimensional settings for a large family of linear classification rules with arbitrary number of classes under the situation of multivariate normal distribution. Our main theorem provides easy-to-check criteria for the asymptotic optimality of a general classification rule in this family as dimensionality and sample size both go to infinity and the number of classes is arbitrary. We establish the corresponding convergence rates. The general theory is applied to the classic LDA and the extensions of two recently proposed sparse LDA methods to obtain the asymptotic optimality. We conduct simulation studies on the extended methods in various settings.