title: Autoantibody recognition mechanisms of p53 epitopes

abstract: There is an urgent need for economical blood based, noninvasive molecular biomarkers to assist in the detection and diagnosis of cancers in a cost effective manner at an early stage, when curative interventions are still possible. Serum autoantibodies are attractive biomarkers for early cancer detection, but their development has been hindered by the punctuated genetic nature of the ten million known cancer mutations. A recent study of 50,000 patients (Pedersen et al., 2013) showed p53 15mer epitopes are much more sensitive colon cancer biomarkers than p53, which in turn is a more sensitive cancer biomarker than any other protein. The function of p53 as a nearly universal tumor suppressor is well established, because of its strong immunogenicity in terms of not only antibody recruitment, but also stimulation of autoantibodies. Here we examine bioinformatic fractal scaling analysis for identifying sensitive epitopes from the p53 amino acid sequence, and show how it could be used for early cancer detection (ECD). We trim 15mers to 7mers, and identify specific 7mers from other species that could be more sensitive to aggressive human cancers, such as liver cancer.


title: Lower bound for cyclic sums of Diananda type

abstract: Let $C=\inf (k/n)\sum_{i=1}^n x_i(x_{i+1}+\dots+x_{i+k})^{-1}$, where the infimum is taken over all pairs of integers $n\geq k\geq 1$ and all positive $x_1,\dots,x_{n+k}$ subject to cyclicity assumption $x_{n+i}=x_i$, $i=1,\dots,k$. We prove that $\ln 2\leq C< 0.9305$. In the definition of the constant $C$ the operation $\inf_k\inf_n\inf_{\mathbf{x}}$ can be replaced by $\lim_{k\to\infty}\lim_{n\to\infty}\inf_{\mathbf{x}}$.


title: Time Evolution of the Growth of Single Graphene Crystals and High Resolution Isotope Labeling

abstract: We developed a method of precise isotope labeling to visualize the continuous growth of graphene by chemical vapor deposition (CVD). This method allows us to see in real time the growth of graphene monocrystals at a resolution of a few seconds. This technique is used to extract the anisotropic growth rates, the formation of dendrites, and the dependence on adsorption area of methane on copper. We obtain a physical picture of the growth dynamics of graphene and its dependence on various parameters. Finally, our method is relevant to other CVD grown materials.


title: On the Index of a Non-Fredholm Model Operator

abstract: Let $\{A(t)\}_{t \in \mathbb{R}}$ be a path of self-adjoint Fredholm operators in a Hilbert space $\mathcal{H}$, joining endpoints $A_\pm$ as $t \to \pm \infty$. Computing the index of the operator $D_A= (d/d t) + A$ acting in $L^2(\mathbb{R}; \mathcal{H})$, where $A = \int_{\mathbb{R}}^{\oplus} dt \, A(t)$, and its relation to spectral flow along this path, has a long history. While most of the latter focuses on the case where $A(t)$ all have purely discrete spectrum, we now particularly study situations permitting essential spectra. Introducing $H_1={D_A}^* D_A$ and $H_2=D_A {D_A}^*$, we consider spectral shift functions $\xi(\, \cdot \,; A_+, A_-)$ and $\xi(\, \cdot \, ; H_2, H_1)$ associated with the pairs $(A_+, A_-)$ and $(H_2,H_1)$. Assuming $A_+$ to be a relatively trace class perturbation of $A_-$ and $A_{\pm}$ to be Fredholm, the value $\xi(0; A_-, A_+)$ was shown in [14] to represent the spectral flow along the path $\{A(t)\}_{t\in \mathbb{R}}$ while that of $\xi(0_+; H_1,H_2)$ yields the Fredholm index of $D_A$. The fact, proved in [14], that these values of the two spectral functions are equal, resolves the index = spectral flow question in this case. When the path $\{A(t)\}_{t \in \mathbb{R}}$ consists of differential operators, the relatively trace class perturbation assumption is violated. The simplest assumption that applies (to differential operators in (1+1)-dimensions) is a relatively Hilbert-Schmidt perturbation. This is not just an incremental improvement. In fact, the approximation method we employ here to make this extension is of interest in any dimension. Moreover we consider $A_\pm$ which are not necessarily Fredholm and we establish that the relationships between the two spectral shift functions for the pairs $(A_+, A_-)$ and $(H_2,H_1)$ found in all of the previous papers [9], [14], and [22] can be proved in the non-Fredholm case.


title: Non-Enzymatic Graphene-Based Biosensors for Continuous Glucose Monitoring

abstract: A novel mediator-free, non-enzymatic electrochemical sensor, based on a graphene-Schottky junction, was fabricated for glucose detection. The sensor offers a promising alternative to the conventional enzyme-catalyzed electrochemical continuous glucose monitoring systems (CGM), as it overcomes many of the drawbacks attributed to the enzymatic nature; namely, irreversibility, drift, and interference with body fluids, which affect their accuracy, reliability and longevity. Enhanced performance of the sensors is demonstrated through the band interaction at the graphene-Schottky junction, which yields stronger forward/reverse currents in response to 50 {\mu}L glucose drop. Under optimized conditions, the linear response of the sensor to glucose concentration was valid in the range from 0 to 15 mmol/L with a detection limit of 0.5 mmol/L. The results indicated that the proposed sensor provided a highly sensitive, more facile method with good reproducibility for continuous glucose detection.


title: A generalization of categorification, and higher "theory" of algebras

abstract: We give an introduction to the topics of our forthcoming work, in which we introduce and study new mathematical objects which we call "higher theories" of algebras, where inspiration for the term comes from William Lawvere's notion of "algebraic theory". Indeed, our "theories" are `higher order' generalizations of coloured operad or multicategory, where we see an operad as analogous to Lawvere's theory. Higher theories are obtained by iterating a certain process, which we call "theorization", generalizing categorification in the sense of Louis Crane. The hierarchy of all iterated theorizations contains in particular, the hierarchy of all higher categories. As an expanded introduction to the mentioned work, we here introduce the notion of theorization, discuss basic ideas, notions, examples, facts and problems about theorization, and describe how these lead to our work, and what will be achieved.


title: Dense gas in the Galactic central molecular zone is warm and heated by turbulence

abstract: The Galactic center is the closest region in which we can study star formation under extreme physical conditions like those in high-redshift galaxies. We measure the temperature of the dense gas in the central molecular zone (CMZ) and examine what drives it. We mapped the inner 300 pc of the CMZ in the temperature-sensitive J = 3-2 para-formaldehyde (p-H$_2$CO) transitions. We used the $3_{2,1} - 2_{2,0} / 3_{0,3} - 2_{0,2}$ line ratio to determine the gas temperature in $n \sim 10^4 - 10^5 $cm$^{-3}$ gas. We have produced temperature maps and cubes with 30" and 1 km/s resolution and published all data in FITS form. Dense gas temperatures in the Galactic center range from ~60 K to > 100 K in selected regions. The highest gas temperatures T_G > 100 K are observed around the Sgr B2 cores, in the extended Sgr B2 cloud, the 20 km/s and 50 km/s clouds, and in "The Brick" (G0.253+0.016). We infer an upper limit on the cosmic ray ionization rate ${\zeta}_{CR} < 10^{-14}$ 1/s. The dense molecular gas temperature of the region around our Galactic center is similar to values found in the central regions of other galaxies, in particular starburst systems. The gas temperature is uniformly higher than the dust temperature, confirming that dust is a coolant in the dense gas. Turbulent heating can readily explain the observed temperatures given the observed line widths. Cosmic rays cannot explain the observed variation in gas temperatures, so CMZ dense gas temperatures are not dominated by cosmic ray heating. The gas temperatures previously observed to be high in the inner ~75 pc are confirmed to be high in the entire CMZ.


title: Transition radiation at radio frequencies from ultra-high energy neutrino-induced showers

abstract: Coherent radiation at radio frequencies from high-energy showers fully contained in a dense radio-transparent medium - like ice, salt or regolith - has been extensively investigated as a promising technique to search for ultra-high energy (UHE) neutrinos. Additional emission in the form of transition radiation may occur when a neutrino-induced shower produced close to the Earth surface emerges from the ground into atmospheric air. We present the first detailed evaluation of transition radiation from high-energy showers crossing the boundary between two different media. We found that transition radiation is sizable over a wide solid angle and coherent up to $\sim$ 1 GHz. These properties encourage further work to evaluate the potential of a large-aperture UHE neutrino experiment based on detection of transition radiation.


title: Inverse Amplitude Method for Perturbative Electroweak Symmetry Breaking Sector: The Singlet Higgs Portal as a Study Case

abstract: We explore the use of the Inverse Amplitude Method for unitarization of scattering amplitudes to derive the existence and properties of possible new heavy states associated with perturbative extensions of the electroweak breaking sector of the Standard Model starting from the low energy effective theory. We use a toy effective theory generated by integrating out a heavy singlet scalar and compare the pole mass and width of the unitarized amplitudes with those of the original model. Our results show that the Inverse Amplitude Method reproduces correctly the singlet mass up to factors of O(1-3), but its width is overestimated.


title: Early ultraviolet signatures from the interaction of Type Ia supernova ejecta with a stellar companion

abstract: The progenitors of SNe Ia are not yet fully understood. The two leading progenitor scenarios are the single-degenerate (SD) scenario and the double-degenerate scenario. In the SD scenario, the collision of the SN Ia ejecta with its companion star is expected to produce detectable ultraviolet (UV) emission in the first few days after the SN explosion within certain viewing angles. A strong UV flash has recently been detected in an SN 2002es-like peculiar SN Ia iPTF14atg by Cao et al., which is interpreted as evidence of an early-time UV signature due to SN ejecta interacting with its companion star, supporting the SD scenario. In this paper, we present the expected luminosity distributions of early-time UV emission arising from SN Ia ejecta-companion interaction by performing binary population synthesis calculations for different progenitor systems in the SD scenario. Our theoretical predictions will be helpful for future early-time observations of SNe Ia to constrain their possible progenitors. Assuming the observed strong UV pulse of iPTF14atg was indeed produced by the SN ejecta-companion interaction, our population synthesis model suggests that the progenitor system of iPTF14atg is most likely a red-giant donor binary system, and it is unlikely to have been a main-sequence or helium-star donor system.


title: Global constraints on vector-like WIMP effective interactions

abstract: In this work we combine information from relic abundance, direct detection, cosmic microwave background, positron fraction, gamma rays, and colliders to explore the existing constraints on couplings between Dark Matter and Standard Model constituents when no underlying model or correlation is assumed. For definiteness, we include independent vector-like effective interactions for each Standard Model fermion. Our results show that low Dark Matter masses below 20 GeV are disfavoured at the $3 \sigma$ level with respect to higher masses, due to the tension between the relic abundance requirement and upper constraints on the Dark Matter couplings. Furthermore, large couplings are typically only allowed in combinations which avoid effective couplings to the nuclei used in direct detection experiments.


title: The Progenitor of the Type IIb SN 2008ax Revisited

abstract: Hubble Space Telescope observations of the site of the supernova (SN) 2008ax obtained in 2011 and 2013 reveal that the possible progenitor object detected in pre-explosion images was in fact multiple. Four point sources are resolved in the new, higher-resolution images. We identify one of the sources with the fading SN. The other three objects are consistent with single supergiant stars. We conclude that their light contaminated the previously identified progenitor candidate. After subtraction of these stars, the progenitor appears to be significantly fainter and bluer than previously measured. Post-explosion photometry at the SN location indicates that the progenitor object has disappeared. If single, the progenitor is compatible with a supergiant star of B to mid-A spectral type, while a Wolf-Rayet (WR) star would be too luminous in the ultraviolet to account for the observations. Moreover, our hydrodynamical modelling shows the pre-explosion mass was $4-5$ $M_\odot$ and the radius was $30-50$ $R_\odot$, which is incompatible with a WR progenitor. We present a possible interacting binary progenitor computed with our evolutionary models that reproduces all the observational evidence. A companion star as luminous as an O9-B0 main-sequence star may have remained after the explosion.


title: Simulating the Large-Scale Structure of HI Intensity Maps

abstract: Intensity mapping of neutral hydrogen (HI) is a promising observational probe of cosmology and large-scale structure. We present wide field simulations of HI intensity maps based on N-body simulations of a $2.6\, {\rm Gpc / h}$ box with $2048^3$ particles (particle mass $1.6 \times 10^{11}\, {\rm M_\odot / h}$). Using a conditional mass function to populate the simulated dark matter density field with halos below the mass resolution of the simulation ($10^{8}\, {\rm M_\odot / h} < M_{\rm halo} < 10^{13}\, {\rm M_\odot / h}$), we assign HI to those halos according to a phenomenological halo to HI mass relation. The simulations span a redshift range of 0.35 < z < 0.9 in redshift bins of width $\Delta z \approx 0.05$ and cover a quarter of the sky at an angular resolution of about 7'. We use the simulated intensity maps to study the impact of non-linear effects and redshift space distortions on the angular clustering of HI. Focusing on the autocorrelations of the maps, we apply and compare several estimators for the angular power spectrum and its covariance. We verify that these estimators agree with analytic predictions on large scales and study the validity of approximations based on Gaussian random fields, particularly in the context of the covariance. We discuss how our results and the simulated maps can be useful for planning and interpreting future HI intensity mapping surveys.


title: An Activity-Rotation Relationship and Kinematic Analysis of Nearby Mid-to-Late-type M Dwarfs

abstract: Using spectroscopic observations and photometric light curves of 238 nearby M dwarfs from the MEarth exoplanet transit survey, we examine the relationships between magnetic activity (quantified by H-alpha emission), rotation period, and stellar age. Previous attempts to investigate the relationship between magnetic activity and rotation in these stars were hampered by the limited number of M dwarfs with measured rotation periods (and the fact that vsini measurements probe only rapid rotation). However, the photometric data from MEarth allows us to probe a wide range of rotation periods for hundreds of M dwarf stars (from shorter than than one to longer than 100 days). Over all M spectral types that we probe, we find that the presence of magnetic activity is tied to rotation, including for late-type, fully convective M dwarfs. We also find evidence that the fraction of late-type M dwarfs that are active may be higher at longer rotation periods compared to their early-type counterparts, with several active, late-type, slowly rotating stars present in our sample. Additionally, we find that all M dwarfs with rotation periods shorter than 26 days (early-type; M1-M4) and 86 days (late-type; M5-M8) are magnetically active. This potential mismatch suggests that the physical mechanisms that connect stellar rotation to chromospheric heating may be different in fully convective stars. A kinematic analysis suggests that the magnetically active, rapidly rotating stars are consistent with a kinematically young population, while slow-rotators are less active or inactive and appear to belong to an older, dynamically heated stellar population.


title: Runaway M Dwarf Candidates from the Sloan Digital Sky Survey

abstract: We present a sample of 20 runaway M dwarf candidates (RdMs) within 1 kpc of the Sun whose Galactocentric velocities exceed 400 km s$^{-1}$. The candidates were selected from the SDSS DR7 M Dwarf Catalog of West et al. (2011). Our RdMs have SDSS+USNO-B proper motions that are consistent with those recorded in the PPMXL, LSPM, and combined WISE+SDSS+2MASS catalogs. Sixteen RdMs are classified as dwarfs, while the remaining four RdMs are subdwarfs. We model the Galactic potential using a bulge-disk-halo profile (Kenyon et al. 2008; Brown et al. 2014). Our fastest RdM, with Galactocentric velocity 658.5 $\pm$ 236.9 km s$^{-1}$, is a possible hypervelocity candidate, as it is unbound in 77% of our simulations. About half of our RdMs have kinematics that are consistent with ejection from the Galactic center. Seven of our RdMs have kinematics consistent with an ejection scenario from M31 or M32 to within 2{\sigma}, although our distance-limited survey makes such a realization unlikely. No more than four of our RdMs may have originated from the Leo stream. We propose that to within measurement errors, most of our bound RdMs are likely disk runaways or halo objects, and may have been accelerated through a series of multi-body interactions within the Galactic disk or possibly supernovae explosions.


title: Extra-galactic high-energy transients: event rate densities and luminosity functions

abstract: Several types of extra-galactic high-energy transients have been discovered, which include high-luminosity and low-luminosity long-duration gamma-ray bursts (GRBs), short-duration GRBs, supernova shock breakouts (SBOs), and tidal disruption events (TDEs) without or with an associated relativistic jet. In this paper, we apply a unified method to systematically study the redshift-dependent event rate densities and the global luminosity functions (ignoring redshift evolution) of these transients. We introduce some empirical formulae for the redshift-dependent event rate densities for different types of transients, and derive the local specific event rate density, which also represents its global luminosity function. Long GRBs have a large enough sample to reveal features in the global luminosity function, which is best characterized as a triple power law. All the other transients are consistent with having a single power law luminosity function. The total event rate density depends on the minimum luminosity, and we obtain the following values in units of ${\rm Gpc^{-3}~yr^{-1}}$: $0.8^{+0.1}_{-0.1}$ for high-luminosity long GRBs above $ 10^{50}~{\rm erg~s^{-1}}$, $164^{+98}_{-65}$ for low-luminosity long GRBs above $5\times 10^{46}~{\rm erg~s^{-1}}$, $1.3^{+0.4}_{-0.3}$, $1.2^{+0.4}_{-0.3}$, and $3.3^{+1.0}_{-0.8}$ above $ 10^{50}~ {\rm erg~s^{-1}}$ for short GRBs with three different merger delay models (Gaussian, log-normal, and power law), $1.9^{+2.4}_{-1.2}\times 10^4$ above $ 10^{44}~{\rm erg~s^{-1}}$ for SBOs, $ 4.8^{+3.2}_{-2.1}\times10^2 $ for normal TDEs above $10^{44}~ {\rm erg~s^{-1}}$, and $0.03^{+0.04}_{-0.02}$ above $ 10^{48}~ {\rm erg~s^{-1}}$ for TDE jets as discovered by Swift. Intriguingly, the global luminosity functions of different kinds of transients, which cover over 12 orders of magnitude, are consistent with a single power law with an index of -1.6.


title: Cold gas and a Milky Way-type 2175 {\AA} bump in a metal-rich and highly depleted absorption system

abstract: We report the detection of a strong Milky Way-type 2175 \AA$ $ extinction bump at $z$ = 2.1166 in the quasar spectrum towards SDSS J121143.42+083349.7 from the Sloan Digital Sky Survey (SDSS) Data Release 10. We conduct follow up observations with the Echelle Spectrograph and Imager (ESI) onboard the Keck-II telescope and the Ultraviolet and Visual Echelle Spectrograph (UVES) on the VLT. This 2175 \AA$ $ absorber is remarkable in that we simultaneously detect neutral carbon (C I), neutral chlorine (Cl I), and carbon monoxide (CO). It also qualifies as a damped Lyman alpha system. The J1211+0833 absorber is found to be metal-rich and has a dust depletion pattern resembling that of the Milky Way disk clouds. We use the column densities of the C I fine structure states and the C II/C I ratio (under the assumption of ionization equilibrium) to derive the temperature and volume density in the absorbing gas. A Cloudy photoionization model is constructed, which utilizes additional atoms/ions to constrain the physical conditions. The inferred physical conditions are consistent with a canonical cold (T $\sim$ 100 K) neutral medium with a high density ($n$(H I) $\sim$ 100 cm$^{-3}$) and a slightly higher pressure than the local interstellar medium. Given the simultaneous presence of C I, CO, and the 2175 \AA$ $ bump, combined with the high metallicity, high dust depletion level and overall low ionization state of the gas, the absorber towards J1211+0833 supports the scenario that the presence of the bump requires an evolved stellar population.


title: On Iwahori-Whittaker Functions for Metaplectic Groups

abstract: We relate Iwahori-Whittaker functions on metaplectic covers to certain Demazure-Lusztig operators, the latter of which are built from a Weyl group action previously considered by G. Chinta and P. Gunnells. Using a certain combinatorial identity for the sum of these Demazure-Lusztig operators, we obtain an analogue of the Casselman-Shalika formula for spherical Whittaker functions in this context.


title: The vector graph and the chromatic number of the plane, or how NOT to prove that $\chi(\mathbb{E}^2)>4$

abstract: The chromatic number $\chi\left(\mathcal{E^2}\right)$ of the plane is known to be some integer between 4 and 7, inclusive. We prove a limiting result that says, roughly, that one cannot increase the lower bound on $\chi\left(\mathcal{E^2}\right)$ by pasting Moser Spindles together, even countably many.


title: Inter-Layer Per-Mobile Optimization of Cloud Mobile Computing: A Message-Passing Approach

abstract: Cloud mobile computing enables the offloading of computation-intensive applications from a mobile device to a cloud processor via a wireless interface. In light of the strong interplay between offloading decisions at the application layer and physical-layer parameters, which determine the energy and latency associated with the mobile-cloud communication, this paper investigates the inter-layer optimization of fine-grained task offloading across both layers. In prior art, this problem was formulated, under a serial implementation of processing and communication, as a mixed integer program, entailing a complexity that is exponential in the number of tasks. In this work, instead, algorithmic solutions are proposed that leverage the structure of the call graphs of typical applications by means of message passing on the call graph, under both serial and parallel implementations of processing and communication. For call trees, the proposed solutions have a linear complexity in the number of tasks, and efficient extensions are presented for more general call graphs that include "map" and "reduce"-type tasks. Moreover, the proposed schemes are optimal for the serial implementation, and provide principled heuristics for the parallel implementation. Extensive numerical results yield insights into the impact of inter-layer optimization and on the comparison of the two implementations.


title: Higgs-Strahlung: Merging the NLO Drell-Yan and Loop-Induced 0+1 jet Multiplicities

abstract: We analyse the production of a Higgs boson in association with a Z boson at hadron colliders in the Standard Model and some simple extensions. We show how multi-jet merging algorithms at leading and next-to-leading order for the loop-induced gluon fusion and the Drell-Yan like quark-induced processes, respectively, improve the descriptions for various differential distributions, in particular those that involve the production of additional jets. The phenomenological studies focus on two relevant channels of Higgs boson decays, namely $H\rightarrow invisible$ and $H\rightarrow b\bar{b}$. We find sizable and phenomenologically relevant corrections to the transverse momentum and invariant mass distributions for the Higgs boson candidate. Thanks to the large destructive interference for the top Yukawa terms, this process is very sensitive to the magnitude and sign of a possible non-standard top-Higgs coupling. We analyse the impact of this anomalous interaction on distributions and estimate constraints from LHC Run II.


title: Direct Detection of sub-GeV Dark Matter with Semiconductor Targets

abstract: Dark matter in the sub-GeV mass range is a theoretically motivated but largely unexplored paradigm. Such light masses are out of reach for conventional nuclear recoil direct detection experiments, but may be detected through the small ionization signals caused by dark matter-electron scattering. Semiconductors are well-studied and are particularly promising target materials because their ${\cal O}(1~\rm{eV})$ band gaps allow for ionization signals from dark matter as light as a few hundred keV. Current direct detection technologies are being adapted for dark matter-electron scattering. In this paper, we provide the theoretical calculations for dark matter-electron scattering rate in semiconductors, overcoming several complications that stem from the many-body nature of the problem. We use density functional theory to numerically calculate the rates for dark matter-electron scattering in silicon and germanium, and estimate the sensitivity for upcoming experiments such as DAMIC and SuperCDMS. We find that the reach for these upcoming experiments has the potential to be orders of magnitude beyond current direct detection constraints and that sub-GeV dark matter has a sizable modulation signal. We also give the first direct detection limits on sub-GeV dark matter from its scattering off electrons in a semiconductor target (silicon) based on published results from DAMIC. We make available publicly our code, QEdark, with which we calculate our results. Our results can be used by experimental collaborations to calculate their own sensitivities based on their specific setup. The searches we propose will probe vast new regions of unexplored dark matter model and parameter space.


title: Better Document-level Sentiment Analysis from RST Discourse Parsing

abstract: Discourse structure is the hidden link between surface features and document-level properties, such as sentiment polarity. We show that the discourse analyses produced by Rhetorical Structure Theory (RST) parsers can improve document-level sentiment analysis, via composition of local information up the discourse tree. First, we show that reweighting discourse units according to their position in a dependency representation of the rhetorical structure can yield substantial improvements on lexicon-based sentiment analysis. Next, we present a recursive neural network over the RST structure, which offers significant improvements over classification-based methods.


title: K-Means Fingerprint Clustering for Low-Complexity Floor Estimation in Indoor Mobile Localization

abstract: Indoor localization in multi-floor buildings is an important research problem. Finding the correct floor, in a fast and efficient manner, in a shopping mall or an unknown university building can save the users' search time and can enable a myriad of Location Based Services in the future. One of the most widely spread techniques for floor estimation in multi-floor buildings is the fingerprinting-based localization using Received Signal Strength (RSS) measurements coming from indoor networks, such as WLAN and BLE. The clear advantage of RSS-based floor estimation is its ease of implementation on a multitude of mobile devices at the Application Programming Interface (API) level, because RSS values are directly accessible through API interface. However, the downside of a fingerprinting approach, especially for large-scale floor estimation and positioning solutions, is their need to store and transmit a huge amount of fingerprinting data. The problem becomes more severe when the localization is intended to be done on mobile devices which have limited memory, power, and computational resources. An alternative floor estimation method, which has lower complexity and is faster than the fingerprinting is the Weighted Centroid Localization (WCL) method. The trade-off is however paid in terms of a lower accuracy than the one obtained with traditional fingerprinting with Nearest Neighbour (NN) estimates. In this paper a novel K-means-based method for floor estimation via fingerprint clustering of WiFi and various other positioning sensor outputs is introduced. Our method achieves a floor estimation accuracy close to the one with NN fingerprinting, while significantly improves the complexity and the speed of the floor detection algorithm. The decrease in the database size is achieved through storing and transmitting only the cluster heads (CH's) and their corresponding floor labels.


title: Far points and discretely generated spaces

abstract: We give a partial solution to a question by Alas, Junqueria and Wilson by proving that under PFA the one-point compactification of a locally compact, discretely generated and countably tight space is also discretely generated. After this, we study the cardinal number given by the smallest possible character of remote and far sets of separable metrizable spaces. Finally, we prove that in some cases a countable space has far points.


title: Object Recognition from Short Videos for Robotic Perception

abstract: Deep neural networks have become the primary learning technique for object recognition. Videos, unlike still images, are temporally coherent which makes the application of deep networks non-trivial. Here, we investigate how motion can aid object recognition in short videos. Our approach is based on Long Short-Term Memory (LSTM) deep networks. Unlike previous applications of LSTMs, we implement each gate as a convolution. We show that convolutional-based LSTM models are capable of learning motion dependencies and are able to improve the recognition accuracy when more frames in a sequence are available. We evaluate our approach on the Washington RGBD Object dataset and on the Washington RGBD Scenes dataset. Our approach outperforms deep nets applied to still images and sets a new state-of-the-art in this domain.


title: On hyperbolic systems with time dependent H\"older characteristics

abstract: In this paper we study the well-posedness of weakly hyperbolic systems with time dependent coefficients. We assume that the eigenvalues are low regular, in the sense that they are H\"older with respect to $t$. In the past these kind of systems have been investigated by Yuzawa \cite{Yu:05} and Kajitani \cite{KY:06} by employing semigroup techniques (Tanabe-Sobolevski method). Here, under a certain uniform property of the eigenvalues, we improve the Gevrey well-posedness result of \cite{Yu:05} and we obtain well-posedness in spaces of ultradistributions as well. Our main idea is a reduction of the system to block Sylvester form and then the formulation of suitable energy estimates inspired by the treatment of scalar equations in \cite{GR:11}


title: A nonlinear aggregation type classifier

abstract: We introduce a nonlinear aggregation type classifier for functional data defined on a separable and complete metric space. The new rule is built up from a collection of $M$ arbitrary training classifiers. If the classifiers are consistent, then so is the aggregation rule. Moreover, asymptotically the aggregation rule behaves as well as the best of the $M$ classifiers. The results of a small simulation are reported both, for high dimensional and functional data, and a real data example is analyzed.


title: Stationary measure of the driven two-dimensional q-Whittaker particle system on the torus

abstract: We consider a q-deformed version of the uniform Gibbs measure on dimers on the periodized hexagonal lattice (equivalently, on interlacing particle configurations, if vertical dimers are seen as particles) and show that it is invariant under a certain irreversible q-Whittaker dynamic. Thereby we provide a new non-trivial example of driven interacting two-dimensional particle system, or of (2+1)-dimensional stochastic growth model, with explicit stationary measure. We emphasize that this measure is far from being a product Bernoulli measure. These Gibbs measures and dynamics both arose earlier in the theory of Macdonald processes. The q=0 degeneration of the Gibbs measures reduce to the usual uniform dimer measures with given tilt, the degeneration of the dynamics originate in the study of Schur processes and the degeneration of the results contained herein were recently treated in work of the second author.

categories: math.PR cond-mat.stat-mech math-ph math.MP


title: Pati-Salam Unification from Non-commutative Geometry and the TeV-scale $W_R$ boson

abstract: We analyze the compatibility of the unified left-right symmetric Pati-Salam models motivated by non-commutative geometry and the TeV scale right-handed W boson suggested by recent LHC data. We find that the unification/matching conditions place conflicting demands on the symmetry breaking scales and that generating the required W_R mass and coupling is non-trivial.


title: Real analytic counterexample to the freeness conjecture

abstract: We provide a counterexample to P.~Olver's freeness conjecture for $C^\omega$ transformations.


title: Network Structure and Resilience of Mafia Syndicates

abstract: In this paper we present the results of the study of Sicilian Mafia organization by using Social Network Analysis. The study investigates the network structure of a Mafia organization, describing its evolution and highlighting its plasticity to interventions targeting membership and its resilience to disruption caused by police operations. We analyze two different datasets about Mafia gangs built by examining different digital trails and judicial documents spanning a period of ten years: the former dataset includes the phone contacts among suspected individuals, the latter is constituted by the relationships among individuals actively involved in various criminal offenses. Our report illustrates the limits of traditional investigation methods like tapping: criminals high up in the organization hierarchy do not occupy the most central positions in the criminal network, and oftentimes do not appear in the reconstructed criminal network at all. However, we also suggest possible strategies of intervention, as we show that although criminal networks (i.e., the network encoding mobsters and crime relationships) are extremely resilient to different kind of attacks, contact networks (i.e., the network reporting suspects and reciprocated phone calls) are much more vulnerable and their analysis can yield extremely valuable insights.


title: Freeness in higher order frame bundles

abstract: We provide counterexamples to P. Olver's freeness conjecture for $C^\infty$ actions. In fact, we show that a counterexample exists for any connected real Lie group with noncompact center, as well as for the additive group of the integers.


title: Thermo-magnetic behavior of the quark-gluon vertex

abstract: The thermo-magnetic corrections to the quark-gluon vertex in the presence of a weak magnetic field are calculated in the frame of the Hard Thermal Loop approximation. The vertex satisfies a QED-like Ward identity with the quark self-energy calculated within the same approximation. It turns out that only the longitudinal vertex components get modified. The calculation provides a first principles result for the quark anomalous magnetic moment at high temperature in a weak magnetic field. The effective thermo-magnetic quark-gluon coupling shows a decreasing behavior as function of the field strength. This result supports the observation that the behavior of the effective quark-gluon coupling in the presence of a magnetic field is an important ingredient in order to understand the inverse magnetic catalysis phenomenon recently observed in the lattice QCD simulations.


title: Power Law Liquid - A Unified Form of Low-Energy Nodal Electronic Interactions in Hole Doped Cuprate Superconductors

abstract: The strange-metal phase of the cuprate high temperature superconductors, above where the superconductivity sets in as a function of temperature, is widely considered more exotic and mysterious than the superconductivity itself. Here, based upon detailed angle resolved photoemission spectroscopy measurements of Bi$_2$Sr$_2$CaCu$_2$O$_8$$_+$$_\delta$ over a wide range of doping levels, we present a new unifying phenomenology for the non-Fermi liquid normal-state interactions (scattering rates) in the nodal direction. This new phenomenology has a continuously varying power law exponent (hence named a Power Law Liquid or PLL), which with doping varies smoothly from a quadratic Fermi Liquid to a linear Marginal Fermi Liquid and beyond. Using the extracted PLL parameters we can calculate the optics and resistivity over a wide range of doping and normal-state temperature values, with the results closely matching the experimental curves. This agreement includes the presence of the $"$pseudogap$"$ temperature scale observed in the resistivity curves including the apparent quantum critical point. This breaks the direct link to the pseudogapping of antinodal spectral weight observed at similar (but here argued to be different) temperature scales, and also gives a new direction for searches of the microscopic mechanism at the heart of these and perhaps many other non-Fermi-liquid systems.


title: Computational design of high performance hybrid perovskite on silicon tandem solar cells

abstract: In this study, the optoelectronic properties of a monolithically integrated series-connected tandem solar cell are simulated. Following the large success of hybrid organic-inorganic perovskites, which have recently demonstrated large efficiencies with low production costs, we examine the possibility of using the same perovskites as absorbers in a tandem solar cell. The cell consists in a methylammonium mixed bromide-iodide lead perovskite, CH3NH3PbI3(1-x)Br3x (0 < x < 1), top sub-cell and a single-crystalline silicon bottom sub-cell. A Si-based tunnel junction connects the two sub-cells. Numerical simulations are based on a one-dimensional numerical drift-diffusion model. It is shown that a top cell absorbing material with 20% of bromide and a thickness in the 300-400 nm range affords current matching with the silicon bottom cell. Good interconnection between single cells is ensured by standard n and p doping of the silicon at 5.10^19cm-3 in the tunnel junction. A maximum efficiency of 27% is predicted for the tandem cell, exceeding the efficiencies of stand-alone silicon (17.3%) and perovskite cells (17.9%) taken for our simulations, and more importantly, that of the record crystalline Si cells.


title: Polariton waveguides from a quantum dot chain in a nanowire photonic crystal: an architecture for quantum information science and waveguide QED

abstract: We introduce a polariton-waveguide structure, comprised of a nanowire-based photonic crystal waveguide with a quantum dot embedded in each unit cell. Using realistic designs and parameters, we derive and calculate the fundamental electromagnetic properties of these polariton waveguides, with an emphasis on the photon Green function and local optical density of states (LDOS). Both infinite and finite-size waveguides are considered, where the latter's properties are calculated using a Dyson equation approach without any approximations. We demonstrate dramatic increases, and rich fundamental control, of the LDOS due to strong light-matter interactions in each unit cell through periodic quantum dot interactions. Consequently, these structures allow the exploration of new regimes of waveguide quantum electrodynamics. As an example application, we consider the coupling of an external target quantum dot with a finite-sized polariton waveguide, and show that the single quantum dot strong coupling regime is easily accessible, even for modest dipole strengths.


title: Index statistical properties of sparse random graphs

abstract: Using the replica method, we develop an analytical approach to compute the characteristic function for the probability $\mathcal{P}_N(K,\lambda)$ that a large $N \times N$ adjacency matrix of sparse random graphs has $K$ eigenvalues below a threshold $\lambda$. The method allows to determine, in principle, all moments of $\mathcal{P}_N(K,\lambda)$, from which the typical sample to sample fluctuations can be fully characterized. For random graph models with localized eigenvectors, we show that the index variance scales linearly with $N \gg 1$ for $|\lambda| > 0$, with a model-dependent prefactor that can be exactly calculated. Explicit results are discussed for Erd\"os-R\'enyi and regular random graphs, both exhibiting a prefactor with a non-monotonic behavior as a function of $\lambda$. These results contrast with rotationally invariant random matrices, where the index variance scales only as $\ln N$, with an universal prefactor that is independent of $\lambda$. Numerical diagonalization results confirm the exactness of our approach and, in addition, strongly support the Gaussian nature of the index fluctuations.

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


title: The Center of Light: Spectroastrometric Detection of Exomoons

abstract: Direct imaging of extrasolar planets with future space-based coronagraphic telescopes may provide a means of detecting companion moons at wavelengths where the moon outshines the planet. We propose a detection strategy based on the positional variation of the center of light with wavelength, "spectroastrometry." This new application of this technique could be used to detect an exomoon, to determine the exomoon's orbit and the mass of the host exoplanet, and to disentangle of the spectra of the planet and moon. We consider two model systems, for which we discuss the requirements for detection of exomoons around nearby stars. We simulate the characterization of an Earth-Moon analog system with spectroastrometry, showing that the orbit, the planet mass, and the spectra of both bodies can be recovered. To enable the detection and characterization of exomoons we recommend that coronagraphic telescopes should extend in wavelength coverage to 3 micron, and should be designed with spectroastrometric requirements in mind.


title: The first order correction to the exit distribution for some random walks

abstract: We study three different random walk models on several two-dimensional lattices by Monte Carlo simulations. One is the usual nearest neighbor random walk. Another is the nearest neighbor random walk which is not allowed to backtrack. The final model is the smart kinetic walk. For all three of these models the distribution of the point where the walk exits a simply connected domain $D$ in the plane converges weakly to harmonic measure on $\partial D$ as the lattice spacing $\delta \rightarrow 0$. Let $\omega(0,|dz|;D)$ be harmonic measure for $D$, and let $\omega_\delta(0,|dz|;D)$ be the discrete harmonic measure for one of the random walk models. Our definition of the random walk models is unusual in that we average over the orientation of the lattice with respect to the domain. We are interested in the limit of $(\omega_\delta(0,|dz|;D)- \omega(0,|dz|;D))/\delta$. Our Monte Carlo simulations of the three models lead to the conjecture that this limit equals $c_{M,L} \, \rho_D(z) |dz|$, where the function $\rho_D(z)$ depends on the domain, but not on the model or lattice, and the constant $c_{M,L}$ depends on the model and on the lattice, but not on the domain. So there is a form of universality for this first order correction. We also give an explicit formula for the conjectured density $\rho_D$.


title: Hybrid Group IV Nanophotonic Structures Incorporating Diamond Silicon-Vacancy Color Centers

abstract: We demonstrate a new approach for engineering group IV semiconductor-based quantum photonic structures containing negatively charged silicon-vacancy (SiV$^-$) color centers in diamond as quantum emitters. Hybrid SiC/diamond structures are realized by combining the growth of nanoand micro-diamonds on silicon carbide (3C or 4H polytype) substrates, with the subsequent use of these diamond crystals as a hard mask for pattern transfer. SiV$^-$ color centers are incorporated in diamond during its synthesis from molecular diamond seeds (diamondoids), with no need for ionimplantation or annealing. We show that the same growth technique can be used to grow a diamond layer controllably doped with SiV$^-$ on top of a high purity bulk diamond, in which we subsequently fabricate nanopillar arrays containing high quality SiV$^-$ centers. Scanning confocal photoluminescence measurements reveal optically active SiV$^-$ lines both at room temperature and low temperature (5 K) from all fabricated structures, and, in particular, very narrow linewidths and small inhomogeneous broadening of SiV$^-$ lines from all-diamond nano-pillar arrays, which is a critical requirement for quantum computation. At low temperatures (5 K) we observe in these structures the signature typical of SiV$^-$ centers in bulk diamond, consistent with a double lambda. These results indicate that high quality color centers can be incorporated into nanophotonic structures synthetically with properties equivalent to those in bulk diamond, thereby opening opportunities for applications in classical and quantum information processing.


title: Efficient Sampling for k-Determinantal Point Processes

abstract: Determinantal Point Processes (DPPs) are elegant probabilistic models of repulsion and diversity over discrete sets of items. But their applicability to large sets is hindered by expensive cubic-complexity matrix operations for basic tasks such as sampling. In light of this, we propose a new method for approximate sampling from discrete $k$-DPPs. Our method takes advantage of the diversity property of subsets sampled from a DPP, and proceeds in two stages: first it constructs coresets for the ground set of items; thereafter, it efficiently samples subsets based on the constructed coresets. As opposed to previous approaches, our algorithm aims to minimize the total variation distance to the original distribution. Experiments on both synthetic and real datasets indicate that our sampling algorithm works efficiently on large data sets, and yields more accurate samples than previous approaches.


title: Planar multilayer circuit quantum electrodynamics

abstract: Experimental quantum information processing with superconducting circuits is rapidly advancing, driven by innovation in two classes of devices, one involving planar micro-fabricated (2D) resonators, and the other involving machined three-dimensional (3D) cavities. We demonstrate that circuit quantum electrodynamics can be implemented in a multilayer superconducting structure that combines 2D and 3D advantages. We employ standard micro-fabrication techniques to pattern each layer, and rely on a vacuum gap between the layers to store the electromagnetic energy. Planar qubits are lithographically defined as an aperture in a conducting boundary of the resonators. We demonstrate the aperture concept by implementing an integrated, two cavity-modes, one transmon-qubit system.


title: The Distances to Open Clusters from Main-Sequence Fitting. V. Extension of Color Calibration and Test using Cool and Metal-Rich Stars in NGC 6791

abstract: We extend our effort to calibrate stellar isochrones in the Johnson-Cousins ($BVI_C$) and the 2MASS ($JHK_s$) filter systems based on observations of well-studied open clusters. Using cool main-sequence (MS) stars in Praesepe, we define empirical corrections to the Lejeune et al. color-effective temperature ($T_{\rm eff}$) relations down to $T_{\rm eff} \sim 3600$ K, complementing our previous work based on the Hyades and the Pleiades. We apply empirically corrected isochrones to existing optical and near-infrared photometry of cool ($T_{\rm eff} \leq 5500$ K) and metal-rich ([Fe/H]$=+0.37$) MS stars in NGC 6791. The current methodology relies on an assumption that color-$T_{\rm eff}$ corrections are independent of metallicity, but we find that estimates of color-excess and distance from color-magnitude diagrams with different color indices converge on each other at the precisely known metallicity of the cluster. Along with a satisfactory agreement with eclipsing binary data in the cluster, we view the improved internal consistency as a validation of our calibrated isochrones at super-solar metallicities. For very cool stars ($T_{\rm eff} \leq 4800$ K), however, we find that $B - V$ colors of our models are systematically redder than the cluster photometry by $\sim0.02$ mag. We use color-$T_{\rm eff}$ transformations from the infrared flux method (IRFM) and alternative photometry to examine a potential color-scale error in the input cluster photometry. After excluding $B - V$ photometry of these cool MS stars, we derive $E(B - V)=0.105\pm0.014$, [M/H]$=+0.42\pm0.07$, $(m - M)_0 = 13.04\pm0.08$, and the age of $9.5\pm0.3$ Gyr for NGC 6791.


title: Symmetrizing quantum dynamics beyond gossip-type algorithms

abstract: Recently, consensus-type problems have been formulated in the quantum domain. Obtaining average quantum consensus consists in the dynamical symmetrization of a multipartite quantum system while preserving the expectation of a given global observable. In this paper, two improved ways of obtaining consensus via dissipative engineering are introduced, which employ on quasi local preparation of mixtures of symmetric pure states, and show better performance in terms of purity dynamics with respect to existing algorithms. In addition, the first method can be used in combination with simple control resources in order to engineer pure Dicke states, while the second method guarantees a stronger type of consensus, namely single-measurement consensus. This implies that outcomes of local measurements on different subsystems are perfectly correlated when consensus is achieved. Both dynamics can be randomized and are suitable for feedback implementation.


title: Liftings of Nichols algebras of diagonal type I. Cartan type A

abstract: After the classification of the finite-dimensional Nichols algebras of diagonal type arXiv:math/0411477, arXiv:math/0605795, the determination of its defining relations arXiv:1008.4144, arXiv:1104.0268, and the verification of the generation in degree one conjecture arXiv:1104.0268, there is still one step missing in the classification of complex finite-dimensional Hopf algebras with abelian group, without restrictions on the order of the latter: the computation of all deformations or liftings. A technique towards solving this question was developed in arXiv:1212.5279, built on cocycle deformations. In this paper, we elaborate further and present an explicit algorithm to compute liftings. In our main result we classify all liftings of finite-dimensional Nichols algebras of Cartan type $A$, over a cosemisimple Hopf algebra $H$. This extends arXiv:math/0110136, where it was assumed that the parameter is a root of unity of order $>3$ and that $H$ is a commmutative group algebra. When the parameter is a root of unity of order 2 or 3, new phenomena appear: the quantum Serre relations can be deformed, this allows in turn the power root vectors to be deformed to elements in lower terms of the coradical filtration, but not necessarily in the group algebra. These phenomena are already present in the calculation of the liftings in type $A_2$ at a parameter of order 2 or 3 over an abelian group arXiv:math/0204075, arXiv:1003.5882, done by a different method using a computer program. As a by-product of our calculations, we present new infinite families of finite-dimensional pointed Hopf algebras.


title: Transit timing to first order in eccentricity

abstract: Characterization of transiting planets with transit timing variations (TTVs) requires understanding how to translate the observed TTVs into masses and orbital elements of the planets. This can be challenging in multi-planet transiting systems, but fortunately these systems tend to be nearly plane-parallel and low eccentricity. Here we present a novel derivation of analytic formulae for TTVs that are accurate to first order in the planet-star mass ratios and in the orbital eccentricities. These formulae are accurate in proximity to first order resonances, as well as away from resonance, and compare well with more computationally expensive N-body integrations in the low eccentricity, low mass-ratio regime when applied to simulated and to actual multi-transiting Kepler planet systems. We make code available for implementing these formulae.


title: Chebyshev and Conjugate Gradient Filters for Graph Image Denoising

abstract: In 3D image/video acquisition, different views are often captured with varying noise levels across the views. In this paper, we propose a graph-based image enhancement technique that uses a higher quality view to enhance a degraded view. A depth map is utilized as auxiliary information to match the perspectives of the two views. Our method performs graph-based filtering of the noisy image by directly computing a projection of the image to be filtered onto a lower dimensional Krylov subspace of the graph Laplacian. We discuss two graph spectral denoising methods: first using Chebyshev polynomials, and second using iterations of the conjugate gradient algorithm. Our framework generalizes previously known polynomial graph filters, and we demonstrate through numerical simulations that our proposed technique produces subjectively cleaner images with about 1-3 dB improvement in PSNR over existing polynomial graph filters.


title: Uniform time of existence for the alpha Euler equations

abstract: We consider the $\alpha$-Euler equations on a bounded three-dimensional domain with frictionless Navier boundary conditions. Our main result is the existence of a strong solution on a positive time interval, uniform in $\alpha$, for $\alpha$ sufficiently small. Combined with the convergence result in a previous article by the same authors, this implies convergence of solutions of the $\alpha$-Euler equations to solutions of the incompressible Euler equations when $\alpha \to 0$. In addition, we obtain a new result on local existence of strong solutions for the incompressible Euler equations on bounded three-dimensional domains. The proofs are based on new {\it a priori} estimates in conormal spaces.


title: Character-level Convolutional Networks for Text Classification

abstract: This article offers an empirical exploration on the use of character-level convolutional networks (ConvNets) for text classification. We constructed several large-scale datasets to show that character-level convolutional networks could achieve state-of-the-art or competitive results. Comparisons are offered against traditional models such as bag of words, n-grams and their TFIDF variants, and deep learning models such as word-based ConvNets and recurrent neural networks.


title: The shapes of pure cubic fields

abstract: We determine the shapes of pure cubic fields and show that they fall into two families based on whether the field is wildly or tamely ramified (of Type I or Type II in the sense of Dedekind). We show that the shapes of Type I fields are rectangular and that they are equidistributed, in a regularized sense, when ordered by discriminant, in the one-dimensional space of all rectangular lattices. We do the same for Type II fields, which are however no longer rectangular. We obtain as a corollary of the determination of these shapes that the shape of a pure cubic field is a complete invariant determining the field within the family of all cubic fields.


title: A contact covariant approach to optimal control with applications to sub-Riemannian geometry

abstract: We discuss contact geometry naturally related with optimal control problems (and Pontryagin Maximum Principle). We explore and expand the observations of [Ohsawa, 2015], providing simple and elegant characterizations of normal and abnormal sub-Riemannian extremals.


title: Quantum nondemolition measurement of a nonclassical state of a massive object

abstract: While quantum mechanics exquisitely describes the behavior of microscopic systems, one ongoing challenge is to explore its applicability to systems of larger size and mass. Unfortunately, quantum states of increasingly macroscopic objects are more easily corrupted by unintentional measurements from the classical environment. Additionally, even the intentional measurements from the observer can further perturb the system. In optomechanics, coherent light fields serve as the intermediary between the fragile mechanical states and our inherently classical world by exerting radiation pressure forces and extracting mechanical information. Here we engineer a microwave cavity optomechanical system to stabilize a nonclassical steady-state of motion while independently, continuously, and nondestructively monitoring it. By coupling the motion of an aluminum membrane to two microwave cavities, we separately prepare and measure a squeezed state of motion. We demonstrate a quantum nondemolition (QND) measurement of sub-vacuum mechanical quadrature fluctuations. The techniques developed here have direct applications in the areas of quantum-enhanced sensing and quantum information processing, and could be further extended to more complex quantum states.


title: Optimization and Reoptimization in Scheduling Problems

abstract: Parallel machine scheduling has been extensively studied in the past decades, with applications ranging from production planning to job processing in large computing clusters. In this work we study some of these fundamental optimization problems, as well as their parameterized and reoptimization variants. We first present improved bounds for job scheduling on unrelated parallel machines, with the objective of minimizing the latest completion time (makespan) of the schedule. We consider the subclass of fully-feasible instances, in which the processing time of each job, on any machine, does not exceed the minimum makespan. The problem is known to be hard to approximate within factor 4/3 already in this subclass. Although fully-feasible instances are hard to identify, we give a polynomial time algorithm that yields for such instances a schedule whose makespan is better than twice the optimal, the best known ratio for general instances. Moreover, we show that our result is robust under small violations of feasibility constraints. We further study the power of parameterization. We show that makespan minimization on unrelated machines admits a parameterized approximation scheme, where the parameter used is the number of processing times that are large relative to the latest completion time of the schedule. We also present an FPT algorithm for the graph-balancing problem, which corresponds to the instances of the restricted assignment problem where each job can be processed on at most 2 machines. Finally, motivated by practical scenarios, we initiate the study of reoptimization in job scheduling on identical and uniform machines, with the objective of minimizing the makespan. We develop reapproximation algorithms that yield in both models the best possible approximation ratio of $(1+\epsilon)$, for any $\epsilon >0$, with respect to the minimum makespan.


title: Stochastic gradient variational Bayes for gamma approximating distributions

abstract: While stochastic variational inference is relatively well known for scaling inference in Bayesian probabilistic models, related methods also offer ways to circumnavigate the approximation of analytically intractable expectations. The key challenge in either setting is controlling the variance of gradient estimates: recent work has shown that for continuous latent variables, particularly multivariate Gaussians, this can be achieved by using the gradient of the log posterior. In this paper we apply the same idea to gamma distributed latent variables given gamma variational distributions, enabling straightforward "black box" variational inference in models where sparsity and non-negativity are appropriate. We demonstrate the method on a recently proposed gamma process model for network data, as well as a novel sparse factor analysis. We outperform generic sampling algorithms and the approach of using Gaussian variational distributions on transformed variables.


title: Space Weathering Trends Among Carbonaceous Asteroids

abstract: We present visible spectroscopic and albedo data of the 2.3 Gyr old Themis family and the <10 Myr old Beagle sub-family. The slope and albedo variations between these two families indicate C-complex asteroids become redder and darker in response to space weathering. Our observations of Themis family members confirm previously observed trends where phyllosilicate absorption features are less common among small diameter objects. Similar trends in the albedos of large (> 15 km) and small (< 15 km) Themis members suggest these phyllosilicate feature and albedo trends result from regolith variations as a function of diameter. Observations of the Beagle asteroids show a small, but notable fraction of members with phyllosilicate features. The presence of phyllosilicates and the dynamical association of the main-belt comet 133P/Elst-Pizarro with the Beagle family imply the Beagle parent body was a heterogenous mixture of ice and aqueously altered minerals.


title: Semisimplicity of certain representation categories

abstract: We exhibit a correspondence between subcategories of modules over an algebra and sub-bimodules of the dual of that algebra. We then prove that the semisimplicity of certain such categories is equivalent to the existence of a Peter-Weyl decomposition of the corresponding sub-bimodule. Finally, we use this technique to establish the semisimplicity of certain finite-dimensional representations of the quantum double of sl_2 for generic q.


title: Exotic Elliptic Algebras of dimension 4 (with an Appendix by Derek Tomlin)

abstract: This is a continuation of our previous paper 1502.01744. We examine a class of non-commutative algebras A that depend on an elliptic curve and a translation automorphism of it. They may be defined in terms of the 4-dimensional Sklyanin algebra S that is associated to the same data. The algebra A has the same Hilbert series as the polynomial ring in 4 variables, and there is an associated non-commutative variety, Proj(A), that is a non-commutative analogue of P^3. The structure and representation theory of A, and the geometric properties of Proj(A) are closely related to the geometric properties of E sitting as a quartic curve in P^3. Our main results concern the classification of point modules, fat point modules, line modules, and the incidence relations between them. The line modules are parametrized by a degree 20 curve in the Grassmannian G(1,3) that is a union of 4 disjoint plane conics and 3 disjoint quartic elliptic curves that are isomorphic to E/(t) where t runs over the three 2-torsion points. A finite quantum group related to the Heisenberg group of size 4^3 acts as auto-equivalences of the category of graded A-modules and those quantum symmetries of A play a central role in our analysis.


title: Topology of Fermi Surfaces and anomaly inflows

abstract: We derive a rigorous classification of topologically stable Fermi surfaces of non-interacting, discrete translation-invariant systems from electronic band theory, adiabatic evolution and their topological interpretations. For systems on an infinite crystal it is shown that there can only be topologically unstable Fermi surfaces. For systems on a half- space and with a gapped bulk, our derivation naturally yields a $\mathit{K}$-theory classification. Given the $d-1$-dimensional surface Brillouin zone $\mathrm{X}_{s}$ of a $d$-dimensional half-space, our result implies that different classes of globally stable Fermi surfaces belong in $\mathit{K^{-1}}\mathrm{(X_{s})}$ for systems with only discrete translation-invariance. This result has a chiral anomaly inflow interpretation, as it reduces to the spectral flow for $d = 2$. Through equivariant homotopy methods we extend these results for symmetry classes $AI,\,AII,\, C$ and $D$ and discuss their corresponding anomaly inflow interpretation.

categories: cond-mat.mes-hall cond-mat.supr-con hep-th math-ph math.MP


title: Charged hadrons in local finite-volume QED+QCD with C* boundary conditions

abstract: In order to calculate QED corrections to hadronic physical quantities by means of lattice simulations, a coherent description of electrically-charged states in finite volume is needed. In the usual periodic setup, Gauss's law and large gauge transformations forbid the propagation of electrically-charged states. A possible solution to this problem, which does not violate the axioms of local quantum field theory, has been proposed by Wiese and Polley, and is based on the use of C* boundary conditions. We present a thorough analysis of the properties and symmetries of QED in isolation and QED coupled to QCD, with C* boundary conditions. In particular we learn that a certain class of electrically-charged states can be constructed in this setup in a fully consistent fashion, without relying on gauge fixing. We argue that this class of states covers most of the interesting phenomenological applications in the framework of numerical simulations. We also calculate finite-volume corrections to the mass of stable charged particles and show that these are much smaller than in non-local formulations of QED.


title: Subnanotesla quantum-interference magnetometry with a single spin in diamond

abstract: We demonstrate a magnetometry technique using nitrogen-vacancy centres in diamond which makes use of coherent two-photon transitions. We find that the sensitivity to magnetic fields can be significantly improved in isotopically purified diamond. Furthermore, the long-term stability of magnetic field measurements is significantly enhanced, thereby reducing the minimum detectable long-term field variations for both quasi-static and periodic fields. The method is useful both for sensing applications and as a spin qubit manipulation technique.


title: Multi-year optimization of malaria intervention: a mathematical model

abstract: Malaria is a mosquito-borne, lethal disease that affects millions and kills hundreds of thousands of people each year. In this paper, we develop a model for allocating malaria interventions across geographic regions and time, subject to budget constraints, with the aim of minimizing the number of person-days of malaria infection. The model considers a range of several conditions: climatic characteristics, treatment efficacy, distribution costs, and treatment coverage. We couple an expanded susceptible-infected-recovered (SIR) compartment model for the disease dynamics with an integer linear programming (ILP) model for selecting the disease interventions. Our model produces an intervention plan for all regions, identifying which combination of interventions, with which level of coverage, to use in each region and year in a five-year planning horizon. Simulations using the model yield high-level, qualitative insights on optimal intervention policies: The optimal policy is different when considering a five-year time horizon than when considering only a single year, due to the effects that interventions have on the disease transmission dynamics. The vaccine intervention is rarely selected, except if its assumed cost is significantly lower than that predicted in the literature. Increasing the available budget causes the number of person-days of malaria infection to decrease linearly up to a point, after which the benefit of increased budget starts to taper. The optimal policy is highly dependent on assumptions about mosquito density, selecting different interventions for wet climates with high density than for dry climates with low density, and the interventions are found to be less effective at controlling malaria in the wet climates when attainable intervention coverage is 60% or lower. However, when intervention coverage of 80% is attainable, then malaria prevalence drops quickly.


title: Spin frustration and fermionic entanglement in an exactly solved hybrid diamond chain with the localized Ising spins and mobile electrons

abstract: The strongly correlated spin-electron system on a diamond chain containing localized Ising spins on its nodal lattice sites and mobile electrons on its interstitial sites is exactly solved in a magnetic field using the transfer-matrix method. We have investigated in detail all available ground states, the magnetization processes, the spin-spin correlation functions around an elementary plaquette, fermionic quantum concurrence and spin frustration. It is shown that the fermionic entanglement between mobile electrons hopping on interstitial sites and the kinetically-induced spin frustration are closely related yet independent phenomena. In the ground state, quantum entanglement only appears within a frustrated unsaturated paramagnetic phase, while thermal fluctuations can promote some degree of quantum entanglement above the non-frustrated ground states with saturated paramagnetic or classical ferrimagnetic spin arrangements.


title: The Semiclassical Coherent State Propagator in the Weyl Representation

abstract: It is shown that the semiclassical coherent state propagator takes its simplest form when the quantum mechanical Hamiltonian is replaced by its Weyl symbol in defining the classical action, in that there is then no need of a Solari-Kochetov correction. It is also shown that such a correction exists if a symbol other than the Weyl symbol is chosen, and that its form is different depending on the symbol chosen. The various forms of the propagator based on different symbols are shown to be equivalent provided the correspondingly correct Solari-Kochetov correction is included. All these results are shown for both particle and spin coherent state propagators. The global anomaly in the fluctuation determinant is further elucidated by a study of the connection bewteen the discrete fluctuation determinant and the discrete Jacobi equation.


title: Line segment energy and applications

abstract: In this paper, we compute the derivatives of the line segment energy for a symmetric tensor field and apply them to obtain slightly more general log-concavity estimates for positive solutions of heat equations and first eigenfunctions on bounded strictly convex domains.


title: Knot contact homology detects cabled, composite, and torus knots

abstract: Knot contact homology is an invariant of knots derived from Legendrian contact homology which has numerous connections to the knot group. We use basic properties of knot groups to prove that knot contact homology detects every torus knot. Further, if the knot contact homology of a knot is isomorphic to that of a cable (respectively composite) knot, then the knot is a cable (respectively composite).


title: Direct Measurement of Particle Inertial Migration in Rectangular Microchannels

abstract: Particles traveling at high velocities through microfluidic channels migrate from their starting streamlines due to inertial lift forces. Theories predict different scaling laws for these forces and there is little experimental evidence by which to validate theory. Here we experimentally measure the three dimensional positions and migration velocities of particles. Our experimental method relies on a combination of sub-pixel accurate particle tracking and velocimetric reconstruction of the depth dimension to track thousands of individual particles in three dimensions. We show that there is no simple scaling of inertial forces upon particle size, but that migration velocities agree well with numerical simulations and with a two-term asymptotic theory that contains no unmeasured parameters.


title: Reinforcement Learning with Parameterized Actions

abstract: We introduce a model-free algorithm for learning in Markov decision processes with parameterized actions-discrete actions with continuous parameters. At each step the agent must select both which action to use and which parameters to use with that action. We introduce the Q-PAMDP algorithm for learning in these domains, show that it converges to a local optimum, and compare it to direct policy search in the goal-scoring and Platform domains.


title: Test elements in pro-$p$ groups with applications in discrete groups

abstract: Let $G$ be a group. An element $g \in G$ is called a test element of $G$ if for every endomorphism $\varphi:G \to G$, $\varphi(g)=g$ implies that $\varphi$ is an automorphism. We prove that for a finitely generated profinite group $G$, $g \in G$ is a test element of $G$ if and only if it is not contained in a proper retract of $G$. Using this result we prove that an endomorphism of a free pro-$p$ group of finite rank which preserves an automorphic orbit of a non-trivial element must be an automorphism. We give numerous explicit examples of test elements in free pro-$p$ groups and Demushkin groups. By relating test elements in finitely generated residually finite-$p$ Turner groups to test elements in their pro-$p$ completions, we provide new examples of test elements in free discrete groups and surface groups. Moreover, we prove that the set of test elements of a free discrete group of finite rank is dense in the profinite topology.


title: Aharonov-Bohm phase for an electromagnetic wave background

abstract: The canonical Aharonov-Bohm effect is usually studied with time-independent potentials. In this work, we investigate the Aharonov-Bohm phase acquired by a charged particle moving in {\it time-dependent} potentials . In particular, we focus on the case of a charged particle moving in the time varying field of a plane electromagnetic wave. We work out the Aharonov-Bohm phase using both the potential ({\it i.e.} $\oint A_\mu dx ^\mu$) and field ({\it i.e.} $\frac{1}{2}\int F_{\mu \nu} d \sigma ^{\mu \nu}$) forms of the Aharanov-Bohm phase. We give conditions in terms of the parameters of the system (frequency of the electromagnetic wave, the size of the space-time loop, amplitude of the electromagnetic wave) under which the time varying Aharonov-Bohm effect could be observed.


title: Weak Gravity Conjecture in AdS/CFT

abstract: We study implications of the weak gravity conjecture in the AdS/CFT correspondence. Unlike in Minkowski spacetime, AdS spacetime has a physical length scale, so that the conjecture must be generalized with an additional parameter. We discuss possible generalizations and translate them into the language of dual CFTs, which take the form of inequalities involving the dimension and charge of an operator as well as the current and energy-momentum tensor central charges. We then test these inequalities against various CFTs to see if they are universally obeyed by all the CFTs. We find that certain CFTs, such as supersymmetric QCDs, do not satisfy them even in the large $N$ limit. This does not contradict the conjecture in AdS spacetime because the theories violating them are either unlikely or unclear to have weakly coupled gravitational descriptions, but it suggests that the CFT inequalities obtained here by naive translations do not apply beyond the regime in which weakly coupled gravitational descriptions are available.


title: Using the stress function in the flow of generalized Newtonian fluids through conduits with non-circular or multiply connected cross sections

abstract: We investigate the possibility that the spatial dependency of stress in generalized Newtonian flow systems is a function of the applied pressure field and the conduit geometry but not of the fluid rheology. This possibility is well established for the case of a one-dimensional flow through simply connected regions, specifically tubes of circular uniform cross sections and plane thin slits. If it can also be established for the more general case of generalized Newtonian flow through non-circular or multiply connected geometries, such as the two-dimensional flow through conduits of rectangular or elliptical cross sections or the flow through annular circular pipes, then analytical or semi-analytical or highly accurate numerical solutions; regarding stress, rate of strain, velocity profile and volumetric flow rate; for these geometries can be obtained from the stress function, which can be easily obtained from the Newtonian case, in combination with the constitutive rheological relation for the particular non-Newtonian fluid, as done previously for the case of the one-dimensional flow through simply connected regions.


title: Using of Neuro-Indexes

abstract: The article describes a new data structure called neuro-index. It is an alternative to well-known file indexes. The neuro-index is fundamentally different because it stores weight coefficients in neural network. It is not a reference type like "keyword-position in a file".


title: Cartier operators on fields of positive characteristic p

abstract: From an analytical perspective, we introduce a sequence of Cartier operators that act on the field of formal Laurent series in one variable with coefficients in a field of positive characteristic $p$. In this work, we discover the binomial inversion formula between Hasse derivatives and Cartier operators, implying that Cartier operators can play a prominent role in various objects of study in function field arithmetic, as suitable substitutes for higher derivatives. For an applicable object, the Wronskian criteria associated with Cartier operators are introduced. These results stem from a careful study of two types of Cartier operators on the power series ring $\Fq[[T]]$ in one variable $T$ over a finite field $\Fq$ of $q$ elements. Accordingly, we show that two sequences of Cartier operators are an orthonormal basis of the space of continuous $\Fq$-linear functions on $\Fq[[T]].$ According to the digit principle, every continuous function on $\Fq[[T]]$ is uniquely written in terms of a $q$-adic extension of Cartier operators, with a closed-form of expansion coefficients for each of the two cases. Moreover, the $p$-adic analogues of Cartier operators are discussed as orthonormal bases for the space of continuous functions on $\Zp.$


title: BPS brane cosmology in N=2 supergravity

abstract: We study the embedding of flat BPS 3-branes in five dimensional N=2 supergravity theory. We derive the branes' dynamical equations as well as general expressions for the hypermultiplet fields then focus on a single brane and study its time evolution. It is shown that the brane's Hubble parameter correlates with the moduli of the underlying manifold's complex structure. For certain particular solutions, the moduli seem to exhibit an instability; being large valued at early times then rapidly decaying to either zero or some convergent constant value. The possibility of extending these results to the cosmology of our universe is implied and briefly discussed. Our results are in line with the production and decay of heavy moduli in the early universe, as is currently believed in the literature.


title: On Partial Identification of the Pure Direct Effect

abstract: In causal mediation analysis, nonparametric identification of the pure (natural) direct effect typically relies on, in addition to no unobserved pre-exposure confounding, fundamental assumptions of (i) so-called "cross-world-counterfactuals" independence and (ii) no exposure- induced confounding. When the mediator is binary, bounds for partial identification have been given when neither assumption is made, or alternatively when assuming only (ii). We extend existing bounds to the case of a polytomous mediator, and provide bounds for the case assuming only (i). We apply these bounds to data from the Harvard PEPFAR program in Nigeria, where we evaluate the extent to which the effects of antiretroviral therapy on virological failure are mediated by a patient's adherence, and show that inference on this effect is somewhat sensitive to model assumptions.


title: Millimeter Wave Energy Harvesting

abstract: The millimeter wave (mmWave) band, which is a prime candidate for 5G cellular networks, seems attractive for wireless energy harvesting. This is because it will feature large antenna arrays as well as extremely dense base station (BS) deployments. The viability of mmWave for energy harvesting though is unclear, due to the differences in propagation characteristics such as extreme sensitivity to building blockages. This paper considers a scenario where low-power devices extract energy and/or information from the mmWave signals. Using stochastic geometry, analytical expressions are derived for the energy coverage probability, the average harvested power, and the overall (energy-and-information) coverage probability at a typical wireless-powered device in terms of the BS density, the antenna geometry parameters, and the channel parameters. Numerical results reveal several network and device level design insights. At the BSs, optimizing the antenna geometry parameters such as beamwidth can maximize the network-wide energy coverage for a given user population. At the device level, the performance can be substantially improved by optimally splitting the received signal for energy and information extraction, and by deploying multi-antenna arrays. For the latter, an efficient low-power multi-antenna mmWave receiver architecture is proposed for simultaneous energy and information transfer. Overall, simulation results suggest that mmWave energy harvesting generally outperforms lower frequency solutions.


title: Co-interest Person Detection from Multiple Wearable Camera Videos

abstract: Wearable cameras, such as Google Glass and Go Pro, enable video data collection over larger areas and from different views. In this paper, we tackle a new problem of locating the co-interest person (CIP), i.e., the one who draws attention from most camera wearers, from temporally synchronized videos taken by multiple wearable cameras. Our basic idea is to exploit the motion patterns of people and use them to correlate the persons across different videos, instead of performing appearance-based matching as in traditional video co-segmentation/localization. This way, we can identify CIP even if a group of people with similar appearance are present in the view. More specifically, we detect a set of persons on each frame as the candidates of the CIP and then build a Conditional Random Field (CRF) model to select the one with consistent motion patterns in different videos and high spacial-temporal consistency in each video. We collect three sets of wearable-camera videos for testing the proposed algorithm. All the involved people have similar appearances in the collected videos and the experiments demonstrate the effectiveness of the proposed algorithm.


title: Drone Small Cells in the Clouds: Design, Deployment and Performance Analysis

abstract: The use of drone small cells (DSCs) which are aerial wireless base stations that can be mounted on flying devices such as unmanned aerial vehicles (UAVs), is emerging as an effective technique for providing wireless services to ground users in a variety of scenarios. The efficient deployment of such DSCs while optimizing the covered area is one of the key design challenges. In this paper, considering the low altitude platform (LAP), the downlink coverage performance of DSCs is investigated. The optimal DSC altitude which leads to a maximum ground coverage and minimum required transmit power for a single DSC is derived. Furthermore, the problem of providing a maximum coverage for a certain geographical area using two DSCs is investigated in two scenarios; interference free and full interference between DSCs. The impact of the distance between DSCs on the coverage area is studied and the optimal distance between DSCs resulting in maximum coverage is derived. Numerical results verify our analytical results on the existence of optimal DSCs altitude/separation distance and provide insights on the optimal deployment of DSCs to supplement wireless network coverage.


title: Annihilators of Laurent coefficients of the complex power for normal crossing singularity

abstract: Let $f$ be a real-valued real analytic function defined on an open set of $\mathbb{R}^n$. Then the complex power $f_+^\lambda$ is defined as a distribution with a holomorphic parameter $\lambda$. We determine the annihilator (in the ring of differential operators) of each coefficient of the principal part of the Laurent expansion of $f_+^\lambda$ about $\lambda=-1$ in case $f=0$ has a normal crossing singularity.


title: Fringe pairs in generalized MSTD sets

abstract: A More Sums Than Differences (MSTD) set is a set $A$ for which $|A+A|>|A-A|$. Martin and O'Bryant proved that the proportion of MSTD sets in $\{0,1,\dots,n\}$ is bounded below by a positive number as $n$ goes to infinity. Iyer, Lazarev, Miller and Zhang introduced the notion of a generalized MSTD set, a set $A$ for which $|sA-dA|>|\sigma A-\delta A|$ for a prescribed $s+d=\sigma+\delta$. We offer efficient constructions of $k$-generational MSTD sets, sets $A$ where $A, A+A, \dots, kA$ are all MSTD. We also offer an alternative proof that the proportion of sets $A$ for which $|sA-dA|-|\sigma A-\delta A|=x$ is positive, for any $x \in \mathbb{Z}$. We prove that for any $\epsilon>0$, $\Pr(1-\epsilon<\log |sA-dA|/\log|\sigma A-\delta A|<1+\epsilon)$ goes to $1$ as the size of $A$ goes to infinity and we give a set $A$ which has the current highest value of $\log |A+A|/\log |A-A|$. We also study decompositions of intervals $\{0,1,\dots,n\}$ into MSTD sets and prove that a positive proportion of decompositions into two sets have the property that both sets are MSTD.


title: Near-Infrared Spectroscopy of 2M0441+2301 AabBab: A Quadruple System Spanning the Stellar to Planetary Mass Regimes

abstract: We present Keck/NIRC2 and OSIRIS near-infrared imaging and spectroscopy of 2M0441+2301 AabBab, a young (1--3 Myr) hierarchical quadruple system comprising a low-mass star, two brown dwarfs, and a planetary-mass companion in Taurus. All four components show spectroscopic signs of low surface gravity, and both 2M0441+2301 Aa and Ab possess Pa$\beta$ emission indicating they each harbor accretion subdisks. Astrometry spanning 2008--2014 reveals orbital motion in both the Aab (0.23" separation) and Bab (0.095" separation) pairs, although the implied orbital periods of $>$300 years means dynamical masses will not be possible in the near future. The faintest component (2M0441+2301 Bb) has an angular $H$-band shape, strong molecular absorption (VO, CO, H$_2$O, and FeH), and shallow alkali lines, confirming its young age, late spectral type (L1 $\pm$ 1), and low temperature ($\approx$1800~K). With individual masses of 200$^{+100}_{-50}$ Mjup, 35 $\pm$ 5 Mjup, 19 $\pm$ 3 Mjup, and 9.8 $\pm$ 1.8 Mjup, 2M0441+2301 AabBab is the lowest-mass quadruple system known. Its hierarchical orbital architecture and mass ratios imply that it formed from the collapse and fragmentation of a molecular cloud core, demonstrating that planetary-mass companions can originate from a stellar-like pathway analogous to higher-mass quadruple star systems as first speculated by Todorov et al. More generally, cloud fragmentation may be an important formation pathway for the massive exoplanets that are now regularly being imaged on wide orbits.


title: Gravitational Clustering

abstract: The downfall of many supervised learning algorithms, such as neural networks, is the inherent need for a large amount of training data. Although there is a lot of buzz about big data, there is still the problem of doing classification from a small dataset. Other methods such as support vector machines, although capable of dealing with few samples, are inherently binary classifiers, and are in need of learning strategies such as One vs All in the case of multi-classification. In the presence of a large number of classes this can become problematic. In this paper we present, a novel approach to supervised learning through the method of clustering. Unlike traditional methods such as K-Means, Gravitational Clustering does not require the initial number of clusters, and automatically builds the clusters, individual samples can be arbitrarily weighted and it requires only few samples while staying resilient to over-fitting.


title: Extending Hybrid CSP with Probability and Stochasticity

abstract: Probabilistic and stochastic behavior are omnipresent in computer controlled systems, in particular, so-called safety-critical hybrid systems, because of fundamental properties of nature, uncertain environments, or simplifications to overcome complexity. Tightly intertwining discrete, continuous and stochastic dynamics complicates modelling, analysis and verification of stochastic hybrid systems (SHSs). In the literature, this issue has been extensively investigated, but unfortunately it still remains challenging as no promising general solutions are available yet. In this paper, we give our effort by proposing a general compositional approach for modelling and verification of SHSs. First, we extend Hybrid CSP (HCSP), a very expressive and process algebra-like formal modeling language for hybrid systems, by introducing probability and stochasticity to model SHSs, which is called stochastic HCSP (SHCSP). To this end, ordinary differential equations (ODEs) are generalized by stochastic differential equations (SDEs) and non-deterministic choice is replaced by probabilistic choice. Then, we extend Hybrid Hoare Logic (HHL) to specify and reason about SHCSP processes. We demonstrate our approach by an example from real-world.


title: Databases of publications and observations - as a part of the Crimean Astronomical Virtual Observatory

abstract: The paper presents the basic principles of formation of a database (DB) with information about objects and their physical characteristics from observations carried out at the Crimean Astrophysical Observatory (CrAO) and published in "Izvestiya Krymskoi Astrofizicheskoi Observatorii" and other publications. The emphasis is placed on DBs that are not present in the most complete global library catalogs and data tables - VizieR (supported by the Strasbourg ADC). Separately, we consider the formation of a digital archive of observational data obtained at CrAO - as the interactive DB related to the DB of objects and publications. Examples of all the above DB as elements integrated into the Crimean Astronomical Virtual Observatory are presented in the paper. The operation with CrAO database is illustrated using tools of the International Virtual Observatory - Aladin, VOPlot, VOSpec jointly with VizieR DB and Simbad.


title: Tightly-Held and Ephemeral Psychometrics: Password and Passphrase Authentication Utilizing User-Supplied Constructs of Self

abstract: This research investigates the role of passwords and passphrases as valid authentication methodologies. Specifically, this research dispels earlier work that ignores information-theoretic lessons learned from cognitive and social psychology and psycholinguistics, and extends and enriches the current password security model.


title: On Tree Based Phylogenetic Networks

abstract: A large class of phylogenetic networks can be obtained from trees by the addition of horizontal edges between the tree edges. These networks are called tree based networks. Reticulation-visible networks and child-sibling networks are all tree based. In this work, we present a simply necessary and sufficient condition for tree-based networks and prove that there is a universal tree based network for each set of species such that every phylogenetic tree on the same species is a base of this network. The existence of universal tree based network implies that for any given set of phylogenetic trees (resp. clusters) on the same species there exists a tree base network that display all of them.


title: Spherically symmetric black holes in $f(R)$ gravity: Is geometric scalar hair supported ?

abstract: We discuss with a rather critical eye the current situation of black hole (BH) solutions in $f(R)$ gravity and shed light about its geometrical and physical significance. We also argue about the meaning, existence or lack thereof of a Birkhoff's theorem in this kind of modified gravity. We focus then on the analysis and quest of $non-trivial$ (i.e. hairy) $asymptotically\,\,flat$ (AF) BH solutions in static and spherically symmetric (SSS) spacetimes in vacuum having the property that the Ricci scalar does $not$ vanish identically in the domain of outer communication. To do so, we provide and enforce the $regularity\,\,conditions$ at the horizon in order to prevent the presence of singular solutions there. Specifically, we consider several classes of $f(R)$ models like those proposed recently for explaining the accelerated expansion in the universe and which have been thoroughly tested in several physical scenarios. Finally, we report analytical and numerical evidence about the $absence$ of $geometric\,\,hair$ in AFSSSBH solutions in those $f(R)$ models. First, we submit the models to the available no-hair theorems, and in the cases where the theorems apply, the absence of hair is demonstrated analytically. In the cases where the theorems do not apply, we resort to a numerical analysis due to the complexity of the non-linear differential equations. Within that aim, a code to solve the equations numerically was built and tested using well know exact solutions. In a future investigation we plan to analyze the problem of hair in De Sitter and Anti-De Sitter backgrounds.


title: Properties of the distorted Kerr black hole

abstract: We investigate the properties of the ergoregion and the location of the curvature singularities for the Kerr black hole distorted by the gravitational field of external sources. The particular cases of quadrupole and octupole distortion are studied in detail. We also investigate the scalar curvature invariants of the horizon and compare their behaviour with the case of the isolated Kerr black hole. In a certain region of the parameter space the ergoregion consists of a compact region encompassing the horizon and a disconnected part extending to infinity. The curvature singularities in the domain of outer communication, when they exist, are always located on the boundary of the ergoregion. We present arguments that they do not lie on the compact ergosurface. For quadrupole distortion the compact ergoregion size is negatively correlated with the horizon angular momentum when the external sources are varied. For octupole distortion infinitely many ergoregion configurations can exist for a certain horizon angular momentum. For some special cases we can have $J^2/M^4 > 1$ and yet avoid the naked singularity.


title: Converting a topologically trivial superconductor into a topological superconductor via magnetic doping

abstract: We present a comparative theoretical study of the effects of standard Anderson and magnetic disorders on the topological phases of two-dimensional Rashba spin-orbit coupled superconductors, with the initial state to be either topologically trivial or nontrivial. Using the self-consistent Born approximation approach, we show that the presence of Anderson disorders will drive a topological superconductor into a topologically trivial superconductor in the weak coupling limit. Even more strikingly, a topologically trivial superconductor can be driven into a topological superconductor upon diluted doping of independent magnetic disorders, which gradually narrow, close, and reopen the quasi-particle gap in a nontrivial manner. These topological phase transitions are distinctly characterized by the changes in the corresponding topological invariants. The central findings made here are also confirmed using a complementary numerical approach by solving the Bogoliubov-de Gennes equations self-consistently within a tight-binding model. The present study offers appealing new schemes for potential experimental realization of topological superconductors.


title: Spacetimes with a separable Klein-Gordon equation in higher dimensions

abstract: We study spacetimes that lead to a separable Klein-Gordon equation in a general dimension. We introduce an ansatz for the metric in higher dimensions motivated by analogical work by Carter in four dimensions and find solutions of the Klein-Gordon equation. For such a metric we solve the Einstein equations and regain the Kerr-NUT-(A)dS spacetime as one of our results. Other solutions lead to the Einstein-K\"ahler metric of a Euclidean signature. Next we investigate a warped geometry of two Klein-Gordon separable spaces with a properly chosen warped factor. We show that the resulting metric leads also to a separable Klein--Gordon equation and we find the corresponding solutions. Finally, we solve the Einstein equations for the warped geometry and obtain new solutions.


title: A differential-geometric analysis of the Bergman representative map

abstract: We show that the exponential map of the Bochner connection on the restricted holomorphic tangent bundle of a complex manifold admitting the positive-definite Bergman metric coincides with the inverse of Bergman's representative map. We also present a generalization of the Lu theorem, as an application.


title: A monotone isomorphism theorem

abstract: In the simple case of a Bernoulli shift on two symbols, zero and one, by permuting the symbols, it is obvious that any two equal entropy shifts are isomorphic. We show that the isomorphism can be realized by a factor that maps a binary sequence to another that is coordinatewise smaller than or equal to the original sequence.