title: Cyclotron line formation in the magnetized atmospheres of compact stars: I. The transfer equations for polarized radiation

abstract: We find the forms of the transfer equations for polarized cyclotron radiation in the atmospheres of compact stars, which are simple enough to allow practical implementation and still preserve all important physical effects. We take into account a frequency redistribution of radiation within the cyclotron line as well as the relativistic and quantum-electrodynamic effects. Our analysis is valid for the magnetic fields up to $10^{13}$G and for temperatures well below 500keV.} We present and compare two forms of the radiation transfer equations. The first form, for the intensities of ordinary and extraordinary modes, is applicable for the compact stars with a moderate magnetic field strength up to $10^{11}$G for typical neutron star and up to $10^9$G for magnetic white dwarfs. The second form, for the Stokes parameters, is more complex, but applicable even if a linear mode coupling takes place somewhere in the scattering-dominated atmosphere. Analysing dispersion properties of a magnetized plasma {in the latter case, we describe a range of parameters where the linear mode coupling is possible and essential.


title: First-principles study the structural, magnetic, optical properties and doping effect in chromium arsenide

abstract: We systematically study the pristine and doped chromium arsenide (CrAs) in six different crystal structures to investigate the structural, magnetic, and optical properties for real applications by first-principles calculations. First, we found that the ground-state structure is an orthorhombic MnP-type structure with antiferromagnetic spin order. The rocksalt structure is an low-energy metastable phase and a ferromagnetic metal with high spin polarization at the Fermi level. Secondly, the NiAs structure and MnP structure have a higher absorption coefficient than other structures in the infrared region and ultraviolet region, respectively. In the visible light region, the wurtzite and zincblende structures are more transparent than other structures. At last, we found that Ti substitution of Cr and Te substitution of As can lead to a phase transition in ground-state structure and ground-state magnetic order, respectively. These results can promote the application of the CrAs system into spintronics.


title: Collective dynamics of an inhomogeneous two-channel exclusion process: Theory and Monte Carlo simulations

abstract: This work is devoted to the development of a novel theoretical approach, named hybrid approach, to handle a localized bottleneck in a symmetrically coupled two-channel totally asymmetric simple exclusion process with Langmuir kinetics. The hybrid approach is combined with singular perturbation technique to get steady-state phase diagrams and density profiles. We have thoroughly examined the role played by the strength of bottleneck, binding constant and lane-changing rate in the system dynamics. The appearances of bottleneck-induced shock, a bottleneck phase and Meissner phase are explained. Further, the critical values of bottleneck rate are identified, which signify the changes in the topology of phase diagram. It is also found that increase in lane-changing rate as well as unequal attachment, detachment rates weaken the bottleneck effect. Our theoretical arguments are in good agreement with extensively performed Monte Carlo simulations.


title: Fermi-Large Area Telescope Observations of the Exceptional Gamma-ray Flare from 3C 279 in 2015 June

abstract: An exceptional $\gamma$-ray outburst from 3C 279 is detected by {\it Fermi}-Large Area Telescope (LAT) in 2015 June. In the energy range of 0.1$-$300 GeV, the highest flux measured is (39.1$\pm$2.5) $\times$ 10$^{-6}$ \phflux, which is the highest $\gamma$-ray flux ever detected from 3C 279, exceeding the previous historically brightest flare observed by {\it EGRET} in 1996. The high activity period consists of three major flares with the last one being the brightest. All but one flares show a faster rise and slower decay pattern and at the peak of the activity, the $\gamma$-ray spectrum is found to show a clear signature of break/curvature. The obtained spectral parameters hint for the peak of the inverse Compton emission to lie in the LAT energy range (around $\sim$1 GeV) which is in contrast to that seen during the 2013 December and 2014 April $\gamma$-ray flares of 3C 279. From the $\gamma\gamma$ pair opacity arguments, the minimum Doppler factor is estimated to be 14 and the location of the $\gamma$-ray emitting region is found to be either at the outer edge of the broad line region or farther out from it.


title: GPGPU for track finding in High Energy Physics

abstract: The LHC experiments are designed to detect large amount of physics events produced with a very high rate. Considering the future upgrades, the data acquisition rate will become even higher and new computing paradigms must be adopted for fast data-processing: General Purpose Graphics Processing Units (GPGPU) is a novel approach based on massive parallel computing. The intense computation power provided by Graphics Processing Units (GPU) is expected to reduce the computation time and to speed-up the low-latency applications used for fast decision taking. In particular, this approach could be hence used for high-level triggering in very complex environments, like the typical inner tracking systems of the multi-purpose experiments at LHC, where a large number of charged particle tracks will be produced with the luminosity upgrade. In this article we discuss a track pattern recognition algorithm based on the Hough Transform, where a parallel approach is expected to reduce dramatically the execution time.


title: Realization of the thermal equilibrium in inhomogeneous magnetic systems by the Landau-Lifshitz-Gilbert equation with stochastic noise, and its dynamical aspects

abstract: It is crucially important to investigate effects of temperature on magnetic properties such as critical phenomena, nucleation, pinning, domain wall motion, coercivity, etc. The Landau-Lifshitz-Gilbert (LLG) equation has been applied extensively to study dynamics of magnetic properties. Approaches of Langevin noises have been developed to introduce the temperature effect into the LLG equation. To have the thermal equilibrium state (canonical distribution) as the steady state, the system parameters must satisfy some condition known as the fluctuation-dissipation relation. In inhomogeneous magnetic systems in which spin magnitudes are different at sites, the condition requires that the ratio between the amplitude of the random noise and the damping parameter depends on the magnitude of the magnetic moment at each site. Focused on inhomogeneous magnetic systems, we systematically showed agreement between the stationary state of the stochastic LLG equation and the corresponding equilibrium state obtained by Monte Carlo simulations in various magnetic systems including dipole-dipole interactions. We demonstrated how violations of the condition result in deviations from the true equilibrium state. We also studied the characteristic features of the dynamics depending on the choice of the parameter set. All the parameter sets satisfying the condition realize the same stationary state (equilibrium state). In contrast, different choices of parameter set cause seriously different relaxation processes. We show two relaxation types, i.e., magnetization reversals with uniform rotation and with nucleation.


title: Reducibility of pointlike problems

abstract: We show that the pointlike and the idempotent pointlike problems are reducible with respect to natural signatures in the following cases: the pseudovariety of all finite semigroups in which the order of every subgroup is a product of elements of a fixed set of primes; the pseudovariety of all finite semigroups in which every regular J-class is the product of a rectangular band by a group from a fixed pseudovariety of groups that is reducible for the pointlike problem, respectively graph reducible. Allowing only trivial groups, we obtain omega-reducibility of the pointlike and idempotent pointlike problems, respectively for the pseudovarieties of all finite aperiodic semigroups (A) and of all finite semigroups in which all regular elements are idempotents (DA).


title: A new hybrid stemming algorithm for Persian

abstract: Stemming has been an influential part in Information retrieval and search engines. There have been tremendous endeavours in making stemmer that are both efficient and accurate. Stemmers can have three method in stemming, Dictionary based stemmer, statistical-based stemmers, and rule-based stemmers. This paper aims at building a hybrid stemmer that uses both Dictionary based method and rule-based method for stemming. This ultimately helps the efficacy and accurateness of the stemmer.


title: Gas flow in barred potentials - III. Effects of varying the Quadrupole

abstract: We run hydrodynamical simulations of a 2D isothermal non self-gravitating inviscid gas flowing in a rigidly rotating externally imposed potential formed by only two components: a monopole and a quadrupole. We explore systematically the effects of varying the quadrupole while keeping fixed the monopole and discuss the consequences for the interpretation of longitude-velocity diagrams in the Milky Way. We find that the gas flow can constrain the quadrupole of the potential and the characteristics of the bar that generates it. The exponential scale length of the bar must be at least $1.5\rm\, kpc$. The strength of the bar is also constrained. Our global interpretation favours a pattern speed of $\Omega=40\,\rm km s^{-1} {kpc}^{-1}$. We find that for most observational features, there exist a value of the parameters that matches each individual feature well, but is difficult to reproduce all the important features at once. Due to the intractably high number of parameters involved in the general problem, quantitative fitting methods that can run automatic searches in parameter space are necessary.


title: Operator reflection positivity inequalities and their applications to interacting quantum rotors

abstract: In the Reflection Positivity theory and its application to statistical mechanical systems, certain matrix inequalities play a central role. The Dyson-Lieb-Simon and Kennedy-Lieb-Shastry-Schupp inequalities constitute prominent examples. In this paper we extend the KLS-S inequality to the case where matrices are replaced by certain operators. As an application, we prove the occurrence of the long range order in the ground state of two-dimensional quantum rotors.


title: A study on boundary separation in an idealized ocean model

abstract: In numerical ocean models coast lines change the direction from one grid cell to its neighbor and the value for viscosity is set to be as small as possible. Therefore, model simulations are not converged with resolution and boundary separation points differ in essential properties from flow separation in continuous flow fields. In this paper, we investigate the quality of the representation of boundary separation points in global ocean models. To this end, we apply well established criteria for boundary separation within an idealized ocean model setup. We investigate an eddy-resolving as well as a steady test case with idealized and unstructured coast lines in a shallow water model that is based on a finite element discretization method. The results show that well established criteria for separation fail to detect boundary separation points due to an insufficient representation of ocean flows along free-slip boundaries. Along no-slip boundaries, most separation criteria provide adequate results. However, a very sophisticated criterion based on dynamical system theory reveals that the representation of boundary separation is limited for these flows as well. We conclude that the representation of boundary separation points in numerical ocean models is not satisfying. This will have an impact on the separation of boundary currents in global ocean models.


title: Probing Modified Gravity with Atom-Interferometry: a Numerical Approach

abstract: Refined constraints on chameleon theories are calculated for atom-interferometry experiments, using a numerical approach consisting in solving for a four-region model the static and spherically symmetric Klein-Gordon equation for the chameleon field. By modeling not only the test mass and the vacuum chamber but also its walls and the exterior environment, the method allows to probe new effects on the scalar field profile and the induced acceleration of atoms. In the case of a weakly perturbing test mass, the effect of the wall is to enhance the field profile and to lower the acceleration inside the chamber by up to one order of magnitude. In the thin-shell regime, results are found to be in good agreement with the analytical estimations, when measurements are realized in the immediate vicinity of the test mass. Close to the vacuum chamber wall, the acceleration becomes negative and potentially measurable. This prediction could be used to discriminate between fifth-force effects and systematic experimental uncertainties, by doing the experiment at several key positions inside the vacuum chamber. For the chameleon potential $V(\phi) = \Lambda^{4+\alpha} / \phi^\alpha$ and a coupling function $A(\phi) = \exp(\phi /M)$, one finds $M \gtrsim 7 \times 10^{16} \mathrm{GeV}$, independently of the power-law index. For $V(\phi) = \Lambda^4 (1+ \Lambda/ \phi)$, one finds $M \gtrsim 10^{14} \mathrm{GeV}$. A sensitivity of $a\sim 10^{-11} \mathrm{m/s^2} $ would probe the model up to the Planck scale. Finally, a proposal for a second experimental set-up, in a vacuum room, is presented. In this case, Planckian values of $M$ could be probed provided that $a \sim 10^{-10} \mathrm{m/s^2}$, a limit reachable by future experiments. Our method can easily be extended to constrain other models with a screening mechanism, such as symmetron, dilaton and f(R) theories.


title: On integrability of certain rank 2 sub-Riemannian structures

abstract: We discuss the integrability of rank 2 sub-Riemannian structures on low-dimensional manifolds, and then prove that some structures of that type in dimension 6, 7 and 8 have a lot of symmetry but no integrals polynomial in momenta of low degrees, except for those coming from the Killing fields and the Hamiltonian, thus indicating non-integrability of the corresponding geodesic flows.


title: Local existence of strong solutions to the $k-\varepsilon$ model equations for turbulent flows

abstract: In this paper, we are concerned with the local existence of strong solutions to the $k-\varepsilon$ model equations for turbulent flows in a bounded domain $\Omega$$\subset$ $\mathbb{R}^{3}$. We prove the existence of unique local strong solutions under the assumption that turbulent kinetic energy and the initial density both have lower bounds away from zero.


title: Constacyclic codes over F_q + u F_q + v F_q + u v F_q

abstract: Let q be a prime power and F_q be a finite field. In this paper, we study constacyclic codes over the ring F_q+ u F_q +v F_q+ u v F_q, where u^2=u, v^2=v and uv=vu. We characterized the generator polynomials of constacyclic codes and their duals using some decomposition of this ring. We also define a gray map and characterize the Gray images of self-dual cyclic codes over F_q+uF_q+vF_q+uvF_q.


title: Anisotropic micro-cloths fabricated from DNA-stabilized carbon nanotubes: one-stop manufacturing with electrode needles

abstract: Among a variety of solution-based approaches to fabricate anisotropic films of aligned carbon nanotubes (CNTs), we focus on the dielectrophoretic assembly method using AC electric fields in DNA-stabilized CNT suspensions. We demonstrate that a one-stop manufacturing system using electrode needles can draw anisotropic DNA-CNT hybrid films of 10-100 $\mu$m in size (i.e., free-standing DNA-CNT micro-cloths) from the remaining suspension into the atmosphere while maintaining structural order. It has been found that a maximal degree of polarization (ca. 40 \%) can be achieved by micro-cloths fabricated from a variety of DNA-CNT mixtures. Our results suggest that the one-stop method can impart biocompatibility to the downsized CNT films and that the DNA-stabilized CNT micro-cloths directly connected to an electrode could be useful for biofuel cells in terms of electron transfer and/or enzymatic activity.


title: RCSLenS: Testing gravitational physics through the cross-correlation of weak lensing and large-scale structure

abstract: The unknown nature of dark energy motivates continued cosmological tests of large-scale gravitational physics. We present a new consistency check based on the relative amplitude of non-relativistic galaxy peculiar motions, measured via redshift-space distortion, and the relativistic deflection of light by those same galaxies traced by galaxy-galaxy lensing. We take advantage of the latest generation of deep, overlapping imaging and spectroscopic datasets, combining the Red Cluster Sequence Lensing Survey (RCSLenS), the Canada-France-Hawaii Telescope Lensing Survey (CFHTLenS), the WiggleZ Dark Energy Survey and the Baryon Oscillation Spectroscopic Survey (BOSS). We quantify the results using the "gravitational slip" statistic E_G, which we estimate as 0.48 +/- 0.10 at z=0.32 and 0.30 +/- 0.07 at z=0.57, the latter constituting the highest redshift at which this quantity has been determined. These measurements are consistent with the predictions of General Relativity, for a perturbed Friedmann-Robertson-Walker metric in a Universe dominated by a cosmological constant, which are E_G = 0.41 and 0.36 at these respective redshifts. The combination of redshift-space distortion and gravitational lensing data from current and future galaxy surveys will offer increasingly stringent tests of fundamental cosmology.


title: Midpoints for Thompson's metric on symmetric cones

abstract: We characterise the affine span of the midpoints sets for Thompson's metric on symmetric cones in terms of a translation of the zero-component of the Peirce decomposition of an idempotent. As a consequence we derive an explicit formula for the dimension of the affine span of the midpoints sets in case the associated Euclidean Jordan algebra is simple.


title: Microscopic Characterization of Individual Submicron Bubbles during the Layer-by-Layer Deposition: Towards Creating Smart Agents

abstract: We investigated the individual properties of various polyion-coated bubbles with a mean diameter ranging from 300 to 500 nm. Dark field microscopy allows one to track the individual particles of the submicron bubbles (SBs) encapsulated by the layer-by-layer (LbL) deposition of cationic and anionic polyelectrolytes (PEs). Our focus is on the two-step charge reversals of PE-SB complexes: the first is a reversal from negatively charged bare SBs with no PEs added to positive SBs encapsulated by polycations (monolayer deposition), and the second is overcharging into negatively charged PE-SB complexes due to the subsequent addition of polyanions (double-layer deposition). The details of these phenomena have been clarified through the analysis of a number of trajectories of various PE-SB complexes that experience either Brownian motion or electrophoresis. The contrasted results obtained from the analysis were as follows: an amount in excess of the stoichiometric ratio of the cationic polymers was required for the first charge-reversal, whereas the stoichiometric addition of the polyanions lead to the electrical neutralization of the PE-SB complex particles. The recovery of the stoichiometry in the double-layer deposition paves the way for fabricating multi-layered SBs encapsulated solely with anionic and cationic PEs, which provides a simple protocol to create smart agents for either drug delivery or ultrasound contrast imaging.

categories: cond-mat.soft cond-mat.mes-hall cond-mat.mtrl-sci cond-mat.stat-mech


title: Super-long life time for 2D cyclotron spin-flip excitons

abstract: An experimental technique for the indirect manipulation and detection of electron spins entangled in two-dimensional magnetoexcitons has been developed. The kinetics of the spin relaxation has been investigated. Photoexcited spin-magnetoexcitons were found to exhibit extremely slow relaxation in specific quantum Hall systems, fabricated in high mobility GaAs/AlGaAs structures, namely, the relaxation time reaches values over one hundred microseconds. A qualitative explanation of this spin-relaxation kinetics is presented. Its temperature and magnetic field dependencies are discussed within the available theoretical framework.


title: A Non-stoichiometric Universality in Microbubble-Polyelectrolyte Complexation

abstract: We investigated the fundamental electrical properties of microbubbles (MBs) that are directly encapsulated by the addition of oppositely charged polyelectrolytes (PEs). Charge-reversal of the MB-PE complex particles has been observed by the microscopic electrophoresis method, revealing unusual overcharging behaviors in MB-PE complex solutions, as follows. The critical concentrations of cationic PEs added for overcharging were not only independent of their chain lengths and molecular species, but also much larger than stoichiometric neutralization points. Thus, we provide a theoretical sketch that considers the adsorption-desorption kinetics of small anions on the surface of genuine microbubbles, which can explain the inefficient charge-reversal.


title: Kepler's first view of O-star variability: K2 data of five O stars in Campaign 0 as a proof-of-concept for O-star asteroseismology

abstract: We present high-precision photometric light curves of five O-type stars observed with the refurbished {\it Kepler\/} satellite during its Campaign 0. For one of the stars, we also assembled high-resolution ground-based spectroscopy with the {\sc hermes} spectrograph attached to the 1.2-m Mercator telescope. The stars EPIC202060097 (O9.5V) and EPIC202060098 (O7V) exhibit monoperiodic variability due to rotational modulation with an amplitude of 5.6 mmag and 9.3 mmag and a rotation period of 2.63 d and 5.03 d, respectively. EPIC202060091 (O9V) and EPIC202060093 (O9V:pe) reveal variability at low frequency but the cause is unclear. EPIC202060092 (O9V:p) is discovered to be a spectroscopic binary with at least one multiperiodic $\beta\,$Cep-type pulsator whose detected mode frequencies occur in the range $[0.11,6.99]$ d$^{-1}$ and have amplitudes between 0.8 and 2.0 mmag. Its pulsation spectrum is shown to be fully compatible with the ones predicted by core-hydrogen burning O-star models. Despite the short duration of some 33\,d and the limited data quality with a precision near 100 $\mu$mag of these first K2 data, the diversity of possible causes for O-star variability already revealed from campaigns of similar duration by the MOST and CoRoT satellites is confirmed with {\it Kepler}. We provide an overview of O-star space photometry and give arguments why future K2 monitoring during Campaigns 11 and 13 at short cadence, accompanied by time-resolved high-precision high-resolution spectroscopy opens up the possibility of in-depth O-star seismology.


title: On the use of Harrell's C for clinical risk prediction via random survival forests

abstract: Random survival forests (RSF) are a powerful method for risk prediction of right-censored outcomes in biomedical research. RSF use the log-rank split criterion to form an ensemble of survival trees. The most common approach to evaluate the prediction accuracy of a RSF model is Harrell's concordance index for survival data ('C index'). Conceptually, this strategy implies that the split criterion in RSF is different from the evaluation criterion of interest. This discrepancy can be overcome by using Harrell's C for both node splitting and evaluation. We compare the difference between the two split criteria analytically and in simulation studies with respect to the preference of more unbalanced splits, termed end-cut preference (ECP). Specifically, we show that the log-rank statistic has a stronger ECP compared to the C index. In simulation studies and with the help of two medical data sets we demonstrate that the accuracy of RSF predictions, as measured by Harrell's C, can be improved if the log-rank statistic is replaced by the C index for node splitting. This is especially true in situations where the censoring rate or the fraction of informative continuous predictor variables is high. Conversely, log-rank splitting is preferable in noisy scenarios. Both C-based and log-rank splitting are implemented in the R~package ranger. We recommend Harrell's C as split criterion for use in smaller scale clinical studies and the log-rank split criterion for use in large-scale 'omics' studies.


title: Geometric sigma model of the Universe

abstract: The purpose of this work is to demonstrate how an arbitrarily chosen background of the Universe can be made a solution of a simple geometric sigma model. Geometric sigma models are purely geometric theories in which spacetime coordinates are seen as scalar fields coupled to gravity. Although they look like ordinary sigma models, they have the peculiarity that their complete matter content can be gauged away. The remaining geometric theory possesses a background solution that is predefined in the process of constructing the theory. The fact that background configuration is specified in advance is another peculiarity of geometric sigma models. In this paper, I construct geometric sigma models based on different background geometries of the Universe. Whatever background geometry is chosen, the dynamics of its small perturbations is shown to posses a generic classical stability. This way, any freely chosen background metric is made a stable solution of a simple model. Three particular models of the Universe are considered as examples of how this is done in practice.


title: Prospects for a lattice computation of rare kaon decay amplitudes: $K\to\pi\ell^+\ell^-$ decays

abstract: The rare kaon decays $K\to\pi\ell^+\ell^-$ and $K\to\pi\nu\bar{\nu}$ are flavor changing neutral current (FCNC) processes and hence promising channels with which to probe the limits of the standard model and to look for signs of new physics. In this paper we demonstrate the feasibility of lattice calculations of $K\to\pi\ell^+\ell^-$ decay amplitudes for which long-distance contributions are very significant. We show that the dominant finite-volume corrections (those decreasing as powers of the volume) are negligibly small and that, in the four-flavor theory, no new ultraviolet divergences appear as the electromagnetic current $J$ and the effective weak Hamiltonian $H_W$ approach each other. In addition, we demonstrate that one can remove the unphysical terms which grow exponentially with the range of the integration over the time separation between $J$ and $H_W$. We will now proceed to exploratory numerical studies with the aim of motivating further experimental measurements of these decays. Our work extends the earlier study by Isidori, Turchetti and Martinelli which focussed largely on the renormalization of ultraviolet divergences. In a companion paper we discuss the evaluation of the long-distance contributions to $K\to\pi\nu\bar{\nu}$ decays; these contributions are expected to be at the level of a few percent for $K^+$ decays.


title: HERschel Observations of Edge-on Spirals (HEROES). II: Tilted-ring modelling of the atomic gas disks

abstract: Context. Edge-on galaxies can offer important insights in galaxy evolution as they are the only systems where the distribution of the different components can be studied both radially and vertically. The HEROES project was designed to investigate the interplay between the gas, dust, stars and dark matter (DM) in a sample of 7 massive edge-on spiral galaxies. Aims. In this second HEROES paper we present an analysis of the atomic gas content of 6 out of 7 galaxies in our sample. The remaining galaxy was recently analysed according to the same strategy. The primary aim of this work is to constrain the surface density distribution, the rotation curve and the geometry of the gas disks in a homogeneous way. In addition we identify peculiar features and signs of recent interactions. Methods. We construct detailed tilted-ring models of the atomic gas disks based on new GMRT 21-cm observations of NGC 973 and UGC 4277 and re-reduced archival HI data of NGC 5907, NGC 5529, IC 2531 and NGC 4217. Potential degeneracies between different models are resolved by requiring a good agreement with the data in various representations of the data cubes. Results. From our modelling we find that all but one galaxy are warped along the major axis. In addition, we identify warps along the line of sight in three galaxies. A flaring gas layer is required to reproduce the data only for one galaxy, but (moderate) flares cannot be ruled for the other galaxies either. A coplanar ring-like structure is detected outside the main disk of NGC 4217, which we suggest could be the remnant of a recent minor merger event. We also find evidence for a radial inflow of 15 +- 5 km/s in the disk of NGC 5529, which might be related to the ongoing interaction with two nearby companions. (Abridged)


title: A Cut Finite Element Method with Boundary Value Correction

abstract: In this contribution we develop a cut finite element method with boundary value correction of the type originally proposed by Bramble, Dupont, and Thomee. The cut finite element method is a fictitious domain method with Nitsche type enforcement of Dirichlet conditions together with stabilization of the elements at the boundary which is stable and enjoy optimal order approximation properties. A computational difficulty is, however, the geometric computations related to quadrature on the cut elements which must be accurate enough to achieve higher order approximation. With boundary value correction we may use only a piecewise linear approximation of the boundary, which is very convenient in a cut finite element method, and still obtain optimal order convergence. The boundary value correction is a modified Nitsche formulation involving a Taylor expansion in the normal direction compensating for the approximation of the boundary. Key to the analysis is a consistent stabilization term which enables us to prove stability of the method and a priori error estimates with explicit dependence on the meshsize and distance between the exact and approximate boundary.


title: Ontology Matching with Knowledge Rules

abstract: Ontology matching is the process of automatically determining the semantic equivalences between the concepts of two ontologies. Most ontology matching algorithms are based on two types of strategies: terminology-based strategies, which align concepts based on their names or descriptions, and structure-based strategies, which exploit concept hierarchies to find the alignment. In many domains, there is additional information about the relationships of concepts represented in various ways, such as Bayesian networks, decision trees, and association rules. We propose to use the similarities between these relationships to find more accurate alignments. We accomplish this by defining soft constraints that prefer alignments where corresponding concepts have the same local relationships encoded as knowledge rules. We use a probabilistic framework to integrate this new knowledge-based strategy with standard terminology-based and structure-based strategies. Furthermore, our method is particularly effective in identifying correspondences between complex concepts. Our method achieves substantially better F-score than the previous state-of-the-art on three ontology matching domains.


title: A scalar hint from the diboson excess?

abstract: In view of the recent diboson resonant excesses reported by both ATLAS and CMS Collaborations, we suggest that a new weak singlet pseudo-scalar particle, $\eta_W$, may decay into two weak bosons while being produced in gluon fusion at the LHC. The couplings to the gauge bosons can arise from a Wess-Zumino-Witten anomaly term and thus we study an effective model based on the anomaly term as a well motivated phenomenological model. In models where the pseudo-scalar arises as a composite state, the coefficients of the anomalous couplings can be related to the fermion components of the underlying dynamics. We provide an example to test the feasibility of the idea.


title: Explicit Formulas for Partition Pairs and Triples with 3-Cores

abstract: Let $A_{3}(n)$ (resp. ${{B}_{3}}(n)$) denote the number of partition pairs (resp. triples) of $n$ where each partition is 3-core. By applying Ramanujan's ${}_{1}\psi_{1}$ formula and Bailey's ${}_{6}\psi_{6}$ formula, we find the explicit formulas for $A_{3}(n)$ and $B_{3}(n)$. Using these formulas, we confirm a conjecture of Xia and establish many arithmetic identities satisfied by $A_{3}(n)$ and $B_{3}(n)$.


title: Intermediate Coherent-entangled State Representation: Generation and its applications

abstract: By combining the beam splitter and the Fresnel transform, a protocol is proposed to generate a new entangled state representation, called the intermediate coherent-entangled state (ICES) representation. The properties, such as eigenvalue equation, completeness relation and orthogonal relation, are investigated. The conjugate state representation of the ICES and the Schmidt decomposing of the ICES are also discussed. As applications, a new squeezing operator and some operator identities by using the ICES are obtained.


title: Proof of a Conjecture on 6-colored Generalized Frobenius Partitions

abstract: Let $c\phi_{k}(n)$ be the $k$-colored generalized Frobenius partition function. By employing the generating function of $c\phi_{6}(3n+1)$ found by Hirschhorn, we prove that $c\phi_{6}(27n+16)\equiv 0$ (mod 243). This confirms a conjecture of E.X.W. Xia. We also find a congruence relation $c\phi_{6}(81n+61) \equiv 3 c\phi_{6}(9n+7)$ (mod 243). Moreover, we show that $c\phi_{6}(81n+61) \equiv 0$ (mod 81), $c\phi_{6}(243n+142) \equiv 0$ (mod 243) and $c\phi_{6}(729n+ 547) \equiv 0$ (mod 243). We further conjecture that for $n\ge 0$, $c\phi_{6}(243n+142) \equiv 0$ (mod 729).


title: 3D Printing A Pendant with A Logo

abstract: The purpose of this short paper is to describe a project to manufacture a 3D-print of a pendant that includes a logo. The methods described in this paper involve processing the image of the logo through a Mathematica script. These methods can be applied to many logos and other images. With the Mathematica script, a STereoLithography (.stl) file is created that can be used by a 3D printer. Finally, the object is created on a 3D printer. We assume that the reader is familiar with the basics of 3D printing.


title: Generalized synchronization of multidimensional chaotic systems in terms of symbolic CTQ-analysis

abstract: A new approach is proposed to the analysis of generalized synchronization of multidimensional chaotic systems. The approach is based on the symbolic analysis of discrete sequences in the basis of a finite T-alphabet. In fact, the symbols of the T-alphabet encode the shape (the geometric structure) of a trajectory of a dynamical system. Investigation of symbolic sequences allows one to diagnose various regimes of chaos synchronization, including generalized synchronization. The characteristics introduced allow one to detect and study the restructuring and intermittency behavior of attractors in systems (the time structure of synchronization). The measure of T-synchronization proposed is generalized without restrictions to complex ensembles of strongly nonstationary and nonidentical large-dimensional oscillators with arbitrary configuration and network (lattice) topology. The main features of the method are illustrated by an example.


title: End states and subgap structure in proximity-coupled chains of magnetic adatoms

abstract: A recent experiment [Nadj-Perge et al., Science 346, 602 (2014)] provides evidence for Majorana zero modes in iron (Fe) chains on the superconducting Pb(110) surface. Here, we study this system by scanning tunneling microscopy using superconducting tips. This high-resolution technique resolves a rich subgap structure, including zero-energy excitations in some chains. We compare the symmetry properties of the data under voltage reversal against theoretical expectations and provide evidence that the putative Majorana signature overlaps with a previously unresolved low-energy resonance. Interpreting the data within a Majorana framework suggests that the topological gap is significantly smaller than previously believed. Aided by model calculations, we also analyze higher-energy features of the subgap spectrum and their relation to high-bias peaks which we associate with the Fe d-bands.


title: Insulator/metal phase transition and colossal magnetoresistance in holographic model

abstract: Within massive gravity, we construct a gravity dual for insulator/metal phase transition and colossal magnetoresistance (CMR) effect found in some manganese oxides materials. In heavy graviton limit, a remarkable magnetic-field-sensitive DC resistivity peak appears at the Curie temperature, where an insulator/metal phase transition happens and the magnetoresistance is scaled with the square of field-induced magnetization. We find that metallic and insulating phases coexist below the Curie point and the relation with the electronic phase separation is discussed.


title: Saddle point inflation in string-inspired theory

abstract: The observed value of the Higgs mass indicates the possibility that there is no supersymmetry below the Planck scale and that the Higgs can play the role of the inflaton. We examine the general structure of the saddle point inflation in string-inspired theory without supersymmetry. We point out that the string scale is fixed to be around the GUT scale $\sim10^{16}$GeV in order to realize successful inflation. We find that the inflaton can be naturally identified with the Higgs field.


title: The Rodriguez-Villegas type congruences for truncated q-hypergeometric functions

abstract: We prove some Rodriguez-Villegas type congruences for truncated q-hypergeometric functions.


title: Integral Transforms and Deformations of K3 Surfaces

abstract: Let X be a K3 surface and M a smooth and projective moduli space of stable sheaves on X of Mukai vector v. A universal sheaf U over X x M induces an integral transform F from the derived category D(X) of coherent sheaves on X to that on M. (1) We prove that the integral transform F is faithful. F is not full if the dimension of M is greater than 2. (2) We exhibit the full subcategory of D(M), consisting of objects in the image of F, as the quotient of a category, explicitly constructed from D(X), by a natural congruence relation defined in terms of the Mukai vector v. (3) Let C be a component of the moduli space of isomorphism classes of marked irreducible holomorphic symplectic manifolds deformation equivalent to the Hilbert scheme X^[n] of n points on a K3 surface X, n > 1. C is 21-dimensional, while the moduli of Kahler K3 surfaces is 20-dimensional. We construct a geometric deformation of the derived categories of K3 surfaces over a Zariski dense open subset of C, which coincides with D(X) whenever the marked manifold is a moduli space of sheaves on X satisfying a technical condition.


title: Enhancing the Security of Protocols against Actor Key Compromise Problems

abstract: Security of complex systems is an important issue in software engineering. For complex computer systems involving many actors, security protocols are often used for the communication of sensitive data. Actor key compromise (AKC) denotes a situation where the long-term secret key of an actor may be known to an adversary for some reasons. Many protocols are not secure enough for ensuring security in such a situation. In this paper, we further study this problem by looking at potential types of attacks, defining their formal properties and providing solutions to enhance the level of security. As case studies, we analyze the vulnerabilities (with respect to potential AKC attacks) of practical protocols, including PKMv2RSA and Kerberos, and provide solutions to enhance the level of security of such protocols.


title: On the most expected number of components for random links

abstract: We consider a random link, which is defined as the closure of a braid obtained from a random walk on the braid group. For such a random link, the expected value for the number of components was calculated by Jiming Ma. In this paper, we determine the most expected number of components for a random link, and further, consider the most expected partition of the number of strings for a random braid.


title: Kernel Methods for Linear Discrete-Time Equations

abstract: Methods from learning theory are used in the state space of linear dynamical and control systems in order to estimate the system matrices. An application to stabilization via algebraic Riccati equations is included. The approach is illustrated via a series of numerical examples.


title: Charged Higgs Study through Triple or Double Higgs Production in a General Two Higgs Doublet Model at Future Lepton Collide

abstract: In this study the charged Higgs signal through triple or double Higgs production in a general two Higgs doublet model (2HDM) is investigated. The main production process is $e^+e^- \rightarrow H^+H^-H^0$ followed by the charged Higgs decay to a pair of $\tau \nu$ and the neutral Higgs decay to $b\bar{b}$. The alternative process $H^+W^-H^0$ is also included as a source of charged Higgs signal in the analysis having comparable cross-section. The focus is on a future $e^+e^-$ linear collider operating at $\sqrt{s}=1.5$ TeV. The final state under consideration ($\tau^+ \tau^- b \bar{b} E^{\textnormal{miss}}_{T}$) is suitable for electroweak background rejection using the $b-$tagging tools. It is shown that although the signal cross section is small, with a reasonable background suppression, high signal significance values are achievable at an integrated luminosity $500 fb^{-1}$ depending on the charged Higgs mass, $\tan\beta~$ and the CP-odd neutral Higgs mass. Finally results are quoted in terms of the signal significance for charged Higgs in the mass range $170<m_{H^{\pm}}<400$ GeV.


title: The Complexity of Computing the Optimal Composition of Differential Privacy

abstract: In the study of differential privacy, composition theorems (starting with the original paper of Dwork, McSherry, Nissim, and Smith (TCC'06)) bound the degradation of privacy when composing several differentially private algorithms. Kairouz, Oh, and Viswanath (ICML'15) showed how to compute the optimal bound for composing $k$ arbitrary $(\epsilon,\delta)$-differentially private algorithms. We characterize the optimal composition for the more general case of $k$ arbitrary $(\epsilon_{1},\delta_{1}),\ldots,(\epsilon_{k},\delta_{k})$-differentially private algorithms where the privacy parameters may differ for each algorithm in the composition. We show that computing the optimal composition in general is $\#$P-complete. Since computing optimal composition exactly is infeasible (unless FP=$\#$P), we give an approximation algorithm that computes the composition to arbitrary accuracy in polynomial time. The algorithm is a modification of Dyer's dynamic programming approach to approximately counting solutions to knapsack problems (STOC'03).


title: A Placement Vulnerability Study in Multi-tenant Public Clouds

abstract: Public infrastructure-as-a-service clouds, such as Amazon EC2, Google Compute Engine (GCE) and Microsoft Azure allow clients to run virtual machines (VMs) on shared physical infrastructure. This practice of multi-tenancy brings economies of scale, but also introduces the risk of sharing a physical server with an arbitrary and potentially malicious VM. Past works have demonstrated how to place a VM alongside a target victim (co-location) in early-generation clouds and how to extract secret information via side- channels. Although there have been numerous works on side-channel attacks, there have been no studies on placement vulnerabilities in public clouds since the adoption of stronger isolation technologies such as Virtual Private Clouds (VPCs). We investigate this problem of placement vulnerabilities and quantitatively evaluate three popular public clouds for their susceptibility to co-location attacks. We find that adoption of new technologies (e.g., VPC) makes many prior attacks, such as cloud cartography, ineffective. We find new ways to reliably test for co-location across Amazon EC2, Google GCE, and Microsoft Azure. We also found ways to detect co-location with victim web servers in a multi-tiered cloud application located behind a load balancer. We use our new co-residence tests and multiple customer accounts to launch VM instances under different strategies that seek to maximize the likelihood of co-residency. We find that it is much easier (10x higher success rate) and cheaper (up to $114 less) to achieve co-location in these three clouds when compared to a secure reference placement policy.


title: Hierarchy of gaps and magnetic minibands in graphene in the presence of the Abrikosov vortex lattice

abstract: We determine the structure of band and gaps in graphene encapsulated in hexagonal boron nitride and subjected to magnetic field of Abrikosov lattice of vortices in the underlying superconducting film. The spectrum features one non-dispersive magnetic miniband at zero energy, separated by the largest gaps in the miniband spectrum from a pair of minibands resembling slightly broadened first Landau levels in graphene, suggesting the persistence of $\nu = \pm 2$ quantum Hall effect states. Also, we identify occasional merging point of magnetic minibands which feature Dirac-type dispersion at the consecutive miniband edges.


title: Block-diagonalization of ODEs in the semiclassical limit and $C^\omega$ vs. $C^\infty$ stationary phase

abstract: Motivated by issues in detonation stability, we study existence of block-diagonalizing transformations for ordinary differential semiclassical limit problems arising in the study of high-frequency eigenvalue problems. Our main results are to (i) establish existence of block-diagonalizing transformations in a neighborhood of infinity for analytic-coefficient ODE, and (ii) establish by a series of counterexample sharpness of hypotheses and conclusions on existence of block-diagonalizing transformations near a finite point. In particular, we show that, in general, bounded transformations exist only locally, answering a question posed by Wasow in the 1980's, and, under the minimal condition of spectral separation, for ODE with analytic rather than $C^\infty$ coefficients. The latter issue is connected with quantitative comparisons of $C^\omega$ vs. $C^\infty$ stationary phase estimates


title: Apate - A Linux Kernel Module for High Interaction Honeypots

abstract: Honeypots are used in IT Security to detect and gather information about ongoing intrusions, e.g., by documenting the approach of an attacker. Honeypots do so by presenting an interactive system that seems just like a valid application to an attacker. One of the main design goals of honeypots is to stay unnoticed by attackers as long as possible. The longer the intruder interacts with the honeypot, the more valuable information about the attack can be collected. Of course, another main goal of honeypots is to not open new vulnerabilities that attackers can exploit. Thus, it is necessary to harden the honeypot and the surrounding environment. This paper presents Apate, a Linux Kernel Module (LKM) that is able to log, block and manipulate system calls based on preconfigurable conditions like Process ID (PID), User Id (UID), and many more. Apate can be used to build and harden High Interaction Honeypots. Apate can be configured using an integrated high level language. Thus, Apate is an important and easy to use building block for upcoming High Interaction Honeypots.


title: Testing the nonlocal kinetic energy functional of an inhomogeneous, two-dimensional degenerate Fermi gas within the average density approximation

abstract: In a recent paper [Phys.~Rev.~A {\bf 89}, 022503 (2014)], the average density approximation (ADA) was implemented to develop a parameter-free, nonlocal kinetic energy functional to be used in the orbital-free density-functional theory of an inhomogenous, two-dimensional (2D), Fermi gas. In this work, we provide a detailed comparison of self-consistent calculations within the ADA with the exact results of the Kohn-Sham density-functional theory, and the elementary Thomas-Fermi (TF) approximation. We demonstrate that the ADA for the 2D kinetic energy functional works very well under a wide variety of confinement potentials, even for relatively small particle numbers. Remarkably, the TF approximation for the kinetic energy functional, {\em without any gradient corrections}, also yields good agreement with the exact kinetic energy for all confining potentials considered, although at the expense of the spatial and kinetic energy densities exhibiting poor point-wise agreement, particularly near the TF radius. Our findings illustrate that the ADA kinetic energy functional yields accurate results for {\em both} the local and global equilibrium properties of an inhomogeneous 2D Fermi gas, without the need for any fitting parameters.


title: Inclusive and differential measurements of the t t-bar charge asymmetry in pp collisions at sqrt(s) = 8 TeV

abstract: The t t-bar charge asymmetry is measured in proton-proton collisions at a centre-of-mass energy of 8 TeV. The data, collected with the CMS experiment at the LHC, correspond to an integrated luminosity of 19.7 inverse femtobarns. Selected events contain an electron or a muon and four or more jets, where at least one jet is identified as originating from b-quark hadronization. The inclusive charge asymmetry is found to be 0.0010 +/- 0.0068 (stat) +/- 0.0037 (syst). In addition, differential charge asymmetries as a function of rapidity, transverse momentum, and invariant mass of the t t-bar system are studied. For the first time at the LHC, the measurements are also performed in a reduced fiducial phase space of top quark pair production, with an integrated result of -0.0035 +/- 0.0072 (stat) +/- 0.0031 (syst). All measurements are consistent within two standard deviations with zero asymmetry as well as with the predictions of the standard model.


title: Entanglement of magnetic impurities through electron scattering in an electric field

abstract: We show that the entanglement between two distant magnetic impurities, generated via electron scattering, can be easily modulated by controlling the magnitude of an applied external electric field. We assume that the two magnetic impurities are fixed and located on an one-dimensional quantum wire. A ballistic electron moving through the wire is scattered off by both impurities, so the electron spin can be seen as a mediator between the spins of the impurities. Heisenberg operators are used to describe the interactions between electron and impurities spins. We use a wave guide formalism to model the ballistic electron wave-function. Entanglement control is shown to be possible for three different protocols of entanglement detection. The effect of detection protocols on the entanglement extraction is discussed.


title: Fermionic phase transition induced by the effective impurity in holography

abstract: We investigate the holographic fermionic phase transition induced by the effective impurity in holography, which is introduced by massless scalar fields in Einstein-Maxwell-massless scalar gravity. We obtain a phase diagram in $(\alpha, T)$ plane separating the Fermi liquid phase and the non-Fermi liquid phase.


title: Compact FPGA-based pulse-sequencer and radio-frequency generator for experiments with trapped atoms

abstract: We present a compact FPGA-based pulse sequencer and radio-frequency (RF) generator suitable for experiments with cold trapped ions and atoms. The unit is capable of outputting a pulse sequence with at least 32 TTL channels with a timing resolution of 40 ns and contains a built-in 100 MHz frequency counter for counting electrical pulses from a photo-multiplier tube (PMT). There are 16 independent direct-digital-synthesizers (DDS) RF sources with fast (rise-time of ~60 ns) amplitude switching and sub-mHz frequency tuning from 0 to 800 MHz.


title: New insights into the $D^{*}_{s0}(2317)$ and other charm scalar mesons

abstract: Through the scattering of light-pseudoscalar mesons ($\pi,K,\eta,\eta'$) off charmed mesons ($D, D_s$), we study the $D^{*}_{s0}(2317)$ state and other relevant charm scalar mesons in a unitarized chiral effective field theory approach. We investigate the charm scalar meson poles with different strangeness ($S$) and isospin ($I$) quantum numbers as well as their corresponding residues, which provide the coupling strengths of the charm scalar mesons. Both the light-quark mass and $N_C$ dependences of the pole positions of the $D^{*}_{s0}(2317)$ and the poles with $(S,I)=(0,1/2)$ are analyzed in detail in this work. Interestingly we observe quite similar pion mass trajectories for the resonance pole at around 2.1 GeV with $(S,I)=(0,1/2)$ to those of the $f_0(500)$ given in the literature. When increasing the values of $N_C$ we find that a bound state and a virtual state in the $(S,I)=(1,0)$ channel asymmetrically approach the $D K$ threshold for $N_C<6$, and they meet at this threshold at $N_C=6$. When $N_C>6$, the bound and virtual states move into the complex plane on the second Riemann sheet and become a symmetric pair of resonance poles. For large enough values of $N_C$, neither the $D^{*}_{s0}(2317)$ pole nor the poles with $(S,I)=(0,1/2)$ tend to fall down to the real axis, indicating that they do not behave like a standard quark-antiquark meson at large $N_C$.


title: Testing homogeneity in the Sloan Digital Sky Survey Data Release Twelve with Shannon entropy

abstract: We analyze a set of volume limited samples from SDSS DR12 to quantify the degree of inhomogeneity at different length scales using Shannon entropy. We find that the galaxy distributions exhibit a higher degree of inhomogeneity as compared to a Poisson point process at all length scales. Our analysis indicates that signatures of inhomogeneities in the galaxy distributions persist at least upto a length scale of $120 \, h^{-1}\, {\rm Mpc}$. The galaxy distributions appear to be homogeneous on a scale of $140 \, h^{-1}\, {\rm Mpc}$ and beyond. Analyzing a set of mock galaxy samples from a semi analytic galaxy catalogue from the Millennium simulation we find a scale of transition to homogeneity at $\sim 100 \, h^{-1}\, {\rm Mpc}$.


title: A new boosting algorithm based on dual averaging scheme

abstract: The fields of machine learning and mathematical optimization increasingly intertwined. The special topic on supervised learning and convex optimization examines this interplay. The training part of most supervised learning algorithms can usually be reduced to an optimization problem that minimizes a loss between model predictions and training data. While most optimization techniques focus on accuracy and speed of convergence, the qualities of good optimization algorithm from the machine learning perspective can be quite different since machine learning is more than fitting the data. Better optimization algorithms that minimize the training loss can possibly give very poor generalization performance. In this paper, we examine a particular kind of machine learning algorithm, boosting, whose training process can be viewed as functional coordinate descent on the exponential loss. We study the relation between optimization techniques and machine learning by implementing a new boosting algorithm. DABoost, based on dual-averaging scheme and study its generalization performance. We show that DABoost, although slower in reducing the training error, in general enjoys a better generalization error than AdaBoost.


title: Efficient Quantum Algorithms for (Gapped) Group Testing and Junta Testing

abstract: In the $k$-junta testing problem, a tester has to efficiently decide whether a given function $f:\{0,1\}^n\rightarrow \{0,1\}$ is a $k$-junta (i.e., depends on at most $k$ of its input bits) or is $\epsilon$-far from any $k$-junta. Our main result is a quantum algorithm for this problem with query complexity $\tilde O(\sqrt{k/\epsilon})$ and time complexity $\tilde O(n\sqrt{k/\epsilon})$. This quadratically improves over the query complexity of the previous best quantum junta tester, due to At\i c\i\ and Servedio. Our tester is based on a new quantum algorithm for a gapped version of the combinatorial group testing problem, with an up to quartic improvement over the query complexity of the best classical algorithm. For our upper bound on the time complexity we give a near-linear time implementation of a shallow variant of the quantum Fourier transform over the symmetric group, similar to the Schur-Weyl transform. We also prove a lower bound of $\Omega(k^{1/3})$ queries for junta-testing (for constant $\epsilon$).


title: Stable topological hairy black holes in $\mathfrak{su}(N)$ EYM theory with $\Lambda<0$

abstract: We investigate the linear stability of topological black hole solutions to four-dimensional SU(N) Einstein-Yang-Mills theory with a negative cosmological constant. We here extend recent results in the field which prove the existence of hairy black hole solutions to such equations, and the stability of their spherically symmetric analogues. We find the analysis carries over very similarly, with some important differences in the final stages. Nevertheless, we establish the existence of non-trivial solutions stable under linear perturbations, in a sufficiently small neighbourhood of some existing trivial solutions; in fact, stable topological solutions turn out to be likely more abundant in the parameter space than their spherically symmetric analogues.


title: Transformational process zone emerging at the tip of a propagating crack

abstract: Process zone at the tip of a propagating crack engendered by the stress-induced local phase transition of the second order is studied theoretically. We show that the zone can only exist within a certain domain of the phase diagram at one side of the phase transition line depending upon the sign of the striction constant. We obtain the boundary of this domain and establish its dependence upon the crack velocity. We show the existence of a critical crack velocity above which the zone cannot exist. We report the overcritical solution for the order parameter describing the incipient process zone, while far from the bifurcation point we solve the problem numerically.


title: Self-consistent theory of nanodomain formation on non-polar surfaces of ferroelectrics

abstract: We propose a self-consistent theoretical approach capable to describe the peculiarities of the anisotropic nanodomain formation induced by a charged AFM probe on non-polar cuts of ferroelectrics. The proposed semi-phenomenological approach accounts for the difference of the threshold fields required for the domain wall motion along non-polar X- and Y - cuts, and polar Z - cut of LiNbO3. The effect steams from the fact, that the minimal distance between the equilibrium atomic positions of domain wall and the profile of lattice pinning barrier appeared different for different directions due to the crystallographic anisotropy. Using relaxation-type equation with cubic nonlinearity we calculated the polarization reversal dynamics during the probe-induced nanodomain formation for different threshold field values. The different velocity of domain growth and consequently equilibrium domain sizes on X-, Y- and Z-cuts of LiNbO3 originate from the anisotropy of the threshold field. Note that the smaller is the threshold field the larger are the domain sizes, and the fact allows explaining several times difference in nanodomain length experimentally observed on X- and Y-cuts of LiNbO3. Obtained results can give insight into the nanoscale anisotropic dynamics of polarization reversal in strongly inhomogeneous electric field.


title: Joint estimation of quantile planes over arbitrary predictor spaces

abstract: In spite of the recent surge of interest in quantile regression, joint estimation of linear quantile planes remains a great challenge in statistics and econometrics. We propose a novel parametrization that characterizes any collection of non-crossing quantile planes over arbitrarily shaped convex predictor domains in any dimension by means of unconstrained scalar, vector and function valued parameters. Statistical models based on this parametrization inherit a fast computation of the likelihood function, enabling penalized likelihood or Bayesian approaches to model fitting. We introduce a complete Bayesian methodology by using Gaussian process prior distributions on the function valued parameters and develop a robust and efficient Markov chain Monte Carlo parameter estimation. The resulting method is shown to offer posterior consistency under mild tail and regularity conditions. We present several illustrative examples where the new method is compared against existing approaches and is found to offer better accuracy, coverage and model fit.


title: The geometry of singularities and the black hole information paradox

abstract: The information loss occurs in an evaporating black hole only if the time evolution ends at the singularity. But as we shall see, the black hole solutions admit analytical extensions beyond the singularities, to globally hyperbolic solutions. The method used is similar to that for the apparent singularity at the event horizon, but at the singularity, the resulting metric is degenerate. When the metric is degenerate, the covariant derivative, the curvature, and the Einstein equation become singular. However, recent advances in the geometry of spacetimes with singular metric show that there are ways to extend analytically the Einstein equation and other field equations beyond such singularities. This means that the information can get out of the singularity. In the case of charged black holes, the obtained solutions have {\nonsing} electromagnetic field. As a bonus, if particles are such black holes, spacetime undergoes dimensional reduction effects like those required by some approaches to perturbative Quantum Gravity.


title: Expansive periodic mechanisms

abstract: A one-parameter deformation of a periodic bar-and-joint framework is expansive when all distances between joints increase or stay the same. In dimension two, expansive behavior can be fully explained through our theory of periodic pseudo-triangulations. However, higher dimensions present new challenges. In this paper we study a number of periodic frameworks with expansive capabilities in dimension $d\geq 3$ and register both similarities and contrasts with the two-dimensional case.


title: Best Subset Selection via a Modern Optimization Lens

abstract: In the last twenty-five years (1990-2014), algorithmic advances in integer optimization combined with hardware improvements have resulted in an astonishing 200 billion factor speedup in solving Mixed Integer Optimization (MIO) problems. We present a MIO approach for solving the classical best subset selection problem of choosing $k$ out of $p$ features in linear regression given $n$ observations. We develop a discrete extension of modern first order continuous optimization methods to find high quality feasible solutions that we use as warm starts to a MIO solver that finds provably optimal solutions. The resulting algorithm (a) provides a solution with a guarantee on its suboptimality even if we terminate the algorithm early, (b) can accommodate side constraints on the coefficients of the linear regression and (c) extends to finding best subset solutions for the least absolute deviation loss function. Using a wide variety of synthetic and real datasets, we demonstrate that our approach solves problems with $n$ in the 1000s and $p$ in the 100s in minutes to provable optimality, and finds near optimal solutions for $n$ in the 100s and $p$ in the 1000s in minutes. We also establish via numerical experiments that the MIO approach performs better than {\texttt {Lasso}} and other popularly used sparse learning procedures, in terms of achieving sparse solutions with good predictive power.


title: Elliptic flow of muons from heavy-flavour hadron decays at forward rapidity in Pb-Pb collisions at $\sqrt{s_{\rm NN}}=2.76$ TeV

abstract: The elliptic flow, $v_{2}$, of muons from heavy-flavour hadron decays at forward rapidity ($2.5 < y < 4$) is measured in Pb--Pb collisions at $\sqrt{s_{\rm NN}}$~=~2.76 TeV with the ALICE detector at the LHC. The scalar product, two- and four-particle $Q$ cumulants and Lee-Yang zeros methods are used. The dependence of the $v_2$ of muons from heavy-flavour hadron decays on the collision centrality, in the range 0--40\%, and on transverse momentum, $p_{\rm T}$, is studied in the interval $3 < p_{\rm T} < 10$~GeV/$c$. A positive $v_2$ is observed with the scalar product and two-particle $Q$ cumulants in semi-central collisions (10--20\% and 20--40\% centrality classes) for the $p_{\rm T}$ interval from 3 to about 5 GeV/$c$. The $v_2$ magnitude tends to decrease towards more central collisions and with increasing $p_{\rm T}$. It becomes compatible with zero in the interval $6<p_{\rm T}<10~{\rm GeV/}c$. The results are compared to models describing the interaction of heavy quarks and open heavy-flavour hadrons with the high-density medium formed in high-energy heavy-ion collisions. The model calculations describe the measured $v_2$ within uncertainties.


title: Controlled polarization of two-dimensional quantum turbulence in atomic Bose-Einstein condensates

abstract: We propose a scheme for generating two-dimensional turbulence in harmonically trapped atomic condensates with the novelty of controlling the polarization (net rotation) of the turbulence. Our scheme is based on an initial giant (multicharged) vortex which induces a large-scale circular flow. Two thin obstacles, created by blue-detuned laser beams, speed up the decay of the giant vortex into many singly-quantized vortices of the same circulation; at the same time, vortex-antivortex pairs are created by the decaying circular flow past the obstacles. Rotation of the obstacles against the circular flow controls the relative proportion of positive and negative vortices, from the limit of strongly anisotropic turbulence (almost all vortices having the same sign) to that of isotropic turbulence (equal number of vortices and antivortices). Using the new scheme, we numerically study quantum turbulence and report on its decay as a function of the polarization.


title: On the Spectral Shape of Gamma-ray Pulsars Above the Break Energy

abstract: It is well known that, for bright gamma-ray pulsars with high statistics above a few GeV, the phase averaged spectral energy distribution (SED) is harder than a simple exponential cutoff above the break. We perform phase-resolved spectral analyses of bright gamma-ray pulsars and demonstrate that, even over narrow phase ranges, the SEDs of gamma-ray pulsars above the break energy are harder than a simple exponential cutoff. We argue within a radiation-reaction limited curvature framework that this is indicative of non-stationary emission or emission from multiple zones. Further, we address a common problem faced when fitting hard spectral tails with a power-law times a sub-exponential function. Namely, that the sub-exponent parameter does not describe any parameters of physical models of pulsar emission. We introduce a simple analytical fit function to solve this problem.


title: Pushdown Control-Flow Analysis for Free

abstract: Traditional control-flow analysis (CFA) for higher-order languages, whether implemented by constraint-solving or abstract interpretation, introduces spurious connections between callers and callees. Two distinct invocations of a function will necessarily pollute one another's return-flow. Recently, three distinct approaches have been published which provide perfect call-stack precision in a computable manner: CFA2, PDCFA, and AAC. Unfortunately, CFA2 and PDCFA are difficult to implement and require significant engineering effort. Furthermore, all three are computationally expensive; for a monovariant analysis, CFA2 is in $O(2^n)$, PDCFA is in $O(n^6)$, and AAC is in $O(n^9 log n)$. In this paper, we describe a new technique that builds on these but is both straightforward to implement and computationally inexpensive. The crucial insight is an unusual state-dependent allocation strategy for the addresses of continuation. Our technique imposes only a constant-factor overhead on the underlying analysis and, with monovariance, costs only O(n3) in the worst case. This paper presents the intuitions behind this development, a proof of the precision of this analysis, and benchmarks demonstrating its efficacy.


title: Structure and Energetics of Graphene Oxide Isomers: Ab Initio Thermodynamic Analysis

abstract: Graphene oxide (GO) holds significant promise for electronic devices and nanocomposite materials. A number of models were proposed for GO structure, combining carboxyl, hydroxyl, carbonyl and epoxide groups at different locations. The complexity and variety of GO isomers, whose thermodynamic stability and formation kinetics depend on applied conditions, make determination of GO structure with atomistic precision challenging. We report high level theoretical investigation of multiple molecular configurations, which are anticipated in GO. We conclude that all oxygen containing groups at the GO surface are thermodynamically permitted, whereas the edge positions are systematically more favorable than the center and side positions. We discuss a potentially novel type of chemical bond or bonding reinforcement in GO, which consists of a covalent bond and a strong electrostatic contribution from a polarized graphene plane. We observe and analyze significant modifications of graphene geometry and electronic structure upon oxidation. The reported thermodynamic data guide experiments aimed at deciphering GO chemical composition and structure, and form the basis for predicting GO properties required for nano-technological applications.


title: Freeze-out configuration properties in the 197Au + 197Au reaction at 23 AMeV

abstract: Data from the experiment on the 197Au + 197Au reaction at 23 AMeV are analyzed with an aim to find signatures of exotic nuclear configurations such as toroid-shaped objects. The experimental data are compared with predictions of the ETNA code dedicated to look for such configurations and with the QMD model. A novel criterion of selecting events possibly resulting from the formation of exotic freeze-out configurations, "the efficiency factor", is tested. Comparison between experimental data and model predictions may indicate for the formation of flat/toroidal nuclear systems.


title: Helicons in Weyl semimetals

abstract: Helicons are transverse electromagnetic waves propagating in three-dimensional (3D) electron systems subject to a static magnetic field. We present a theory of helicons propagating through a 3D Weyl semimetal. Our approach relies on the evaluation of the optical conductivity tensor from semiclassical Boltzmann transport theory, with the inclusion of certain Berry curvature corrections that have been neglected in the earlier literature (such as the one due to the orbital magnetic moment). We demonstrate that the axion term characterizing the electromagnetic response of Weyl semimetals dramatically alters the helicon dispersion with respect to that in nontopological metals. We also discuss axion-related anomalies that appear in the plasmon dispersion relation.


title: Bifurcation patterns of market regime transition

abstract: In this paper mechanisms of reversion - momentum transition are considered. Two basic nonlinear mechanisms are highlighted: a slow and fast bifurcation. A slow bifurcation leads to the equilibrium evolution, preceded by stability loss delay of a control parameter. A single order parameter is introduced by Markovian chain diffusion, which plays a role of a precursor. A fast bifurcation is formed by a singular fusion of unstable and stable equilibrium states. The effect of a precatastrophic range compression is observed before the discrete change of a system. A diffusion time scaling is presented as a precursor of the fast bifurcation. The efficiency of both precursors in a currency market was illustrated by simulation of a prototype of a trading system.


title: Quantum theory allows for absolute maximal contextuality

abstract: Contextuality is a fundamental feature of quantum theory and a necessary resource for quantum computation and communication. It is therefore important to investigate how large contextuality can be in quantum theory. Linear contextuality witnesses can be expressed as a sum $S$ of $n$ probabilities, and the independence number $\alpha$ and the Tsirelson-like number $\vartheta$ of the corresponding exclusivity graph are, respectively, the maximum of $S$ for noncontextual theories and for the theory under consideration. A theory allows for absolute maximal contextuality if it has scenarios in which $\vartheta/\alpha$ approaches $n$. Here we show that quantum theory allows for absolute maximal contextuality despite what is suggested by the examination of the quantum violations of Bell and noncontextuality inequalities considered in the past. Our proof is not constructive and does not single out explicit scenarios. Nevertheless, we identify scenarios in which quantum theory allows for almost absolute maximal contextuality.


title: Early optical follow-up of the nearby active star DG CVn during its 2014 superflare

abstract: DG CVn is a binary system in which one of the components is an M type dwarf ultra fast rotator, only three of which are known in the solar neighborhood. Observations of DG CVn by the Swift satellite and several ground-based observatories during its super-flare event on 2014 allowed us to perform a complete hard X-ray - optical follow-up of a super-flare from the red-dwarf star. The observations support the fact that the super-flare can be explained by the presence of (a) large active region(s) on the surface of the star. Such activity is similar to the most extreme solar flaring events. This points towards a plausible extrapolation between the behaviour from the most active red-dwarf stars and the processes occurring in the Sun.


title: Deligne-Beilinson Cohomology of Affine Groups

abstract: The goal of this paper is to develop the theory of Deligne-Beilinson cohomology of affine groups with a mixed Hodge structure. The motivation comes from Hodge theory and the study of motives, where such groups appear. Several of Francis Brown's period computations (arXiv:1407.5167) are interpreted as elements of the DB cohomology of the relative unipotent completion of $SL_2(Z)$ and their cup products. The results in this paper are used in arXiv:1403.6443 where they are used to prove that Pollack's quadratic relations are motivic.


title: Performance Analysis for Energy Harvesting Communication Systems: From Throughput to Energy Diversity

abstract: Energy harvesting (EH) based communication has raised great research interests due to its wide application and the feasibility of commercialization. In this paper, we consider wireless communications with EH constraints at the transmitter. First, for delay-tolerant traffic, we investigate the long-term average throughput maximization problem and analytically compare the throughput performance against that of a system supported by conventional power supplies. Second, for delay-sensitive traffic, we analyze the outage probability by studying its asymptotic behavior in the high energy arrival rate regime, where the new concept of energy diversity is formally introduced. Moreover, we show that the speed of outage probability approaching zero, termed energy diversity gain, varies under different power supply models.


title: Effect of structural relaxation on the electronic structure of graphene on hexagonal boron nitride

abstract: We performed calculations of electronic, optical and transport properties of graphene on hBN with realistic moir\'e patterns. The latter are produced by structural relaxation using a fully atomistic model. This relaxation turns out to be crucially important for electronic properties. We describe experimentally observed features such as additional Dirac points and the "Hofstadter butterfly" structure of energy levels in a magnetic field. We find that the electronic structure is sensitive to many-body renormalization of the local energy gap.


title: A Remark on Unique Ergodicity and the Contact Type Condition

abstract: We prove that for a broad class of exact symplectic manifolds including ${\mathbb R}^{2m}$ the Hamiltonian flow on a regular compact energy level of an autonomous Hamiltonian cannot be uniquely ergodic. This is a consequence of the Weinstein conjecture and an observation that a Hamiltonian structure with non-vanishing self-linking number must have contact type. We apply these results to show that certain types of exact twisted geodesic flows cannot be uniquely ergodic.


title: Face Alignment Assisted by Head Pose Estimation

abstract: In this paper we propose a supervised initialization scheme for cascaded face alignment based on explicit head pose estimation. We first investigate the failure cases of most state of the art face alignment approaches and observe that these failures often share one common global property, i.e. the head pose variation is usually large. Inspired by this, we propose a deep convolutional network model for reliable and accurate head pose estimation. Instead of using a mean face shape, or randomly selected shapes for cascaded face alignment initialisation, we propose two schemes for generating initialisation: the first one relies on projecting a mean 3D face shape (represented by 3D facial landmarks) onto 2D image under the estimated head pose; the second one searches nearest neighbour shapes from the training set according to head pose distance. By doing so, the initialisation gets closer to the actual shape, which enhances the possibility of convergence and in turn improves the face alignment performance. We demonstrate the proposed method on the benchmark 300W dataset and show very competitive performance in both head pose estimation and face alignment.


title: Brushes of Statistically Branched Polymers

abstract: We determine the distribution of free ends and the monomer insertion potential in the strongly-stretched limit for regularly and statistically branched polymer brushes. We find that the end density flattens in the limit of very strong branching with a concomitant enhancement of the grafting surface end density. This enhancement ensures for a wide range of parameters that a parabolic potential profile is preserved, even for large positive curvature of the brush surface. This considerably simplifies the analysis of copolymer phases.


title: How to deal with PCR composition problem at $E_0 \gtrsim 10^{17}$ eV

abstract: Basic ideas of muon tracker technique for the solution of primary cosmic ray (PCR) composition problem in the energy range $10^{17}-10^{18}$ eV are presented. The approach uses MC simulation data made with CORSIKA6.990 for "Pamir-XXI" site conditions. Similar technology can certainly be developed for other observation levels and interaction models. One can probably extend it to much higher primary energies.


title: Optimal Heat Transport in Rayleigh-B\'enard Convection

abstract: Steady flows that optimize heat transport are obtained for two-dimensional Rayleigh-B\'enard convection with no-slip horizontal walls for a variety of Prandtl numbers $Pr$ and Rayleigh number up to $Ra\sim 10^9$. Power law scalings of $Nu\sim Ra^{\gamma}$ are observed with $\gamma\approx 0.31$, where the Nusselt number $Nu$ is a non-dimensional measure of the vertical heat transport. Any dependence of the scaling exponent on $Pr$ is found to be extremely weak. On the other hand, the presence of two local maxima of $Nu$ with different horizontal wavenumbers at the same $Ra$ leads to the emergence of two different flow structures as candidates for optimizing the heat transport. For $Pr \lesssim 7$, optimal transport is achieved at the smaller maximal wavenumber. In these fluids, the optimal structure is a plume of warm rising fluid which spawns left/right horizontal arms near the top of the channel, leading to downdrafts adjacent to the central updraft. For $Pr > 7$ at high-enough Ra, the optimal structure is a single updraft absent significant horizontal structure, and characterized by the larger maximal wavenumber.


title: The thermal neutron capture cross section of the radioactive isotope $^{60}$Fe

abstract: 50% of the heavy element abundances are produced via slow neutron capture reactions in different stellar scenarios. The underlying nucleosynthesis models need the input of neutron capture cross sections. One of the fundamental signatures for active nucleosynthesis in our galaxy is the observation of long-lived radioactive isotopes, such as $^{60}$Fe with a half-life of $2.60\times10^6$ yr. To reproduce this $\gamma$-activity in the universe, the nucleosynthesis of $^{60}$Fe has to be understood reliably. A $^{60}$Fe sample produced at the Paul-Scherrer-Institut was activated with thermal and epithermal neutrons at the research reactor at the Johannes Gutenberg-Universit\"at Mainz. The thermal neutron capture cross section has been measured for the first time to $\sigma_{\text{th}}=0.226 \ (^{+0.044}_{-0.049})$ b. An upper limit of $\sigma_{\text{RI}} < 0.50$ b could be determined for the resonance integral. An extrapolation towards the astrophysicaly interesting energy regime between $kT$=10 keV and 100 keV illustrates that the s-wave part of the direct capture component can be neglected.


title: Perturbative theory for the Boltzmann equation in bounded domains with different boundary conditions

abstract: We study the Boltzmann equation near a global Maxwellian in the case of bounded domains. We consider the boundary conditions to be either specular reflections or Maxwellian diffusion. Starting from the reference work of Guo in $L^\infty_{x,v}\left(\left(1+|v|\right)^\beta e^{|v|^2/4}\right)$, we prove existence, uniqueness, continuity and positivity of solutions for less restrictive weights in the velocity variable; namely, polynomials and stretch exponentials. The methods developed here are constructive.


title: Coherent nonhelical shear dynamos driven by magnetic fluctuations at low Reynolds numbers

abstract: Nonhelical shear dynamos are studied with a particular focus on the possibility of coherent dynamo action. The primary results -- serving as a follow up to the results of Squire & Bhattacharjee [arXiv:1506.04109 (2015)] -- pertain to the "magnetic shear-current effect" as a viable mechanism to drive large-scale magnetic field generation. This effect raises the interesting possibility that the saturated state of the small-scale dynamo could drive large-scale dynamo action, and is likely to be important in the unstratified regions of accretion disk turbulence. In this paper, the effect is studied at low Reynolds numbers, removing the complications of small-scale dynamo excitation and aiding analysis by enabling the use of quasi-linear statistical simulation methods. In addition to the magnetically driven dynamo, new results on the kinematic nonhelical shear dynamo are presented. These illustrate the relationship between coherent and incoherent driving in such dynamos, demonstrating the importance of rotation in determining the relative dominance of each mechanism.

categories: astro-ph.HE astro-ph.SR physics.flu-dyn physics.plasm-ph


title: Proalgebraic crossed modules of quasirational presentations

abstract: We introduce the concept of quasirational relation modules for discrete and pro-$p$ presentations of discrete and pro-$p$ groups and show that aspherical presentations and their subpresentations are quasirational. In the pro-$p$-case quasirationality of pro-$p$-groups with a single defining relation holds. For every quasirational (pro-$p$)relation module we construct the so called $p$-adic rationalization, which is a pro-fd-module $\overline{R}\widehat{\otimes}\mathbb{Q}_p= \varprojlim R/[R,R\mathcal{M}_n]\otimes\mathbb{Q}_p$. We provide the isomorphisms $\overline{R^{\wedge}_w}(\mathbb{Q}_p)=\overline{R}\widehat{\otimes}\mathbb{Q}_p$ and $\overline{R_u}(\mathbb{Q}_p)=\mathcal{O}(G_u)^*$, where $R^{\wedge}_w$ and $R^{\wedge}_u$ stands for continuous prounipotent completions and corresponding prounipotent presentations correspondingly. We show how $\overline{R^{\wedge}_{w}}$ embeds into a sequence of abelian prounipotent groups. This sequence arises naturally from a certain prounipotent crossed module, the latter bring concrete examples of proalgebraic homotopy types. The old-standing open problem of Serre, slightly corrected by Gildenhuys, in its modern form states that pro-$p$-groups with a single defining relation are aspherical. Our results give a positive feedback to the question of Serre.


title: Dynamic Characteristics of Proton-Proton Collisions

abstract: The fact that quark-quark, quark-gluon and gluon-gluon interactions are different sources of particle production in proton-proton collision at high energy is investigated in this work. The variation of the multiplicity and pseudo-rapidity distributions of the created particles with the interaction energy is studied. The limits at which Feynman and KNO scaling are violated and their relations with the mechanism of the production sources are considered in view of some theoretical aspects.


title: Entropic Empirical Mode Decomposition

abstract: Empirical Mode Decomposition(EMD) is an adaptive data analysis technique for analyzing nonlinear and nonstationary data[1]. EMD decomposes the original data into a number of Intrinsic Mode Functions(IMFs)[1] for giving better physical insight of the data. Permutation Entropy(PE) is a complexity measure[3] function which is widely used in the field of complexity theory for analyzing the local complexity of time series. In this paper we are combining the concepts of PE and EMD to resolve the mode mixing problem observed in determination of IMFs.


title: A dynamical model of Sayano-Shushenskaya hydropower plant: stability, oscillations, and accident

abstract: This work is devoted to the construction and study of a mathematical model of hydropower unit, consisting of synchronous generator, hydraulic turbine, and speed governor. It is motivated by the accident happened on the Sayano-Shushenskaya hydropower plant in 2009 year. Parameters of the Sayano-Shushenskaya hydropower plant were used for modeling the system. Oscillations in zones, which were not recommended for operation, were found. The obtained results are consistent with the full-scale test results carried out for hydropower units of the Sayano-Shushenskaya hydropower plant in 1988.


title: Combining matching and linear regression: Introducing a mathematical framework and software for simulations, diagnostics and calibration

abstract: Combining matching and regression for causal inference provides double-robustness in removing treatment effect estimation bias due to confounding variables. In most real-world applications, however, treatment and control populations are not large enough for matching to achieve perfect or near-perfect balance on all confounding variables and their nonlinear/interaction functions, leading to trade-offs. [this fact is independent of regression, so a bit disjointed from first sentence.] Furthermore, variance is as important of a contributor as bias towards total error in small samples, and must therefore be factored into the methodological decisions. In this paper, we develop a mathematical framework for quantifying the combined impact of matching and linear regression on bias and variance of treatment effect estimation. The framework includes expressions for bias and variance in a misspecified linear regression, theorems regarding impact of matching on bias and variance, and a constrained bias estimation approach for quantifying misspecification bias and combining it with variance to arrive at total error. Methodological decisions can thus be based on minimization of this total error, given the practitioner's assumption/belief about an intuitive parameter, which we call `omitted R-squared'. The proposed methodology excludes the outcome variable from analysis, thereby avoiding overfit creep and making it suitable for observational study designs. All core functions for bias and variance calculation, as well as diagnostic tools for bias-variance trade-off analysis, matching calibration, and power analysis are made available to researchers and practitioners through an open-source R library, MatchLinReg.


title: Strong $(r,p)$ Cover for Hypergraphs

abstract: We introduce the notion of the { \it strong $(r,p)$ cover} number $\chi^c(G,k,r,p)$ for $k$-uniform hypergraphs $G(V,E)$, where $\chi^c(G,k,r,p)$ denotes the minimum number of $r$-colorings of vertices in $V$ such that each hyperedge in $E$ contains at least $min(p,k)$ vertices of distinct colors in at least one of the $\chi^c(G,k,r,p)$ $r$-colorings. We derive the exact values of $\chi^c(K_n^k,k,r,p)$ for small values of $n$, $k$, $r$ and $p$, where $K_n^k$ denotes the complete $k$-uniform hypergraph of $n$ vertices. We study the variation of $\chi^c(G,k,r,p)$ with respect to changes in $k$, $r$, $p$ and $n$; we show that $\chi^c(G,k,r,p)$ is at least (i) $\chi^c(G,k,r-1,p-1)$, and, (ii) $\chi^c(G',k-1,r,p-1)$, where $G'$ is any $(n-1)$-vertex induced sub-hypergraph of $G$. We establish a general upper bound for $\chi^c(K_n^k,k,r,p)$ for complete $k$-uniform hypergraphs using a divide-and-conquer strategy for arbitrary values of $k$, $r$ and $p$. We also relate $\chi^c(G,k,r,p)$ to the number $|E|$ of hyperedges, and the maximum {\it hyperedge degree (dependency)} $d(G)$, as follows. We show that $\chi^c(G,k,r,p)\leq x$ for integer $x>0$, if $|E|\leq \frac{1}{2}({\frac{r^k}{(t-1)^k \binom{r}{t-1}}})^x $, for any $k$-uniform hypergraph. We prove that a { \it strong $(r,p)$ cover} of size $x$ can be computed in randomized polynomial time if $d(G)\leq \frac{1}{e}({\frac{r^k}{(p-1)^k \binom{r}{p-1}}})^x-1$.


title: On the middle dimensional homology classes of equilateral polygon spaces

abstract: Let $M_n$ be the configuration space of equilateral polygonal linkages with $n$ vertices in the Euclidean plane ${\mathbb R}^2$. We consider the case that $n$ is odd and set $n=2m+1$. In spite of the long history of research, the homology classes in $H_{m-1}(M_n;{\mathbb Z})$ are mysterious and not well-understood. Let $\tau\colon M_n \to M_n$ be the involution induced by complex conjugation. In this paper, we determine the representation matrix of the homomorphism $\tau_\ast\colon H_{m-1}(M_n;{\mathbb Z}) \to H_{m-1}(M_n;{\mathbb Z})$ with respect to a basis of $H_{m-1}(M_n;{\mathbb Z})$.


title: Continuous Partial Quorums for Consistency-Latency Tuning in Distributed NoSQL Storage Systems

abstract: NoSQL storage systems are used extensively by web applications and provide an attractive alternative to conventional databases when the need for scalability outweighs the need for transactions. Several of these systems provide quorum-based replication and present the application developer with a choice of multiple client-side "consistency levels" that determine the number of replicas accessed by reads and writes, which in turn affects both latency and the consistency observed by the client application. Since using a fixed combination of read and write consistency levels for a given application provides only a limited number of discrete options, we investigate techniques that allow more fine-grained tuning of the consistency-latency trade-off, as may be required to support consistency-based service level agreements (SLAs). We propose a novel technique called \emph{continuous partial quorums} (CPQ) that assigns the consistency level on a per-operation basis by choosing randomly between two options, such as eventual and strong consistency, with a tunable probability. We evaluate our technique experimentally using Apache Cassandra and demonstrate that it outperforms an alternative tuning technique that delays operations artificially.


title: Maps, immersions and permutations

abstract: We consider the problem of counting and of listing topologically inequivalent "planar" {4-valent} maps with a single component and a given number n of vertices. This enables us to count and to tabulate immersions of a circle in a sphere (spherical curves), extending results by Arnold and followers. Different options where the circle and/or the sphere are/is oriented are considered in turn, following Arnold's classification of the different types of symmetries. We also consider the case of bicolourable and bicoloured maps or immersions, where faces are bicoloured. Our method extends to immersions of a circle in a higher genus Riemann surface. There the bicolourability is no longer automatic and has to be assumed. We thus have two separate countings in non zero genus, that of bicolourable maps and that of general maps. We use a classical method of encoding maps in terms of permutations, on which the constraints of "one-componentness" and of a given genus may be applied. Depending on the orientation issue and on the bicolourability assumption, permutations for a map with n vertices live in S(4n) or in S(2n). In a nutshell, our method reduces to the counting (or listing) of orbits of certain subset of S(4n) (resp. S(2n)) under the action of the centralizer of a certain element of S(4n) (resp. S(2n)). This is achieved either by appealing to a formula by Frobenius or by a direct enumeration of these orbits. Applications to knot theory are briefly mentioned.


title: A Matrix model from string field theory

abstract: We demonstrate that a Hermitian matrix model can be derived from level truncated open string field theory with Chan-Paton factors. The Hermitian matrix is coupled with a scalar and a $U(N)$ vector which are responsible for the D-brane at the tachyon vacuum. Effective potential for the scalar is evaluated both in finite and large $N$. Increase of potential height is observed in both examples. The large $N$ matrix integral is identified with a system of $N$ ZZ branes and a ghost FZZT brane.


title: Energy Harvesting Two-Hop Communication Networks

abstract: Energy harvesting multi-hop networks allow for perpetual operation of low cost, limited range wireless devices. Compared with their battery operated counterparts, the coupling of energy and data causality constraints with half duplex relay operation makes it challenging to operate such networks. In this paper, a throughput maximization problem for energy harvesting two-hop networks with decode-and-forward half-duplex relays is investigated. For a system with two parallel relays, various combinations of the following four transmission modes are considered: Broadcast from the source, multi-access from the relays, and successive relaying phases I and II. Optimal transmission policies for one and two parallel relays are studied under the assumption of non-causal knowledge of energy arrivals and finite size relay data buffers. The problem is formulated using a convex optimization framework, which allows for efficient numerical solutions and helps identify important properties of optimal policies. Numerical results are presented to provide throughput comparisons and to investigate the impact of multiple relays, size of relay data buffers, transmission modes, and energy harvesting on the throughput.


title: On the Polytope Escape Problem for Continuous Linear Dynamical Systems

abstract: The Polyhedral Escape Problem for continuous linear dynamical systems consists of deciding, given an affine function $f: \mathbb{R}^{d} \rightarrow \mathbb{R}^{d}$ and a convex polyhedron $\mathcal{P} \subseteq \mathbb{R}^{d}$, whether, for some initial point $\boldsymbol{x}_{0}$ in $\mathcal{P}$, the trajectory of the unique solution to the differential equation $\dot{\boldsymbol{x}}(t)=f(\boldsymbol{x}(t))$, $\boldsymbol{x}(0)=\boldsymbol{x}_{0}$, is entirely contained in $\mathcal{P}$. We show that this problem is decidable, by reducing it in polynomial time to the decision version of linear programming with real algebraic coefficients, thus placing it in $\exists \mathbb{R}$, which lies between NP and PSPACE. Our algorithm makes use of spectral techniques and relies among others on tools from Diophantine approximation.


title: A Family of Weyl-Wigner Transforms for Discrete Variables Defined in a Finite-Dimensional Hilbert Space

abstract: We study the Weyl-Wigner transform in the case of discrete variables defined in a Hilbert space of finite prime-number dimensionality $N$. We define a family of Weyl-Wigner transforms as function of a phase parameter. We show that it is only for a specific value of the parameter that all the properties we have examined have a parallel with the case of continuous variables defined in an infinite-dimensional Hilbert space. A geometrical interpretation is briefly discussed.


title: Using Bayesian Network Representations for Effective Sampling from Generative Network Models

abstract: Bayesian networks (BNs) are used for inference and sampling by exploiting conditional independence among random variables. Context specific independence (CSI) is a property of graphical models where additional independence relations arise in the context of particular values of random variables (RVs). Identifying and exploiting CSI properties can simplify inference. Some generative network models (models that generate social/information network samples from a network distribution P(G)), with complex interactions among a set of RVs, can be represented with probabilistic graphical models, in particular with BNs. In the present work we show one such a case. We discuss how a mixed Kronecker Product Graph Model can be represented as a BN, and study its BN properties that can be used for efficient sampling. Specifically, we show that instead of exhibiting CSI properties, the model has deterministic context-specific dependence (DCSD). Exploiting this property focuses the sampling method on a subset of the sampling space that improves efficiency.