title: Homogenisation On Homogeneous Spaces

abstract: Motivated by collapsing of Riemannian manifolds and inhomogeneous scaling of left invariant Riemannian metrics on a real Lie group $G$ with a sub-group $H$, we introduce a family of interpolation equations on $G$ with a parameter $\epsilon>0$, interpolating hypo-elliptic diffusions on $H$ and translates of exponential maps on $G$ and examine the dynamics as $\epsilon\to 0$. When $H$ is compact, we use the reductive homogeneous structure of Nomizu to extract a converging family of stochastic processes (converging on the time scale $\frac 1 \epsilon$), proving the convergence of the stochastic dynamics on the orbit spaces $G/H$ and their parallel translations, providing also an estimate on the rate of the convergence in the Wasserstein distance. Their limits are not necessarily Brownian motions and are classified algebraically by a Peter Weyl's theorem for real Lie groups and geometrically using a weak notion of the naturally reductive property; the classifications allow to conclude the Markov property of the limit process. This can be considered as `taking the adiabatic limit' of the differential operators ${\mathcal L}^\epsilon=\frac 1 {\epsilon} \sum_k (A_k)^2+ \frac 1{\epsilon} A_0+ Y_0$ where $Y_0, A_k$ are left invariant vector fields and $\{A_k\}$ generate the Lie-algebra of $H$.


title: Geometric classification of unital graph C*-algebras of real rank zero

abstract: We generalize the classification result of Restorff on Cuntz-Krieger algebras to cover all unital graph C*-algebras with real rank zero, showing that Morita equivalence in this case is determined by ordered, filtered K-theory as conjectured by three of the authors. The classification result is geometric in the sense that it establishes that any Morita equivalence between C*(E) and C*(F) in this class can be realized by a sequence of moves leading from E to F in a way resembling the role of Reidemeister moves on knots. As a key technical step, we prove that the so-called Cuntz splice leaves unital graph C*-algebras invariant up to Morita equivalence. We note that we have recently found a way to generalize the results of the present paper to cover general unital graph C*-algebras. The improved methods needed render some parts of the present paper obsolete, and hence we do not intend to publish it. Instead, we will present a complete solution (drawing heavily on many of the methods presented here) in a forthcoming paper.


title: Strong coupling between a trapped single atom and an all-fiber cavity

abstract: We demonstrate an all-fiber cavity QED system with a trapped single atom in the strong coupling regime. We use a nanofiber Fabry-Perot cavity, that is, an optical nanofiber sandwiched by two fiber-Bragg-grating mirrors. Measurements of the cavity transmission spectrum with a single atom in a state-insensitive nanofiber trap clearly reveal the vacuum Rabi splitting.


title: Synchrotron radiation from massless charge

abstract: Classical radiation power from an accelerated massive charge diverges in the zero-mass limit, while some general arguments suggest that strictly massless charge does not not radiate at all. On the other hand, the regularized classical radiation reaction force, though looking odd, is non-zero and finite. To clarify this controversy, we consider radiation problem in massless scalar quantum electrodynamics in the external magnetic field. In this framework, synchrotron radiation is found to be non-zero, finite, and essentially quantum. Its spectral distribution is calculated using Schwinger's proper time technique for {\em ab initio} massless particle of zero spin. Provided $E^2\gg eH$, the maximum in the spectrum is shown to be at $\hbar \omega=E/3$, and the average photon energy is $4E/9$. The normalized spectrum is universal, depending neither on $E$ nor on $H$. Quantum nature of radiation makes classical radiation reaction equation meaningless for massless charge. Our results are consistent with the view (supported by the renormalization group argument) that the correct classical limit of massless quantum electrodynamics is free theory.


title: Neutrino diffusion in the pasta phase matter within the Thomas-Fermi approach

abstract: The behavior and properties of neutrinos in non-uniform nuclear matter, surrounded by electrons and other neutrinos are studied. The nuclear matter itself is modeled by the non-linear Walecka model, where the so-called nuclear pasta phase is described using the Thomas-Fermi approximation, solved in a Wigner-Seitz cell. We obtain the total cross-section and mean-free path for the neutrinos, taking into account scattering and neutrino absorption, and compare the final results for two known kind of model parametrizations: one in which non-linear effects in the strong sector are explicitly written in the model Lagrangian and another one in which the coupling constants are density dependent. The solution for this problem is important for the understanding of neutrino diffusion in a newly born neutron star after a supernova explosion.


title: Solution of the inverse scattering problem by T-matrix completion. II. Simulations

abstract: This is Part II of the paper series on data-compatible T-matrix completion (DCTMC), which is a method for solving nonlinear inverse problems. Part I of the series contains theory and here we present simulations for inverse scattering of scalar waves. The underlying mathematical model is the scalar wave equation and the object function that is reconstructed is the medium susceptibility. The simulations are relevant to ultrasound tomographic imaging and seismic tomography. It is shown that DCTMC is a viable method for solving strongly nonlinear inverse problems with large data sets. It provides not only the overall shape of the object but the quantitative contrast, which can correspond, for instance, to the variable speed of sound in the imaged medium.


title: Cyclotomic structure in the topological Hochschild homology of $DX$

abstract: Let $X$ be a finite CW complex, and let $DX$ be its dual in the category of spectra. We demonstrate that the Poincar\'e/Koszul duality between $THH(DX)$ and the free loop space $\Sigma^\infty_+ LX$ is in fact a genuinely $S^1$-equivariant duality that preserves the $C_n$-fixed points. Our proof uses an elementary but surprisingly useful rigidity theorem for the geometric fixed point functor $\Phi^G$ of orthogonal $G$-spectra.


title: High Thermoelectric Powerfactor in Single and Few-Layer MoS$_2$

abstract: The quest for high-efficiency heat-to-electricity conversion has been one of the major driving forces towards renewable energy production for the future. Efficient thermoelectric devices require high voltage generation from a temperature gradient and a large electrical conductivity, while maintaining a low thermal conductivity. For a given thermal conductivity and temperature, the thermoelectric powerfactor is determined by the electronic structure of the material. Low dimensionality (1D and 2D) opens new routes to high powerfactor due to the unique density of states (DOS) of confined electrons and holes. 2D transition metal dichalcogenide (TMDC) semiconductors represent a new class of thermoelectric materials not only due to such confinement effects, but especially due to their large effective masses and valley degeneracies. Here we report a powerfactor of $MoS_2$ as large as $8.5 mWm^{-1}K^{-2}$ at room temperature, which is amongst the highest measured in traditional, gapped thermoelectric materials. To obtain these high powerfactors, we perform thermoelectric measurements on few-layer $MoS_2$ in the metallic regime, which allows us to access the 2D DOS near the conduction band edge and exploit the effect of 2D confinement on electron scattering rates, which result in a large Seebeck coefficient. The demonstrated high, electronically modulated powerfactor in 2D TMDCs holds promise for efficient thermoelectric energy conversion.


title: Magneto-optical transport properties of monolayer phosphorene

abstract: The electronic properties of monolayer phosphorene are exotic due to its puckered structure and large intrinsic direct band gap. We derive and discuss its band structure in the presence of a perpendicular magnetic field. Further, we evaluate the magneto-optical Hall and longitudinal optical conductivities, as functions of temperature, magnetic field, and Fermi energy, and show that they are strongly influenced by the magnetic field. The imaginary part of the former and the real part of the latter exhibit regular {\it interband} oscillations as functions of the frequency $\omega$ in the range $\hslash\omega\sim 1.5-2$ eV. Strong {\it intraband} responses in the latter and week ones in the former occur at much lower frequencies. The magneto-optical response can be tuned in the microwave-to-terahertz and visible frequency ranges in contrast with a conventional two-dimensional electron gas or graphene in which the response is limited to the terahertz regime. This ability to isolate carriers in an anisotropic structure may make phosphorene a promising candidate for new optical devices.


title: Tuning the Quantum Efficiency of Random Lasers - Intrinsic Stokes-Shift and Gain

abstract: We report the theoretical analysis for tuning the quantum efficiency of solid state random lasers. Vollhardt-Woelfle theory of photonic transport in disordered non-conserving and open random media, is coupled to lasing dynamics and solved positionally dependent. The interplay of non-linearity and homogeneous non-radiative frequency conversion by means of a Stokes-shift leads to a reduction of the quantum efficiency of the random laser. At the threshold a strong decrease of the spot-size in the stationary state is found due to the increase of non-radiative losses. The coherently emitted photon number per unit of modal surface is also strongly reduced. This result allows for the conclusion that Stokes-shifts are not sufficient to explain confined and extended mode regimes.

categories: physics.optics cond-mat.dis-nn cond-mat.mes-hall cond-mat.soft quant-ph


title: Glass formation in a mixture of hard disks and hard ellipses

abstract: We present an event-driven molecular dynamics study of glass formation in two-dimensional binary mixtures composed of hard disks and hard ellipses, where both types of particles have the same area. We demonstrate that characteristic glass-formation behavior appears upon compression under appropriate conditions in such systems. In particular, while a rotational glass transition occurs only for the ellipses, both types of particles undergo a kinetic arrest in the translational degrees of freedom at a single density. The translational dynamics for the ellipses is found to be faster than that for the disks within the same system, indicating that shape anisotropy promotes the translational motion of particles. We further examine the influence of mixture's composition and aspect ratio on the glass formation. For the mixtures with an ellipse aspect ratio of $k=2$, both translational and rotational glass transition densities decrease with increasing the disk concentration at a similar rate and hence, the two glass transitions remain close to each other at all concentrations investigated. By elevating $k$, however, the rotational glass transition density diminishes at a faster rate than the translational one, leading to the formation of an orientational glass for the ellipses between the two transitions. Our simulations imply that mixtures of particles with different shapes emerge as a promising model for probing the role of particle shape in determining the properties of glass-forming liquids. Furthermore, our work illustrates the potential of using knowledge concerning the dependence of glass-formation properties on mixture's composition and particle shape to assist in the rational design of amorphous materials.


title: Decay of Scale-Free Property in Birth-and-Death Network

abstract: Sorry, there are some calculation errors in this paper


title: Mathematical modeling and control of a tilt-rotor aircraft

abstract: This paper presents a novel model of large-size tilt-rotor aircraft, which can operate as a helicopter as well as being capable of transition to fixed-wing flight. Aerodynamics of the dynamic large-size tilt-rotors based on blade element method is analyzed during mode transition. For the large-size aircraft with turboshaft engines, the blade pitch angles of the rotors are regulated to vary according to the desired level of thrust, and the following expressions are formulated explicitly: rotor thrust and blade pitch angle, drag torque and blade pitch angle. A finite-time convergent observer based on Lyapunov function is developed to reconstruct the unknown variables and uncertainties during mode transitions. The merits of this design include the modeling of dynamic large-size tilt-rotor, ease of the uncertainties estimation during the tilting and the widely applications. Moreover, a switched logic controller based on the finite-time convergent observer is proposed to drive the aircraft to implement the mode transition with invariant flying height.


title: Extremal length functions are log-plurisubharmonic

abstract: In this paper, we show that the extremal length functions on Teichm\"uller space are log-plurisubharmonic. As a corollary, we obtain an alternative proof of L.Liu and W.Su's results on the plurisubharmonicity of extremal length functions. We also obtain alternative proofs of S.Krushkal's results that a function defined by the Teichm\"uller distance from a reference point is plurisubharmonic, and the Teichm\"uller space is hyperconvex. To show the log-plurisubharmonicity, we give an explicit formula of the Levi form of the extremal length functions in generic case.


title: Geographic Partitioning Techniques for the Anonymization of Health Care Data

abstract: Hospitals and health care organizations collect large amounts of detailed health care data that is in high demand by researchers. Thus, the possessors of such data are in need of methods that allow for this data to be released without compromising the confidentiality of the individuals to whom it pertains. As the geographic aspect of this data is becoming increasingly relevant for research being conducted, it is important for an \emph{anonymization} process to pay due attention to the geographic attributes of such data. In this paper, a novel system for health care data anonymization is presented. At the core of the system is the aggregation of an initial regionalization guided by the use of a Voronoi diagram. We conduct a comparison with another geographic-based system of anonymization, GeoLeader. We show that our system is capable of producing results of a comparable quality with a much faster running time.


title: State of matter at high density and entropy bounds

abstract: Entropy of all systems that we understand well is proportional to their volumes except for black holes given by their horizon area. This makes the microstates of any quantum theory of gravity drastically different from the ordinary matter. Because of the assumption that black holes are the maximum entropy states there have been many conjectures that put the area, defined one way or another, as a bound on the entropy in a given region of spacetime. Here we construct a simple model with entropy proportional to volume which exceeds the entropy of a single black hole. We show that a homogeneous cosmology filled with this gas exceeds one of the tightest entropy bounds, the covariant entropy bound and discuss the implications.


title: Low-Complexity Robust Adaptive Beamforming Algorithms Based on Shrinkage for Mismatch Estimation

abstract: In this paper, we propose low-complexity robust adaptive beamforming (RAB) techniques that based on shrinkage methods. The only prior knowledge required by the proposed algorithms are the angular sector in which the actual steering vector is located and the antenna array geometry. We firstly present a Low-Complexity Shrinkage-Based Mismatch Estimation (LOCSME) algorithm to estimate the desired signal steering vector mismatch, in which the interference-plus-noise covariance (INC) matrix is estimated with Oracle Approximating Shrinkage (OAS) method and the weights are computed with matrix inversions. We then develop low-cost stochastic gradient (SG) recursions to estimate the INC matrix and update the beamforming weights, resulting in the proposed LOCSME-SG algorithm. Simulation results show that both LOCSME and LOCSME-SG achieve very good output signal-to-interference-plus-noise ratio (SINR) compared to previously reported adaptive RAB algorithms.


title: Metrics with non-negative Ricci curvature on convex three-manifolds

abstract: We prove that the space of smooth Riemannian metrics on the three-ball with non-negative Ricci curvature and strictly convex boundary is path connected; and, moreover, that the associated moduli space (i.e., modulo orientation-preserving diffeomorphisms of the three-ball) is contractible. As an application, using results of Maximo, Nunes, and Smith [MNS13], we show the existence of properly embedded free boundary minimal annulus on any three-ball with non-negative Ricci curvature and strictly convex boundary.


title: Frequency-dependent effects of gravitational lensing within plasma

abstract: The interaction between refraction from a distribution of inhomogeneous plasma and gravitational lensing introduces novel effects to the paths of light rays passing by a massive object. The plasma contributes additional terms to the equations of motion, and the resulting ray trajectories are frequency-dependent. Lensing phenomena and circular orbits are investigated for plasma density distributions $N \propto 1/r^h$ with $h \geq 0$ in the Schwarzschild space-time. For rays passing by the mass near the plasma frequency refractive effects can dominate, effectively turning the gravitational lens into a mirror. We obtain the turning points, circular orbit radii, and angular momentum for general $h$. Previous results have shown that light rays behave like massive particles with an effective mass given by the plasma frequency for a constant density $h=0$. We study the behaviour for general $h$ and show that when $h=2$ the plasma term acts like an additional contribution to the angular momentum of the passing ray. When $h=3$ the potential and radii of circular orbits are analogous to those found in studies of massless scalar fields on the Schwarzschild background. As a physically motivated example we study the pulse profiles of a compact object with antipodal hotspots sheathed in a dense plasma, which shows dramatic frequency-dependent shifts from the behaviour in vacuum. Finally, we consider the potential observability and applications of such frequency-dependent plasma effects in general relativity for several types of neutron star.


title: Tracking Employment Shocks Using Mobile Phone Data

abstract: Can data from mobile phones be used to observe economic shocks and their consequences at multiple scales? Here we present novel methods to detect mass layoffs, identify individuals affected by them, and predict changes in aggregate unemployment rates using call detail records (CDRs) from mobile phones. Using the closure of a large manufacturing plant as a case study, we first describe a structural break model to correctly detect the date of a mass layoff and estimate its size. We then use a Bayesian classification model to identify affected individuals by observing changes in calling behavior following the plant's closure. For these affected individuals, we observe significant declines in social behavior and mobility following job loss. Using the features identified at the micro level, we show that the same changes in these calling behaviors, aggregated at the regional level, can improve forecasts of macro unemployment rates. These methods and results highlight promise of new data resources to measure micro economic behavior and improve estimates of critical economic indicators.


title: Seeing the Forest through the Trees: Adaptive Local Exploration of Large Graphs

abstract: Visualization is a powerful paradigm for exploratory data analysis. Visualizing large graphs, however, often results in a meaningless hairball. In this paper, we propose a different approach that helps the user adaptively explore large million-node graphs from a local perspective. For nodes that the user investigates, we propose to only show the neighbors with the most subjectively interesting neighborhoods. We contribute novel ideas to measure this interestingness in terms of how surprising a neighborhood is given the background distribution, as well as how well it fits the nodes the user chose to explore. We introduce FACETS, a fast and scalable method for visually exploring large graphs. By implementing our above ideas, it allows users to look into the forest through its trees. Empirical evaluation shows that our method works very well in practice, providing rankings of nodes that match interests of users. Moreover, as it scales linearly, FACETS is suited for the exploration of very large graphs.


title: Currents algebra for the two-sites Bose-Hubbard model

abstract: I present a currents algebra for the two-sites Bose-Hubbard model, generalize the Heisenberg equation of motion to write the second time derivative of the currents operators and use it to get the quantum dynamics of the currents. For different choices of the Hamiltonian parameters I get different currents dynamics and determine the period of the oscillations in function of the parameters.


title: Optimal Bayesian estimation in stochastic block models

abstract: With the advent of structured data in the form of social networks, genetic circuits and protein interaction networks, statistical analysis of networks has gained popularity over recent years. Stochastic block model constitutes a classical cluster-exhibiting random graph model for networks. There is a substantial amount of literature devoted to proposing strategies for estimating and inferring parameters of the model, both from classical and Bayesian viewpoints. Unlike the classical counterpart, there is however a dearth of theoretical results on the accuracy of estimation in the Bayesian setting. In this article, we undertake a theoretical investigation of the posterior distribution of the parameters in a stochastic block model. In particular, we show that one obtains optimal rates of posterior convergence with routinely used multinomial-Dirichlet priors on cluster indicators and uniform priors on the probabilities of the random edge indicators. En route, we develop geometric embedding techniques to exploit the lower dimensional structure of the parameter space which may be of independent interest.


title: An Empirical Evaluation of Current Convolutional Architectures' Ability to Manage Nuisance Location and Scale Variability

abstract: We conduct an empirical study to test the ability of Convolutional Neural Networks (CNNs) to reduce the effects of nuisance transformations of the input data, such as location, scale and aspect ratio. We isolate factors by adopting a common convolutional architecture either deployed globally on the image to compute class posterior distributions, or restricted locally to compute class conditional distributions given location, scale and aspect ratios of bounding boxes determined by proposal heuristics. In theory, averaging the latter should yield inferior performance compared to proper marginalization. Yet empirical evidence suggests the converse, leading us to conclude that - at the current level of complexity of convolutional architectures and scale of the data sets used to train them - CNNs are not very effective at marginalizing nuisance variability. We also quantify the effects of context on the overall classification task and its impact on the performance of CNNs, and propose improved sampling techniques for heuristic proposal schemes that improve end-to-end performance to state-of-the-art levels. We test our hypothesis on a classification task using the ImageNet Challenge benchmark and on a wide-baseline matching task using the Oxford and Fischer's datasets.


title: Nonlinear longitudinal current, generated by two transversal electromagnetic waves in collisionless plasma

abstract: Classical plasma with any degree degeneration of electronic gas is considered. In plasma two external electromagnetic field are propagation. It is required to find the plasma response on these fields. From kinetic Vlasov equation for collisionless plasmas distribution function in square-law approximation on sizes of intensivities of two electric fields is received. The formula for calculation electric current at any temperature (any degree of degeneration electronic gas) is deduced. This formula contains an one-dimensional quadrature. It is shown, that the nonlinearity account leads to occurrence the longitudinal electric current directed along a wave vector. This longitudinal current is perpendicular to known tranversal classical current, received at the linear analysis. The case of small values of wave number is considered. Graphic comparison of dimensionless size of the current depending on wave number and frequency of oscillation of the electromagnetic fields is carry out.


title: Tellurium vacancy in cadmium telluride revisited: size effects in the electronic properties

abstract: The quantum states and thermodynamical properties of the Te vacancy in CdTe are addressed by first principles calculations, including the supercell size and quasiparticle corrections. It is shown that the 64-atoms supercell calculation is not suitable to model the band structure of the isolated Te vacancy. This problem can be solved with a larger 216-atoms supercell, where the band structure of the defect seems to be a perturbation of that of the perfect crystal. It is interesting to note that the Te-vacancy formation energy calculated with both supercell sizes are close in energy, which is attributed to error cancelation. We also show that the interplay between supercell size effects and the band gap underestimation of the generalized gradient approximation strongly influences the predicted symmetry of some charge states.


title: Accelerating Very Deep Convolutional Networks for Classification and Detection

abstract: This paper aims to accelerate the test-time computation of convolutional neural networks (CNNs), especially very deep CNNs that have substantially impacted the computer vision community. Unlike previous methods that are designed for approximating linear filters or linear responses, our method takes the nonlinear units into account. We develop an effective solution to the resulting nonlinear optimization problem without the need of stochastic gradient descent (SGD). More importantly, while previous methods mainly focus on optimizing one or two layers, our nonlinear method enables an asymmetric reconstruction that reduces the rapidly accumulated error when multiple (e.g., >=10) layers are approximated. For the widely used very deep VGG-16 model, our method achieves a whole-model speedup of 4x with merely a 0.3% increase of top-5 error in ImageNet classification. Our 4x accelerated VGG-16 model also shows a graceful accuracy degradation for object detection when plugged into the Fast R-CNN detector.


title: Topological feature and phase structure of QCD at complex chemical potential

abstract: The pseudo-critical temperature of the confinement-deconfinement transition and the phase transition surface are investigated by using the complex chemical potential. We can interpret the imaginary chemical potential as the Aharonov-Bohm phase, then the analogy of the topological order suggests that the Roberge-Weiss endpoint would define the pseudo-critical temperature. The behavior of the Roberge-Weiss endpoint at small real quark chemical potential is investigated with the perturbative expansion. The expected QCD phase diagram at complex chemical potential is presented.


title: Boosting-like Deep Learning For Pedestrian Detection

abstract: This paper proposes boosting-like deep learning (BDL) framework for pedestrian detection. Due to overtraining on the limited training samples, overfitting is a major problem of deep learning. We incorporate a boosting-like technique into deep learning to weigh the training samples, and thus prevent overtraining in the iterative process. We theoretically give the details of derivation of our algorithm, and report the experimental results on open data sets showing that BDL achieves a better stable performance than the state-of-the-arts. Our approach achieves 15.85% and 3.81% reduction in the average miss rate compared with ACF and JointDeep on the largest Caltech benchmark dataset, respectively.


title: Reduced Dimensionality and Magnetic Frustration in KCr$_3$As$_3$

abstract: We study the electronic and magnetic structures of the newly-discovered compound KCr$_3$As$_3$. The non-magnetic state has five Fermi surface sheets involving respectively three quasi-one-dimensional and two three-dimensional energy bands. However, the ground state is magnetic, exhibiting a novel interlayer antiferromagnetic order where the basic block-spin state of a unit Cr triangle retains a high spin magnitude. Moreover, its Fermi surface involves three one-dimensional sheets only, providing evidence for local moments in this compound due to the reduced dimensionality. By fitting a twisted spin tube model the magnetic frustrations caused by local moments are found to be relaxed, leading to gapless spin excitations. A frustration-induced transition to the disordered low block-spin state is expected upon increasing the intralayer exchange interaction.


title: Solution space structure of random constraint satisfaction problems with growing domains

abstract: In this paper we study the solution space structure of model RB, a standard prototype of Constraint Satisfaction Problem (CSPs) with growing domains. Using rigorous the first and the second moment method, we show that in the solvable phase close to the satisfiability transition, solutions are clustered into exponential number of well-separated clusters, with each cluster contains sub-exponential number of solutions. As a consequence, the system has a clustering (dynamical) transition but no condensation transition. This picture of phase diagram is different from other classic random CSPs with fixed domain size, such as random K-Satisfiability (K-SAT) and graph coloring problems, where condensation transition exists and is distinct from satisfiability transition. Our result verifies the non-rigorous results obtained using cavity method from spin glass theory, and sheds light on the structures of solution spaces of problems with a large number of states.


title: Cosmological simulations with hydrodynamics of screened scalar-tensor gravity with non-universal coupling

abstract: In this paper we study the effects of letting the dark matter and the gas in the Universe couple to the scalar field of the symmetron model, a modified gravity theory, with varying coupling strength. We also search for a way to distinguish between universal and non-universal couplings in observations. The research is performed utilising a series of hydrodynamic, cosmological N-Body simulations, studying the resulting power spectra and galaxy halo properties, such as the density and temperature profiles. Results show that in the cases of universal couplings, the deviations in the baryon fraction from $\Lambda$CDM are smaller than in the cases of non-universal couplings throughout the halos. The same is apparent in the power spectrum baryon bias, defined as the ratio of gas to dark matter power spectrum. Deviations of the density profiles and power spectra from the $\Lambda$CDM reference values can differ significantly between dark matter and gas because the dark matter deviations are mostly larger than the deviations in the gas.


title: Solar Sources of $^{3}$He-rich Solar Energetic Particle Events in Solar Cycle 24

abstract: Using high-cadence extreme-ultraviolet (EUV) images obtained by the Atmospheric Imaging Assembly (AIA) on board the Solar Dynamics Observatory, we investigate the solar sources of 26 $^{3}$He-rich solar energetic particle (SEP) events at $\lesssim$1 MeV nucleon$^{-1}$ that were well-observed by the Advanced Composition Explorer during solar cycle 24. Identification of the solar sources is based on the association of $^{3}$He-rich events with type III radio bursts and electron events as observed by Wind. The source locations are further verified in EUV images from the Solar and Terrestrial Relations Observatory, which provides information on solar activities in the regions not visible from the Earth. Based on AIA observations, $^{3}$He-rich events are not only associated with coronal jets as emphasized in solar cycle 23 studies, but also with more spatially extended eruptions. The properties of the $^{3}$He-rich events do not appear to be strongly correlated with those of the source regions. As in the previous studies, the magnetic connection between the source region and the observer is not always reproduced adequately by the simple potential field source surface model combined with the Parker spiral. Instead, we find a broad longitudinal distribution of the source regions extending well beyond the west limb, with the longitude deviating significantly from that expected from the observed solar wind speed.


title: Lower bound on the number of non-simple closed geodesics on surfaces

abstract: We give a lower bound on the number of non-simple closed curves on a hyperbolic surface, given upper bounds on both length and self-intersection number. In particular, we carefully show how to construct closed geodesics on pairs of pants, and give a lower bound on the number of curves in this case. The lower bound for arbitrary surfaces follows from the lower bound on pairs of pants. This lower bound demonstrates that as the self-intersection number $K = K(L)$ goes from a constant to a quadratic function of $L$, the number of closed geodesics transitions from polynomial to exponential in $L$. We show upper bounds on the number of such geodesics in a subsequent paper.


title: Negative Probability Sampling in Study of Reflection Surface Electron Spectroscopy Spectrum

abstract: We propose a sampling method to include the negative contribution to probability density distribution in a sampling procedure. This sampling method is a universal solution for all negative probability problem and shows extraordinarily power in negative cross section problem. A Monte Carlo simulation including negative cross section contribution is developed and successfully preformed to simulate reflection electron energy loss spectroscopy (REELS) spectra for Ag and Au as examples. Excellent agreement is found between simulated spectra and experimental measurements. Notably improved fits to experimental REELS spectra in low energy loss range illustrate the method's strength as well as the necessity of negative cross section contribution.


title: MLlib: Machine Learning in Apache Spark

abstract: Apache Spark is a popular open-source platform for large-scale data processing that is well-suited for iterative machine learning tasks. In this paper we present MLlib, Spark's open-source distributed machine learning library. MLlib provides efficient functionality for a wide range of learning settings and includes several underlying statistical, optimization, and linear algebra primitives. Shipped with Spark, MLlib supports several languages and provides a high-level API that leverages Spark's rich ecosystem to simplify the development of end-to-end machine learning pipelines. MLlib has experienced a rapid growth due to its vibrant open-source community of over 140 contributors, and includes extensive documentation to support further growth and to let users quickly get up to speed.


title: Planet formation signposts: observability of circumplanetary disks via gas kinematics

abstract: The identification of on-going planet formation requires the finest angular resolutions and deepest sensitivities in observations inspired by state-of-the-art numerical simulations. Hydrodynamic simulations of planet-disk interactions predict the formation of circumplanetary disks (CPDs) around accreting planetary cores. These CPDs have eluded unequivocal detection -their identification requires predictions in CPD tracers. In this work, we aim to assess the observability of embedded CPDs with ALMA as features imprinted in the gas kinematics. We use 3D Smooth Particle Hydrodynamic (SPH) simulations of CPDs around 1 and 5 M_Jup planets at large stellocentric radii, in locally isothermal and adiabatic disks. The simulations are then connected with 3D radiative transfer for predictions in CO isotopologues. Observability is assessed by corrupting with realistic long baseline phase noise extracted from the recent HL Tau ALMA data. We find that the presence of a CPD produces distinct signposts: 1) compact emission separated in velocity from the overall circumstellar disk's Keplerian pattern, 2) a strong impact on the velocity pattern when the Doppler shifted line emission sweeps across the CPD location, and 3) a local increase in the velocity dispersion. We test our predictions with a simulation tailored for HD 100546 -which has a reported protoplanet candidate. We find that the CPDs are detectable in all 3 signposts with ALMA Cycle 3 capabilities for both 1 and 5 M_Jup protoplanets, when embedded in an isothermal disk.


title: Application of the Bethe-Salpeter Equation to Mesonic Atoms

abstract: We use quantum electrodynamics and the Bethe-Salpeter equation to calculate the bound state energies for a two-particle system comprised of a spin-0 and spin-1/2 particle. We generalize our treatment to include the finite size of the nucleus and of the meson and our results can be applied to kaonic and pionic atoms. Our treatment includes quantum electrodynamics and recoils corrections to all orders.


title: On the Reachability of Networked Systems

abstract: In this paper, we study networks of discrete-time linear time-invariant subsystems. Our focus is on situations where subsystems are connected to each other through a time-invariant topology and where there exists a base-station whose aim is to control the subsystems into any desired destinations. However, the base-station can only communicate with some of the subsystems that we refer to as leaders. There are no direct links between the base-station and the rest of subsystems, known as followers, as they are only able to liaise among themselves and with some of the leaders. The current paper formulates this framework as the well-known reachability problem for linear systems. Then to address this problem, we introduce notions of leader-reachability and base-reachability. We present algebraic conditions under which these notions hold. It turns out that if subsystems are represented by minimal state space representations, then base-reachability always holds. Hence, we focus on leader-reachability and investigate the corresponding conditions in detail. We further demonstrate that when the networked system parameters i.e. subsystems' parameters and interconnection matrices, assume generic values then the whole network is both leader-reachable and base-reachable.


title: An Improved Combinatorial Algorithm for Boolean Matrix Multiplication

abstract: We present a new combinatorial algorithm for triangle finding and Boolean matrix multiplication that runs in $\hat{O}(n^3/\log^4 n)$ time, where the $\hat{O}$ notation suppresses poly(loglog) factors. This improves the previous best combinatorial algorithm by Chan that runs in $\hat{O}(n^3/\log^3 n)$ time. Our algorithm generalizes the divide-and-conquer strategy of Chan's algorithm. Moreover, we propose a general framework for detecting triangles in graphs and computing Boolean matrix multiplication. Roughly speaking, if we can find the "easy parts" of a given instance efficiently, we can solve the whole problem faster than $n^3$.


title: Optimizing Non-decomposable Performance Measures: A Tale of Two Classes

abstract: Modern classification problems frequently present mild to severe label imbalance as well as specific requirements on classification characteristics, and require optimizing performance measures that are non-decomposable over the dataset, such as F-measure. Such measures have spurred much interest and pose specific challenges to learning algorithms since their non-additive nature precludes a direct application of well-studied large scale optimization methods such as stochastic gradient descent. In this paper we reveal that for two large families of performance measures that can be expressed as functions of true positive/negative rates, it is indeed possible to implement point stochastic updates. The families we consider are concave and pseudo-linear functions of TPR, TNR which cover several popularly used performance measures such as F-measure, G-mean and H-mean. Our core contribution is an adaptive linearization scheme for these families, using which we develop optimization techniques that enable truly point-based stochastic updates. For concave performance measures we propose SPADE, a stochastic primal dual solver; for pseudo-linear measures we propose STAMP, a stochastic alternate maximization procedure. Both methods have crisp convergence guarantees, demonstrate significant speedups over existing methods - often by an order of magnitude or more, and give similar or more accurate predictions on test data.


title: Surrogate Functions for Maximizing Precision at the Top

abstract: The problem of maximizing precision at the top of a ranked list, often dubbed Precision@k (prec@k), finds relevance in myriad learning applications such as ranking, multi-label classification, and learning with severe label imbalance. However, despite its popularity, there exist significant gaps in our understanding of this problem and its associated performance measure. The most notable of these is the lack of a convex upper bounding surrogate for prec@k. We also lack scalable perceptron and stochastic gradient descent algorithms for optimizing this performance measure. In this paper we make key contributions in these directions. At the heart of our results is a family of truly upper bounding surrogates for prec@k. These surrogates are motivated in a principled manner and enjoy attractive properties such as consistency to prec@k under various natural margin/noise conditions. These surrogates are then used to design a class of novel perceptron algorithms for optimizing prec@k with provable mistake bounds. We also devise scalable stochastic gradient descent style methods for this problem with provable convergence bounds. Our proofs rely on novel uniform convergence bounds which require an in-depth analysis of the structural properties of prec@k and its surrogates. We conclude with experimental results comparing our algorithms with state-of-the-art cutting plane and stochastic gradient algorithms for maximizing prec@k.


title: Discrete Independent Component Analysis (DICA) with Belief Propagation

abstract: We apply belief propagation to a Bayesian bipartite graph composed of discrete independent hidden variables and discrete visible variables. The network is the Discrete counterpart of Independent Component Analysis (DICA) and it is manipulated in a factor graph form for inference and learning. A full set of simulations is reported for character images from the MNIST dataset. The results show that the factorial code implemented by the sources contributes to build a good generative model for the data that can be used in various inference modes.


title: Powering the Next Billion Devices with Wi-Fi

abstract: We present the first power over Wi-Fi system that delivers power and works with existing Wi-Fi chipsets. Specifically, we show that a ubiquitous piece of wireless communication infrastructure, the Wi-Fi router, can provide far field wireless power without compromising the network's communication performance. Building on our design we prototype, for the first time, battery-free temperature and camera sensors that are powered using Wi-Fi chipsets with ranges of 20 and 17 feet respectively. We also demonstrate the ability to wirelessly recharge nickel-metal hydride and lithium-ion coin-cell batteries at distances of up to 28 feet. Finally, we deploy our system in six homes in a metropolitan area and show that our design can successfully deliver power via Wi-Fi in real-world network conditions.


title: Representing Meaning with a Combination of Logical and Distributional Models

abstract: NLP tasks differ in the semantic information they require, and at this time no single se- mantic representation fulfills all requirements. Logic-based representations characterize sentence structure, but do not capture the graded aspect of meaning. Distributional models give graded similarity ratings for words and phrases, but do not capture sentence structure in the same detail as logic-based approaches. So it has been argued that the two are complementary. We adopt a hybrid approach that combines logic-based and distributional semantics through probabilistic logic inference in Markov Logic Networks (MLNs). In this paper, we focus on the three components of a practical system integrating logical and distributional models: 1) Parsing and task representation is the logic-based part where input problems are represented in probabilistic logic. This is quite different from representing them in standard first-order logic. 2) For knowledge base construction we form weighted inference rules. We integrate and compare distributional information with other sources, notably WordNet and an existing paraphrase collection. In particular, we use our system to evaluate distributional lexical entailment approaches. We use a variant of Robinson resolution to determine the necessary inference rules. More sources can easily be added by mapping them to logical rules; our system learns a resource-specific weight that corrects for scaling differences between resources. 3) In discussing probabilistic inference, we show how to solve the inference problems efficiently. To evaluate our approach, we use the task of textual entailment (RTE), which can utilize the strengths of both logic-based and distributional representations. In particular we focus on the SICK dataset, where we achieve state-of-the-art results.


title: The clustering of radio galaxies: biasing and evolution versus stellar mass

abstract: We study the angular clustering of $\sim 6\times 10^5$ NVSS sources on scales $\gtrsim 50 h^{-1}$ Mpc in the context of the $\Lambda$CDM scenario. The analysis partially relies on the redshift distribution of 131 radio galaxies, inferred from the Hercules and CENSORS survey, and an empirical fit to the stellar to halo mass (SHM) relation. For redshifts $z\lesssim 0.7$, the fraction of radio activity versus stellar mass evolves as $f_{_{\rm RL}}\sim M_*^{\alpha_0+\alpha_1 z}$ where $\alpha_0=2.529{\pm0.184}$ and $\alpha_1=1.854^{+0.708}_{-0.761}$. The estimate on $\alpha_0$ is largely driven by the results of Best et al. (2005), while the constraint on $\alpha_1$ is new. We derive a biasing factor $b(z=0.5)=2.093^{+0.164}_{-0.109}$ between radio galaxies and the underlying mass.The function $b(z)=0.33z^2+0.85 z +1.6$ fits well the redshift dependence. We also provide convenient parametric forms for the redshift dependent radio luminosity function, which are consistent with the redshift distribution and the NVSS source count versus flux.


title: Proceedings 8th International Workshop on Computing with Terms and Graphs

abstract: This volume contains the post-proceedings of the 8th International Workshop on Computing with Terms and Graphs (TERMGRAPH 2014). The workshop took place in Vienna on July 13, 2014 and was affiliated with the joint RTA and TLCA conference, which was part of the Federated Logic Conference (FLoC), which in turn participated in the Vienna Summer of Logic (VSL) 2014. The four regular papers in these proceedings are significantly extended versions of their pre-proceedings version. They were subjected to an additional round of reviewing. The paper by Samuel Mimram is an invited contribution.


title: Coalgebraic Infinite Traces and Kleisli Simulations

abstract: Kleisli simulation is a categorical notion introduced by Hasuo to verify finite trace inclusion. They allow us to give definitions of forward and backward simulation for various types of systems. A generic categorical theory behind Kleisli simulation has been developed and it guarantees the soundness of those simulations with respect to finite trace semantics. Moreover, those simulations can be aided by forward partial execution (FPE)---a categorical transformation of systems previously introduced by the authors. In this paper, we give Kleisli simulation a theoretical foundation that assures its soundness also with respect to infinitary traces. There, following Jacobs' work, infinitary trace semantics is characterized as the "largest homomorphism." It turns out that soundness of forward simulations is rather straightforward; that of backward simulation holds too, although it requires certain additional conditions and its proof is more involved. We also show that FPE can be successfully employed in the infinitary trace setting to enhance the applicability of Kleisli simulations as witnesses of trace inclusion. Our framework is parameterized in the monad for branching as well as in the functor for linear-time behaviors; for the former we mainly use the powerset monad (for nondeterminism), the sub-Giry monad (for probability), and the lift monad (for exception).


title: Quantum correlations in Ising-XYZ diamond chain structure under an external magnetic field

abstract: In this paper, we consider an entangled Ising-XYZ diamond chain structure. Quantum correlations for this model is investigated by using of quantum discord and trace distance discord. Quantum correlations is obtained for different values of the anisotropy parameter, magnetic field and temperature. By comparison between quantum correlations, we show trace distance discord is always larger than quantum discord. Finally, some novel effects, such as increasing the quantum correlations with temperature and constructive role of anisotropy parameter which may paly to the quantum correlations were observed.


title: Deep Ranking for Person Re-identification via Joint Representation Learning

abstract: This paper proposes a novel approach to person re-identification, a fundamental task in distributed multi-camera surveillance systems. Although a variety of powerful algorithms have been presented in the past few years, most of them usually focus on designing hand-crafted features and learning metrics either individually or sequentially. Different from previous works, we formulate a unified deep ranking framework that jointly tackles both of these key components to maximize their strengths. We start from the principle that the correct match of the probe image should be positioned in the top rank within the whole gallery set. An effective learning-to-rank algorithm is proposed to minimize the cost corresponding to the ranking disorders of the gallery. The ranking model is solved with a deep convolutional neural network (CNN) that builds the relation between input image pairs and their similarity scores through joint representation learning directly from raw image pixels. The proposed framework allows us to get rid of feature engineering and does not rely on any assumption. An extensive comparative evaluation is given, demonstrating that our approach significantly outperforms all state-of-the-art approaches, including both traditional and CNN-based methods on the challenging VIPeR, CUHK-01 and CAVIAR4REID datasets. Additionally, our approach has better ability to generalize across datasets without fine-tuning.


title: Multiresolution finite element method based on a new locking-free rectangular Mindlin plate element

abstract: A locking-free rectangular Mindlin plate element with a new multi-resolution analysis (MRA) is proposed and a new finite element method is hence presented. The MRA framework is formulated out of a mutually nesting displacement subspace sequence whose basis functions are constructed of scaling and shifting on the element domain of basic node shape function. The basic node shape function is constructed by extending the node shape function of a traditional Mindlin plate element to other three quadrants around the coordinate zero point. As a result, a new rational MRA concept together with the resolution level (RL) is constituted for the element. The traditional 4-node rectangular Mindlin plate element and method is a mono-resolution one and also a special case of the proposed element and method. The meshing for the monoresolution plate element model is based on the empiricism while the RL adjusting for the multiresolution is laid on the rigorous mathematical basis. The analysis clarity of a plate structure is actually determined by the RL, not by the mesh. Thus, the accuracy of a plate structural analysis is replaced by the clarity, the irrational MRA by the rational and the mesh model by the RL that is the discretized model by the integrated.


title: High-$T_c$ $d^{0}$ ferromagnetism in a doped Mott insulator: the case of hydrogenated epitaxial graphene on SiC(0001)

abstract: We show that the $d^{0}$ ferromagnetism with high Curie temperature ($T_c$) can be achieved in the electron doped hydrogenated epitaxial graphene on some certain SiC substrates through first-principles calculations. The pristine systems are found to be a Mott insulator independent of SiC polytypes (2$H$, 4$H$ or 6$H$) which, however, play a significant role in the modulation of magnetic interaction. Carrier doping enhances the ferromagnetic coupling due to the double exchange mechanism and thus realizes the phase transition from antiferromagnetism to ferromagnetism. A $T_c$ of around 400 K is predicted on the 2$H$-SiC. We employ a non-degenerate Hubbard model to demonstrate how the SiC affects the interfacial magnetism in intra-atomic Coulomb repulsion and intersite hopping interactions.


title: Absence of Spin Liquid in the Hubbard model on the Honeycomb Lattice

abstract: The possible emergence of a spin liquid phase in the half-filled Hubbard model on the honeycomb lattice; a simple model of graphene, is studied using the variational cluster approximation. We found that the critical interaction strength of a magnetic transition is slightly lower than that of the non-magnetic metal-to-insulator transition. Thus a semi-metallic state becomes a magnetic insulator as the interaction strength increases and a non-magnetic insulating state does not occur. Therefore a spin liquid state characterized by an insulating state without long range order, is not realized in this system.


title: Experimental generalized contextuality with single-photon qubits

abstract: Contextuality is a phenomenon at the heart of the quantum mechanical departure from classical behaviour, and has been recently identified as a resource in quantum computation. Experimental demonstration of contextuality is thus an important goal. The traditional form of contextuality -- as violation of a Kochen-Specker inequality -- requires a quantum system with at least three levels, and the status of the assumption of determinism used in deriving those inequalities has been controversial. By considering `unsharp' observables, Liang, Spekkens and Wiseman (LSW) derived an inequality for generalized noncontextual models that doesn't assume determinism, and applies already to a qubit. We experimentally implement the LSW test using the polarization states of a heralded single photon and three unsharp binary measurements. We violate the LSW inequality by more than 16 standard deviations, thus showing that our results cannot be reproduced by a noncontextual subset of quantum theory.


title: Magnetic Structure and Dynamics of the Erupting Solar Polar Crown Prominence on 2012 March 12

abstract: We present an investigation of the polar crown prominence that erupted on 2012 March 12. This prominence is observed at the southeast limb by SDO/AIA (end-on view) and displays a quasi vertical-thread structure. Bright U-shape/horn-like structure is observed surrounding the upper portion of the prominence at 171 angstrom before the eruption and becomes more prominent during the eruption. The disk view of STEREO-B shows that this long prominence is composed of a series of vertical threads and displays a half loop-like structure during the eruption. We focus on the magnetic support of the prominence vertical threads by studying the structure and dynamics of the prominence before and during the eruption using observations from SDO and STEREO-B. We also construct a series of magnetic field models (sheared arcade model, twisted flux rope model, and unstable model with hyperbolic flux tube (HFT)). Various observational characteristics appear to be in favor of the twisted flux rope model. We find that the flux rope supporting the prominence enters the regime of torus instability at the onset of the fast rise phase, and signatures of reconnection (post-eruption arcade, new U-shape structure, rising blobs) appear about one hour later. During the eruption, AIA observes dark ribbons seen in absorption at 171 angstrom corresponding to the bright ribbons shown at 304 angstrom, which might be caused by the erupting filament material falling back along the newly reconfigured magnetic fields. Brightenings at the inner edge of the erupting prominence arcade are also observed in all AIA EUV channels, which might be caused by the heating due to energy released from reconnection below the rising prominence.


title: Kriging Interpolating Cosmic Velocity Field

abstract: [abridged] Volume-weighted statistics of large scale peculiar velocity is preferred by peculiar velocity cosmology, since it is free of uncertainties of galaxy density bias entangled in mass-weighted statistics. However, measuring the volume-weighted velocity statistics from galaxy (halo/simulation particle) velocity data is challenging. For the first time, we apply the Kriging interpolation to obtain the volume-weighted velocity field. Kriging is a minimum variance estimator. It predicts the most likely velocity for each place based on the velocity at other places. We test the performance of Kriging quantified by the E-mode velocity power spectrum from simulations. Dependences on the variogram prior used in Kriging, the number $n_k$ of the nearby particles to interpolate and the density $n_P$ of the observed sample are investigated. First, we find that Kriging induces $1\%$ and $3\%$ systematics at $k\sim 0.1h{\rm Mpc}^{-1}$ when $n_P\sim 6\times 10^{-2} ({\rm Mpc}/h)^{-3}$ and $n_P\sim 6\times 10^{-3} ({\rm Mpc}/h)^{-3}$, respectively. The deviation increases for decreasing $n_P$ and increasing $k$. When $n_P\lesssim 6\times 10^{-4} ({\rm Mpc}/h)^{-3}$, a smoothing effect dominates small scales, causing significant underestimation of the velocity power spectrum. Second, increasing $n_k$ helps to recover small scale power. However, for $n_P\lesssim 6\times 10^{-4} ({\rm Mpc}/h)^{-3}$ cases, the recovery is limited. Finally, Kriging is more sensitive to the variogram prior for lower sample density. The most straightforward application of Kriging on the cosmic velocity field does not show obvious advantages over the nearest-particle method (Zheng et al. 2013) and could not be directly applied to cosmology so far. However, whether potential improvements may be achieved by more delicate versions of Kriging is worth further investigation.


title: Power Flow Modelling of Dynamic Systems - Introduction to Modern Teaching Tools

abstract: As tools for dynamic system modelling both conventional methods such as transfer function or state space representation and modern power flow based methods are available. The latter methods do not depend on energy domain, are able to preserve physical system structures, visualize power conversion or coupling or split, identify power losses or storage, run on conventional software and emphasize the relevance of energy as basic principle of known physical domains. Nevertheless common control structures as well as analysis and design tools may still be applied. Furthermore the generalization of power flow methods as pseudo-power flow provides with a universal tool for any dynamic modelling. The phenomenon of power flow constitutes an up to date education methodology. Thus the paper summarizes fundamentals of selected power flow oriented modelling methods, presents a Bond Graph block library for teaching power oriented modelling as compact menu-driven freeware, introduces selected examples and discusses special features.


title: On the Peterlin approximation for turbulent flows of polymer solutions

abstract: We study the impact of the Peterlin approximation on the statistics of the end-to-end separation of poly- mers in a turbulent flow. The FENE and FENE-P models are numerically integrated along a large number of Lagrangian trajectories resulting from a direct numerical simulation of three-dimensional homogeneous isotropic turbulence. Although the FENE-P model yields results in qualitative agreement with those of the FENE model, quantitative differences emerge. The steady-state probability of large extensions is overesti- mated by the FENE-P model. The alignment of polymers with the eigenvectors of the rate-of-strain tensor and with the direction of vorticity is weaker when the Peterlin approximation is used. At large Weissenberg numbers, both the correlation times of the extension and of the orientation of polymers are underestimated by the FENE-P model.


title: Effects of ferroelectric polarization on surface phase diagram: an evolutionary algorithm study of the BaTiO$_{3}$(001) surface

abstract: We have constructed the surface phase diagram of the BaTiO$_{3}$(001) surface by employing an evolutionary algorithm for surface structure prediction, where the ferroelectric polarization is included as a degree of freedom. Among over 1000 candidate structures explored, a surface reconstruction of (2$\times$1)-TiO is discovered to be thermodynamically stable and have the \emph{p2mm} plane group symmetry as observed experimentally. We find that the influence of ferroelectric polarization on the surface free energy can be either negligibly small or sizably large (over 1 eV per ($2 \times 1$) supercell), depending strongly on the surface structure and resulting in a significant distinction of surface phase diagram with varying ferroelectric polarization. It is therefore feasible to control the surface stability by applying an external electric field. Our results may have important implications in understanding the surface reconstruction of ferroelectric materials and tuning surface properties.


title: Can extra dimensional effects allow wormholes without exotic matter?

abstract: We explore the existence of Lorentzian wormholes in the context of an effective on-brane, scalar-tensor theory of gravity. In such theories, the timelike convergence condition, which is always violated for wormholes, has contributions, via the field equations,from on-brane matter as well as from an effective geometric stress energy generated by a bulk-induced radion field. It is shown that, for a class of wormholes, the required on-brane matter, as seen by an on-brane observer in the Jordan frame, is not exotic and does not violate the Weak Energy Condition. The presence of the effective geometric stress energy in addition to on-brane matter, is largely responsible for creating this intriguing possibility. Thus, if such wormholes are ever found to exist in the Universe, they would clearly provide pointers towards the existence of a warped extra dimension as proposed in the two-brane model of Randall and Sundrum.


title: Searching Multiregression Dynamic Models of Resting-State fMRI Networks Using Integer Programming

abstract: A Multiregression Dynamic Model (MDM) is a class of multivariate time series that represents various dynamic causal processes in a graphical way. One of the advantages of this class is that, in contrast to many other Dynamic Bayesian Networks, the hypothesised relationships accommodate conditional conjugate inference. We demonstrate for the first time how straightforward it is to search over all possible connectivity networks with dynamically changing intensity of transmission to find the Maximum a Posteriori Probability (MAP) model within this class. This search method is made feasible by using a novel application of an Integer Programming algorithm. The efficacy of applying this particular class of dynamic models to this domain is shown and more specifically the computational efficiency of a corresponding search of 11-node Directed Acyclic Graph (DAG) model space. We proceed to show how diagnostic methods, analogous to those defined for static Bayesian Networks, can be used to suggest embellishment of the model class to extend the process of model selection. All methods are illustrated using simulated and real resting-state functional Magnetic Resonance Imaging (fMRI) data.


title: On non-periodic tilings of the real line by a function

abstract: It is known that a positive, compactly supported function $f \in L^1(\mathbb R)$ can tile by translations only if the translation set is a finite union of periodic sets. We prove that this is not the case if $f$ is allowed to have unbounded support. On the other hand we also show that if the translation set has finite local complexity, then it must be periodic, even if the support of $f$ is unbounded.


title: Conformal type of ends of revolution in space forms of constant sectional curvature

abstract: In this paper we consider the conformal type (parabolicity or non-parabolicity) of complete ends of revolution immersed in simply connected space forms of constant sectional curvature. We show that any complete end of revolution in the $3$-dimensional Euclidean space or in the $3$-dimensional sphere is parabolic. In the case of ends of revolution in the hyperbolic $3$-dimensional space, we find sufficient conditions to attain parabolicity for complete ends of revolution using their relative position to the complete flat surfaces of revolution.


title: On the First Singularity for the Upsilon Invariant of Algebraic Knots

abstract: We show that the location of the first singularity of the Upsilon function of an algebraic knot is determined by the first term of its Puiseux characteristic sequence. In many cases this gives better bounds than the tau invariant on the genus of a cobordism between algebraic knots.


title: Unauthorized Cross-App Resource Access on MAC OS X and iOS

abstract: On modern operating systems, applications under the same user are separated from each other, for the purpose of protecting them against malware and compromised programs. Given the complexity of today's OSes, less clear is whether such isolation is effective against different kind of cross-app resource access attacks (called XARA in our research). To better understand the problem, on the less-studied Apple platforms, we conducted a systematic security analysis on MAC OS~X and iOS. Our research leads to the discovery of a series of high-impact security weaknesses, which enable a sandboxed malicious app, approved by the Apple Stores, to gain unauthorized access to other apps' sensitive data. More specifically, we found that the inter-app interaction services, including the keychain, WebSocket and NSConnection on OS~X and URL Scheme on the MAC OS and iOS, can all be exploited by the malware to steal such confidential information as the passwords for iCloud, email and bank, and the secret token of Evernote. Further, the design of the app sandbox on OS~X was found to be vulnerable, exposing an app's private directory to the sandboxed malware that hijacks its Apple Bundle ID. As a result, sensitive user data, like the notes and user contacts under Evernote and photos under WeChat, have all been disclosed. Fundamentally, these problems are caused by the lack of app-to-app and app-to-OS authentications. To better understand their impacts, we developed a scanner that automatically analyzes the binaries of MAC OS and iOS apps to determine whether proper protection is missing in their code. Running it on hundreds of binaries, we confirmed the pervasiveness of the weaknesses among high-impact Apple apps. Since the issues may not be easily fixed, we built a simple program that detects exploit attempts on OS~X, helping protect vulnerable apps before the problems can be fully addressed.


title: Representation zeta functions of some nilpotent groups associated to prehomogeneous vector spaces

abstract: We compute the representation zeta functions of some finitely generated nilpotent groups associated to unipotent group schemes over rings of integers in number fields. These group schemes are defined by Lie lattices whose presentations are modelled on certain prehomogeneous vector spaces. Our method is based on evaluating $\mathfrak{p}$-adic integrals associated to certain rank varieties of matrices of linear forms.


title: An Extraordinary Mass Invariant and an Obstruction in a Massive Superspin One Half Model made with a Chiral Dotted Spinor Superfield

abstract: An earlier paper introduced an action for a new kind of irreducible massive superspin one half multiplet, using BRST cohomological techniques including `BRST Recycling'. A mass term was introduced in the earlier paper. A second mass term is discussed in this paper. This new mass invariant is an `Extraordinary Invariant'--it has Zinn sources in it. The natural treatment for this situation is to `Complete the Action' so that the new action yields zero for the BRST Poisson Bracket. In the present case, this Completion meets a BRST Obstruction. Setting the coefficient of this `Completion Obstruction' to zero restores the massive superspin one half supermultiplet with a new mass made from the two mass terms. Usually an Obstruction appears as an Anomaly at one loop perturbation theory, but this is a different mechanism to produce it.


title: (p,q)-Generalization of Szasz-Mirakyan Operators

abstract: In this paper, we introduce new modifications of Szasz-Mirakyan operators based on (p,q)-integers. We first give a recurrence relation for the moments of new operators and present explicit formula for the moments and central moments up to order 4. Some approximation properties of new operators are explored: the uniform convergence over bounded and unbounded intervals is established, direct approximation properties of the operators in terms of the moduli of smoothness is obtained and Voronovskaya theorem is presented. For the particular case p=1, the previous results for q-Szasz-Mirakyan operators are captured.


title: A max-cut formulation of 0/1 programs

abstract: We show that the linear or quadratic 0/1 program\[P:\quad\min\{ c^Tx+x^TFx : \:A\,x =b;\:x\in\{0,1\}^n\},\]can be formulated as a MAX-CUT problem whose associated graph is simply related to the matrices $\F$ and $\A^T\A$.Hence the whole arsenal of approximation techniques for MAX-CUT can be applied. We also compare the lower boundof the resulting semidefinite (or Shor) relaxation with that of the standard LP-relaxation and the first semidefinite relaxationsassociated with the Lasserre hierarchy and the copositive formulations of $P$.


title: Successive Concave Sparsity Approximation for Compressed Sensing

abstract: In this paper, based on a successively accuracy-increasing approximation of the $\ell_0$ norm, we propose a new algorithm for recovery of sparse vectors from underdetermined measurements. The approximations are realized with a certain class of concave functions that aggressively induce sparsity and their closeness to the $\ell_0$ norm can be controlled. We prove that the series of the approximations asymptotically coincides with the $\ell_1$ and $\ell_0$ norms when the approximation accuracy changes from the worst fitting to the best fitting. When measurements are noise-free, an optimization scheme is proposed which leads to a number of weighted $\ell_1$ minimization programs, whereas, in the presence of noise, we propose two iterative thresholding methods that are computationally appealing. A convergence guarantee for the iterative thresholding method is provided, and, for a particular function in the class of the approximating functions, we derive the closed-form thresholding operator. We further present some theoretical analyses via the restricted isometry, null space, and spherical section properties. Our extensive numerical simulations indicate that the proposed algorithm closely follows the performance of the oracle estimator for a range of sparsity levels wider than those of the state-of-the-art algorithms.


title: An algebraic method to check the singularity-free paths for parallel robots

abstract: Trajectory planning is a critical step while programming the parallel manipulators in a robotic cell. The main problem arises when there exists a singular configuration between the two poses of the end-effectors while discretizing the path with a classical approach. This paper presents an algebraic method to check the feasibility of any given trajectories in the workspace. The solutions of the polynomial equations associated with the tra-jectories are projected in the joint space using Gr{\"o}bner based elimination methods and the remaining equations are expressed in a parametric form where the articular variables are functions of time t unlike any numerical or discretization method. These formal computations allow to write the Jacobian of the manip-ulator as a function of time and to check if its determinant can vanish between two poses. Another benefit of this approach is to use a largest workspace with a more complex shape than a cube, cylinder or sphere. For the Orthoglide, a three degrees of freedom parallel robot, three different trajectories are used to illustrate this method.


title: Scattering of Nucleons in the Classical Skyrme Model

abstract: Classically spinning B=1 Skyrmions can be regarded as approximations to nucleons with quantised spin. Here, we investigate nucleon-nucleon scattering through numerical collisions of spinning Skyrmions. We identify the dineutron/diproton and dibaryon short-lived resonance states, and also the stable deuteron state. Our simulations lead to predictions for the polarisation states occurring in right angle scattering. Videos of our numerical results are shown at http://www.bristoltheory.org/people/david.foster/skyrmevideos/.


title: Anomalous Quantum Transport Properties in Semimetallic Black Phosphorus

abstract: Magnetoresistance in single crystals of black phosphorus is studied at ambient and hydrostatic pressures. In the semiconducting states at pressures below 0.71 GPa, the magnetoresistance shows periodic oscillations, which can be ascribed to the magneto-phonon resonance that is characteristic of high mobility semiconductors. In the metallic state above 1.64 GPa, the both transverse and longitudinal magnetoresistance show titanic increase with exhibiting superposed Shubnikov-de Haas oscillations. The observed small Fermi surfaces, high mobilities and light effective masses of carriers in semimetallic black phosphorus are comparable to those in the representative elemental semimetals of bismuth and graphite.


title: Kinematic Analysis and Trajectory Planning of the Orthoglide 5-axis

abstract: The subject of this paper is about the kinematic analysis and the trajectory planning of the Orthoglide 5-axis. The Orthoglide 5-axis a five degrees of freedom parallel kinematic machine developed at IRCCyN and is made up of a hybrid architecture, namely, a three degrees of freedom translational parallel manip-ulator mounted in series with a two degrees of freedom parallel spherical wrist. The simpler the kinematic modeling of the Or-thoglide 5-axis, the higher the maximum frequency of its control loop. Indeed, the control loop of a parallel kinematic machine should be computed with a high frequency, i.e., higher than 1.5 MHz, in order the manipulator to be able to reach high speed motions with a good accuracy. Accordingly, the direct and inverse kinematic models of the Orthoglide 5-axis, its inverse kine-matic Jacobian matrix and the first derivative of the latter with respect to time are expressed in this paper. It appears that the kinematic model of the manipulator under study can be written in a quadratic form due to the hybrid architecture of the Orthoglide 5-axis. As illustrative examples, the profiles of the actuated joint angles (lengths), velocities and accelerations that are used in the control loop of the robot are traced for two test trajectories.


title: Effect of milk fat content on the viscoelasticity of mozzarella-type cheese curds

abstract: The effect of fat content in cheese curds on their rheological properties was examined using dynamic shear measurements. Surplus fat addition to milk samples caused two distinct types of changes in the temperature dependence of the viscoelastic moduli of resultant curds. The first was a significant reduction in the moduli over a wide temperature range, which is attributed to the presence of liquefied fat globules within the milk protein network. The second was the excess contribution to the low-temperature moduli owing to the reinforcing effect of solidified fat globules. An upward shift in the sol-gel phase transition temperature driven by an increased fat content was also observed.

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


title: Noncentrosymmetric plasmon modes and giant terahertz photocurrent in a two-dimensional plasmonic crystal

abstract: We introduce and theoretically study the plasmon-photogalvanic effect in the planar noncentrosymmetric plasmonic crystal containing a homogeneous two-dimensional electron system gated by a periodic metal grating with an asymmetric unit cell. The plasmon-photogalvanic DC current arises due to the two-dimensional electron drag by the noncentrosymmetric plasmon modes excited under normal incidence of terahertz radiation. We show that the collective plasmon modes of the planar plasmonic crystal become strongly noncentrosymmetric in the weak coupling regime of their anticrossing. Large plasmon wavevector (which is typically by two-three orders of magnitude greater than the terahertz photon wavevector) along with strong near-field enhancement at the plasmon resonance make the plasmonic drag a much stronger effect compared to the photon drag observed in conventional two-dimensional electron systems.


title: Remark on "Algorithm 916: Computing the Faddeyeva and Voigt functions": Efficiency Improvements and Fortran Translation

abstract: This remark describes efficiency improvements to Algorithm 916 [Zaghloul and Ali 2011]. It is shown that the execution time required by the algorithm, when run at its highest accuracy, may be improved by more than a factor of two. A better accuracy vs efficiency trade off scheme is also implemented; this requires the user to supply the number of significant figures desired in the computed values as an extra input argument to the function. Using this trade-off, it is shown that the efficiency of the algorithm may be further improved significantly while maintaining reasonably accurate and safe results that are free of the pitfalls and complete loss of accuracy seen in other competitive techniques. The current version of the code is provided in Matlab and Scilab in addition to a Fortran translation prepared to meet the needs of real-world problems where very large numbers of function evaluations would require the use of a compiled language. To fulfill this last requirement, a recently proposed reformed version of Humlicek's w4 routine, shown to maintain the claimed accuracy of the algorithm over a wide and fine grid is implemented in the present Fortran translation for the case of 4 significant figures. This latter modification assures the reliability of the code to be employed in the solution of practical problems requiring numerous evaluation of the function for applications tolerating low accuracy computations (<10-4).


title: Efficiency analysis of simple perturbed pairwise comparison matrices

abstract: Efficiency, the basic concept of multi-objective optimization is investigated for the class of pairwise comparison matrices. A weight vector is called efficient if no alternative weight vector exists such that every pairwise ratio of the latter's components is at least as close to the corresponding element of the pairwise comparison matrix as the one of the former's components is, and the latter's approximation is strictly better in at least one position. A pairwise comparison matrix is called simple perturbed if it differs from a consistent pairwise comparison matrix in one element and its reciprocal. One of the classical weighting methods, the eigenvector method is analyzed. It is shown in the paper that the principal right eigenvector of a simple perturbed pairwise comparison matrix is efficient.


title: Implementing feedback in creative systems: A workshop approach

abstract: One particular challenge in AI is the computational modelling and simulation of creativity. Feedback and learning from experience are key aspects of the creative process. Here we investigate how we could implement feedback in creative systems using a social model. From the field of creative writing we borrow the concept of a Writers Workshop as a model for learning through feedback. The Writers Workshop encourages examination, discussion and debates of a piece of creative work using a prescribed format of activities. We propose a computational model of the Writers Workshop as a roadmap for incorporation of feedback in artificial creativity systems. We argue that the Writers Workshop setting describes the anatomy of the creative process. We support our claim with a case study that describes how to implement the Writers Workshop model in a computational creativity system. We present this work using patterns other people can follow to implement similar designs in their own systems. We conclude by discussing the broader relevance of this model to other aspects of AI.


title: Smelly Maps: The Digital Life of Urban Smellscapes

abstract: Smell has a huge influence over how we perceive places. Despite its importance, smell has been crucially overlooked by urban planners and scientists alike, not least because it is difficult to record and analyze at scale. One of the authors of this paper has ventured out in the urban world and conducted smellwalks in a variety of cities: participants were exposed to a range of different smellscapes and asked to record their experiences. As a result, smell-related words have been collected and classified, creating the first dictionary for urban smell. Here we explore the possibility of using social media data to reliably map the smells of entire cities. To this end, for both Barcelona and London, we collect geo-referenced picture tags from Flickr and Instagram, and geo-referenced tweets from Twitter. We match those tags and tweets with the words in the smell dictionary. We find that smell-related words are best classified in ten categories. We also find that specific categories (e.g., industry, transport, cleaning) correlate with governmental air quality indicators, adding validity to our study.


title: Subcritical perturbation of a locally periodic elliptic operator

abstract: We consider a singularly perturbed Dirichlet spectral problem for an elliptic operator of second order. The coefficients of the operator are assumed to be locally periodic and oscillating in the scale $\varepsilon$. We describe the leading terms of the asymptotics of the eigenvalues and the eigenfunctions to the problem, as the parameter $\varepsilon$ tends to zero, under structural assumptions on the potential. More precisely, we assume that the local average of the potential has a unique global minimum point in the interior of the domain and its Hessian is non-degenerate at this point.


title: Toward the Limits of Matter: Ultra-relativistic nuclear collisions at CERN

abstract: Strongly interacting matter as described by the thermodynamics of QCD undergoes a phase transition, from a low temperature hadronic medium to a high temperature quark-gluon plasma state. In the early universe this transition occurred during the early microsecond era. It can be investigated in the laboratory, in collisions of nuclei at relativistic energy, which create "fireballs" of sufficient energy density to cross the QCD Phase boundary. We describe 3 decades of work at CERN, devoted to the study of the QCD plasma and the phase transition. From modest beginnings at the SPS, ultra-relativistic heavy ion physics has evolved today into a central pillar of contemporary nuclear physics and forms a significant part of the LHC program.


title: Can we swim in superfluids?: Numerical demonstration of self-propulsion in a Bose-Einstein condensate

abstract: It is numerically investigated whether a deformable object can propel itself in a superfluid. Articulated bodies and multi-component condensates are examined as swimmers. An articulated two-body swimmer cannot obtain locomotion without emitting excitations. More flexible swimmers can do so without the need to excite waves.


title: Modeling the Interference Generated from Car Base Stations towards Indoor Femto-cells

abstract: In future wireless networks, a significant number of users will be vehicular. One promising solution to improve the capacity for these vehicular users is to employ moving relays or car base stations. The system forms cell inside the vehicle and then uses rooftop antenna for back-hauling to overcome the vehicular penetration loss. In this paper, we develop a model for aggregate interference distribution generated from moving/parked cars to indoor users in order to study whether indoor femto-cells can coexist on the same spectrum with vehicular communications. Since spectrum authorization for vehicular communications is open at moment, we consider two spectrum sharing scenarios (i) communication from mounted antennas on the roof of the vehicles to the infrastructure network utilizes same spectrum with indoor femto-cells (ii) in-vehicle communication utilizes same spectrum with indoor femto-cells while vehicular to infrastructure (V2I) communication is allocated at different spectrum. Based on our findings we suggest that V2I and indoor femto-cells should be allocated at different spectrum. The reason being that mounted roof-top antennas facing the indoor cells generate unacceptable interference levels. On the other hand, in-vehicle communication and indoor cells can share the spectrum thanks to the vehicle body isolation and the lower transmit power levels that can be used inside the vehicle.


title: WiFlix: Adaptive Video Streaming in Massive MU-MIMO Wireless Networks

abstract: We consider the problem of simultaneous on-demand streaming of stored video to multiple users in a multi-cell wireless network where multiple unicast streaming sessions are run in parallel and share the same frequency band. Each streaming session is formed by the sequential transmission of video "chunks," such that each chunk arrives into the corresponding user playback buffer within its playback deadline. We formulate the problem as a Network Utility Maximization (NUM) where the objective is to fairly maximize users' video streaming Quality of Experience (QoE) and then derive an iterative control policy using Lyapunov Optimization, which solves the NUM problem up to any level of accuracy and yields an online protocol with control actions at every iteration decomposing into two layers interconnected by the users' request queues : i) a video streaming adaptation layer reminiscent of DASH, implemented at each user node; ii) a transmission scheduling layer where a max-weight scheduler is implemented at each base station. The proposed chunk request scheme is a pull strategy where every user opportunistically requests video chunks from the neighboring base stations and dynamically adapts the quality of its requests based on the current size of the request queue. For the transmission scheduling component, we first describe the general max-weight scheduler and then particularize it to a wireless network where the base stations have multiuser MIMO (MU-MIMO) beamforming capabilities. We exploit the channel hardening effect of large-dimensional MIMO channels (massive MIMO) and devise a low complexity user selection scheme to solve the underlying combinatorial problem of selecting user subsets for downlink beamforming, which can be easily implemented and run independently at each base station.


title: Transport, Magnetic and Vibrational Properties of Chemically Exfoliated Few Layer Graphene

abstract: We study the vibrational, magnetic and transport properties of Few Layer Graphene (FLG) using Raman and electron spin resonance spectroscopy and microwave conductivity measurements. FLG samples were produced using wet chemical exfoliation with different post-processing, namely ultrasound treatment, shear mixing, and magnetic stirring. Raman spectroscopy shows a low intensity D mode which attests a high sample quality. The G mode is present at $1580$ cm$^{-1}$ as expected for graphene. The 2D mode consists of 2 components with varying intensities among the different samples. This is assigned to the presence of single and few layer graphene in the samples. ESR spectroscopy shows a main line in all types of materials with a width of about $1$ mT and and a $g$-factor in the range of $2.005-2.010$. Paramagnetic defect centers with a uniaxial $g$-factor anisotropy are identified, which shows that these are related to the local sp$^2$ bonds of the material. All kinds of investigated FLGs have a temperature dependent resistance which is compatible with a small gap semiconductor. The difference in resistance is related to the different grain size of the samples.


title: A search for lithium in metal-poor L dwarfs

abstract: The aim of the project is to search for lithium in absorption at 6707.8 Angstroms to constrain the nature and the mass of the brightest low-metallicity L-type dwarfs (refered to as L subdwarfs) identified in large-scale surveys. We obtained low- to intermediate-resolution (R~2500-9000) optical (~560-770 nm) spectra of two mid-L subdwarfs, SDSSJ125637.13-022452.4 (SDSS1256; sdL3.5) and 2MASSJ162620.14+392519.5 (2MASS1626; sdL4) with spectrographs on the European Southern Observatory Very Large Telescope and the Gran Telescopio de Canarias. We report the presence of a feature at the nominal position of the lithium absorption doublet at 6707.8 Angstroms in the spectrum of SDSS1256, with an equivalent width of 66+/-27 Angstroms at 2.4 sigma, which we identify as arising from a CaH molecular transition based on atmosphere models. We do not see any feature at the position of the lithium feature in the spectrum of 2MASS1626. The existence of overlapping molecular absorption sets a confusion detection limit of [Li/H]=-3 for equivalently-typed L subdwarfs. We provided improved radial velocity measurements of -126+/-10 km/s and -239+/-12 km/s for SDSS1256 and 2MASS1626, respectively, as well as revised Galactic orbits. We implemented adjusting factors for the CaH molecule in combination with the NextGen atmosphere models to fit the optical spectrum of SDSS1256 in the 6200-7300 Angstroms range. We also estimate the expected Li abundance from interstellar accretion ([Li/H]=-5), place limits on circumstellar accretion (10^9 g/yr), and discuss the prospects of Li searches in cooler L and T subdwarfs.


title: Hydrodynamic simulations of captured protoatmospheres around Earth-like planets

abstract: Young terrestrial planets, when they are still embedded in a circumstellar disk, accumulate an atmosphere of nebula gas. The evolution and eventual evaporation of the protoplanetary disk affect the structure and dynamics of the planetary atmosphere. These processes, combined with other mass loss mechanisms, such as thermal escape driven by extreme ultraviolet and soft X-ray radiation (XUV) from the young host star, determine how much of the primary atmosphere, if anything at all, survives into later stages of planetary evolution. Our aim is to explore the structure and the dynamic outflow processes of nebula-accreted atmospheres in dependency on changes in the planetary environment. We integrate stationary hydrostatic models and perform time-dependent dynamical simulations to investigate the effect of a changing nebula environment on the atmospheric structure and the timescales on which the protoatmosphere reacts to these changes. We find that the behavior of the atmospheres strongly depends on the mass of the planetary core. For planets of about Mars-mass the atmospheric structure, and in particular the atmospheric mass, changes drastically and on very short timescales whereas atmospheres around higher mass planets are much more robust and inert.


title: Graph Laplacians, component groups and Drinfeld modular curves

abstract: Let $\frak{p}$ be a prime ideal of $\mathbb{F}_q[T]$. Let $J_0(\frak{p})$ be the Jacobian variety of the Drinfeld modular curve $X_0(\frak{p})$. Let $\Phi$ be the component group of $J_0(\frak{p})$ at the place $1/T$. We use graph Laplacians to estimate the order of $\Phi$ as $\mathrm{deg}(\frak{p})$ goes to infinity. This estimate implies that $\Phi$ is not annihilated by the Eisenstein ideal of the Hecke algebra $\mathbb{T}(\frak{p})$ acting on $J_0(\frak{p})$ once the degree of $\frak{p}$ is large enough. We also obtain an asymptotic formula for the size of the discriminant of $\mathbb{T}(\frak{p})$ by relating this discriminant to the order of $\Phi$; in this problem the order of $\Phi$ plays a role similar to the Faltings height of classical modular Jacobians. Finally, we bound the spectrum of the adjacency operator of a finite subgraph of an infinite diagram in terms of the spectrum of the adjacency operator of the diagram itself; this result has applications to the gonality of Drinfeld modular curves.


title: Statistical optimization for passive scalar transport: maximum entropy production vs maximum Kolmogorov-Sinay entropy

abstract: We derive rigorous results on the link between the principle of maximum entropy production and the principle of maximum Kolmogorov-Sinai entropy using a Markov model of the passive scalar diffusion called the Zero Range Process. We show analytically that both the entropy production and the Kolmogorov-Sinai entropy seen as functions of f admit a unique maximum denoted fmaxEP and fmaxKS. The behavior of these two maxima is explored as a function of the system disequilibrium and the system resolution N. The main result of this article is that fmaxEP and fmaxKS have the same Taylor expansion at _rst order in the deviation of equilibrium. We find that fmaxEP hardly depends on N whereas fmaxKS depends strongly on N. In particular, for a fixed difference of potential between the reservoirs, fmaxEP (N) tends towards a non-zero value, while fmaxKS (N) tends to 0 when N goes to infinity. For values of N typical of that adopted by Paltridge and climatologists we show that fmaxEP and fmaxKS coincide even far from equilibrium. Finally, we show that one can find an optimal resolution N_ such that fmaxEP and fmaxKS coincide, at least up to a second order parameter proportional to the non-equilibrium uxes imposed to the boundaries.


title: Detecting Unrealizability of Distributed Fault-tolerant Systems

abstract: Writing formal specifications for distributed systems is difficult. Even simple consistency requirements often turn out to be unrealizable because of the complicated information flow in the distributed system: not all information is available in every component, and information transmitted from other components may arrive with a delay or not at all, especially in the presence of faults. The problem of checking the distributed realizability of a temporal specification is, in general, undecidable. Semi-algorithms for synthesis, such as bounded synthesis, are only useful in the positive case, where they construct an implementation for a realizable specification, but not in the negative case: if the specification is unrealizable, the search for the implementation never terminates. In this paper, we introduce counterexamples to distributed realizability and present a method for the detection of such counterexamples for specifications given in linear-time temporal logic (LTL). A counterexample consists of a set of paths, each representing a different sequence of inputs from the environment, such that, no matter how the components are implemented, the specification is violated on at least one of these paths. We present a method for finding such counterexamples both for the classic distributed realizability problem and for the fault-tolerant realizability problem. Our method considers, incrementally, larger and larger sets of paths until a counterexample is found. For safety specifications in weakly ordered architectures we obtain a decision procedure, while counterexamples for full LTL and arbitrary architectures may consist of infinitely many paths. Experimental results, obtained with a QBF-based prototype implementation, show that our method finds simple errors very quickly, and even problems with high combinatorial complexity, like the Byzantine Generals' Problem, are tractable.


title: A time domain based method for the accurate measurement of Q-factor and resonance frequency of microwave resonators

abstract: We present a novel method to determine the resonant frequency and quality factor of microwave resonators which is faster, more stable, and conceptually simpler than the yet existing techniques. The microwave resonator is irradiated at a frequency away from its resonance. It then emits an exponentially decaying radiation at its eigen-frequency when the excitation is rapidly switched off. The emission is down-converted with a microwave mixer, digitized and its Fourier transformation (FT) directly yields the resonance curve in a single shot. Being an FT based method, this technique possesses the Fellgett (multiplex) and Connes (accuracy) advantages and it conceptually mimics that of pulsed nuclear magnetic resonance. We also establish a novel benchmark to compare accuracy of the different approaches of microwave resonator measurements. This shows that the present method have similar accuracy to the existing ones.