title: 3D Uniform Manipulation of NV Centers in Diamond Using a Dielectric Resonator Antenna

abstract: Ensembles of nitrogen-vacancy (NV) color centers in diamond hold promise of ultraprecise magnetometery competing with SQUID detectors. By utilizing advantages of dielectric materials such as very low losses for electromagnetic field and therefore possibility to create high quality factor resonators with strong concentration of the field in it we implemented a dielectric resonator antenna for coherent manipulation of large ensemble of NV centers in diamond. We reached average Rabi frequency of 10 MHz in the volume of 7 cubic millimeters with standard deviation less than 1% at moderate pump power. This result passes the way to improve sensitivity of cutting edge NV based magnetometers by two orders of magnitude practically reaching SQUID level of sensitivity.


title: Averaging of Equations for Flow and Transport in Random Porous Media

abstract: In the papers (Shvidler, 1985 and 1993, and Shvidler and Karasaki, 1999, 2001, 2005, and 2008) we developed an approach for finding the exactly averaged equations of flow and transport in porous media. We studied for steady state flow with sources and also analyzed unsteady flow and nonreactive solute transport in unbounded domains with stochastically homogeneous conductivity random fields. In the base of the approach is the existence of appropriate random Green's functions and relevant linear random operators. Examination of random fields with global symmetry makes it possible to describe some different types of averaged equations with non-local unique vector or tensor operators. In this paper we substantially extend the approach and study more general processes in bounded or unbounded fields of any dimensions and examine the cases where the random fields of conductivity and porosity are stochastically homogeneous or non-homogeneous.


title: Quadratic Time Algorithms Appear to be Optimal for Sorting Evolving Data

abstract: We empirically study sorting in the evolving data model. In this model, a sorting algorithm maintains an approximation to the sorted order of a list of data items while simultaneously, with each comparison made by the algorithm, an adversary randomly swaps the order of adjacent items in the true sorted order. Previous work studies only two versions of quicksort, and has a gap between the lower bound of Omega(n) and the best upper bound of O(n log log n). The experiments we perform in this paper provide empirical evidence that some quadratic-time algorithms such as insertion sort and bubble sort are asymptotically optimal for any constant rate of random swaps. In fact, these algorithms perform as well as or better than algorithms such as quicksort that are more efficient in the traditional algorithm analysis model.


title: When does vapor pressure deficit drive or reduce evapotranspiration?

abstract: Increasing vapor pressure deficit (VPD) increases atmospheric demand for water. While increased evapotranspiration (ET) in response to increased atmospheric demand seems intuitive, plants are capable of reducing ET in response to increased VPD by closing their stomata. We examine which effect dominates the response to increasing VPD: atmospheric demand and increases in ET, or plant response (stomata closure) and decreases in ET. We use Penman-Monteith, combined with semi-empirical optimal stomatal regulation theory and underlying water use efficiency, to develop a theoretical framework for assessing ET response to VPD. The theory suggests that depending on the environment and plant characteristics, ET response to increasing VPD can vary from strongly decreasing to increasing, highlighting the diversity of plant water regulation strategies. The ET response varies due to: 1) climate, with tropical and temperate climates more likely to exhibit a positive ET response to increasing VPD than boreal and arctic climates; 2) photosynthesis strategy, with C3 plants more likely to exhibit a positive ET response than C4 plants; and 3) plant type, with crops more likely to exhibit a positive ET response, and shrubs and gymniosperm trees more likely to exhibit a negative ET response. These results, derived from previous literature connecting plant parameters to plant and climate characteristics, highlight the utility of our simplified framework for understanding complex land atmosphere systems in terms of idealized scenarios in which ET responds to VPD only. This response is otherwise challenging to assess in an environment where many processes co-evolve together.


title: Exploiting Treewidth for Projected Model Counting and its Limits

abstract: In this paper, we introduce a novel algorithm to solve projected model counting (PMC). PMC asks to count solutions of a Boolean formula with respect to a given set of projected variables, where multiple solutions that are identical when restricted to the projected variables count as only one solution. Our algorithm exploits small treewidth of the primal graph of the input instance. It runs in time $O({2^{2^{k+4}} n^2})$ where k is the treewidth and n is the input size of the instance. In other words, we obtain that the problem PMC is fixed-parameter tractable when parameterized by treewidth. Further, we take the exponential time hypothesis (ETH) into consideration and establish lower bounds of bounded treewidth algorithms for PMC, yielding asymptotically tight runtime bounds of our algorithm.


title: Inconsistency of a realistic interpretation of quantum measurements: A simple example

abstract: We use a simple example to illustrate why it is not possible to consider that a measurement reveals an underlying objective reality of a property of a quantum system, that continues the same after the measurement is performed. This kind of incompatibility between realism and quantum mechanics is theoretically demonstrated with an example where sequential spin measurements are performed on a spin-2 quantum particle. We discuss the relation of this result with other works that investigate the concept of reality in quantum mechanics.


title: Faithfully Explaining Rankings in a News Recommender System

abstract: There is an increasing demand for algorithms to explain their outcomes. So far, there is no method that explains the rankings produced by a ranking algorithm. To address this gap we propose LISTEN, a LISTwise ExplaiNer, to explain rankings produced by a ranking algorithm. To efficiently use LISTEN in production, we train a neural network to learn the underlying explanation space created by LISTEN; we call this model Q-LISTEN. We show that LISTEN produces faithful explanations and that Q-LISTEN is able to learn these explanations. Moreover, we show that LISTEN is safe to use in a real world environment: users of a news recommendation system do not behave significantly differently when they are exposed to explanations generated by LISTEN instead of manually generated explanations.


title: On the Fixed-Parameter Tractability of Some Matching Problems Under the Color-Spanning Model

abstract: Given a set of $n$ points $P$ in the plane, each colored with one of the $t$ given colors, a color-spanning set $S\subset P$ is a subset of $t$ points with distinct colors. The minimum diameter color-spanning set (MDCS) is a color-spanning set whose diameter is minimum (among all color-spanning sets of $P$). Somehow symmetrically, the largest closest pair color-spanning set (LCPCS) is a color-spanning set whose closest pair is the largest (among all color-spanning sets of $P$). Both MDCS and LCPCS have been shown to be NP-complete, but whether they are fixed-parameter tractable (FPT) when $t$ is a parameter is still open. Motivated by this question, we consider the FPT tractability of some matching problems under this color-spanning model, where $t=2k$ is the parameter. The problems are summarized as follows: (1) MinSum Matching Color-Spanning Set, namely, computing a matching of $2k$ points with distinct colors such that their total edge length is minimized; (2) MaxMin Matching Color-Spanning Set, namely, computing a matching of $2k$ points with distinct colors such that the minimum edge length is maximized; (3) MinMax Matching Color-Spanning Set, namely, computing a matching of $2k$ points with distinct colors such that the maximum edge length is minimized; and (4) $k$-Multicolored Independent Matching, namely, computing a matching of $2k$ vertices in a graph such that the vertices of the edges in the matching do not share common edges in the graph. We show that the first three problems are polynomially solvable (hence in FPT), while problem (4) is W[1]-hard.


title: Avalanche Interpretation of the Power-Law Energy Spectrum in Three-Dimensional Dense Granular Flow

abstract: Turbulence is ubiquitous in nonequilibrium systems, and it has been noted that even dense granular flows exhibit characteristics that are typical of turbulent flow, such as the power-law energy spectrum. However, studies on the turbulent-like behavior of granular flows are limited to two-dimensional (2D) flow. We demonstrate that the statistics in three-dimensional (3D) flow are qualitatively different from those in 2D flow. We also elucidate that avalanche dynamics can explain this dimensionality dependence. Moreover, we define clusters of collectively moving particles that are equivalent to vortex filaments. The clusters unveil complicated structures in 3D flows that are absent in 2D flows.


title: The Lind-Lehmer Constant for $\mathbb Z_2^r \times \mathbb Z_{4}^s$

abstract: We show that the minimal positive logarithmic Lind-Mahler measure for a group of the form $G=\mathbb Z_2^r\times\mathbb Z_4^s$ with $|G|\geq 4$ is $\frac{1}{|G|} \log (|G|-1).$ We also show that for $G=\mathbb Z_2 \times \mathbb Z_{2^n}$ with $n\geq 3$ this value is $\frac{1}{|G|} \log 9.$ Previously the minimal measure was only known for $2$-groups of the form $\mathbb Z_2^k$ or $\mathbb Z_{2^k}.$


title: Overcoming the Challenges of Solar Rover Autonomy: Enabling Long-Duration Planetary Navigation

abstract: The successes of previous and current Mars rovers have encouraged space agencies worldwide to pursue additional planetary exploration missions with more ambitious navigation goals. For example, NASA's planned Mars Sample Return mission will be a multi-year undertaking that will require a solar-powered rover to drive over 150 metres per sol for approximately three months. This paper reviews the mobility planning framework used by current rovers and surveys the major challenges involved in continuous long-distance navigation on the Red Planet. It also discusses recent work related to environment-aware and energy-aware navigation, and provides a perspective on how such work may eventually allow a solar-powered rover to achieve autonomous long-distance navigation on Mars.


title: Improved Predictive Models for Acute Kidney Injury with IDEAs: Intraoperative Data Embedded Analytics

abstract: Acute kidney injury (AKI) is a common and serious complication after a surgery which is associated with morbidity and mortality. The majority of existing perioperative AKI risk score prediction models are limited in their generalizability and do not fully utilize the physiological intraoperative time-series data. Thus, there is a need for intelligent, accurate, and robust systems, able to leverage information from large-scale data to predict patient's risk of developing postoperative AKI. A retrospective single-center cohort of 2,911 adult patients who underwent surgery at the University of Florida Health has been used for this study. We used machine learning and statistical analysis techniques to develop perioperative models to predict the risk of AKI (risk during the first 3 days, 7 days, and until the discharge day) before and after the surgery. In particular, we examined the improvement in risk prediction by incorporating three intraoperative physiologic time series data, i.e., mean arterial blood pressure, minimum alveolar concentration, and heart rate. For an individual patient, the preoperative model produces a probabilistic AKI risk score, which will be enriched by integrating intraoperative statistical features through a machine learning stacking approach inside a random forest classifier. We compared the performance of our model based on the area under the receiver operating characteristics curve (AUROC), accuracy and net reclassification improvement (NRI). The predictive performance of the proposed model is better than the preoperative data only model. For AKI-7day outcome: The AUC was 0.86 (accuracy was 0.78) in the proposed model, while the preoperative AUC was 0.84 (accuracy 0.76). Furthermore, with the integration of intraoperative features, we were able to classify patients who were misclassified in the preoperative model.


title: Modeling water transport processes in dialysis

abstract: Mathematical modeling is an important theoretical tool which provides researchers with quantification of the permeability of dialyzing systems in renal replacement therapy. In the paper we provide a short review of the most successful theoretical approaches and refer to the corresponding experimental methods studying these phenomena in both biological and synthetic filters in dialysis. Two levels of modeling of fluid and solute transport are considered in the review: thermodynamic and kinetic modeling of hemodialysis and peritoneal dialysis. A brief account for hindered diffusion across cake layers formed due to membrane filters fouling is given, too.


title: Monodromy of Hyperplane Sections of Curves and Decomposition Statistics over Finite Fields

abstract: For a projective curve $C\subset\mathbf{P}^n$ defined over $\mathbf{F}_q$ we study the statistics of the $\mathbf{F}_q$-structure of a section of $C$ by a random hyperplane defined over $\mathbf{F}_q$ in the $q\to\infty$ limit. We obtain a very general equidistribution result for this problem. We deduce many old and new results about decomposition statistics over finite fields in this limit. Our main tool will be the calculation of the monodromy of transversal hyperplane sections of a projective curve.


title: Experimental assignment of many-electron excitations in the photo-ionization of NiO

abstract: The absorption of a photon and the emission of an electron is not a simple, two-particle process. The complicated many-electron features observed during core photo-ionization can therefore reveal many of the hidden secrets about the ground and excited-state electronic structures of a material. Careful analysis of the photon-energy dependence of the Ni KLL Auger de-excitation spectra at and above the Ni 1s photo-ionization threshold has identified the satellite structure that appears in both the photo-electron emission and the x-ray absorption spectra of NiO as Ni metal 3d eg -> Ni metal 3d eg and O ligand 2p eg -> Ni metal 3d eg charge-transfer excitations, respectively. These assignments elucidate the conflicting theoretical predictions of the last five decades in addition to other anomalous effects in the spectroscopy of this unique material.


title: Wearable Audio and IMU Based Shot Detection in Racquet Sports

abstract: Wearables like smartwatches which are embedded with sensors and powerful processors, provide a strong platform for development of analytics solutions in sports domain. To analyze players' games, while motion sensor based shot detection has been extensively studied in sports like Tennis, Golf, Baseball; Table Tennis and Badminton are relatively less explored due to possible less intense hand motion during shots. In our paper, we propose a novel, computationally inexpensive and real-time system for shot detection in table tennis, based on fusion of Inertial Measurement Unit (IMU) and audio sensor data embedded in a wrist-worn wearable. The system builds upon our presented methodology for synchronizing IMU and audio sensor input in time using detected shots and achieves 95.6% accuracy. To our knowledge, it is the first fusion-based solution for sports analysis in wearables. Shot detectors for other racquet sports as well as further analytics to provide features like shot classification, rally analysis and recommendations, can easily be built over our proposed solution.


title: Multi-component mathematical models in multilayer fields by the transformation operators method

abstract: The vector transform operators are investigated; these operators are used at the solution of boundary value problems in piecewise homogeneous spherically symmetric areas. In particular, examples of transformation operators for vector boundary value problems are given for third vector boundary value problem in the the right half-plane and for the Dirichlet problem in the the right half-plane.


title: Reduced-Graphene-Oxide with Dispersed Au-Ir Nanoparticles as Active Support for Pt at low Loadding for Electrocatalytic Oxygen Electroreduction

abstract: We report here on a novel and facile techniques for the synthesis nanocomposite based on stable bimetallic catalyst containing iridium and gold nanoparticles electrodeposited on chemically reduced graphene oxide (rGO) sheet admixed with platinum nanoparticles as an efficient electrocatalyst to facilitate the oxygen reduction reaction (ORR) in acidic medium. Raman spectroscopy, infrared spectroscopy (IR), scanning electron microscope (SEM), transmission electron microscope (TEM) methods were employed to characterize the rGO, Au-NPS-rGO, Ir-NPS-rGO, Au-Ir-rGO nanocomposites formed on the electrode surface. Here we present a comparative study into the relative effects of each hybrid nanocomposites: Au-NPS-rGO, Ir-NPS-rGO, Au-Ir-rGO nanocomposites on the performance of platinum nanoparticles towards the oxygen reduction reaction (ORR) in acidic media. For the purposes of comparing the supports, a simple platinum black catalyst is used and the performance isevaluated via direct measurement of peroxide by rotating ring-disk electrode (RRDE) to determine the number of electrons (n) transferred in the ORR. It was found that platinum nanoparticles dispersed within Au-Ir-rGO support follows a quasi 4-electron mechanism (3.99-4 electrons involved) due to that the ORR takes place mainly on the active Pt particles, and produced hydrogen peroxide is reduced at Au-Ir-rGO support.


title: Prussian Blue Modified Reduced Graphene Oxide as Support for Pt Nanoparticles: Development of Efficient Catalysts for Oxygen Electroreduction in Acid Medium

abstract: Pt electrocatalytic nanoparticles were deposited onto hybrid carriers composed of reduced graphene oxide (rGO)-transition metal hexacyanoferrate (Prussian Blue-PB) and the resulting system's electrochemical activity was investigated during oxygen reduction reaction in acidic solution. The Prussian Blue -utilizing and Pt nanoparticle-containing materials were characterized using transmission electron microscopy, X-ray diffraction and electrochemical diagnostic techniques such as cyclic voltammetry and rotating ring-disk voltammetry. Application of rGO carriers modified with Prussian Blue as matrices (supports) for Pt catalytic centers does not change practically the potential of electroreduction of oxygen in 0.5 mol dm-3 H2SO4 (under rotating disk voltammetric conditions) relative to the behavior of the analogous PB-free system. What is even more important that, due to the presence of the polynuclear cyanoferrate modifier, the amounts of the undesirable hydrogen peroxide intermediate are significantly decreased (at ring in the rotating ring-disk voltammetry). The results are consistent with the bifunctional mechanism in which oxygen reduction is initiated at Pt centers and the hydrogen peroxide intermediate is reductively decomposed at reactive PB-modified rGO supports.


title: The (small) vibrations of thin plates

abstract: We describe the equations of motion of elastodynamic bounded bodies in 3-space, and their linearizations at a stationary point. Using the latter as an approximation to model small motions, we develop a scheme to find numerical solutions of these equations. We discretize the solution in the space of PL vector fields associated to the oriented faces of the first barycentric subdivision of a given smooth initial triangulation of the body, in order to exploit the algebraic topology properties of the body that these vector fields encode into the sought after solution, and solve a weak version of the linearized equations in that context. We apply our scheme to a couple of relevant examples of thin bodies, bodies where one of the dimensions is at least one order of magnitude in size less than the other two, and determine numerical approximations to some of their resonance modes of vibration. The results obtained are consistent with known vibration patterns for these bodies derived experimentally.


title: Development of highly nonlinear polarization maintaining fibers with normal dispersion across entire transmission window

abstract: Determined polarization state of light is required in nonlinear optics applications related to ultrashort and single-cycle light pulse generation. Such short time scales require up to full octave of spectral width of light. Fiber-based, pulse-preserving and linearly polarized supercontinuum can meet these requirements. We report on the development - from linear simulations of the fiber structure, through fabrication of physical fibers to their versatile characterization - of polarization maintaining, highly nonlinear photonic crystal fibers, intended for femtosecond pumping at a wavelength of 1560 nm. Full octave of linearly polarized light around this wavelength would enable to cover amplification bandwidths of the three major fiber amplifiers from ytterbium doped systems up to thulium and holmium doped fiber amplifiers, with a coherent, linearly polarized seed signal. At the same time, an all-normal chromatic dispersion profile over an entire transmission window, and small dispersion of nonlinearity in the developed fibers, would facilitate use of commercially available femtosecond fiber lasers as pump sources for the developed fibers.


title: Quantum neural networks to simulate many-body quantum systems

abstract: We conduct experimental simulations of many body quantum systems using a \emph{hybrid} classical-quantum algorithm. In our setup, the wave function of the transverse field quantum Ising model is represented by a restricted Boltzmann machine. This neural network is then trained using variational Monte Carlo assisted by a D-Wave quantum sampler to find the ground state energy. Our results clearly demonstrate that already the first generation of quantum computers can be harnessed to tackle non-trivial problems concerning physics of many body quantum systems.


title: Survey on data management in radiation protection research

abstract: The importance of datasharing is of increasing concern to funding bodies and institutions. With some prescience, the radiobiology community has established data sharing infrastructures over the last two decades, including STORE; however, the utilisation of these databases is disappointing. The aim of the present study was to identify the current state of datasharing amongst researchers in radiation protection, and to identify barriers to effective sharing. An electronic survey was prepared, including questions on post-publication data provision, institutional, funding agency, and journal policies, awareness of datasharing infrastructures, attitudinal barriers, and technical support. The survey was sent to the members of a mailing list maintained by the EC funded CONCERT project. Responses identified that the radiation protection community shared similar concerns to other groups canvassed in earlier studies; the perceived negative impact of datasharing on competitiveness, career development and reputation, along with concern about the costs of data management. More surprising was the lack of awareness of existing datasharing platforms. We find that there is a clear need for education and training in data management and for a significant programme of improving awareness of Open Data issues.


title: Fabrication of a high-resolution smartphone spectrometer for education using a 3D printer

abstract: In this paper, we present the details of the development of a smartphone spectrometer for education using a 3D printer and characterized the performance by comparison with a paper craft spectrometer. The optical design and the narrow slit used in the build resulted in the formation of accurate images of the slit on the image sensor leading to a superior resolution compared to the paper craft spectrometer. Increasing the exposure time of the phone's camera revealed the fine structure of a spectrum with high resolution. The baffle structure inside the spectrometer proved to be effective in removing noise when the exposure time was increased. We expect that the 3D printed smartphone spectrometer proposed in this paper can be useful as an education tool for students to understand the various aspects of light, atoms, chemistry, and physics.


title: Rethinking value creation from the resource based view: the case of human capital in moroccan hotels

abstract: The growth of the modern knowledge-based economy is becoming less and less dependent on tangible assets and more on intangible ones. In this context, the role of human capital in the value creation process has become central. Despite the large amount of scientific work on human capital phenomena, little research has revealed the role of human capital in the process of creating value. The purpose of this article is to evaluate the impact of human capital on value creation within 31 classified hotels in Morocco for the period 2013-2015. This paper is organized into four sections. First, we return to the main conceptualization of value creation. The goal of this first section is to synthesize prior work on this construct and highlight the main role of the resource based view (RBV) in explaining it. This view presents the point that links value creation to human capital given that this latter concept is one of the most resources of the firm. Next, we present the main definition of human capital. To do so, we make use of concepts from psychology, economy and strategic human resource management. Then, we shed light on the existing relationship between the two concepts of our research. Finally, we present the methodology of this research as well as the results. The required data to calculate value creation is obtained mainly from the annual reports of Moroccan hotels. Whereas, human capital is assessed by a questionnaire using the scale of Subramaniam and Youndt (2005). Data is examined using linear regression by PASW statistics software. The results of this study give a more concrete picture on the creation of value in this context and refute any link between these two concepts.


title: Reactive nitrogen plasma spray coating of titanium nitride: plasma torch design and coating analysis

abstract: In this paper, a thermal DC plasma torch was designed and developed for plasma spraying of a titanium nitride layer. Thermal plasma spray torch is a kind of non-transferred torch which can produce a high energy and high temperature plasma arc jet. Ti powders were injected into the plasma jet interacted with nitrogen plasma, resulted in a thick and hard layer of titanium nitride. Coating sample produced by this method was analysed with Raman spectroscopy confirming titanium nitride production. To study the thickness of the layer optical microscopy was used. It was found that the resulted layer is thicker than the layer synthesized by other deposition methods and it mainly consists of pure titanium nitride.


title: The AutoMat CVIM - A Scalable Data Model for Automotive Big Data Marketplaces

abstract: In the past years, connectivity has been introduced in automotive production series, enabling vehicles as highly mobile Internet of Things sensors and participants. The Horizon 2020 research project AutoMat addressed this scenario by building a vehicle big data marketplace in order to leverage and exploit crowd-sourced sensor data, a so far unexcavated treasure. As part of this project the Common Vehicle Information Model (CVIM) as harmonized data model has been developed. The CVIM allows a common understanding and generic representation, brand-independent throughout the whole data value and processing chain. The demonstrator consists of CVIM vehicle sensor data, which runs through the different components of the whole AutoMat vehicle big data processing pipeline. Finally, at the example of a traffic measurement service the data of a whole vehicle fleet is aggregated and evaluated.


title: A simplified superheating Rankine pump with possible application in irrigation

abstract: In this paper a simplified superheating Rankine pump is presented. For an easy understanding and study of its functioning principle, the pump has been experimentally implemented, with superheating obtained by an electrical resistance. The pump can be adapted to serve as a reliable and cheap irrigation pump, having reduced maintenance and operating costs, and consuming clean energy (concentrate solar energy).


title: Extended Microprestress-Solidification Theory (XMPS) for Long-Term Creep and Diffusion Size Effect in Concrete at Variable Environment

abstract: The solidification theory has been accepted as a thermodynamically sound way to describe the creep reduction due to deposition of hydrated material in the pores of concrete. The concept of self-equilibrated nanoscale microprestress has been accepted as a viable model for marked multi-decade decline of creep viscosity after the hydration effect became too feeble, and for increase of creep viscosity after any sudden change of pore humidity or temperature. Recently, though, it appeared that the original microprestress-solidification theory (MPS) predicts incorrectly the diffusion size effect on drying creep and the delay of drying creep behind drying shrinkage. Presented here is an extension (XMPS) that overcomes both problems and also improves a few other features of the model response. To this end, different nano- and macro-scale viscosities are distinguished. The aforementioned incorrect predictions are overcome by a dependence of the macro-scale viscosity on the rate of pore humidity change, which is a new feature inspired by previous molecular dynamics (MD) simulations of a molecular layer of water moving between two parallel sliding C-S-H sheets. The aging is based on calculating the hydration degree, and the temperature change effect on pore relative humidity is taken into account. Empirical formula for estimating the parameters of permeability dependence on pore humidity from concrete mix composition are also developed. Extensive validations by pertinent test data from the literature are demonstrated.


title: Adaptive User-Oriented Direct Load-Control of Residential Flexible Devices

abstract: Demand Response (DR) schemes are effective tools to maintain a dynamic balance in energy markets with higher integration of fluctuating renewable energy sources. DR schemes can be used to harness residential devices' flexibility and to utilize it to achieve social and financial objectives. However, existing DR schemes suffer from low user participation as they fail at taking into account the users' requirements. First, DR schemes are highly demanding for the users, as users need to provide direct information, e.g. via surveys, on their energy consumption preferences. Second, the user utility models based on these surveys are hard-coded and do not adapt over time. Third, the existing scheduling techniques require the users to input their energy requirements on a daily basis. As an alternative, this paper proposes a DR scheme for user-oriented direct load-control of residential appliances operations. Instead of relying on user surveys to evaluate the user utility, we propose an online data-driven approach for estimating user utility functions, purely based on available load consumption data, that adaptively models the users' preference over time. Our scheme is based on a day-ahead scheduling technique that transparently prescribes the users with optimal device operation schedules that take into account both financial benefits and user-perceived quality of service. To model day-ahead user energy demand and flexibility, we propose a probabilistic approach for generating flexibility models under uncertainty. Results on both real-world and simulated datasets show that our DR scheme can provide significant financial benefits while preserving the user-perceived quality of service.


title: Visible -Light-Gated Reconfigurable Rotation of Nanomotors in Electric Fields

abstract: Highly efficient and widely applicable working mechanisms that allow nanomaterials and devices to respond to external stimuli with controlled mechanical motions could make far-reaching impact to reconfigurable, adaptive, and robotic nanodevices. Here, we report an innovative mechanism that allows multifold reconfiguration of mechanical rotation of semiconductor nanoentities in electric (E) fields by visible light stimulation. When illuminated by light in the visible to infrared range, the rotation speed of semiconductor Si nanowires in electric fields can instantly increase, decrease, and even reverse the orientation depending on the intensity of the applied light and the AC E-field frequency. This multifold rotation configuration is highly efficient, instant, and facile. Switching between different modes can be simply controlled by the light intensity at an AC frequency. An array of experimentations, theoretical analysis, and simulations are carried out to understand the underlying principle, which can be attributed to the optically tunable polarization of Si nanowires in aqueous suspension and an external electric field. Finally, leveraging this newly discovered effect, we successfully differentiate semiconductor and metallic nanoentities in a non-contact and non-destructive manner. This research could inspire a new class of reconfigurable nanoelectromechanical and nanorobotic devices for optical sensing, communication, molecule release, detection, nanoparticle separation, and microfluidic automation.


title: Deep and fast free-space electro-absorption modulation in a mobility-independent graphene-loaded Bragg resonator

abstract: Deep and fast electro-optic modulation is critical for high-speed near infrared signal processing. We combine the electro-absorption tunability of graphene with the high-Q resonance of a Bragg-based Fabry-Perot resonator at {\lambda}=1550 nm and show that ~100% free-space signal modulation (>50 dB extinction ratio, <1 dB insertion loss) at high speed (>1 GHz) can always be achieved independently of graphene quality (mobility), provided the device is operating in reflection mode and tuned in critical coupling with graphene. Remarkably, the critical coupling mechanism produces a higher extinction ratio for lower graphene mobility. We use practical considerations to optimize the device architecture and operation as a function of graphene mobility. With a small modification this scheme can be turned into a very sensitive acousto-absorption modulator with a ~30 dB/{\AA} extinction ratio, or an index sensor with 10^7 %/RIU sensitivity. These designs can be easily extended throughout the midIR spectrum by appropriate scaling of layer thicknesses.


title: Modelling Of Hydrothermal Aging Of Short Flax Fiber Reinforced Composites

abstract: As a contribution to the prediction of the evolutionary behavior of biocomposites in service conditions, this study focused on the simulation of the hydrothermal aging of short natural fiber reinforced composites made by extrusion/injection molding. We endeavored to model the reversible modifications of the behavior of PLA and PLA/flax composites when immersed in water at different temperatures (20, 35 and 50 {\textdegree}C). A numerical model accounting for the heterogeneous mechanisms involved during aging such as water diffusion and the resulting swelling and plasticizing of polymers was implemented. Simulated data proved to be in perfect accordance with experimental results as long as no irreversible mechanism was occurring. The deviations of the simulated data from experimental results were limited at 35{\textdegree}C but significant at 50{\textdegree}C. Finally, the influence of moisture on the local elastic modulus of flax fibers was inferred thanks to the Halpin-Kardos homogenization model.


title: A Radio Frequency Channelizer based on Cascaded Integrated Micro-ring Resonator Optical Comb Sources and Filters

abstract: We report a broadband RF channelizer based on an integrated optical frequency Kerr micro-comb source, with an RF channelizing bandwidth of 90 GHz, a high RF spectral slice resolution of 1.04 GHz, and experimentally verify the RF performance up to 19 GHz. This approach to realizing RF channelizers offers reduced complexity, size, and potential cost for a wide range of applications to microwave signal detection.


title: Optimization of Dielectric Rod Antenna Design in Millimeter Wave Band for Wireless Communications

abstract: Dielectric rod antennas are promising candidates to be used in millimeter wave band wireless communications. The optimization of a patch-fed dielectric rod antenna design at millimeter wave band is presented in this work. This design is composed of simple dielectric rod antenna made of low cost Teflon with relative permittivity of 2.1 that is fed by a rectangular patch antenna. Compared to the conventionally used tapered dielectric rod antennas, this configuration is capable of producing higher gain for a given antenna length. The design is optimized to achieve gain up to 17.5 dBi and impedance bandwidth up to 4.4 GHz at 60 GHz. A 4-element array is proposed to increase the gain up to 21 dBi. Simulations are performed using CST microwave studio, and their results are presented.


title: MIMiS: Minimally Intrusive Mining of Smartphone User Behaviors

abstract: How intrusive does a life-saving user-monitoring application really need to be? While most previous research was focused on analyzing mental state of users from social media and smartphones, there is little effort towards protecting user privacy in these analyses. A challenge in analyzing user behaviors is that not only is the data multi-dimensional with a myriad of user activities but these activities occur at varying temporal rates. The overarching question of our work is: Given a set of sensitive user features, what is the minimum amount of information required to group users with similar behavior? Furthermore, does this user behavior correlate with their mental state? Towards answering those questions, our contributions are two fold: we introduce the concept of privacy surfaces that combine sensitive user data at different levels of intrusiveness. As our second contribution, we introduce MIMiS, an unsupervised privacy-aware framework that clusters users in a given privacy surface configuration to homogeneous groups with respect to their temporal signature. In addition, we explore the trade-off between intrusiveness and prediction accuracy. MIMiS employs multi-set decomposition in order to deal with incompatible temporal granularities in user activities. We extensively evaluate MIMiS on real data. Across a variety of privacy surfaces, MIMiS identified groups that are highly homogeneous with respect to self-reported mental health scores. Finally, we conduct an in-depth exploration of the discovered clusters, identifying groups whose behavior is consistent with academic deadlines.


title: Modeling quantum information dynamics achieved with time-dependent driven fields in the context of universal quantum processing

abstract: Quantum information is a useful resource to set up information processing. Despite physical components are normally two-level systems, their combination with entangling interactions becomes in a complex dynamics. Studied for piecewise field pulses, this work analyzes the modeling for quantum information operations with fields affordable technologically towards a universal quantum computation model.


title: Hyperscaling violation in Ising Spin Glasses

abstract: In addition to the standard scaling rules relating critical exponents at second order transitions, hyperscaling rules involve the dimension of the model. It is well known that in canonical Ising models hyperscaling rules are modified above the upper critical dimension. It was shown by M. Schwartz in 1991 that hyperscaling can also break down in Ising systems with quenched random interactions; Random Field Ising models which are in this class have been intensively studied. Here numerical Ising Spin Glass data relating the scaling of the normalized Binder cumulant to that of the reduced correlation length are presented for dimensions 3, 4, 5 and 7. Hyperscaling is clearly violated in dimensions 3 and 4 as well as above the upper critical dimension $D=6$. Estimates are obtained for the "violation of hyperscaling exponent" values in the various models.


title: Machine Readable Web APIs with Schema.org Action Annotations

abstract: The schema.org initiative led by the four major search engines curates a vocabulary for describing web content. The number of semantic annotations on the web are increasing, mostly due to the industrial incentives provided by those search engines. The annotations are not only consumed by search engines, but also by other automated agents like intelligent personal assistants (IPAs). However, only annotating data is not enough for automated agents to reach their full potential. Web APIs should be also annotated for automating service consumption, so the IPAs can complete tasks like booking a hotel room or buying a ticket for an event on the fly. Although there has been a vast amount of effort in the semantic web services field, the approaches did not gain too much adoption outside of academia, mainly due to lack of concrete incentives and steep learning curves. In this paper, we suggest a lightweight, bottom-up approach based on schema.org actions to annotate Web APIs. We analyse schema.org vocabulary in the scope of lightweight semantic web services literature and propose extensions where necessary. We show that schema.org actions could be a suitable vocabulary for Web API description. We demonstrate our work by annotating existing Web APIs of accommodation service providers. Additionally, we briefly demonstrate how these APIs can be used dynamically, for example, by a dialogue system.


title: ABC-CDE: Towards Approximate Bayesian Computation with Complex High-Dimensional Data and Limited Simulations

abstract: Approximate Bayesian Computation (ABC) is typically used when the likelihood is either unavailable or intractable but where data can be simulated under different parameter settings using a forward model. Despite the recent interest in ABC, high-dimensional data and costly simulations still remain a bottleneck in some applications. There is also no consensus as to how to best assess the performance of such methods without knowing the true posterior. We show how a nonparametric conditional density estimation (CDE) framework, which we refer to as ABC-CDE, help address three nontrivial challenges in ABC: (i) how to efficiently estimate the posterior distribution with limited simulations and different types of data, (ii) how to tune and compare the performance of ABC and related methods in estimating the posterior itself, rather than just certain properties of the density, and (iii) how to efficiently choose among a large set of summary statistics based on a CDE surrogate loss. We provide theoretical and empirical evidence that justify ABC-CDE procedures that {\em directly} estimate and assess the posterior based on an initial ABC sample, and we describe settings where standard ABC and regression-based approaches are inadequate.


title: Image simulations for gravitational lensing with SkyLens

abstract: We present the latest version of the ray-tracing simulation code Skylens, which can be used to develop image simulations that reproduce strong lensing observations by any mass distribution with a high level of realism. Improvements of the code with respect to previous versions include the implementation of the multi-lens plane formalism, the use of denoised source galaxies from the Hubble eXtreme Deep Field, and the simulation of substructures in lensed arcs and images, based on a morphological analysis of bright nearby galaxies. Skylens can simulate observations with virtually any telescope. We present examples of space- and ground-based observations of a galaxy cluster through the Wide Field Channel on the Advanced Camera for Surveys of the Hubble Space Telescope, the Near Infrared Camera of the James Webb Space Telescope, the Wide Field Imager of the Wide Field Infrared Survey Telescope, the Hyper Suprime Camera of the Subaru telescope, and the Visible Imaging Channel of the Euclid space mission.


title: An all-sky survey of circular polarisation at 200 MHz

abstract: We present results from the first all-sky radio survey in circular polarisation. The survey uses the Murchison Widefield Array (MWA) to cover 30900 sq. deg., over declinations south of +30$^{\circ}$ and north of -86$^{\circ}$ centred at 200 MHz (over a 169-231 MHz band). We achieve a spatial resolution of approx. 3' and a typical sensitivity of 3.0 mJy PSF$^{-1}$ over most of the survey region. We demonstrate a new leakage mitigation technique that reduces the leakage from total intensity into circular polarisation by an order of magnitude. In a blind survey of the imaged region, we detect 14 pulsars in circular polarisation above a 6$\sigma$ threshold. We also detect six transient sources associated with artificial satellites. A targeted survey of 2376 pulsars within the surveyed region yielded 33 detections above $4\sigma$. Looking specifically at pulsars previously detected at 200 MHz in total intensity, this represents a 35% detection rate. We also conducted a targeted survey of 2400 known flare stars, this resulted in two tentative detections above $4\sigma$. A similar targeted search for 1506 known exoplanets in the field yielded no detections above $4\sigma$. The success of the survey suggests that similar surveys at longer wavelength bands and of deeper fields are warranted.


title: Energy of a Vertex

abstract: In this paper we develop the concept of energy of a vertex introduced in Arizmendi and Juarez-Romero (2016). We derive basic inequalities, continuity properties, give examples and extend the definition to locally finite graphs.


title: The C-Band All-Sky Survey

abstract: The C-Band All-Sky Survey (C-BASS) is an experiment to image the whole sky in intensity and polarization at 5 GHz. The primary aim of C-BASS is to provide low-frequency all-sky maps of the Galactic emission which will enable accurate component separation analysis of both existing and future CMB intensity and polarization imaging surveys. Here we present an overview of the experiment and an update on the current status of observations. We present simulation results showing the expected improvement in the recovery of CMB and foreground signals when including C-BASS data as an additional low-frequency channel, both for intensity and polarization. We also present preliminary results from the northern part of the sky survey.


title: The Maximum Likelihood Threshold of a Path Diagram

abstract: Linear structural equation models postulate noisy linear relationships between variables of interest. Each model corresponds to a path diagram, which is a mixed graph with directed edges that encode the domains of the linear functions and bidirected edges that indicate possible correlations among noise terms. Using this graphical representation, we determine the maximum likelihood threshold, that is, the minimum sample size at which the likelihood function of a Gaussian structural equation model is almost surely bounded. Our result allows the model to have feedback loops and is based on decomposing the path diagram with respect to the connected components of its bidirected part. We also prove that if the sample size is below the threshold, then the likelihood function is almost surely unbounded. Our work clarifies, in particular, that standard likelihood inference is applicable to sparse high-dimensional models even if they feature feedback loops.


title: Measurement of final-state correlations in neutrino muon-proton mesonless production on hydrocarbon at $\langle E_\nu\rangle=3$ GeV

abstract: Final-state kinematic imbalances are measured in mesonless production of $\nu_\mu + A \to \mu^- + p + X$ in the MINERvA tracker. Initial- and final-state nuclear effects are probed using the direction of the $\mu^-$-p transverse momentum imbalance and the initial-state momentum of the struck neutron. Differential cross sections are compared to predictions based on current approaches to medium modeling. These models under-predict the cross section at intermediate intranuclear momentum transfers that generally exceed the Fermi momenta. As neutrino interaction models need to correctly incorporate the effect of the nucleus in order to predict neutrino energy resolution in oscillation experiments, this result points to a region of phase space where additional cross section strength is needed in current models, and demonstrates a new technique that would be suitable for use in fine grained liquid argon detectors where the effect of the nucleus may be even larger.


title: A CNN for homogneous Riemannian manifolds with applications to Neuroimaging

abstract: Convolutional neural networks are ubiquitous in Machine Learning applications for solving a variety of problems. They however can not be used in their native form when the domain of the data is commonly encountered manifolds such as the sphere, the special orthogonal group, the Grassmanian, the manifold of symmetric positive definite matrices and others. Most recently, generalization of CNNs to data domains such as the 2-sphere has been reported by some research groups, which is referred to as the spherical CNNs (SCNNs). The key property of SCNNs distinct from CNNs is that they exhibit the rotational equivariance property that allows for sharing learned weights within a layer. In this paper, we theoretically generalize the CNNs to Riemannian homogeneous manifolds, that include but are not limited to the aforementioned example manifolds. Our key contributions in this work are: (i) A theorem stating that linear group equivariance systems are fully characterized by correlation of functions on the domain manifold and vice-versa. This is fundamental to the characterization of all linear group equivariant systems and parallels the widely used result in linear system theory for vector spaces. (ii) As a corrolary, we prove the equivariance of the correlation operation to group actions admitted by the input domains which are Riemannian homogeneous manifolds. (iii) We present the first end-to-end deep network architecture for classification of diffusion magnetic resonance image (dMRI) scans acquired from a cohort of 44 Parkinson Disease patients and 50 control/normal subjects. (iv) A proof of concept experiment involving synthetic data generated on the manifold of symmetric positive definite matrices is presented to demonstrate the applicability of our network to other types of domains.


title: Enumeration of Complex Golay Pairs via Programmatic SAT

abstract: We provide a complete enumeration of all complex Golay pairs of length up to 25, verifying that complex Golay pairs do not exist in lengths 23 and 25 but do exist in length 24. This independently verifies work done by F. Fiedler in 2013 that confirms the 2002 conjecture of Craigen, Holzmann, and Kharaghani that complex Golay pairs of length 23 don't exist. Our enumeration method relies on the recently proposed SAT+CAS paradigm of combining computer algebra systems with SAT solvers to take advantage of the advances made in the fields of symbolic computation and satisfiability checking. The enumeration proceeds in two stages: First, we use a fine-tuned computer program and functionality from computer algebra systems to construct a list containing all sequences which could appear as the first sequence in a complex Golay pair (up to equivalence). Second, we use a programmatic SAT solver to construct all sequences (if any) that pair off with the sequences constructed in the first stage to form a complex Golay pair.


title: Science Impacts of the SPHEREx All-Sky Optical to Near-Infrared Spectral Survey II: Report of a Community Workshop on the Scientific Synergies Between the SPHEREx Survey and Other Astronomy Observatories

abstract: SPHEREx is a proposed NASA MIDEX mission selected for Phase A study. SPHEREx would carry out the first all-sky spectral survey in the near infrared. At the end of its two-year mission, SPHEREx would obtain 0.75-to-5$\mu$m spectra of every 6.2 arcsec pixel on the sky, with spectral resolution R>35 and a 5-$\sigma$ sensitivity AB$>$19 per spectral/spatial resolution element. More details concerning SPHEREx are available at http://spherex.caltech.edu. The SPHEREx team has proposed three specific science investigations to be carried out with this unique data set: cosmic inflation, interstellar and circumstellar ices, and the extra-galactic background light. Though these three themes are undoubtedly compelling, they are far from exhausting the scientific output of SPHEREx. Indeed, SPHEREx would create a unique all-sky spectral database including spectra of very large numbers of astronomical and solar system targets, including both extended and diffuse sources. These spectra would enable a wide variety of investigations, and the SPHEREx team is dedicated to making the data available to the community to enable these investigations, which we refer to as Legacy Science. To that end, we have sponsored two workshops for the general scientific community to identify the most interesting Legacy Science themes and to ensure that the SPHEREx data products are responsive to their needs. In February of 2016, some 50 scientists from all fields met in Pasadena to develop these themes and to understand their implications for the SPHEREx mission. The 2016 workshop highlighted many synergies between SPHEREx and other contemporaneous astronomical missions, facilities, and databases. Consequently, in January 2018 we convened a second workshop at the Center for Astrophysics in Cambridge to focus specifically on these synergies. This white paper reports on the results of the 2018 SPHEREx workshop.

categories: astro-ph.IM astro-ph.CO astro-ph.EP astro-ph.GA astro-ph.SR


title: Mahler Measure and the Vol-Det Conjecture

abstract: The Vol-Det Conjecture relates the volume and the determinant of a hyperbolic alternating link in $S^3$. We use exact computations of Mahler measures of two-variable polynomials to prove the Vol-Det Conjecture for many infinite families of alternating links. We conjecture a new lower bound for the Mahler measure of certain two-variable polynomials in terms of volumes of hyperbolic regular ideal bipyramids. Associating each polynomial to a toroidal link using the toroidal dimer model, we show that every polynomial which satisfies this conjecture with a strict inequality gives rise to many infinite families of alternating links satisfying the Vol-Det Conjecture. We prove this new conjecture for six toroidal links by rigorously computing the Mahler measures of their two-variable polynomials.


title: Crowdbreaks: Tracking Health Trends using Public Social Media Data and Crowdsourcing

abstract: In the past decade, tracking health trends using social media data has shown great promise, due to a powerful combination of massive adoption of social media around the world, and increasingly potent hardware and software that enables us to work with these new big data streams. At the same time, many challenging problems have been identified. First, there is often a mismatch between how rapidly online data can change, and how rapidly algorithms are updated, which means that there is limited reusability for algorithms trained on past data as their performance decreases over time. Second, much of the work is focusing on specific issues during a specific past period in time, even though public health institutions would need flexible tools to assess multiple evolving situations in real time. Third, most tools providing such capabilities are proprietary systems with little algorithmic or data transparency, and thus little buy-in from the global public health and research community. Here, we introduce Crowdbreaks, an open platform which allows tracking of health trends by making use of continuous crowdsourced labelling of public social media content. The system is built in a way which automatizes the typical workflow from data collection, filtering, labelling and training of machine learning classifiers and therefore can greatly accelerate the research process in the public health domain. This work introduces the technical aspects of the platform and explores its future use cases.


title: Did the Model Understand the Question?

abstract: We analyze state-of-the-art deep learning models for three tasks: question answering on (1) images, (2) tables, and (3) passages of text. Using the notion of \emph{attribution} (word importance), we find that these deep networks often ignore important question terms. Leveraging such behavior, we perturb questions to craft a variety of adversarial examples. Our strongest attacks drop the accuracy of a visual question answering model from $61.1\%$ to $19\%$, and that of a tabular question answering model from $33.5\%$ to $3.3\%$. Additionally, we show how attributions can strengthen attacks proposed by Jia and Liang (2017) on paragraph comprehension models. Our results demonstrate that attributions can augment standard measures of accuracy and empower investigation of model performance. When a model is accurate but for the wrong reasons, attributions can surface erroneous logic in the model that indicates inadequacies in the test data.


title: Capacity, quasi-local mass, and singular fill-ins

abstract: We derive new inequalities between the boundary capacity of an asymptotically flat 3-manifold with nonnegative scalar curvature and boundary quantities that relate to quasi-local mass; one relates to Brown--York mass and the other is new. We argue by recasting the setup to the study of mean-convex fill-ins with nonnegative scalar curvature and, in the process, we consider fill-ins with singular metrics, which may have independent interest. Among other things, our work yields new variational characterizations of Riemannian Schwarzschild manifolds and new comparison results for surfaces in them.


title: Systematic study of relativistic and chemical enhancements of $\mathcal{P,T}$-odd effects in polar diatomic radicals

abstract: Polar diatomic molecules that have, or are expected to have a $^2\Sigma_{1/2}$-ground state are studied systematically with respect to simultaneous violation of parity $\mathcal{P}$ and time-reversal $\mathcal{T}$ with numerical methods and analytical models. Enhancements of $\mathcal{P,T}$-violating effects due to an electric dipole moment of the electron (eEDM) and $\mathcal{P,T}$-odd scalar-pseudoscalar nucleon-electron current interactions are analyzed by comparing trends within columns and rows of the periodic table of the elements. For this purpose electronic structure parameters are calculated numerically within a quasi-relativistic zeroth order regular approximation (ZORA) approach in the framework of complex generalized Hartree-Fock (cGHF) or Kohn-Sham (cGKS). Scaling relations known from analytic relativistic atomic structure theory are compared to these numerical results. Based on this analysis, problems of commonly used relativistic enhancement factors are discussed. Furthermore the ratio between both $\mathcal{P,T}$-odd electronic structure parameters mentioned above is analyzed for various groups of the periodic table. From this analysis an analytic measure for the disentanglement of the two $\mathcal{P,T}$-odd electronic structure parameters with multiple experiments in dependence of electronic structure enhancement factors is derived.


title: A theory of the quantum spin liquid in the hyper-honeycomb metal-organic framework [(C$_2$H$_5$)$_3$NH]$_2$Cu$_2$(C$_2$O$_4$)$_3$ from first principles

abstract: We construct a tight-binding model of [(C$_2$H$_5$)$_3$NH]$_2$Cu$_2$(C$_2$O$_4$)$_3$ from Wannier orbital overlaps. Including interactions within the Jahn-Teller distorted Cu-centered $e_g$ Wannier orbitals leads to an effective Heisenberg model. The hyper-honeycomb lattice contains two symmetry distinct sublattices of Cu atoms arranged in coupled chains. One sublattice is strongly dimerized, the other forms isotropic antiferromagnetic chains. Integrating out the strongest (intradimer) exchange interactions leaves extremely weakly coupled Heisenberg chains, consistent with the observed low temperature physics.


title: Some results about zero-cycles on abelian and semi-abelian varieties

abstract: In this short note we extend some results obtained in \cite{Gazaki2015}. First, we prove that for an abelian variety $A$ with good ordinary reduction over a finite extension of $\mathbb{Q}_p$ with $p$ an odd prime, the Albanese kernel of $A$ is the direct sum of its maximal divisible subgroup and a torsion group. Second, for a semi-abelian variety $G$ over a perfect field $k$, we construct a decreasing integral filtration $\{F^r\}_{r\geq 0}$ of Suslin's singular homology group, $H_0^{sing}(G)$, such that the successive quotients are isomorphic to a certain Somekawa K-group.


title: Fibrations in Non-simply Connected Calabi-Yau Quotients

abstract: In this work we study genus one fibrations in Calabi-Yau three-folds with a non-trivial first fundamental group. The manifolds under consideration are constructed as smooth quotients of complete intersection Calabi-Yau three-folds (CICYs) by a freely acting, discrete automorphism. By probing the compatibility of symmetries with genus one fibrations (that is, discrete group actions which preserve a local decomposition of the manifold into fiber and base) we find fibrations that are inherited from fibrations on the covering spaces. Of the 7,890 CICY three-folds, 195 exhibit known discrete symmetries, leading to a total of 1,695 quotient manifolds. By scanning over 20,700 fiber/symmetry pairs on the covering spaces we find 17,161 fibrations on the quotient Calabi-Yau manifolds. It is found that the vast majority of the non-simply connected manifolds studied exhibit multiple different genus one fibrations - echoing a similar ubiquity of such structures that has been observed in other data sets. The results are available at http://www1.phys.vt.edu/quotientdata/. The possible base manifolds are all singular and are catalogued. These Calabi-Yau fibrations generically exhibit multiple fibers and are of interest in F-theory as backgrounds leading to theories with superconformal loci and discretely charged matter.


title: A general mixture equation of state for double bonding carboxylic acids with >= 2 association sites

abstract: In this paper we obtain the first general multi-component solution to thermodynamic perturbation theory for the case that molecules can participate in cyclic double bonds. In contrast to previous authors, we do not restrict double bonding molecules to a 2-site association scheme. Each molecule in a multi-component mixture can have an arbitrary number of donor and acceptor association sites. The one restriction on the theory is that molecules can have at most one pair of double bonding sites. We also incorporate the effect of hydrogen bond cooperativity in cyclic double bonds. We then apply this new association theory to 2-site and 3 site models for carboxylic acids within the polar PC-SAFT equation of state. We demonstrate the accuracy of the approach by comparison to both pure and multi-component phase equilibria data. We also demonstrate that inclusion of hydrogen bond cooperativity has a substantial effect on liquid phase hydrogen bonding structure.


title: Multi-Modal Trajectory Prediction of Surrounding Vehicles with Maneuver based LSTMs

abstract: To safely and efficiently navigate through complex traffic scenarios, autonomous vehicles need to have the ability to predict the future motion of surrounding vehicles. Multiple interacting agents, the multi-modal nature of driver behavior, and the inherent uncertainty involved in the task make motion prediction of surrounding vehicles a challenging problem. In this paper, we present an LSTM model for interaction aware motion prediction of surrounding vehicles on freeways. Our model assigns confidence values to maneuvers being performed by vehicles and outputs a multi-modal distribution over future motion based on them. We compare our approach with the prior art for vehicle motion prediction on the publicly available NGSIM US-101 and I-80 datasets. Our results show an improvement in terms of RMS values of prediction error. We also present an ablative analysis of the components of our proposed model and analyze the predictions made by the model in complex traffic scenarios.


title: Social diversity for reducing the impact of information cascades on social learning

abstract: Collective behavior in online social media and networks is known to be capable of generating non-intuitive dynamics associated with crowd wisdom and herd behaviour. Even though these topics have been well-studied in social science, the explosive growth of Internet computing and e-commerce makes urgent to understand their effects within the digital society. In this work we explore how the stochasticity introduced by social diversity can help agents involved in a inference process to improve their collective performance. Our results show how social diversity can reduce the undesirable effects of information cascades, in which rational agents choose to ignore personal knowledge in order to follow a predominant social behaviour. Situations where social diversity is never desirable are also distinguished, and consequences of these findings for engineering and social scenarios are discussed.


title: Revisiting the de Rham-Witt complex

abstract: The goal of this paper is to offer a new construction of the de Rham-Witt complex of smooth varieties over perfect fields of characteristic $p>0$. We introduce a category of cochain complexes equipped with an endomorphism $F$ of underlying graded abelian groups satisfying $dF = pFd$, whose homological algebra we study in detail. To any such object satisfying an abstract analog of the Cartier isomorphism, an elementary homological process associates a generalization of the de Rham-Witt construction. Abstractly, the homological algebra can be viewed as a calculation of the fixed points of the Berthelot-Ogus operator $L \eta_p$ on the $p$-complete derived category. We give various applications of this approach, including a simplification of the crystalline comparison for the $A \Omega$-cohomology theory introduced in [BMS18].


title: Nonlinear Dimensionality Reduction for Discriminative Analytics of Multiple Datasets

abstract: Principal component analysis (PCA) is widely used for feature extraction and dimensionality reduction, with documented merits in diverse tasks involving high-dimensional data. Standard PCA copes with one dataset at a time, but it is challenged when it comes to analyzing multiple datasets jointly. In certain data science settings however, one is often interested in extracting the most discriminative information from one dataset of particular interest (a.k.a. target data) relative to the other(s) (a.k.a. background data). To this end, this paper puts forth a novel approach, termed discriminative (d) PCA, for such discriminative analytics of multiple datasets. Under certain conditions, dPCA is proved to be least-squares optimal in recovering the component vector unique to the target data relative to background data. To account for nonlinear data correlations, (linear) dPCA models for one or multiple background datasets are generalized through kernel-based learning. Interestingly, all dPCA variants admit an analytical solution obtainable with a single (generalized) eigenvalue decomposition. Finally, corroborating dimensionality reduction tests using both synthetic and real datasets are provided to validate the effectiveness of the proposed methods.


title: Learning to Deblur Images with Exemplars

abstract: Human faces are one interesting object class with numerous applications. While significant progress has been made in the generic deblurring problem, existing methods are less effective for blurry face images. The success of the state-of-the-art image deblurring algorithms stems mainly from implicit or explicit restoration of salient edges for kernel estimation. However, existing methods are less effective as only few edges can be restored from blurry face images for kernel estimation. In this paper, we address the problem of deblurring face images by exploiting facial structures. We propose a deblurring algorithm based on an exemplar dataset without using coarse-to-fine strategies or heuristic edge selections. In addition, we develop a convolutional neural network to restore sharp edges from blurry images for deblurring. Extensive experiments against the state-of-the-art methods demonstrate the effectiveness of the proposed algorithms for deblurring face images. In addition, we show the proposed algorithms can be applied to image deblurring for other object classes.


title: Two Sides of the Same Coin: Software Developers' Perceptions of Task Switching and Task Interruption

abstract: In the constantly evolving world of software development, switching back and forth between tasks has become the norm. While task switching often allows developers to perform tasks effectively and may increase creativity via the flexible pathway, there are also consequences to frequent task-switching. For high-momentum tasks like software development, "flow", the highly productive state of concentration, is paramount. Each switch distracts the developers' flow, requiring them to switch mental state and an additional immersion period to get back into the flow. However, the wasted time due to time fragmentation caused by task switching is largely invisible and unnoticed by developers and managers. We conducted a survey with 141 software developers to investigate their perceptions of differences between task switching and task interruption and to explore whether they perceive task switchings as disruptive as interruptions. We found that practitioners perceive considerable similarities between the disruptiveness of task switching (either planned or unplanned) and random interruptions. The high level of cognitive cost and low performance are the main consequences of task switching articulated by our respondents. Our findings broaden the understanding of flow change among software practitioners in terms of the characteristics and categories of disruptive switches as well as the consequences of interruptions caused by daily stand-up meetings.


title: Probing Anomalous Inelastic Scattering in Spin-ice Ho$_2$Ti$_2$O$_7$ through Resonant Raman Spectroscopy

abstract: We report on a study of the inelastic scattering properties of (001) and (111) Ho$_2$Ti$_2$O$_7$ single crystals at room temperature. Structural and compositional analysis along with absorption measurement confirms single crystalline phase of all samples. Room temperature polarized Raman measurements were performed on crystals in non-resonant and two different resonant conditions by using six different laser excitation lines. Lorentzian model fitting analysis is performed on all measured spectra in order to identify the difference in the Raman scattering cross-section in resonant and non-resonant conditions. Variations in the fitting parameters on account of different polarization configurations and crystallographic orientations has helped identifying their symmetry if present. Several possible scattering pathways are discussed in order to qualitatively explain the anomalous scattering results in Ho$_2$Ti$_2$O$_7$


title: A bound on judicious bipartitions of directed graphs

abstract: Judicious partitioning problems on graphs ask for partitions that bound several quantities simultaneously, which have received a lot of attentions lately. Scott asked the following natural question: What is the maximum constant $c_d$ such that every directed graph $D$ with $m$ arcs and minimum outdegree $d$ admits a bipartition $V(D)= V_1\cup V_2$ satisfying $\min\{e(V_1, V_2), e(V_2, V_1)\}\ge c_d m$? Here, for $i=1,2$, $e(V_{i},V_{3-i})$ denotes the number of arcs in $D$ from $V_{i}$ to $V_{3-i}$. Lee, Loh, and Sudakov %[Judicious partitions of directed graphs, Random Struct. Alg. 48 %(2016) 147--170] conjectured that every directed graph $D$ with $m$ arcs and minimum outdegree at least $d\ge 2$ admits a bipartition $V(D)=V_1\cup V_2$ such that \[ \min\{e(V_1,V_2),e(V_2,V_1)\}\geq \Big(\frac{d-1}{2(2d-1)}+ o(1)\Big)m. \] %While it is not known whether or not the minimum outdegree condition %alone is sufficient, w We show that this conjecture holds under the additional natural condition that the minimum indegree is also at least $d$.


title: Quantum Batteries - Review Chapter

abstract: Book chapter in "Thermodynamics in the quantum regime - Recent Progress and Outlook" -- This chapter is a survey of the published literature on quantum batteries -- ensembles of non-degenerate quantum systems on which energy can be deposited, and from which work can be extracted. A pedagogical approach is used to familiarize the reader with the main results obtained in this field, starting from simple examples and proceeding with in-depth analysis. An outlook for the field and future developments are discussed at the end of the chapter.


title: Task Interruption in Software Development Projects: What Makes some Interruptions More Disruptive than Others?

abstract: Multitasking has always been an inherent part of software development and is known as the primary source of interruptions due to task switching in software development teams. Developing software involves a mix of analytical and creative work, and requires a significant load on brain functions, such as working memory and decision making. Thus, task switching in the context of software development imposes a cognitive load that causes software developers to lose focus and concentration while working thereby taking a toll on productivity. To investigate the disruptiveness of task switching and interruptions in software development projects, and to understand the reasons for and perceptions of the disruptiveness of task switching we used a mixed-methods approach including a longitudinal data analysis on 4,910 recorded tasks of 17 professional software developers, and a survey of 132 software developers. We found that, compared to task-specific factors (e.g. priority, level, and temporal stage), contextual factors such as interruption type (e.g. self/external), time of day, and task type and context are a more potent determinant of task switching disruptiveness in software development tasks. Furthermore, while most survey respondents believe external interruptions are more disruptive than self-interruptions, the results of our retrospective analysis reveals otherwise. We found that self-interruptions (i.e. voluntary task switchings) are more disruptive than external interruptions and have a negative effect on the performance of the interrupted tasks. Finally, we use the results of both studies to provide a set of comparative vulnerability and interaction patterns which can be used as a mean to guide decision-making and forecasting the consequences of task switching in software development teams.


title: Insights from Statistical Analysis of Opioid Data

abstract: Opioid overdose has emerged as a full blown epidemic in the United States. In the last few years, there has been an alarming increase in Opioid related deaths, resulting in the loss of 63,600 lives in 2016 alone. The epidemic which is killing more than 100 people each day, was declared as a public health emergency by the US government, in October 2017. Although a few health related companies and commercial firms have examined this important issue from various available data sources, to the best of our knowledge, the academic community has not been engaged in research in this important topic. It can be safely noted that the study of the epidemic, from the data analytics perspective, is in its infancy. Given that a significant amount of Opioid related data is available in public domain, it provides the academic community an opportunity to analyze such data to provide recommendations to the public health authorities to mitigate the impact of the epidemic. In that vein, we collected some publicly available data to analyze the important contributing factors of the epidemic. In particular, we examine the role of the individuals prescribing Opioid drugs on the spread of the epidemic. In addition, we examine the impact of income level, age and educational level of various neighborhoods in a large US city, on Opioid related incidences, to find any correlation between them.


title: A Multilayer Framework for Online Metric Learning

abstract: Online metric learning has been widely applied in classification and retrieval. It can automatically learn a suitable metric from data by restricting similar instances to be separated from dissimilar instances with a given margin. However, the existing online metric learning algorithms have limited performance in real-world classifications, especially when data distributions are complex. To this end, this paper proposes a multilayer framework for online metric learning to capture the nonlinear similarities among instances. Different from the traditional online metric learning, which can only learn one metric space, the proposed Multi-Layer Online Metric Learning (MLOML) takes an online metric learning algorithm as a metric layer and learns multiple hierarchical metric spaces, where each metric layer follows a nonlinear layers for the complicated data distribution. Moreover, the forward propagation (FP) strategy and backward propagation (BP) strategy are employed to train the hierarchical metric layers. To build a metric layer of the proposed MLOML, a new Mahalanobis-based Online Metric Learning (MOML) algorithm is presented based on the passive-aggressive strategy and one-pass triplet construction strategy. Furthermore, in a progressively and nonlinearly learning way, MLOML has a stronger learning ability than traditional online metric learning in the case of limited available training data. To make the learning process more explainable and theoretically guaranteed, theoretical analysis is provided. The proposed MLOML enjoys several nice properties, indeed learns a metric progressively, and performs better on the benchmark datasets. Extensive experiments with different settings have been conducted to verify these properties of the proposed MLOML.


title: Information theoretic security of quantum key distribution overcoming the repeaterless secret key capacity bound

abstract: Quantum key distribution is a way to distribute secret keys to distant users with information theoretic security and key rates suitable for real-world applications. Its rate-distance figure, however, is limited by the natural loss of the communication channel and can never surpass a theoretical limit known as point-to-point secret key capacity. Recently, a new type of quantum key distribution with an intermediate relay was proposed to overcome this limit (M. Lucamarini, Z. L. Yuan, J. F. Dynes and A. J. Shields, Nature, 2018). However, a standard application of the decoy state method limited the security analysis of this scheme to hold under restrictive assumptions for the eavesdropper. Hence, overcoming the point-to-point secret key capacity with an information-theoretic secure scheme is still an open question. Here, we propose a novel way to use decoy states to answer this question. The key idea is to switch between a Test mode and a Code mode, the former enabling the decoy state parameter estimation and the latter generating a key through a phase encoding protocol. This way, we confirm the scaling properties of the original scheme and overcome the secret key capacity at long distances. Our work plays a key role to unlock the potential of practical secure quantum communications.


title: Chemical potentials of light flavor quarks from yield ratios of negative to positive particles in Au+Au collisions at RHIC

abstract: The transverse momentum spectra of $\pi^{-}$, $\pi^{+}$, $K^{-}$, $K^{+}$, $\bar{p}$, and $p$ produced in Au+Au collisions at center-of-mass energy $\sqrt{s_{NN}}=7.7$, 11.5, 19.6, 27, 39, 62.4, 130, and $200$ GeV are analyzed in the framework of a multisource thermal model. The experimental data measured at midrapidity by the STAR Collaboration are fitted by the (two-component) standard distribution. The effective temperature of emission source increases obviously with the increase of the particle mass and the collision energy. At different collision energies, the chemical potentials of up, down, and strange quarks are obtained from the antiparticle to particle yield ratios in given transverse momentum ranges available in experiments. With the increase of logarithmic collision energy, the chemical potentials of light flavor quarks decrease exponentially.


title: Variations of the Energy of Free Particles in the pp-Wave Spacetimes

abstract: We consider the action of exact plane gravitational waves, or pp-waves, on free particles. The analysis is carried out by investigating the variations of the geodesic trajectories of the particles, before and after the passage of the wave. The initial velocities of the particles are non-vanishing. We evaluate numerically the Kinetic energy per unit mass of the free particles, and obtain interesting, quasi-periodic behaviour of the variations of the Kinetic energy with respect to the width $\lambda$ of the gaussian that represents the wave. The variation of the energy of the free particle is expected to be exactly minus the variation of the energy of the gravitational field, and therefore provides an estimation of the local variation of the gravitational energy. The investigation is carried out in the context of short bursts of gravitational waves, and of waves described by normalised gaussians, that yield impulsive waves in a certain limit.


title: Incremental Database Design using UML-B and Event-B

abstract: Correct operation of many critical systems is dependent on the data consistency and integrity properties of underlying databases. Therefore, a verifiable and rigorous database design process is highly desirable. This research aims to investigate and deliver a comprehensive and practical approach for modelling databases in formal methods through layered refinements. The methodology is being guided by a number of case studies, using abstraction and refinement in UML-B and verification with the Rodin tool. UML-B is a graphical representation of the Event-B formalism and the Rodin tool supports verification for Event-B and UML-B. Our method guides developers to model relational databases in UML-B through layered refinement and to specify the necessary constraints and operations on the database.


title: Parameterized Model Checking Modulo Explicit Weak Memory Models

abstract: We present a modular framework for model checking parameterized array-based transition systems with explicit access operations on weak memory. Our approach extends the MCMT (Model Checking Modulo Theories) framework of Ghilardi and Ranise with explicit weak memory models. We have implemented this new framework in Cubicle-W, an extension of the Cubicle model checker. The modular architecture of our tool allows us to change the underlying memory model seamlessly (TSO, PSO...). Our first experiments with a TSO-like memory model look promising.


title: Domain Analysis & Description - The Implicit and Explicit Semantics Problem

abstract: A domain analysis & description calculus is introduced. It is shown to alleviate the issue of implicit semantics. The claim is made that domain descriptions, whether informal, or as also here, formal, amount to an explicit semantics for what is otherwise implicit if not described.


title: Explicit Modelling of Physical Measures: From Event-B to Java

abstract: The increasing development of cyber-physical systems (CPSs) requires modellers to represent and reason about physical values. This paper addresses two major, inter-related, aspects that arise when modelling physical measures. Firstly, there is often a heterogeneity of representation; for example: speed can be represented in many different units (mph, kph, mps, etc. . . ). Secondly, there is incoherence in composition; for example: adding a speed to a temperature would provide a meaningless result in the physical world, even though such a purely mathematical operation is meaningful in the abstract. These aspects are problematic when implicit semantics - concerned with measurements - in CPSs are not explicit (enough) in the requirements, design and implementation models. We present an engineering approach for explicitly modelling measurements during all phases of formal system development. We illustrate this by moving from Event-B models to Java implementations, via object oriented design.


title: Formal Modelling of Ontologies : An Event-B based Approach Using the Rodin Platform

abstract: This paper reports on the results of the French ANR IMPEX research project dealing with making explicit domain knowledge in design models. Ontologies are formalised as theories with sets, axioms, theorems and reasoning rules. They are integrated to design models through an annotation mechanism. Event-B has been chosen as the ground formal modelling technique for all our developments. In this paper, we particularly describe how ontologies are formalised as Event-B theories.


title: Securing Open Source Clouds Using Models

abstract: The widespread adoption of cloud computing has resulted in the proliferation of open source cloud computing frameworks that give more control to enterprises over their data and networks. Though the benefits of open source software are widely recognized, there is a growing concern over their security assurance. Often open source software is a subject of frequent updates. The updates might introduce or remove a variety of features and hence violate security properties of the previous releases. Obviously, a manual inspection of security would be prohibitively slow and inefficient. In this work, we propose an automated approach that can help developers to assure the security of open source cloud framework even in the presence of frequent releases. Our methodology consists of creating a (stateful) wrapper that emulates the usage scenarios with explicit representation of security and functional requirements as contracts. We use a model-driven approach to model REST APIs of KeyStone, an identity service in OpenStack. OpenStack is an open source cloud computing framework providing IaaS. Our models define structural and behavioral properties of Keystone together with its security requirements. We detail the implementation of these models in Django Web Framework and also show how to use the behavioral interfaces to implement a service monitor for the cloud services. This mechanism facilitates verification and validation of functional behavior and security requirement in an automated manner.


title: A Formal Model to Facilitate Security Testing in Modern Automotive Systems

abstract: Ensuring a car's internal systems are free from security vulnerabilities is of utmost importance, especially due to the relationship between security and other properties, such as safety and reliability. We provide the starting point for a model-based framework designed to support the security testing of modern cars. We use Communicating Sequential Processes (CSP) to create architectural models of the vehicle bus systems, as well as an initial set of attacks against these systems. While this contribution represents initial steps, we are mindful of the ultimate objective of generating test code to exercise the security of vehicle bus systems. We present the way forward from the models created and consider their potential integration with commercial engineering tools


title: Towards Integrated Modelling of Dynamic Access Control with UML and Event-B

abstract: Role-Based Access Control (RBAC) is a popular authorization model used to manage data-access constraints in a wide range of systems. RBAC usually defines the static view on the access rights. However, to ensure dependability of a system, it is often necessary to model and verify state-dependent access rights. Such a modelling allows us to explicitly define the dependencies between the system states and permissions to access and modify certain data. In this paper, we present a work-in-progress on combining graphical and formal modelling to specify and verify dynamic access control. The approach is illustrated by a case study -- a reporting management system.


title: Entanglement optimization of filtered output fields in cavity optomechanics

abstract: Output entanglement is a key element in quantum information processing. Here, we show how to obtain optimal entanglement between two filtered output fields in a three-mode optomechanical system. First, we obtain the key analytical expression of optimal time delay between the two filtered output fields, from which we can obtain the optimal coupling for output entanglement without time delay. In this case, our linearized analysis predicts that the entanglement saturates to an optimal value as the optomechanical coupling is increased. Furthermore, we obtain the optimal output entanglement with time delay. These results should be very helpful in conceiving new optomechanical schemes of quantum information processing with their efficiency depending critically on the degree of output entanglement.


title: Spin accumulation at nonmagnetic interface induced by direct Rashba Edelstein effect

abstract: Rashba effect describes how electrons moving in an electric field experience a momentum dependent magnetic field that couples to the electron angular momentum (spin). This physical phenomenon permits the generation of spin polarization from charge current (Edelstein effect), which leads to the buildup of spin accumulation. Spin accumulation due to Rashba Edelstein effect has been recently reported to be uniform and oriented in plane, which has been suggested for applications as spin filter device and efficient driving force for magnetization switching. Here, we report the X-ray spectroscopy characterization Rashba interface formed between nonmagnetic metal (Cu, Ag) and oxide (Bi$_{2}$O$_{3}$) at grazing incidence angles. We further discuss the generation of spin accumulation by injection of electrical current at these Rashba interfaces, and its optical detection by time resolved magneto optical Kerr effect. We provide details of our characterization which can be extended to other Rashba type systems beyond those reported here.


title: Spin-orbit-coupled Bose-Einstein condensates of rotating polar molecules

abstract: An experimental proposal for realizing spin-orbit (SO) coupling of pseudospin-1 in the ground manifold $^1\Sigma(\upsilon=0)$ of (bosonic) bialkali polar molecules is presented. The three spin components are composed of the ground rotational state and two substates from the first excited rotational level. Using hyperfine resolved Raman processes through two select excited states resonantly coupled by a microwave, an effective coupling between the spin tensor and linear momentum is realized. The properties of Bose-Einstein condensates for such SO-coupled molecules exhibiting dipolar interactions are further explored. In addition to the SO-coupling-induced stripe structures, the singly and doubly quantized vortex phases are found to appear, implicating exciting opportunities for exploring novel quantum physics using SO-coupled rotating polar molecules with dipolar interactions.


title: The Antarctic circumpolar wave and its seasonality: Intrinsic traveling modes and ENSO teleconnections

abstract: Interannual variability in the Southern Ocean is investigated via nonlinear Laplacian spectral analysis (NLSA), an objective eigendecomposition technique for nonlinear dynamical systems that can simultaneously recover multiple timescales from data with high skill. Applied to modeled and observed sea surface temperature and sea ice concentration data, NLSA recovers the wavenumber-2 eastward propagating signal corresponding to the Antarctic circumpolar wave (ACW). During certain phases of its lifecycle, the spatial patterns of this mode display a structure that can explain the statistical origin of the Antarctic dipole pattern. Another group of modes have combination frequencies consistent with the modulation of the annual cycle by the ACW. Further examination of these newly identified modes reveals that they can have either eastward or westward propagation, combined with meridional pulsation reminiscent of sea ice reemergence patterns in the Arctic. Moreover, they exhibit smaller-scale spatial structures, and explain more Indian Ocean variance than the primary ACW modes. We attribute these modes to teleconnections between ACW and the tropical Indo-Pacific Ocean; in particular, fundamental ENSO modes and their associated combination modes with the annual cycle recovered by NLSA. Another mode extracted from the Antarctic variables displays an eastward propagating wavenumber-3 structure over the Southern Ocean, but exhibits no strong correlation to interannual Indo-Pacific variability.


title: Strong Uniqueness of Degenerate SDEs with H\"older diffusion coefficients

abstract: In this paper we prove a new strong uniqueness result and a weak existence result for possibly {\it degenerate} multidimensional stochastic differential equations with Sobolev diffusion coefficients and rough drifts. In particular, examples with H\"older diffusion coefficients are provided to show our results.


title: Weyl Degree of Freedom in The Nambu-Goto String Through Field Transformation

abstract: We show how Weyl degrees of freedom, can be introduced in the Nambu-Goto string in the path integral formulation using reparametrization invariant measure. We first identify Weyl degrees in conformal gauge using BFV formulation. Further we change Nambu-Goto string action to Polyakov action. The generating functional in light-cone gauge is then obtained from the generating func- tional corresponding to Polyakov action in conformal gauge by using suitably constructed finite field dependent BRST transformation.


title: A Generalized-Polymatroid Approach to Disjoint Common Independent Sets in Two Matroids

abstract: In this paper, we investigate the classes of matroid intersection admitting a solution for the problem of partitioning the ground set $E$ into $k$ common independent sets, where $E$ can be partitioned into $k$ independent sets in each of the two matroids. For this problem, we present a new approach building upon the generalized-polymatroid intersection theorem. We exhibit that this approach offers alternative proofs and unified understandings of previous results showing that the problem has a solution for the intersection of two laminar matroids and that of two matroids without $(k+1)$-spanned elements. Moreover, we newly show that the intersection of a laminar matroid and a matroid without $(k+1)$-spanned elements admits a solution. We also construct an example of a transversal matroid which is incompatible with the generalized-polymatroid approach.


title: Lyapunov exponents for some isotropic random matrix ensembles

abstract: A random matrix with rows distributed as a function of their length is said to be isotropic. When these distributions are Gaussian, beta type I, or beta type II, previous work has, from the viewpoint of integral geometry, obtained the explicit form of the distribution of the determinant. We use these result to evaluate the sum of the Lyapunov spectrum of the corresponding random matrix product, and we further give explicit expressions for the largest Lyapunov exponent. Generalisations to the case of complex or quaternion entries are also given. For standard Gaussian matrices $X$, the full Lyapunov spectrum for products of random matrices $I_N + {1 \over c} X$ is computed in terms of a generalised hypergeometric function in general, and in terms of a single single integral involving a modified Bessel function for the largest Lyapunov exponent.


title: Pairing origin of the pseudogap as observed in ARPES measurement in the underdoped cuprates

abstract: We show that electron pairing is indispensable for the development of the leading edge gap as observed in ARPES measurement in the underdoped cuprates, even though clear evidence for the violation of the particle-hole symmetry is found in the electron spectrum. To support this assertion, we studied the electron spectrum under the scattering of diffusive antiferromagnetic(AF) spin fluctuation, which is thought to be a major candidate for a competing order in the competing order scenario of the pseudogap phenomena. We find that the Fermi level crossing along the M=$(\pi,0)$ to X=$(\pi,\pi)$ line can only be avoided when the M point is pushed above the Fermi level in this scenario. We argue that the same conclusion holds in all competing order scenarios that preserve the U(1) charge conservation. The inconsistency between this prediction and the ARPES observation implies that a competing order in the particle-hole channel alone is not sufficient to explain the pseudogap as observed in ARPES measurement. We also find that the electron system always forms a single large Fermi surface under the scattering of short-ranged dynamical spin fluctuation, rather than forming small Fermi pockets as predicted by the AF band folding picture. The AF shadow band is smeared out in energy as a result of the dispersion in the scattered quasiparticle state and the diffusion in spin fluctuation energy. Nevertheless, we find that the AF band folding effect is important for the understanding of the quasiparticle dynamics in the pseudogap phase, especially, of the origin of the high energy hump structure in the anti-nodal region and the signature of particle-hole asymmetry in the electron spectrum.