title: Constraining planet structure from stellar chemistry: the cases of CoRoT-7, Kepler-10, and Kepler-93

abstract: We explore the possibility that the stellar relative abundances of different species can be used to constrain the bulk abundances of known transiting rocky planets. We use high resolution spectra to derive stellar parameters and chemical abundances for Fe, Si, Mg, O, and C in three stars hosting low mass, rocky planets: CoRoT-7, Kepler-10, and Kepler-93. These planets follow the same line along the mass-radius diagram, pointing toward a similar composition. The derived abundance ratios are compared with the solar values. With a simple stoichiometric model, we estimate the iron mass fraction in each planet, assuming stellar composition. We show that in all cases, the iron mass fraction inferred from the mass-radius relationship seems to be in good agreement with the iron abundance derived from the host star's photospheric composition. The results suggest that stellar abundances can be used to add constraints on the composition of orbiting rocky planets.


title: PointQ model of an arterial network: calibration and experiments

abstract: The calibration of a PointQ arterial microsimulation model is formulated as a quadratic programming problem (QP) whose decision variables are link flows, demands at entry links, and turn movements at intersections, subject to linear constraints imposed by flow conservation identities and field measurements of a subset of link flows (counts), demands and turn ratios. The quadratic objective function is the deviation of the decision variables from their measured values. The solution to the QP gives estimates of all unmeasured variables and thus yields a fully specified simulation model. Runs of this simulation model can then be compared with other field measurements, such as travel times along routes, to judge the reliability of the calibrated model. A section of the Huntington-Colorado arterial near I-210 in Los Angeles comprising 73 links and 16 intersections is used to illustrate the procedure. Two experiments are conducted with the calibrated model to determine the maximum traffic that can be diverted from the I-210 freeway to the arterial network, with and without permitting changes in the timing plans. The maximum diversion in both cases is obtained by solving a linear programming problem. A third experiment compares the delay and travel time using the existing fixed time control and a max pressure control. The fourth experiment compares two PointQ models: in the first model the freeway traffic follows a pre-specified route while the background traffic moves according to turn ratios, and in the second model turn ratios are modified in a single commodity model to match the link flows. The substantial modification of the turn ratios needed suggests that the use of a single-commodity model as frequently done in CTM models can be misleading...


title: On the fate of $\eta^3$ in higher analogues of Real bordism

abstract: We show that the cube of the Hopf map $\eta$ maps to zero under the Hurewicz map for all fixed points of all norms to cyclic $2$-groups of the Landweber-Araki Real bordism spectrum. Using that the slice spectral sequence is a spectral sequence of Mackey functors, we compute the relevant portion of the homotopy groups of these fixed points, showing that multiplication by $4$ annihilates $\pi_{3}$.


title: Construction of quasi-Monte Carlo rules for multivariate integration in spaces of permutation-invariant functions

abstract: We study multivariate integration of functions that are invariant under the permutation (of a subset) of their arguments. Recently, in Nuyens, Suryanarayana, and Weimar (Adv. Comput. Math. (2016), 42(1):55--84), the authors derived an upper estimate for the $n$th minimal worst case error for such problems, and showed that under certain conditions this upper bound only weakly depends on the dimension. We extend these results by proposing two (semi-) explicit construction schemes. We develop a component-by-component algorithm to find the generating vector for a shifted rank-$1$ lattice rule that obtains a rate of convergence arbitrarily close to $\mathcal{O}(n^{-\alpha})$, where $\alpha>1/2$ denotes the smoothness of our function space and $n$ is the number of cubature nodes. Further, we develop a semi-constructive algorithm that builds on point sets which can be used to approximate the integrands of interest with a small error; the cubature error is then bounded by the error of approximation. Here the same rate of convergence is achieved while the dependence of the error bounds on the dimension $d$ is significantly improved.


title: Tracking Randomly Moving Objects on Edge Box Proposals

abstract: Most tracking-by-detection methods employ a local search window around the predicted object location in the current frame assuming the previous location is accurate, the trajectory is smooth, and the computational capacity permits a search radius that can accommodate the maximum speed yet small enough to reduce mismatches. These, however, may not be valid always, in particular for fast and irregularly moving objects. Here, we present an object tracker that is not limited to a local search window and has ability to probe efficiently the entire frame. Our method generates a small number of "high-quality" proposals by a novel instance-specific objectness measure and evaluates them against the object model that can be adopted from an existing tracking-by-detection approach as a core tracker. During the tracking process, we update the object model concentrating on hard false-positives supplied by the proposals, which help suppressing distractors caused by difficult background clutters, and learn how to re-rank proposals according to the object model. Since we reduce significantly the number of hypotheses the core tracker evaluates, we can use richer object descriptors and stronger detector. Our method outperforms most recent state-of-the-art trackers on popular tracking benchmarks, and provides improved robustness for fast moving objects as well as for ultra low-frame-rate videos.


title: Noncommutative gauge theories on $\mathbb{R}^3_\lambda$: Perturbatively finite models

abstract: We show that natural noncommutative gauge theory models on $\mathbb{R}^3_\lambda$ can accommodate gauge invariant harmonic terms, thanks to the existence of a relationship between the center of $\mathbb{R}^3_\lambda$ and the components of the gauge invariant 1-form canonical connection. This latter object shows up naturally within the present noncommutative differential calculus. Restricting ourselves to positive actions with covariant coordinates as field variables, a suitable gauge-fixing leads to a family of matrix models with quartic interactions and kinetic operators with compact resolvent. Their perturbative behavior is then studied. We first compute the 2-point and 4-point functions at the one-loop order within a subfamily of these matrix models for which the interactions have a symmetric form. We find that the corresponding contributions are finite. We then extend this result to arbitrary order. We find that the amplitudes of the ribbon diagrams for the models of this subfamily are finite to all orders in perturbation. This result extends finally to any of the models of the whole family of matrix models obtained from the above gauge-fixing. The origin of this result is discussed. Finally, the existence of a particular model related to integrable hierarchies is indicated, for which the partition function is expressible as a product of ratios of determinants.


title: Tabling as a Library with Delimited Control

abstract: Tabling is probably the most widely studied extension of Prolog. But despite its importance and practicality, tabling is not implemented by most Prolog systems. Existing approaches require substantial changes to the Prolog engine, which is an investment out of reach of most systems. To enable more widespread adoption, we present a new implementation of tabling in under 600 lines of Prolog code. Our lightweight approach relies on delimited control and provides reasonable performance.


title: Higher order spectra, equivariant Hodge-Deligne polynomials and Macdonald type equations

abstract: We define notions of higher order spectra of a complex quasi-projective manifold with an action of a finite group $G$ and with a $G$-equivariant automorphism of finite order, some of their refinements and give Macdonald type equations for them.


title: Restricted boundedness of translation operators on variable Lebesgue spaces

abstract: In this paper, we investigate the inequality \begin{equation*} \left\Vert f(\cdot +h)\right\Vert_{p\left( \cdot \right) }\leq A\left\Vert f\right\Vert_{p\left( \cdot \right) },\quad h\in \mathbb{R}^{n}, A>0 \end{equation*} under some suitable assumptions on the function $f$ and the variable exponent $p$.


title: Existence and non existence results for the singular Nirenberg problem

abstract: In this paper we study the problem, posed by Troyanov, of prescribing the Gaussian curvature under a conformal change of the metric on surfaces with conical singularities. Such geometrical problem can be reduced to the solvability of a nonlinear PDE with exponential type non-linearity admitting a variational structure. In particular, we are concerned with the case where the prescribed function $K$ changes sign. When the surface is the standard sphere, namely for the singular Nirenberg problem, by a min-max approach and a new compactness argument we give sufficient conditions on $K$, concerning mainly the regularity of its nodal line and the topology of its positive nodal region, to be the Gaussian curvature of a conformal metric with assigned conical singularities. Besides, we find a class of functions on $\mathbb{S}^2$ which do not verify our conditions and which can not be realized as the Gaussian curvature of any conformal metric with one conical singularity. This shows that our result is somehow sharp.


title: On the closure of the image of the generalized divisor function

abstract: For any real number $s$, let $\sigma_s$ be the generalized divisor function, i.e., the arithmetic function defined by $\sigma_s(n) := \sum_{d \, \mid \, n} d^s$, for all positive integers $n$. We prove that for any $r > 1$ the topological closure of $\sigma_{-r}(\mathbf{N}^+)$ is the union of a finite number of pairwise disjoint closed intervals $I_1, \ldots, I_\ell$. Moreover, for $k=1,\ldots,\ell$, we show that the set of positive integers $n$ such that $\sigma_{-r}(n) \in I_k$ has a positive rational asymptotic density $d_k$. In fact, we provide a method to give exact closed form expressions for $I_1, \ldots, I_\ell$ and $d_1, \ldots, d_\ell$, assuming to know $r$ with sufficient precision. As an example, we show that for $r = 2$ it results $\ell = 3$, $I_1 = [1, \pi^2/9]$, $I_2 = [10/9, \pi^2/8]$, $I_3 = [5/4, \pi^2 / 6]$, $d_1 = 1/3$, $d_2 = 1/6$, and $d_3 = 1/2$.


title: Linear programs and convex hulls over fields of Puiseux fractions

abstract: We describe the implementation of a subfield of the field of formal Puiseux series in polymake. This is employed for solving linear programs and computing convex hulls depending on a real parameter. Moreover, this approach is also useful for computations in tropical geometry.


title: Property irrelevant predicates

abstract: Although slicing removes code which has no bearing on property checking. However even after that, our study has found that there are predicates in program which have no bearing on property validation, although slicing could not eliminate them. We have cope up with a criteria to identify such predicates and then give a process to leverage them in scale up of property checking.


title: A SAT-based Public Key Cryptography Scheme

abstract: A homomorphic public key crypto-scheme based on the Boolean Satisfiability Problem is proposed. The public key is a SAT formula satisfied by the private key. Probabilistic encryption generates functions implied to be false by the public key XOR the message bits. A zero-knowledge proof is used to provide signatures.


title: Approximation properties of isogeometric function spaces on singularly parameterized domains

abstract: We study approximation error bounds of isogeometric function spaces on a specific type of singularly parameterized domains. In this context an isogeometric function is the composition of a piecewise rational function with the inverse of a piecewise rational geometry parameterization. We consider domains where one edge of the parameter domain is mapped onto one point in physical space. To be more precise, in our configuration the singular patch is derived from a reparameterization of a regular triangular patch. On such a domain one can define an isogeometric function space fulfilling certain regularity criteria that guarantee optimal convergence. The main contribution of this paper is to prove approximation error bounds for the previously defined class of isogeometric discretizations.


title: Topological Dependence of Kepler's Third Law for Collisionless Periodic Three-Body Orbits with Vanishing Angular Momentum and Equal Masses

abstract: We present results of numerical calculations showing a three-body orbit's period's $T$ dependence on its topology. This dependence is a simple linear one, when expressed in terms of appropriate variables, suggesting an exact mathematical law. This is the first known relation between topological and kinematical properties of three-body systems. We have used these results to predict the periods of several sets of as yet undiscovered orbits, but the relation also indicates that the number of periodic three-body orbits with periods shorter than any finite number is countable.


title: Effective Generation of Closed-form Soliton Solutions of the Continuous Classical Heisenberg Ferromagnet Equation

abstract: The non-topological, stationary and propagating, soliton solutions of the classical continuous Heisenberg ferromagnet equation are investigated. A general, rigorous formulation of the Inverse Scattering Transform for this equation is presented, under less restrictive conditions than the Schwartz class hypotheses and naturally incorporating the non-topological character of the solutions. Such formulation is based on a new triangular representation for the Jost solutions, which in turn allows an immediate computation of the asymptotic behaviour of the scattering data for large values of the spectral parameter, consistently improving on the existing theory. A new, general, explicit multi-soliton solution formula, amenable to computer algebra, is obtained by means of the matrix triplet method, producing all the soliton solutions (including breather-like and multipoles), and allowing their classification and description.


title: Jamming and the onset of granulation in a model particle system

abstract: Granulation is a ubiquitous process crucial for many products ranging from food and care products to pharmaceuticals. Granulation is the process in which a powder is mixed with a small amount of liquid (binder) to form solid agglomerates surrounded by air. By contrast, at low solid volume fractions {\phi}, the mixing of solid and liquid produces suspensions. At intermediate {\phi}, either granules or dense suspensions are produced, depending on the applied stress. We address the question of how and when high shear mixing can lead to the formation of jammed, non-flowing granules as {\phi} is varied. In particular, we measure the shear rheology of a model system - a suspension of glass beads with an average diameter of $\sim$ 7 {\mu}m - at solid volume fractions {\phi} $\gtrsim$ 0.40. We show that recent insights into the role of inter-particle friction in suspension rheology allow us to use flow data to predict some of the boundaries between different types of granulation as {\phi} increases from $\sim$ 0.4 towards and beyond the maximum packing point of random close packing.


title: Coupling a single Nitrogen-Vacancy center to a superconducting flux qubit in the far off resonance regime

abstract: We present a theoretical proposal to couple a single Nitrogen-Vacancy (NV) center to a superconducting flux qubit (FQ) in the regime where both systems are off resonance. The coupling between both quantum devices is achieved through the strong driving of the flux qubit by a classical microwave field that creates dressed states with an experimentally controlled characteristic frequency. We discuss several applications such as controlling the NV center's state by manipulation of the flux qubit, performing the NV center full tomography and using the NV center as a quantum memory. The effect of decoherence and its consequences to the proposed applications are also analyzed. Our results provide a theoretical framework describing a promising hybrid system for quantum information processing, which combines the advantages of fast manipulation and long coherence times.


title: Adaptive network models of collective decision making in swarming systems

abstract: We consider a class of adaptive network models where links can only be created or deleted between nodes in different states. These models provide an approximate description of a set of systems where nodes represent agents moving in physical or abstract space, the state of each node represents the agent's heading direction, and links indicate mutual awareness. We show analytically that the adaptive network description captures the phase transition to collective motion in swarming systems and that the properties of this transition are determined by the number of states (discrete heading directions) that can be accessed by each agent.


title: GHOST: Building blocks for high performance sparse linear algebra on heterogeneous systems

abstract: While many of the architectural details of future exascale-class high performance computer systems are still a matter of intense research, there appears to be a general consensus that they will be strongly heterogeneous, featuring "standard" as well as "accelerated" resources. Today, such resources are available as multicore processors, graphics processing units (GPUs), and other accelerators such as the Intel Xeon Phi. Any software infrastructure that claims usefulness for such environments must be able to meet their inherent challenges: massive multi-level parallelism, topology, asynchronicity, and abstraction. The "General, Hybrid, and Optimized Sparse Toolkit" (GHOST) is a collection of building blocks that targets algorithms dealing with sparse matrix representations on current and future large-scale systems. It implements the "MPI+X" paradigm, has a pure C interface, and provides hybrid-parallel numerical kernels, intelligent resource management, and truly heterogeneous parallelism for multicore CPUs, Nvidia GPUs, and the Intel Xeon Phi. We describe the details of its design with respect to the challenges posed by modern heterogeneous supercomputers and recent algorithmic developments. Implementation details which are indispensable for achieving high efficiency are pointed out and their necessity is justified by performance measurements or predictions based on performance models. The library code and several applications are available as open source. We also provide instructions on how to make use of GHOST in existing software packages, together with a case study which demonstrates the applicability and performance of GHOST as a component within a larger software stack.


title: Random walks across the sea: the origin of rogue waves?

abstract: Ocean rogue waves are large and suddenly appearing surface gravity waves, which may cause severe damage to ships and other maritime structures. Despite years of research, the exact origin of rogue waves is still disputed. Linear interference of waves with random phase has often been cited as one possible explanation, but apparently does not satisfactorily explain the probability of extreme events in the ocean. Other explanations therefore suggested a decisive role of a nonlinearity in the system. Here we show that linear interference of a finite and variable number of waves may very well explain the heavy tail in the wave height distribution. Our model can explain all prototypical ocean rogue waves reported so far, including the "three sisters" as well as rogue holes. We further suggest nonlinear time series analysis for estimation of the characteristic number of interfering waves for a given sea state. If ocean dynamics is ruled by interference of less than ten waves, rogue waves cannot appear as a matter of principle. In contrast, for larger numbers, their appearance is much more likely than predicted by parameterless models or longterm observation. The pronounced threshold behavior of our model enables effective forecasting of extreme ocean waves.


title: Valley excitons in two-dimensional semiconductors

abstract: Monolayer group-VIB transition metal dichalcogenides have recently emerged as a new class of semiconductors in the two-dimensional limit. The attractive properties include: the visible range direct band gap ideal for exploring optoelectronic applications; the intriguing physics associated with spin and valley pseudospin of carriers which implies potentials for novel electronics based on these internal degrees of freedom; the exceptionally strong Coulomb interaction due to the two-dimensional geometry and the large effective masses. The physics of excitons, the bound states of electrons and holes, has been one of the most actively studied topics on these two-dimensional semiconductors, where the excitons exhibit remarkably new features due to the strong Coulomb binding, the valley degeneracy of the band edges, and the valley dependent optical selection rules for interband transitions. Here we give a brief overview of the experimental and theoretical findings on excitons in two-dimensional transition metal dichalcogenides, with focus on the novel properties associated with their valley degrees of freedom.


title: Learning Representations for Outlier Detection on a Budget

abstract: The problem of detecting a small number of outliers in a large dataset is an important task in many fields from fraud detection to high-energy physics. Two approaches have emerged to tackle this problem: unsupervised and supervised. Supervised approaches require a sufficient amount of labeled data and are challenged by novel types of outliers and inherent class imbalance, whereas unsupervised methods do not take advantage of available labeled training examples and often exhibit poorer predictive performance. We propose BORE (a Bagged Outlier Representation Ensemble) which uses unsupervised outlier scoring functions (OSFs) as features in a supervised learning framework. BORE is able to adapt to arbitrary OSF feature representations, to the imbalance in labeled data as well as to prediction-time constraints on computational cost. We demonstrate the good performance of BORE compared to a variety of competing methods in the non-budgeted and the budgeted outlier detection problem on 12 real-world datasets.


title: Constraining the formation of black-holes in short-period Black-Hole Low-Mass X-ray Binaries

abstract: The formation of stellar mass black holes is still very uncertain. Two main uncertainties are the amount of mass ejected in the supernova event (if any) and the magnitude of the natal kick the black hole receives at birth (if any). Repetto et al. (2012), studying the position of Galactic X-ray binaries containing black holes, found evidence for black holes receiving high natal kicks at birth. In this Paper we extend that study, taking into account the previous binary evolution of the sources as well. The seven short-period black-hole X-ray binaries that we use, are compact binaries consisting of a low-mass star orbiting a black hole in a period less than $1$ day. We trace their binary evolution backwards in time, from the current observed state of mass-transfer, to the moment the black hole was formed, and we add the extra information on the kinematics of the binaries. We find that several systems could be explained by no natal kick, just mass ejection, while for two systems (and possibly more) a high kick is required. So unless the latter have an alternative formation, such as within a globular cluster, we conclude that at least some black holes get high kicks. This challenges the standard picture that black hole kicks would be scaled down from neutron star kicks. Furthermore, we find that five systems could have formed with a non-zero natal kick but zero mass ejected (i.e. no supernova) at formation, as predicted by neutrino-driven natal kicks.


title: About left orders in Garside groups

abstract: We consider the structure group of a non-degenerate symmetric (non-trivial) set-theoretical solution of the quantum Yang-Baxter equation. This is a Bieberbach group and also a Garside group. We show this group is not bi-orderable, that is it does not admit a total order which is invariant under left and right multiplication. Regarding the existence of a left invariant total ordering, there is a great diversity. There exist structure groups with space of left orders homeomorphic to the Cantor set and all left orders Conradian, while there exist others that are even not unique product groups.


title: A Network-Aware Approach for Searching As-You-Type in Social Media (Extended Version)

abstract: We present in this paper a novel approach for as-you-type top-$k$ keyword search over social media. We adopt a natural "network-aware" interpretation for information relevance, by which information produced by users who are closer to the seeker is considered more relevant. In practice, this query model poses new challenges for effectiveness and efficiency in online search, even when a complete query is given as input in one keystroke. This is mainly because it requires a joint exploration of the social space and classic IR indexes such as inverted lists. We describe a memory-efficient and incremental prefix-based retrieval algorithm, which also exhibits an anytime behavior, allowing to output the most likely answer within any chosen running-time limit. We evaluate it through extensive experiments for several applications and search scenarios, including searching for posts in micro-blogging (Twitter and Tumblr), as well as searching for businesses based on reviews in Yelp. They show that our solution is effective in answering real-time as-you-type searches over social media.


title: Signature of the presence of a third body orbiting around XB 1916-053

abstract: The ultra-compact dipping source \object{XB 1916-053} has an orbital period of close to 50 min and a companion star with a very low mass (less than 0.1 M$_{\odot}$). The orbital period derivative of the source was estimated to be $1.5(3) \times 10^{-11}$ s/s through analysing the delays associated with the dip arrival times obtained from observations spanning 25 years, from 1978 to 2002. The known orbital period derivative is extremely large and can be explained by invoking an extreme, non-conservative mass transfer rate that is not easily justifiable. We extended the analysed data from 1978 to 2014, by spanning 37 years, to verify whether a larger sample of data can be fitted with a quadratic term or a different scenario has to be considered. We obtained 27 delays associated with the dip arrival times from data covering 37 years and used different models to fit the time delays with respect to a constant period model.We find that the quadratic form alone does not fit the data. The data are well fitted using a sinusoidal term plus a quadratic function or, alternatively, with a series of sinusoidal terms that can be associated with a modulation of the dip arrival times due to the presence of a third body that has an elliptical orbit. We infer that for a conservative mass transfer scenario the modulation of the delays can be explained by invoking the presence of a third body with mass between 0.10-0.14 M$_{\odot}$, orbital period around the X-ray binary system of close to 51 yr and an eccentricity of $0.28 \pm 0.15$. In a non-conservative mass transfer scenario we estimate that the fraction of matter yielded by the degenerate companion star and accreted onto the neutron star is $\beta = 0.08$, the neutron star mass is $\ge 2.2$ M$_{\odot}$, and the companion star mass is 0.028 M$_{\odot}$. (Abridged)


title: Parabolic equations on digital spaces. Solutions on the digital Moebius strip and the digital projective plane

abstract: In this work, we define a parabolic equation on digital spaces and study its properties. The equation can be used in investigation of mechanical, aerodynamic, structural and technological properties of a Moebius strip, which is used as a basic element of a new configuration of an airplane wing. Condition for existence of exact solutions by a matrix method and a method of separation of variables are studied and determined. As examples, numerical solutions on Moebius strip and projective plane are presented.


title: Analytic performance evaluation of M-QAM based decode-and-forward relay networks over enriched multipath fading channels

abstract: This work is devoted to the analysis of a regenerative multi-node dual-hop cooperative system over enriched multipath fading channels. Novel analytic expressions are derived for the symbol-error-rate for $M{-}$ary quadrature modulated signals in decode-and-forward relay systems over both independent and identically distributed as well as independent and non-identically distributed Nakagami${-}$q (Hoyt) fading channels. The derived expressions are based on the moment-generating-function approach and are given in closed-form in terms of the generalized Lauricella series. The offered results are validated extensively through comparisons with respective results from computer simulations and are useful in the analytic performance evaluation of regenerative cooperative relay communication systems. To this end, it is shown that the performance of the cooperative system is, as expected, affected by the number of employed relays as well as by the value of the fading parameter $q$, which accounts for \textit{pre-Rayleigh} fading conditions that are often encountered in mobile cellular radio systems.


title: Entropy and Channel Capacity under Optimum Power and Rate Adaptation over Generalized Fading Conditions

abstract: Accurate fading characterization and channel capacity determination are of paramount importance in both conventional and emerging communication systems. The present work addresses the nonlinearity of the propagation medium and its effects on the channel capacity. Such fading conditions are first characterized using information theoretic measures, namely, Shannon entropy, cross entropy and relative entropy. The corresponding effects on the channel capacity with and without power adaptation are then analyzed. Closed-form expressions are derived and validated through comparisons with respective results from computer simulations. It is shown that the effects of fading nonlinearities are significantly larger than those of fading parameters such as the scattered-wave power ratio, and the correlation coefficient between the in-phase and quadrature components in each cluster of multipath components.


title: Running of the scalar spectral index in bouncing cosmologies

abstract: We calculate the running of the scalar index in the ekpyrotic and matter bounce cosmological scenarios, and find that it is typically negative for ekpyrotic models, while it is typically positive for realizations of the matter bounce where multiple fields are present. This can be compared to inflation, where the observationally preferred models typically predict a negative running. The magnitude of the running is expected to be between $10^{-4}$ and up to $10^{-2},$ leading in some cases to interesting expectations for near-future observations.


title: Reduction of residual stress in AlN thin Films synthesized by magnetron sputtering technique

abstract: We report the reduction in residual stress of AlN thin films and also the crystal structure, surface morphology and nanomechanical properties of magnetron sputtered as a function of substrate temperature (Ts, 35 - 600 ?C). The residual stress of these films was calculated by sin2 technique and found that they are varying from tensile to compression with temperature (Ts). Evolution of crystalline growth of AlN films was studied by GIXRD and transmission electron microscopy (TEM) and a preferred a-axis orientation was observed at 400 ?C. The cross-sectional TEM micrograph and selected area electron difraction (SAED) of this film exhibited a high degree of orientation as well as a columnar structure. Hardness (H) measured by Nanoindentation technique on these films ranged between 12.8 - 19 GPa.


title: On the consequences of a Mihlin-H\"ormander functional calculus: maximal and square function estimates

abstract: We prove that the existence of a Mihlin-H\"ormander functional calculus for an operator $L$ implies the boundedness on $L^p$ of both the maximal operators and the continuous square functions build on spectral multipliers of $L.$ The considered multiplier functions are finitely smooth and satisfy an integral condition at infinity. In particular multipliers of compact support are admitted.


title: The $C_2$-spectrum $Tmf_1(3)$ and its invertible modules

abstract: We explore the $C_2$-equivariant spectra $Tmf_1(3)$ and $TMF_1(3)$. In particular, we compute their $C_2$-equivariant Picard groups and the $C_2$-equivariant Anderson dual of $Tmf_1(3)$. This implies corresponding results for the fixed point spectra $TMF_0(3)$ and $Tmf_0(3)$. Furthermore, we prove a Real Landweber exact functor theorem.


title: Three-body bound states of two bosonic impurities immersed in a Fermi sea in 2D

abstract: We consider two identical impurities immersed in a Fermi sea for a broad range of masses and for both interacting and non-interacting impurities. The interaction between the particles is described through attractive zero-range potentials and the problem is solved in momentum space. The two impurities can attach to a fermion from the sea and form three-body bound states. The energy of these states increase as function of the Fermi momentum $k_F$, leading to three-body bound states below the Fermi energy. The fate of the states depends highly on two- and three-body thresholds and we find evidence of medium-induced Borromean-like states in 2D. The corrections due to particle-hole fluctuations in the Fermi sea are considered in the three-body calculations and we show that in spite of the fact that they strongly affect both the two- and three-body systems, the correction to the point at which the three-body states cease to exist is small.


title: Some studies on multidimensional Fourier theory for Hilbert transform, analytic signal and space-time series analysis

abstract: In this paper, we propose the Fourier frequency vector (FFV), inherently, associated with multidimensional Fourier transform. With the help of FFV, we are able to provide physical meaning of so called negative frequencies in multidimensional Fourier transform (MDFT), which in turn provide multidimensional spatial and space-time series analysis. The complex exponential representation of sinusoidal function always yields two frequencies, negative frequency corresponding to positive frequency and vice versa, in the multidimensional Fourier spectrum. Thus, using the MDFT, we propose multidimensional Hilbert transform (MDHT) and associated multidimensional analytic signal (MDAS) with following properties: (a) the extra and redundant positive, negative, or both frequencies, introduced due to complex exponential representation of multidimensional Fourier spectrum, are suppressed, (b) real part of MDAS is original signal, (c) real and imaginary part of MDAS are orthogonal, and (d) the magnitude envelope of a original signal is obtained as the magnitude of its associated MDAS, which is the instantaneous amplitude of the MDAS. The proposed MDHT and associated DMAS are generalization of the 1D HT and AS, respectively. We also provide the decomposition of an image into the AM-FM image model by the Fourier method and obtain explicit expression for the analytic image computation by 2DDFT.


title: The uniqueness-of-norm problem for Calkin algebras

abstract: We examine the question of whether the Calkin algebra of a Banach space must have a unique complete algebra norm. We present a survey of known results, and make the observation that a recent Banach space construction of Argyros and Motakis (preprint, 2015) provides the first negative answer. The parallel question for the weak Calkin algebra also has a negative answer; we demonstrate this using a Banach space of Read (J. London Math. Soc. 1989).


title: The CLT Analogue for Cyclic Urns

abstract: A cyclic urn is an urn model for balls of types $0,\ldots,m-1$ where in each draw the ball drawn, say of type $j$, is returned to the urn together with a new ball of type $j+1 \mod m$. The case $m=2$ is the well-known Friedman urn. The composition vector, i.e., the vector of the numbers of balls of each type after $n$ steps is, after normalization, known to be asymptotically normal for $2\le m\le 6$. For $m\ge 7$ the normalized composition vector does not converge. However, there is an almost sure approximation by a periodic random vector. In this paper the asymptotic fluctuations around this periodic random vector are identified. We show that these fluctuations are asymptotically normal for all $m\ge 7$. However, they are of maximal dimension $m-1$ only when $6$ does not divide $m$. For $m$ being a multiple of $6$ the fluctuations are supported by a two-dimensional subspace.


title: Improving Reachability and Navigability in Recommender Systems

abstract: In this paper, we investigate recommender systems from a network perspective and investigate recommendation networks, where nodes are items (e.g., movies) and edges are constructed from top-N recommendations (e.g., related movies). In particular, we focus on evaluating the reachability and navigability of recommendation networks and investigate the following questions: (i) How well do recommendation networks support navigation and exploratory search? (ii) What is the influence of parameters, in particular different recommendation algorithms and the number of recommendations shown, on reachability and navigability? and (iii) How can reachability and navigability be improved in these networks? We tackle these questions by first evaluating the reachability of recommendation networks by investigating their structural properties. Second, we evaluate navigability by simulating three different models of information seeking scenarios. We find that with standard algorithms, recommender systems are not well suited to navigation and exploration and propose methods to modify recommendations to improve this. Our work extends from one-click-based evaluations of recommender systems towards multi-click analysis (i.e., sequences of dependent clicks) and presents a general, comprehensive approach to evaluating navigability of arbitrary recommendation networks.


title: Error Rate and Power Allocation Analysis of Regenerative Networks under Generalized Fading Conditions

abstract: Cooperative communication has been shown to provide significant increase of transmission reliability and network capacity while expanding coverage in cellular networks. The present work is devoted to the investigation of the end-to-end performance and power allocation of a maximum-ratio-combining based regenerative multi-relay cooperative network over non-homogeneous scattering environment, which is the case in realistic wireless communication scenarios. Novel analytic expressions are derived for the end-to-end symbol-error-rate of both $M-$ary Phase-Shift Keying and $M-$ary Quadrature Amplitude Modulation over independent and non-identically distributed generalized fading channels. The offered results are expressed in closed-form involving the Lauricella function and can be readily evaluated with the aid of a proposed computational algorithm. Simple expressions are also derived for the corresponding symbol-error-rate at asymptotically high signal-to-noise ratios. The derived expressions are corroborated with respective results from computer simulations and are subsequently employed in formulating a power optimization problem that enhances the system performance under total power constraints within the multi-relay cooperative system. Furthermore, it is shown that optimum power allocation provides substantial performance gains over equal power allocation, particularly, when the source-relay and relay-destination paths are highly unbalanced.


title: Surface mode hybridization in the optical response of core-shell particles

abstract: We present an exact rewriting of the Mie coefficients describing the scattering of light by a spherical core-shell particle which enables their interpretation in terms of an hybridization of the two surface modes arising, respectively, at the core-shell and the shell-medium interface. For this particular case we thus obtain from the Mie theory--analytically for all multipole orders and hence for arbitrarily sized particles--the hybridization scenario, which so far has been employed primarily for small particles in the electrostatic approximation. To demonstrate the strength of the rewriting approach we also extract the hybridization scenario for a stratified sphere directly from the expansion coefficients for the electromagnetic fields.


title: Correlated spinless fermions on the honeycomb lattice revisited

abstract: We investigate the quantum many-body instabilities of the extended Hubbard model for spinless fermions on the honeycomb lattice with repulsive nearest-neighbor and 2nd nearest-neighbor density-density interactions. Recent exact diagonalization and infinite density matrix renormalization group results suggest that a putative topological Mott insulator phase driven by the 2nd nearest-neighbor repulsion is suppressed, while other numerically exact approaches support the topological Mott insulator scenario. In the present work, we employ the functional renormalization group (fRG) for correlated fermionic systems. Our fRG results hint at a strong suppression of the scattering processes stabilizing the topological Mott insulator. From analyzing the effects of fermionic fluctuations, we obtain a phase diagram which is the result of the competition of various charge ordering instabilities.


title: A Schauder-type theorem for discontinuous operators with applications to second-order BVPs

abstract: We prove a new fixed point theorem of Schauder-type which applies to discontinuous operators in non-compact domains. In order to do so, we present a modification of a recent Schauder-type theorem due to Pouso. We apply our result to second-order boundary value problems with discontinuous nonlinearities. We include an example to illustrate our theory.


title: HD 80606: Searching the chemical signature of planet formation

abstract: (Abridged) Binary systems with similar components are ideal laboratories which allow several physical processes to be tested, such as the possible chemical pattern imprinted by the planet formation process. Aims. We explore the probable chemical signature of planet formation in the remarkable binary system HD 80606 - HD 80607. The star HD 80606 hosts a giant planet with 4 MJup detected by both transit and radial velocity techniques, being one of the most eccentric planets detected to date. We study condensation temperature Tc trends of volatile and refractory element abundances to determine whether there is a depletion of refractories that could be related to the terrestrial planet formation. Methods. We carried out a high-precision abundance determination in both components of the binary system, using a line-by-line strictly differential approach, using the Sun as a reference and then using HD 80606 as reference. We used an updated version of the program FUNDPAR, together with ATLAS9 model atmospheres and the MOOG code. Conclusions. From the study of Tc trends, we concluded that the stars HD 80606 and HD 80607 do not seem to be depleted in refractory elements, which is different for the case of the Sun. Then, the terrestrial planet formation would have been less efficient in the components of this binary system than in the Sun. The lack of a trend for refractory elements with Tc between both stars implies that the presence of a giant planet do not neccesarily imprint a chemical signature in their host stars, similar to the recent result of Liu et al. (2014). This is also in agreement with Melendez et al. (2009), who suggest that the presence of close-in giant planets might prevent the formation of terrestrial planets. Finally, we speculate about a possible planet around the star HD 80607.


title: Angular analysis of the decay B0 to K*0 mu mu from pp collisions at sqrt(s) = 8 TeV

abstract: The angular distributions and the differential branching fraction of the decay B0 to K*0(892) mu mu are studied using data corresponding to an integrated luminosity of 20.5 inverse femtobarns collected with the CMS detector at the LHC in pp collisions at sqrt(s) = 8 TeV. From 1430 signal decays, the forward-backward asymmetry of the muons, the K*0(892) longitudinal polarization fraction, and the differential branching fraction are determined as a function of the dimuon invariant mass squared. The measurements are among the most precise to date and are in good agreement with standard model predictions.


title: Minimum energy path for the nucleation of misfit dislocations in Ge/Si(001) heteroepitaxy

abstract: A possible mechanism for the formation of a 90{\deg} misfit dislocation at the Ge/Si(001) interface through homogeneous nucleation is identified from atomic scale calculations where a minimum energy path connecting the coherent epitaxial state and a final state with a 90{\deg} misfit dislocation is found using the nudged elastic band method. The initial path is generated using a repulsive bias activation procedure in a model system including 75000 atoms. The energy along the path exhibits two maxima in the energy. The first maximum occurs as a 60{\deg} dislocation nucleates. The intermediate minimum corresponds to an extended 60{\deg} dislocation. The subsequent energy maximum occurs as a second 60{\deg} dislocation nucleates in a complementary, mirror glide plane, simultaneously starting from the surface and from the first 60{\deg} dislocation. The activation energy of the nucleation of the second dislocation is 30% lower than that of the first one showing that the formation of the second 60{\deg} dislocation is aided by the presence of the first one. The simulations represent a step towards unraveling the formation mechanism of 90{\deg} dislocations, an important issue in the design of growth procedures for strain released Ge overlayers on Si(100) surfaces, and more generally illustrate an approach that can be used to gain insight into the mechanism of complex nucleation paths of extended defects in solids.


title: Why we need an Electron-Ion Collider

abstract: We present a brief argument making the science case for an electron-ion collider.


title: Integral $p$-adic Hodge theory - announcement

abstract: Given a proper, smooth (formal) scheme over the ring of integers of $\mathbb C_p$, we prove that if the crystalline cohomology of its special fibre is torsion-free then the $p$-adic \'etale cohomology of its generic fibre is also torsion-free. In this announcement we sketch the proof, which relies on the construction of a new cohomology theory interpolating between crystalline and \'etale cohomology. Further details and results, including a comparison isomorphism, will be presented in the full forthcoming article.


title: Topological Map of the Hofstadter Butterfly and Van Hove Singularities

abstract: The Hofstadter butterfly is a quantum fractal with a highly complex nested set of gaps, where each gap represents a quantum Hall state whose quantized conductivity is characterized by topological invariants known as the Chern numbers. Here we obtain simple rules to determine the Chern numbers at all scales in the butterfly fractal and lay out a very detailed topological map of the butterfly. Our study reveals the existence of a set of critical points, each corresponding to a macroscopic annihilation of orderly patterns of both the positive and the negative Cherns that appears as a fine structure in the butterfly. Such topological collapses are identified with the Van Hove singularities that exists at every band center in the butterfly landscape. We thus associate a topological character to the Van Hove anomalies. Finally, we show that this fine structure is amplified under perturbation, inducing quantum phase transitions to higher Chern states in the system.


title: Optical properties of black hole in the presence of plasma: shadow

abstract: We have studied photon motion around axially symmetric rotating Kerr black hole in the presence of plasma with radial power-law density. It is shown that in the presence of plasma the observed shape and size of shadow changes depending on i) plasma parameters, ii) black hole spin and iii) inclination angle between observer plane and axis of rotation of black hole. In order to extract pure effect of plasma influence on black hole image the particular case of the Schwarzschild black hole has also been investigated and it has been shown that i) the photon sphere around the spherical symmetric black hole is left unchanged under the plasma influence, ii) however the Schwarzschild black hole shadow size in plasma is reduced due to the refraction of the electromagnetic radiation in plasma environment of black hole. The study of the energy emission from the black hole in plasma shows that in the presence of plasma the maximal energy emission rate from the black hole decreases.


title: Inhomogeneous quenches in a fermionic chain: exact results

abstract: We consider the non-equilibrium physics induced by joining together two tight binding fermionic chains to form a single chain. Before being joined, each chain is in a many-fermion ground state. The fillings (densities) in the two chains might be the same or different. We present a number of exact results for the correlation functions in the non-interacting case. We present a short-time expansion, which can sometimes be fully resummed, and which reproduces the so-called `light cone' effect or wavefront behavior of the correlators. For large times, we show how all interesting physical regimes may be obtained by stationary phase approximation techniques. In particular, we derive semiclassical formulas in the case when both time and positions are large, and show that these are exact in the thermodynamic limit. We present subleading corrections to the large-time behavior, including the corrections near the edges of the wavefront. We also provide results for the return probability or Loschmidt echo. In the maximally inhomogeneous limit, we prove that it is exactly gaussian at all times. The effects of interactions on the Loschmidt echo are also discussed.

categories: cond-mat.stat-mech cond-mat.str-el math-ph math.MP


title: Analytical, Optimal, and Sparse Optimal Control of Traveling Wave Solutions to Reaction-Diffusion Systems

abstract: This work deals with the position control of selected patterns in reaction-diffusion systems. Exemplarily, the Schl\"{o}gl and FitzHugh-Nagumo model are discussed using three different approaches. First, an analytical solution is proposed. Second, the standard optimal control procedure is applied. The third approach extends standard optimal control to so-called sparse optimal control that results in very localized control signals and allows the analysis of second order optimality conditions.

categories: nlin.PS math-ph math.MP nlin.AO physics.bio-ph physics.chem-ph


title: Neutrino Oscillations with the MINOS, MINOS+, T2K, and NOvA Experiments

abstract: This paper discusses recent results and near-term prospects of the long-baseline neutrino experiments MINOS, MINOS+, T2K and NOvA. The non-zero value of the third neutrino mixing angle {\theta}13 allows experimental analysis in a manner which explicitly exhibits appearance and disappearance dependencies on additional parameters associated with mass-hierarchy, CP violation, and any non-maximal {\theta}23. These current and near-future experiments begin the era of precision accelerator long-baseline measurements and lay the framework within which future experimental results will be interpreted.


title: Smallest bases of expansions with multiple digits

abstract: Given two positive integers $M$ and $k$, let $\B_k$ be the set of bases $q>1$ such that there exists a real number $x$ having exactly $k$ different $q$-expansions over the alphabet $\{0,1,\cdots,M\}$. In this paper we investigate the smallest base $q_2$ of $\B_2$, and show that if $M=2m$ the smallest base $$q_2 =\frac{m+1+\sqrt{m^2+2m+5}}{2},$$ and if $M=2m-1$ the smallest base $q_2$ is the appropriate root of $$ x^4=(m-1)\,x^3+2 m\, x^2+m \,x+1. $$ Moreover, for $M=2$ we show that $q_2$ is also the smallest base of $\B_k$ for all $k\ge 3$. This turns out to be different from that for $M=1$.


title: Multiatom Quantum Coherences in Micromasers as Fuel for Thermal and Nonthermal Machines

abstract: In this paper we address the question: To what extent is the quantum state preparation of multiatom clusters (before they are injected into the microwave cavity) instrumental for determining not only the kind of machine we may operate but also the quantitative bounds of its performance? Figuratively speaking, if the multiatom cluster is the "crude oil", the question is: Which preparation of the cluster is the refining process that can deliver a "gasoline" with a "specific octane"? We classify coherences or quantum correlations among the atoms according to their ability to serve as (i) fuel for nonthermal machines corresponding to atomic states whose coherences displace or squeeze the cavity field, as well as cause its heating; and (ii) fuel which is purely "combustible", i.e., corresponds to atomic states that only allow for heat and entropy exchange with the field and can energize a proper heat engine. We identify highly promising multiatom states for each kind of fuel and propose viable experimental schemes for their implementation.


title: HCMapper: An interactive visualization tool to compare partition-based flat clustering extracted from pairs of dendrograms

abstract: We describe a new visualization tool, dubbed HCMapper, that visually helps to compare a pair of dendrograms computed on the same dataset by displaying multiscale partition-based layered structures. The dendrograms are obtained by hierarchical clustering techniques whose output reflects some hypothesis on the data and HCMapper is specifically designed to grasp at first glance both whether the two compared hypotheses broadly agree and the data points on which they do not concur. Leveraging juxtaposition and explicit encodings, HCMapper focus on two selected partitions while displaying coarser ones in context areas for understanding multiscale structure and eventually switching the selected partitions. HCMapper utility is shown through the example of testing whether the prices of credit default swap financial time series only undergo correlation. This use case is detailed in the supplementary material as well as experiments with code on toy-datasets for reproducible research. HCMapper is currently released as a visualization tool on the DataGrapple time series and clustering analysis platorm at www.datagrapple.com.


title: Quantum few-body bound states of dipolar particles in a helical geometry

abstract: We study a quantum mechanical system consisting of up to three identical dipoles confined to move along a helical shaped trap. The long-range interactions between particles confined to move in this one dimension leads to an interesting effective two-particle potential with an oscillating behaviour. For this system we calculate the spectrum and the wave functions of the bound states. The full quantum solutions show clear imprints of the tendency for the system to form chains of dipoles along the helix, i.e. a configuration in which the dipoles are sitting approximately one winding of the helix apart so that they can take maximal advantage of the strong head-to-tail attraction that is a generic feature of the dipole-dipole interaction.


title: Flow Rounding

abstract: We consider flow rounding: finding an integral flow from a fractional flow. Costed flow rounding asks that we find an integral flow with no worse cost. Randomized flow rounding requires we randomly find an integral flow such that the expected flow along each edge matches the fractional flow. Both problems are reduced to cycle canceling, for which we develop an $O(m \log(n^2/m))$ algorithm.


title: Degree-based goodness-of-fit tests for heterogeneous random graph models : independent and exchangeable cases

abstract: The degrees are a classical and relevant way to study the topology of a network. They can be used to assess the goodness-of-fit for a given random graph model. In this paper we introduce goodness-of-fit tests for two classes of models. First, we consider the case of independent graph models such as the heterogeneous Erd\"os-R\'enyi model in which the edges have different connection probabilities. Second, we consider a generic model for exchangeable random graphs called the W-graph. The stochastic block model and the expected degree distribution model fall within this framework. We prove the asymptotic normality of the degree mean square under these independent and exchangeable models and derive formal tests. We study the power of the proposed tests and we prove the asymptotic normality under specific sparsity regimes. The tests are illustrated on real networks from social sciences and ecology, and their performances are assessed via a simulation study.


title: Restarted Hessenberg method for solving shifted nonsymmetric linear systems

abstract: It is known that the restarted full orthogonalization method (FOM) outperforms the restarted generalized minimum residual (GMRES) method in several circumstances for solving shifted linear systems when the shifts are handled simultaneously. Many variants of them have been proposed to enhance their performance. We show that another restarted method, the restarted Hessenberg method [M. Heyouni, M\'ethode de Hessenberg G\'en\'eralis\'ee et Applications, Ph.D. Thesis, Universit\'e des Sciences et Technologies de Lille, France, 1996] based on Hessenberg procedure, can effectively be employed, which can provide accelerating convergence rate with respect to the number of restarts. Theoretical analysis shows that the new residual of shifted restarted Hessenberg method is still collinear with each other. In these cases where the proposed algorithm needs less enough CPU time elapsed to converge than the earlier established restarted shifted FOM, weighted restarted shifted FOM, and some other popular shifted iterative solvers based on the short-term vector recurrence, as shown via extensive numerical experiments involving the recent popular applications of handling the time fractional differential equations.


title: Construction and Classification of Holomorphic Vertex Operator Algebras

abstract: We develop an orbifold theory for finite, cyclic groups acting on holomorphic vertex operator algebras. Then we show that Schellekens' classification of $V_1$-structures of meromorphic conformal field theories of central charge 24 is a theorem on vertex operator algebras. Finally we use these results to construct some new holomorphic vertex operator algebras of central charge 24 as lattice orbifolds.


title: Spontaneous mass generation and the small dimensions of the Standard Model gauge groups U(1), SU(2) and SU(3)

abstract: The gauge symmetry of the Standard Model is SU(3)_c x SU(2)_L x U(1)_Y for unknown reasons. One aspect that can be addressed is the low dimensionality of all its subgroups. Why not much larger groups like SU(7), or for that matter, SP(38) or E7? We observe that fermions charged under large groups acquire much bigger dynamical masses, all things being equal at a high e.g. GUT scale, than ordinary quarks. Should such multicharged fermions exist, they are too heavy to be observed today and have either decayed early on (if they couple to the rest of the Standard Model) or become reliquial dark matter (if they don't). The result follows from strong antiscreening of the running coupling for those larger groups (with an appropriately small number of flavors) together with scaling properties of the Dyson-Schwinger equation for the fermion mass.


title: On cscK resolutions of conically singular cscK varieties

abstract: In this note we discuss the problem of resolving conically singular cscK varieties to construct smooth cscK manifolds, showing a glueing result for (some) crepant resolutions of cscK varieties with discrete automorphism groups.


title: From coin-tossing to rock-paper-scissors and beyond: A log-exp gap theorem for selecting a leader

abstract: A class of games for finding a leader among a group of candidates is studied in detail. This class covers games based on coin-tossing and rock-paper-scissors as special cases and its complexity exhibits similar stochastic behaviors: either of logarithmic mean and bounded variance or of exponential mean and exponential variance. Many applications are also discussed.


title: On a type of commutative algebras

abstract: We introduce some basic concepts for Jacobi-Jordan algebras such as: representations, crossed products or Frobenius/metabelian/co-flag objects. A new family of solutions for the quantum Yang-Baxter equation is constructed arising from any $3$-step nilpotent Jacobi-Jordan algebra. Crossed products are used to construct the classifying object for the extension problem in its global form. For a given Jacobi-Jordan algebra $A$ and a given vector space $V$ of dimension $\mathfrak{c}$, a global non-abelian cohomological object ${\mathbb G} {\mathbb H}^{2} \, (A, \, V)$ is constructed: it classifies, from the view point of the extension problem, all Jacobi-Jordan algebras that have a surjective algebra map on $A$ with kernel of dimension $\mathfrak{c}$. The object ${\mathbb G} {\mathbb H}^{2} \, (A, \, k)$ responsible for the classification of co-flag algebras is computed, all $1 + {\rm dim} (A)$ dimensional Jacobi-Jordan algebras that have an algebra surjective map on $A$ are classified and the automorphism groups of these algebras is determined. Several examples involving special sets of matrices and symmetric bilinear forms as well as equivalence relations between them (generalizing the isometry relation) are provided.


title: The near-infrared radiation background, gravitational wave background and star formation rate of Pop III and Pop II during cosmic reionization

abstract: In this paper, we obtain the NIRB and SBGWs from the early stars, which are constrained by the observation of reionization and star formation rate. We study the transition from Pop III to Pop II stars via the star formation model of different population, which takes into account the reionization and the metal enrichment evolution. We calculate the two main metal pollution channels arising from the supernova-driven protogalactic outflows and "genetic channel". We obtain the SFRs of Pop III and Pop II and their NIRB and SBGWs radiation. We predict that the upper limit of metallicity in metal-enriched IGM (the galaxies whose polluted via "genetic channel") reaches $Z_{\rm crit}=10^{-3.5}Z_{\odot}$ at $z\sim13$ ($z\sim11$), which is consistent with our star formation model. We constrain on the SFR of Pop III stars from the observation of reionization. The peak intensity of NIRB is about $0.03-0.2~nW m^{-2}{sr}^{-1}$ at $\sim 1 \mu m$ for $z>6$. The prediction of NIRB signal is consistent with the metallicity evolution. We also obtain the gravitational wave background from the black holes formed by these early stars. The predicted gravitational wave background has a peak amplitude of $\Omega_{GW}\simeq8\times10^{-9}$ at $\nu=158$ Hz for Pop II star remnants. However, the background generated by Pop III.2 stars is much less than Pop II stars, with a peak amplitude of $\Omega_{GW}\simeq1.2\times10^{-11}$ at $\nu=28~Hz$. The background of Pop III.1 shifts to lower frequencies, and the amplitude of $\Omega _{GW}$ for Pop III.1 stars shows a minimum value at $\nu\simeq 10$ Hz, due to the lack of gravitational wave signals from the stars with $140~M_{\odot}<M_\ast<260~M_{\odot}$.


title: Exact dynamics of charge fluctuations in the multichannel interacting resonant level model

abstract: A modified version of the spinless Anderson model is studied by means of the continuous-time quantum Monte Carlo method. This study is motivated by the peculiar heavy-fermion behavior observed in certain Samarium compounds, which is insensitive to magnetic field. The model involves M channels for conduction electrons, all of which interact with local f electron via the Coulomb repulsion Ufc, while only one channel has hybridization with the local state. The effective hybridization is reduced by the Anderson orthogonality effect, and a quantum critical point occurs with increasing M and/or increasing Ufc. The numerical results at finite temperature of the local charge susceptibility are well fitted by a simple scaling theory for all M. However, the single-particle spectrum is described by a double Lorentzian for M>1, in contrast with the single Lorentzian with M=1. A quasi-particle perturbation theory is presented that reproduces the quantum critical point for large M. The quasi-particle theory gives not only the renormalized energy scale, but its extrapolation toward higher energies being consistent with the double Lorentzian spectrum.


title: On non-dense orbits of certain non-algebraic dynamical systems

abstract: In this paper, we manage to apply Schmidt games to certain non-algebraic dynamical systems. More precisely, we show that the set of points with non-dense forward orbit under a $C^2$-Anosov diffeomorphism with conformality on unstable manifolds is a winning set for Schmidt games. It is also proved that for a $C^{1+\theta}$-expanding endomorphism the set of points with non-dense forward orbit is a winning set for certain variants of Schmidt games.


title: Distributed Channel Estimation and Pilot Contamination Analysis for Massive MIMO-OFDM Systems

abstract: Massive MIMO communication systems, by virtue of utilizing very large number of antennas, have a potential to yield higher spectral and energy efficiency in comparison with the conventional MIMO systems. In this paper, we consider uplink channel estimation in massive MIMO-OFDM systems with frequency selective channels. With increased number of antennas, the channel estimation problem becomes very challenging as exceptionally large number of channel parameters have to be estimated. We propose an efficient distributed linear minimum mean square error (LMMSE) algorithm that can achieve near optimal channel estimates at very low complexity by exploiting the strong spatial correlations and symmetry of large antenna array elements. The proposed method involves solving a (fixed) reduced dimensional LMMSE problem at each antenna followed by a repetitive sharing of information through collaboration among neighboring antenna elements. To further enhance the channel estimates and/or reduce the number of reserved pilot tones, we propose a data-aided estimation technique that relies on finding a set of most reliable data carriers. We also analyse the effect of pilot contamination on the mean square error (MSE) performance of different channel estimation techniques. Unlike the conventional approaches, we use stochastic geometry to obtain analytical expression for interference variance (or power) across OFDM frequency tones and use it to derive the MSE expressions for different algorithms under both noise and pilot contaminated regimes. Simulation results validate our analysis and the near optimal MSE performance of proposed estimation algorithms.


title: A model for the Pockels effect in distorted liquid crystal blue phases

abstract: Recent experiments have found that a mechanically distorted blue phase can exhibit a primary linear electro-optic (Pockels) effect [F. Castles \textit{et al}. Nature Mater. \textbf{13}, 817 (2014)]. Here it is shown that flexoelectricity can account for the experimental results and a model, which is based on continuum theory but takes account of the sub-unit-cell structure, is proposed. The model provides a quantitative description of the effect accurate to the nearest order of magnitude and predicts that the Pockels coefficient(s) in an optimally-distorted blue phase may be two orders of magnitude larger than in lithium niobate.


title: Anisotropic metamaterial as an analogue of a black hole

abstract: Propagation of light in a metamaterial medium which mimics curved spacetime and acts like a black hole is studied. We show that for a particular type of spacetimes and wave polarization, the time dilation appears as dielectric permittivity, while the spatial curvature manifests as magnetic permeability. The optical analogue to the relativistic Hamiltonian which determines the ray paths (null geodesics) in the anisotropic metamaterial is obtained. By applying the formalism to the Schwarzschild metric, we compare the ray paths with full-wave simulations in the equivalent optical medium.


title: A Declarative Framework for Specifying and Enforcing Purpose-aware Policies

abstract: Purpose is crucial for privacy protection as it makes users confident that their personal data are processed as intended. Available proposals for the specification and enforcement of purpose-aware policies are unsatisfactory for their ambiguous semantics of purposes and/or lack of support to the run-time enforcement of policies. In this paper, we propose a declarative framework based on a first-order temporal logic that allows us to give a precise semantics to purpose-aware policies and to reuse algorithms for the design of a run-time monitor enforcing purpose-aware policies. We also show the complexity of the generation and use of the monitor which, to the best of our knowledge, is the first such a result in literature on purpose-aware policies.


title: Validation of nuclear models in Geant4 using the dose distribution of a 177 MeV proton pencil beam

abstract: A proton pencil beam is associated with a surrounding low-dose envelope, originating from nuclear interactions. It is important for treatment planning systems to accurately model this envelope when performing dose calculations for pencil beam scanning treatments, and Monte Carlo (MC) codes are commonly used for this purpose. This work aims to validate the nuclear models employed by the Geant4 MC code, by comparing the simulated absolute dose distribution to a recent experiment of a 177 MeV proton pencil beam stopping in water. Striking agreement is observed over five orders of magnitude, with both the shape and normalisation well modelled. The normalisations of two depth dose curves are lower than experiment, though this could be explained by an experimental positioning error. The Geant4 neutron production model is also verified in the distal region. The entrance dose is poorly modelled, suggesting an unaccounted upstream source of low-energy protons. Recommendations are given for a follow-up experiment which could resolve these issues.


title: IT-Dendrogram: A New Member of the In-Tree (IT) Clustering Family

abstract: Previously, we proposed a physically-inspired method to construct data points into an effective in-tree (IT) structure, in which the underlying cluster structure in the dataset is well revealed. Although there are some edges in the IT structure requiring to be removed, such undesired edges are generally distinguishable from other edges and thus are easy to be determined. For instance, when the IT structures for the 2-dimensional (2D) datasets are graphically presented, those undesired edges can be easily spotted and interactively determined. However, in practice, there are many datasets that do not lie in the 2D Euclidean space, thus their IT structures cannot be graphically presented. But if we can effectively map those IT structures into a visualized space in which the salient features of those undesired edges are preserved, then the undesired edges in the IT structures can still be visually determined in a visualization environment. Previously, this purpose was reached by our method called IT-map. The outstanding advantage of IT-map is that clusters can still be found even with the so-called crowding problem in the embedding. In this paper, we propose another method, called IT-Dendrogram, to achieve the same goal through an effective combination of the IT structure and the single link hierarchical clustering (SLHC) method. Like IT-map, IT-Dendrogram can also effectively represent the IT structures in a visualization environment, whereas using another form, called the Dendrogram. IT-Dendrogram can serve as another visualization method to determine the undesired edges in the IT structures and thus benefit the IT-based clustering analysis. This was demonstrated on several datasets with different shapes, dimensions, and attributes. Unlike IT-map, IT-Dendrogram can always avoid the crowding problem, which could help users make more reliable cluster analysis in certain problems.


title: Theory of the ultra-intense short-pulse laser interaction with under-dense plasma

abstract: A comprehensive theory is proposed to describe the propagation and absorption of ultra-intense, short laser pulse through the under-dense plasma. The kinetic aspects of plasma are fully incorporated using extensive particle-in-cell (PIC) simulations. It is turned out that the plasma behavior is characterized by both its density and the ratio of the pulse length to the plasma wavelength. According to exact analyses and direct simulation evidences, at ultra-low densities the laser pulse is adiabatically depleted (absorbed) by the wake excitation. And the depletion is accompanied by the overall radiation red-shift. At these densities, for pulse lengths larger than the plasma wavelength the Raman type scatterings also occur without causing instability. When the plasma density grows toward the critical density, a completely new regime appears with the main character of highly unsteady light propagation. Here, based on analyses and simulations, the radiation pressure induced wave breaking (RPIWB) heavily destroys the oscillatory structure of the electron wave behind the first plasma period. On the other hand, the electron density profile induced by the ponderomotive force ahead of the pulse begins to steepen and eventually acts as a flying mirror. As a result, the pulse becomes bake scattered and its penetration becomes limited. The radiation pressure of reflecting pulse sustains a longitudinal electric field which accelerates electrons produced via RPIWB causing the plasma to undergo volumetric heating. Mostly important, based on a newly proposed model it is shown that the interaction becomes saturated at a definite time and that the overall absorption and plasma heating are directly related to this time. Also it is found that the saturation time decreases by a factor of ( , and are initial electron density, critical density and initial laser gamma factor)...


title: Linear-scaling time-dependent density-functional theory (TDDFT) beyond the Tamm-Dancoff approximation: obtaining efficiency and accuracy with in situ optimised local orbitals

abstract: We present a solution of the full TDDFT eigenvalue equation in the linear response formalism exhibiting a linear-scaling computational complexity with system size, without relying on the simplifying Tamm-Dancoff approximation (TDA). The implementation relies on representing the occupied and unoccupied subspace with two different sets of in situ optimised localised functions, yielding a very compact and efficient representation of the transition density matrix of the excitation with the accuracy associated with a systematic basis set. The TDDFT eigenvalue equation is solved using a preconditioned conjugate-gradients algorithm that is very memory-efficient. The algorithm is validated on a test molecule and a good agreement with results obtained from standard quantum chemistry packages is found, with the preconditioner yielding a significant improvement in convergence rates. The method developed in this work is then used to reproduce experimental results of the absorption spectrum of bacteriochlorophyll (BChl) in an organic solvent, where it is demonstrated that the TDA fails to reproduce the main features of the low energy spectrum, while the full TDDFT equation yields results in good qualitative agreement with experimental data. Furthermore, the need for explicitly including parts of the solvent into the TDDFT calculations is highlighted, making the treatment of large system sizes necessary that are well within reach of the capabilities of the algorithm introduced here. Finally, the linear-scaling properties of the algorithm are demonstrated by computing the lowest excitation energy of BChl in solution. The largest systems considered in this work are of the same order of magnitude as a variety of pigment-protein complexes, opening up the possibility of studying their properties without having to resort to any semiclassical approximations to parts of the protein environment.


title: Fast Biclustering by Dual Parameterization

abstract: We study two clustering problems, Starforest Editing, the problem of adding and deleting edges to obtain a disjoint union of stars, and the generalization Bicluster Editing. We show that, in addition to being NP-hard, none of the problems can be solved in subexponential time unless the exponential time hypothesis fails. Misra, Panolan, and Saurabh (MFCS 2013) argue that introducing a bound on the number of connected components in the solution should not make the problem easier: In particular, they argue that the subexponential time algorithm for editing to a fixed number of clusters (p-Cluster Editing) by Fomin et al. (J. Comput. Syst. Sci., 80(7) 2014) is an exception rather than the rule. Here, p is a secondary parameter, bounding the number of components in the solution. However, upon bounding the number of stars or bicliques in the solution, we obtain algorithms which run in time $2^{5 \sqrt{pk}} + O(n+m)$ for p-Starforest Editing and $2^{O(p \sqrt{k} \log(pk))} + O(n+m)$ for p-Bicluster Editing. We obtain a similar result for the more general case of t-Partite p-Cluster Editing. This is subexponential in k for fixed number of clusters, since p is then considered a constant. Our results even out the number of multivariate subexponential time algorithms and give reasons to believe that this area warrants further study.


title: Mode selection in InAs quantum dot microdisk lasers using focused ion beam technique

abstract: Optically pumped InAs quantum dot microdisk lasers with grooves etched on their surface by a focused ion beam is studied. It is shown that the radial grooves, depending on their length, suppress the lasing of specific radial modes of the microdisk. Total suppression of all radial modes except for the fundamental radial one is also demonstrated. The comparison of laser spectra measured at 78 K before and after ion beam etching for microdisk of 8 $\mu$m in diameter shows a six-fold increase of mode spacing, from 2.5 nm to 15.5 nm, without significant decrease of the dominant mode quality factor. Numerical simulations are in good agreement with experimental results.


title: A Model for TSUnami FLow INversion from Deposits (TSUFLIND)

abstract: Modern tsunami deposits are employed to estimate the overland flow characteristics of tsunamis. With the help of the overland-flow characteristics, the characteristics of the causative tsunami wave can be estimated. The understanding of tsunami deposits has tremendously improved over the last decades. There are three prominent inversion models: Moore advection model, Soulsby's model and TsuSedMod model. TSUFLIND incorporates all three models and adds new modules to better simulate tsunami deposit formation and calculate flow condition. TSUFLIND takes grain-size distribution, thickness, water depth and topography information as inputs. TSUFLIND computes sediment concentration, grain-size distribution of sediment source and initial flow condition to match the sediment thickness and grain size distribution from field observation. Furthermore, TSUFLIND estimates the flow speed, Froude number and representative wave amplitude. The model is tested by using field data collected at Ranganathapuram, India after the 2004 India Ocean tsunami. TSUFLIND reproduces the field measurement grain-size distribution with less than 5% error. Tsunami speed in this test case is about 4.7 m/s at 150 meters inland and decreases to 3.3 m/s 350 meters inland from the shoreline. The estimated wave amplitude of the largest wave for this test case is about 5 to 7 meters.


title: Grand Unification in the Spectral Pati-Salam Model

abstract: We analyze the running at one-loop of the gauge couplings in the spectral Pati-Salam model that was derived in the framework of noncommutative geometry. There are a few different scenario's for the scalar particle content which are determined by the precise form of the Dirac operator for the finite noncommutative space. We consider these different scenarios and establish for all of them unification of the Pati-Salam gauge couplings. The boundary conditions are set by the usual RG flow for the Standard Model couplings at an intermediate mass scale at which the Pati-Salam symmetry is broken.


title: Spontaneously broken conformal invariance in observables

abstract: Conformal invariance is spontaneously broken in many physical systems leading to the appearance of a single massless Goldstone mode in the spectrum, the dilaton. The dilaton soft limit is shown to generically encode the action of both the dilatation and the special conformal transformation on observables. For massive on-shell legs these take the form of sub-leading soft theorems. At loop level, we show how anomalous dimensions for coupling constants and fields can be included. We illustrate the general analysis with a variety of formal and phenomenological applications.


title: Geometric flows and their solitons on homogeneous spaces

abstract: We develop a general approach to study geometric flows on homogeneous spaces. Our main tool will be a dynamical system defined on the variety of Lie algebras called the bracket flow, which coincides with the original geometric flow after a natural change of variables. The advantage of using this method relies on the fact that the possible pointed (or Cheeger-Gromov) limits of solutions, as well as self-similar solutions or soliton structures, can be much better visualized. The approach has already been worked out in the Ricci flow case and for general curvature flows of almost-hermitian structures on Lie groups. This paper is intended as an attempt to motivate the use of the method on homogeneous spaces for any flow of geometric structures under minimal natural assumptions. As a novel application, we find a closed G2-structure on a nilpotent Lie group which is an expanding soliton for the Laplacian flow and is not an eigenvector.


title: Identification, location-domination and metric dimension on interval and permutation graphs. I. Bounds

abstract: We consider the problems of finding optimal identifying codes, (open) locating-dominating sets and resolving sets of an interval or a permutation graph. In these problems, one asks to find a subset of vertices, normally called a \emph{solution} set, using which all vertices of the graph are distinguished. The identification can be done by considering the neighborhood within the solution set, or by employing the distances to the solution vertices. Normally the goal is to minimize the size of the solution set then. Here we study the case of interval graphs, unit interval graphs, (bipartite) permutation graphs and cographs. For these classes of graphs we give tight lower bounds for the size of such solution sets depending on the order of the input graph. While such lower bounds for the general class of graphs are in logarithmic order, the improved bounds in these special classes are of the order of either quadratic root or linear in terms of number of vertices. Moreover, the results for cographs lead to linear-time algorithms to solve the considered problems on inputs that are cographs.


title: Taub-NUT Dynamics with a Magnetic Field

abstract: We study classical and quantum dynamics on the Euclidean Taub-NUT geometry coupled to an abelian gauge field with self-dual curvature and show that, even though Taub-NUT has neither bounded orbits nor quantum bound states, the magnetic binding via the gauge field produces both. The conserved Runge-Lenz vector of Taub-NUT dynamics survives, in a modified form, in the gauged model and allows for an essentially algebraic computation of classical trajectories and energies of quantum bound states. We also compute scattering cross sections and find a surprising electric-magnetic duality. Finally, we exhibit the dynamical symmetry behind the conserved Runge-Lenz and angular momentum vectors in terms of a twistorial formulation of phase space.


title: Pseudotensor applied to Numerical Relativity in Calculating Global Quantities

abstract: In this work we apply the Landau-Lifshitz pseudotensor flux formalism to the calculation of the total mass and the total angular momentum during the evolution of a binary black hole system. We also compare its performance with the traditional integrations for the global quantities. It shows that the advantage of the pseudotensor flux formalism is the smoothness of the numerical value of the global quantities, especially of the total angular momentum. Although the convergence behavior of the global quantities with the pseudotensor flux method is only comparable with the ones with the traditional method, the smoothness of its numerical value allows using a larger radius for surface integration to obtain more accurate result.


title: Phase transition in PT symmetric active plasmonic systems

abstract: Surface plasmon polaritons (SPPs) are coherent electromagnetic surface waves trapped on an insulator-conductor interface. The SPPs decay exponentially along the propagation due to conductor losses, restricting the SPPs propagation length to few microns. Gain materials can be used to counterbalance the aforementioned losses. We provide an exact expression for the gain, in terms of the optical properties of the interface, for which the losses are eliminated. In addition, we show that systems characterized by lossless SPP propagation are related to PT symmetric systems. Furthermore, we derive an analytical critical value of the gain describing a phase transition between lossless and prohibited SPPs propagation. The regime of the aforementioned propagation can be directed by the optical properties of the system under scrutiny. Finally, we perform COMSOL simulations verifying the theoretical findings.


title: Electroweak baryogenesis in the framework of the effective field theory

abstract: We study the electroweak baryogenesis in the framework of the effective field theory. Our study shows that by introducing a light singlet scalar particle and a dimension-5 operator, it can provide the strong first order phase transition and the source of the CP-violation during the phase transition, and then produce abundant particle phenomenology at zero temperature. We also show the constraints on the new physics scale from the observed baryon-to-photon ratio, the low-energy experiments, and the LHC data.


title: Measuring the Top Yukawa Coupling at 100 TeV

abstract: We propose a measurement of the top Yukawa coupling at a 100 TeV hadron collider, based on boosted Higgs and top decays. We find that the top Yukawa coupling can be measured to 1%, with excellent handles for reducing systematic and theoretical uncertainties, both from side bands and from $t\bar{t}H/t\bar{t}Z$ ratios.


title: All-optical $\mathcal{PT}$-symmetric amplitude to phase modulator

abstract: We study electromagnetic field propagation through a planar three-waveguide coupler with linear gain and loss, in a configuration that is the optical analog of a quantum $\mathcal{PT}$-symmetric system, and provide its closed-form analytic propagator. At an specific propagation length, we show that the device provides all-optical amplitude to phase modulation with a $\pi$ modulation range, if an extra binary phase is allowed in the reference signal, as well as phase to amplitude modulation, with an amplitude modulation range that depends linearly on the gain-to-coupling ratio of the system.


title: Assisted distillation of quantum coherence

abstract: We introduce and study the task of assisted coherence distillation. This task arises naturally in bipartite systems where both parties work together to generate the maximal possible coherence on one of the subsystems. Only incoherent operations are allowed on the target system while general local quantum operations are permitted on the other, an operational paradigm that we call local quantum-incoherent operations and classical communication (LQICC). We show that the asymptotic rate of assisted coherence distillation for pure states is equal to the coherence of assistance, an analog of the entanglement of assistance, whose properties we characterize. Our findings imply a novel interpretation of the von Neumann entropy: it quantifies the maximum amount of extra quantum coherence a system can gain when receiving assistance from a collaborative party. Our results are generalized to coherence localization in a multipartite setting and possible applications are discussed.

categories: quant-ph cond-mat.stat-mech hep-th math-ph math.MP physics.optics


title: A cottage industry of lax extensions

abstract: In this work, we describe an adjunction between the comma category of SET-based monads under the V-powerset monad and the category of associative lax extensions of SET-based monads to the category of V-relations. In the process, we give a general construction of the Kleisli extension of a monad to the category of V-relations.


title: Fast Robust PCA on Graphs

abstract: Mining useful clusters from high dimensional data has received significant attention of the computer vision and pattern recognition community in the recent years. Linear and non-linear dimensionality reduction has played an important role to overcome the curse of dimensionality. However, often such methods are accompanied with three different problems: high computational complexity (usually associated with the nuclear norm minimization), non-convexity (for matrix factorization methods) and susceptibility to gross corruptions in the data. In this paper we propose a principal component analysis (PCA) based solution that overcomes these three issues and approximates a low-rank recovery method for high dimensional datasets. We target the low-rank recovery by enforcing two types of graph smoothness assumptions, one on the data samples and the other on the features by designing a convex optimization problem. The resulting algorithm is fast, efficient and scalable for huge datasets with O(nlog(n)) computational complexity in the number of data samples. It is also robust to gross corruptions in the dataset as well as to the model parameters. Clustering experiments on 7 benchmark datasets with different types of corruptions and background separation experiments on 3 video datasets show that our proposed model outperforms 10 state-of-the-art dimensionality reduction models. Our theoretical analysis proves that the proposed model is able to recover approximate low-rank representations with a bounded error for clusterable data.


title: HeLP -- A GAP-package for torsion units in integral group rings

abstract: We briefly summarize the background of the HeLP-method for torsion units in group rings and present some functionality of a GAP-package implementing it.


title: Locally Rotationally Symmetric Bianchi Type $I$ Cosmology in $f(R,T)$ Gravity

abstract: This manuscript is devoted to investigate Bianchi Type $I$ universe in the context of $f(R,T)$ gravity. For this purpose, we explore the exact solutions of locally rotationally symmetric Bianchi type $I$ spacetime. The modified field equations are solved by assuming expansion scalar $\theta$ proportional to shear scalar $\sigma$ which gives $A=B^n$, where $A,\,B$ are the metric coefficients and $n$ is an arbitrary constant. In particular, three solutions have been found and physical quantities are calculated in each case.


title: Controllable spiking patterns in long-wavelength VCSELs for neuromorphic photonics systems

abstract: Multiple controllable spiking patterns are obtained in a 1310 nm Vertical Cavity Surface Emitting Laser (VCSEL) in response to induced perturbations and for two different cases of polarized optical injection, namely parallel and orthogonal. Achievement of reproducible spiking responses in VCSELs operating at the telecom wavelengths offers great promise for future uses of these devices in ultrafast neuromorphic photonic systems for non-traditional computing applications.


title: The COBRA demonstrator at the LNGS underground laboratory

abstract: The COBRA demonstrator, a prototype for a large-scale experiment searching for neutrinoless double beta-decay, was built at the underground laboratory Laboratori Nazionali del Gran Sasso (LNGS) in Italy. It consists of an array of 64 monolithic, calorimetric CdZnTe semiconductor detectors with a coplanar-grid design and a total mass of 380g. It is used to investigate the experimental challenges faced when operating CdZnTe detectors in low-background mode, to identify potential background sources and to show the long-term stability of the detectors. The first data-taking period started in 2011 with a subset of the detectors, while the demonstrator was completed in November 2013. To date, more than 250kg d of data have been collected. This paper describes technical details of the experimental setup and the hardware components.


title: On fundamental groups of plane curve complements

abstract: In this paper we discuss some properties of fundamental groups and Alexander polynomials of plane curves. We discuss the relationship of the non-triviality of Alexander polynomials and the notion of (nearly) freeness for irreducible plane curves. We reprove and restate in modern terms a somewhat forgotten result of Zariski. Finally, we describe some topological properties of curves with abelian fundamental group.


title: Properly discontinuous group actions on affine homogeneous spaces

abstract: A generalization of the Auslander conjecture is proved in the case when the Levi factor of the Zariski closure of the acting group is a product of simple real algebraic groups of rank \leq 1. Also, the Auslander conjecture is proved for dimensions \leq 5.


title: Covert connection of filaments

abstract: We analyse the relationship between two near filaments, which do not show any connection in H-alpha images but reveal close magnetic connectivity during filament activations in Extreme Ultraviolet (EUV) observations. A twisted flux rope, which connects a half of one filament with another filament, becomes visible during several activations but seems to exist all the time of the filaments presence on the disc. Solar Dynamic Observatory} (SDO) and Solar Terrestrial Relations Observatory (STEREO) observed the region with the filaments from two points of view separated by the angle of about 120 deg. On 2012 July 27, SDO observed the filament activation on disc, while for the STEREO B position the filaments were visible at the limb. Nearly identical interaction episode was observed on 2012 August 04 by STEREO A on disc and by SDO at the limb. This good opportunity allows us to disentangle the 3-D shape of the connecting flux rope and in particular to determine with high reliability the helicity sign of the flux rope, which looks ambiguous in preliminary inspections of on-disc EUV images only.} The complex magnetic structure of the region consists of three braided flux ropes in the vicinity of the coronal null point. Using observations of the flux rope fine structure and plasma motions within it from two points of view, we determine the negative sign of helicity of the flux rope, which corresponds to dextral chirality of the filaments. The observations, despite the tangled fine structure in some EUV images, support flux rope filament models. They give more evidence for the one-to-one relationship between the filament chirality and the flux rope helicity.


title: Schwartz-Zippel bounds for two-dimensional products

abstract: We prove bounds on intersections of algebraic varieties in $\mathbb{C}^4$ with Cartesian products of finite sets from $\mathbb{C}^2$, and we point out connections with several classic theorems from combinatorial geometry. Consider an algebraic variety $X$ in $\mathbb{C}^4$ of degree $d$, such that the polynomials defining $X$ are not all of the form $F(x,y,s,t) = G(x,y)H(x,y,s,t) + K(s,t)L(x,y,s,t)$. Let $P$ and $Q$ be finite subsets of $\mathbb{C}^2$ of size $n$. If $X$ has dimension one or two, then we prove $|X\cap (P\times Q)| = O_d(n)$, while if $X$ has dimension three, then $|X\cap (P\times Q)| =O_{d,\varepsilon}(n^{4/3+\varepsilon})$ for any $\varepsilon>0$. Both bounds are best possible in this generality (except for the $\varepsilon$). These bounds can be viewed as different generalizations of the Schwartz-Zippel lemma, where we replace a product of "one-dimensional" finite subsets of $\mathbb{C}$ by a product of "two-dimensional" finite subsets of $\mathbb{C}^2$. The bound for three-dimensional varieties generalizes the Szemer\'edi-Trotter theorem. A key ingredient in our proofs is a two-dimensional version of a special case of Alon's combinatorial Nullstellensatz. As corollaries of our two bounds, we obtain bounds on the number of repeated and distinct values of polynomials and polynomial maps of pairs of points in $\mathbb{C}^2$, with a characterization of those maps for which no good bounds hold. These results generalize known bounds on repeated and distinct Euclidean distances.