title: The Distribution of Mass in the Orion Dwarf Galaxy

abstract: Dwarf galaxies are good candidates to investigate the nature of Dark Matter, because their kinematics are dominated by this component down to small galactocentric radii. We present here the results of detailed kinematic analysis and mass modelling of the Orion dwarf galaxy, for which we derive a high quality and high resolution rotation curve that contains negligible non-circular motions and we correct it for the asymmetric drift. Moreover, we leverage the proximity (D = 5.4 kpc) and convenient inclination (47{\deg}) to produce reliable mass models of this system. We find that the Universal Rotation Curve mass model (Freeman disk + Burkert halo + gas disk) fits the observational data accurately. In contrast, the NFW halo + Freeman disk + gas disk mass model is unable to reproduce the observed Rotation Curve, a common outcome in dwarf galaxies. Finally, we attempt to fit the data with a MOdified Newtonian Dynamics (MOND) prescription. With the present data and with the present assumptions on distance, stellar mass, constant inclination and reliability of the gaseous mass, the MOND "amplification" of the baryonic component appears to be too small to mimic the required "dark component". The Orion dwarf reveals a cored DM density distribution and a possible tension between observations and the canonical MOND formalism.


title: Effect of differential diffusion and extrapolated Ekman dissipation on flux constraints on the two-layer quasi-geostrophic model

abstract: We continue our investigation of an inequality constraining the energy and potential enstrophy flux spectra in the two-layer quasi-geostrophic model. Its physical significance is that it can diagnose whether any given model that allows coexisting downscale cascades of energy and potential enstrophy can reproduce the Nastrom-Gage spectrum, in terms of the total energy spectrum. This inequality holds unconditionally for two-dimensional turbulence, however it is far from obvious that it generalizes to multi-layer quasi-geostrophic models. In previous work we considered the case of a two-layer quasi-geostrophic model in which the dissipation terms for each layer are dependent only on the streamfunction field of the corresponding layer. We now generalize this configuration as follows: First, following a 1980 paper by Salmon, we use an extrapolated Ekman term at the bottom layer which uses the streamfunction field of both layers to approximate the streamfunction field at the surface boundary layer. Second, for reasons explained in detail in the paper itself, we use small-scale dissipation terms with different hyperviscosity coefficients. Sufficient conditions for satisfying the flux inequality are given under this more general dissipation configuration, and we discuss the potential role of extrapolated Ekman dissipation and differential small-scale dissipation in violating the flux inequality.


title: An Inhomogeneous Multispecies TASEP on a Ring

abstract: We reinterpret and generalize conjectures of Lam and Williams as statements about the stationary distribution of a multispecies exclusion process on the ring. The central objects in our study are the multiline queues of Ferrari and Martin. We make some progress on some of the conjectures in different directions. First, we prove their conjectures in two special cases by generalizing the rates of the Ferrari-Martin transitions. Secondly, we define a new process on multiline queues, which have a certain minimality property. This gives another proof for one of the special cases; namely arbitrary jump rates for three species.

categories: math.PR cond-mat.stat-mech math-ph math.CO math.MP


title: Blocking Sets of Index Three

abstract: In this note we will provide proofs for the various statements that have been made in the literature about blocking sets of index three. Our aim is to clarify what is known about the characterization of these sets. Specifically, we provide constructions for all R\'edei blocking sets in PG(2,q) of index three and explicitly determine all blocking sets of index three in PG(2,7).


title: Star formation in HI tails: HCG 92, HCG 100 and 6 interacting systems

abstract: We present new Gemini spectra of 14 new objects found within the HI tails of Hickson Compact Groups 92 and 100. Nine of them are GALEX Far-UV (FUV) and Near-UV (NUV) sources. The spectra confirm that these objects are members of the compact groups and have metallicities close to solar, with an average value of 12+log(O/H)~8.5. They have average FUV luminosities 7 x 10^40 erg/s, very young ages (< 100 Myr) and two of them resemble tidal dwarf galaxies (TDGs) candidates. We suggest that they were created within gas clouds that were ejected during galaxy-galaxy interactions into the intergalactic medium, which would explain the high metallicities of the objects, inherited from the parent galaxies from which the gas originated. We conduct a search for similar objects in 6 interacting systems with extended HI tails, NGC 2623, NGC 3079, NGC 3359, NGC 3627, NGC 3718, NGC 4656. We found 35 UV sources with ages < 100 Myr, however most of them are on average less luminous/massive than the UV sources found around HCG 92 and 100. We speculate that this might be an environmental effect and that compact groups of galaxies are more favorable to TDG formation than other interacting systems.


title: Optimality Conditions and Finite Convergence of Lasserre's Hierarchy

abstract: Lasserre's hierarchy is a sequence of semidefinite relaxations for solving polynomial optimization problems globally. This paper studies the relationship between optimality conditions in nonlinear programming theory and finite convergence of Lasserre's hierarchy. Our main results are: i) Lasserre's hierarchy has finite convergence when the constraint qualification, strict complementarity and second order sufficiency conditions hold at every global minimizer, under the standard archimedean assumption; the proof uses a result of Marshall on boundary hessian conditions. ii) these optimality conditions are all satisfied at every local minimizer if a finite set of polynomials, which are in the coefficients of input polynomials, do not vanish at the input data (i.e., they hold in a Zariski open set). This implies that Lasserre's hierarchy has finite convergence generically.


title: Expected Patterns in Permutation Classes

abstract: In the set of all patterns in $S_n$, it is clear that each k-pattern occurs equally often. If we instead restrict to the class of permutations avoiding a specific pattern, the situation quickly becomes more interesting. Mikl\'os B\'ona recently proved that, surprisingly, if we consider the class of permutations avoiding the pattern 132, all other non-monotone patterns of length 3 are equally common. In this paper we examine the class $\Av (123)$, and give exact formula for the occurrences of each length 3 pattern. While this class does not break down as nicely as $\Av (132)$, we find some interesting similarities between the two and prove that the number of 231 patterns is the same in each.


title: Some results concerning the constant astigmatism equation

abstract: In this paper we continue investigation of the constant astigmatism equation z_{yy} + (1/z)_{xx} + 2 = 0. We newly interpret its solutions as describing spherical orthogonal equiareal patterns, with relevance to two-dimensional plasticity. We show how the classical Bianchi superposition principle for the sine-Gordon equation can be extended to generate an arbitrary number of solutions of the constant astigmatism equation by algebraic manipulations. As a by-product, we show that sine-Gordon solutions give slip line fields on the sphere. Finally, we compute the solutions corresponding to classical Lipschitz surfaces of constant astigmatism via the corresponding equiareal patterns.


title: Testing Chern-Simons modified gravity with observations of extreme-mass-ratio binaries

abstract: Extreme-Mass-Ratio Inspirals (EMRIs) are one of the most promising sources of gravitational waves (GWs) for space-based detectors like the Laser Interferometer Space Antenna (LISA). EMRIs consist of a compact stellar object orbiting around a massive black hole (MBH). Since EMRI signals are expected to be long lasting (containing of the order of hundred thousand cycles), they will encode the structure of the MBH gravitational potential in a precise way such that features depending on the theory of gravity governing the system may be distinguished. That is, EMRI signals may be used to test gravity and the geometry of black holes. However, the development of a practical methodology for computing the generation and propagation of GWs from EMRIs in theories of gravity different than General Relativity (GR) has only recently begun. In this paper, we present a parameter estimation study of EMRIs in a particular modification of GR, which is described by a four-dimensional Chern-Simons (CS) gravitational term. We focus on determining to what extent a space-based GW observatory like LISA could distinguish between GR and CS gravity through the detection of GWs from EMRIs.


title: Fairness and Stability Analysis of Congestion Control Schemes in Vehicular Ad-hoc Networks

abstract: Cooperative vehicle safety (CVS) systems operate based on broadcast of vehicle position and safety information to neighboring cars. The communication medium of CVS is a vehicular ad-hoc network. One of the main challenges in large scale deployment of CVS systems is the issue of scalability. To address the scalability problem, several congestion control methods have been proposed and are currently under field study. These algorithms adapt transmission rate and power based on network measures such as channel busy ratio. We examine two such algorithms and study their dynamic behavior in time and space to evaluate stability (in time) and fairness (in space) properties of these algorithms. We present stability conditions and evaluate stability and fairness of the algorithms through simulation experiments. Results show that there is a trade-off between fast convergence, temporal stability and spatial fairness. The proper ranges of parameters for achieving stability are presented for the discussed algorithms. Stability is verified for all typical road density cases. Fairness is shown to be naturally achieved for some algorithms, while under the same conditions other algorithms may suffer from unfairness issues. A method for resolving unfairness is introduced and evaluated through simulations.


title: What does the Allen Gene Expression Atlas tell us about mouse brain evolution?

abstract: We use the Allen Gene Expression Atlas (AGEA) and the OMA ortholog dataset to investigate the evolution of mouse-brain neuroanatomy from the standpoint of the molecular evolution of brain-specific genes. For each such gene, using the phylogenetic tree for all fully sequenced species and the presence of orthologs of the gene in these species, we construct and assign a discrete measure of evolutionary age. The gene expression profile of all gene of similar age, relative to the average gene expression profile, distinguish regions of the brain that are over-represented in the corresponding evolutionary timescale. We argue that the conclusions one can draw on evolution of twelve major brain regions from such a molecular level analysis supplements existing knowledge of mouse brain evolution and introduces new quantitative tools, especially for comparative studies, when AGEA-like data sets for other species become available. Using the functional role of the genes representational of a certain evolutionary timescale and brain region we compare and contrast, wherever possible, our observations with existing knowledge in evolutionary neuroanatomy.


title: Adaptable nonlinear bimode metamaterials with rigid bars, pivots, and actuators

abstract: A large family of periodic planar non-linear bimode metamaterials are constructed from rigid bars and pivots. They are affine materials in the sense that their macroscopic deformations are only affine deformations: at large distances any deformation must be close to an affine deformation. Bimode means that the paths of all possible deformations of Bravais lattices that preserve the periodicity of the lattice lie on a two dimensional surface in the three dimensional space of invariants describing the deformation (excluding translations and rotations). By adding two actuators inside a single microscopic cell one can control the macroscopic deformation, which may be useful for the design of adaptive structures. The design of adaptable nonlinear affine trimode metamaterials (for which the macroscopic deformations lie within a three-dimensional region in the space of invariants) is discussed, although their realization remains an open problem. Examples are given of non-affine unimode and non-affine bimode materials. In these materials the deformation can vary from cell to cell in such a way that the macroscopic deformation is non-affine.

categories: cond-mat.mtrl-sci math-ph math.AG math.MP


title: Thoughts on Eggert's Conjecture

abstract: Eggert's Conjecture says that if R is a finite-dimensional nilpotent commutative algebra over a perfect field F of characteristic p, and R^{(p)} is the image of the p-th power map on R, then dim_F R \geq p dim_F R^{(p)}. Whether this very elementary statement is true is not known. We examine heuristic evidence for this conjecture, versions of the conjecture that are not limited to positive characteristic and/or to commutative R, consequences the conjecture would have for semigroups, and examples that give equality in the conjectured inequality. We pose several related questions, and briefly survey the literature on the subject.


title: On the Quiver Presentation of the Descent Algebra of the Symmetric Group

abstract: We describe a presentation for the descent algebra of the symmetric group $\sym{n}$ as a quiver with relations. This presentation arises from a new construction of the descent algebra as a homomorphic image of an algebra of forests of binary trees which can be identified with a subspace of the free Lie algebra. In this setting, we provide a new short proof of the known fact that the quiver of the descent algebra of $\sym{n}$ is given by restricted partition refinement. Moreover, we describe certain families of relations and conjecture that for fixed $n\in\mathbb{N}$, the finite set of relations from these families that are relevant for the descent algebra of $\sym{n}$ generates the ideal of relations, and hence yields an explicit presentation by generators and relations of the algebra.


title: Evidence for the Appearance of Atmospheric Tau Neutrinos in Super-Kamiokande

abstract: Super-Kamiokande atmospheric neutrino data were fit with an unbinned maximum likelihood method to search for the appearance of tau leptons resulting from the interactions of oscillation-generated tau neutrinos in the detector. Relative to the expectation of unity, the tau normalization is found to be $1.42 \pm 0.35 \ (stat) {\}^{+0.14}_{-0.12}\ (syst) $ excluding the no-tau-appearance hypothesis, for which the normalization would be zero, at the 3.8$\sigma$ level. We estimate that $180.1 \pm 44.3\ (stat) {\}^{+17.8}_{-15.2}\ (syst)$ tau leptons were produced in the 22.5 kton fiducial volume of the detector by tau neutrinos during the 2806 day running period. In future analyses, this large sample of selected tau events will allow the study of charged current tau neutrino interaction physics with oscillation produced tau neutrinos.


title: State transition algorithm for traveling salesman problem

abstract: Discrete version of state transition algorithm is proposed in order to solve the traveling salesman problem. Three special operators for discrete optimization problem named swap, shift and symmetry transformations are presented. Convergence analysis and time complexity of the algorithm are also considered. To make the algorithm simple and efficient, no parameter adjusting is suggested in current version. Experiments are carried out to test the performance of the strategy, and comparisons with simulated annealing and ant colony optimization have demonstrated the effectiveness of the proposed algorithm. The results also show that the discrete state transition algorithm consumes much less time and has better search ability than its counterparts, which indicates that state transition algorithm is with strong adaptability.


title: Systematic distillation of composite Fibonacci anyons using one mobile quasiparticle

abstract: A topological quantum computer should allow intrinsically fault-tolerant quantum computation, but there remains uncertainty about how such a computer can be implemented. It is known that topological quantum computation can be implemented with limited quasiparticle braiding capabilities, in fact using only a single mobile quasiparticle, if the system can be properly initialized by measurements. It is also known that measurements alone suffice without any braiding, provided that the measurement devices can be dynamically created and modified. We study a model in which both measurement and braiding capabilities are limited. Given the ability to pull nontrivial Fibonacci anyon pairs from the vacuum with a certain success probability, we show how to simulate universal quantum computation by braiding one quasiparticle and with only one measurement, to read out the result. The difficulty lies in initializing the system. We give a systematic construction of a family of braid sequences that initialize to arbitrary accuracy nontrivial composite anyons. Instead of using the Solovay-Kitaev theorem, the sequences are based on a quantum algorithm for convergent search.


title: Scientific Objectives of Einstein Telescope

abstract: The advanced interferometer network will herald a new era in observational astronomy. There is a very strong science case to go beyond the advanced detector network and build detectors that operate in a frequency range from 1 Hz-10 kHz, with sensitivity a factor ten better in amplitude. Such detectors will be able to probe a range of topics in nuclear physics, astronomy, cosmology and fundamental physics, providing insights into many unsolved problems in these areas.


title: A 3% Determination of $H_0$ at Intermediate Redshifts

abstract: Recent determinations of the Hubble constant, H_0, at extremely low and very high redshifts based on the cosmic distance ladder (grounded with trigonometric parallaxes) and a cosmological model (applied to Planck 2013 data) respectively, are revealing an intriguing discrepancy (nearly 9% or 2.4sigma) that is challenging astronomers and theoretical cosmologists. In order to shed some light on this problem, here we discuss a new determination of H_0 at intermediate redshifts (z ~ 1), using the following four cosmic probes: (i) measurements of the angular diameter distances (ADD) for galaxy clusters based on the combination of Sunyaev-Zeldovich effect and X-ray data (0.14 < z < 0.89$), (ii) the inferred ages of old high redshift galaxies (OHRG) (0.62 < z < 1.70), (iii) measurements of the Hubble parameter H(z) (0.1 < z < 1.8), and (iv) the baryon acoustic oscillation (BAO) signature (z=0.35). In our analysis, assuming a flat LCDM cosmology and considering statistical plus systematic errors we obtain H_0 = 74.1^{+2.2}_{-2.2} km/s.Mpc (1sigma) which is a 3% determination of the Hubble constant at intermediate redshifts. We stress that each individual test adopted here has error bars larger than the ones appearing in the calibration of the extragalactic distance ladder. However, the remarkable complementarity among the four tests works efficiently in reducing greatly the possible degeneracy on the space parameter (Omega_m,h) ultimately providing a value of H_0 that is in excellent agreement with the determination using recessional velocities and distances to nearby objects.


title: Sparse Trace Norm Regularization

abstract: We study the problem of estimating multiple predictive functions from a dictionary of basis functions in the nonparametric regression setting. Our estimation scheme assumes that each predictive function can be estimated in the form of a linear combination of the basis functions. By assuming that the coefficient matrix admits a sparse low-rank structure, we formulate the function estimation problem as a convex program regularized by the trace norm and the $\ell_1$-norm simultaneously. We propose to solve the convex program using the accelerated gradient (AG) method and the alternating direction method of multipliers (ADMM) respectively; we also develop efficient algorithms to solve the key components in both AG and ADMM. In addition, we conduct theoretical analysis on the proposed function estimation scheme: we derive a key property of the optimal solution to the convex program; based on an assumption on the basis functions, we establish a performance bound of the proposed function estimation scheme (via the composite regularization). Simulation studies demonstrate the effectiveness and efficiency of the proposed algorithms.


title: Outcomes and Duration of Tidal Evolution in a Star-Planet-Moon System

abstract: We formulated tidal decay lifetimes for hypothetical moons orbiting extrasolar planets with both lunar and stellar tides. Previous work neglected the effect of lunar tides on planet rotation, and are therefore applicable only to systems in which the moon's mass is much less than that of the planet. This work, in contrast, can be applied to the relatively large moons that might be detected around newly-discovered Neptune-mass and super-Earth planets. We conclude that moons are more stable when the planet/moon systems are further from the parent star, the planets are heavier, or the parent stars are lighter. Inclusion of lunar tides allows for significantly longer lifetimes for a massive moon relative to prior formulations. We expect that the semi-major axis of the planet hosting the first detected exomoon around a G-type star is 0.4-0.6 AU and is 0.2-0.4 AU for an M-type star.


title: A Route Confidence Evaluation Method for Reliable Hierarchical Text Categorization

abstract: Hierarchical Text Categorization (HTC) is becoming increasingly important with the rapidly growing amount of text data available in the World Wide Web. Among the different strategies proposed to cope with HTC, the Local Classifier per Node (LCN) approach attains good performance by mirroring the underlying class hierarchy while enforcing a top-down strategy in the testing step. However, the problem of embedding hierarchical information (parent-child relationship) to improve the performance of HTC systems still remains open. A confidence evaluation method for a selected route in the hierarchy is proposed to evaluate the reliability of the final candidate labels in an HTC system. In order to take into account the information embedded in the hierarchy, weight factors are used to take into account the importance of each level. An acceptance/rejection strategy in the top-down decision making process is proposed, which improves the overall categorization accuracy by rejecting a few percentage of samples, i.e., those with low reliability score. Experimental results on the Reuters benchmark dataset (RCV1- v2) confirm the effectiveness of the proposed method, compared to other state-of-the art HTC methods.


title: Massive Neutrinos Promote the Size Growth of Early-Type Galaxies

abstract: The effect of massive neutrinos on the evolution of the early type galaxies (ETGs) in size ($R_{e}$) and stellar mass ($M_{\star}$) is explored by tracing the merging history of galaxy progenitors with the help of the robust semi-analytic prescriptions. We show that as the presence of massive neutrinos plays a role of enhancing the mean merger rate per halo, the high-$z$ progenitors of a descendant galaxy with fixed mass evolves much more rapidly in size for a $\Lambda$MDM ($\Lambda$CDM + massive neutrinos) model than for the $\Lambda$CDM case. The mass-normalized size evolution of the progenitor galaxies, $R_{e}[M_{\star}/(10^{11}M_{\odot})]^{-0.57}\propto (1+z)^{-\beta}$, is found to be quite steep with the power-law index of $\beta\sim 1.5$ when the neutrino mass fraction is $f_{\nu}=0.05$, while it is $\beta\sim 1$ when $f_{\nu}=0$. It is concluded that if the presence and role of massive neutrinos are properly taken into account, it may explain away the anomalous compactness of the high-$z$ ETGs compared with the local ellipticals with similar stellar masses.


title: Relativistic point dynamics and Einstein formula as a property of localized solutions of a nonlinear Klein-Gordon equation

abstract: Einstein's relation E=Mc^2 between the energy E and the mass M is the cornerstone of the relativity theory. This relation is often derived in a context of the relativistic theory for closed systems which do not accelerate. By contrast, Newtonian approach to the mass is based on an accelerated motion. We study here a particular neoclassical field model of a particle governed by a nonlinear Klein-Gordon (KG) field equation. We prove that if a solution to the nonlinear KG equation and its energy density concentrate at a trajectory, then this trajectory and the energy must satisfy the relativistic version of Newton's law with the mass satisfying Einstein's relation. Therefore the internal energy of a localized wave affects its acceleration in an external field as the inertial mass does in Newtonian mechanics. We demonstrate that the "concentration" assumptions hold for a wide class of rectilinear accelerating motions.


title: Poisson noise reduction with non-local PCA

abstract: Photon-limited imaging arises when the number of photons collected by a sensor array is small relative to the number of detector elements. Photon limitations are an important concern for many applications such as spectral imaging, night vision, nuclear medicine, and astronomy. Typically a Poisson distribution is used to model these observations, and the inherent heteroscedasticity of the data combined with standard noise removal methods yields significant artifacts. This paper introduces a novel denoising algorithm for photon-limited images which combines elements of dictionary learning and sparse patch-based representations of images. The method employs both an adaptation of Principal Component Analysis (PCA) for Poisson noise and recently developed sparsity-regularized convex optimization algorithms for photon-limited images. A comprehensive empirical evaluation of the proposed method helps characterize the performance of this approach relative to other state-of-the-art denoising methods. The results reveal that, despite its conceptual simplicity, Poisson PCA-based denoising appears to be highly competitive in very low light regimes.


title: Ferromagnetism of cobalt-doped anatase TiO$_2$ studied by bulk- and surface-sensitive soft x-ray magnetic circular dichroism

abstract: We have studied magnetism in anatase Ti$_{1-x}$Co$_x$O$_{2-\delta}$ ({\it x} = 0.05) thin films with various electron carrier densities, by soft x-ray magnetic circular dichroism (XMCD) measurements at the Co $L_{2,3}$ absorption edges. For electrically conducting samples, the magnetic moment estimated by XMCD was $<$ 0.3 $\mu_B$/Co using the surface-sensitive total electron yield (TEY) mode, while it was 0.3-2.4 $\mu_B$/Co using the bulk-sensitive total fluorescence yield (TFY) mode. The latter value is in the same range as the saturation magnetization 0.6-2.1 $\mu_B$/Co deduced by SQUID measurement. The magnetization and the XMCD intensity increased with carrier density, consistent with the carrier-induced origin of the ferromagnetism.


title: On an incomplete argument of Erdos on the irrationality of Lambert series

abstract: We show that the Lambert series $f(x)=\sum d(n) x^n$ is irrational at $x=1/b$ for negative integers $b < -1$ using an elementary proof that finishes an incomplete proof of Erdos.


title: In-plane deformation of a triangulated surface model with metric degrees of freedom

abstract: Using the canonical Monte Carlo simulation technique, we study a Regge calculus model on triangulated spherical surfaces. The discrete model is statistical mechanically defined with the variables $X$, $g$ and $\rho$, which denote the surface position in ${\bf R}^3$, the metric on a two-dimensional surface $M$ and the surface density of $M$, respectively. The metric $g$ is defined only by using the deficit angle of the triangles in {$M$}. This is in sharp contrast to the conventional Regge calculus model, where {$g$} depends only on the edge length of the triangles. We find that the discrete model in this paper undergoes a phase transition between the smooth spherical phase at $b to infty$ and the crumpled phase at $b to 0$, where $b$ is the bending rigidity. The transition is of first-order and identified with the one observed in the conventional model without the variables $g$ and $\rho$. This implies that the shape transformation transition is not influenced by the metric degrees of freedom. It is also found that the model undergoes a continuous transition of in-plane deformation. This continuous transition is reflected in almost discontinuous changes of the surface area of $M$ and that of $X(M)$, where the surface area of $M$ is conjugate to the density variable $\rho$.


title: The abundance of C3H2 and other small hydrocarbons in the diffuse interstellar medium

abstract: Hydrocarbons are ubiquitous in the interstellar medium, observed in diverse environments ranging from diffuse to molecular dark clouds and strong photon-dominated regions near HII regions. Recently, two broad diffuse interstellar bands (DIBs) at 4881{\AA} and 5450{\AA} were attributed to the linear version of propynylidene l-C3H2, a species whose more stable cyclic conformer c-C3H2 has been widely observed in the diffuse interstellar medium at radio wavelengths. This attribution has already been criticized on the basis of indirect plausibility arguments because the required column densities are quite large, N(l-C3H2)/EB-V = 4 \times 1014 cm-2 mag-1. Here we present new measurements of N(l-C3H2) based on simultaneous 18-21 GHz VLA absorption profiles of cyclic and linear C3H2 taken along sightlines toward extragalactic radiocontinuum background sources with foreground Galactic reddening EB-V = 0.1 - 1.6 mag. We find that N(l-C3H2)/N(c-C3H2) ? 1/15 - 1/40 and N(l-C3H2)/EB-V ? 2 \pm 1 \times 1011 cm-2 mag-1, so that the column densities of l-C3H2 needed to explain the diffuse interstellar bands are some three orders of magnitude higher than what is observed. We also find N(C4H)/EB-V < 1.3 \times 1013 cm-2 mag-1 and N(C4H-)/EB-V < 1 \times 1011 cm-2 mag-1 (3?). Using available data for CH and C2H we compare the abundances of small hydrocarbons in diffuse and dark clouds as a guide to their ability to contribute as DIB carriers over a wide range of conditions in the interstellar medium.


title: Dependence of the Spin Transfer Torque Switching Current Density on the Exchange Stiffness Constant

abstract: We investigate the dependence of the switching current density on the exchange stiffness constant in the spin transfer torque magnetic tunneling junction structure with micromagnetic simulations. Since the widely accepted analytic expression of the switching current density is based on the macro-spin model, there is no dependence of the exchange stiffness constant. When the switching is occurred, however, the spin configuration forms C-, S-type, or complicated domain structures. Since the spin configuration is determined by the shape anisotropy and the exchange stiffness constant, the switching current density is very sensitive on their variations. It implies that there are more rooms for the optimization of the switching current density with by controlling the exchange stiffness constant, which is determined by composition and the detail fabrication processes.


title: Long-Run Analysis of the Stochastic Replicator Dynamics in the Presence of Random Jumps

abstract: A further generalization of the stochastic replicator dynamic derived by Fudenberg and Harris \cite{FH92} is considered. In particular, a Poissonian integral is introduced to the fitness to simulate the affects of anomalous events. For the two strategy population, an estimation of the long run behavior of the dynamic is derived. For the population with many strategies, conditions for stability to pure strict Nash equilibria, extinction of dominated pure strategies, and recurrence in a neighborhood of an internal evolutionary stable strategy are derived. This extends the results given by Imhof \cite{I05}.


title: Analytical approximation for Landau's constants by using BPES method

abstract: In this study, approximation formulas for evaluating Landau constants are elaborated by using the Boubaker Polynomials Expansion Scheme (BPES). Results are compared to some referred studies.


title: Extreme values for two-dimensional discrete Gaussian free field

abstract: We consider in this paper the collection of near maxima of the discrete, two dimensional Gaussian free field in a box with Dirichlet boundary conditions. We provide a rough description of the geometry of the set of near maxima, estimates on the gap between the two largest maxima, and an estimate for the right tail up to a multiplicative constant on the law of the centered maximum.


title: Delayed Onset of High-Energy Emissions in Leptonic and Hadronic Models of Gamma-Ray Bursts

abstract: The temporal--spectral evolution of the prompt emission of gamma-ray bursts (GRBs) is simulated numerically for both leptonic and hadronic models. For weak enough magnetic fields, leptonic models can reproduce the few seconds delay of the onset of GeV photon emission observed by Fermi-LAT, due to the slow growth of the target photon field for inverse Compton scattering. However, even for stronger magnetic fields, the GeV delay can be explained with hadronic models, due to the long acceleration timescale of protons and the continuous photopion production after the end of the particle injection. While the FWHMs of the MeV and GeV lightcurves are almost the same in one-zone leptonic models, the FWHM of the 1--30 GeV lightcurves in hadronic models are significantly wider than those of the 0.1--1 MeV lightcurves. The amount of the GeV delay depends on the importance of the Klein--Nishina effect in both the leptonic and hadronic models. In our examples of hadronic models the energies of the escaped neutrons are comparable to the gamma-ray energy, although their contribution to the ultra high-energy cosmic rays is still subdominant. The resulting neutrino spectra are hard enough to avoid the flux limit constraint from IceCube. The delay of the neutrino emission onset is up to several times longer than the corresponding delay of the GeV photon emission onset. The quantitative differences in the lightcurves for various models may be further tested with future atmospheric Cherenkov telescopes whose effective area is larger than that of Fermi-LAT, such as CTA.


title: Free energy calculations of a proton transfer reaction by simulated tempering umbrella sampling first principles molecular dynamics simulations

abstract: A new simulated tempering method, which is referred to as simulated tempering umbrella sampling, for calculating the free energy of chemical reactions is proposed. First principles molecular dynamics simulations with this simulated tempering were performed in order to study the intramolecular proton transfer reaction of malonaldehyde in aqueous solution. Conformational sampling in reaction coordinate space can be easily enhanced with this method, and the free energy along a reaction coordinate can be calculated accurately. Moreover, the simulated tempering umbrella sampling provides trajectory data more efficiently than the conventional umbrella sampling method.


title: Comparative study of manufacturing techniques for coronagraphic binary pupil masks: masks on substrates and free-standing masks

abstract: We present a comparative study of the manufacture of binary pupil masks for coronagraphic observations of exoplanets. A checkerboard mask design, a type of binary pupil mask design, was adopted, and identical patterns of the same size were used for all the masks in order that we could compare the differences resulting from the different manufacturing methods. The masks on substrates had aluminum checkerboard patterns with thicknesses of 0.1/0.2/0.4/0.8/1.6$\mu$m constructed on substrates of BK7 glass, silicon, and germanium using photolithography and chemical processes. Free-standing masks made of copper and nickel with thicknesses of 2/5/10/20$\mu$m were also realized using photolithography and chemical processes, which included careful release from the substrate used as an intermediate step in the manufacture. Coronagraphic experiments using a visible laser were carried out for all the masks on BK7 glass substrate and the free-standing masks. The average contrasts were 8.4$\times10^{-8}$, 1.2$\times10^{-7}$, and 1.2$\times10^{-7}$ for the masks on BK7 substrates, the free-standing copper masks, and the free-standing nickel masks, respectively. No significant correlation was concluded between the contrast and the mask properties. The high contrast masks have the potential to cover the needs of coronagraphs for both ground-based and space-borne telescopes over a wide wavelength range. Especially, their application to the infrared space telescope, SPICA, is appropriate.


title: A new generalization of generalized hypergeometric functions

abstract: In this paper a natural generalization of the familiar H -function of Fox namely the I -function is proposed. Convergence conditions, various series representations, elementary properties and special cases for the I -function have also been given.


title: Direction-Dependent Polarised Primary Beams in Wide-Field Synthesis Imaging

abstract: The process of wide-field synthesis imaging is explored, with the aim of understanding the implications of variable, polarised primary beams for forthcoming Epoch of Reionisation experiments. These experiments seek to detect weak signatures from redshifted 21cm emission in deep residual datasets, after suppression and subtraction of foreground emission. Many subtraction algorithms benefit from low side-lobes and polarisation leakage at the outset, and both of these are intimately linked to how the polarised primary beams are handled. Building on previous contributions from a number of authors, in which direction-dependent corrections are incorporated into visibility gridding kernels, we consider the special characteristics of arrays of fixed dipole antennas operating around 100-200 MHz, looking towards instruments such as the Square Kilometre Array (SKA) and the Hydrogen Epoch of Reionization Arrays (HERA). We show that integrating snapshots in the image domain can help to produce compact gridding kernels, and also reduce the need to make complicated polarised leakage corrections during gridding. We also investigate an alternative form for the gridding kernel that can suppress variations in the direction-dependent weighting of gridded visibilities by 10s of dB, while maintaining compact support.


title: Exploring the likelihood of CP violation in neutrino oscillations

abstract: In view of the latest T2K and MINOS observations regarding the mixing angle s_{13}, we have explored the possibility of existence of CP violation in the leptonic sector. Using hints from the construction of the 'db' unitarity triangle in the quark sector, we have made an attempt to construct the '\nu_1.\nu_3' leptonic unitarity triangle, suggesting a good possibility of having non zero CP violation.


title: Evolution of shifted cosmological parameter and shifted dust matter in a two-phase tachyonic field universe

abstract: We propose a model of the evolution of the tachyonic scalar field over two phases in the universe. The field components do not interact in phase I, while in the subsequent phase II, they change flavours due to relative suppression of the radiation contribution. In phase II, we allow them to interact mutually with time-independent perturbation in their equations of state, as Shifted Cosmological Parameter (SCP) and Shifted Dust Matter (SDM). We determine the solutions of their scaling with the cosmic redshift in both phases. We further suggest the normalized Hubble function diagnostic, which, together with the low- and high-redshift $H(z)$ data and the concordance values of the present density parameters from the CMBR, BAO statistics etc., constrains the strength of interaction, by imposing the viable conditions to break degeneracy in 3-parameter $(\gamma, \varepsilon, \dot{\phi}^2)$ space. The range of redshifts $(z=0.1$ to $z=1.75)$ is chosen to highlight the role of interaction during structure formation, and it may lead to a future analysis of power spectrum in this model \emph{vis a vis} Warm Dark Matter (WDM) or $\Lambda$CDM models. We further calculate the influence of interaction in determining the age of the universe at the present epoch, within the degeneracy space of model parameters.


title: Two-Potential Formalism for Numerical Solution of the Maxwell Equations

abstract: A new formulation of the Maxwell equations based on two vector and two scalar potentials is proposed. The use of these potentials allows the electromagnetic field equations to be written in the form of a hyperbolic system. In contrast to the original Maxwell equations, this system contains only evolutionary equations and does not include equations having the character of differential constraints. This fact makes the new equations especially convenient for numerical simulations of electromagnetic processes; in particular, they can be solved by modern powerful shock-capturing methods based on approximation of spatial derivatives by upwind differences. The electromagnetic field both in vacuum and in an inhomogeneous material medium is considered. Examples of modeling the propagation of electromagnetic waves by means of solving the formulated system of equations with the use of modern high-order schemes are given. Key words: computational electrodynamics, two-potential formalism, numerical solution of hyperbolic systems of equations, shock-capturing schemes.


title: Discrete symmetries of low-dimensional Dirac models: A selective review with a focus on condensed-matter realisations

abstract: The most fundamental characteristics of a physical system can often be deduced from its behaviour under discrete symmetry transformations such as time reversal, parity and chirality. Here we review basic symmetry properties of the relativistic quantum theories for free electrons in (2+1)- and (1+1)-dimensional spacetime. Additional flavour degrees of freedom are necessary to properly define symmetry operations in (2+1) dimensions and are generally present in physical realisations of such systems, e.g., in single sheets of graphite. We find that there exist two possibilities for defining any flavour-coupling discrete symmetry operation of the two-flavour (2+1)-dimensional Dirac theory. Physical implications of this previously unnoticed duplicity are discussed.


title: Geometrically Underpinned Maximally Entangled States Bases

abstract: Finite geometry is used to underpin finite, two d-dimensional particles Hilbert space, d=prime 6= 2. A central role is allotted to states with mutual unbiased bases (MUB) labeling. Dual affine plane geometry (DAPG) points underpin single particle, MUB labeled, product states. The DAPG lines are shown to underpin maximally entangled states which form an orthonormal basis spanning the space. The relevance of mutually unbiased collective coordinates bases (MUCB) for dealing with maximally entangled states is discussed and shown to provide an economic alternative mode of study. These maximally entangled, geometrically reasoned states, provide the resource to a transparent solution to what may be termed tracking of the Mean King Problem (MKP): here Alice prepares a state measured by King along some orientation which Alice succeed in identifying with a subsequent measurement. Brief expositions of the topics considered: MUB, DAPG, MUCB and the MKP are included, rendering the paper self contained.


title: Generic Fibrational Induction

abstract: This paper provides an induction rule that can be used to prove properties of data structures whose types are inductive, i.e., are carriers of initial algebras of functors. Our results are semantic in nature and are inspired by Hermida and Jacobs' elegant algebraic formulation of induction for polynomial data types. Our contribution is to derive, under slightly different assumptions, a sound induction rule that is generic over all inductive types, polynomial or not. Our induction rule is generic over the kinds of properties to be proved as well: like Hermida and Jacobs, we work in a general fibrational setting and so can accommodate very general notions of properties on inductive types rather than just those of a particular syntactic form. We establish the soundness of our generic induction rule by reducing induction to iteration. We then show how our generic induction rule can be instantiated to give induction rules for the data types of rose trees, finite hereditary sets, and hyperfunctions. The first of these lies outside the scope of Hermida and Jacobs' work because it is not polynomial, and as far as we are aware, no induction rules have been known to exist for the second and third in a general fibrational framework. Our instantiation for hyperfunctions underscores the value of working in the general fibrational setting since this data type cannot be interpreted as a set.


title: Brou\'e's abelian defect group conjecture holds for the double cover of the Higman-Sims sporadic simple group

abstract: In the representation theory of finite groups, there is a well-known and important conjecture, due to Brou\'e saying that for any prime p, if a p-block A of a finite group G has an abelian defect group P, then A and its Brauer corresponding block B of the normaliser N_G(P) of P in G are derived equivalent. We prove in this paper, that Brou\'e's abelian defect group conjecture, and even Rickard's splendid equivalence conjecture are true for the faithful 3-block A with an elementary abelian defect group P of order 9 of the double cover 2.HS of the Higman-Sims sporadic simple group. It then turns out that both conjectures hold for all primes p and for all p-blocks of 2.HS.


title: Low Speed Control of an Autonomous Vehicle Using a Hybrid Fractional Order Controller

abstract: Highly non-linear vehicle dynamics plays an important role in autonomous driving systems, especially in congested traffic situations at very low speeds. Due to this fact, accurate controllers are needed in order to ensure safety during navigation. In this paper, based on a previous fractional order speed control, an improved fractional order control is presented to control a commercial Citro\"en C3 prototype -which has automatic driving capabilities- at low speeds, which considers a hybrid model of the vehicle. Specifically, two different fractional order PI{\alpha} controllers are designed to act over the throttle and brake pedals, respectively. Concerning to the uncertain dynamics of the system during the brake action parameters are tuned to design a robust controller. In addition, the system is modeled as hybrid fractional order differential inclusions. Experimental and simulation results, obtained in a real circuit, are given to demonstrate the effectiveness of the proposed strategies for cruise control at low speeds.


title: Theory of Josephson Photomultipliers: Optimal Working Conditions and Back Action

abstract: We describe the back action of microwave-photon detection via a Josephson photomultiplier (JPM), a superconducting qubit coupled strongly to a high-quality microwave cavity. The back action operator depends qualitatively on the duration of the measurement interval, resembling the regular photon annihilation operator at short interaction times and approaching a variant of the photon subtraction operator at long times. The optimal operating conditions of the JPM differ from those considered optimal for processing and storing of quantum information, in that a short $T_2$ of the JPM suppresses the cavity dephasing incurred during measurement. Understanding this back action opens the possibility to perform multiple JPM measurements on the same state, hence performing efficient state tomography.


title: Defect Management Using Depth of Inspection and the Inspection Performance Metric

abstract: Advancement in fundamental engineering aspects of software development enables IT enterprises to develop a more cost effective and better quality product through aptly organized defect management strategies. Inspection continues to be the most effective and efficient technique of defect management. To have an appropriate measurement of the inspection process, the process metric, Depth of Inspection (DI) and the people metric, Inspection Performance Metric (IPM) are introduced. The introduction of these pair of metrics can yield valuable information from a company in relation to the inspection process.


title: Stochastic Gene Expression in Cells: A Point Process Approach

abstract: This paper investigates the stochastic fluctuations of the number of copies of a given protein in a cell. This problem has already been addressed in the past and closed-form expressions of the mean and variance have been obtained for a simplified stochastic model of the gene expression. These results have been obtained under the assumption that the duration of all the protein production steps are exponentially distributed. In such a case, a Markovian approach (via Fokker-Planck equations) is used to derive analytic formulas of the mean and the variance of the number of proteins at equilibrium. This assumption is however not totally satisfactory from a modeling point of view since the distribution of the duration of some steps is more likely to be Gaussian, if not almost deterministic. In such a setting, Markovian methods can no longer be used. A finer characterization of the fluctuations of the number of proteins is therefore of primary interest to understand the general economy of the cell. In this paper, we propose a new approach, based on marked Poisson point processes, which allows to remove the exponential assumption. This is applied in the framework of the classical three stages models of the literature: transcription, translation and degradation. The interest of the method is shown by recovering the classical results under the assumptions that all the durations are exponentially distributed but also by deriving new analytic formulas when some of the distributions are not anymore exponential. Our results show in particular that the exponential assumption may, surprisingly, underestimate significantly the variance of the number of proteins when some steps are in fact not exponentially distributed. This counter-intuitive result stresses the importance of the statistical assumptions in the protein production process.


title: An investigation of GSC 02038-00293, a suspected RS CVn star, using CCD photometry

abstract: We present the results of differential, time series photometry for GSC 02038-00293, a suspected RS CVn binary, using data collected with the Open University's PIRATE robotic telescope located at the Observatori Astronomic de Mallorca between 10 May and 13 June 2010. A full orbital period cycle in the V band and partial cycle of B and R bands were obtained for GSC 02038-00293 showing an orbital period of 0.4955 +/- 0.0001 days. This period is in close agreement with that of previously published values but significantly different to that found by the All Sky Automated Survey of 0.330973 days. We suggest GSC 02038-00293 is a short period eclipsing RS CVn star and from our data alone we calculate an ephemeris of JD 2455327.614 + 0.4955(1) x E. We also find that the previously observed six to eight year cycle of star spot activity which accounts for the behaviour of the secondary minimum is closer to six years and that there is detectable reddening at both minima.


title: Controlling fast transport of cold trapped ions

abstract: We realize fast transport of ions in a segmented micro-structured Paul trap. The ion is shuttled over a distance of more than 10^4 times its groundstate wavefunction size during only 5 motional cycles of the trap (280 micro meter in 3.6 micro seconds). Starting from a ground-state-cooled ion, we find an optimized transport such that the energy increase is as low as 0.10 $\pm$ 0.01 motional quanta. In addition, we demonstrate that quantum information stored in a spin-motion entangled state is preserved throughout the transport. Shuttling operations are concatenated, as a proof-of-principle for the shuttling-based architecture to scalable ion trap quantum computing.


title: Ab Initio Investigation of a Possible Liquid-Liquid Phase Transition in MgSiO3 at Megabar Pressures

abstract: We perform density functional molecular dynamics simulations of liquid and solid MgSiO3 in the pressure range of 120-1600 GPa and for temperatures up to 20000 K in order to provide new insight into the nature of the liquid-liquid phase transition that was recently predicted on the basis of decaying laser shock wave experiments [Phys. Rev. Lett. 108 (2012) 065701]. However, our simulations did not show any signature of a phase transition in the liquid phase. We derive the equation of state for the liquid and solid phases and compute the shock Hugoniot curves. We discuss different thermodynamic functions and by explore alternative interpretations of the experimental findings.


title: Slow Mode Oscillations and Damping of Hot Solar Coronal Loops

abstract: The effect of temperature inhomogeneity on the periods, their ratios (fundamental vs. first overtone), and the damping times of the standing slow modes in gravitationally stratified solar coronal loops are studied. The effects of optically thin radiation, compressive viscosity, and thermal conduction are considered. The linearized one-dimensional magnetohydrodynamic (MHD) equations (under low-$\beta$ condition) were reduced to a fourth--order ordinary differential equation for the perturbed velocity. The numerical results indicate that the periods of non-isothermal loops (i.e. temperature increases from the loop base to apex) are smaller compared to those of isothermal loops. In the presence of radiation, viscosity, and thermal conduction, an increase in the temperature gradient is followed by a monotonic decrease in the periods (compared with the isothermal case), while the period ratio turns out to be a sensitive function of the gradient of the temperature and the loop lengths. We verify that radiative dissipation is not a main cooling mechanism of both isothermal and non-isothermal hot coronal loops and has a small effect on the periods. Thermal conduction and compressive viscosity are primary mechanisms in the damping of slow modes of the hot coronal loops. The periods and damping times in the presence of compressive viscosity and/or thermal conduction dissipation are consistent with the observed data in specific cases. By tuning the dissipation parameters, the periods and the damping times could be made consistent with the observations in more general cases.


title: Eigenvalue interlacing and weight parameters of graphs

abstract: Eigenvalue interlacing is a versatile technique for deriving results in algebraic combinatorics. In particular, it has been successfully used for proving a number of results about the relation between the (adjacency matrix or Laplacian) spectrum of a graph and some of its properties. For instance, some characterizations of regular partitions, and bounds for some parameters, such as the independence and chromatic numbers, the diameter, the bandwidth, etc., have been obtained. For each parameter of a graph involving the cardinality of some vertex sets, we can define its corresponding weight parameter by giving some "weights" (that is, the entries of the positive eigenvector) to the vertices and replacing cardinalities by square norms. The key point is that such weights "regularize" the graph, and hence allow us to define a kind of regular partition, called "pseudo-regular," intended for general graphs. Here we show how to use interlacing for proving results about some weight parameters and pseudo-regular partitions of a graph. For instance, generalizing a well-known result of Lov\'asz, it is shown that the weight Shannon capacity $\Theta^*$ of a connected graph $\G$, with $n$ vertices and (adjacency matrix) eigenvalues $\lambda_1>\lambda_2\ge\...\ge \lambda_n$, satisfies $$ \Theta\le \Theta^* \le \frac{\|\vecnu\|^2}{1-\frac{\lambda_1}{\lambda_n}} $$ where $\Theta$ is the (standard) Shannon capacity and $\vecnu$ is the positive eigenvector normalized to have smallest entry 1. In the special case of regular graphs, the results obtained have some interesting corollaries, such as an upper bound for some of the multiplicities of the eigenvalues of a distance-regular graph. Finally, some results involving the Laplacian spectrum are derived. spectrum are derived.


title: Optimal Riemannian metric for a volumorphism and a mean ergodic theorem in complete global Alexandrov nonpositively curved spaces

abstract: In this paper we give a natural condition for when a volumorphism on a Riemannian manifold $(M,g)$ is actually an isometry with respect to some other, optimal, Riemannian metric $h$. We consider the natural action of volumorphisms on the space $\M_\mu^s$ of all Riemannian metrics of Sobolev class $H^s$, $s>n/2$, with a fixed volume form $\mu$. An optimal Riemannian metric, for a given volumorphism, is a fixed point of this action in a certain complete metric space containing $\M_\mu^s$ as an isometrically embedded subset. We show that a fixed point exists if the orbit of the action is bounded. We also generalize a mean ergodic theorem and a fixed point theorem to the nonlinear setting of complete global Alexandrov nonpositive curvature spaces.


title: Stability of the functional forms of the Blaschke-Santalo inequality

abstract: Stability versions of the functional forms of the Blaschke-Santalo inequality due to Ball, Artstein-Klartag-Milman, Fradelizi-Meyer and Lehec are proved.


title: Arithmetic, geometric, and harmonic means for accretive-dissipative matrices

abstract: The concept of Loewner (partial) order for general complex matrices is introduced. After giving the definition of arithmetic, geometric, and harmonic mean for accretive-dissipative matrices, we study their basic properties. An AM-GM-HM inequality is established for two accretive-dissipative matrices in the sense of this extended Loewner order. We also compare the harmonic mean and parallel sum of two accretive-dissipative matrices, revealing an interesting relation between them. A number of examples are included.


title: Random determinants, mixed volumes of ellipsoids, and zeros of Gaussian random fields

abstract: Consider a $d\times d$ matrix $M$ whose rows are independent centered non-degenerate Gaussian vectors $\xi_1,...,\xi_d$ with covariance matrices $\Sigma_1,...,\Sigma_d$. Denote by $\mathcal{E}_i$ the location-dispersion ellipsoid of $\xi_i:\mathcal{E}_i={\mathbf{x}\in\mathbb{R}^d : \mathbf{x}^\top\Sigma_i^{-1} \mathbf{x}\leqslant1}$. We show that $$ \mathbb{E}\,|\det M|=\frac{d!}{(2\pi)^{d/2}}V_d(\mathcal{E}_1,...,\mathcal{E}_d), $$ where $V_d(\cdot,...,\cdot)$ denotes the {\it mixed volume}. We also generalize this result to the case of rectangular matrices. As a direct corollary we get an analytic expression for the mixed volume of $d$ arbitrary ellipsoids in $\mathbb{R}^d$. As another application, we consider a smooth centered non-degenerate Gaussian random field $X=(X_1,...,X_k)^\top:\mathbb{R}^d\to\mathbb{R}^k$. Using Kac-Rice formula, we obtain the geometric interpretation of the intensity of zeros of $X$ in terms of the mixed volume of location-dispersion ellipsoids of the gradients of $X_i/\sqrt{\mathbf{Var} X_i}$. This relates zero sets of equations to mixed volumes in a way which is reminiscent of the well-known Bernstein theorem about the number of solutions of the typical system of algebraic equations.


title: Frobenius 3-Folds via Singular Flat 3-Webs

abstract: We give a geometric interpretation of weighted homogeneous solutions to the associativity equation in terms of the web theory and construct a massive Frobenius 3-fold germ via a singular 3-web germ satisfying the following conditions: 1) the web germ admits at least one infinitesimal symmetry, 2) the Chern connection form is holomorphic, 3) the curvature form vanishes identically.


title: Generation and Optimization of Test cases for Object-Oriented Software Using State Chart Diagram

abstract: The process of testing any software system is an enormous task which is time consuming and costly. The time and required effort to do sufficient testing grow, as the size and complexity of the software grows, which may cause overrun of the project budget, delay in the development of software system or some test cases may not be covered. During SDLC (software development life cycle), generally the software testing phase takes around 40-70% of the time and cost. State-based testing is frequently used in software testing. Test data generation is one of the key issues in software testing. A properly generated test suite may not only locate the errors in a software system, but also help in reducing the high cost associated with software testing. It is often desired that test data in the form of test sequences within a test suite can be automatically generated to achieve required test coverage. This paper proposes an optimization approach to test data generation for the state-based software testing. In this paper, first state transition graph is derived from state chart diagram. Then, all the required information are extracted from the state chart diagram. Then, test cases are generated. Lastly, a set of test cases are minimized by calculating the node coverage for each test case. It is also determined that which test cases are covered by other test cases. The advantage of our test generation technique is that it optimizes test coverage by minimizing time and cost. The proposed test data generation scheme generates test cases which satisfy transition path coverage criteria, path coverage criteria and action coverage criteria. A case study on Automatic Ticket Machine (ATM) has been presented to illustrate our approach.


title: Ground-state phase diagram of the Kondo lattice model on triangular-to-kagome lattices

abstract: We investigate the ground-state phase diagram of the Kondo lattice model with classical localized spins on triangular-to-kagome lattices by using a variational calculation. We identify the parameter regions where a four-sublattice noncoplanar order is stable with a finite spin scalar chirality while changing the lattice structure from triangular to kagome continuously. Although the noncoplanar spin states appear in a wide range of parameters, the spin configurations on the kagome network become coplanar as approaching the kagome lattice; eventually, the scalar chirality vanishes for the kagome lattice model.


title: Some Computational Aspects of Essential Properties of Evolution and Life

abstract: While evolution has inspired algorithmic methods of heuristic optimisation, little has been done in the way of using concepts of computation to advance our understanding of salient aspects of biological phenomena. We argue that under reasonable assumptions, interesting conclusions can be drawn that are of relevance to behavioural evolution. We will focus on two important features of life--robustness and fitness--which, we will argue, are related to algorithmic probability and to the thermodynamics of computation, disciplines that may be capable of modelling key features of living organisms, and which can be used in formulating new algorithms of evolutionary computation.


title: Introducing the Computable Universe

abstract: Some contemporary views of the universe assume information and computation to be key in understanding and explaining the basic structure underpinning physical reality. We introduce the Computable Universe exploring some of the basic arguments giving foundation to these visions. We will focus on the algorithmic and quantum aspects, and how these may fit and support the computable universe hypothesis.

categories: cs.IT cs.CC math.IT nlin.CG physics.hist-ph


title: Automated Word Puzzle Generation via Topic Dictionaries

abstract: We propose a general method for automated word puzzle generation. Contrary to previous approaches in this novel field, the presented method does not rely on highly structured datasets obtained with serious human annotation effort: it only needs an unstructured and unannotated corpus (i.e., document collection) as input. The method builds upon two additional pillars: (i) a topic model, which induces a topic dictionary from the input corpus (examples include e.g., latent semantic analysis, group-structured dictionaries or latent Dirichlet allocation), and (ii) a semantic similarity measure of word pairs. Our method can (i) generate automatically a large number of proper word puzzles of different types, including the odd one out, choose the related word and separate the topics puzzle. (ii) It can easily create domain-specific puzzles by replacing the corpus component. (iii) It is also capable of automatically generating puzzles with parameterizable levels of difficulty suitable for, e.g., beginners or intermediate learners.


title: Weak Markov Processes as Linear Systems

abstract: A noncommutative Fornasini-Marchesini system (a multi-variable version of a linear system) can be realized within a weak Markov process (a model for quantum evolution). For a discrete time parameter the resulting structure is worked out systematically and some quantum mechanical interpretations are given. We introduce subprocesses and quotient processes and then the notion of a $\gamma$-extension for processes which leads to a complete classification of all the ways in which processes can be built from subprocesses and quotient processes. We show that within a $\gamma$-extension we have a cascade of noncommutative Fornasini-Marchesini systems. We study observability in this setting and as an application we gain new insights into stationary Markov chains where observability for the system is closely related to asymptotic completeness in a scattering theory for the chain.


title: Low prevalence, quasi-stationarity and power-law distribution in a model of spreading

abstract: Understanding how contagions (information, infections, etc) are spread on complex networks is important both from practical as well as theoretical point of view. Considerable work has been done in this regard in the past decade or so. However, most models are limited in their scope and as a result only capture general features of spreading phenomena. Here, we propose and study a model of spreading which takes into account the strength or quality of contagions as well as the local (probabilistic) dynamics occurring at various nodes. Transmission occurs only after the quality-based fitness of the contagion has been evaluated by the local agent. The model exhibits quality-dependent exponential time scales at early times leading to a slowly evolving quasi-stationary state. Low prevalence is seen for a wide range of contagion quality for arbitrary large networks. We also investigate the activity of nodes and find a power-law distribution with a robust exponent independent of network topology. Our results are consistent with recent empirical observations.


title: The Poincare map of randomly perturbed periodic motion

abstract: A system of autonomous differential equations with a stable limit cycle and perturbed by small white noise is analyzed in this work. In the vicinity of the limit cycle of the unperturbed deterministic system, we define, construct, and analyze the Poincare map of the randomly perturbed periodic motion. We show that the time of the first exit from a small neighborhood of the fixed point of the map, which corresponds to the unperturbed periodic orbit, is well approximated by the geometric distribution. The parameter of the geometric distribution tends zero together with the noise intensity. Therefore, our result can be interpreted as an estimate of stability of periodic motion to random perturbations. In addition, we show that the geometric distribution of the first exit times translates into statistical properties of solutions of important differential equation models in applications. To this end, we demonstrate three examples from mathematical neuroscience featuring complex oscillatory patterns characterized by the geometric distribution. We show that in each of these models the statistical properties of emerging oscillations are fully explained by the general properties of randomly perturbed periodic motions identified in this paper.


title: UNL Based Bangla Natural Text Conversion - Predicate Preserving Parser Approach

abstract: Universal Networking Language (UNL) is a declarative formal language that is used to represent semantic data extracted from natural language texts. This paper presents a novel approach to converting Bangla natural language text into UNL using a method known as Predicate Preserving Parser (PPP) technique. PPP performs morphological, syntactic and semantic, and lexical analysis of text synchronously. This analysis produces a semantic-net like structure represented using UNL. We demonstrate how Bangla texts are analyzed following the PPP technique to produce UNL documents which can then be translated into any other suitable natural language facilitating the opportunity to develop a universal language translation method via UNL.


title: Boundaries of Disk-like Self-affine Tiles

abstract: Let $T:= T(A, {\mathcal D})$ be a disk-like self-affine tile generated by an integral expanding matrix $A$ and a consecutive collinear digit set ${\mathcal D}$, and let $f(x)=x^{2}+px+q$ be the characteristic polynomial of $A$. In the paper, we identify the boundary $\partial T$ with a sofic system by constructing a neighbor graph and derive equivalent conditions for the pair $(A,{\mathcal D})$ to be a number system. Moreover, by using the graph-directed construction and a device of pseudo-norm $\omega$, we find the generalized Hausdorff dimension $\dim_H^{\omega} (\partial T)=2\log \rho(M)/\log |q|$ where $\rho(M)$ is the spectral radius of certain contact matrix $M$. Especially, when $A$ is a similarity, we obtain the standard Hausdorff dimension $\dim_H (\partial T)=2\log \rho/\log |q|$ where $\rho$ is the largest positive zero of the cubic polynomial $x^{3}-(|p|-1)x^{2}-(|q|-|p|)x-|q|$, which is simpler than the known result.


title: Weighted Lipschitz estiamtes for commutators of one-sided operators on one-sided Triebel-Lizorkin spaces

abstract: Using the extrapolation of one-sided weights, we establish the boundedness of commutators generated by weighted Lipschitz functions and one-sided singular integral operators from weighted Lebesgue spaces to weighted one-sided Triebel-Lizorkin spaces. The corresponding results for commutators of one-sided discrete square functions are also obtained.


title: The Effect of Market Power on Risk-Sharing

abstract: The paper studies an oligopolistic equilibrium model of financial agents who aim to share their random endowments. The risk-sharing securities and their prices are endogenously determined as the outcome of a strategic game played among all the participating agents. In the complete-market setting, each agent's set of strategic choices consists of the security payoffs and the pricing kernel that are consistent with the optimal-sharing rules; while in the incomplete setting, agents respond via demand functions on a vector of given tradeable securities. It is shown that at the (Nash) risk-sharing equilibrium, the sharing securities are suboptimal, since agents submit for sharing different risk exposures than their true endowments. On the other hand, the Nash equilibrium prices stay unaffected by the game only in the special case of agents with the same risk aversion. In addition, agents with sufficiently lower risk aversion act as predatory traders, since they absorb utility surplus from the high risk averse agents and reduce the efficiency of sharing. The main results of the paper also hold under the generalized models that allow the presence of noise traders and heterogeneity in agents' beliefs.


title: The 6dF Galaxy Survey: The Near-Infrared Fundamental Plane of Early-Type Galaxies

abstract: We determine the near-infrared Fundamental Plane (FP) for $\sim10^4$ early-type galaxies in the 6dF Galaxy Survey (6dFGS). We fit the distribution of central velocity dispersion, near-infrared surface brightness and half-light radius with a three-dimensional Gaussian model using a maximum likelihood method. For the 6dFGS $J$ band sample we find a FP with $R_{e}$\,$\propto$\,$\sigma_0^{1.52\pm0.03}I_{e}^{-0.89\pm0.01}$, similar to previous near-IR determinations and consistent with the $H$ and $K$ band Fundamental Planes once allowance is made for differences in mean colour. The overall scatter in $R_e$ about the FP is $\sigma_r$,=,29%, and is the quadrature sum of an 18% scatter due to observational errors and a 23% intrinsic scatter. Because of the distribution of galaxies in FP space, $\sigma_r$ is not the distance error, which we find to be $\sigma_d$,=,23%. Using group richness and local density as measures of environment, and morphologies based on visual classifications, we find that the FP slopes do not vary with environment or morphology. However, for fixed velocity dispersion and surface brightness, field galaxies are on average 5% larger than galaxies in higher-density environments, and the bulges of early-type spirals are on average 10% larger than ellipticals and lenticulars. The residuals about the FP show significant trends with environment, morphology and stellar population. The strongest trend is with age, and we speculate that age is the most important systematic source of offsets from the FP, and may drive the other trends through its correlations with environment, morphology and metallicity.


title: Transport of fullerene molecules along graphene nanoribbons

abstract: We study the motion of C60 fullerene molecules (buckyballs) and short-length carbon nanotubes on graphene nanoribbons. We demonstrate that the nanoribbon edge creates an effective potential that keeps the carbon structures on the surface. We reveal that the character of the motion of C60 molecules depends on temperature: for low temperatures (T<150K) the main type of motion is sliding along the surface, but for higher temperatures the sliding is replaced by rocking and rolling. Modeling of the buckyball with an included metal ion, such as Fe@C60, demonstrates that this molecular complex undergoes a rolling motion along the nanoribbon with the constant velocity under the action of a constant electric field. The similar effect is observed in the presence of the heat gradient applied to the nanoribbon, but mobility of carbon structures in this case depends largely on their size and symmetry, such that larger and more asymmetric structures demonstrate much lower mobility. Our results suggest that both electorphoresis and thermophoresis can be employed to control the motion of carbon molecules and fullerenes and, for example, sort them by their size, shape, and possible inclusions.


title: When Does a Mixture of Products Contain a Product of Mixtures?

abstract: We derive relations between theoretical properties of restricted Boltzmann machines (RBMs), popular machine learning models which form the building blocks of deep learning models, and several natural notions from discrete mathematics and convex geometry. We give implications and equivalences relating RBM-representable probability distributions, perfectly reconstructible inputs, Hamming modes, zonotopes and zonosets, point configurations in hyperplane arrangements, linear threshold codes, and multi-covering numbers of hypercubes. As a motivating application, we prove results on the relative representational power of mixtures of product distributions and products of mixtures of pairs of product distributions (RBMs) that formally justify widely held intuitions about distributed representations. In particular, we show that a mixture of products requiring an exponentially larger number of parameters is needed to represent the probability distributions which can be obtained as products of mixtures.


title: Weak Exactness for C*-algebras and Application to Condition (AO)

abstract: We generalize Kirchberg's weak exactness to inclusions of C*-algebras in von Neumann algebras and study some characterizations and permanence properties which are similar to those of exact groups. We then consider a similar condition to Ozawa's condition (AO) with our weak exactness and generalize Ozawa's theorem for bi-exact groups. As a corollary, we give new examples of prime factors.


title: Turbulent jet computations based on MRT and Cascaded Lattice Boltzmann models

abstract: In this contribution a numerical study of a turbulent jet flow is presented. The simulation results of two different variants of the Lattice Boltzmann method (LBM) are compared. The first is the well-established D3Q19 MRT model extended by a Smagorinsky Large Eddy Simulation (LES) model. The second is the D3Q27 Factorized Cascaded Lattice Boltzmann (FCLB) model without any additional explicit turbulence model. For this model no studies of turbulent flow with high resolution on nonuniform grids existed so far. The underlying computational procedure uses a time nested refinement technique and a grid with more than a billion DOF. The simulations were conducted with the parallel multi physics solver VIRTUALFLUIDS. It is shown that both models are feasible for the present flow case, but the FCLB outperforms the traditional approach in some aspects.


title: Cauchy problem with data on a characteristic cone for the Einstein-Vlasov equations

abstract: We show how to solve the Cauchy problem for the Einstein-Vlasov equations with geometric initial data on a light-cone.


title: Anisotropic Dark Energy Bianchi Type III Cosmological Models in Brans Dicke Theory of Gravity

abstract: The main purpose of this paper is to explore the solutions of Bianchi type $III$ cosmological model in Brans Dicke theory of gravity in the background of anisotropic dark energy. We use the assumption of constant deceleration parameter and power law relation between scalar field $\phi$ and scale factor $a$ to find the solutions. The physical behavior of the solutions has been discussed using some physical quantities.


title: Greedy approximation in convex optimization

abstract: We study sparse approximate solutions to convex optimization problems. It is known that in many engineering applications researchers are interested in an approximate solution of an optimization problem as a linear combination of elements from a given system of elements. There is an increasing interest in building such sparse approximate solutions using different greedy-type algorithms. The problem of approximation of a given element of a Banach space by linear combinations of elements from a given system (dictionary) is well studied in nonlinear approximation theory. At a first glance the settings of approximation and optimization problems are very different. In the approximation problem an element is given and our task is to find a sparse approximation of it. In optimization theory an energy function is given and we should find an approximate sparse solution to the minimization problem. It turns out that the same technique can be used for solving both problems. We show how the technique developed in nonlinear approximation theory, in particular, the greedy approximation technique can be adjusted for finding a sparse solution of an optimization problem.


title: Greedy expansions in convex optimization

abstract: This paper is a follow up to the previous author's paper on convex optimization. In that paper we began the process of adjusting greedy-type algorithms from nonlinear approximation for finding sparse solutions of convex optimization problems. We modified there three the most popular in nonlinear approximation in Banach spaces greedy algorithms -- Weak Chebyshev Greedy Algorithm, Weak Greedy Algorithm with Free Relaxation and Weak Relaxed Greedy Algorithm -- for solving convex optimization problems. We continue to study sparse approximate solutions to convex optimization problems. It is known that in many engineering applications researchers are interested in an approximate solution of an optimization problem as a linear combination of elements from a given system of elements. There is an increasing interest in building such sparse approximate solutions using different greedy-type algorithms. In this paper we concentrate on greedy algorithms that provide expansions, which means that the approximant at the $m$th iteration is equal to the sum of the approximant from the previous iteration ($(m-1)$th iteration) and one element from the dictionary with an appropriate coefficient. The problem of greedy expansions of elements of a Banach space is well studied in nonlinear approximation theory. At a first glance the setting of a problem of expansion of a given element and the setting of the problem of expansion in an optimization problem are very different. However, it turns out that the same technique can be used for solving both problems. We show how the technique developed in nonlinear approximation theory, in particular, the greedy expansions technique can be adjusted for finding a sparse solution of an optimization problem given by an expansion with respect to a given dictionary.


title: Numerical Models for the Diffuse Ionized Gas in Galaxies. I. Synthetic spectra of thermally excited gas with turbulent magnetic reconnection as energy source

abstract: Aims: The aim of this work is to verify whether turbulent magnetic reconnection can provide the additional energy input required to explain the up to now only poorly understood ionization mechanism of the diffuse ionized gas (DIG) in galaxies and its observed emission line spectra. Methods: We use a detailed non-LTE radiative transfer code that does not make use of the usual restrictive gaseous nebula approximations to compute synthetic spectra for gas at low densities. Excitation of the gas is via an additional heating term in the energy balance as well as by photoionization. Numerical values for this heating term are derived from three-dimensional resistive magnetohydrodynamic two-fluid plasma--neutral-gas simulations to compute energy dissipation rates for the DIG under typical conditions. Results: Our simulations show that magnetic reconnection can liberate enough energy to by itself fully or partially ionize the gas. However, synthetic spectra from purely thermally excited gas are incompatible with the observed spectra; a photoionization source must additionally be present to establish the correct (observed) ionization balance in the gas.


title: f-Eikonal helix submanifolds and f-Eikonal helix curves

abstract: Let M{\subset}\mathbb{R}^{n} be a Riemannian helix submanifold with respect to the unit direction d{\in}\mathbb{R}^{n} and f:M{\to}\mathbb{R} be a eikonal function. We say that M is a f-eikonal helix submanifold if for each q{\in}M the angle between {\nabla}f and d is constant.Let M{\subset}\mathbb{R}^{n} be a Riemannian submanifold and {\alpha}:I{\to}M be a curve with unit tangent T. Let f:M{\to}\mathbb{R} be a eikonal function along the curve {\alpha}. We say that {\alpha} is a f-eikonal helix curve if the angle between {\nabla}f and T is constant along the curve {\alpha}. {\nabla}f will be called as the axis of the f-eikonal helix curve.The aim of this article is to give that the relations between f-eikonal helix submanifolds and f-eikonal helix curves, and to investigate f-eikonal helix curves on Riemannian manifolds.


title: Energy-Aware Task Partitioning on Heterogeneous Multiprocessor Platforms

abstract: Efficient task partitioning plays a crucial role in achieving high performance at multiprocessor plat forms. This paper addresses the problem of energy-aware static partitioning of periodic real-time tasks on heterogeneous multiprocessor platforms. A Particle Swarm Optimization variant based on Min-min technique for task partitioning is proposed. The proposed approach aims to minimize the overall energy consumption, meanwhile avoid deadline violations. An energy-aware cost function is proposed to be considered in the proposed approach. Extensive simulations and comparisons are conducted in order to validate the effectiveness of the proposed technique. The achieved results demonstrate that the proposed partitioning scheme significantly surpasses previous approaches in terms of both number of iterations and energy savings.


title: A note on the carbuncle in shallow water simulations

abstract: An important problem in gas dynamics simulation is to prevent the carbuncle, a breakdown of discrete shock profiles. We show that for high Froude number, this also occurs in shallow water simulations and give numerical evidence that all cures developed for gas dynamics should also work in shallow water flows.

categories: physics.comp-ph math.NA physics.flu-dyn physics.geo-ph


title: Cover times for sequences of reversible Markov chains on random graphs

abstract: We provide conditions that classify cover times for sequences of random walks on random graphs into two types: One type (Type 1) is the class of cover times that are of the order of the maximal hitting times scaled by the logarithm of the size of vertex sets. The other type (Type 2) is the class of cover times that are of the order of the maximal hitting times. The conditions are described by some parameters determined by the underlying graphs: the volumes, the diameters with respect to the resistance metric, the coverings or packings by balls in the resistance metric. We apply the conditions to and classify a number of examples, such as supercritical Galton-Watson trees, the incipient infinite cluster of a critical Galton-Watson tree and the Sierpinski gasket graph.


title: On the Computation of the Higher-Order Statistics of the Channel Capacity for Amplify-and-Forward Multihop Transmission

abstract: Higher-order statistics (HOS) of the channel capacity provide useful information regarding the level of reliability of the signal transmission at a particular rate. We propose in this letter a novel and unified analysis, which is based on the moment-generating function (MGF) approach, to efficiently and accurately compute the HOS of the channel capacity for amplify-and-forward multihop transmission over generalized fading channels. More precisely, our mathematical formulism is easy-to-use and tractable specifically requiring only the reciprocal MGFs of the instantaneous signal-to-noise ratio distributions of the transmission hops. Numerical and simulation results, performed to exemplify the usefulness of the proposed MGF-based analysis, are shown to be in perfect agreement.


title: Higgs Bosons in D-wave Superconductors

abstract: The concept of "broken symmetry", that the symmetry of the vacuum may be lower than the Hamiltonian of a quantum theory, plays an important role in modern physics. A manifestation of this phenomena is the Higgs boson in particle physics whose long awaited discovery is imminent. An equivalent mode in superconductors is implicit in the early theories of their collective fluctuations. Spurred by some mysterious experimental results, the theory of the oscillation of the amplitude of superconductivity order parameter, which is the equivalent to the Higgs modes in s-wave superconductors and its identification in the experiments, was explicitly provided. It was also shown that a necessary condition for this to occur is the emergent Lorentz invariance in the superconducting state while the metallic state and the region just below $T_c$ is manifestly non-Lorentz invariant. Here we show that d-wave superconductors, such as the high temperature Cuprate superconductors, should have a rich assortment of Higgs bosons, each in a different irreducible representation of the point-group symmetries of the lattice. We also show that these modes have a characteristic singular spectral structure which can be discovered in Raman scattering experiments.


title: Effect of substitution and heat treatment route on polycrystalline FeSe0.5Te0.5 Superconductors

abstract: The effect of atomic substitution of Te in iron based superconductors FeSe (1:1 type), which exhibits the simplest crystal structure among the iron-based superconductors, has been investigated in terms of structural, electronic transport and magnetic properties. Polycrystalline samples with nominal Se:Te in FeSe1-xTex samples for x=0.5350{\deg}C, 0.5700{\deg}C, 0.6700{\deg}C and 0.75700{\deg}C were synthesized by the solid-state reaction method. It has been observed that the most superconducting properties seen in x=0.6700{\deg}C samples as dc magnetic susceptibility, ac susceptibility and resistivity measurements. Tc enhancement is well correlated with the Te substitution up to 75% and c lattice parameters monotonically increased with increasing Te concentration.


title: Electric dipoles on magnetic monopoles in spin ice

abstract: The close connection of electricity and magnetism is one of the cornerstones of modern physics. This connection plays crucial role from the fundamental point of view and in practical applications, including spintronics and multiferroic materials. A breakthrough was a recent proposal that in magnetic materials called spin ice the elementary excitations have a magnetic charge and behave as magnetic monopoles. I show that, besides magnetic charge, there should be an electric dipole attached to each magnetic monopole. This opens new possibilities to study and to control such monopoles by electric field. Thus the electric--magnetic analogy goes even further than usually assumed: whereas electrons have electric charge and magnetic dipole (spin), magnetic monopoles in spin ice, while having magnetic charge, also have electric dipole.


title: The IRAM-30m line survey of the Horsehead PDR: I. CF+ as a tracer of C+ and a measure of the Fluorine abundance

abstract: C+ is a key species in the interstellar medium but its 158 {\mu}m fine structure line cannot be observed from ground-based telescopes. Current models of fluorine chemistry predict that CF+ is the second most important fluorine reservoir, in regions where C+ is abundant. We detected the J = 1-0 and J = 2-1 rotational lines of CF+ with high signal-to-noise ratio towards the PDR and dense core positions in the Horsehead. Using a rotational diagram analysis, we derive a column density of N(CF+) = (1.5 - 2.0) \times 10^12 cm^-2. Because of the simple fluorine chemistry, the CF+ column density is proportional to the fluorine abundance. We thus infer the fluorine gas-phase abundance to be F/H = (0.6 - 1.5) \times 10^-8. Photochemical models indicate that CF+ is found in the layers where C+ is abundant. The emission arises in the UV illuminated skin of the nebula, tracing the outermost cloud layers. Indeed, CF+ and C+ are the only species observed to date in the Horsehead with a double peaked line profile caused by kinematics. We therefore propose that CF+, which is detectable from the ground, can be used as a proxy of the C+ layers.


title: Sums of squares of the Littlewood-Richardson coefficients and GL(n)-harmonic polynomials

abstract: We consider the example from invariant theory concerning the conjugation action of the general linear group on several copies of the $n \times n$ matrices, and examine a symmetric function which stably describes the Hilbert series for the invariant ring with respect to the multigradation by degree. The terms of this Hilbert series may be described as a sum of squares of Littlewood-Richardson coefficients. A "principal specialization" of the gradation is then related to the Hilbert series of the $\K$-invariant subring in the $\GL_n$-harmonic polynomials, where $\K$ denotes a block diagonal embedding of a product of general linear groups. We also consider other specializations of this Hilbert series.


title: Toward unification: the dimensionless equation of motion

abstract: We demonstrate that if masses and charges figuring in the equation of motion including both Newton gravitational and Coulomb electrostatic force laws are divided by mass and charge, respectively, which are derived using the relations contaning only the fundamental physical and mathematical constants (like relations defining the Planck's mass, length, and time), then the gravitational constant and permitivity of vacuum can be eliminated from the equation. In addition, the equation becomes dimensionless containing only the ratios of distances, velocities, masses, and electric charges. The ratios of masses and charges can further be replaced with the ratios of wave-lengths or frequencies. The corresponding equation of motion implies that the fundamental physical constants as the gravitational constant, permitivity of vacuum, and Planck constant are, likely, mere the transformation constants between artificial quantities as mass and electric charge, which were established by man to communicate some concerning things and events in every-day life, and natural physical quantities as wave-length or frequency of oscillations of waving space-time.


title: The characteristic imset polytope of Bayesian networks with ordered nodes

abstract: In 2010, M. Studen\'y, R. Hemmecke, and S. Linder explored a new algebraic description of graphical models, called characteristic imsets. Compare with standard imsets, characteristic imsets have several advantages: they are still unique vector representative of conditional independence structures, they are 0-1 vectors, and they are more intuitive in terms of graphs than standard imsets. After defining a characteristic imset polytope (cim-polytope) as the convex hull of all characteristic imsets with a given set of nodes, they also showed that a model selection in graphical models, which maximizes a quality criterion, can be converted into a linear programming problem over the cim-polytope. However, in general, for a fixed set of nodes, the cim-polytope can have exponentially many vertices over an exponentially high dimension. Therefore, in this paper, we focus on the family of directed acyclic graphs (DAGs) whose nodes have a fixed order. This family includes diagnosis models which can be described by Bipartite graphs with a set of $m$ nodes and a set of $n$ nodes for any $m, n \in \Z_+$. In this paper, we first consider cim-polytopes for all diagnosis models and show that these polytopes are direct products of simplices. Then we give a combinatorial description of all edges and all facets of these polytopes. Finally, we generalize these results to the cim-polytopes for all Bayesian networks with a fixed underlying ordering of nodes with or without fixed (or forbidden) edges.


title: New properties of multiple harmonic sums modulo $p$ and $p$-analogues of Leshchiner's series

abstract: In this paper we present some new identities of hypergeometric type for multiple harmonic sums whose indices are the sequences $(\{1\}^a,c,\{1\}^b),$ $(\{2\}^a,c,\{2\}^b)$ and prove a number of congruences for these sums modulo a prime $p.$ The congruences obtained allow us to find nice $p$-analogues of Leshchiner's series for zeta values and to refine a result due to M. Hoffman and J. Zhao about the set of generators of the multiple harmonic sums of weight 7 and 9 modulo $p$. Moreover, we are also able to provide a new proof of Zagier's formula for $\zeta^{*}(\{2\}^a,3,\{2\}^b)$ based on a finite identity for partial sums of the zeta-star series.


title: XUV Frequency Combs via Femtosecond Enhancement Cavities

abstract: We review the current state of tabletop extreme ultraviolet (XUV) sources based on high harmonic generation (HHG) in femtosecond enhancement cavities (fsEC). Recent developments have enabled generation of high photon flux (1014 photons/sec) in the XUV, at high repetition rates (>50 MHz) and spanning the spectral region from 40 nm - 120 nm. This level of performance has enabled precision spectroscopy with XUV frequency combs and promises further applications in XUV spectroscopic and photoemission studies. We discuss the theory of operation and experimental details of the fsEC and XUV generation based on HHG, including current technical challenges to increasing the photon flux and maximum photon energy produced by this type of system. Current and future applications for these sources are also discussed.


title: Unity of elementary particles and forces for the third family

abstract: We propose a non-supersymmetric SU(5) model in which only the third family of fermions are unified. The model remedies the non-unification of the three Standard Model couplings in non-supersymmetric SU(5). It also provides a mechanism for baryon number violation which is needed for the baryon asymmetry of the Universe and is not present in the Standard Model. Current experimental constraints on the leptoquark gauge bosons, mediating such baryon and lepton violating interactions in our model, allow their masses to be at the TeV scale. These can be searched for as a (b\tau) or (tt) resonance at the Large Hadron Collider as predicted in our model.


title: De-equivariantization of Hopf algebras

abstract: We study the de-equivariantization of a Hopf algebra by an affine group scheme and we apply Tannakian techniques in order to realize it as the tensor category of comodules over a coquasi-bialgebra. As an application we construct a family of coquasi-Hopf algebras $A(H,G,\Phi)$ attached to a coradically-graded pointed Hopf algebra $H$ and some extra data.


title: Recognising the small Ree groups in their natural representations

abstract: We present Las Vegas algorithms for constructive recognition and constructive membership testing of the Ree groups 2G_2(q) = Ree(q), where q = 3^{2m + 1} for some m > 0, in their natural representations of degree 7. The input is a generating set X. The constructive recognition algorithm is polynomial time given a discrete logarithm oracle. The constructive membership testing consists of a pre-processing step, that only needs to be executed once for a given X, and a main step. The latter is polynomial time, and the former is polynomial time given a discrete logarithm oracle. Implementations of the algorithms are available for the computer algebra system MAGMA.