title: Digital Investigation of Security Attacks on Cardiac Implantable Medical Devices

abstract: A Cardiac Implantable Medical device (IMD) is a device, which is surgically implanted into a patient's body, and wirelessly configured using an external programmer by prescribing physicians and doctors. A set of lethal attacks targeting these devices can be conducted due to the use of vulnerable wireless communication and security protocols, and the lack of security protection mechanisms deployed on IMDs. In this paper, we propose a system for postmortem analysis of lethal attack scenarios targeting cardiac IMDs. Such a system reconciles in the same framework conclusions derived by technical investigators and deductions generated by pathologists. An inference system integrating a library of medical rules is used to automatically infer potential medical scenarios that could have led to the death of a patient. A Model Checking based formal technique allowing the reconstruction of potential technical attack scenarios on the IMD, starting from the collected evidence, is also proposed. A correlation between the results obtained by the two techniques allows to prove whether a potential attack scenario is the source of the patient's death.


title: USBcat - Towards an Intrusion Surveillance Toolset

abstract: This paper identifies an intrusion surveillance framework which provides an analyst with the ability to investigate and monitor cyber-attacks in a covert manner. Where cyber-attacks are perpetrated for the purposes of espionage the ability to understand an adversary's techniques and objectives are an important element in network and computer security. With the appropriate toolset, security investigators would be permitted to perform both live and stealthy counter-intelligence operations by observing the behaviour and communications of the intruder. Subsequently a more complete picture of the attacker's identity, objectives, capabilities, and infiltration could be formulated than is possible with present technologies. This research focused on developing an extensible framework to permit the covert investigation of malware. Additionally, a Universal Serial Bus (USB) Mass Storage Device (MSD) based covert channel was designed to enable remote command and control of the framework. The work was validated through the design, implementation and testing of a toolset.


title: Model the System from Adversary Viewpoint: Threats Identification and Modeling

abstract: Security attacks are hard to understand, often expressed with unfriendly and limited details, making it difficult for security experts and for security analysts to create intelligible security specifications. For instance, to explain Why (attack objective), What (i.e., system assets, goals, etc.), and How (attack method), adversary achieved his attack goals. We introduce in this paper a security attack meta-model for our SysML-Sec framework, developed to improve the threat identification and modeling through the explicit representation of security concerns with knowledge representation techniques. Our proposed meta-model enables the specification of these concerns through ontological concepts which define the semantics of the security artifacts and introduced using SysML-Sec diagrams. This meta-model also enables representing the relationships that tie several such concepts together. This representation is then used for reasoning about the knowledge introduced by system designers as well as security experts through the graphical environment of the SysML-Sec framework.


title: Codimension one structurally stable chain classes

abstract: The well known stability conjecture of Palis and Smale states that if a diffeomorphism is structurally stable then the chain recurrent set is hyperbolic. It is natural to ask if this type of results is true for an individual chain class, that is, whether or not every structurally stable chain class is hyperbolic. Regarding the notion of structural stability, there is a subtle difference between the case of a whole system and the case of an individual chain class. The later case is more delicate and contains additional difficulties. In this paper we prove a result of this type for the later case, with an additional assumption of codimension 1. Precisely, let $f$ be a diffeomorphism of a closed manifold $M$ and $p$ be a hyperbolic periodic point of $f$ of index 1 or $\dim M-1$. We prove if the chain class of $p$ is structurally stable then it is hyperbolic. Since the chain class of $p$ is not assumed in advance to be locally maximal, and since the counterpart of it for the perturbation $g$ is defined not canonically but indirectly through the continuation $p_g$ of $p$, the proof is quite delicate.


title: Social Learning and Distributed Hypothesis Testing

abstract: This paper considers a problem of distributed hypothesis testing and social learning. Individual nodes in a network receive noisy local (private) observations whose distribution is parameterized by a discrete parameter (hypotheses). The conditional distributions are known locally at the nodes, but the true parameter/hypothesis is not known. An update rule is analyzed in which nodes first perform a Bayesian update of their belief (distribution estimate) of the parameter based on their local observation, communicate these updates to their neighbors, and then perform a "non-Bayesian" linear consensus using the log-beliefs of their neighbors. In this paper we show that under mild assumptions, the belief of any node in any incorrect hypothesis converges to zero exponentially fast, and we characterize the exponential rate of learning which is given in terms of the network structure and the divergences between the observations' distributions. Our main result is the concentration property established on the rate of convergence.


title: Axial magnetic field and toroidally streaming fast ions in the dense plasma focus are natural consequences of conservation laws in the curved axisymmetric geometry of the current sheath

abstract: Direct measurement of axial magnetic field in the PF-1000 dense plasma focus (DPF), and its reported correlation with neutron emission, call for a fresh look at previous reports of existence of axial magnetic field component in the DPF from other laboratories, and associated data suggesting toroidal directionality of fast ions participating in fusion reactions, with a view to understand the underlying physics. In this context, recent work dealing with application of the hyperbolic conservation law formalism to the DPF is extended in this paper to a curvilinear coordinate system, which reflects the shape of the DPF current sheath. Locally-unidirectional shock propagation in this coordinate system enables construction of a system of 7 one-dimensional hyperbolic conservation law equations with geometric source terms, taking into account all the components of magnetic field and flow velocity. Rankine-Hugoniot jump conditions for this system lead to expressions for the axial magnetic field and three components of fluid velocity having high ion kinetic energy.


title: Doubled Conformal Compactification

abstract: We use Weyl transformations between the Minkowski spacetime and dS/AdS spacetime to show that one cannot well define the electrodynamics globally on the ordinary conformal compactification of the Minkowski spacetime (or dS/AdS spacetime), where the electromagnetic field has a sign factor (and thus is discountinuous) at the light cone. This problem is intuitively and clearly shown by the Penrose diagrams, from which one may find the remedy without too much difficulty. We use the Minkowski and dS spacetimes together to cover the compactified space, which in fact leads to the doubled conformal compactification. On this doubled conformal compactification, we obtain the globally well-defined electrodynamics.


title: Charged Higgs Boson: Tracer of the Physics beyond Standard Model

abstract: Charged Higgs boson can exist in many physics beyond the standard models (BSM) and it is the obvious BSM signal. We briefly describe why the 125GeV scalar discovered at the LHC must have (heavy) companion: the charged Higgs boson, in a new paradigm. We then focus on the charged Higgs phenomenology, especially on how to measure $\tan\beta$ precisely utilizing the top quark polarization information.


title: Geometry of halo and Lissajous orbits in the circular restricted three-body problem with drag forces

abstract: In this paper, we determine the effect of radiation pressure, Poynting-Robertson drag and solar wind drag on the Sun-(Earth-Moon) restricted three body problem. Here, we take the larger body of the Sun as a larger primary, and Earth+Moon as a smaller primary. With the help of the perturbation technique, we find the Lagrangian points, and see that the collinear points deviate from the axis joining the primaries, whereas the triangular points remain unchanged in their configuration. We also find that Lagrangian points move towards the Sun when radiation pressure increases. We have also analysed the stability of the triangular equilibrium points and have found that they are unstable because of the drag forces. Moreover, we have computed the halo orbits in the third-order approximation using Lindstedt-Poincar$\acute{e}$ method and have found the effect of the drag forces. According to this prevalence, the Sun-(Earth-Moon) model is used to design the trajectory for spacecraft traveling under the drag forces.


title: Zero-Correlation Linear Cryptanalysis of Reduced-round MISTY1

abstract: The MISTY1 algorithm, proposed by Matsui in FSE 1997, is a block cipher with a 64-bit block size and a 128-bit key size. It was recommended by the European NESSIE project and the CRYPTREC project, and became one RFC in 2002 and an ISO standard in 2005, respectively. In this paper, we first investigate the properties of the FL linear function and identify 232 subkey- dependent zero-correlation linear approximations over 5-round MISTY1 with 3 FL layers. Fur- thermore, some observations on the FL, FO and FI functions are founded and based upon those observations, we select 27 subkey-dependent zero-correlation linear approximations and then, pro- pose the zero-correlation linear attacks on 7-round MISTY1 with 4 FL layers. Besides, for the case without FL layers, 27 zero-correlation linear approximations over 5-round MISTY1 are employed to the analysis of 7-round MISTY1. The zero-correlation linear attack on the 7-round with 4 FL layers needs about 2^{119:5} encryptions with 2^{62.9} known plaintexts and 2^61 memory bytes. For the attack on 7-round without FL layers, the data complexity is about 2^{63.9} known plaintexts, the time complexity is about 2^{81} encryptions and the memory requirements are about 2^{93} bytes. Both have lower time complexity than previous attacks.


title: Vigorous thermal excitations in a double-tetrahedral chain of localized Ising spins and mobile electrons mimic a temperature-driven first-order phase transition

abstract: A hybrid spin-electron system defined on one-dimensional double-tetrahedral chain, in which the localized Ising spin regularly alternates with two mobile electrons delocalized over a triangular plaquette, is exactly solved with the help of generalized decoration-iteration transformation. It is shown that a macroscopic degeneracy of ferromagnetic and ferrimagnetic ground states arising from chiral degrees of freedom of the mobile electrons cannot be lifted by a magnetic field in contrast to a macroscopic degeneracy of the frustrated ground state, which appears owing to a kinetically-driven frustration of the localized Ising spins. An anomalous behavior of all basic thermodynamic quantities can be observed on account of massive thermal excitations, which mimic a temperature-driven first-order phase transition from the non-degenerate frustrated state to the highly degenerate ferrimagnetic state at non-zero magnetic fields. A substantial difference in the respective degeneracies is responsible for an immense low-temperature peak of the specific heat and very abrupt (almost discontinuous) thermal variations of the entropy and sublattice magnetizations.


title: Leading and higher twist contributions in semi-inclusive e+e- annihilation at high energies

abstract: By applying the collinear expansion to the semi-inclusive hadron production process $e^++e^-\to h+\bar q(jet)+X$ at high energies, we construct a theoretical framework where the leading and higher twist contributions at the leading perturbative QCD can be calculated systematically. With this framework, we calculate the contributions up to twist-3 for spin-0, spin-1/2 and spin-1 hadrons respectively. We present the results for the hadronic tensors, the differential cross sections, the azimuthal asymmetries, and the polarizations of the hadrons.


title: Optimal order of $L_p$-discrepancy of digit shifted Hammersley point sets in dimension 2

abstract: It is well known that the two-dimensional Hammersley point set consisting of $N=2^n$ elements (also known as Roth net) does not have optimal order of $L_p$-discrepancy for $p \in (1,\infty)$ in the sense of the lower bounds according to Roth (for $p \in [2,\infty)$) and Schmidt (for $p \in (1,2)$). On the other hand, it is also known that slight modifications of the Hammersley point set can lead to the optimal order $\sqrt{\log N}/N$ of $L_2$-discrepancy, where $N$ is the number of points. Among these are for example digit shifts or the symmetrization. In this paper we show that these modified Hammersley point sets also achieve optimal order of $L_p$-discrepancy for all $p \in (1,\infty)$.


title: Three stage decoherence dynamics of electron spin qubits in an optically active quantum dot

abstract: The control of discrete quantum states in solids and their use for quantum information processing is complicated by the lack of a detailed understanding of the mechanisms responsible for qubit decoherences. For spin qubits in semiconductor quantum dots, phenomenological models of decoherence currently recognize two Basic stages; fast ensemble dephasing due to the coherent precession of spin qubits around nearly static but randomly distributed hyperfine fields and a much slower process of irreversible relaxation of spin qubit polarization due to dynamics of the nuclear spin bath induced by complex many-body interaction effects. We unambiguosly demonstrate that such a view on decoherence is greatly oversimplified; the relaxation of a spin qubit state is determined by three rather than two basic stages. The additional stage corresponds to the effect of coherent dephasing processes that occur in the nuclear spin bath that manifests itself by a relatively fast but incomplete non-monotonous relaxation of the central spin polarization at intermediate timescales. This observation changes our understanding of the electron spin qubit decoherence mechanisms in solid state systems.


title: Global dynamics of a Yang-Mills field on an asymptotically hyperbolic space

abstract: We consider a spherically symmetric (purely magnetic) SU(2) Yang-Mills field propagating on an ultrastatic spacetime with two asymptotically hyperbolic regions connected by a throat of radius $\alpha$. Static solutions in this model are shown to exhibit an interesting bifurcation pattern in the parameter $\alpha$. We relate this pattern to the Morse index of the static solution with maximal energy. Using a hyperboloidal approach to the initial value problem, we describe the relaxation to the ground state solution for generic initial data and unstable static solutions for initial data of codimension one, two, and three.


title: Experimental implementation of optimal linear-optical controlled-unitary gates

abstract: We show that it is possible to reduce the number of two-qubit gates needed for the construction of an arbitrary controlled-unitary transformation by up to two times using a tunable controlled-phase gate. On the platform of linear optics, where two-qubit gates can only be achieved probabilistically, our method significantly reduces the amount of components and increases success probability of a two-qubit gate. The experimental implementation of our technique presented in this paper for a controlled single-qubit unitary gate demonstrates that only one tunable controlled-phase gate is needed instead of two standard controlled-NOT gates. Thus, not only do we increase success probability by about one order of magnitude (with the same resources), but also avoid the need for conducting quantum non-demolition measurement otherwise required to join two probabilistic gates. Subsequently, we generalize our method to a higher order, showing that n-times controlled gates can be optimized by replacing blocks of controlled-NOT gates with tunable controlled-phase gates.


title: Achieving High Resolution for Super-resolution via Reweighted Atomic Norm Minimization

abstract: The super-resolution theory developed recently by Cand\`{e}s and Fernandes-Granda aims to recover fine details of a sparse frequency spectrum from coarse scale information only. The theory was then extended to the cases with compressive samples and/or multiple measurement vectors. However, the existing atomic norm (or total variation norm) techniques succeed only if the frequencies are sufficiently separated, prohibiting commonly known high resolution. In this paper, a reweighted atomic-norm minimization (RAM) approach is proposed which iteratively carries out atomic norm minimization (ANM) with a sound reweighting strategy that enhances sparsity and resolution. It is demonstrated analytically and via numerical simulations that the proposed method achieves high resolution with application to DOA estimation.


title: Asymptotic analysis of average case approximation complexity of Hilbert space valued random elements

abstract: We study approximation properties of sequences of centered random elements $X_d$, $d\in\mathbb N$, with values in separable Hilbert spaces. We focus on sequences of tensor product-type and, in particular, degree-type random elements, which have covariance operators of corresponding tensor form. The average case approximation complexity $n^{X_d}(\varepsilon)$ is defined as the minimal number of continuous linear functionals that is needed to approximate $X_d$ with relative $2$-average error not exceeding a given threshold $\varepsilon\in(0,1)$. In the paper we investigate $n^{X_d}(\varepsilon)$ for arbitrary fixed $\varepsilon\in(0,1)$ and $d\to\infty$. Namely, we find criteria of (un)boundedness for $n^{X_d}(\varepsilon)$ on $d$ and of tending $n^{X_d}(\varepsilon)\to\infty$, $d\to\infty$, for any fixed $\varepsilon\in(0,1)$. In the latter case we obtain necessary and sufficient conditions for the following logarithmic asymptotics \begin{eqnarray*} \ln n^{X_d}(\varepsilon)= a_d+q(\varepsilon)b_d+o(b_d),\quad d\to\infty, \end{eqnarray*} at continuity points of a non-decreasing function $q\colon (0,1)\to\mathbb R$. Here $(a_d)_{d\in\mathbb N}$ is a sequence and $(b_d)_{d\in\mathbb N}$ is a positive sequence such that $b_d\to\infty$, $d\to\infty$. Under rather weak assumptions, we show that for tensor product-type random elements only special quantiles of self-decomposable or, in particular, stable (for tensor degrees) probability distributions appear as functions $q$ in the asymptotics. We apply our results to the tensor products of the Euler integrated processes with a given variation of smoothness parameters and to the tensor degrees of random elements with regularly varying eigenvalues of covariance operator.


title: Theoretical models in low-Reynolds-number locomotion

abstract: The locomotion of microorganisms in fluids is ubiquitous and plays an important role in numerous biological processes. In this chapter we present an overview of theoretical modeling for low-Reynolds-number locomotion.


title: Theory of locomotion through complex fluids

abstract: Microorganisms such as bacteria often swim in fluid environments that cannot be classified as Newtonian. Many biological fluids contain polymers or other heterogeneities which may yield complex rheology. For a given set of boundary conditions on a moving organism, flows can be substantially different in complex fluids, while non-Newtonian stresses can alter the gait of the microorganisms themselves. Heterogeneities in the fluid may also be characterized by length scales on the order of the organism itself leading to additional dynamic complexity. In this chapter we present a theoretical overview of small-scale locomotion in complex fluids with a focus on recent efforts quantifying the impact of non-Newtonian rheology on swimming microorganisms.


title: Axion Stars and Fast Radio Bursts

abstract: We show that fast radio bursts arise from collisions between axion stars and neutron stars. The bursts are emitted in the atmosphere of the neutron stars. The observed frequencies of the bursts are given by the axion mass $m_a$ such as $m_a/2\pi\simeq 1.4\,\mbox{GHz}\,\big(m_a/(6\times 10^{-6}\mbox{eV})\big)$. From the event rate $\sim 10^{-3}$ per year in a galaxy, we can determine the mass $\sim 10^{-11}M_{\odot}$ of the axion stars. Using these values we can explain short durations ( $\sim $ms ) and amount of radiation energies ( $\sim 10^{43}$GeV ) of the bursts.


title: Subspaces of Banach spaces with big slices

abstract: We study when diameter two properties pass down to subspaces. We obtain that the slice two property (respectively diameter two property, strong diameter two property) passes down from a Banach space $X$ to a subspace $Y$ whenever $Y$ is complemented by a norm one projection with finite-dimensional kernel (respectively the quotient $X/Y$ is finite dimensional, $X/Y$ is strongly regular). Also we study the same problem for dual properties of the above ones, as having octahedral, weakly octahedral or 2-rough norm.


title: Diameter two properties in James spaces

abstract: We study the diameter two properties in the spaces $JH$, $JT_\infty$ and $JH_\infty$. We show that the topological dual space of the previous Banach spaces fails every diameter two property. However, we prove that $JH$ and $JH_{\infty}$ satisfy the strong diameter two property, and so the dual norm of these spaces is octahedral. Also we find a closed hyperplane $M$ of $JH_\infty$ whose topological dual space enjoys the $w^*$-strong diameter two property and also $M$ and $M^*$ have an octahedral norm.


title: Zeta functions of finite groups by enumerating subgroups

abstract: For a finite group $G$, we consider the zeta function $\zeta_G(s) = \sum_{H} \abs{H}^{-s}$, where $H$ runs over the subgroups of $G$. First we give simple examples of abelian $p$-group $G$ and non-abelian $p$-group $G'$ of order $p^m, \; m \geq 3$ for odd $p$ (resp. $2^m, \; m \geq 4$) for which $\zeta_G(s) = \zeta_{G'}(s)$. Hence we see there are many non-abelian groups whose zeta functions have symmetry and Euler product, like the case of abelian groups. On the other hand, we show that $\zeta_G(s)$ determines the isomorphism class of $G$ within abelian groups, by estimating the number of subgroups of abelian $p$-groups. Finally we study the problem which abelian $p$-group is associated with a non-abelian group having the same zeta function.


title: $\eta$ and $\eta'$ transition form factors from Pad\'e approximants

abstract: We employ a systematic and model-independent method to extract, from space- and time-like data, the $\eta$ and $\eta'$ transition form factors (TFFs) obtaining the most precise determination for their low-energy parameters and discuss the $\Gamma_{\eta\rightarrow\gamma\gamma}$ impact on them. Using TFF data alone, we also extract the $\eta-\eta'$ mixing parameters, which are compatible to those obtained from more sophisticated and input-demanding procedures.


title: Variants of the Kakeya problem over an algebraically closed field

abstract: First, we study constructible subsets of $\A^n_k$ which contain a line in any direction. We classify the smallest such subsets in $\A^3$ of the type $R\cup\{g\neq 0\},$ where $g\in k[x_1,...,x_n]$ is irreducible of degree $d$, and $R\subset V(g)$ is closed. Next, we study subvarieties $X\subset\A^N$ for which the set of directions of lines contined in $X$ has the maximal possible dimension. These are variants of the Kakeya problem in an algebraic geometry context.


title: Convergence rate and concentration inequalities for Gibbs sampling in high dimension

abstract: The objective of this paper is to study the Gibbs sampling for computing the mean of observable in very high dimension - a powerful Markov chain Monte Carlo method. Under the Dobrushin's uniqueness condition, we establish some explicit and sharp estimate of the exponential convergence rate and prove some Gaussian concentration inequalities for the empirical mean.


title: Ultra-Reliable Communication in 5G Wireless Systems

abstract: Wireless 5G systems will not only be "4G, but faster". One of the novel features discussed in relation to 5G is Ultra-Reliable Communication (URC), an operation mode not present in today's wireless systems. URC refers to provision of certain level of communication service almost 100 % of the time. Example URC applications include reliable cloud connectivity, critical connections for industrial automation and reliable wireless coordination among vehicles. This paper puts forward a systematic view on URC in 5G wireless systems. It starts by analyzing the fundamental mechanisms that constitute a wireless connection and concludes that one of the key steps towards enabling URC is revision of the methods for encoding control information (metadata) and data. It introduces the key concept of Reliable Service Composition, where a service is designed to adapt its requirements to the level of reliability that can be attained. The problem of URC is analyzed across two different dimensions. The first dimension is the type of URC problem that is defined based on the time frame used to measure the reliability of the packet transmission. Two types of URC problems are identified: long-term URC (URC-L) and short-term URC (URC-S). The second dimension is represented by the type of reliability impairment that can affect the communication reliability in a given scenario. The main objective of this paper is to create the context for defining and solving the new engineering problems posed by URC in 5G.


title: Compositions into Powers of $b$: Asymptotic Enumeration and Parameters

abstract: For a fixed integer base $b\geq2$, we consider the number of compositions of $1$ into a given number of powers of $b$ and, related, the maximum number of representations a positive integer can have as an ordered sum of powers of $b$. We study the asymptotic growth of those numbers and give precise asymptotic formulae for them, thereby improving on earlier results of Molteni. Our approach uses generating functions, which we obtain from infinite transfer matrices. With the same techniques the distribution of the largest denominator and the number of distinct parts are investigated.


title: Chaoticity parameter $\lambda$ in two-pion interferometry in an expanding boson gas model

abstract: We investigate the chaoticity parameter $\lambda$ in two-pion interferometry in an expanding boson gas model. The degree of Bose-Einstein condensation of identical pions, density distributions, and Hanbury-Brown-Twiss (HBT) correlation functions are calculated for the expanding gas within the mean-field description with a harmonic oscillator potential. The results indicate that a sources with thousands of identical pions may exhibit a degree of Bose-Einstein condensation at the temperatures during the hadronic phase in relativistic heavy-ion collisions. This finite condensation may decrease the chaoticity parameter $\lambda$ in the two-pion interferometry measurements at low pion pair momenta, but influence only slightly the $\lambda$ value at high pion pair momentum.


title: Hadron masses from fixed topology simulations: parity partners and SU(2) Yang-Mills results

abstract: Lattice QCD simulations tend to get stuck in a single topological sector at fine lattice spacing, or when using chirally symmetric quarks. In such cases computed observables differ from their full QCD counterparts by finite size effects, which need to be understood on a quantitative level. We discuss extensions of existing relations from the literature between correlation functions at fixed topology and hadron masses at unfixed topology. Particular focus is put on disentangling positive and negative parity states, which mix, when the topological charge is fixed. We also present numerical results for SU(2) Yang-Mills Theory.


title: Improved upper bounds on the domination number of graphs with minimum degree at least five

abstract: An algorithmic upper bound on the domination number $\gamma$ of graphs in terms of the order $n$ and the minimum degree $\delta$ is proved. It is demonstrated that the bound improves best previous bounds for any $5\le \delta \le 50$. In particular, for $\delta=5$, Xing et al.\ proved in 2006 that $\gamma \le 5n/14 < 0.3572 n$. This bound is improved to $0.3440 n$. For $\delta=6$, Clark et al.\ in 1998 established $\gamma <0.3377 n$, while Bir\'o et al. recently improved it to $\gamma <0.3340 n$. Here the bound is further improved to $\gamma < 0.3159 n$. For $\delta=7$, the best earlier bound $0.3 088 n$ is improved to $\gamma < 0.2927 n$.


title: Anisotropy of Weakly Vibrated Granular Flows

abstract: We experimentally probe the anisotropy of the fabric of weakly vibrated, flowing granular media. Depending on the driving parameters --- flow rate and vibration strength --- this anisotropy varies significantly. We show how the anisotropy collapses when plotted as function of the driving stresses, uncovering a direct link between stresses and anisotropy. Moreover, our data suggests that for small anisotropies, the shear stresses vanish. Anisotropy of the fabric of granular media thus plays a crucial role in determining the rheology of granular flows.


title: Nerve complexes of circular arcs

abstract: We show that the nerve complex of n arcs in the circle is homotopy equivalent to either a point, an odd-dimensional sphere, or a wedge sum of spheres of the same even dimension. Moreover this homotopy type can be computed in time O(n log n). For the particular case of the nerve complex of evenly-spaced arcs of the same length, we determine the dihedral group action on homology, and we relate the complex to a cyclic polytope with n vertices. We give three applications of our knowledge of the homotopy types of nerve complexes of circular arcs. First, we use the connection to cyclic polytopes to give a novel topological proof of a known upper bound on the distance between successive roots of a homogeneous trigonometric polynomial. Second, we show that the Lovasz bound on the chromatic number of a circular complete graph is either sharp or off by one. Third, we show that the Vietoris--Rips simplicial complex of n points in the circle is homotopy equivalent to either a point, an odd-dimensional sphere, or a wedge sum of spheres of the same even dimension, and furthermore this homotopy type can be computed in time O(n log n).


title: Energetic electron enhancements below the radiation belt and X-ray contamination at low-orbiting satellites

abstract: The work concerns a problem of electron-induced contaminant at relatively low latitudes to high-energy astrophysical measurements on board the low-orbiting satellites. We show the results of a statistical analysis of the energetic electron enhancements in energy range 30-300 keV observed by a fleet of NOAA/POES low-orbiting satellites over the time period from 1999 to 2012. We demonstrate geographical distributions of great and moderate long-lasting enhancements caused by different type of the solar wind drivers.


title: Restriction Theorems On M\'etiver Groups Associated to Joint Functional Calculus

abstract: In this article, we get the spectral solution $\mathcal{P}_{\mu}^{m}$ of operators $m(\mathcal{L}, -\Delta_\mathfrak{z})$, the joint functional calculus of the sub-Laplacian and Laplacian on the centre of M\'etivier group. Then, we give some group-analogues of the Thomas-Stein-type restriction theorem, asserting the mix-norm boundness of the restriction operators $\mathcal{P}_{\mu}^{m}$ for two classes of functions $m=(a^\alpha+b^\beta)^\gamma$ and $m=(1+a^\alpha+b^\beta)^\gamma$ with $\alpha, \beta>0, \gamma\neq0$.


title: The formation of stellar nuclear discs in bar-induced gas inflows

abstract: The role of gas in the mass assembly at the nuclei of galaxies is still subject to some uncertainty. Stellar nuclear discs bridge the gap between the large-scale galaxy and the central massive objects that reside there. Using a high resolution simulation of a galaxy forming out of gas cooling and settling into a disc, we study the formation and properties of nuclear discs. Gas, driven to the centre by a bar, settles into a rotating star-forming nuclear disc (ND). This ND is thinner, younger, kinematically cooler, and more metal-rich than the surrounding bar. The ND is elliptical and orthogonal to the bar. The complex kinematics in the region of the ND are a result of the superposition of older stars streaming along the bar and younger stars circulating within the ND. The signature of the ND is therefore subtle in the kinematics. Instead the ND stands out clearly in metallicity and age maps. We compare the model to the density and kinematics of real galaxies with NDs finding qualitative similarities. Our results suggest that gas dissipation is very important for forming nuclear structures.


title: Young open clusters in the galactic star forming region NGC 6357

abstract: NGC6357 is an active star forming region with very young massive open clusters (OC). These clusters contain some of the most massive stars in the Galaxy and strongly interact with nearby giant molecular clouds (GMC). We study the young stellar populations of the region and of the OC Pismis24, focusing on their relationship with the nearby GMCs. We seek evidence of triggered star formation propagating from the clusters. We used new deep JHKs photometry, along with unpublished deep IRAC/Spitzer MIR photometry, complemented with optical HST/WFPC2 high spatial resolution photometry and X-ray Chandra observations, to constrain age, initial mass function, and star formation modes in progress. We carefully examine and discuss all sources of bias (saturation, confusion, different sensitivities, extinction). NGC6357 hosts three large young stellar clusters, of which Pismis24 is the most prominent. We found that Pismis24 is a very young (~1-3 Myr) OC with a Salpeter-like IMF and a few thousand members. A comparison between optical and IR photometry indicates that the fraction of members with a NIR excess (i. e., with a circumstellar disk) is in the range 0.3-0.6, consistent with its photometrically derived age. We also find that Pismis24 is likely subdivided into a few different sub-clusters, one of which contains almost all the massive members. There are indications of current star formation triggered by these massive stars, but clear age trends could not be derived (although the fraction of stars with a NIR excess does increase towards the HII region associated with the cluster). The gas out of which Pismis24 formed must have been distributed in dense clumps within a cloud of less dense gas ~1 pc in radius. Our findings provide some new insight into how young stellar populations and massive stars emerge, and evolve in the first few Myr after birth, from a giant molecular cloud complex.


title: Implicit segmentation of Kannada characters in offline handwriting recognition using hidden Markov models

abstract: We describe a method for classification of handwritten Kannada characters using Hidden Markov Models (HMMs). Kannada script is agglutinative, where simple shapes are concatenated horizontally to form a character. This results in a large number of characters making the task of classification difficult. Character segmentation plays a significant role in reducing the number of classes. Explicit segmentation techniques suffer when overlapping shapes are present, which is common in the case of handwritten text. We use HMMs to take advantage of the agglutinative nature of Kannada script, which allows us to perform implicit segmentation of characters along with recognition. All the experiments are performed on the Chars74k dataset that consists of 657 handwritten characters collected across multiple users. Gradient-based features are extracted from individual characters and are used to train character HMMs. The use of implicit segmentation technique at the character level resulted in an improvement of around 10%. This system also outperformed an existing system tested on the same dataset by around 16%. Analysis based on learning curves showed that increasing the training data could result in better accuracy. Accordingly, we collected additional data and obtained an improvement of 4% with 6 additional samples.


title: Tracing Magnetic Fields by Atomic Alignment in Extended Radiation Fields

abstract: Tracing magnetic fields is crucial as magnetic fields play an important role in many astrophysical processes. Earlier studies have demonstrated that Ground State Alignment (GSA) is a unique way to detect weak magnetic fields (1G> B> 1exp(-15)G) in diffuse media, they consider the situation when the pumping source is a point source, which applies when the star is very far away from the diffuse media. In this paper, we explore the GSA in the presence of extended radiation fields. For the radiation fields with a clear geometric structure, we consider the alignment in circumstellar medium, binary systems, disc, and Local Interstellar Medium (LISM). For the radiation fields with unidentified pumping sources, we apply the method of multipole expansion and discuss the GSA induced by each component. We demonstrate that for general radiation fields, it is adequate to consider the contribution from dipole and quadrupole radiation components. We find that in general polarization of absorption arizing from GSA coincides with the projection of magnetic field in the 2D sky with 90 degree degeneracy. We conclude that the GSA is a unique tool to detect the direction of weak magnetic field, and it can be applied to diffuse media in any radiation field.


title: Enhanced Multiobjective Evolutionary Algorithm based on Decomposition for Solving the Unit Commitment Problem

abstract: The unit commitment (UC) problem is a nonlinear, high-dimensional, highly constrained, mixed-integer power system optimization problem and is generally solved in the literature considering minimizing the system operation cost as the only objective. However, due to increasing environmental concerns, the recent attention has shifted to incorporating emission in the problem formulation. In this paper, a multi-objective evolutionary algorithm based on decomposition (MOEA/D) is proposed to solve the UC problem as a multi-objective optimization problem considering minimizing cost and emission as the multiple objec- tives. Since, UC problem is a mixed-integer optimization problem consisting of binary UC variables and continuous power dispatch variables, a novel hybridization strategy is proposed within the framework of MOEA/D such that genetic algorithm (GA) evolves the binary variables while differential evolution (DE) evolves the continuous variables. Further, a novel non-uniform weight vector distribution strategy is proposed and a parallel island model based on combination of MOEA/D with uniform and non-uniform weight vector distribution strategy is implemented to enhance the performance of the presented algorithm. Extensive case studies are presented on different test systems and the effectiveness of the proposed hybridization strategy, the non-uniform weight vector distribution strategy and parallel island model is verified through stringent simulated results. Further, exhaustive benchmarking against the algorithms proposed in the literature is presented to demonstrate the superiority of the proposed algorithm in obtaining significantly better converged and uniformly distributed trade-off solutions.


title: One-dimensional random walks with self-blocking immigration

abstract: We consider a system of independent one-dimensional random walkers where new particles are added at the origin at fixed rate whenever there is no older particle present at the origin. A Poisson ansatz leads to a semi-linear lattice heat equation and predicts that starting from the empty configuration the total number of particles grows as $c \sqrt{t} \log t$. We confirm this prediction and also describe the asymptotic macroscopic profile of the particle configuration.


title: HOPE: A Python Just-In-Time compiler for astrophysical computations

abstract: The Python programming language is becoming increasingly popular for scientific applications due to its simplicity, versatility, and the broad range of its libraries. A drawback of this dynamic language, however, is its low runtime performance which limits its applicability for large simulations and for the analysis of large data sets, as is common in astrophysics and cosmology. While various frameworks have been developed to address this limitation, most focus on covering the complete language set, and either force the user to alter the code or are not able to reach the full speed of an optimised native compiled language. In order to combine the ease of Python and the speed of C++, we developed HOPE, a specialised Python just-in-time (JIT) compiler designed for numerical astrophysical applications. HOPE focuses on a subset of the language and is able to translate Python code into C++ while performing numerical optimisation on mathematical expressions at runtime. To enable the JIT compilation, the user only needs to add a decorator to the function definition. We assess the performance of HOPE by performing a series of benchmarks and compare its execution speed with that of plain Python, C++ and the other existing frameworks. We find that HOPE improves the performance compared to plain Python by a factor of 2 to 120, achieves speeds comparable to that of C++, and often exceeds the speed of the existing solutions. We discuss the differences between HOPE and the other frameworks, as well as future extensions of its capabilities. The fully documented HOPE package is available at http://hope.phys.ethz.ch and is published under the GPLv3 license on PyPI and GitHub.


title: Sequences modulo one: convergence of local statistics

abstract: We survey recent results beyond equidistribution of sequences modulo one. We focus on the sequence of angles in a Euclidean lattice in $\mathbb R^2$ and on the sequence $\sqrt n\bmod1 $.


title: $\mathcal{I}$-degenerate pseudo-Riemannian metrics

abstract: In this paper we study pseudo-Riemannian spaces with a degenerate curvature structure i.e. there exists a continuous family of metrics having identical polynomial curvature invariants. We approach this problem by utilising an idea coming from invariant theory. This involves the existence of a boost which is assumed to extend to a neighbourhood. This approach proves to be very fruitful: It produces a class of metrics containing all known examples of $\mathcal{I}$-degenerate metrics. To date, only Kundt and Walker metrics have been given, however, our study gives a plethora of examples showing that $\mathcal{I}$-degenerate metrics extend beyond the Kundt and Walker examples. The approach also gives a useful criterion for a metric to be $\mathcal{I}$-degenerate. Specifically, we use this to study the subclass of VSI and CSI metrics (i.e., spaces where polynomial curvature invariants are all vanishing or constants, respectively).


title: The universal tropicalization and the Berkovich analytification

abstract: Given an integral scheme X over a non-archimedean valued field k , we construct acuniversal closed embedding of X into a k-scheme equipped with a model over the field with one element (a generalization of a toric variety). An embedding into such an ambient space determines a tropicalization of X by earlier work of the authors, and we show that the set-theoretic tropicalization of X with respect to this universal embedding is the Berkovich analytification of X. Moreover, using the scheme-theoretic tropicalization, we obtain a tropical scheme $Trop_{univ}(X)$ whose T-points give the analytification and which canonically maps to all other scheme-theoretic tropicalizations of X. This makes precise the idea that the Berkovich analytification is the universal tropicalization. When X = spec A is affine, we show that $Trop_{univ}(X)$ is the limit of the tropicalizations of X with respect to all embeddings in affine space, thus giving a scheme-theoretic enrichment of a well-known result of Payne. Finally, we show that $Trop_{univ}(X)$ represents the moduli functor of semivaluations on X, and when X = spec A is affine there is a universal semivaluation on A taking values in the idempotent semiring of regular functions on the universal tropicalization.


title: Informatic error-disturbance relation in the qubit case

abstract: In 1927, Heisenberg heuristically disclosed the tradeoff between the error in the measurement and the caused disturbance on another complementary observable. In the quantum theory, most of uncertainty relations are proposed to reveal the amount of unavoidable uncertainty in the measuring process. In this paper, we study the error-disturbance relation from the information viewpoint. We ask how much information, rather than how much uncertainty, can be obtained during the two sequential measurements. To achieve optimal information gain, we argue that the strategy for the "intelligent" prior apparatus is to clone the unknown state, and for the posterior one is to perform the swapping operation. We propose the coarse-grained random access code, and therein information causality as a physical principle can be exploited for deriving the upper-bound of information gain. Finally, we conjecture the information gain of measuring the position and momentum of a quantum object in the coarse-grained way.


title: Performance predictions for a laser intensified thermal beam for use in high resolution Focused Ion Beam instruments

abstract: Photo-ionization of a laser-cooled and compressed atomic beam from a high-flux thermal source can be used to create a high-brightness ion beam for use in Focus Ion Beam (FIB) instruments. Here we show using calculations and Doppler cooling simulations that an atomic rubidium beam with a brightness of $2.1 \times 10^7 A/(m^2\,sr\,eV)$ at a current of 1 nA can be created using a compact 5 cm long 2D magneto-optical compressor which is more than an order of magnitude better than the current state of the art Liquid Metal Ion Source.


title: Some Controllability Results for Linearized Compressible Navier-Stokes System

abstract: In this article, we study the null controllability of linearized compressible Navier-Stokes system in one and two dimension. We first study the one-dimensional compressible Navier-Stokes system for non-barotropic fluid linearized around a constant steady state. We prove that the linearized system around $(\bar \rho,0,\bar \theta)$, with $\bar \rho > 0,$ $ \bar \theta > 0$ is not null controllable by localized interior control or by boundary control. But the system is null controllable by interior controls acting everywhere in the velocity and temperature equation for regular initial condition. We also prove that the the one-dimensional compressible Navier-Stokes system for non-barotropic fluid linearized around a constant steady state $(\bar \rho,\bar v ,\bar \theta)$, with $\bar \rho > 0,$ $\bar v > 0,$ $\bar \theta > 0$ is not null controllable by localized interior control or by boundary control for small time $T.$ Next we consider two-dimensional compressible Navier-Stokes system for barotropic fluid linearized around a constant steady state $(\bar \rho, {\bf 0}).$ We prove that this system is also not null controllable by localized interior control.


title: Finite domination and Novikov rings. Laurent polynomial rings in several variables

abstract: We present a homological characterisation of those chain complexes of modules over a Laurent polynomial ring in several indeterminates which are finitely dominated over the ground ring (that is, are a retract up to homotopy of a bounded complex of finitely generated free modules). The main tools, which we develop in the paper, are a non-standard totalisation construction for multi-complexes based on truncated products, and a high-dimensional mapping torus construction employing a theory of cubical diagrams that commute up to specified coherent homotopies.


title: The Herbrand Functional Interpretation of the Double Negation Shift

abstract: This paper considers a generalisation of selection functions over an arbitrary strong monad $T$, as functionals of type $J^T_R X = (X \to R) \to T X$. It is assumed throughout that $R$ is a $T$-algebra. We show that $J^T_R$ is also a strong monad, and that it embeds into the continuation monad $K_R X = (X \to R) \to R$. We use this to derive that the explicitly controlled product of $T$-selection functions is definable from the explicitly controlled product of quantifiers, and hence from Spector's bar recursion. We then prove several properties of this product in the special case when $T$ is the finite power set monad ${\mathcal P}(\cdot)$. These are used to show that when $T X = {\mathcal P}(X)$ the explicitly controlled product of $T$-selection functions calculates a witness to the Herbrand functional interpretation of the double negation shift.


title: Model comparison with composite likelihood information criteria

abstract: Comparisons are made for the amount of agreement of the composite likelihood information criteria and their full likelihood counterparts when making decisions among the fits of different models, and some properties of penalty term for composite likelihood information criteria are obtained. Asymptotic theory is given for the case when a simpler model is nested within a bigger model, and the bigger model approaches the simpler model under a sequence of local alternatives. Composite likelihood can more or less frequently choose the bigger model, depending on the direction of local alternatives; in the former case, composite likelihood has more "power" to choose the bigger model. The behaviors of the information criteria are illustrated via theory and simulation examples of the Gaussian linear mixed-effects model.


title: Multi-Level Anomaly Detection on Time-Varying Graph Data

abstract: This work presents a novel modeling and analysis framework for graph sequences which addresses the challenge of detecting and contextualizing anomalies in labelled, streaming graph data. We introduce a generalization of the BTER model of Seshadhri et al. by adding flexibility to community structure, and use this model to perform multi-scale graph anomaly detection. Specifically, probability models describing coarse subgraphs are built by aggregating probabilities at finer levels, and these closely related hierarchical models simultaneously detect deviations from expectation. This technique provides insight into a graph's structure and internal context that may shed light on a detected event. Additionally, this multi-scale analysis facilitates intuitive visualizations by allowing users to narrow focus from an anomalous graph to particular subgraphs or nodes causing the anomaly. For evaluation, two hierarchical anomaly detectors are tested against a baseline Gaussian method on a series of sampled graphs. We demonstrate that our graph statistics-based approach outperforms both a distribution-based detector and the baseline in a labeled setting with community structure, and it accurately detects anomalies in synthetic and real-world datasets at the node, subgraph, and graph levels. To illustrate the accessibility of information made possible via this technique, the anomaly detector and an associated interactive visualization tool are tested on NCAA football data, where teams and conferences that moved within the league are identified with perfect recall, and precision greater than 0.786.


title: Recent development of complex scaling method for many-body resonances and continua in light nuclei

abstract: The complex scaling method (CSM) is a useful similarity transformation of the Schr\"odinger equation, in which bound-state spectra are not changed but continuum spectra are separated into resonant and non-resonant continuum ones. Because the asymptotic wave functions of the separated resonant states are regularized by the CSM, many-body resonances can be obtained by solving an eigenvalue problem with the $L^2$ basis functions. Applying this method to a system consisting of a core and valence nucleons, we investigate many-body resonant states in weakly bound nuclei very far from the stability lines. Non-resonant continuum states are also obtained with the discretized eigenvalues on the rotated branch cuts. Using these complex eigenvalues and eigenstates in CSM, we construct the extended completeness relations and Green's functions to calculate strength functions and breakup cross sections. Various kinds of theoretical calculations and comparisons with experimental data are presented.


title: Quasi-linear Stochastic Partial Differential Equations with irregular Coefficients - Malliavin regularity of the Solutions

abstract: We study quasi-linear stochastic partial differential equations with discontinuous drift coefficients. Existence and uniqueness of a solution is already known under weaker conditions on the drift, but we are interested in the regularity of the solution in terms of Malliavin calculus. We prove that when the drift is bounded and measurable the solution is directional Malliavin differentiable.


title: Dynamics of The Tranquil Cosmic Web

abstract: The phase space distribution of matter out to $\sim 100 \rm Mpc$ is probed by two types of observational data: galaxy redshift surveys and peculiar motions of galaxies. Important information on the process of structure formation and deviations from standard gravity have been extracted from the accumulating data. The remarkably simple Zel'dovich approximation is the basis for much of our insight into the dynamics of structure formation and the development of data analyses methods. Progress in the methodology and some recent results is reviewed.


title: The role of cold and hot gas flows in feeding early-type galaxy formation

abstract: We study the evolution of the gaseous components in massive simulated galaxies and show that their early formation is fuelled by cold, low entropy gas streams. At lower redshifts of z<3 the simulated galaxies are massive enough to support stable virial shocks resulting in a transition from cold to hot gas accretion. The gas accretion history of early-type galaxies is directly linked to the formation of their stellar component in the two phased formation scenario, in which the central parts of the galaxy assemble rapidly through in situ star formation and the later assembly is dominated primarily by minor stellar mergers.


title: MIMO Broadcasting for Simultaneous Wireless Information and Power Transfer: Weighted MMSE Approaches

abstract: We consider simultaneous wireless information and power transfer (SWIPT) in MIMO Broadcast networks where one energy harvesting (EH) user and one information decoding (ID) user share the same time and frequency resource. In contrast to previous SWIPT systems based on the information rate, this paper addresses the problem in terms of the weighted minimum mean squared error (WMMSE) criterion. First, we formulate the WMMSE-SWIPT problem which minimizes the weighted sum-MSE of the message signal arrived at the ID user, while satisfying the requirement on the energy that can be harvested from the signal at the EH user. Then, we propose the optimal precoder structure of the problem and identify the best possible MSE-energy tradeoff region through the alternative update of the linear precoder at the transmitter with the linear receiver at the ID user. From the derived solution, several interesting observations are made compared to the conventional SWIPT designs.


title: A Generalization of Cover Free Families

abstract: An (r;w; d) -cover-free family (CFF) is a family of subsets of a finite set such that the intersection of any r members of the family contains at least d elements that are not in the union of any other w members. The minimum number of elements for which there exists an (r;w; d)-CFF with t blocks is denoted by N((r;w; d); t). In this paper, we determine the exact value of N((r;w; d); t) for some special parameters. Also, we present two constructions for (2; 1; d)- CFF and (2; 2; d)-CFF which improve the existing constructions. Moreover, we introduce a generalization of cover-free families which is motivated by an application of CFF in the key predistribution schemes. Also, we investigate some properties and bounds on the parameters of this generalization.


title: Performance predictions of a focused ion beam from a laser cooled and compressed atomic beam

abstract: Focused ion beams are indispensable tools in the semiconductor industry because of their ability to image and modify structures at the nanometer length scale. Here we report on performance predictions of a new type of focused ion beam based on photo-ionization of a laser cooled and compressed atomic beam. Particle tracing simulations are performed to investigate the effects of disorder-induced heating after ionization in a large electric field. They lead to a constraint on this electric field strength which is used as input for an analytical model which predicts the minimum attainable spot size as a function of amongst others the flux density of the atomic beam, the temperature of this beam and the total current. At low currents (I<10 pA) the spot size will be limited by a combination of spherical aberration and brightness, while at higher currents this is a combination of chromatic aberration and brightness. It is expected that a nanometer size spot is possible at a current of 1 pA. The analytical model was verified with particle tracing simulations of a complete focused ion beam setup. A genetic algorithm was used to find the optimum acceleration electric field as a function of the current. At low currents the result agrees well with the analytical model while at higher currents the spot sizes found are even lower due to effects that are not taken into account in the analytical model.


title: Cohomological Finiteness Properties of Groups

abstract: PhD thesis concerning cohomological finiteness conditions of infinite discrete groups. Much of the material in this thesis has also appeared in arXiv:1311.7629, arXiv:1310.6262, arXiv:1311.6156, and arXiv:1207.1597.


title: Unifying Functional Interpretations: Past and Future

abstract: This article surveys work done in the last six years on the unification of various functional interpretations including G\"odel's dialectica interpretation, its Diller-Nahm variant, Kreisel modified realizability, Stein's family of functional interpretations, functional interpretations "with truth", and bounded functional interpretations. Our goal in the present paper is twofold: (1) to look back and single out the main lessons learnt so far, and (2) to look forward and list several open questions and possible directions for further research.


title: Loop functions in thermal QCD

abstract: We discuss divergences of loop functions in thermal QCD and compute perturbatively the Polyakov loop, the Polyakov loop correlator and the cyclic Wilson loop. We show how these functions get mixed under renormalization.


title: Nonequilibrium Energy Transfer at Nanoscale: A Unified Theory from Weak to Strong Coupling

abstract: We investigate the microscopic mechanism of quantum energy transfer in the nonequilibrium spin-boson model. By developing a nonequilibrium polaron-transformed Redfield equation based on fluctuation decoupling, we dissect the energy transfer into multi-boson associated processes with even or odd parity. Based on this, we analytically evaluate the energy flux, which smoothly bridges the transfer dynamics from the weak spin-boson coupling regime to the strong-coupling one. Our analysis explains previous limiting predictions and provides a unified interpretation of several observations, including coherence-enhanced heat flux and absence of negative differential thermal conductance in the nonequilibrium spin-boson model. The results may find wide applications for the energy and information control in nanodevices.


title: The Quantum Liouville Equation is non-Liouvillian

abstract: The Hamiltonian flow of a classical, time-independent, conservative system is incompressible, it is Liouvillian. The analog of Hamilton's equations of motion for a quantum-mechanical system is the quantum-Liouville equation. It is shown that its associated quantum flow in phase space, Wigner flow, is not incompressible. It gives rise to a quantum analog of classical Hamiltonian vector fields: the Wigner phase space velocity field~$\bm w$, the divergence of which can be unbounded. The loci of such unbounded divergence form lines in phase space which coincide with the lines of zero of the Wigner function. Along these lines exist characteristic pinch points which coincide with stagnation points of the Wigner flow.


title: Bisymmetric normal modes in soft-centred and realistic galactic discs

abstract: We test methods for the determination of unstable modes in stellar discs: a point collocation scheme in the action sub-space, a scheme based on expansion of the density and potential on the biorthonormal basis, and a finite element method. Using models of galaxies with low and high mass concentration to the center, the existence of two different kinds of spectra of unstable modes is demonstrated. Characteristic features of methods and obtained spectra are discussed. Despite ignoring any constraint on the continuity or differentiability of the perturbed DF, the collocation scheme is reliable for obtaining spectra and patterns in both kinds of models. The method based on the expansion of the perturbed potential and surface density over a biorthogonal basis was not applicable to a model with high mass concentration. The finite element method successfully used in various fields of science and engineering is currently sensitive to the presence of resonant orbits due to the choice of interpolation functions for the distribution function.


title: The Growth and Distortion Theorems for Slice Monogenic Functions

abstract: The sharp growth and distortion theorems are established for slice monogenic extensions of univalent functions on the unit disc $\mathbb D\subset \mathbb C$ in the setting of Clifford algebras, based on a new convex combination identity. The analogous results are also valid in the quaternionic setting for slice regular functions and we can even prove the Koebe type one-quarter theorem in this case. Our growth and distortion theorems for slice regular (slice monogenic) extensions to higher dimensions of univalent holomorphic functions hold without extra geometric assumptions, in contrast to the setting of several complex variables in which the growth and distortion theorems fail in general and hold only for some subclasses with the starlike or convex assumption.


title: Modular converter system for low-cost off-grid energy storage using second life Li-ion batteries

abstract: Lithium ion batteries are promising for small off- grid energy storage applications in developing countries because of their high energy density and long life. However, costs are prohibitive. Instead, we consider 'used' Li-ion batteries for this application, finding experimentally that many discarded laptop cells, for example, still have good capacity and cycle life. In order to make safe and optimal use of such cells, we present a modular power management system using a separate power converter for every cell. This novel approach allows individual batteries to be used to their full capacity. The power converters operate in voltage droop control mode to provide easy charge balancing and implement a battery management system to estimate the capacity of each cell, as we demonstrate experimentally.


title: Bidirectional and tunable single-photons multi-channel quantum router between microwave and optical light

abstract: Routing of photon play a key role in optical communication and quantum networks. Although the quantum routing of signals has been investigated in various systems both in theory and experiment. However, no current theory can route quantum signals between microwave and optical light. Here, we propose an experimentally accessible tunable multi-channel quantum routing proposal using photon-phonon translation in a hybrid opto-electromechanical system. It is the first demonstration that the single-photon of optical frequency can be routed into three different output ports by adjusting microwave power. More important, the two output signals can be selected according to microwave power. Meanwhile, we also demonstrate the vacuum and thermal noise will be insignificant for the optical performance of the single-photon router at temperature of the order of 20 mK. Our proposal may have paved a new avenue towards multi-channel router and quantum network.


title: Computation of the first Stiefel-Whitney class for the variety $\overline{{\mathcal M}_{0,n}^{\mathbb R}}$

abstract: We compute the class which is Poincare dual to the first Stiefel-Whitney class for the Deligne-Mumford compactification of the moduli space of real algebraic curves of genus 0 with n marked and numbered points in terms of the natural cell decomposition of the variety under consideration.


title: Maintaining a Distributed Spanning Forest in Highly Dynamic Networks

abstract: Highly dynamic networks are characterized by frequent changes in the availability of communication links. These networks are often partitioned into several components, which split and merge unpredictably. We present a distributed algorithm that maintains a forest of (as few as possible) spanning trees in such a network, with no restriction on the rate of change. Our algorithm is inspired by high-level graph transformations, which we adapt here in a (synchronous) message passing model for dynamic networks. The resulting algorithm has the following properties: First, every decision is purely local---in each round, a node only considers its role and that of its neighbors in the tree, with no further information propagation (in particular, no wave mechanisms). Second, whatever the rate and scale of the changes, the algorithm guarantees that, by the end of every round, the network is covered by a forest of spanning trees in which 1) no cycle occur, 2) every node belongs to exactly one tree, and 3) every tree contains exactly one root (or token). We primarily focus on the correctness of this algorithm, which is established rigorously. While performance is not the main focus, we suggest new complexity metrics for such problems, and report on preliminary experimentation results validating our algorithm in a practical scenario.


title: Quantum McKay correspondence for disc invariants of orbifold vertex

abstract: In this note, we describe a a systematic procedure to find toric crepant resolutions of orbifold vertex, and show that the generating series of certain disc invariants of the orbifold vertex can be suitably identified with the generating series of certain disc invariants of its toric crepant resolutions.


title: The mobile devices and its mobile learning usage analysis

abstract: The usage of mobile devices for mobile learning is becoming increasingly popular. There is a new brand of students in the universities now-a-days who are easily connected to technology and innovative mobile devices. We attempt to do an analysis on a survey done with university students on mobile device usage for mobile learning purposes. This is to find the learning trends within the student community so that some of these popular practices could be encouraged to enhance learning among the student community. Both the quantitative and qualitative approaches are adopted in the analysis. The results are discussed and conclusions drawn in the end.


title: Quantum McKay correspondence for disc invariants of toric Calabi-Yau 3-orbifolds

abstract: We announce a result on quantum McKay correspondence for disc invariants of outer legs in toric Calabi-Yau 3-orbifolds, and illustrate our method in a special example $[\mathbb C^3 /\mathbb Z_5 (1, 1, 3)]$.


title: Hybrid Mobility Prediction of 802.11 Infrastructure Nodes by Location Tracking and Data Mining

abstract: In an IEEE 802.11 Infrastructure network, as the mobile node is moving from one access point to another, the resource allocation and smooth hand off may be a problem. If some reliable prediction is done on mobile nodes next move, then resources can be allocated optimally as the mobile node moves around. This would increase the performance throughput of wireless network. We plan to investigate on a hybrid mobility prediction scheme that uses location tracking and data mining to predict the future path of the mobile node. We also propose a secure version of the same scheme. Through simulation and analysis, we present the prediction accuracy of our proposal.


title: Secret Sharing Schemes with a large number of players from Toric Varieties

abstract: A general theory for constructing linear secret sharing schemes over a finite field $\Fq$ from toric varieties is introduced. The number of players can be as large as $(q-1)^r-1$ for $r\geq 1$. We present general methods for obtaining the reconstruction and privacy thresholds as well as conditions for multiplication on the associated secret sharing schemes. In particular we apply the method on certain toric surfaces. The main results are ideal linear secret sharing schemes where the number of players can be as large as $(q-1)^2-1$. We determine bounds for the reconstruction and privacy thresholds and conditions for strong multiplication using the cohomology and the intersection theory on toric surfaces.


title: Mobile Learning Culture and Effects in Higher Education

abstract: Mobile learning through wireless enabled laptops (say, within a university campus) can make use of the learning management system that is already available through internet or intranet. Without restrictions within the four walls of computer labs or library, students can now access the learning resources anywhere in the campus where wireless access points or hotspots are located. We briefly investigate on the mobile learning benefits and eventually an analysis of the student perceptions on mobile learning is presented through a survey, to validate the m-learning benefits.


title: An In-Depth Spectroscopic Analysis of RR Lyr Variations over the Pulsation Cycle

abstract: The stellar parameters of RR Lyrae stars vary considerably over a pulsation cycle, and their determination is crucial for stellar modelling. We present a detailed spectroscopic analysis of the pulsating star RR Lyr, the prototype of its class, over a complete pulsation cycle, based on high-resolution spectra collected at the 2.7-m telescope of McDonald Observatory. We used simultaneous photometry to determine the accurate pulsation phase of each spectrum and determined the effective temperature, the shape of the depth-dependent microturbulent velocity, and the abundance of several elements, for each phase. The surface gravity was fixed to 2.4. Element abundances resulting from our analysis are stable over the pulsation cycle. However, a variation in ionisation equilibrium is observed around minimum radius. We attribute this mostly to a dynamical acceleration contributing to the surface gravity. Variable turbulent convection on time scales longer than the pulsation cycle has been proposed as a cause for the Blazhko effect. We test this hypothesis to some extent by using the derived variable depth-dependent microturbulent velocity profiles to estimate their effect on the stellar magnitude. These effects turn out to be wavelength-dependent and much smaller than the observed light variations over the Blazhko cycle: if variations in the turbulent motions are entirely responsible for the Blazhko effect, they must surpass the scales covered by the microturbulent velocity. This work demonstrates the possibility of a self-consistent spectroscopic analysis over an entire pulsation cycle using static atmosphere models, provided one takes into account certain features of a rapidly pulsating atmosphere.


title: ALICE: An Advanced Logic for Interactive Component Engineering

abstract: This paper presents an overview of the verification framework ALICE in its current version 0.7. It is based on the generic theorem prover Isabelle [Pau03a]. Within ALICE a software or hardware component is specified as a state-full black-box with directed communication channels. Components send and receive asynchronous messages via these channels. The behavior of a component is generally described as a relation on the observations in form of streams of messages flowing over its input and output channels. Untimed and timed as well as state-based, recursive, relational, equational, assumption/guarantee, and functional styles of specification are supported. Hence, ALICE is well suited for the formalization and verification of distributed systems modeled with this stream-processing paradigm.


title: Verification of internal risk measure estimates

abstract: This paper concerns sequential computation of risk measures for financial data and asks how, given a risk measurement procedure, we can tell whether the answers it produces are `correct'. We draw the distinction between `external' and `internal' risk measures and concentrate on the latter, where we observe data in real time, make predictions and observe outcomes. It is argued that evaluation of such procedures is best addressed from the point of view of probability forecasting or Dawid's theory of `prequential statistics' [Dawid, JRSS(A)1984]. We introduce a concept of `calibration' of a risk measure in a dynamic setting, following the precepts of Dawid's weak and strong prequential principles, and examine its application to quantile forecasting (VaR -- value at risk) and to mean estimation (applicable to CVaR -- expected shortfall). The relationship between these ideas and `elicitability' [Gneiting, JASA 2011] is examined. We show in particular that VaR has special properties not shared by any other risk measure. Turning to CVaR we argue that its main deficiency is the unquantifiable tail dependence of estimators. In a final section we show that a simple data-driven feedback algorithm can produce VaR estimates on financial data that easily pass both the consistency test and a further newly-introduced statistical test for independence of a binary sequence.


title: Connection problems for quantum affine KZ equations and integrable lattice models

abstract: Cherednik attached to an affine Hecke algebra module a compatible system of difference equations, called quantum affine Knizhnik-Zamolodchikov (KZ) equations. In case of a principal series module we construct a basis of power series solutions of the quantum affine KZ equations. Relating the bases for different asymptotic sectors gives rise to a Weyl group cocycle, which we compute explicitly in terms of theta functions. For the spin representation of the affine Hecke algebra of type C the quantum affine KZ equations become the boundary qKZ equations associated to the Heisenberg spin-1/2 XXZ chain. We show that in this special case the results lead to an explicit 4-parameter family of elliptic solutions of the dynamical reflection equation associated to Baxter's 8-vertex face dynamical R-matrix. We use these solutions to define an explicit 9-parameter elliptic family of boundary quantum Knizhnik-Zamolodchikov-Bernard (KZB) equations.


title: On generalized Li criterion for a certain class of $L-$functions

abstract: We define generalized Li coefficients, called $\tau-$Li coefficients for a very broad class $\mathcal{S}^{\sharp \flat }(\sigma_0, \sigma_1)$ of $L-$functions that contains the Selberg class, the class of all automorphic $L-$functions and the Rankin-Selberg $L-$functions, as well as products of suitable shifts of those functions. We prove the generalized Li criterion for zero-free regions of functions belonging to the class $\mathcal{S}^{\sharp \flat }(\sigma_0, \sigma_1)$, derive an arithmetic formula for the computation of $\tau-$Li coefficients and conduct numerical investigation of $\tau-$Li coefficients for a certain product of shifts of the Riemann zeta function.


title: Application of Homotopy Perturbation Method to an Eco-epidemic Model

abstract: In this article, we apply Homotopy Perturbation Method (HPM) for solving three coupled non-linear equations which play an important role in biosystems. To illustrate the capability and reliability of this method. Numerical example is given which confirms our analytical findings.


title: Theoretical description of prompt fission neutron multiplicity and spectra

abstract: The present work concerns two successful models used today: Point by Point (PbP) and the Monte Carlo approaches. The description of the PbP model and of the extended Los Alamos model for higher energies that takes into account the secondary chains and ways is given in Chapter II. In this chapter are given also examples of PbP and most probable fragmentation approach calculations for various quantities which characterize prompt emission: multi-parametric matrices, quantities as a function of fragment mass, quantities as a function of the TKE and total average quantities, for different spontaneous and neutron induced fissioning systems. Special care was given to the TXE partition between the fully accelerated fission fragments, two partition methods used in the PbP model being discussed in details. In Chapter III is given the description of the Monte Carlo treatment included in the FIFRELIN code. Only those aspects that differ from the PbP treatment are emphasized. A special attention is given to the latest developments of the code concerning the inclusion of the energy dependent compound nucleus cross section of the inverse process of neutron evaporation from fragments. In this chapter examples of calculation with the FIFRELIN code for the case of the standard fissioning system 252Cf(SF) are given. Original results for several plutonium spontaneous fissioning systems (236,238,240,242,244Pu) and one neutron induced fissioning system (239Pu(nth,f)) obtained with both PbP and Monte Carlo treatments are given in Chapter IV. The last chapter includes an overview of the most important conclusions resulting from the intercomparison of the results obtained with both treatments in chapter IV.


title: Radiative heat transfer in 2D Dirac materials

abstract: We compute the radiative heat transfer between two sheets of 2D Dirac materials, including topological Chern insulators and graphene, within the framework of the local approximation for the optical response of these materials. In this approximation, which neglects spatial dispersion, we derive both numerically and analytically the short-distance asymptotic of the near-field heat transfer in these systems, and show that it scales as the inverse of the distance between the two sheets. Finally, we discuss the limitations to the validity of this scaling law imposed by spatial dispersion in 2D Dirac materials.


title: Resonant enhancement of MQT in Josephson junctions: the influence of coherent two-level systems

abstract: We report a theoretical study of the macroscopic quantum tunneling (MQT) in small Josephson junctions containing randomly distributed two-level systems. We focus on the magnetic field dependent crossover temperature $T_{cr}$ between the thermal fluctuation and quantum regimes of switching from the superconducting (the zero-voltage) state to a resistive one. In the absence of two-levels systems the crossover temperature shows a smooth decrease with an applied magnetic field characterized by an external flux $\Phi$. Beyond that we predict a narrow peak in the dependence of $T_{cr}(\Phi)$ occurring in the intermediate range of $\Phi$. The effect becomes more pronounced as the junction size increases. We explain this effect quantitatively by a strong resonant suppression of a potential barrier for the Josephson phase escape that is due to the coherent quantum Rabi oscillations in two-level systems present in the junction.


title: Photon-pair generation in nonlinear metal-dielectric 1D photonic structures

abstract: Nonlinear metal-dielectric layered structures are shown to be able to efficiently generate entangled photon pairs using spontaneous parametric down-conversion. Increase of electric-field amplitudes in these structures enhanced by the presence of metal layers is sufficient to compensate for losses inside thin metal layers. As an example, photon pairs emitted from a structure composed of alternating nonlinear dielectric GaN layers and metal Ag layers are analyzed in spectral, temporal as well as spatial domains. Also correlations and entanglement between two photons in a pair are determined. Very narrow photon-pair spectra together with strong directionality of photon-pair emission are observed making the photons suitable for photon-atom interactions. Highly enhanced electric-field amplitudes provide high photon-pair generation efficiencies.


title: Coherent supercontinuum generation in a silicon photonic wire in the telecommunication wavelength range

abstract: We demonstrate a fully coherent supercontinuum spectrum spanning 500 nm from a silicon-on-insulator photonic wire waveguide pumped at 1575 nm wavelength. An excellent agreement with numerical simulations is reported. The simulations also show that a high level of two-photon absorption can essentially enforce the coherence of the spectral broadening process irrespective of the pump pulse duration.


title: Multivariate Spearman's rho for aggregating ranks using copulas

abstract: We study the problem of rank aggregation: given a set of ranked lists, we want to form a consensus ranking. Furthermore, we consider the case of extreme lists: i.e., only the rank of the best or worst elements are known. We impute missing ranks by the average value and generalise Spearman's \rho to extreme ranks. Our main contribution is the derivation of a non-parametric estimator for rank aggregation based on multivariate extensions of Spearman's \rho, which measures correlation between a set of ranked lists. Multivariate Spearman's \rho is defined using copulas, and we show that the geometric mean of normalised ranks maximises multivariate correlation. Motivated by this, we propose a weighted geometric mean approach for learning to rank which has a closed form least squares solution. When only the best or worst elements of a ranked list are known, we impute the missing ranks by the average value, allowing us to apply Spearman's \rho. Finally, we demonstrate good performance on the rank aggregation benchmarks MQ2007 and MQ2008.


title: Symmetries, psudosymmetries and conservation laws in Lagrangian and Hamiltonian $k$-symplectic formalisms

abstract: In this paper we will present Lagrangian and Hamiltonian $k$-symplectic formalisms, we will recall the notions of symmetry and conservation law and we will define the notion of pseudosymmetry as a natural extension of symmetry. Using symmetries and pseudosymmetries, without the help of a Noether type theorem, we will obtain new kinds of conservation laws for $k$-symplectic Hamiltonian systems and $k$-symplectic Lagrangian systems.


title: The HAWKwood Database

abstract: We present a database consisting of wood pile images, which can be used as a benchmark to evaluate the performance of wood pile detection and surveying algorithms. We distinguish six database cate- gories which can be used for different types of algorithms. Images of real and synthetic scenes are provided, which consist of 7655 images divided into 354 data sets. Depending on the category the data sets either include ground truth data or forestry specific measurements with which algorithms may be compared.


title: London penetration depth and coherence length of SU(3) vacuum flux tubes

abstract: The transverse profile of the chromoelectric field generated by a quark-antiquark pair in the SU(3) vacuum is analysed within the dual superconductor scenario, then the London penetration depth and coherence length are extracted. The color field is determined on the lattice through a connected correlator of two Polyakov loops measured on smeared configurations.


title: Minimum Linear Arrangement of Series-Parallel Graphs

abstract: We present a factor $14D^2$ approximation algorithm for the minimum linear arrangement problem on series-parallel graphs, where $D$ is the maximum degree in the graph. Given a suitable decomposition of the graph, our algorithm runs in time $O(|E|)$ and is very easy to implement. Its divide-and-conquer approach allows for an effective parallelization. Note that a suitable decomposition can also be computed in time $O(|E|\log{|E|})$ (or even $O(\log{|E|}\log^*{|E|})$ on an EREW PRAM using $O(|E|)$ processors). For the proof of the approximation ratio, we use a sophisticated charging method that uses techniques similar to amortized analysis in advanced data structures. On general graphs, the minimum linear arrangement problem is known to be NP-hard. To the best of our knowledge, the minimum linear arrangement problem on series-parallel graphs has not been studied before.


title: Blurred path-spin entanglement in Stern-Gerlach apparatus: interplay between magnetic inhomogeneity and Larmor precession

abstract: We argue that the non-adiabatic evolution of spin states in Stern-Gerlach apparatus can blur the manifestation of path spin entanglement. This fact introduces a contradiction to the usual perception of spin measurement even in a formally ideal situation. Through quantitative calculation, we have pointed out the specific reason behind the breakdown of adiabatic evolution to be the spatial inhomogeneity of applied magnetic field. The angle $\theta$ between the $z$ component of magnetic moment of the particle and applied magnetic field is also a determining factor for the category of evolution of spin states. Adiabaticity always can be restored by choosing a sufficiently small value of $\theta$. Considering azimuthal inhomogeneity, we have examined the nature of path spin entanglement in the context of Stern-Gerlach experiment.


title: Parallel Repetition of Free Entangled Games: Simplification and Improvements

abstract: In a two-player game, two cooperating but non communicating players, Alice and Bob, receive inputs taken from a probability distribution. Each of them produces an output and they win the game if they satisfy some predicate on their inputs/outputs. The entangled value $\omega^*(G)$ of a game $G$ is the maximum probability that Alice and Bob can win the game if they are allowed to share an entangled state prior to receiving their inputs. The $n$-fold parallel repetition $G^n$ of $G$ consists of $n$ instances of $G$ where Alice and Bob receive all the inputs at the same time and must produce all the outputs at the same time. They win $G^n$ if they win each instance of $G$. Recently, there has been a series of works showing parallel repetition with exponential decay for projection games [DSV13], games on the uniform distribution [CS14] and for free games, i.e. games on a product distribution [JPY13]. This article is meant to be a follow up of [CS14], where we improve and simplify several parts of our previous paper. Our main result is that for any free game $G$ with value $\omega^*(G)=1-\varepsilon$, we have $\omega^*(G^n) \le (1 - \varepsilon^2)^{\Omega(\frac{n}{\log(l)})}$ where $l$ is the size of the output set of the game. This result improves on both the results in [JPY13] and [CS14]. The framework we use can also be extended to free projection games. We show that for a free projection game $G$ with value $\omega^*(G)=1-\varepsilon$, we have $\omega^*(G^n) \le (1 - \varepsilon)^{\Omega(n)}$.


title: Secure ARP and Secure DHCP Protocols to Mitigate Security Attacks

abstract: For network computers to communicate to one another, they need to know one another's IP address and MAC address. Address Resolution Protocol (ARP) is developed to find the Ethernet address that map to a specific IP address. The source computer broadcasts the request for Ethernet address and eventually the target computer replies. The IP to Ethernet address mapping would later be stored in an ARP Cache for some time duration, after which the process is repeated. Since ARP is susceptible to ARP poisoning attacks, we propose to make it unicast, centralized and secure, along with a secure design of DHCP protocol to mitigate MAC spoofing. The secure protocol designs are explained in detail. Lastly we also discuss some performance issues to show how the proposed protocols work.


title: Constrained Runs algorithm as a lifting operator for the Boltzmann equation

abstract: Lifting operators play an important role in starting a kinetic Boltzmann model from given macroscopic information. The macroscopic variables need to be mapped to the distribution functions, mesoscopic variables of the Boltzmann model. A well-known numerical method for the initialization of Boltzmann models is the Constrained Runs algorithm. This algorithm is used in literature for the initialization of lattice Boltzmann models, special discretizations of the Boltzmann equation. It is based on the attraction of the dynamics toward the slow manifold and uses lattice Boltzmann steps to converge to the desired dynamics on the slow manifold. We focus on applying the Constrained Runs algorithm to map density, average flow velocity, and temperature, the macroscopic variables, to distribution functions. Furthermore, we do not consider only lattice Boltzmann models. We want to perform the algorithm for different discretizations of the Boltzmann equation and consider a standard finite volume discretization.


title: Defect-induced Fermi level pinning and suppression of ambipolar behaviour in graphene

abstract: We report on systematic study of electronic transport in low-biased, disordered graphene nanowires. We reveal the emergence of unipolar transport as the defect concentration increases beyond 0.3\% where an almost insulating behaviour is observed on n-type channels whilst a metallic behaviour is observed in p-type channels. The conductance shows a plateau that extends through the entire side above the Dirac point (n-type) and the conductivity coincides with the minimum conductivity at the Dirac point. The minimum conductivity decreases with increasing defect concentration pointing out towards the absence of zero energy modes in the disordered samples. Raman spectroscopy and X-ray photoemission spectroscopy were used to probe the nature of the defects created by helium ion irradiation and revealed the presence of oxygen-carbon bonds as well as the presence of $sp^3$ configuration uncovered from the C KLL Auger spectrum. The observed behaviour is attributed to the dangling bonds created by sputtering of carbon atoms in graphene lattice by bombarding helium ions. The dangling bonds act as charge traps, pinning the Fermi level to the Dirac point.


title: Uniform exponential mixing and resonance free regions for convex cocompact congruence subgroups of $\operatorname{SL}_2(\mathbb{Z})$

abstract: Let $\Gamma<\mathrm{SL}_2(\mathbb{Z})$ be a non-elementary finitely generated subgroup and let $\Gamma(q)$ be its congruence subgroup of level $q$ for each $q\in \mathbb{N}$. We obtain an asymptotic formula for the matrix coefficients of $L^2(\Gamma (q) \backslash \mathrm{SL}_2(\mathbb{R}))$ with a {\it uniform} exponential error term for all square-free $q$ with no small prime divisors. As an application we establish a uniform resonance-free half plane for the resolvent of the Laplacian on $\Gamma (q) \backslash \mathbb{H}^2$ over $q$ as above. Our approach is to extend Dolgopyat's dynamical proof of exponential mixing of the geodesic flow uniformly over congruence covers, by establishing uniform spectral bounds for congruence transfer operators associated to the geodesic flow. One of the key ingredients is the expander theory due to Bourgain-Gamburd-Sarnak.


title: Measurements of Stationary Josephson Current between High-$T_{c}$ Oxides as a Tool to Detect Charge Density Waves

abstract: Stationary Josephson tunnel current $I_{c}$ between superconductors with $d$-wave order parameter symmetry and charge-density-wave (CDW) partial gapping was analyzed in the two-dimensional model appropriate to high-$T_{c}$ cuprates. It was shown that, in certain experimental setups, due to the peculiar overlap of superconducting and CDW gaps in the momentum space, the dependence of $I_{c}$ on the CDW parameters may be strongly nonmonotonic. Hence, we suggested that $I_{c}$ measurements in the wide range of dopings can serve as an indicator of CDW existence in the pseudogap regions of the cuprate phase diagrams. Besides, the orientation $I_{c}$-dependences were analyzed.


title: Beam-beam effects in the high-pile-up tests of the LHC

abstract: Investigating the beam-beam limit in the LHC is of great importance, since identifying its source is crucial for the luminosity optimization scenario. Several experiments were carried out to search for this limit and check whether it is dominated by the head-on (HO) or the long-range (LR) interactions. In this paper only the HO collision effects will be considered, tracking the evolution of the maximum tune shift achieved during the dedicated machine developments and the special high pile-up fills.


title: A fresh look on the limit on ultralight axion-like particles from SN1987A

abstract: We revisit the limit on very light axion-like particles (ALPs) from the absence of gamma rays coincidental with the neutrino burst from SN1987A. We use updated supernova simulations, modern models for the magnetic field inside the Galaxy, and a Primakoff cross section which takes into account proton-degeneracy and mass-reduction effects. We finally give an updated exclusion plot for the electromagnetic coupling of sub-eV ALPs, comparing our new bound with other limits as well as with future ALP searches.


title: Photocatalytic acetaldehyde oxidation in air using spacious TiO2 films prepared by atomic layer deposition on supported carbonaceous sacrificial templates

abstract: Supported carbon nanosheets and carbon nanotubes served as sacrificial templates for preparing spacious TiO2 photocatalytic thin films. Amorphous TiO2 was deposited conformally on the carbonaceous template material by atomic layer deposition (ALD). Upon calcination at 550{\deg}C, the carbon template was oxidatively removed and the as-deposited continuous amorphous TiO2 layers transformed into interlinked anatase nanoparticles with an overall morphology commensurate to the original template structure. The effect of type of template, number of ALD cycles and gas residence time of pollutant on the photocatalytic activity, as well as the stability of the photocatalytic performance of these thin films was investigated. The TiO2 films exhibited excellent photocatalytic activity towards photocatalytic degradation of acetaldehyde in air as a model reaction for photocatalytic indoor air pollution abatement. Optimized films outperformed a reference film of commercial PC500.


title: Generalized harmonic Koebe functions

abstract: We present a family of sense-preserving harmonic mappings in the unit disk related to the classical generalized (analytic) Koebe functions. We prove that these are precisely the mappings that maximize simultaneously the real part of every Taylor coefficient as well as the growth and distortion of functions in affine and linear invariant families of complex-valued harmonic functions.


title: Optimal Allocation of Power Pool for Two-Cell Single-User Joint Transmission

abstract: Joint transmission is a kind of cooperative transmission technology, which converts other cell interference into signal. In this letter, for single-user joint transmission, we propose that a power pool can be created in order to increase the system sum-rate or lower the power consumption. Then, we investigate the sum-rate maximization problem under this framework. Since it is impossible that subchannel gains for the two base stations are identical, we can obtain a much more concise structure and reduce variables to the half of original problem. And that the closed-form water-filling solution is unique and global optimum, because it is a convex optimization problem. Compared to the power allocation without pooling, the performance gain is verified by simulation.


title: Stabilizing Controllers for Multi-Input, Singular Control Gain Systems

abstract: This paper proposes a new methodology for design of a stabilizing control law for multi-input linear systems with time-varying, singular gains on the control. The results presented here assume the control gain to satisfy persistence of excitation which is a necessary condition for existence of stabilizing controllers in the presence of unstable drift. This work involves a novel persistence filter construction and provides a significant extension to the authors' previous result on stabilization of single-input linear systems with time-varying singular gains. An application to underactuated spacecraft stabilization is shown which illustrates the interesting features of the time-varying control design in stabilization of nonlinear dynamical systems. Finally, the development of an observer counterpart of these results is presented in the presence of multiple-outputs subject to singular measurement gains.


title: Search for the $X_b$ and other hidden-beauty states in the $\pi^+ \pi^- \Upsilon(1 \rm S)$ channel at ATLAS

abstract: This Letter presents a search for a hidden-beauty counterpart of the $X(3872)$ in the mass ranges 10.05--10.31 GeV and 10.40--11.00 GeV, in the channel $X_b \to \pi^{+} \pi^{-} \Upsilon(1 \rm S)(\rightarrow\mu^+\mu^-)$, using 16.2 fb$^{-1}$ of $\sqrt{s}=8$ TeV $pp$ collision data collected by the ATLAS detector at the LHC. No evidence for new narrow states is found, and upper limits are set on the product of the $X_b$ cross section and branching fraction, relative to those of the $\Upsilon(2 \rm S)$, at the 95% confidence level using the CL$_S$ approach. These limits range from 0.8% to 4.0%, depending on mass. For masses above 10.1 GeV, the expected upper limits from this analysis are the most restrictive to date. Searches for production of the $\Upsilon(1^3 \rm{D}$$_J)$, $\Upsilon(10860)$, and $\Upsilon(11020)$ states also reveal no significant signals.