title: Sound and Automated Synthesis of Digital Stabilizing Controllers for Continuous Plants

abstract: Modern control is implemented with digital microcontrollers, embedded within a dynamical plant that represents physical components. We present a new algorithm based on counter-example guided inductive synthesis that automates the design of digital controllers that are correct by construction. The synthesis result is sound with respect to the complete range of approximations, including time discretization, quantization effects, and finite-precision arithmetic and its rounding errors. We have implemented our new algorithm in a tool called DSSynth, and are able to automatically generate stable controllers for a set of intricate plant models taken from the literature within minutes.


title: On the general form of linear functionals on the Hardy spaces $H^1$ over compact Abelian groups and some of its applications

abstract: The celebrated Fefferman's theorems on the general form of linear functionals on the Hardy space $H^1$ over the circle group is generalized to the case of an arbitrary compact Abelian group with totally ordered dual. Several corollaries that can be applied to multiple lacunary Fourier series and atomic decomposition on the two dimensional torus are obtained.


title: A Symplectic Multi-Particle Tracking Model for Self-Consistent Space-Charge Simulation

abstract: Symplectic tracking is important in accelerator beam dynamics simulation. So far, to the best of our knowledge, there is no self-consistent symplectic space-charge tracking model available in the accelerator community. In this paper, we present a two-dimensional and a three-dimensional symplectic multi-particle spectral model for space-charge tracking simulation. This model includes both the effect from external fields and the effect of self-consistent space-charge fields using a split-operator method. Such a model preserves the phase space structure and shows much less numerical emittance growth than the particle-in-cell model in the illustrative examples.


title: Global in Time Classical Solutions to the 3D Quasi-geostrophic System for Large Initial Data

abstract: In this paper, the authors show the existence of global in time classical solutions to the 3D quasi-geostrophic system with Ekman pumping for any smooth initial value (possibly large). This system couples an inviscid transport equation in $\mathbb{R}^3_+$ with an equation on the boundary satisfied by the trace. The proof combines the De Giorgi regularization effect on the boundary $z=0$ -similar to the so called surface quasi-geostrophic equation- with Beale-Kato-Majda techniques to propagate regularity for $z>0$. A potential theory argument is used to strengthen the regularization effect on the trace up to the Besov space $\mathring{B}_{\infty,\infty}^1$.


title: High energy effects in multi-jet production at LHC

abstract: We study differential cross sections for the production of three and four jets in multi-Regge kinematics, the main interest lying on azimuthal angle dependences. The theoretical setup is the jet production from a single BFKL ladder with a convolution of two/three BFKL Green functions, where two forward/backward jets are always tagged in the final state. Furthermore, we require the tagging of one/two further jets in more central regions of the detectors with a relative separation in rapidity. We found, as result, that the dependence on transverse momenta and rapidities of the central jets can be considered as a distinct signal of the onset of BFKL dynamics.


title: La-doped CH3NH3BaI3 : A Promising Transparent Conductor

abstract: Hybrid perovskites (CH3NH3PbI3) is one of the most promising novel materials for solar harvesting. Toxicity of lead (Pb), however, has always remained a concern. We investigated the electronic structure of complete replacement of Pb by alkaline earths (Ca, Sr, Ba) and found it to be wide band gapped (Eg) semiconductors (band gap ~ 3.7 to 4.0 eV), and hence not suitable as absorber material. This opens up a new avenue to explore these materials as transparent conductor (TC). We doped CH3NH3BaI3 (largest Eg) with La, which shifts its Fermi level (EF) at conduction band bottom and induces states at EF for conduction. This is precisely what is required for a transparent conductor. Optical and transport properties simulated from linear response (within Density Functional Theory (DFT)) calculations suggested it to be a very good TC material with a high figure of merit ({\sigma}/{\alpha}), where {\sigma} is the electrical conductivity and {\alpha} is the optical absorption coefficient. This claim is also supported by our calculated results on density of states at EF, effective mass, carrier concentration etc. at various La-doping. We propose CH3NH3(Ba1-xLax)I3 (x~12.5%) to be a good TC material to be used in a all perovskite solar cell.


title: Parking 3-sphere swimmer. I. Energy minimizing strokes

abstract: The paper is about the parking 3-sphere swimmer ($\text{sPr}_3$). This is a low-Reynolds number model swimmer composed of three balls of equal radii. The three balls can move along three horizontal axes (supported in the same plane) that mutually meet at the center of $\text{sPr}_3$ with angles of $120^{\circ}$ . The governing dynamical system is introduced and the implications of its geometric symmetries revealed. It is then shown that, in the first order range of small strokes, optimal periodic strokes are ellipses embedded in 3d space, i.e. closed curves of the form $t\in [0,2\pi] \mapsto (\cos t)u + (\sin t)v$ for suitable orthogonal vectors $u$ and $v$ of $\mathbb{R}^3$. A simple analytic expression for the vectors $u$ and $v$ is derived. The results of the paper are used in a second article where the real physical dynamics of $\text{sPr}_3$ is analyzed in the asymptotic range of very long arms.


title: The logical complexity of finitely generated commutative rings

abstract: We characterize those finitely generated commutative rings which are (parametrically) bi-interpretable with arithmetic: a finitely generated commutative ring $A$ is bi-interpretable with $(\mathbb N,{+},{\times})$ if and only if the space of non-maximal prime ideals of $A$ is nonempty and connected in the Zariski topology and the nilradical of $A$ has a nontrivial annihilator in $\mathbb Z$. Notably, by constructing a nontrivial derivation on a nonstandard model of arithmetic we show that the ring of dual numbers over $\mathbb Z$ is not bi-interpretable with $\mathbb N$.


title: Optimal sampling rates for approximating analytic functions from pointwise samples

abstract: We consider the problem of approximating an analytic function on a compact interval from its values at $M+1$ distinct points. When the points are equispaced, a recent result (the so-called impossibility theorem) has shown that the best possible convergence rate of a stable method is root-exponential in $M$, and that any method with faster exponential convergence must also be exponentially ill-conditioned at a certain rate. This result hinges on a classical theorem of Coppersmith & Rivlin concerning the maximal behaviour of polynomials bounded on an equispaced grid. In this paper, we first generalize this theorem to arbitrary point distributions. We then present an extension of the impossibility theorem valid for general nonequispaced points, and apply it to the case of points that are equidistributed with respect to (modified) Jacobi weight functions. This leads to a necessary sampling rate for stable approximation from such points. We prove that this rate is also sufficient, and therefore exactly quantify (up to constants) the precise sampling rate for approximating analytic functions from such node distributions with stable methods. Numerical results -- based on computing the maximal polynomial via a variant of the classical Remez algorithm -- confirm our main theorems. Finally, we discuss the implications of our results for polynomial least-squares approximations. In particular, we theoretically confirm the well-known heuristic that stable least-squares approximation using polynomials of degree $N < M$ is possible only once $M$ is sufficiently large for there to be a subset of $N$ of the nodes that mimic the behaviour of the $N$th set of Chebyshev nodes.


title: Semi-Supervised Source Localization on Multiple-Manifolds with Distributed Microphones

abstract: The problem of source localization with ad hoc microphone networks in noisy and reverberant enclosures, given a training set of prerecorded measurements, is addressed in this paper. The training set is assumed to consist of a limited number of labelled measurements, attached with corresponding positions, and a larger amount of unlabelled measurements from unknown locations. However, microphone calibration is not required. We use a Bayesian inference approach for estimating a function that maps measurement-based feature vectors to the corresponding positions. The central issue is how to combine the information provided by the different microphones in a unified statistical framework. To address this challenge, we model this function using a Gaussian process with a covariance function that encapsulates both the connections between pairs of microphones and the relations among the samples in the training set. The parameters of the process are estimated by optimizing a maximum likelihood (ML) criterion. In addition, a recursive adaptation mechanism is derived where the new streaming measurements are used to update the model. Performance is demonstrated for 2-D localization of both simulated data and real-life recordings in a variety of reverberation and noise levels.


title: $CP$ violation in $D$ meson decays at Belle

abstract: $CP$ violation and branching fraction measurements in $D$ decays are interesting topics as any difference with respect to the Standard Model prediction would be an indication of new physics. With the large data sample collected by the Belle detector, which sits at the interaction point of KEKB asymmetric $e^{+} e^{-}$ collider in Japan, we present the results of searches for $CP$ violation in $D^{0}\rightarrow V\gamma~(V = \phi, \overline{K}^{*0}, \rho^{0})$ decay and the rare $D$ decay $D^{0}\rightarrow \gamma \gamma$.


title: Near field asymptotics for the porous medium equation in exterior domains. The critical two-dimensional case

abstract: We consider the porous medium equation in an exterior two-dimensional domain which excludes a hole, with zero Dirichlet data on its boundary. Gilding and Goncerzewicz proved in [Gilding-Goncerzewicz-2007] that in the far field scale, $x=\xi t^{\frac1{2m}}/(\log t)^{\frac{m-1}{2m}}$, $\xi\ne 0$, solutions to this problem with an integrable and compactly supported initial data behave as an instantaneous point-source solution for the equation with a variable mass that decays to 0 in a precise way, determined by the initial data and the hole. However, their result does not say much about the behavior when $|x|=o\big(t^{\frac1{2m}}/(\log t)^{\frac{m-1}{2m}}\big)$, in the so called near field scale, except that the solution is $o\big((t\log t)^{-\frac1m}\big)$ there. In particular, it does not give a sharp decay rate, neither a nontrivial asymptotic profile, on compact sets. In this paper we characterize the large time behavior in such scale, thus completing the results of [Gilding-Goncerzewicz-2007].


title: Evolution without evolution, and without ambiguities

abstract: In quantum theory it is possible to explain time, and dynamics, in terms of entanglement. This is the timeless approach to time, which assumes that the universe is in a stationary state, where two non-interacting subsystems, the clock and the rest, are entangled. As a consequence, by choosing a suitable observable of the clock, the relative state of the rest of the universe evolves unitarily with respect to the variable labelling the clock observable's eigenstates, which is then interpreted as time. This model for an evolution without evolution (Page and Wootters, 1983), albeit elegant, has never been developed further, because it was criticised for generating severe ambiguities in the dynamics of the rest of the universe. In this paper we show that there are no such ambiguities, we also update the model, making it amenable to possible new applications.


title: Stakeholder Involvement: A Success Factor for Achieving Better UX Integration

abstract: Stakeholder involvement is one of the major success factors in integrating user experience (UX) practices into software development processes and organizations. It is also a necessity for agile software development. However, practitioners still have limited access to guidelines on successful involvement of UX stakeholders in agile settings. Moreover, agile UX literature does not well address the specific characteristics of UX and it does not clearly differentiate between UX and usability work. This paper presents two guidelines for supporting stakeholder involvement in both UX integration and the daily UX work. In particular, we focus on the special characteristics of UX: being dynamic, subjective, holistic, and context-dependent. The guidelines clarify practical implications of these characteristics for practitioners. In addition, they can help researchers in addressing these characteristics better in agile UX research.


title: Signature of enhanced spin-orbit interaction in the magnetoresistance of LaTiO$_3$/SrTiO$_3$ interfaces on $\delta$-doping

abstract: We present a study of modulation of spin-orbit interaction (SOI) at the interface of LaTiO$_3$/SrTiO$_3$ by $\delta$-doping with an iso-structural ferromagnetic perovskite LaCoO$_3$. The sheet carrier density at the interface decreases exponentially with $\delta$-doping thickness. We have explored that the spin-orbit scattering time ($\tau_{so}$) can be decreased by nearly 3 orders of magnitude, whereas the inelastic scattering time ($\tau_{i}$) remains almost constant with $\delta$-doping thickness. We have also observed that the $\tau_{i}$ varies almost inversely proportional to temperature and $\tau_{so}$ remains insensitive to temperature, which suggest that the spin relaxation in these interfaces follows D'yakonov-Perel mechanism. The observed in-plane anisotropic magnetoresistance is attributed to the mixing of the spin up and spin down states of d-band at Fermi level due to SOI.


title: Fatou's Lemma, Galerkin Approximations and the Existence of Walrasian Equilibria in Infinite Dimensions

abstract: This essay has three objectives: (i) to report recent generalizations of Fatou's lemma to multi-functions taking values in a Banach space, and framed in terms of both Bochner and Gelfand integration; (ii) to delineate the importance of Galerkin approximations in Walrasian general equilibrium theory with a continuum of agents and commodities; and thereby (iii) to present two new results on the existence of a Walrasian equilibrium in economies where the continuum of agents is formalized as a saturated measure space.


title: An Alternative Strategy to Control the Electronic Properties of Bilayer Graphene: Semi-metal to Metal Transition and a 2D Material with Dirac Cone

abstract: The AB-stacked bilayer graphene (BLG) is a pure semiconductor whose band gap and properties can be tuned by various methods such as doping or applying gate voltage. Here we show an alternative method to control the electronic properties of BLG; intercalation of transition metal atoms between the two monolayers graphene (MLG). A theoretical investigation has been performed on two-dimensional MLG, BLG, BLG-intercalated nanostructured materials, all of which are energetically stable. Our study reveals that only MLG and BLG-intercalated with one Vanadium (V) atom (BLG-1V) materials have a Dirac Cone at the K-point. This study reveals a new strategy to control the material properties of BLG to exhibit various behaviors, including: metallic, semi-metallic, and semiconducting by varying the concentration and spin arrangement of the V atoms in BLG. In all the cases, the present DFT calculations show that the 2p$_z$ sub-shells of C atoms in graphene and the 3d$_{yz}$ sub-shells of the V atoms provide the electron density near the Fermi level controlling the material properties of the BLG-intercalated materials. Thus we prove that out-of-plane atoms can influence in plane electronic densities in BLG.


title: On rectangular HOMFLY for twist knots

abstract: As a new step in the study of rectangularly-colored knot polynomials, we reformulate the prescription of arXiv:1606.06015 for twist knots in the double-column representations $R=[rr]$ in terms of skew Schur polynomials. These, however, are mysteriously shifted from the standard topological locus, what makes further generalization to arbitrary $R=[r^s]$ not quite straightforward.


title: Remarks to the paper "Control system for reducing energy consumption in backbone computer network" from "Concurrency and Computation: Practice and Experience" journal

abstract: This paper indicates two errors in the formulation of the main optimization model in the article "Control system for reducing energy consumption in backbone computer network" by Niewiadomska-Szynkiewicz et al. and shows how to fix them.


title: Flat Engineered Multi-Channel Reflectors

abstract: Recent advances in engineered gradient metasurfaces have enabled unprecedented opportunities for light manipulation using optically thin sheets, such as anomalous refraction, reflection, or focusing of an incident beam. Here we introduce a concept of multi-channel functional metasurfaces, which are able to control incoming and outgoing waves in a number of propagation directions simultaneously. In particular, we reveal a possibility to engineer multi-channel reflectors. Under the assumption of reciprocity and energy conservation, we find that there exist three basic functionalities of such reflectors: Specular, anomalous, and retro reflections. Multi-channel response of a general flat reflector can be described by a combination of these functionalities. To demonstrate the potential of the introduced concept, we design and experimentally test three different multi-channel reflectors: Three- and five-channel retro-reflectors and a three-channel power splitter. Furthermore, by extending the concept to reflectors supporting higher-order Floquet harmonics, we forecast the emergence of other multiple-channel flat devices, such as isolating mirrors, complex splitters, and multi-functional gratings.


title: Past of a particle inside an interferometer: the two-state vector approach

abstract: Hashmi et al. [J. Phys. A 49, 345302 (2016)] claimed that the approach to the past of a quantum particle introduced by Vaidman [Phys. Rev. A 87, 052104 (2013)] has difficulties in certain examples and that it even can be refuted. Here I reply to their criticism showing that the approach provides a good explanation of all examples they considered. It is fully consistent with standard quantum mechanics and provides a useful tool for analyzing interference experiments.


title: An Adaptive Test of Independence with Analytic Kernel Embeddings

abstract: A new computationally efficient dependence measure, and an adaptive statistical test of independence, are proposed. The dependence measure is the difference between analytic embeddings of the joint distribution and the product of the marginals, evaluated at a finite set of locations (features). These features are chosen so as to maximize a lower bound on the test power, resulting in a test that is data-efficient, and that runs in linear time (with respect to the sample size n). The optimized features can be interpreted as evidence to reject the null hypothesis, indicating regions in the joint domain where the joint distribution and the product of the marginals differ most. Consistency of the independence test is established, for an appropriate choice of features. In real-world benchmarks, independence tests using the optimized features perform comparably to the state-of-the-art quadratic-time HSIC test, and outperform competing O(n) and O(n log n) tests.


title: Similarity Learning for Time Series Classification

abstract: Multivariate time series naturally exist in many fields, like energy, bioinformatics, signal processing, and finance. Most of these applications need to be able to compare these structured data. In this context, dynamic time warping (DTW) is probably the most common comparison measure. However, not much research effort has been put into improving it by learning. In this paper, we propose a novel method for learning similarities based on DTW, in order to improve time series classification. Making use of the uniform stability framework, we provide the first theoretical guarantees in the form of a generalization bound for linear classification. The experimental study shows that the proposed approach is efficient, while yielding sparse classifiers.


title: On the ideal case of a conjecture of Auslander and Reiten

abstract: A celebrated conjecture of Auslander and Reiten claims that a finitely generated module $M$ that has no extensions with $M\oplus \Lambda$ over an Artin algebra $\Lambda$ must be projective. This conjecture is widely open in general, even for modules over commutative Noetherian local rings. Over such rings, we prove that a large class of ideals satisfy the extension condition proposed in the aforementioned conjecture of Auslander and Reiten. Along the way we obtain a new characterization of regularity in terms of the injective dimensions of certain ideals.


title: Tight Approximation Bounds for the Seminar Assignment Problem

abstract: The seminar assignment problem is a variant of the generalized assignment problem in which items have unit size and the amount of space allowed in each bin is restricted to an arbitrary set of values. The problem has been shown to be NP-complete and to not admit a PTAS. However, the only constant factor approximation algorithm known to date is randomized and it is not guaranteed to always produce a feasible solution. In this paper we show that a natural greedy algorithm outputs a solution with value within a factor of $(1 - e^{-1})$ of the optimal, and that unless $NP\subseteq DTIME(n^{\log\log n})$, this is the best approximation guarantee achievable by any polynomial time algorithm.


title: V-type Near-Earth asteroids: dynamics, close encounters and impacts with terrestrial planets

abstract: Asteroids colliding with planets vary in composition and taxonomical type. Among Near-Earth Asteroids (NEAs) are the V-types, basaltic asteroids that are classified via spectroscopic observations. In this work, we study the probability of V-type NEAs colliding with Earth, Mars and Venus, as well as the Moon. We perform a correlational analysis of possible craters produced by V-type NEAs. To achieve this, we performed numerical simulations and statistical analysis of close encounters and impacts between V-type NEAs and the terrestrial planets over the next 10 Myr. We find that V-type NEAs can indeed have impacts with all the planets, the Earth in particular, at an average rate of once per 12 Myr. There are four candidate craters on Earth that were likely caused by V-type NEAs.


title: Recovering the Missing Link: Predicting Class-Attribute Associations for Unsupervised Zero-Shot Learning

abstract: Collecting training images for all visual categories is not only expensive but also impractical. Zero-shot learning (ZSL), especially using attributes, offers a pragmatic solution to this problem. However, at test time most attribute-based methods require a full description of attribute associations for each unseen class. Providing these associations is time consuming and often requires domain specific knowledge. In this work, we aim to carry out attribute-based zero-shot classification in an unsupervised manner. We propose an approach to learn relations that couples class embeddings with their corresponding attributes. Given only the name of an unseen class, the learned relationship model is used to automatically predict the class-attribute associations. Furthermore, our model facilitates transferring attributes across data sets without additional effort. Integrating knowledge from multiple sources results in a significant additional improvement in performance. We evaluate on two public data sets: Animals with Attributes and aPascal/aYahoo. Our approach outperforms state-of-the-art methods in both predicting class-attribute associations and unsupervised ZSL by a large margin.


title: A conducting nano-filament (CNF) network as a precursor to the origin of superconductivity in electron-doped copper oxides

abstract: Emergency of superconductivity at the instabilities of antiferromagnetism has been widely recognized in unconventional superconductors. In copper-oxide superconductors, spin fluctuations play a predominant role in electron pairing with electron dopants yet composite orders veil the nature of superconductivity for hole-doped family. However, in electron-doped copper oxide superconductors (cuprates) the AFM critical end point is still in controversy for different probes, demonstrating high sensitivity to oxygen content. Here, by carefully tuning the oxygen content, a systematic study of the Hall signal and magnetoresistivity up to 58 Tesla on LCCO thin films identifies two characteristic temperatures. The former is quite robust, whereas the latter becomes flexible with increasing magnetic field, thereby linking respectively to two- and three-dimensional AFM, evident from the multidimensional phase diagram as a function of oxygen and Ce dopants. A rigorous theoretical analysis of the presented data suggest the existence of conductive nano-filamentary structures that effectively corroborate all previously reported field studies. The new findings provide a uniquely consistent alternative picture in understanding the interactions between AFM and superconductivity in electron-doped cuprates and offer a consolidating interpretation to the pioneering scaling law in cuprates recently established by Bozovic et al. (Nature, 2016)


title: Bsmooth: Learning from user feedback to disambiguate query terms in interactive data retrieval

abstract: There is great interest in supporting imprecise queries (e.g., keyword search or natural language queries) over databases today. To support such queries, the database system is typically required to disambiguate parts of the user-specified query against the database, using whatever resources are intrinsically available to it (the database schema, data values distributions, natural language models etc). Often, systems will also have a user-interaction log available, which can serve as an extrinsic resource to supplement their model based on their own intrinsic resources. This leads to a problem of how best to combine the system's prior ranking with insight derived from the user-interaction log. Statistical inference techniques such as maximum likelihood or Bayesian updates from a subjective prior turn out not to apply in a straightforward way due to possible noise from user search behavior and to encoding biases endemic to the system's models. In this paper, we address such learning problem in interactive data retrieval, with specific focus on type classification for user-specified query terms. We develop a novel Bayesian smoothing algorithm, Bsmooth, which is simple, fast, flexible and accurate. We analytically establish some desirable properties and show, through experiments against an independent benchmark, that the addition of such a learning layer performs much better than standard methods.


title: Prioritized Garbage Collection: Explicit GC Support for Software Caches

abstract: Programmers routinely trade space for time to increase performance, often in the form of caching or memoization. In managed languages like Java or JavaScript, however, this space-time tradeoff is complex. Using more space translates into higher garbage collection costs, especially at the limit of available memory. Existing runtime systems provide limited support for space-sensitive algorithms, forcing programmers into difficult and often brittle choices about provisioning. This paper presents prioritized garbage collection, a cooperative programming language and runtime solution to this problem. Prioritized GC provides an interface similar to soft references, called priority references, which identify objects that the collector can reclaim eagerly if necessary. The key difference is an API for defining the policy that governs when priority references are cleared and in what order. Application code specifies a priority value for each reference and a target memory bound. The collector reclaims references, lowest priority first, until the total memory footprint of the cache fits within the bound. We use this API to implement a space-aware least-recently-used (LRU) cache, called a Sache, that is a drop-in replacement for existing caches, such as Google's Guava library. The garbage collector automatically grows and shrinks the Sache in response to available memory and workload with minimal provisioning information from the programmer. Using a Sache, it is almost impossible for an application to experience a memory leak, memory pressure, or an out-of-memory crash caused by software caching.


title: Cocenters of $p$-adic groups, I: Newton decomposition

abstract: In this paper, we introduce the Newton decomposition on a connected reductive $p$-adic group $G$. Based on it we give a nice decomposition of the cocenter of its Hecke algebra. Here we consider both the ordinary cocenter associated to the usual conjugation action on $G$ and the twisted cocenter arising from the theory of twisted endoscopy. We give Iwahori-Matsumoto type generators on the Newton components of the cocenter. Based on it, we prove a generalization of Howe's conjecture on the restriction of (both ordinary and twisted) invariant distributions. Finally we give an explicit description of the structure of the rigid cocenter.


title: First multicolour polarimetry of TeV gamma-ray binary HESS J0632+057 close to periastron passage

abstract: We present the results of UBVRI polarimetry of the TeV gamma-ray binary HESS J0632+057 obtained on 2015 March 24 (JD 2457106) and 2015 December 12 (JD 2457369). The detected polarisation values of HESS J0632+057, just after periastron passage (March 24), are higher than all previously published values (p(V) ~ 4.2%) and the position angle (theta ~ 171-172 degrees) is also different by ~6-10 degrees from previously published values. The data obtained just before the subsequent periastron passage (December 12) show statistically lower polarisation in all photometric bands (p(V) ~ 3.9%) and a different position angle theta ~ 167-168 degrees. From observations of a nearby field star, the interstellar component of the measured polarisation was estimated as p_is(V) ~ 0.65% and theta_is ~ 153 degrees. This estimate was used with the previous "V"-band estimation by "field-stars method" (p(V) ~ 2% and theta_is ~ 165 degrees) of Yudin (2014) to identify the wavelength dependence of the intrinsic polarisation in HESS J0632+057. It was found that after subtraction of the interstellar component (for both p_is estimates), the wavelength dependence of the intrinsic polarisation in HESS J0632+057 is essentially flat. We propose that the formation of an additional source of polarisation or some perturbation of circumstellar material at this orbital phase can explain the changes in the level of polarisation in HESS J0632+057 close to periastron passage.


title: Low Power Wide Area Network Analysis: Can LoRa Scale?

abstract: Low Power Wide Area (LPWA) networks are making spectacular progress from design, standardisation, to commercialisation. At this time of fast-paced adoption, it is of utmost importance to analyse how well these technologies will scale as the number of devices connected to the Internet of Things (IoT) inevitably grows. In this letter, we provide a stochastic geometry framework for modelling the performance of a single gateway LoRa network, a leading LPWA technology. Our analysis formulates unique peculiarities of LoRa, including its chirp spread-spectrum modulation technique, regulatory limitations on radio duty cycle, and use of ALOHA protocol on top, all of which are not as common in today's commercial cellular networks. We show that the coverage probability drops exponentially as the number of end-devices grows due to interfering signals using the same spreading sequence. We conclude that this fundamental limiting factor is perhaps more significant towards LoRa scalability than for instance spectrum restrictions. Our derivations for co-spreading factor interference found in LoRa networks enables rigorous scalability analysis of such networks.


title: Towards K-means-friendly Spaces: Simultaneous Deep Learning and Clustering

abstract: Most learning approaches treat dimensionality reduction (DR) and clustering separately (i.e., sequentially), but recent research has shown that optimizing the two tasks jointly can substantially improve the performance of both. The premise behind the latter genre is that the data samples are obtained via linear transformation of latent representations that are easy to cluster; but in practice, the transformation from the latent space to the data can be more complicated. In this work, we assume that this transformation is an unknown and possibly nonlinear function. To recover the `clustering-friendly' latent representations and to better cluster the data, we propose a joint DR and K-means clustering approach in which DR is accomplished via learning a deep neural network (DNN). The motivation is to keep the advantages of jointly optimizing the two tasks, while exploiting the deep neural network's ability to approximate any nonlinear function. This way, the proposed approach can work well for a broad class of generative models. Towards this end, we carefully design the DNN structure and the associated joint optimization criterion, and propose an effective and scalable algorithm to handle the formulated optimization problem. Experiments using different real datasets are employed to showcase the effectiveness of the proposed approach.


title: Sample Efficient Optimization for Learning Controllers for Bipedal Locomotion

abstract: Learning policies for bipedal locomotion can be difficult, as experiments are expensive and simulation does not usually transfer well to hardware. To counter this, we need al- gorithms that are sample efficient and inherently safe. Bayesian Optimization is a powerful sample-efficient tool for optimizing non-convex black-box functions. However, its performance can degrade in higher dimensions. We develop a distance metric for bipedal locomotion that enhances the sample-efficiency of Bayesian Optimization and use it to train a 16 dimensional neuromuscular model for planar walking. This distance metric reflects some basic gait features of healthy walking and helps us quickly eliminate a majority of unstable controllers. With our approach we can learn policies for walking in less than 100 trials for a range of challenging settings. In simulation, we show results on two different costs and on various terrains including rough ground and ramps, sloping upwards and downwards. We also perturb our models with unknown inertial disturbances analogous with differences between simulation and hardware. These results are promising, as they indicate that this method can potentially be used to learn control policies on hardware.


title: Exact State Revival in a Spin Chain with Next-To-Nearest Neighbour Interactions

abstract: An extension with next-to-nearest neighbour interactions of the simplest XX spin chain with perfect state transfer (PST) is presented. The conditions for PST and entanglement generation (balanced fractional revival) can be obtained exactly and are discussed.


title: Bannai-Ito algebras and the $osp(1,2)$ superalgebra

abstract: The Bannai-Ito algebra $B(n)$ of rank $(n-2)$ is defined as the algebra generated by the Casimir operators arising in the $n$-fold tensor product of the $osp(1,2)$ superalgebra. The structure relations are presented and representations in bases determined by maximal Abelian subalgebras are discussed. Comments on realizations as symmetry algebras of physical models are offered.


title: Communication-efficient Distributed Sparse Linear Discriminant Analysis

abstract: We propose a communication-efficient distributed estimation method for sparse linear discriminant analysis (LDA) in the high dimensional regime. Our method distributes the data of size $N$ into $m$ machines, and estimates a local sparse LDA estimator on each machine using the data subset of size $N/m$. After the distributed estimation, our method aggregates the debiased local estimators from $m$ machines, and sparsifies the aggregated estimator. We show that the aggregated estimator attains the same statistical rate as the centralized estimation method, as long as the number of machines $m$ is chosen appropriately. Moreover, we prove that our method can attain the model selection consistency under a milder condition than the centralized method. Experiments on both synthetic and real datasets corroborate our theory.


title: Trees That Grow

abstract: We study the notion of extensibility in functional data types, as a new approach to the problem of decorating abstract syntax trees with additional sets of information. We observed the need for such extensibility while redesigning the data types representing Haskell abstract syntax inside GHC. Specifically, we describe our approach to the tree-decoration problem using a novel syntactic machinery in Haskell for expressing extensible data types. We show that the syntactic machinery is complete in that it can express all the syntactically possible forms of extensions to algebraic data type declarations. Then, we describe an encoding of the syntactic machinery based on the existing features in Glasgow Haskell Compiler(GHC).


title: Relating games of Menger, countable fan tightness, and selective separability

abstract: By adapting techniques of Arhangel'skii, Barman, and Dow, we may equate the existence of perfect-information, Markov, and tactical strategies between two interesting selection games. These results shed some light on Gruenhage's question asking whether all strategically selectively separable spaces are Markov selectively separable.


title: Random walks with fractally correlated traps: Stretched exponential and power law survival kinetics

abstract: We consider the survival probability $f(t)$ of a random walk with a constant hopping rate $w$ on a host lattice of fractal dimension $d$ and spectral dimension $d_s\le 2$, with spatially correlated traps. The traps form a sublattice with fractal dimension $d_a<d$ and are characterized by the absorption rate $w_a$ which may be finite (imperfect traps) or infinite (perfect traps). Initial coordinates are chosen randomly at or within a fixed distance of a trap. For weakly absorbing traps ($w_a\ll w$), we find that $f(t)$ can be closely approximated by a stretched exponential function over the initial stage of relaxation, with stretching exponent $\alpha=1-(d-d_a)/d_w$, where $d_w$ is the random walk dimension of the host lattice. At the end of this initial stage there occurs a crossover to power law kinetics $f(t)\sim t^{-\alpha}$ with the same exponent $\alpha$ as for the stretched exponential regime. For strong absorption $w_a>w$, including the limit of perfect traps $w_a\to \infty$, the stretched exponential regime is absent and the decay of $f(t)$ follows, after a short transient, the aforementioned power law for all times.


title: Measurement of electron antineutrino oscillation based on 1230 days of operation of the Daya Bay experiment

abstract: A measurement of electron antineutrino oscillation by the Daya Bay Reactor Neutrino Experiment is described in detail. Six 2.9-GW$_{\rm th}$ nuclear power reactors of the Daya Bay and Ling Ao nuclear power facilities served as intense sources of $\overline{\nu}_{e}$'s. Comparison of the $\overline{\nu}_{e}$ rate and energy spectrum measured by antineutrino detectors far from the nuclear reactors ($\sim$1500-1950 m) relative to detectors near the reactors ($\sim$350-600 m) allowed a precise measurement of $\overline{\nu}_{e}$ disappearance. More than 2.5 million $\overline{\nu}_{e}$ inverse beta decay interactions were observed, based on the combination of 217 days of operation of six antineutrino detectors (Dec. 2011--Jul. 2012) with a subsequent 1013 days using the complete configuration of eight detectors (Oct. 2012--Jul. 2015). The $\overline{\nu}_{e}$ rate observed at the far detectors relative to the near detectors showed a significant deficit, $R=0.949 \pm 0.002(\mathrm{stat.}) \pm 0.002(\mathrm{syst.})$. The energy dependence of $\overline{\nu}_{e}$ disappearance showed the distinct variation predicted by neutrino oscillation. Analysis using an approximation for the three-flavor oscillation probability yielded the flavor-mixing angle $\sin^22\theta_{13}=0.0841 \pm 0.0027(\mathrm{stat.}) \pm 0.0019(\mathrm{syst.})$ and the effective neutrino mass-squared difference of $\left|{\Delta}m^2_{\mathrm{ee}}\right|=(2.50 \pm 0.06(\mathrm{stat.}) \pm 0.06(\mathrm{syst.})) \times 10^{-3}\ {\rm eV}^2$. Analysis using the exact three-flavor probability found ${\Delta}m^2_{32}=(2.45 \pm 0.06(\mathrm{stat.}) \pm 0.06(\mathrm{syst.})) \times 10^{-3}\ {\rm eV}^2$ assuming the normal neutrino mass hierarchy and ${\Delta}m^2_{32}=(-2.56 \pm 0.06(\mathrm{stat.}) \pm 0.06(\mathrm{syst.})) \times 10^{-3}\ {\rm eV}^2$ for the inverted hierarchy.


title: Linear Mode-Mixing of Phonons with Trapped Ions

abstract: We propose a method to manipulate the normal modes in a chain of trapped ions using only two lasers. Linear chains of trapped ions have proven experimentally to be highly controllable quantum systems with a variety of refined techniques for preparation, evolution, and readout, however, typically for quantum information processing applications people have been interested in using the internal levels of the ions as the computational basis. We analyse the case where the motional degrees of freedom of the ions is the quantum system of interest, and where the internal levels are leveraged to facilitate interactions. In particular, we focus on an analysis of mode-mixing of phonons in different normal modes to mimic the quantum optical equivalent of a beam splitter.


title: Dynamic Stacked Generalization for Node Classification on Networks

abstract: We propose a novel stacked generalization (stacking) method as a dynamic ensemble technique using a pool of heterogeneous classifiers for node label classification on networks. The proposed method assigns component models a set of functional coefficients, which can vary smoothly with certain topological features of a node. Compared to the traditional stacking model, the proposed method can dynamically adjust the weights of individual models as we move across the graph and provide a more versatile and significantly more accurate stacking model for label prediction on a network. We demonstrate the benefits of the proposed model using both a simulation study and real data analysis.


title: Beyond Spatial Auto-Regressive Models: Predicting Housing Prices with Satellite Imagery

abstract: When modeling geo-spatial data, it is critical to capture spatial correlations for achieving high accuracy. Spatial Auto-Regression (SAR) is a common tool used to model such data, where the spatial contiguity matrix (W) encodes the spatial correlations. However, the efficacy of SAR is limited by two factors. First, it depends on the choice of contiguity matrix, which is typically not learnt from data, but instead, is assumed to be known apriori. Second, it assumes that the observations can be explained by linear models. In this paper, we propose a Convolutional Neural Network (CNN) framework to model geo-spatial data (specifi- cally housing prices), to learn the spatial correlations automatically. We show that neighborhood information embedded in satellite imagery can be leveraged to achieve the desired spatial smoothing. An additional upside of our framework is the relaxation of linear assumption on the data. Specific challenges we tackle while implementing our framework include, (i) how much of the neighborhood is relevant while estimating housing prices? (ii) what is the right approach to capture multiple resolutions of satellite imagery? and (iii) what other data-sources can help improve the estimation of spatial correlations? We demonstrate a marked improvement of 57% on top of the SAR baseline through the use of features from deep neural networks for the cities of London, Birmingham and Liverpool.


title: Landau-Zener transition driven by a slow noise

abstract: The effect of a slow noise in non-diagonal matrix element, J(t), that describes the diabatic level coupling, on the probability of the Landau-Zener transition is studied. For slow noise, the correlation time, \tau_c, of J(t) is much longer than the characteristic time of the transition. Existing theory for this case suggests that the average transition probability is the result of averaging of the conventional Landau-Zener probability, calculated for a given constant J, over the distribution of J. We calculate a finite-\tau_c correction to this classical result. Our main finding is that this correction is dominated by sparse realizations of noise for which J(t) passes through zero within a narrow time interval near the level crossing. Two models of noise, random telegraph noise and gaussian noise, are considered. Naturally, in both models the average probability of transition decreases upon decreasing \tau_c. For gaussian noise we identify two domains of this fall-off with specific dependencies of average transition probability on \tau_c.


title: Local max-cut in smoothed polynomial time

abstract: In 1988, Johnson, Papadimitriou and Yannakakis wrote that "Practically all the empirical evidence would lead us to conclude that finding locally optimal solutions is much easier than solving NP-hard problems". Since then the empirical evidence has continued to amass, but formal proofs of this phenomenon have remained elusive. A canonical (and indeed complete) example is the local max-cut problem, for which no polynomial time method is known. In a breakthrough paper, Etscheid and R\"oglin proved that the smoothed complexity of local max-cut is quasi-polynomial, i.e., if arbitrary bounded weights are randomly perturbed, a local maximum can be found in $n^{O(\log n)}$ steps. In this paper we prove smoothed polynomial complexity for local max-cut, thus confirming that finding local optima for max-cut is much easier than solving it.


title: Mentoring Partnerships in Science Education

abstract: The authors use an action research (AR) approach in a collegiate studio physics class to investigate the power of partnerships via conferences as they relate to issues of establishing a student/mentor rapport, empowering students to reduce inequity, and the successes and barriers to hearing students' voices. The graduate teaching assistant (TA, Author 1) conducted one-on-one conferences with 29 students, elicited student opinions about the progress of the course, and talked with faculty, TAs, and an undergraduate supplemental instructor for other sections of the course. At the end of the semester, the students reported increased knowledge of the TA as a person and as an instructor, and vice versa. Sixty-five percent of students reported no interest in changing circumstances to make it easier to talk about personal concerns with the TA. College students reluctantly voiced their opinions about the course, possibly due to the power structure of the classroom. Other TAs in the department expressed mostly disinterest in the project, while faculty members were interested in student learning but skeptical of student empowerment. A case study of one student is presented, wherein his attendance improved in the course and he received additional help outside class, both possibly as a result of the student/TA conferences. Students in this studio physics section were more likely to interact directly with faculty or TAs during lectures, but less likely to do so during lab sessions, than were students in a non-studio physics section.


title: Power-Law Distributions in a Two-sided Market and Net Neutrality

abstract: "Net neutrality" often refers to the policy dictating that an Internet service provider (ISP) cannot charge content providers (CPs) for delivering their content to consumers. Many past quantitative models designed to determine whether net neutrality is a good idea have been rather equivocal in their conclusions. Here we propose a very simple two-sided market model, in which the types of the consumers and the CPs are {\em power-law distributed} --- a kind of distribution known to often arise precisely in connection with Internet-related phenomena. We derive mostly analytical, closed-form results for several regimes: (a) Net neutrality, (b) social optimum, (c) maximum revenue by the ISP, or (d) maximum ISP revenue under quality differentiation. One unexpected conclusion is that (a) and (b) will differ significantly, unless average CP productivity is very high.


title: (1,1) L-space knots

abstract: We characterize the (1, 1) knots in the three-sphere and lens spaces that admit non-trivial L-space surgeries. As a corollary, 1-bridge braids in these manifolds admit non- trivial L-space surgeries. We also recover a characterization of the Berge manifold amongst 1-bridge braid exteriors.


title: Estimation of low rank density matrices by Pauli measurements

abstract: Density matrices are positively semi-definite Hermitian matrices with unit trace that describe the states of quantum systems. Many quantum systems of physical interest can be represented as high-dimensional low rank density matrices. A popular problem in {\it quantum state tomography} (QST) is to estimate the unknown low rank density matrix of a quantum system by conducting Pauli measurements. Our main contribution is twofold. First, we establish the minimax lower bounds in Schatten $p$-norms with $1\leq p\leq +\infty$ for low rank density matrices estimation by Pauli measurements. In our previous paper, these minimax lower bounds are proved under the trace regression model with Gaussian noise and the noise is assumed to have common variance. In this paper, we prove these bounds under the Binomial observation model which meets the actual model in QST. Second, we study the Dantzig estimator (DE) for estimating the unknown low rank density matrix under the Binomial observation model by using Pauli measurements. In our previous papers, we studied the least squares estimator and the projection estimator, where we proved the optimal convergence rates for the least squares estimator in Schatten $p$-norms with $1\leq p\leq 2$ and, under a stronger condition, the optimal convergence rates for the projection estimator in Schatten $p$-norms with $1\leq p\leq +\infty$. In this paper, we show that the results of these two distinct estimators can be simultaneously obtained by the Dantzig estimator. Moreover, better convergence rates in Schatten norm distances can be proved for Dantzig estimator under conditions weaker than those needed in previous papers. When the objective function of DE is replaced by the negative von Neumann entropy, we obtain sharp convergence rate in Kullback-Leibler divergence.


title: Modeling the early evolution of massive OB stars with an experimental wind routine

abstract: Stellar evolution models of massive stars are very sensitive to the adopted mass-loss scheme. The magnitude and evolution of mass-loss rates significantly affect the main sequence evolution, and the properties of post-main sequence objects, including their rotational velocities. Driven by potential discrepancies between theoretically predicted and observationally derived mass-loss rates in the OB star range, we particularly aim to investigate the response to mass-loss rates that are lower than currently adopted, in parallel with the mass-loss behavior at the "first" bi-stability jump. We perform 1D hydrodynamical model calculations of single $20 - 60 \, M_{\odot}$ Galactic ($Z = 0.014$) stars where the effects of stellar winds are already significant during the main sequence phase. We develop an experimental wind routine to examine the behavior and response of the models under the influence of different mass-loss rates. This observationally guided, simple and flexible wind routine is not a new mass-loss description but a useful tool based on the Wind-momentum Luminosity Relation and other scaling relations, and provides a meaningful base for various tests and comparisons. The main result of this study indicates a dichotomy when accounting for currently debated problems regarding mass-loss rates of hot massive stars. In a fully diffusive approach, and for commonly adopted initial rotational velocities, lower mass-loss rates than theoretically predicted require to invoke an additional source of angular momentum loss (either due to bi-stability braking, or yet unidentified) to brake down surface rotational velocities. [...]


title: Integer Quantum Hall Effect of Interacting Electrons in Graphene

abstract: By taking into account the charge and spin orderings and the exchange interactions between all the Landau levels, we investigate the integer quantum Hall effect of electrons in graphene using the mean-field theory. At the fillings $\nu = 4n+2$ with $n = 0, 1, \cdots$, the system is in the high-symmetry state with the Landau levels four-fold degenerated. We show that with doping the degenerated lowest empty levels can be sequentially filled one level by one level, the filled level is lower than the empty ones because of the symmetry breaking. This result explains the step $\Delta\nu$ = 1 in the integer quantized Hall conductivity of the experimental observations. We also present in the supplemental material a high efficient method for dealing with huge number of the Coulomb couplings between all the levels.


title: Term-Class-Max-Support (TCMS): A Simple Text Document Categorization Approach Using Term-Class Relevance Measure

abstract: In this paper, a simple text categorization method using term-class relevance measures is proposed. Initially, text documents are processed to extract significant terms present in them. For every term extracted from a document, we compute its importance in preserving the content of a class through a novel term-weighting scheme known as Term_Class Relevance (TCR) measure proposed by Guru and Suhil (2015) [1]. In this way, for every term, its relevance for all the classes present in the corpus is computed and stored in the knowledgebase. During testing, the terms present in the test document are extracted and the term-class relevance of each term is obtained from the stored knowledgebase. To achieve quick search of term weights, Btree indexing data structure has been adapted. Finally, the class which receives maximum support in terms of term-class relevance is decided to be the class of the given test document. The proposed method works in logarithmic complexity in testing time and simple to implement when compared to any other text categorization techniques available in literature. The experiments conducted on various benchmarking datasets have revealed that the performance of the proposed method is satisfactory and encouraging.


title: A System Level Approach to Controller Synthesis

abstract: Biological and advanced cyberphysical control systems often have limited, sparse, uncertain, and distributed communication and computing in addition to sensing and actuation. Fortunately, the corresponding plants and performance requirements are also sparse and structured, and this must be exploited to make constrained controller design feasible and tractable. We introduce a new "system level" (SL) approach involving three complementary SL elements. System Level Parameterizations (SLPs) generalize state space and Youla parameterizations of all stabilizing controllers and the responses they achieve, and combine with System Level Constraints (SLCs) to parameterize the largest known class of constrained stabilizing controllers that admit a convex characterization, generalizing quadratic invariance (QI). SLPs also lead to a generalization of detectability and stabilizability, suggesting the existence of a rich separation structure, that when combined with SLCs, is naturally applicable to structurally constrained controllers and systems. We further provide a catalog of useful SLCs, most importantly including sparsity, delay, and locality constraints on both communication and computing internal to the controller, and external system performance. The resulting System Level Synthesis (SLS) problems that arise define the broadest known class of constrained optimal control problems that can be solved using convex programming. An example illustrates how this system level approach can systematically explore tradeoffs in controller performance, robustness, and synthesis/implementation complexity.


title: First stability eigenvalue of singular minimal hypersurfaces in spheres

abstract: In this short note we extend an estimate due to J. Simons on the first stability eigenvalue of minimal hypersurfaces in spheres to the singular setting. Specifically, we show that any singular minimal hypersurface in $S^{n+1}$, which is not totally geodesic and satisfies the \alpha-structural hypothesis, has first stability eigenvalue at most -2n, with equality if and only if it is a product of two round spheres. The equality case was settled independently in the classical setting by Wu and Perdomo.


title: An Efficient and Compact Excitation of Surface Plasmons Using a Si Gable Tip

abstract: We propose a novel technique to efficiently excite a surface plasmon polariton (SPP) mode at a gold-glass interface by exploiting the near field excitation of an engineered high index (silicon) gabled tip at the telecom wavelengths. The proposed structure can theoretically convert 49% of the input optical power to a SPP mode. The device is compact, it will facilitate the on-chip excitation of the SPP, its fabrication is compatible with the standard Si fabrication processes, and as such, it is expected to be useful in the design of future integrated sensors.


title: Staggered Flux State in Two-Dimensional Hubbard Models

abstract: The stability and other properties of a staggered flux (SF) state or a correlated d-density wave state are studied for the Hubbard (t-t'-U) model on extended square lattices, as a low-lying state that competes with the d(x2-y2)-wave superconductivity (d-SC) and possibly causes the pseudogap phenomena in underdoped high-Tc cuprates and organic kappa-BEDT-TTF salts. In calculations, a variational Monte Carlo method is used. In the trial wave function, a configuration-dependent phase factor, which is vital to treat a current-carrying state for a large U/t, is introduced in addition to ordinary correlation factors. Varying U/t, t'/t, and the doping rate (delta) systematically, we show that the SF state becomes more stable than the normal state (projected Fermi sea) for a strongly correlated (U/t\gtrsim 5) and underdoped (delta\lesssim 0.16) area. The decrease in energy is sizable, particularly in the area where Mott physics prevails and the circular current (order parameter) is strongly suppressed. These features are consistent with those for the t-J model. The effect of the frustration t'/t plays a crucial role in preserving charge homogeneity and appropriately describing the behavior of hole- and electron-doped cuprates and kappa-BEDT-TTF salts. We argue that the SF state does not coexist with d-SC and is not a `normal state' from which d-SC arises. We also show that a spin current (flux or nematic) state is never stabilized in the same regime.


title: Weight elimination in Serre-type conjectures

abstract: We prove the weight elimination direction of the Serre weight conjectures as formulated by Herzig for forms of $U(n)$ which are compact at infinity and split at places dividing $p$ in generic situations. That is, we show that all modular weights for a mod $p$ Galois representation are contained in the set predicted by Herzig. Under some additional hypotheses, we also show modularity of all the "obvious" weights.


title: Capability of the HAWC gamma-ray observatory for the indirect detection of ultra-high energy neutrinos

abstract: The detection of ultra-high energy neutrinos, with energies in the PeV range or above, is a topic of great interest in modern astroparticle physics. The importance comes from the fact that these neutrinos point back to the most energetic particle accelerators in the Universe, and provide information about their underlying acceleration mechanisms. Atmospheric neutrinos are a background for these challenging measurements, but their rate is expected to be negligible above $\approx$ 1 PeV. In this work we describe the feasibility to study ultra-high energy neutrinos based on the Earth-skimming technique, by detecting the charged leptons produced in neutrino-nucleon interactions in a high mass target. We propose to detect the charged leptons, or their decay products, with the High Altitude Water Cherenkov (HAWC) observatory, and use as a large mass target for the neutrino interactions the Pico de Orizaba volcano, the highest mountain in Mexico. In this work we develop an estimate of the detection rate using a geometrical model to calculate the effective area of the observatory. Our results show that it may be feasible to perform measurements of the ultra-high energy neutrino flux from cosmic origin during the expected lifetime of the HAWC observatory.


title: General forms of finite population central limit theorems with applications to causal inference

abstract: Frequentists' inference often delivers point estimators associated with confidence intervals or sets for parameters of interest. Constructing the confidence intervals or sets requires understanding the sampling distributions of the point estimators, which, in many but not all cases, are related to asymptotic Normal distributions ensured by central limit theorems. Although previous literature has established various forms of central limit theorems for statistical inference in super population models, we still need general and convenient forms of central limit theorems for some randomization-based causal analysis of experimental data, where the parameters of interests are functions of a finite population and randomness comes solely from the treatment assignment. We use central limit theorems for sample surveys and rank statistics to establish general forms of the finite population central limit theorems that are particularly useful for proving asymptotic distributions of randomization tests under the sharp null hypothesis of zero individual causal effects, and for obtaining the asymptotic repeated sampling distributions of the causal effect estimators. The new central limit theorems hold for general experimental designs with multiple treatment levels and multiple treatment factors, and are immediately applicable for studying the asymptotic properties of many methods in causal inference, including instrumental variable, regression adjustment, rerandomization, clustered randomized experiments, and so on. Previously, the asymptotic properties of these problems are often based on heuristic arguments, which in fact rely on general forms of finite population central limit theorems that have not been established before. Our new theorems fill in this gap by providing more solid theoretical foundation for asymptotic randomization-based causal inference.


title: On first integrals of geodesic flows on a two-torus

abstract: The problem of the existence of an additional (independent on the energy) first integral, of a geodesic (or magnetic geodesic) flow, which is polynomial in momenta is studied. The relation of this problem to the existence of nontrivial solutions of stationary dispersionless limits of two-dimensional soliton equations is demonstrated. The nonexistence of an additional quadratic first integral is established for certain classes of magnetic geodesic flows.


title: To Frontalize or Not To Frontalize: Do We Really Need Elaborate Pre-processing To Improve Face Recognition?

abstract: Face recognition performance has improved remarkably in the last decade. Much of this success can be attributed to the development of deep learning techniques such as convolutional neural networks (CNNs). While CNNs have pushed the state-of-the-art forward, their training process requires a large amount of clean and correctly labelled training data. If a CNN is intended to tolerate facial pose, then we face an important question: should this training data be diverse in its pose distribution, or should face images be normalized to a single pose in a pre-processing step? To address this question, we evaluate a number of popular facial landmarking and pose correction algorithms to understand their effect on facial recognition performance. Additionally, we introduce a new, automatic, single-image frontalization scheme that exceeds the performance of current algorithms. CNNs trained using sets of different pre-processing methods are used to extract features from the Point and Shoot Challenge (PaSC) and CMU Multi-PIE datasets. We assert that the subsequent verification and recognition performance serves to quantify the effectiveness of each pose correction scheme.


title: Regularity and lifespan of small solutions to systems of quasi-linear wave equations with multiple speeds,I: almost global existence

abstract: In this paper, we show almost global existence of small solutions to the Cauchy problem for symmetric system of wave equations with quadratic (in 3D) or cubic (in 2D) nonlinear terms and multiple propagation speeds. To measure the size of initial data, we employ a weighted Sobolev norm whose regularity index is the smallest among all the admissible Sobolev norms of integer order. We must overcome the difficulty caused by the absence of the $H^1$-$L^p$ Klainerman-Sobolev type inequality, in order to obtain a required a priori bound in the low-order Sobolev norm. The introduction of good substitutes for this inequality is therefore at the core of this paper. Using the idea of showing the well-known Lady\v{z}enskaja inequality, we prove some weighted inequalities, which, together with the generalized Strauss inequality, play a role as the good substitute.


title: Where Do the Terms of the Power Series Expansions of Sine and Cosine Functions Come from? Involutes!

abstract: In the 1930's, a Russian school teacher Y. S. Chaikovsky presented a proof of the power series expansion of the sine and cosine functions without using calculus. In doing so he also showed the geometrical meanings of the various terms in these power series expansions. Chaikovsky's ideas were first published by Leo S. Gurin as a Note in the American Mathematical Monthly in 1996. The proofs, though they use only elementary mathematics, require some combinatorial arguments which may be hard even for bright students. This paper is an attempt to bring the ideas of Chaikovsky once again to the attention of the mathematics teachers and students. The emphasis in this paper is on establishing the geometrical meanings of the various terms in the power series expansions of sine and cosine functions. This has been done taking recourse to methods of calculus. Since the concept of an involute is crucial in this investigation, we have also included a brief discussion on the concept of an involute of a curve and also a Maxima procedure for computing the parametric equations of the involute of a given curve.


title: Ordered Factorizations with $k$ Factors

abstract: We give an overview of combinatoric properties of the number of ordered $k$-factorizations $f_k(n,l)$ of an integer, where every factor is greater or equal to $l$. We show that for a large number $k$ of factors, the value of the cumulative sum $F_k(x,l)=\sum\nolimits_{n\leq x} f_k(n,l)$ is a polynomial in $\lfloor \log_l x \rfloor$ and give explicit expressions for the degree and the coefficients of this polynomial. An average order of the number of ordered factorizations for a fixed number $k$ of factors greater or equal to 2 is derived from known results of the divisor problem.


title: On the effect of a two-rocks boundary on the propagation of nonlinear transients of temperature and pressure in deformable porous rocks

abstract: We here analyze the propagation of transients of fluid-rock temperature and pressure through a thin boundary layer, where a steady trend is present, between two adjacent homogeneous rocks. We focus on the effect of convection on transients crossing such thin layer. In comparison with early models where this boundary was assumed a sharp mathematical plane separating the two rocks, here we show a realistic analysis of such boundary layer that implies a novel nonlinear model. Its solutions describe large amplitude, quick and sharp transients characterized by a novel drift and variations of the signal amplitude, leading to a nonlinear wave propagation. Possible applications are in volcanic, hydrologic, hydrothermal systems as well as for deep oil drilling. In addition, this formalism could easily be generalized for the case of a signal arriving in a rock characterized by a steady trend of pressure and/or temperature. These effects, being proportional to the initial conditions, can also give velocity variations not particularly important. A further heuristic model has therefore been analyzed, i.e. assuming a pressure dependent rock permeability. In this way, a remarkable increase of the system velocities is obtained.


title: Long-distance quantum key distribution using concatenated entanglement swapping with practical resources

abstract: We present our approach for sharing photons and assessing resultant four-photon visibility between two distant parties using concatenated entanglement swapping. In addition we determine the corresponding key generation rate and the quantum bit-error rate. Our model is based on practical limitations of resources, including multipair parametric down-conversion sources, inefficient detectors with dark counts and lossy channels. Through this approach, we have found that a trade-off is needed between experimental run-time, pair-production rate and detector efficiency. Concatenated entanglement swapping enables huge distances for quantum key-distribution but at the expense of low key generation rate.


title: On disconnected images of connected spaces

abstract: We introduce the notion that a zero-dimensional compact space $L$ is a \emph{Boolean image} of an arbitrary compact space $K$. When $K$ is also zero-dimensional, this just means that $L$ is a continuous image of $K$. However, a number of interesting questions arise when we consider connected compacta $K$.


title: RGBD-based Parameter Extraction for Door Opening Tasks with Human Assists in Nuclear Rescue

abstract: The ability to open a door is essential for robots to perform home-serving and rescuing tasks. A substantial problem is to obtain the necessary parameters such as the width of the door and the length of the handle. Many researchers utilize computer vision techniques to extract the parameters automatically which lead to fine but not very stable results because of the complexity of the environment. We propose a method that utilizes an RGBD sensor and a GUI for users to 'point' at the target region with a mouse to acquire 3D information. Algorithms that can extract important parameters from the selected points are designed. To avoid large internal force induced by the misalignment of the robot orientation and the normal of the door plane, we design a module that can compute the normal of the plane by pointing at three non-collinear points and then drive the robot to the desired orientation. We carried out experiments on real robot. The result shows that the designed GUI and algorithms can help find the necessary parameters stably and get the robot prepared for further operations.


title: Topology trivialization transition in random non-gradient autonomous ODE's on a sphere

abstract: We calculate the mean total number of equilibrium points in a system of $N$ random autonomous ODE's introduced by Cugliandolo et al. in 1997 to describe non-relaxational glassy dynamics on the high-dimensional sphere. In doing it we suggest a new approach which allows such a calculation to be done most straightforwardly, and is based on efficiently incorporating the Langrange multiplier into the Kac-Rice framework. Analysing the asymptotic behaviour for large $N$ we confirm that the phenomenon of 'topology trivialization' revealed earlier for other systems holds also in the present framework with nonrelaxational dynamics. Namely, by increasing the variance of the random 'magnetic field' term in dynamical equations we find a 'phase transition' from the exponentially abundant number of equilibria down to just two equilibria. Classifying the equilibria in the nontrivial phase by stability remains an open problem.

categories: math-ph cond-mat.dis-nn cond-mat.stat-mech math.DS math.MP


title: Coupled-channel Dalitz plot analysis of $D^+\to K^- \pi^+\pi^+$ decay

abstract: We demonstrate that partial wave amplitudes extracted from $D^+\to K^-\pi^+\pi^+$ Dalitz plot with a unitary coupled-channel model are significantly different from those obtained with an isobar model. The unitary coupled-channel model takes account of hadronic rescattering mechanisms involving all three mesons that have been missed in conventioanl isobar model analyses. The rescattering mechanisms contribute largely, and can triplicate the $D^+\to {K}^-\pi^+\pi^+$ decay width within our analysis. These findings deliver a warning that analysis results obtained with isobar models should be looked with a caution. The determination of the CKM angle $\gamma/\phi_3$ is a highly relevant problem.


title: Quaternionic geometry in dimension eight

abstract: We describe the 8-dimensional Wolf spaces as cohomogeneity one SU(3)-manifolds, and discover perturbations of the quaternion-kaehler metric on the simply-connected 8-manifold G_2/SO(4) that carry a closed fundamental 4-form but are not Einstein.


title: Location Sensitive Deep Convolutional Neural Networks for Segmentation of White Matter Hyperintensities

abstract: The anatomical location of imaging features is of crucial importance for accurate diagnosis in many medical tasks. Convolutional neural networks (CNN) have had huge successes in computer vision, but they lack the natural ability to incorporate the anatomical location in their decision making process, hindering success in some medical image analysis tasks. In this paper, to integrate the anatomical location information into the network, we propose several deep CNN architectures that consider multi-scale patches or take explicit location features while training. We apply and compare the proposed architectures for segmentation of white matter hyperintensities in brain MR images on a large dataset. As a result, we observe that the CNNs that incorporate location information substantially outperform a conventional segmentation method with hand-crafted features as well as CNNs that do not integrate location information. On a test set of 46 scans, the best configuration of our networks obtained a Dice score of 0.791, compared to 0.797 for an independent human observer. Performance levels of the machine and the independent human observer were not statistically significantly different (p-value=0.17).


title: Strength and stability of active ligand-receptor bonds: a microtubule attached to a wall by molecular motor tethers

abstract: We develop a stochastic kinetic model of a pre-formed attachment of a mictrotuble (MT) with a cell cortex, in which the MT is tethered to the cell by a group of active motor proteins. Such an attachment is a particularly unique case of ligand-receptor bonds: The MT ligand changes its length (and thus binding sites) with time by polymerization-depolymerization kinetics, while multiple motor receptors tend to walk actively along the MT length. These processes, combined with force-mediated unbinding of the motors, result in an elaborate behavior of the MT connection to the cell cortex. We present results for the strength and lifetime of the system through the well-established force-clamp and force-ramp protocols when external tension is applied to the MT. The simulation results reveal that the MT-cell attachment behaves as a catch-bond or slip-bond depending on system parameters. We provide analytical approximations of the lifetime and discuss implications of our results on in-vitro experiments.


title: An Efficient Uplink Multi-Connectivity Scheme for 5G mmWave Control Plane Applications

abstract: The millimeter wave (mmWave) frequencies offer the potential of orders of magnitude increases in capacity for next-generation cellular systems. However, links in mmWave networks are susceptible to blockage and may suffer from rapid variations in quality. Connectivity to multiple cells - at mmWave and/or traditional frequencies - is considered essential for robust communication. One of the challenges in supporting multi-connectivity in mmWaves is the requirement for the network to track the direction of each link in addition to its power and timing. To address this challenge, we implement a novel uplink measurement system that, with the joint help of a local coordinator operating in the legacy band, guarantees continuous monitoring of the channel propagation conditions and allows for the design of efficient control plane applications, including handover, beam tracking and initial access. We show that an uplink-based multi-connectivity approach enables less consuming, better performing, faster and more stable cell selection and scheduling decisions with respect to a traditional downlink-based standalone scheme. Moreover, we argue that the presented framework guarantees (i) efficient tracking of the user in the presence of the channel dynamics expected at mmWaves, and (ii) fast reaction to situations in which the primary propagation path is blocked or not available.


title: Contact manifolds with flexible fillings

abstract: We prove that all flexible Weinstein fillings of a given contact manifold with vanishing first Chern class have isomorphic integral cohomology; in certain cases, we prove that all flexible fillings are symplectomorphic. As an application, we show that in dimension at least 5 any almost contact class that has an almost Weinstein filling has infinitely many different contact structures. Similar methods are used to construct the first known infinite family of almost symplectomorphic Weinstein domains whose contact boundaries are not contactomorphic. We also prove relative analogs of our results, which we apply to Lagrangians in cotangent bundles.


title: On Finding Small Sets that Influence Large Networks

abstract: We consider the problem of selecting a minimum size subset of nodes in a network, that allows to activate all the nodes of the network. We present a fast and simple algorithm that, in real-life networks, produces solutions that outperform the ones obtained by using the best algorithms in the literature. We also investigate the theoretical performances of our algorithm and give proofs of optimality for some classes of graphs. From an experimental perspective, experiments also show that the performance of the algorithms correlates with the modularity of the analyzed network. Moreover, the more the influence among communities is hard to propagate, the less the performances of the algorithms differ. On the other hand, when the network allows some propagation of influence between different communities, the gap between the solutions returned by the proposed algorithm and by the previous algorithms in the literature increases.


title: Bilateral sums related to Ramanujan-like series

abstract: We define bilateral series related to Ramanujan-like series for $1/\pi^2$. Then, we conjecture a property of them and give some applications.


title: Spectral analysis of a generalized buckling problem on a ball

abstract: In this paper, the spectrum of the following fourth order problem \begin{equation*} \begin{cases} \Delta^2 u+\nu u=-\lambda \Delta u &\text{in } D_1,\newline u=\partial_r u= 0 &\text{on } \partial D_1, \end{cases} \end{equation*} where $D_1$ is the unit ball in ${\mathbb R}^N$, is determined for $\nu < 0$ as well as the nodal properties of the corresponding eigenfunctions. In particular, we show that the first eigenvalue is simple and that the corresponding eigenfunction is radial and (up to a multiplicative factor) positive and decreasing with respect to the radius. This completes earlier results obtained for $\nu \ge 0$ and for $\nu <0$.


title: Translation Quality Estimation using Recurrent Neural Network

abstract: This paper describes our submission to the shared task on word/phrase level Quality Estimation (QE) in the First Conference on Statistical Machine Translation (WMT16). The objective of the shared task was to predict if the given word/phrase is a correct/incorrect (OK/BAD) translation in the given sentence. In this paper, we propose a novel approach for word level Quality Estimation using Recurrent Neural Network Language Model (RNN-LM) architecture. RNN-LMs have been found very effective in different Natural Language Processing (NLP) applications. RNN-LM is mainly used for vector space language modeling for different NLP problems. For this task, we modify the architecture of RNN-LM. The modified system predicts a label (OK/BAD) in the slot rather than predicting the word. The input to the system is a word sequence, similar to the standard RNN-LM. The approach is language independent and requires only the translated text for QE. To estimate the phrase level quality, we use the output of the word level QE system.


title: Nanoparticle charge-transfer interactions induce surface dependent conformational changes in apolipoprotein biocorona

abstract: Upon introduction into a biological system, engineered nanomaterials (ENMs) rapidly associate with a variety of biomolecules such as proteins and lipids to form a biocorona. The presence of biocorona influences nano-bio interactions considerably, and could ultimately result in altered biological responses. Apolipoprotein A-I (ApoA-I), the major constituent of high-density lipoprotein (HDL), is one of the most prevalent proteins found in ENM-biocorona irrespective of ENM nature, size, and shape. Given the importance of ApoA-I in HDL and cholesterol transport, it is necessary to understand the mechanisms of ApoA-I adsorption and the associated structural changes for assessing consequences of ENM exposure. Here, we used a comprehensive array of microscopic and spectroscopic tools to elucidate the interactions between ApoA-I and 100 nm Ag nanoparticles (AgNPs) with four different surface functional groups. We found that the protein adsorption and secondary structural changes are highly dependent on the surface functionality. Our electrochemical studies provided new evidence for charge transfer interactions that influence ApoA-I unfolding. While the unfolding of ApoA-I on AgNPs did not significantly modify their cellular uptake and short-term cytotoxicity, we observed that it strongly altered the ability of only some AgNPs to generate reactive oxygen species in macrophages. Our results shed new light on the importance of surface functionality and charge transfer interactions in biocorona formation.

categories: physics.bio-ph cond-mat.mes-hall cond-mat.mtrl-sci cond-mat.soft


title: On the sighting of unicorns: a variational approach to computing invariant sets in dynamical systems

abstract: We propose to compute approximations to general invariant sets in dynamical systems by minimizing the distance between an appropriately selected finite set of points and its image under the dynamics. We demonstrate, through computational experiments that this approach can successfully converge to approximations of (maximal) invariant sets of arbitrary topology, dimension and stability as, e.g., saddle type invariant sets with complicated dynamics. We further propose to extend this approach by adding a Lennard-Jones type potential term to the objective function which yields more evenly distributed approximating finite point sets and perform corresponding numerical experiments.


title: Complete coverage of space favors modularity of the grid system in the brain

abstract: Grid cells in the entorhinal cortex fire when animals that are exploring a certain region of space occupy the vertices of a triangular grid that spans the environment. Different neurons feature triangular grids that differ in their properties of periodicity, orientation and ellipticity. Taken together, these grids allow the animal to maintain an internal, mental representation of physical space. Experiments show that grid cells are modular, i.e. there are groups of neurons which have grids with similar periodicity, orientation and ellipticity. We use statistical physics methods to derive a relation between variability of the properties of the grids within a module and the range of space that can be covered completely (i.e. without gaps) by the grid system with high probability. Larger variability shrinks the range of representation, providing a functional rationale for the experimentally observed co-modularity of grid cell periodicity, orientation and ellipticity. We obtain a scaling relation between the number of neurons and the period of a module, given the variability and coverage range. Specifically, we predict how many more neurons are required at smaller grid scales than at larger ones.


title: Characterizations of graded Pr\"ufer $\star$-multiplication domains, II

abstract: Let $R=\bigoplus_{\alpha\in\Gamma}R_{\alpha}$ be a graded integral domain and $\star$ be a semistar operation on $R$. For $a\in R$, denote by $C(a)$ the ideal of $R$ generated by homogeneous components of $a$ and for$f=f_0+f_1X+\cdots+f_nX^n\in R[X]$, let $\A_f:=\sum_{i=0}^nC(f_i)$. Let $N(\star):=\{f\in R[X]\mid f\neq0\text{and}\A_f^{\star}=R^{\star}\}$. In this paper we study relationships between ideal theoretic properties of $\NA(R,\star):=R[X]_{N(\star)}$ and the homogeneous ideal theoretic properties of $R$. For example we show that $R$ is a graded Pr\"ufer-$\star$-multiplication domain if and only if $\NA(D,\star)$ is a Pr\"ufer domain if and only if $\NA(R,\star)$ is a B\'ezout domain. We also determine when $\NA(R,v)$ is a PID.


title: Restriction and induction for supercharacters of finite groups of triangular type

abstract: It is proved the the restriction of any supercharacter of a finite group of triangular type on its subgroup is a sum of supercharacters with nonnegative integer coefficients. We define superinduction and prove the analog of the Frobenius formula for supercharacters.


title: Spin Interaction under the Collision of Two Kerr-(anti-)de Sitter Black Holes

abstract: We have investigated spin interaction under the collision of Kerr-(anti-)de Sitter black holes. The potential of a spin interaction is dependent on the relative rotating directions of the black holes, and this potential can be released as gravitational radiation under the collision. The radiation depends on the cosmological constant and corresponds to the potential of the spin interaction at a limit where one of the black holes is assumed to have small mass and angular momentum. Then, we have shown, approximately, the overall behaviors of the upper bounds on the radiation using thermodynamics. From these bounds, the spin interaction can consistently contribute to the radiation. In addition, the radiation depends on the stability of the black hole synthesized from the collision.


title: Renormalized stress-energy tensor of an evaporating spinning black hole

abstract: We employ a recently developed mode-sum regularization method to compute the renormalized stress-energy tensor of a quantum field in the Kerr background metric (describing a stationary spinning black hole). More specifically, we consider a minimally-coupled massless scalar field in the Unruh vacuum state, the quantum state corresponding to an evaporating black hole. The computation is done here for the case $a=0.7M$, using two different variants of the method: $t$-splitting and $\varphi$-splitting, yielding good agreement between the two (in the domain where both are applicable). We briefly discuss possible implications of the results for computing semiclassical corrections to certain quantities, and also for simulating dynamical evaporation of a spinning black hole.


title: Long-range spin correlations in a honeycomb spin model with magnetic field

abstract: We consider spin-$\frac{1}{2}$ model on the honeycomb lattice in the presence of weak magnetic field $h\ll J$. Such a perturbation treated in the second order over $h$ leads to the power-law decay of irreducible spin correlation function $S(\mathbf{r},t)=\left\langle \left\langle s^{z}_r(t)s^{z}_0(0)\right\rangle \right\rangle \propto h_{z}^{2}f(t,\mathbf{r})$, where $f(t,\mathbf{r})\propto \lbrack \max (t,Jr)]^{-4}$ is an oscillating function of $\mathbf{r}$, with a wavelength equal to 3 lattice constants. In the present Letter we sum main terms in all orders of the perturbation theory for the correlation function $S(\mathbf{r},t)$ in the limit of large $r,t$. Our results can be understood in terms of the effective low-energy Hamiltonian written in terms of Majorana fermions, which in the presence of magnetic field acquire vector potential $A_x \propto h_z^2$. Correspondingly, the wave vector of the oscillations in $S(\mathbf{r},t)$ changes according to $\delta k \propto h_z^2$. We also compute the dynamic structure factor $S(\mathbf{p},\omega)$; in the vicinity of $\mathbf{p}_K$ corresponding to the inter-conical points excitations it reads as $S(\mathbf{p},\omega)-S(\mathbf{p}_K,\omega)\propto\sqrt{\omega^2-3J^2(\mathbf{p}-\mathbf{p}_K)^2}$.


title: Efficient Rectangular Maximal-Volume Algorithm for Rating Elicitation in Collaborative Filtering

abstract: Cold start problem in Collaborative Filtering can be solved by asking new users to rate a small seed set of representative items or by asking representative users to rate a new item. The question is how to build a seed set that can give enough preference information for making good recommendations. One of the most successful approaches, called Representative Based Matrix Factorization, is based on Maxvol algorithm. Unfortunately, this approach has one important limitation --- a seed set of a particular size requires a rating matrix factorization of fixed rank that should coincide with that size. This is not necessarily optimal in the general case. In the current paper, we introduce a fast algorithm for an analytical generalization of this approach that we call Rectangular Maxvol. It allows the rank of factorization to be lower than the required size of the seed set. Moreover, the paper includes the theoretical analysis of the method's error, the complexity analysis of the existing methods and the comparison to the state-of-the-art approaches.


title: Joint Multiuser Downlink Beamforming and Admission Control for Green Cloud-RANs with Limited Fronthaul Based on Mixed Integer Semi-definite Program

abstract: With the dense deployment of the remote radio heads (RRHs), the huge network power consumption has become a great challenge for green cloud radio access networks (Cloud-RANs), and multiuser downlink beamforming has been proposed as a promising solution. Moreover, the increasing number of mobile users (MUs) causes that admission control is essential for Cloud-RAN with limited fronthaul capacity and predefined power budget. In this paper, we consider the problem of joint multiuser downlink beamforming and admission control (JBAC) to enhance the admitted MUs in the network and reduce the network power consumption, while taking into account the Quality of Service requirements of the MUs, the power budget constraints and fronthaul limitation. It is shown that the JBAC problem is a mixed integer nonlinear problem, and still non-convex even though the continuous relaxation is adopted. Therefore, we first transform the JBAC problem into a Mixed-Integer Semidefinite Program. Then, we propose a bound improving Branch and Bound algorithm to yield the near-optimal solution. For practical application, a polynomial-time heuristic algorithm is proposed to derive the sub-optimal solution. Extensive simulations are conducted with different system configurations to show the effectiveness of the proposed two schemes.


title: One more recursive-theoretic characterization of the Topological Vaught Conjecture

abstract: We prove in ZF a recursive-theoretic characterization of the Topological Vaught Conjecture by revisiting the fact that orbits in Polish $G$-spaces are Borel sets.


title: Dynamical analysis of NGC 110: cluster of fainter stars or data fluctuation?

abstract: The stellar enhancement of the cluster NGC 110 is investigated in various optical and infrared (IR) bands. The radial density profile of the IR region does not show a stellar enhancement in the central region of the cluster. This stellar deficiency may be occurring by undetected fainter stars due to the contamination effect of massive stars. Since, our analysis is not indicating the stellar enhancement below 16.5 mag of I band, therefore the cluster is assumed to be a group of fainter stars. The proposed magnitude scatter factor would be an excellent tool to understand the characteristic of colour-scattering of stars. The most probable members do not coincide with the model isochronic fitting in the optical bands due to poor data quality of P P MXL catalogue. The different values of the mean proper motions are found for the fainter stars of the cluster and field regions, whereas similar values are obtained for radial zones of the cluster. The symmetrical distribution of fainter stars of the core are found around the best solution of isochrone. The mass function and mass segregation studies are not possible due to higher uncertainty of the photometric data. The number of the massive stars of the cluster region is low in comparison with the field region due to completed evolution life of the massive stars.


title: Theory of plasmonic effects in nonlinear optics: the case of graphene

abstract: We develop a microscopic large-$N$ theory of electron-electron interaction corrections to multi-legged Feynman diagrams describing second- and third-order nonlinear response functions. Our theory, which reduces to the well-known random phase approximation in the linear-response limit, is completely general and is useful to understand all second- and third-order nonlinear effects, including harmonic generation, wave mixing, and photon drag. We apply our theoretical framework to the case of graphene, by carrying out microscopic calculations of the second- and third-order nonlinear response functions of an interacting two-dimensional (2D) gas of massless Dirac fermions. We compare our results with recent measurements, where all-optical launching of graphene plasmons has been achieved by virtue of the finiteness of the quasi-homogeneous second-order nonlinear response of this inversion-symmetric 2D material.


title: Bio-Soliton Model that predicts Non-Thermal Electromagnetic Radiation Frequency Bands, that either Stabilize or Destabilize Life Conditions

abstract: Solitons, as self-reinforcing solitary waves, interact with complex biological phenomena such as cellular self-organisation. Soliton models are able to describe a spectrum of electromagnetism modalities that can be applied to understand the physical principles of biological effects in living cells, as caused by electromagnetic radiation. A bio-soliton model is proposed, that enables to predict which eigen-frequencies of non-thermal electromagnetic waves are life-sustaining and which are, in contrast, detrimental for living cells. The particular effects are exerted by a range of electromagnetic wave frequencies of one-tenth of a Hertz till Peta Hertz, that show a pattern of twelve bands, if positioned on an acoustic frequency scale. The model was substantiated by a meta-analysis of 240 published papers of biological radiation experiments, in which a spectrum of non-thermal electromagnetic waves were exposed to living cells and intact organisms. These data support the concept of coherent quantized electromagnetic states in living organisms and the theories of Davydov, Fr\"ohlich and Pang. A spin-off strategy from our study is discussed in order to design bio-compatibility promoting semi-conducting materials and to counteract potential detrimental effects due to specific types of electromagnetic radiation produced by man-made electromagnetic technologies.


title: Origins and control of the polarization splitting in exciton-polaritons microwires

abstract: We report on the experimental investigation of the polarization-dependent energy splitting in the lower exciton-polariton branches of a 1D microcavity. The splitting observed for the lowest branch can reach up to 1 meV. It does not result from low temperature thermal constraints but from anisotropic mechanical internal strains induced by etching. Those strains remove the degeneracy both in the photonic ($\delta E_{\mathrm{ph}}$) and excitonic ($\delta E_{\mathrm{exc}}$) components of the polariton but also in the photon-exciton coupling ($\delta\Omega$). Those three contributions are accurately infered from experimental data. It appears that the sign and magnitude of the polarization splitting as well as the linear polarization of the corresponding polariton eigenstates can be tuned through the bare exciton-photon detuning. Moreover, no dependence on the width of the wire (from 3 to 7 $\mathrm{\mu}$m) is observed. We propose a mechanical model explaining the universality of those observations paving the way to the engineering of polarization eigenstates in microwires exciton-polaritons.