title: Complexity of Problems of Commutative Grammars

abstract: We consider commutative regular and context-free grammars, or, in other words, Parikh images of regular and context-free languages. By using linear algebra and a branching analog of the classic Euler theorem, we show that, under an assumption that the terminal alphabet is fixed, the membership problem for regular grammars (given v in binary and a regular commutative grammar G, does G generate v?) is P, and that the equivalence problem for context free grammars (do G_1 and G_2 generate the same language?) is in $\mathrm{\Pi_2^P}$.


title: Imaging HII Regions from Galaxies and Quasars During Reionisation with SKA

abstract: The ionisation structure of the Intergalactic Medium (IGM) during reionisation is sensitive to the unknown galaxy formation physics that prevailed at that time. This structure introduces non-Gaussian statistics into the redshifted 21 cm fluctuation amplitudes that can only be studied through tomographic imaging, which will clearly discriminate between different galaxy formation scenarios. Imaging the ionisation structure and cosmological HII regions during reionisation is therefore a key goal for the SKA. For example, the SKA1-LOW baseline design with a 1 km diameter core will resolve HII regions expected from galaxy formation models which include strong feedback on low-mass galaxy formation. Imaging the smaller HII regions that result from galaxy formation in the absence of SNe feedback will also be possible for SKA1-LOW in the later stages of reionisation, but may require the greater sensitivity of SKA early in the reionisation era. In addition to having baselines long enough to resolve the HII regions, the field of view for SKA1-LOW reionisation experiments should be at least several degrees in order to image the largest HI structures towards the end of reionisation. The baseline design with 35 meter diameter stations has a field of view within a single primary pointing which is sufficient for this purpose.


title: SKA - EoR correlations and cross-correlations: kSZ, radio galaxies, and NIR background

abstract: The Universe's Cosmic Dawn (CD) and Epoch of Reionization (EoR) can be studied using a number of observational probes that provide complementary or corroborating information. Each of these probes suffers from its own systematic and statistical uncertainties. It is therefore useful to consider the mutual information that these data sets contain. In this paper, we discuss a potential of cross-correlations between the SKA cosmological 21 cm data with: (i) the kinetic Sunyaev- Zel'dovich (kSZ) effect in the CMB data; (ii) the galaxy surveys; and (iii) near infrared (NIR) backgrounds.


title: Long-lived guided phonons in fiber by manipulating two-level systems

abstract: The synthesis of ultra-long lived acoustic phonons in a variety of materials and device geometries could enable a range of new coherent information processing and sensing technologies; many forms of phonon dissipation pose a barrier to this goal. We explore linear and nonlinear contributions to phonon dissipation in silica at cryogenic temperatures using fiber-optic structures that tightly confine both photons and phonons to the fiber-optic core. When immersed in helium, this fiber system supports nearly perfect guidance of 9 GHz acoustic phonons; strong electrostrictively mediated photon-phonon coupling (or guided-wave stimulated Brillouin scattering) permits a flexible form of laser-based phonon spectroscopy. Through linear and nonlinear phonon spectroscopy, we isolate the effects of disorder-induced two-level tunneling states as a source of phononic dissipation in this system. We show that an ensemble of such two-level tunneling states can be driven into transparency--virtually eliminating this source of phonon dissipation over a broad range of frequencies. Experimental studies of phononic self-frequency saturation show excellent agreement with a theoretical model accounting for the phonon coupling to an ensemble of two-level tunneling states. Extending these results, we demonstrate a general approach to suppress dissipation produced by two-level tunneling states via cross-saturation, where the lifetime of a phonons at one frequency can be extended by the presence of a high intensity acoustic beam at another frequency. Although these studies were carried out in silica, our findings are quite general, and can be applied to a range of materials systems and device geometries.


title: Avoiding Intellectual Stagnation: The Starship as an Expander of Minds

abstract: Interstellar exploration will advance human knowledge and culture in multiple ways. Scientifically, it will advance our understanding of the interstellar medium, stellar astrophysics, planetary science and astrobiology. In addition, significant societal and cultural benefits will result from a programme of interstellar exploration and colonisation. Most important will be the cultural stimuli resulting from expanding the horizons of human experience, and increased opportunities for the spread and diversification of life and culture through the Galaxy. Ultimately, a programme of interstellar exploration may be the only way for human (and post-human) societies to avoid the intellectual stagnation predicted for the "end of history".

categories: physics.pop-ph astro-ph.IM physics.hist-ph physics.soc-ph


title: Self-gravitating stellar collapse: explicit geodesics and path integration

abstract: We extend the work of Oppenheimer & Synder to model the gravitational collapse of a star to a black hole by including quantum mechanical effects. We first derive closed-form solutions for classical paths followed by a particle on the surface of the collapsing star in Schwarzschild and Kruskal coordinates for space-like, time-like and light-like geodesics. We next present an application of these paths to model the collapse of ultra-light dark matter particles, which necessitates incorporating quantum effects. To do so we treat a particle on the surface of the star as a wavepacket and integrate over all possible paths taken by the particle. The waveform is computed in Schwarzschild coordinates and found to exhibit an ingoing and an outgoing component, where the former contains the probability of collapse, while the latter contains the probability that the star will disperse. These calculations pave the way for investigating the possibility of quantum collapse that does not lead to black hole formation as well as for exploring the nature of the wavefunction inside r=2M.


title: The one-dimensional heat equation in the Alexiewicz norm

abstract: A distribution on the real line has a continuous primitive integral if it is the distributional derivative of a function that is continuous on the extended real line. The space of distributions integrable in this sense is a Banach space that includes all functions integrable in the Lebesgue and Henstock--Kurzweil senses. The one-dimensional heat equation is considered with initial data that is integrable in the sense of the continuous primitive integral. Let $\Theta_t(x)=\exp(-x^2/(4t))/\sqrt{4\pi t}$ be the heat kernel. With initial data $f$ that is the distributional derivative of a continuous function, it is shown that $u_t(x):=u(x,t):=f\ast\Theta_t(x)$ is a classical solution of the heat equation $u_{11}=u_2$. The estimate $\|f\ast\Theta_t\|_\infty\leq\|f\|/\sqrt{\pi t}$ holds. The Alexiewicz norm is $\|f\|=\sup_I|\int_If|$, the supremum taken over all intervals. The initial data is taken on in the Alexiewicz norm, $\|u_t-f\|\to 0$ as $t\to 0^+$. The solution of the heat equation is unique under the assumptions that $\|u_t\|$ is bounded and $u_t\to f$ in the Alexiewicz norm for some integrable $f$. The heat equation is also considered with initial data that is the $n$th derivative of a continuous function and in weighted spaces such that $\int_{-\infty}^\infty f(x)\exp(-ax^2)\,dx$ exists for some $a>0$. Similar results are obtained.


title: On the thermodynamics of hairy black holes

abstract: We investigate the thermodynamics of a general class of exact 4-dimensional asymptotically Anti-de Sitter hairy black hole solutions and show that, for a fixed temperature, there are small and large hairy black holes similar to the Schwarzschild-AdS black hole. The large black holes have positive specific heat and so they can be in equilibrium with a thermal bath of radiation at the Hawking temperature. The relevant thermodynamic quantities are computed by using the Hamiltonian formalism and counterterm method. We explicitly show that there are first order phase transitions similar to the Hawking-Page phase transition.


title: Singular limit of the generalized Burgers equation with absorption

abstract: We prove the convergence of the solutions $u_{m,p}$ of the equation $u_t+(u^m)_x=-u^p$ in $\R\times (0,\infty)$, $u(x,0)=u_0(x)\ge 0$ in $\R$, as $m\to\infty$ for any $p>1$ and $u_0\in L^1(\R)\cap L^{\infty}(\R)$ or as $p\to\infty$ for any $m>1$ and $u_0\in L^{\infty}(\R)$ . We also show that in general $\underset{p\to\infty}\lim\underset{m\to\infty}\lim u_{m,p}\ne\underset{m\to\infty}\lim\underset{p\to\infty}\lim u_{m,p}$.


title: Service Provisioning and Profit Maximization in Network-assisted Adaptive HTTP Streaming

abstract: Adaptive HTTP streaming with centralized consideration of multiple streams has gained increasing interest. It poses a special challenge that the interests of both content provider and network operator need to be deliberately balanced. More importantly, the adaptation strategy is required to be flexible enough to be ported to various systems that work under different network environments, QoE levels, and economic objectives. To address these challenges, we propose a Markov Decision Process (MDP) based network-assisted adaptation framework, wherein cost of buffering, significant playback variation, bandwidth management and income of playback are jointly investigated. We then demonstrate its promising service provisioning and maximal profit for a mobile network in which fair or differentiated service is required.


title: Parabolic Flow for Generalized complex Monge-Amp\`ere type equations

abstract: We study the parabolic flow for generalized complex Monge-Amp\`ere type equations on closed Hermitian manifolds. We derive {\em a priori} $C^\infty$ estimates for normalized solutions, and then prove the $C^\infty$ convergence.


title: Power Series with Binomial Sums and Asymptotic Expansions

abstract: This paper is a study of power series, where the coefficients are binomial expressions (iterated finite differences). Our results can be used for series summation, for series transformation, or for asymptotic expansions involving Stirling numbers of the second kind. In certain cases we obtain asymptotic expansions involving Bernoulli polynomials, poly-Bernoulli polynomials, or Euler polynomials. We also discuss connections to Euler series transformations and other series transformation formulas.


title: Properties and searches of the exotic neutral Higgs bosons in the Georgi-Machacek model

abstract: The Georgi-Machacek model predicts the existence of four neutral Higgs bosons, one of which can be identified as the 125-GeV Higgs boson. The latest Higgs data favor the parameter space of small mixing angle alpha between the two custodial singlets of the model. The other two neutral Higgs bosons belong respectively to the custodial triplet and quintet. We study the general decay and production properties of these particles in the small-alpha scenario. Constraints on the SU(2)_L triplet vacuum expectation value are obtained as a function of the exotic Higgs boson masses using latest ATLAS data of various search channels for additional neutral Higgs bosons.


title: Floer homology and Lagrangian concordance

abstract: We derive constraints on Lagrangian concordances from Legendrian submanifolds of the standard contact sphere admitting exact Lagrangian fillings. More precisely, we show that such a concordance induces an isomorphism on the level of bilinearised Legendrian contact cohomology. This is used to prove the existence of non-invertible exact Lagrangian concordances in all dimensions. In addition, using a result of Eliashberg-Polterovich, we completely classify exact Lagrangian concordances from the Legendrian unknot to itself in the tight contact-three sphere: every such concordance is the trace of a Legendrian isotopy. We also discuss a high dimensional topological result related to this classification.


title: Axial-Vector Emitting Weak Nonleptonic Deacys of $\Omega_c^0$ Baryon

abstract: The axial-vector emitting weak hadronic decays of $\Omega_c^0$ baryon are investigated. After employing the factorization and the pole model framework to predict their branching ratios, we derive the symmetry breaking effects on axial-vector-meson-baryon couplings and effects of flavor dependence on baryon-baryon weak transition amplitudes and, consequently, on their branching ratios. We found that the W-exchange process contributions dominate $p$-wave meson emitting decays of $\Omega_c^0$ baryon.


title: Disease spread over randomly switched large-scale networks

abstract: In this paper we study disease spread over a randomly switched network, which is modeled by a stochastic switched differential equation based on the so called $N$-intertwined model for disease spread over static networks. Assuming that all the edges of the network are independently switched, we present sufficient conditions for the convergence of infection probability to zero. Though the stability theory for switched linear systems can naively derive a necessary and sufficient condition for the convergence, the condition cannot be used for large-scale networks because, for a network with $n$ agents, it requires computing the maximum real eigenvalue of a matrix of size exponential in $n$. On the other hand, our conditions that are based also on the spectral theory of random matrices can be checked by computing the maximum real eigenvalue of a matrix of size exactly $n$.


title: Prediction of Silicon-Based Layered Structures for Optoelectronic Applications

abstract: A method based on the particle swarm optimization (PSO) algorithm is presented to design quasi-two-dimensional (Q2D) materials. With this development, various single-layer and bi-layer materials in C, Si, Ge, Sn, and Pb were predicted. A new Si bi-layer structure is found to have a much-favored energy than the previously widely accepted configuration. Both single-layer and bi-layer Si materials have small band gaps, limiting their usages in optoelectronic applications. Hydrogenation has therefore been used to tune the electronic and optical properties of Si layers. We discover two hydrogenated materials of layered Si8H2 and Si6H2 possessing quasi-direct band gaps of 0.75 eV and 1.59 eV, respectively. Their potential applications for light emitting diode and photovoltaics are proposed and discussed. Our study opened up the possibility of hydrogenated Si layered materials as next-generation optoelectronic devices.


title: Lower Bounds in the Preprocessing and Query Phases of Routing Algorithms

abstract: In the last decade, there has been a substantial amount of research in finding routing algorithms designed specifically to run on real-world graphs. In 2010, Abraham et al. showed upper bounds on the query time in terms of a graph's highway dimension and diameter for the current fastest routing algorithms, including contraction hierarchies, transit node routing, and hub labeling. In this paper, we show corresponding lower bounds for the same three algorithms. We also show how to improve a result by Milosavljevic which lower bounds the number of shortcuts added in the preprocessing stage for contraction hierarchies. We relax the assumption of an optimal contraction order (which is NP-hard to compute), allowing the result to be applicable to real-world instances. Finally, we give a proof that optimal preprocessing for hub labeling is NP-hard. Hardness of optimal preprocessing is known for most routing algorithms, and was suspected to be true for hub labeling.


title: On the Dirty Paper Channel with Fast Fading Dirt

abstract: Costa`s "writing on dirty paper" result establishes that full state pre-cancellation can be attained in the Gel`fand-Pinsker problem with additive state and additive white Gaussian noise. This result holds under the assumptions that full channel knowledge is available at both the transmitter and the receiver. In this work we consider the scenario in which the state is multiplied by an ergodic fading process which is not known at the encoder. We study both the case in which the receiver has knowledge of the fading and the case in which it does not: for both models we derive inner and outer bounds to capacity and determine the distance between the two bounds when possible. For the channel without fading knowledge at either the transmitter or the receiver, the gap between inner and outer bounds is finite for a class of fading distributions which includes a number of canonical fading models. In the capacity approaching strategy for this class, the transmitter performs Costa`s pre-coding against the mean value of the fading times the state while the receiver treats the remaining signal as noise. For the case in which only the receiver has knowledge of the fading, we determine a finite gap between inner and outer bounds for two classes of discrete fading distribution. The first class of distributions is the one in which there exists a probability mass larger than one half while the second class is the one in which the fading is uniformly distributed over values that are exponentially spaced apart. Unfortunately, the capacity in the case of a continuous fading distribution remains very hard to characterize.


title: Achieving Arbitrary Locality and Availability in Binary Codes

abstract: The $i$th coordinate of an $(n,k)$ code is said to have locality $r$ and availability $t$ if there exist $t$ disjoint groups, each containing at most $r$ other coordinates that can together recover the value of the $i$th coordinate. This property is particularly useful for codes for distributed storage systems because it permits local repair and parallel accesses of hot data. In this paper, for any positive integers $r$ and $t$, we construct a binary linear code of length $\binom{r+t}{t}$ which has locality $r$ and availability $t$ for all coordinates. The information rate of this code attains $\frac{r}{r+t}$, which is always higher than that of the direct product code, the only known construction that can achieve arbitrary locality and availability.


title: Evolutionary Stable Strategies in Games with Fuzzy Payoffs

abstract: Evolutionarily stable strategy (ESS) is a key concept in evolutionary game theory. ESS provides an evolutionary stability criterion for biological, social and economical behaviors. In this paper, we develop a new approach to evaluate ESS in symmetric two player games with fuzzy payoffs. Particularly, every strategy is assigned a fuzzy membership that describes to what degree it is an ESS in presence of uncertainty. The fuzzy set of ESS characterize the nature of ESS. The proposed approach avoids loss of any information that happens by the defuzzification method in games and handles uncertainty of payoffs through all steps of finding an ESS. We use the satisfaction function to compare fuzzy payoffs, and adopts the fuzzy decision rule to obtain the membership function of the fuzzy set of ESS. The theorem shows the relation between fuzzy ESS and fuzzy Nash quilibrium. The numerical results illustrate the proposed method is an appropriate generalization of ESS to fuzzy payoff games.


title: Spectrum of Higher excitations of $B$ and $D$ mesons in the relativistic potential model

abstract: We study the masses and wave functions of heavy-light quark-antiquark system in the relativistic potential model, where we focus on the higher excited states of $B$ and $D$ mesons. The resonances of $D_J(2740)$, $D_J^*(2760)$, $D_J^*(3000)$ and $D_{sJ}^*(2860)$ recently observed in experiments are considered. We find that the four resonances can be identified as the $|1^{1,3}D_2\rangle$, $|1^3D_3\rangle$, $|1^{1,3}F_3\rangle$ and $|1^3D_3\rangle$ states due to the prediction to the states with $l=2$ and $l=3$ in the potential-model calculation. The masses of $n=2$ excited states are also calculated. All the observed mesons can be accommodated successfully in the potential model.


title: Comment on "Clustering by fast search and find of density peaks"

abstract: In [1], a clustering algorithm was given to find the centers of clusters quickly. However, the accuracy of this algorithm heavily depend on the threshold value of d-c. Furthermore, [1] has not provided any efficient way to select the threshold value of d-c, that is, one can have to estimate the value of d_c depend on one's subjective experience. In this paper, based on the data field [2], we propose a new way to automatically extract the threshold value of d_c from the original data set by using the potential entropy of data field. For any data set to be clustered, the most reasonable value of d_c can be objectively calculated from the data set by using our proposed method. The same experiments in [1] are redone with our proposed method on the same experimental data set used in [1], the results of which shows that the problem to calculate the threshold value of d_c in [1] has been solved by using our method.


title: Retrotransposon mobilization in cancer genomes

abstract: The Cancer Genome Atlas project was initiated by the National Cancer Institute in order to characterize the genomes of hundreds of tumors of various cancer types. While much effort has been put into detecting somatic genomic variation in these data, somatic structural variation induced by the activity of transposable element insertions has not been reported. Transposable elements (TEs) are particularly relevant in cancer in part because of several known cases in which a TE insertion is directly linked to cancer formation and studies linking the epigenetic status of retrotransposons to carcinogenesis and patient outcome. Additionally, evidence for somatic retrotransposition in eukaryotic genomes suggests that some tissues and therefore some cancer types may be disposed to increased retrotransposition. We built upon previous work to develop a highly efficient computational pipeline for the detection of non-reference mobile ele- ment insertions from high-throughput paired-end whole genome sequencing data that is capable of detecting breakpoints through a local assembly strategy. Using this, we analyzed 33 whole genome tumor datasets with paired normal samples from TCGA across 3 different cancer types: glioblastoma multiforme (GBM), ovarian serous cystoadenocarcinoma (OV) and colorectal ade- nocarcinoma (COAD). We detected 72 insertions in colon samples, almost all of them LINE-1 elements, and none in GBM or OV. The amount of somatic retrotransposition varies widely between samples with 61 insertions present in one case. The lack of somatic retrotransposon insertions in GBM and OV samples suggests that TE activity in cancer is restricted to certain cancer types.


title: On the Tong-type identity and the mean square of the error term for an extended Selberg class

abstract: In 1956, Tong established an asymptotic formula for the mean square of the error term in the summatory function of the Piltz divisor function $d_3(n).$ The aim of this paper is to generalize Tong's method to a class of Dirichlet series that satisfy a functional equation. As an application, we can establish the asymptotic formulas for the mean square of the error terms for a class of functions in the well-known Selberg class. The Tong-type identity and formula established in this paper can be viewed as an analogue of the well-known Vorono\"i's formula.


title: Mean square of the error term in the asymmetric many dimensional divisor problem

abstract: Let $\ba=(a_1,a_2,\ldots,a_k)$, where $a_j \ (j=1,\ldots,k)$ are positive integers such that $a_1 \leq a_2 \leq \cdots \leq a_k$. Let $d(\ba;n)=\sum_{n_1^{a_1}\cdots n_k^{a_k}=n}1$ and $\Delta(\ba;x)$ be the error term of the summatory function of $d(\ba;n)$. In this paper we show an asymptotic formula of the mean square of $\Delta(\ba;x)$ under a certain condition. Furthermore, in the cases $k=2$ and 3, we give unconditional asymptotic formulas for these mean squares.


title: Generalized Toeplitz plus Hankel operators: kernel structure and defect numbers

abstract: Generalized Toeplitz plus Hankel operators $T(a)+H_{\alpha}(b)$ generated by functions $a,b$ and a linear fractional Carleman shift $\alpha$ changing the orientation of the unit circle $\mathbb{T}$ are considered on the Hardy spaces $H^p(\mathbb{T})$, $1<p<\infty$. If the functions $a,b\in L^\infty(\mathbb{T})$ and satisfy the condition $$ a(t) a(\alpha(t))=b(t) b(\alpha(t)),\quad t\in \mathbb{T}, $$ the defect numbers of the operators $T(a)+H_{\alpha}(b)$ are established and an explicit description of the structure of the kernels and cokernels of the operators mentioned is given.


title: Some Gabidulin Codes cannot be List Decoded Efficiently at any Radius

abstract: Gabidulin codes can be seen as the rank-metric equivalent of Reed-Solomon codes. It was recently proven, using subspace polynomials, that Gabidulin codes cannot be list decoded beyond the so-called Johnson radius. In another result, cyclic subspace codes were constructed by inspecting the connection between subspaces and their subspace polynomials. In this paper, these subspace codes are used to prove two bounds on the list size in decoding certain Gabidulin codes. The first bound is an existential one, showing that exponentially-sized lists exist for codes with specific parameters. The second bound presents exponentially-sized lists explicitly, for a different set of parameters. Both bounds rule out the possibility of efficiently list decoding several families of Gabidulin codes for any radius beyond half the minimum distance. Such a result was known so far only for non-linear rank-metric codes, and not for Gabidulin codes. Using a standard operation called lifting, identical results also follow for an important class of constant dimension subspace codes.


title: A note on the reciprocal theorem for the swimming of simple bodies

abstract: The use of the reciprocal theorem has been shown to be a powerful tool to obtain the swimming velocity of bodies at low Reynolds number. The use of this method for lower-dimensional swimmers, such as cylinders and sheets, is more problematic because of the undefined or ill-posed resistance problems that arise in the rigid-body translation of these shapes. Here we show that this issue can be simply circumvented and give concise formulas obtained via the reciprocal theorem for the self-propelled motion of deforming two-dimensional bodies. We also discuss the connection between these formulae and Fax\'en's laws.


title: Optional Decomposition for continuous semimartingales under arbitrary filtrations

abstract: We present an elementary treatment of the Optional Decomposition Theorem for continuous semimartingales and general filtrations. This treatment does not assume the existence of equivalent local martingale measure(s), only that of strictly positive local martingale deflator(s).


title: On parabolic Kazhdan-Lusztig R-polynomials for the symmetric group

abstract: Parabolic $R$-polynomials were introduced by Deodhar as parabolic analogues of ordinary $R$-polynomials defined by Kazhdan and Lusztig. In this paper, we are concerned with the computation of parabolic $R$-polynomials for the symmetric group. Let $S_n$ be the symmetric group on $\{1,2,\ldots,n\}$, and let $S=\{s_i\,|\, 1\leq i\leq n-1\}$ be the generating set of $S_n$, where for $1\leq i\leq n-1$, $s_i$ is the adjacent transposition. For a subset $J\subseteq S$, let $(S_n)_J$ be the parabolic subgroup generated by $J$, and let $(S_n)^{J}$ be the set of minimal coset representatives for $S_n/(S_n)_J$. For $u\leq v\in (S_n)^J$ in the Bruhat order and $x\in \{q,-1\}$, let $R_{u,v}^{J,x}(q)$ denote the parabolic $R$-polynomial indexed by $u$ and $v$. Brenti found a formula for $R_{u,v}^{J,x}(q)$ when $J=S\setminus\{s_i\}$, and obtained an expression for $R_{u,v}^{J,x}(q)$ when $J=S\setminus\{s_{i-1},s_i\}$. We introduce a statistic on pairs of permutations in $(S_n)^J$ for $J=S\setminus\{s_{i-2},s_{i-1},s_i\}$. Then we give a formula for $R_{u,v}^{J,x}(q)$, where $J=S\setminus\{s_{i-2},s_{i-1},s_i\}$ and $i$ appears after $i-1$ in $v$. We also pose a conjecture for $R_{u,v}^{J,x}(q)$, where $J=S\setminus\{s_{k},s_{k+1},\ldots,s_i\}$ with $1\leq k\leq i\leq n-1$ and the elements $k+1,k+2,\ldots, i$ appear in increasing order in $v$.


title: Correlation Adaptive Subspace Segmentation by Trace Lasso

abstract: This paper studies the subspace segmentation problem. Given a set of data points drawn from a union of subspaces, the goal is to partition them into their underlying subspaces they were drawn from. The spectral clustering method is used as the framework. It requires to find an affinity matrix which is close to block diagonal, with nonzero entries corresponding to the data point pairs from the same subspace. In this work, we argue that both sparsity and the grouping effect are important for subspace segmentation. A sparse affinity matrix tends to be block diagonal, with less connections between data points from different subspaces. The grouping effect ensures that the highly corrected data which are usually from the same subspace can be grouped together. Sparse Subspace Clustering (SSC), by using $\ell^1$-minimization, encourages sparsity for data selection, but it lacks of the grouping effect. On the contrary, Low-Rank Representation (LRR), by rank minimization, and Least Squares Regression (LSR), by $\ell^2$-regularization, exhibit strong grouping effect, but they are short in subset selection. Thus the obtained affinity matrix is usually very sparse by SSC, yet very dense by LRR and LSR. In this work, we propose the Correlation Adaptive Subspace Segmentation (CASS) method by using trace Lasso. CASS is a data correlation dependent method which simultaneously performs automatic data selection and groups correlated data together. It can be regarded as a method which adaptively balances SSC and LSR. Both theoretical and experimental results show the effectiveness of CASS.


title: Correntropy Induced L2 Graph for Robust Subspace Clustering

abstract: In this paper, we study the robust subspace clustering problem, which aims to cluster the given possibly noisy data points into their underlying subspaces. A large pool of previous subspace clustering methods focus on the graph construction by different regularization of the representation coefficient. We instead focus on the robustness of the model to non-Gaussian noises. We propose a new robust clustering method by using the correntropy induced metric, which is robust for handling the non-Gaussian and impulsive noises. Also we further extend the method for handling the data with outlier rows/features. The multiplicative form of half-quadratic optimization is used to optimize the non-convex correntropy objective function of the proposed models. Extensive experiments on face datasets well demonstrate that the proposed methods are more robust to corruptions and occlusions.


title: Emergence in Holographic Scenarios for Gravity

abstract: 'Holographic' relations between theories have become an important theme in quantum gravity research. These relations entail that a theory without gravity is equivalent to a gravitational theory with an extra spatial dimension. The idea of holography was first proposed in 1993 by Gerard 't Hooft on the basis of his studies of evaporating black holes. Soon afterwards the holographic 'AdS/CFT' duality was introduced, which since has been intensively studied in the string theory community and beyond. Recently, Erik Verlinde has proposed that even Newton's law of gravitation can be related holographically to the `thermodynamics of information' on screens. We discuss these scenarios, with special attention to the status of the holographic relation in them and to the question of whether they make gravity and spacetime emergent. We conclude that only Verlinde's scheme straightfowardly instantiates emergence. However, assuming a non-standard interpretation of AdS/CFT may create room for the emergence of spacetime and gravity there as well.


title: Sign singularity and flares in solar active region NOAA 11158

abstract: Solar Active Region NOAA 11158 has hosted a number of strong flares, including one X2.2 event. The complexity of current density and current helicity are studied through cancellation analysis of their sign-singular measure, which features power-law scaling. Spectral analysis is also performed, revealing the presence of two separate scaling ranges with different spectral index. The time evolution of parameters is discussed. Sudden changes of the cancellation exponents at the time of large flares, and the presence of correlation with EUV and X-ray flux, suggest that eruption of large flares can be linked to the small scale properties of the current structures.


title: Explicit p-adic unit-root formulas for hypersurfaces

abstract: We prove a statement on p-adic continuity of matrices of coefficients of the logarithm of the Artin-Mazur formal group law associated to the middle cohomology of a hypersurface. As Jan Stienstra discovered in 1986, the entries of these matrices are coefficients of powers of the equation of the hypersurface, and in certain cases they satisfy congruences of Atkin and Swinnerton-Dyer type. These congruences imply that eigenvalues of our limiting matrices are eigenvalues of Frobenius of zero p-adic valuation on the middle crystalline cohomology of the fibre at p.


title: Grouping Entities in a Fleet by Community Detection in Network of Regression Models

abstract: This paper deals with grouping of entities in a fleet based on their behavior. The behavior of each entity is characterized by its historical dataset, which comprises a dependent variable, typically a performance measure, and multiple independent variables, typically operating conditions. A regression model built using this dataset is used as a proxy for the behavior of an entity. The validation error of the model of one unit with respect to the dataset of another unit is used as a measure of the difference in behavior between two units. Grouping entities based on their behavior is posed as a graph clustering problem with nodes representing regression models and edge weights given by the validation errors. Specifically, we find communities in this graph, having dense edge connections within and sparse connections outside. A way to assess the goodness of grouping and finding the optimum number of divisions is proposed. The algorithm and measures proposed are illustrated with application to synthetic data.


title: Regularized maximum correntropy machine

abstract: In this paper we investigate the usage of regularized correntropy framework for learning of classifiers from noisy labels. The class label predictors learned by minimizing transitional loss functions are sensitive to the noisy and outlying labels of training samples, because the transitional loss functions are equally applied to all the samples. To solve this problem, we propose to learn the class label predictors by maximizing the correntropy between the predicted labels and the true labels of the training samples, under the regularized Maximum Correntropy Criteria (MCC) framework. Moreover, we regularize the predictor parameter to control the complexity of the predictor. The learning problem is formulated by an objective function considering the parameter regularization and MCC simultaneously. By optimizing the objective function alternately, we develop a novel predictor learning algorithm. The experiments on two chal- lenging pattern classification tasks show that it significantly outperforms the machines with transitional loss functions.


title: Results from T2K

abstract: The Tokai to Kamioka (T2K) experiment uses a beam of muon neutrinos, produced at the J-PARC facility on the east coast of Japan, to study neutrino oscillations driven by the $\Delta m_{\textrm{atm}}^{2}$ mass splitting. A suite of near detectors located 280~m from the secondary beam source samples the unoscillated beam, and the Super-Kamiokande water Cherenkov detector samples the beam at a baseline of 295~km, and at a point $2.5^\circ$ off the beam axis, giving a narrow-band beam centred around 600~MeV. Analyses of the oscillation channels $\nu_\mu \to \nu_e$ and $\nu_\mu \to \nu_\mu$ allow measurements to be made of $\theta_{13}$, $\theta_{23}$ and $\Delta m^2_{\textrm{atm}}$, and, ultimately, for weak constraints to be placed on the CP-violating phase $\delta_{CP}$. In addition to these analyses, T2K has made world-leading neutrino cross-section measurements in the sub-GeV energy range, utilising both the near and far detectors. The present work will discuss both the most recent measurements of the oscillation parameters, and these cross section analyses.


title: Pairwise Constraint Propagation on Multi-View Data

abstract: This paper presents a graph-based learning approach to pairwise constraint propagation on multi-view data. Although pairwise constraint propagation has been studied extensively, pairwise constraints are usually defined over pairs of data points from a single view, i.e., only intra-view constraint propagation is considered for multi-view tasks. In fact, very little attention has been paid to inter-view constraint propagation, which is more challenging since pairwise constraints are now defined over pairs of data points from different views. In this paper, we propose to decompose the challenging inter-view constraint propagation problem into semi-supervised learning subproblems so that they can be efficiently solved based on graph-based label propagation. To the best of our knowledge, this is the first attempt to give an efficient solution to inter-view constraint propagation from a semi-supervised learning viewpoint. Moreover, since graph-based label propagation has been adopted for basic optimization, we develop two constrained graph construction methods for interview constraint propagation, which only differ in how the intra-view pairwise constraints are exploited. The experimental results in cross-view retrieval have shown the promising performance of our inter-view constraint propagation.


title: Partner orbits and action differences on compact factors of the hyperbolic plane. Part I: Sieber-Richter pairs

abstract: Physicists have argued that periodic orbit bunching leads to universal spectral fluctuations for chaotic quantum systems. To establish a more detailed mathematical understanding of this fact, it is first necessary to look more closely at the classical side of the problem and determine orbit pairs consisting of orbits which have similar actions. In this paper we specialize to the geodesic flow on compact factors of the hyperbolic plane as a classical chaotic system. We prove the existence of a periodic partner orbit for a given periodic orbit which has a small-angle self-crossing in configuration space which is a `2-encounter'; such configurations are called `Sieber-Richter pairs' in the physics literature. Furthermore, we derive an estimate for the action difference of the partners. In the second part of this paper [13], an inductive argument is provided to deal with higher-order encounters.


title: Optical and X-ray profiles in the REXCESS sample of galaxy clusters

abstract: Galaxy clusters' structure, dominated by dark matter, is traced by member galaxies in the optical and hot intra-cluster medium (ICM) in X-rays. We compare the radial distribution of these components and determine the mass-to-light ratio vs. system mass relation. We use 14 clusters from the REXCESS sample which is representative of clusters detected in X-ray surveys. Photometric observations with the Wide Field Imager on the 2.2m MPG/ESO telescope are used to determine the number density profiles of the galaxy distribution out to $r_{200}$. These are compared to electron density profiles of the ICM obtained using XMM-Newton, and dark matter profiles inferred from scaling relations and an NFW model. While red sequence galaxies trace the total matter profile, the blue galaxy distribution is much shallower. We see a deficit of faint galaxies in the central regions of massive and regular clusters, and strong suppression of bright and faint blue galaxies in the centres of cool-core clusters, attributable to ram pressure stripping of gas from blue galaxies in high density regions of ICM and disruption of faint galaxies due to galaxy interactions. We find a mass-to-light ratio vs. mass relation within $r_{200}$ of $\left(3.0\pm0.4\right) \times 10^2\, h\,\mathrm{M}_{\odot}\,\mathrm{L}_{\odot}^{-1}$ at $10^{15}\,\mathrm{M}_{\odot}$ with slope $0.16 \pm 0.14$, consistent with most previous results.


title: Anderson transition at 2 dimensional growth rate on antitrees and spectral theory for operators with one propagating channel

abstract: We show that the Anderson model has a transition from localization to delocalization at exactly 2 dimensional growth rate on antitrees with normalized edge weights which are certain discrete graphs. The kinetic part has a one-dimensional structure allowing a description through transfer matrices which involve some Schur complement. For such operators we introduce the notion of having one propagating channel and extend theorems from the theory of one-dimensional Jacobi operators that relate the behavior of transfer matrices with the spectrum. These theorems are then applied to the considered model. In essence, in a certain energy region the kinetic part averages the random potentials along shells and the transfer matrices behave similar as for a one-dimensional operator with random potential of decaying variance. At $d$ dimensional growth for $d>2$ this effective decay is strong enough to obtain absolutely continuous spectrum, whereas for some uniform $d$ dimensional growth with $d<2$ one has pure point spectrum in this energy region. At exactly uniform $2$ dimensional growth also some singular continuous spectrum appears, at least at small disorder. As a corollary we also obtain a change from singular spectrum ($d\leq 2$) to absolutely continuous spectrum ($d\geq 3)$ for random operators of the type $\mathcal{P}_r \Delta_d \mathcal{P}_r+\lambda \mathcal{V}$ on $\mathbb{Z}^d$, where $\mathcal{P}_r$ is an orthogonal radial projection, $\Delta_d$ the discrete adjacency operator (Laplacian) on $\mathbb{Z}^d$ and $\lambda \mathcal{V}$ a random potential.


title: Physics of the cosmic microwave background anisotropy

abstract: Observations of the cosmic microwave background (CMB), especially of its frequency spectrum and its anisotropies, both in temperature and in polarization, have played a key role in the development of modern cosmology and our understanding of the very early universe. We review the underlying physics of the CMB and how the primordial temperature and polarization anisotropies were imprinted. Possibilities for distinguishing competing cosmological models are emphasized. The current status of CMB experiments and experimental techniques with an emphasis toward future observations, particularly in polarization, is reviewed. The physics of foreground emissions, especially of polarized dust, is discussed in detail, since this area is likely to become crucial for measurements of the B modes of the CMB polarization at ever greater sensitivity.


title: Partner orbits and action differences on compact factors of the hyperbolic plane. II: Higher-order encounters

abstract: Physicists have argued that periodic orbit bunching leads to universal spectral fluctuations for chaotic quantum systems. To establish a more detailed mathematical understanding of this fact, it is first necessary to look more closely at the classical side of the problem and determine orbit pairs consisting of orbits which have similar actions. We specialize to the geodesic flow on compact factors of the hyperbolic plane as a classical chaotic system. The companion paper [Huynh and Kunze, 2015] proved the existence of a unique periodic partner orbit for a given periodic orbit with a small-angle self-crossing in configuration space that is a 2-encounter and derived an estimate for the action difference of the orbit pair. In this paper, we provide an inductive argument to deal with higher-order encounters: we prove that a given periodic orbit including an $L$-parallel encounter has $(L-1)!-1$ partner orbits; we construct partner orbits and give estimates for the action differences between orbit pairs.


title: Quantum Fisher information and symmetric logarithmic derivative via anti-commutators

abstract: Symmetric logarithmic derivative (SLD) is a key quantity to obtain quantum Fisher information (QFI) and to construct the corresponding optimal measurements. Here we develop a method to calculate the SLD and QFI via anti-commutators. This method is originated from the Lyapunov representation and would be very useful for cases that the anti-commutators among the state and its partial derivative exhibits periodic properties. As an application, we discuss a class of states, whose squares linearly depend on the states themselves, and give the corresponding analytical expressions of SLD and QFI. A noisy scenario of this class of states is also considered and discussed. Finally, we readily apply the method to the block-diagonal states and the multi-parameter estimation problems.


title: Cosmology from the EoR/Cosmic Dawn with the SKA

abstract: The SKA will build upon early detections of the EoR by precursor instruments, such as MWA, PAPER, and LOFAR, and planned instruments, such as HERA, to make the first high signal-to-noise measurements of fluctuations in the 21 cm brightness temperature from both reionization and the cosmic dawn. This will allow both imaging and statistical maps of the 21cm signal at redshifts z = 6 - 27 and constrain the underlying cosmology and evolution of the density field. This era includes nearly 60% of the (in principle) observable volume of the Universe and many more linear modes than the CMB, presenting an opportunity for SKA to usher in a new level of precision cosmology. This optimistic picture is complicated by the need to understand and remove the effect of astrophysics, so that systematics rather than statistics will limit constraints. This chapter describes the cosmological, as opposed to astrophysical, information available to SKA. Key areas for discussion include: cosmological parameters constraints using 21cm fluctuations as a tracer of the density field; lensing of the 21cm signal, constraints on heating via exotic physics such as decaying or annihilating dark matter; impact of fundamental physics such as non-Gaussianity or warm dark matter on the source population; and constraints on the bulk flows arising from the decoupling of baryons and photons at z = 1000. The chapter explores the path to separating cosmology from astrophysics, for example via velocity space distortions and separation in redshift. We discuss new opportunities for extracting cosmology made possible by the sensitivity of SKA Phase 1 and explores the advances achievable with SKA2.


title: Image classification by visual bag-of-words refinement and reduction

abstract: This paper presents a new framework for visual bag-of-words (BOW) refinement and reduction to overcome the drawbacks associated with the visual BOW model which has been widely used for image classification. Although very influential in the literature, the traditional visual BOW model has two distinct drawbacks. Firstly, for efficiency purposes, the visual vocabulary is commonly constructed by directly clustering the low-level visual feature vectors extracted from local keypoints, without considering the high-level semantics of images. That is, the visual BOW model still suffers from the semantic gap, and thus may lead to significant performance degradation in more challenging tasks (e.g. social image classification). Secondly, typically thousands of visual words are generated to obtain better performance on a relatively large image dataset. Due to such large vocabulary size, the subsequent image classification may take sheer amount of time. To overcome the first drawback, we develop a graph-based method for visual BOW refinement by exploiting the tags (easy to access although noisy) of social images. More notably, for efficient image classification, we further reduce the refined visual BOW model to a much smaller size through semantic spectral clustering. Extensive experimental results show the promising performance of the proposed framework for visual BOW refinement and reduction.


title: Gravitation and the earth sciences: the contributions of Robert Dicke

abstract: The American physicist Robert Dicke (1916-1997) is primarily known for his important contributions to gravitation, cosmology, and microwave physics. Much less known is his work in geophysics and related areas of the earth sciences in which he engaged himself and several of his collaborators in the period from about 1957 to 1969. Much of Dicke's work in geophysics was motivated by his wish to obtain evidence in support of the non-Einstenian Brans-Dicke theory of gravitation. The idea of a decreasing gravitational constant, as entertained by Dicke and some other physicists (including Pascual Jordan), played some role in the process that transformed the static picture of the Earth to a dynamical picture. It is not by accident that Dicke appears as a minor actor in histories of the plate tectonic revolution in the 1960s.


title: Double Higgs mechanisms, supermassive stable particles and the vacuum energy

abstract: In the present work it is shown that some specific double Higgs like mechanisms may have interesting cosmological applications. A hidden scenario which cast long lived super heavy particles together with an extremely light particle $a$ with mass $m_a\sim 10^{-32}-10^{-33}$eV is presented. The potential energy of this particle models the vacuum energy density of the universe $\rho_c\simeq 10^{-47}\;\hbox{GeV}^4$. The construction of such scenario is non trivial since the presence of light particles may spoil the stability of the heavy particles. However, double Higgs mechanisms may be helpful for overcoming this problem. The hidden sector we propose include fermions with masses near the neutrino mass $m_\nu\sim 10^{-2}$eV which arise in terms of a see saw mechanism. Besides, the super heavy particles acquire a mass due to a double Higgs like mechanism of the order of the GUT scale. The gauge group of the model is $\hbox{SU(2)}_L$ and the scalars of the double Higgs mechanism are not charged under these interactions. The light particle $a$ is the Goldstone boson associated to a Peccei-Quinn like symmetry in the double Higgs model. In addition, the double Higgs mechanism posses another CP odd scalar $A^0$, which acquire a mass of the order of the GUT scale. We show that if there is no direct coupling between $A^0$ and $a$, even in presence of indirect couplings, the $A^0$ particle is long lived an may appear in events above the GKZ bound in present times.


title: Deformations of semisimple Poisson pencils of hydrodynamic type are unobstructed

abstract: We prove that the bihamiltonian cohomology of a semisimple pencil of Poisson brackets of hydrodynamic type vanishes for almost all degrees. This implies the existence of a full dispersive deformation of a semisimple bihamiltonian structure of hydrodynamic type starting from any infinitesimal deformation.


title: The f-Chromatic Index of Claw-free Graphs Whose f-Core is 2-regular

abstract: Let $G$ be a graph and $f:V(G)\rightarrow \mathbb{N}$ be a function. An $f$-coloring of a graph $G$ is an edge coloring such that each color appears at each vertex $v\in V(G)$ at most $f (v)$ times. The minimum number of colors needed to $f$-color $G$ is called the $f$-chromatic index of $G$ and is denoted by $\chi'_{f}(G)$. It was shown that for every graph $G$, $\Delta_{f}(G)\le \chi'_{f}(G)\le \Delta_{f}(G)+1$, where $\Delta_{f}(G)=\max_{v\in V(G)} \lceil \frac{d_G(v)}{f(v)} \rceil$. A graph $G$ is said to be $f$-Class $1$ if $\chi'_{f}(G)=\Delta_{f}(G)$, and $f$-Class $2$, otherwise. Also, $G_{\Delta_f}$ is the induced subgraph of $G$ on $\{v\in V(G):\,\frac{d_G(v)}{f(v)}=\Delta_{f}(G)\}$. In this paper, we show that if $G$ is a connected graph with $\Delta(G_{\Delta_f})\leq 2$ and $G$ has an edge cut of size at most $\Delta_f(G) -2$ which is a matching or a star, then $G$ is $f$-Class $1$. Also, we prove that if $G$ is a connected graph and every connected component of $G_{\Delta_f}$ is a unicyclic graph or a tree and $G_{\Delta_f}$ is not $2$-regular, then $G$ is $f$-Class $1$. Moreover, we show that except one graph, every connected claw-free graph $G$ whose $f$-core is $2$-regular with a vertex $v$ such that $f(v)\neq 1$ is $f$-Class $1$.


title: Photon stimulated desorption of and nuclear resonant scattering by noble gas atoms at solid surfaces

abstract: When a noble gas atom approaches a solid surface, it is adsorbed via the Van der Waals force, which is called physisorption. In this thesis, several experimental results concerning physisorbed atoms at surfaces are presented. First, photon stimulated desorption of Xe atoms from a Au substrate using nano-second laser is presented. With the time-of-flight measurements, the translational temperature and the desorption yield of desorbing Xe as a function of laser fluence are obtained. It is discovered that there are non-thermal and thermal desorption pathways. It is discussed that the former path involves a transient formation of the negative ion of Xe. The desorption flux dependence of the thermal pathway is also investigated. We found that at a large desorption fluxes the desorption flow is thermalized due to the post-desorption collisions. The resultant velocity and the temperature of the flow is found to be in good agreement with the theoretical predictions based on the Knudsen layer formation. Lastly, nuclear resonant scattering of synchrotron radiation by the multi- and mono-layer of $^{83}$Kr at a surface of the titanium oxide is presented. The use of the noble gas atoms as the probes of the electric field gradient at the solid surfaces is discussed.


title: A Hybrid Approach to Web Service Recommendation Based on QoS-Aware Rating and Ranking

abstract: As the number of Web services with the same or similar functions increases steadily on the Internet, nowadays more and more service consumers pay great attention to the non-functional properties of Web services, also known as quality of service (QoS), when finding and selecting appropriate Web services. For most of the QoS-aware Web service recommendation systems, the list of recommended Web services is generally obtained based on a rating-oriented prediction approach, aiming at predicting the potential ratings that an active user may assign to the unrated services as accurately as possible. However, in some application scenarios, high accuracy of rating prediction may not necessarily lead to a satisfactory recommendation result. In this paper, we propose a ranking-oriented hybrid approach by combining the item-based collaborative filtering and latent factor models to address the problem of Web services ranking. In particular, the similarity between two Web services is measured in terms of the correlation coefficient between their rankings instead of between the traditional QoS ratings. Besides, we also improve the measure NDCG (Normalized Discounted Cumulative Gain) for evaluating the accuracy of the top K recommendations returned in ranked order. Comprehensive experiments on the QoS data set composed of real-world Web services are conducted to test our approach, and the experimental results demonstrate that our approach outperforms other competing approaches.


title: Non-perturbative aspects of particle acceleration in non-linear electrodynamics

abstract: We undertake an investigation of particle acceleration in the context of non-linear electrodynamics. We deduce the maximum energy that an electron can gain in a non-linear density wave in a magnetised plasma, and we show that an electron can `surf' a sufficiently intense Born-Infeld electromagnetic plane wave and be strongly accelerated by the wave. The first result is valid for a large class of physically reasonable modifications of the linear Maxwell equations, whilst the second result exploits the special mathematical structure of Born-Infeld theory.


title: On the Continual Theory of Flexoelectric Deformations

abstract: In many cases the correct theoretical description of flexoelectricity requires the consideration of the finite size of a body and is reduced to the solution of boundary problems for partial differential equations. Generally speaking, in this case one should solve jointly the equations of polarization equilibrium and equations of elastic equilibrium. However, due to the fact that typically flexoelectric moduli are very small, usually one can consider the solution of polarization equilibrium equations at a given elastic strain (direct flexoelectric effect) or the solution of elastic equilibrium equations at given polarization (converse flexoelectric effect). Derivation of the polarization equilibrium equations and boundary conditions for them can be made in the quite usual way. Solution of these equations usually is not too difficult problem. On the contrary description of converse flexoelectric effect is more complicated problem. Inter alia effective solution of corresponded boundary problems requires the development of special mathematical methods. The subject of this paper is a detailed discussion of the relevant theory focuses on the converse flexoelectric effect. It is also considered some particular examples illustrating the application of the general theory.


title: WiGest: A Ubiquitous WiFi-based Gesture Recognition System

abstract: We present WiGest: a system that leverages changes in WiFi signal strength to sense in-air hand gestures around the user's mobile device. Compared to related work, WiGest is unique in using standard WiFi equipment, with no modi-fications, and no training for gesture recognition. The system identifies different signal change primitives, from which we construct mutually independent gesture families. These families can be mapped to distinguishable application actions. We address various challenges including cleaning the noisy signals, gesture type and attributes detection, reducing false positives due to interfering humans, and adapting to changing signal polarity. We implement a proof-of-concept prototype using off-the-shelf laptops and extensively evaluate the system in both an office environment and a typical apartment with standard WiFi access points. Our results show that WiGest detects the basic primitives with an accuracy of 87.5% using a single AP only, including through-the-wall non-line-of-sight scenarios. This accuracy in-creases to 96% using three overheard APs. In addition, when evaluating the system using a multi-media player application, we achieve a classification accuracy of 96%. This accuracy is robust to the presence of other interfering humans, highlighting WiGest's ability to enable future ubiquitous hands-free gesture-based interaction with mobile devices.


title: On Monoid Congruences of Commutative Semigroups

abstract: In this paper we characterize the monoid congruences of commutative semigroups by the help of the notion of the separator of subsets of semigroups. We show that every monoid congruence of a commutative semigroup S can be constructed by the help of subsets A of S whose separator is not empty.


title: Influence and optimization of the electrodes position in a piezoelectric energy harvesting flag

abstract: Fluttering piezoelectric plates may harvest energy from a fluid flow by converting the plate's mechanical deformation into electric energy in an output circuit. This work focuses on the influence of the arrangement of the piezoelectric electrodes along the plate's surface on the energy harvesting efficiency of the system, using a combination of experiments and numerical simulations. A weakly non-linear model of a plate in axial flow, equipped with a discrete number of piezoelectric patches is derived and confronted to experimental results. Numerical simulations are then used to optimize the position and dimensions of the piezoelectric electrodes. These optimal configurations can be understood physically in the limit of small and large electromechanical coupling.


title: Ineffective descent of genus one curves

abstract: Raynaud proved in 1968 that etale descent of genus one curves is not effective in general. In this paper we provide an alternative, simplified construction of this phenomenon. Our counterexample is fully explicit.


title: A Novel Compressed Sensing Scheme for Photoacoustic Tomography

abstract: Speeding up the data acquisition is one of the central aims to advance tomographic imaging. On the one hand, this reduces motion artifacts due to undesired movements, and on the other hand this decreases the examination time for the patient. In this article, we propose a new scheme for speeding up the data collection process in photoacoustic tomography. Our proposal is based on compressed sensing and reduces acquisition time and system costs while maintaining image quality. As measurement data we use random combinations of pressure values that we use to recover a complete set of pressure data prior to the actual image reconstruction. We obtain theoretical recovery guarantees for our compressed sensing scheme and support the theory by reconstruction results on simulated data as well as on experimental data.


title: Nuclear effects in neutrinoproduction of pions

abstract: In this paper we study nuclear effects in the neutrinoproduction of pions. We found that in a Bjorken kinematics, for moderate $x_{B}$ accessible in ongoing and forthcoming neutrino experiments the cross-section is dominated by the incoherent contribution; the coherent contribution becomes visible only for small $|t|\lesssim1/R_{A}^{2}$, which requires $x_{B}\lesssim0.1$. Our results could be relevant to the kinematics of the ongoing MINERvA experiment in ME configuration. We provide a code which could be used for evaluation of the $\nu$DVMP observables using different parametrizations of GPDs and different models of nuclear structure.


title: Continuous Hamiltonian dynamics and area-preserving homeomorphism group of $D^2$

abstract: The main purpose of this paper is to propose a scheme of a proof of the nonsimpleness of the group $Homeo^\Omega(D^2,\partial D^2)$ of area preserving homeomorphisms of the 2-disc $D^2$. We first establish the existence of Alexander isotopy in the category of Hamiltonian homeomorphisms. This reduces the question of extendability of the well-known Calabi homomorphism ${\rm Cal}:Diff^\Omega(D^1,\partial D^2) \to \mathbb R$ to a homomorphism $\overline{{\rm Cal}}:Hameo(D^2,\partial D^2) \to \mathbb R$ to that of the vanishing of the basic phase function $f_{\underline{\mathbb F}}$, a Floer theoretic graph selector previously constructed by the author, that is associated to the graph of the topological Hamiltonian loop and its normalized Hamiltonian $\underline{F}$ on $S^2$ that is obtained via the natural embedding $D^2 \hookrightarrow S^2$. Here $Hameo(D^2,\partial D^2)$ is the group of Hamiltonian homeomorphisms introduced by M\"uller and the author. We then provide an evidence of this vanishing conjecture by proving the conjecture for the special class of \emph{weakly graphical} topological Hamiltonian loops on $D^2$ via a study of the associated Hamilton-Jacobi equation.


title: Some Insights About the Small Ball Probability Factorization for Hilbert Random Elements

abstract: Asymptotic factorizations for the small-ball probability (SmBP) of a Hilbert valued random element $X$ are rigorously established and discussed. In particular, given the first $d$ principal components (PCs) and as the radius $\varepsilon$ of the ball tends to zero, the SmBP is asymptotically proportional to (a) the joint density of the first $d$ PCs, (b) the volume of the $d$-dimensional ball with radius $\varepsilon$, and (c) a correction factor weighting the use of a truncated version of the process expansion. Moreover, under suitable assumptions on the spectrum of the covariance operator of $X$ and as $d$ diverges to infinity when $\varepsilon$ vanishes, some simplifications occur. In particular, the SmBP factorizes asymptotically as the product of the joint density of the first $d$ PCs and a pure volume parameter. All the provided factorizations allow to define a surrogate intensity of the SmBP that, in some cases, leads to a genuine intensity. To operationalize the stated results, a non-parametric estimator for the surrogate intensity is introduced and it is proved that the use of estimated PCs, instead of the true ones, does not affect the rate of convergence. Finally, as an illustration, simulations in controlled frameworks are provided.

categories: math.PR math.ST stat.AP stat.ME stat.ML stat.TH


title: Information Theory and its Relation to Machine Learning

abstract: In this position paper, I first describe a new perspective on machine learning (ML) by four basic problems (or levels), namely, "What to learn?", "How to learn?", "What to evaluate?", and "What to adjust?". The paper stresses more on the first level of "What to learn?", or "Learning Target Selection". Towards this primary problem within the four levels, I briefly review the existing studies about the connection between information theoretical learning (ITL [1]) and machine learning. A theorem is given on the relation between the empirically-defined similarity measure and information measures. Finally, a conjecture is proposed for pursuing a unified mathematical interpretation to learning target selection.


title: On Channel Estimation for 802.11p in Highly Time-Varying Vehicular Channels

abstract: Vehicular wireless channels are highly time-varying and the pilot pattern in the 802.11p orthogonal frequency-division multiplexing frame has been shown to be ill suited for long data packets. The high frame error rate in off-the-shelf chipsets with noniterative receiver configurations is mostly due to the use of outdated channel estimates for equalization. This paper deals with improving the channel estimation in 802.11p systems using a cross layered approach, where known data bits are inserted in the higher layers and a modified receiver makes use of these bits as training data for improved channel estimation. We also describe a noniterative receiver configuration for utilizing the additional training bits and show through simulations that frame error rates close to the case with perfect channel knowledge can be achieved.


title: Entanglement entropy and negativity of disjoint intervals in CFT: Some numerical extrapolations

abstract: The entanglement entropy and the logarithmic negativity can be computed in quantum field theory through a method based on the replica limit. Performing these analytic continuations in some cases is beyond our current knowledge, even for simple models. We employ a numerical method based on rational interpolations to extrapolate the entanglement entropy of two disjoint intervals for the conformal field theories given by the free compact boson and the Ising model. The case of three disjoint intervals is studied for the Ising model and the non compact free massless boson. For the latter model, the logarithmic negativity of two disjoint intervals has been also considered. Some of our findings have been checked against existing numerical results obtained from the corresponding lattice models.


title: On the Degrees of Freedom for Opportunistic Interference Alignment with 1-Bit Feedback: The 3 Cell Case

abstract: Opportunistic interference alignment (OIA) exploits channel randomness and multiuser diversity by user selection. For OIA the transmitter needs channel state information (CSI), which is usually measured on the receiver side and sent to the transmitter side via a feedback channel. Lee and Choi show that $d$ degrees of freedom (DoF) per transmitter are achievable in a 3-cell MIMO interference channel assuming perfect real-valued feedback. However, the feedback of a real-valued variable still requires infinite rate. In this paper, we investigate 1-bit quantization for opportunistic interference alignment (OIA) in 3-cell interference channels. We prove that 1-bit feedback is sufficient to achieve the optimal DoF $d$ in 3-cell MIMO interference channels if the number of users per cell is scaled as ${\rm SNR}^{d^2}$. Importantly, the required number of users for OIA with 1-bit feedback remains the same as with real-valued feedback. For a given system configuration, we provide an optimal choice of the 1-bit quantizer, which captures most of the capacity provided by a system with real-valued feedback. Using our new 1-bit feedback scheme for OIA, we compare OIA with IA and show that OIA has a much lower complexity and provides a better rate in the practical operation region of a cellular communication system.


title: Thompson's group F is 1-counter graph automatic

abstract: It is not known whether Thompson's group F is automatic. With the recent extensions of the notion of an automatic group to graph automatic by Kharlampovich, Khoussainov and Miasnikov and then to C-graph automatic by the authors, a compelling question is whether F is graph automatic or C-graph automatic for an appropriate language class C. The extended definitions allow the use of a symbol alphabet for the normal form language, replacing the dependence on generating set. In this paper we construct a 1-counter graph automatic structure for F based on the standard infinite normal form for group elements.


title: Heisenberg VOAs over Fields of Prime Characteristic and Their Representations

abstract: In this paper, we study Heisenberg vertex algebras over fields of prime characteristic. The new feature is that the Heisenberg vertex algebras are no longer simple unlike in the case of characteristic zero. We then study a family of simple quotient vertex algebras and we show that for each such simple quotient vertex algebra, irreducible modules are unique up to isomorphism and every module is completely reducible. To achieve our goal, we also establish a complete reducibility theorem for a certain category of modules over Heisenberg algebras.


title: Tree-based language complexity of Thompson's group F

abstract: The definition of graph automatic groups by Kharlampovich, Khoussainov and Miasnikov and its extension to C-graph automatic by Murray Elder and the first author raise the question of whether Thompson's group F is graph automatic. We define a language of normal forms based on the combinatorial "caret types" which arise when elements of F are considered as pairs of finite rooted binary trees, which we show to be accepted by a finite state machine with 2 counters, and forms the basis of a 3-counter graph automatic structure for the group.


title: The transverse momentum dependence of charged kaon Bose-Einstein correlations in the SELEX experiment

abstract: We report on the measurement of the one-dimensional charged kaon correlation functions using 600~GeV/{\it c} $\Sigma^-$, $\pi^-$ and 540~GeV/{\it c} $p$ beams from the SELEX~(E781) experiment at the Fermilab Tevatron. $K^{\pm}K^{\pm}$ correlation functions are studied for three transverse pair momentum, $k_T$, ranges and parameterized by a Gaussian form. The emission source radii, $R$, and the correlation strength, $\lambda$, are extracted. The analysis shows a decrease of the source radii with increasing kaon transverse pair momentum for all beam types.


title: Semi-Active Control of the Sway Dynamics for Elevator Ropes

abstract: In this work we study the problem of rope sway dynamics control for elevator systems. We choose to actuate the system with a semi-active damper mounted on the top of the elevator car. We propose nonlinear controllers based on Lyapunov theory, to actuate the semi-active damper and stabilize the rope sway dynamics. We study the stability of the proposed controllers, and test their performances on a numerical example.


title: Clustering based on the In-tree Graph Structure and Affinity Propagation

abstract: A recently proposed clustering method, called the Nearest Descent (ND), can organize the whole dataset into a sparsely connected graph, called the In-tree. This ND-based Intree structure proves able to reveal the clustering structure underlying the dataset, except one imperfect place, that is, there are some undesired edges in this In-tree which require to be removed. Here, we propose an effective way to automatically remove the undesired edges in In-tree via an effective combination of the In-tree structure with affinity propagation (AP). The key for the combination is to add edges between the reachable nodes in In-tree before using AP to remove the undesired edges. The experiments on both synthetic and real datasets demonstrate the effectiveness of the proposed method.


title: Construction and physical properties of Kerr black holes with scalar hair

abstract: Kerr black holes with scalar hair are solutions of the Einstein-Klein-Gordon field equations describing regular (on and outside an event horizon), asymptotically flat black holes with scalar hair (arXiv:1403.2757). These black holes interpolate continuously between the Kerr solution and rotating boson stars in D=4 spacetime dimensions. Here we provide details on their construction, discussing properties of the ansatz, the field equations, the boundary conditions and the numerical strategy. Then, we present an overview of the parameter space of the solutions, and describe in detail the space-time structure of the black holes exterior geometry and of the scalar field for a sample of reference solutions. Phenomenological properties of potential astrophysical interest are also discussed, and the stability properties and possible generalizations are commented on. As supplementary material to this paper we make available numerical data files for the sample of reference solutions discussed, for public use.


title: Some Free Boundary Problems involving Nonlocal Diffusion and Aggregation

abstract: We report on recent progress in the study of evolution processes involving degenerate parabolic equations what may exhibit free boundaries. The equations we have selected follow to recent trends in diffusion theory: considering anomalous diffusion with long-range effects, which leads to fractional operators or other operators involving kernels with large tails; and the combination of diffusion and aggregation effects, leading to delicate long-term equilibria whose description is still incipient.


title: Ergodic Theorem for Stabilization of a Hyperbolic PDE Inspired by Age-Structured Chemostat

abstract: We study a feedback stabilization problem for a first-order hyperbolic partial differential equation. The problem is inspired by the stabilization of equilibrium age profiles for an age-structured chemostat, using the dilution rate as the control. Two distinguishing features of the problem are that (a) the PDE has a multiplicative (instead of an additive) input and (b) the state is fed back to the inlet boundary. We provide a sampled-data feedback that ensures stabilization under arbitrarily sparse sampling and that satisfies input constraints. Our chemostat feedback does not require measurement of the age profile, nor does it require exact knowledge of the model.


title: Numerical Simulations of Bouncing Jets

abstract: Bouncing jets are fascinating phenomenons occurring under certain conditions when a jet impinges on a free surface. This effect is observed when the fluid is Newtonian and the jet falls in a bath undergoing a solid motion. It occurs also for non-Newtonian fluids when the jets falls in a vessel at rest containing the same fluid. We investigate numerically the impact of the experimental setting and the rheological properties of the fluid on the onset of the bouncing phenomenon. Our investigations show that the occurrence of a thin lubricating layer of air separating the jet and the rest of the liquid is a key factor for the bouncing of the jet to happen. The numerical technique that is used consists of a projection method for the Navier-Stokes system coupled with a level set formulation for the representation of the interface. The space approximation is done with adaptive finite elements. Adaptive refinement is shown to be very important to capture the thin layer of air that is responsible for the bouncing.


title: A polynomial version of Sarnak's conjecture

abstract: Motivated by the variations of Sarnak's conjecture due to El Abdalaoui, Kulaga-Przymus, Lemanczyk, De La Rue and by the observation that the Mobius function is a good weight (with limit zero) for the polynomial pointwise ergodic theorem in $L^q$, q>1, we introduce polynomial versions of the Sarnak conjecture for minimal systems.


title: Phrase Based Language Model For Statistical Machine Translation

abstract: We consider phrase based Language Models (LM), which generalize the commonly used word level models. Similar concept on phrase based LMs appears in speech recognition, which is rather specialized and thus less suitable for machine translation (MT). In contrast to the dependency LM, we first introduce the exhaustive phrase-based LMs tailored for MT use. Preliminary experimental results show that our approach outperform word based LMs with the respect to perplexity and translation quality.


title: Deep Belief Nets for Topic Modeling

abstract: Applying traditional collaborative filtering to digital publishing is challenging because user data is very sparse due to the high volume of documents relative to the number of users. Content based approaches, on the other hand, is attractive because textual content is often very informative. In this paper we describe large-scale content based collaborative filtering for digital publishing. To solve the digital publishing recommender problem we compare two approaches: latent Dirichlet allocation (LDA) and deep belief nets (DBN) that both find low-dimensional latent representations for documents. Efficient retrieval can be carried out in the latent representation. We work both on public benchmarks and digital media content provided by Issuu, an online publishing platform. This article also comes with a newly developed deep belief nets toolbox for topic modeling tailored towards performance evaluation of the DBN model and comparisons to the LDA model.


title: The spherical mean Radon transform with centers on cylindrical surfaces

abstract: Recovering a function from its spherical Radon transform with centers of spheres of integration restricted to a hypersurface is at the heart of several modern imaging technologies, including SAR, ultrasound imaging, and photo- and thermoacoustic tomography. In this paper we study an inversion of the spherical Radon transform with centers of integration restricted to cylindrical surfaces of the form $\Gamma \times \mathbb{R}^m$, where $\Gamma$ is a hypersurface in $\mathbb{R}^n$. We show that this transform can be decomposed into two lower dimensional spherical Radon transforms, one with centers on $\Gamma$ and one with a planar center-set in $\mathbb{R}^{m+1}$. Together with explicit inversion formulas for the spherical Radon transform with a planar center-set and existing algorithms for inverting the spherical Radon transform with a center-set $\mathbb{R}$, this yields reconstruction procedures for general cylindrical domains. In the special case of spherical or elliptical cylinders we obtain novel explicit inversion formulas. For three spatial dimensions, these inversion formulas can be implemented efficiently by backprojection type algorithms only requiring $\mathcal O(N^{4/3})$ floating point operations, where $N$ is the total number of unknowns to be recovered. We present numerical results demonstrating the efficiency of the derived algorithms.


title: Investigating the static dipole polarisability of noble gas atoms confined in impenetrable spheres and shells

abstract: The static dipole polarisability of noble gas atoms confined by impenetrable spheres and spherical shells is studied using the B-spline random phase with exchange approximation. The general trend in dipole polarisabilities across the noble gas sequence shows a decrease in the dipole polarisability as the volume of the confining impenetrable sphere is reduced and a large increase in the dipole polarisability for confinement by impenetrable spherical shells as the inner shell radius is increased.


title: Exploiting Network Awareness to Enhance DASH Over Wireless

abstract: The introduction of Dynamic Adaptive Streaming over HTTP (DASH) helped reduce the consumption of resource in video delivery, but its client-based rate adaptation is unable to optimally use the available end-to-end network bandwidth. We consider the problem of optimizing the delivery of video content to mobile clients while meeting the constraints imposed by the available network resources. Observing the bandwidth available in the network's two main components, core network, transferring the video from the servers to edge nodes close to the client, and the edge network, which is in charge of transferring the content to the user, via wireless links, we aim to find an optimal solution by exploiting the predictability of future user requests of sequential video segments, as well as the knowledge of available infrastructural resources at the core and edge wireless networks in a given future time window. Instead of regarding the bottleneck of the end-to-end connection as our throughput, we distribute the traffic load over time and use intermediate nodes between the server and the client for buffering video content to achieve higher throughput, and ultimately significantly improve the Quality of Experience for the end user in comparison with current solutions.


title: Noetherian Rings Whose Annihilating-Ideal Graphs Have finite Genus

abstract: Let $R$ be a commutative ring and ${\Bbb{A}}(R)$ be the set of ideals with non-zero annihilators. The annihilating-ideal graph of $R$ is defined as the graph ${\Bbb{AG}}(R)$ with vertex set ${\Bbb{A}}(R)^*={\Bbb{A}}\setminus\{(0)\}$ such that two distinct vertices $I$ and $J$ are adjacent if and only if $IJ=(0)$. We characterize commutative Noetherian rings $R$ whose annihilating-ideal graphs have finite genus $\gamma(\Bbb{AG}(R))$. It is shown that if $R$ is a Noetherian ring such that $0<\gamma(\Bbb{AG}(R))<\infty$, then $R$ has only finitely many ideals.


title: A High-Gain Nonlinear Observer with Limited Gain Power

abstract: In this note we deal with a new observer for nonlinear systems of dimension n in canonical observability form. We follow the standard high-gain paradigm, but instead of having an observer of dimension n with a gain that grows up to power n, we design an observer of dimension 2n-2 with a gain that grows up only to power 2.


title: Commutative, idempotent groupoids and the constraint satisfaction problem

abstract: A restatement of the Algebraic Dichotomy Conjecture, due to Maroti and McKenzie, postulates that if a finite algebra A possesses a weak near-unanimity term, then the corresponding constraint satisfaction problem is tractable. A binary operation is weak near-unanimity if and only if it is both commutative and idempotent. Thus if the dichotomy conjecture is true, any finite commutative, idempotent groupoid (CI groupoid) will be tractable. It is known that every semilattice (i.e., an associative CI groupoid) is tractable. A groupoid identity is of Bol-Moufang type if the same three variables appear on either side, one of the variables is repeated, the remaining two variables appear once, and the variables appear in the same order on either side (for example, $x(x(yz))\approx(x(xy))z$). These identities can be thought of as generalizations of associativity. We show that there are exactly 8 varieties of CI groupoids defined by a single additional identity of Bol-Moufang type, derive some of their important structural properties, and use that structure theory to show that 7 of the varieties are tractable. We also characterize the finite members of the variety of CI groupoids satisfying the self-distributive law $x(yz)\approx(xy)(xz)$, and show that they are tractable.


title: Model-theoretic aspects of the Gurarij operator system

abstract: We establish some of the basic model theoretic facts about the Gurarij operator system $\mathbb{GS}$ recently constructed by the second-named author. In particular, we show: (1) $\mathbb{GS}$ is the unique separable 1-exact existentially closed operator system; (2) $\mathbb{GS}$ is the unique separable nuclear model of its theory; (3) every embedding of $\mathbb{GS}$ into its ultrapower is elementary; (4) $\mathbb{GS}$ is the prime model of its theory; and (5) $\mathbb{GS}$ does not have quantifier-elimination, whence the theory of operator systems does not have a model companion. We also show that, for any $q\in \mathbb{N}$, the theories of $M_q$-spaces and $M_q$-systems do have a model companion, namely the Fra\"{i}ss\'{e} limit of the class of finite-dimensional $M_q$-spaces and $M_q$-systems respectively; moreover we show that the model companion is separably categorical. We conclude the paper by showing that no C$^*$ algebra can be existentially closed as an operator system.


title: Evidence for narrow resonant structures at $W \approx 1.68$ and $W \approx 1.72$ GeV in real Compton scattering off the proton

abstract: First measurement of the beam asymmetry $\Sigma$ for Compton scattering off the proton in the energy range $E_{\gamma}=0.85 - 1.25$ GeV is presented. The data reveals two narrow structures at $E_{\gamma}= 1.036$ and $E_{\gamma}=1.119$ GeV. They may signal narrow resonances with masses near $1.68$ and $1.72$ GeV, or they may be generated by the sub-threshold $K\Lambda$ and $\omega p$ production. Their decisive identification requires additional theoretical and experimental efforts.


title: Cell algebra structures on monoid and twisted monoid algebras

abstract: In this paper we study finite monoids M such that the group algebras over a domain R for all Schutzenberger groups of M are cell algebras. We show that for any such M the monoid algebra A over R has a standard cell algebra structure. Using properties of cell algebras we then find conditions for A to be quasi-hereditary and we show that if such an M is an inverse semi-group and R is a field k, then A is semi-simple if and only if the group algebras over k for all maximal subgroups of M are semi-simple. Finally, we show that for any "compatible" twisting of M into R the twisted monoid algebra is also a cell algebra and can thus be analyzed using cell algebra properties.


title: Revisiting the relationship between 6 {\mu}m and 2-10 keV continuum luminosities of AGN

abstract: We have determined the relation between the AGN luminosities at rest-frame 6 {\mu}m associated to the dusty torus emission and at 2-10 keV energies using a complete, X-ray flux limited sample of 232 AGN drawn from the Bright Ultra-hard XMM-Newton Survey. The objects have intrinsic X-ray luminosities between 10^42 and 10^46 erg/s and redshifts from 0.05 to 2.8. The rest-frame 6 {\mu}m luminosities were computed using data from the Wide-Field Infrared Survey Explorer and are based on a spectral energy distribution decomposition into AGN and galaxy emission. The best-fit relationship for the full sample is consistent with being linear, L_6 {\mu}m $\propto$ L_2-10 keV^0.99$\pm$0.032, with intrinsic scatter, ~0.35 dex in log L_6 {\mu}m. The L_6 {\mu}m/L_2-10 keV luminosity ratio is largely independent on the line-of-sight X-ray absorption. Assuming a constant X-ray bolometric correction, the fraction of AGN bolometric luminosity reprocessed in the mid-IR decreases weakly, if at all, with the AGN luminosity, a finding at odds with simple receding torus models. Type 2 AGN have redder mid-IR continua at rest-frame wavelengths <12 {\mu}m and are overall ~1.3-2 times fainter at 6 {\mu}m than type 1 AGN at a given X-ray luminosity. Regardless of whether type 1 and type 2 AGN have the same or different nuclear dusty toroidal structures, our results imply that the AGN emission at rest-frame 6 {\mu}m is not isotropic due to self-absorption in the dusty torus, as predicted by AGN torus models. Thus, AGN surveys at rest-frame 6 {\mu}m are subject to modest dust obscuration biases.


title: A Bottom-Up Approach to Lepton Flavor and CP Symmetries

abstract: We perform a model-independent analysis of the possible residual Klein and generalized CP symmetries associated with arbitrary lepton mixing angles in the case that there are three light Majorana neutrino species. This approach emphasizes the unique role of the Majorana phases and provides a useful framework in which to discuss the origin of the Dirac CP phase in scenarios with spontaneously broken flavor and generalized CP symmetries. The method is shown to reproduce known examples in the literature based on tribimaximal and bitrimaximal mixing patterns, and is used to investigate these issues for the case of a particular (GR1) golden ratio mixing pattern.


title: Cryoelectron Microscopy as a Functional Instrument for Systems Biology, Structural Analysis & Experimental Manipulations with Living Cells. A comprehensive review of the current works

abstract: The aim of this paper is to give an introductory review of the cryoelectron microscopy as a complex data source for the most of the system biology branches, including the most perspective non-local approaches known as "localomics" and "dynamomics". A brief summary of various cryoelectron mi-croscopy methods and corresponding system biological ap-proaches is given in the text. The above classification can be considered as a useful framework for the primary comprehen-sions about cryoelectron microscopy aims and instrumental tools. We do not discuss any of these concepts in details, but merely point out that their methodological complexity follows only from the structure-functional complexity of biological systems which are investigated in this manner. We also postu-late that one can employ some of the cryoelectron microscopic techniques not only for observation, but also for modification and structural refunctionalization of some biological and similar soft matter objects and microscopic samples. In other worlds, we start with the cryoelectron microscopy as a tool for the sys-tem biology and progress to its applying as an instrument for system biology and functional biomimetics; i.e. "system cryobi-ology" goes over into "synthetic cryobiology" or "cryogenic biomimetics". All these conclusions can be deduced from the most recent works of the latest years, including just submitted foreign papers. This article provides an up-to-date description of the conceptual basis for the novel view on the computational cryoelectron microscopy (in silico) approaches and the data mining principles which lie at the very foundation of modern structural analysis and reconstruction.


title: Improved Description of One- and Two-Hole States after Electron Capture in 163 Holmium and the Determination of the Neutrino Mass

abstract: The atomic pair 163 Holmium and 163 Dysprosium seems due to the small Q value of about 2.3 to 2.8 keV the best case to determine the neutrino mass by electron capture. The bolometer spectrum measures the full deexcitation energy of Dysprosium by X rays, by Auger electrons and by the recoil of Holmium. The spectrum has an upper energy limit given by the Q value minus the neutrino mass. Till now this spectrum has been calculated allowing in Dysprosium excitations with 3s1/2, 3p1/2, 4s1/2, 4p1/2, 5s1/2, 5p1/2 one-holes only. Robertson calculated recently also the spectrum with two electron hole excitations in Dy. He took the probability for the excitation for the second electron hole from work of Carlson and Nestor for Z=54 Xenon. He claims, that the bolometer spectrum with two holes is "not well enough understood to permit a sensitive determination of the neutrino mass in this way." The purpose of the present work is to determine the theoretical bolometer spectrum with two hole excitations more reliably directly in holmium and dysprosium. In addition it will be shown, that the two-hole excitations do not complicate more the determination of the neutrino mass compared to the situation with one-hole states only. At the Q value the highest one-hole resonance is dominant. Under the assumption of a Lorentzian line shape one has to fit after inclusion of the experimental spectral function of the detector four quantities to the data: (1) The neutrino mass, (2) the energy distance of the dominant resonance to the Q value, (3) the line witdth and (4) the strength of the resonance. Compared to Robertson this work includes major improvements and it shows, that a determination of the neutrino mass is difficult but not impossible.


title: Existence of periodic orbits for singular-hyperbolic Lyapunov stable sets

abstract: Bautista and Morales proved the existence of periodic orbits in singular-hyperbolic attracting sets(*). In this paper, we extend their result to singular-hyperbolic Lyapunov stable sets. ((*)"Existence of periodic orbits for singular-hyperbolic sets", Moscow Mathematical Journal, 6 (2006), 265-297)


title: All-sky signals from recombination to reionization with the SKA

abstract: Cosmic evolution in the hydrogen content of the Universe through recombination and up to the end of reionization is expected to be revealed as subtle spectral features in the uniform extragalactic cosmic radio background. The redshift evolution in the excitation temperature of the 21-cm spin flip transition of neutral hydrogen appears as redshifted emission and absorption against the cosmic microwave background. The precise signature of the spectral trace from cosmic dawn and the epoch of reionization are dependent on the spectral radiance, abundance and distribution of the first bound systems of stars and early galaxies, which govern the evolution in the spin-flip level populations. Redshifted 21 cm from these epochs when the spin temperature deviates from the temperature of the ambient relic cosmic microwave background results in an all-sky spectral structure in the 40-200 MHz range, almost wholly within the band of SKA-Low. Another spectral structure from gas evolution is redshifted recombination lines from epoch of recombination of hydrogen and helium; the weak all-sky spectral structure arising from this event is best detected at the upper end of the 350-3050 MHz band of SKA-mid. Total power spectra of SKA interferometer elements form the measurement set for these faint signals from recombination and reionization; the inter-element interferometer visibilities form a calibration set. The challenge is in precision polarimetric calibration of the element spectral response and solving for additives and unwanted confusing leakages of sky angular structure modes into spectral modes. Herein we discuss observing methods and design requirements that make possible these all-sky SKA measurements of the cosmic evolution of hydrogen.


title: Equality of seven fundamental sets connected with A(K): analytic capacity-free proofs

abstract: Let K be any compact set in the complex plane that has a connected complement, let A(K) be the uniforn algebra of all continuous complex functions on K that are holomorphic on the interior of K, let bK be the topological boundary of K, let z be in K, and let M be the maximal ideal of functions in A(K) that are 0 at z. Using only facts from classical complex analytic function theory, and without using any results from the theory of analytic capacity, we prove the following: z is an element of bK iff z is a peak point for A(K) iff z belongs to the Shilov boundary for A(K) iff z belongs to the Bishop minimal boundary for A(K) iff M has a bounded approximate identity iff the Bishop one-quarter - three-quarter property holds at z iff z is a strong boundary point for A(K). More specifically, the only results used in all proofs are from classical complex analytic function theory, properties of open connected sets in the complex plane, the Caratheodory extension theorem, the Riemann mapping theorem, Euler's formula, Rudin's estimates for finite complex products, properties of linear fractional transformations, the alpha root function in the complex plane, some new and striking Jordan curve constructions (Jordan kissing paths), and the Cohen factorization theorem. No results are used from the theory of analytic capacity, the theory of representing or annihilating measures, Dirichlet algebra theory, Choquet boundary theory, or the Walsh-Lebesgue theorem.


title: Quantum Contextuality with Stabilizer States

abstract: The Pauli groups are ubiquitous in quantum information theory because of their usefulness in describing quantum states and operations and their readily understood symmetry properties. In addition, the most well-understood quantum error correcting codes -- stabilizer codes -- are built using Pauli operators. The eigenstates of these operators -- stabilizer states -- display a structure (e.g., mutual orthogonality relationships) that has made them useful in examples of multi-qubit non-locality and contextuality. Here, we apply the graph-theoretical contextuality formalism of Cabello, Severini and Winter to sets of stabilizer states, with particular attention to the effect of generalizing two-level qubit systems to odd prime d-level qudit systems. While state-independent contextuality using two-qubit states does not generalize to qudits, we show explicitly how state-dependent contextuality associated with a Bell inequality does generalize. Along the way we note various structural properties of stabilizer states, with respect to their orthogonality relationships, which may be of independent interest.