title: On Eigenvalues of Random Complexes

abstract: We consider higher-dimensional generalizations of the normalized Laplacian and the adjacency matrix of graphs and study their eigenvalues for the Linial-Meshulam model $X^k(n,p)$ of random $k$-dimensional simplicial complexes on $n$ vertices. We show that for $p=\Omega(\log n/n)$, the eigenvalues of these matrices are a.a.s. concentrated around two values. The main tool, which goes back to the work of Garland, are arguments that relate the eigenvalues of these matrices to those of graphs that arise as links of $(k-2)$-dimensional faces. Garland's result concerns the Laplacian; we develop an analogous result for the adjacency matrix. The same arguments apply to other models of random complexes which allow for dependencies between the choices of $k$-dimensional simplices. In the second part of the paper, we apply this to the question of possible higher-dimensional analogues of the discrete Cheeger inequality, which in the classical case of graphs relates the eigenvalues of a graph and its edge expansion. It is very natural to ask whether this generalizes to higher dimensions and, in particular, whether the higher-dimensional Laplacian spectra capture the notion of coboundary expansion - a generalization of edge expansion that arose in recent work of Linial and Meshulam and of Gromov. We show that this most straightforward version of a higher-dimensional discrete Cheeger inequality fails, in quite a strong way: For every $k\geq 2$ and $n\in \mathbb{N}$, there is a $k$-dimensional complex $Y^k_n$ on $n$ vertices that has strong spectral expansion properties (all nontrivial eigenvalues of the normalised $k$-dimensional Laplacian lie in the interval $[1-O(1/\sqrt{n}),1+O(1/\sqrt{n})]$) but whose coboundary expansion is bounded from above by $O(\log n/n)$ and so tends to zero as $n\rightarrow \infty$; moreover, $Y^k_n$ can be taken to have vanishing integer homology in dimension less than $k$.


title: The catalytic Ornstein-Uhlenbeck process with superprocess catalyst

abstract: The main objective of this work is to study a natural class of catalytic Ornstein-Uhlenbeck (O-U) processes with a measure-valued random catalyst, for example, super-Brownian motion. We relate this to the class of affine processes that provides a unified setting in which to view Ornstein-Uhlenbeck processes, superprocesses, and Ornstein-Uhlenbeck processes with superprocess catalyst. We then review some basic properties of super-Brownian motion which we need and introduce the Ornstein-Uhlenbeck process with catalyst given by a superprocess. The main results are the affine characterization of the characteristic functional-Laplace transform of the joint catalytic O-U process and catalyst process and the identification of basic properties of the quenched and annealed versions of these processes.


title: Beta sheet propensity and the genetic code

abstract: So far mutations analysis was performed in terms of transitions and trasversions, so on the basis of the molecule, or in terms of GC-content and isochors, through the quantification of GC->AT mutations over AT->GC mutations. We tried a different approach hypothesizing that probably we are partially protected (by the genetic code) from amyloid fibrils formation.


title: Compatible abelian symmetries in N-Higgs-Doublet Models

abstract: We analyze the compatibility between abelian symmetries acting in two different sectors of a theory using the Smith Normal Form method. We focus on N-Higgs-doublet models (NHDMs) and on the compatibility between symmetries in the Higgs potential and in the Yukawa interactions, which were separately analyzed previous works. It is shown that two equal (isomorphic) symmetry groups that act in two separate sectors are not necessarily compatible in the whole theory and an upper bound is found for the size of the group that can be implemented in the entire NHDM. We also develop useful techniques to analyze compatibility and extend a symmetry from one sector to another. Consequences to the supersymmetric case are briefly discussed.


title: The hyperboloidal foliation method

abstract: The Hyperboloidal Foliation Method presented in this monograph is based on a (3+1)-foliation of Minkowski spacetime by hyperboloidal hypersurfaces. It allows us to establish global-in-time existence results for systems of nonlinear wave equations posed on a curved spacetime and to derive uniform energy bounds and optimal rates of decay in time. We are also able to encompass the wave equation and the Klein-Gordon equation in a unified framework and to establish a well-posedness theory for nonlinear wave-Klein-Gordon systems and a large class of nonlinear interactions. The hyperboloidal foliation of Minkowski spacetime we rely upon in this book has the advantage of being geometric in nature and, especially, invariant under Lorentz transformations. As stated, our theory applies to many systems arising in mathematical physics and involving a massive scalar field, such as the Dirac-Klein-Gordon system. As it provides uniform energy bounds and optimal rates of decay in time, our method appears to be very robust and should extend to even more general systems.


title: Multivariate Analysis of Mixed Data: The R Package PCAmixdata

abstract: Mixed data arise when observations are described by a mixture of numerical and categorical variables. The R package PCAmixdata extends to this type of data standard multivariate analysis methods which allow description, exploration and visualization of the data. The key techniques/methods included in the package are principal component analysis for mixed data (PCAmix), varimax-like orthogonal rotation for PCAmix, and multiple factor analysis for mixed multi-table data. This paper proposes a unified mathematical presentation of the different methods with common notations, as well as providing a summarised presentation of the three algorithms, with details to help the user understand graphical and numerical outputs of the corresponding R functions. This then allows the user to easily provide relevant interpretations of the results obtained. The three main methods are illustrated on a real dataset composed of four data tables characterizing living conditions in different municipalities in the Gironde region of southwest France.


title: Bipolar magnetic spots from dynamos in stratified spherical shell turbulence

abstract: Recent work by Mitra et al. (2014) has shown that in strongly stratified forced two-layer turbulence with helicity and corresponding large-scale dynamo action in the lower layer, a magnetic field occurs in the upper layer in the form of sharply bounded bipolar magnetic spots. Here we extend this model to spherical wedge geometry covering the northern hemisphere up to 75{\deg} latitude and an azimuthal extent of 180{\deg}. The kinetic helicity and therefore also the large-scale magnetic field are strongest at low latitudes. For moderately strong stratification, several bipolar spots form that fill eventually the full longitudinal extent. At early times, the polarity of spots reflects the orientation of the underlying azimuthal field, as expected from {\Omega}-shaped flux loops. At late times their tilt changes such that there is a radial field of opposite orientation at different latitudes separated by about 10{\deg}. Our model demonstrates the spontaneous formation of spots of sizes much larger than the pressure scale height. Their tendency to produce filling factors close to unity is argued to be reminiscent of highly active stars. We confirm that strong stratification and strong scale separation are essential ingredients behind magnetic spot formation, which appears to be associated with downflows at larger depths.


title: Testing Magnetic Field Models for the Class 0 Protostar L1527

abstract: For the Class 0 protostar, L1527, we compare 131 polarization vectors from SCUPOL/JCMT, SHARP/CSO and TADPOL/CARMA observations with the corresponding model polarization vectors of four ideal-MHD, non-turbulent, cloud core collapse models. These four models differ by their initial magnetic fields before collapse; two initially have aligned fields (strong and weak) and two initially have orthogonal fields (strong and weak) with respect to the rotation axis of the L1527 core. Only the initial weak orthogonal field model produces the observed circumstellar disk within L1527. This is a characteristic of nearly all ideal-MHD, non-turbulent, core collapse models. In this paper we test whether this weak orthogonal model also has the best agreement between its magnetic field structure and that inferred from the polarimetry observations of L1527. We found that this is not the case; based on the polarimetry observations the most favored model of the four is the weak aligned model. However, this model does not produce a circumstellar disk, so our result implies that a non-turbulent, ideal-MHD global collapse model probably does not represent the core collapse that has occurred in L1527. Our study also illustrates the importance of using polarization vectors covering a large area of a cloud core to determine the initial magnetic field orientation before collapse; the inner core magnetic field structure can be highly altered by a collapse and so measurements from this region alone can give unreliable estimates of the initial field configuration before collapse.


title: Sensitivity of propagation and energy deposition in femtosecond filamentation to the nonlinear refractive index

abstract: The axial dependence of femtosecond filamentation in air is measured under conditions of varying laser pulsewidth, energy, and focusing f-number. Filaments are characterized by the ultrafast z-dependent absorption of energy from the laser pulse and diagnosed by measuring the local single cycle acoustic wave generated. Results are compared to 2D+1 simulations of pulse propagation, whose results are highly sensitive to the instantaneous (electronic) part of the nonlinear response of $N_2$ and $O_2$. We find that recent measurements of the nonlinear refractive index ($n_2$) in [J.K. Wahlstrand et al., Phys. Rev. A. 85, 043820 (2012)] provide the best match and an excellent fit between experiments and simulations.


title: Gamma-ray flaring activity from the gravitationally lensed blazar PKS 1830-211 observed by Fermi LAT

abstract: The Large Area Telescope (LAT) on board the Fermi Gamma-ray Space Telescope routinely detects the highly dust-absorbed, reddened, and MeV-peaked flat spectrum radio quasar PKS 1830-211 (z=2.507). Its apparent isotropic gamma-ray luminosity (E>100 MeV) averaged over $\sim$ 3 years of observations and peaking on 2010 October 14/15 at 2.9 X 10^{50} erg s^{-1}, makes it among the brightest high-redshift Fermi blazars. No published model with a single lens can account for all of the observed characteristics of this complex system. Based on radio observations, one expects time delayed variability to follow about 25 days after a primary flare, with flux about a factor 1.5 less. Two large gamma-ray flares of PKS 1830-211 have been detected by the LAT in the considered period and no substantial evidence for such a delayed activity was found. This allows us to place a lower limit of about 6 on the gamma rays flux ratio between the two lensed images. Swift XRT observations from a dedicated Target of Opportunity program indicate a hard spectrum and with no significant correlation of X-ray flux with the gamma-ray variability. The spectral energy distribution can be modeled with inverse Compton scattering of thermal photons from the dusty torus. The implications of the LAT data in terms of variability, the lack of evident delayed flare events, and different radio and gamma-ray flux ratios are discussed. Microlensing effects, absorption, size and location of the emitting regions, the complex mass distribution of the system, an energy-dependent inner structure of the source, and flux suppression by the lens galaxy for one image path may be considered as hypotheses for understanding our results.


title: Combinatorial Auctions via Posted Prices

abstract: We study anonymous posted price mechanisms for combinatorial auctions in a Bayesian framework. In a posted price mechanism, item prices are posted, then the consumers approach the seller sequentially in an arbitrary order, each purchasing her favorite bundle from among the unsold items at the posted prices. These mechanisms are simple, transparent and trivially dominant strategy incentive compatible (DSIC). We show that when agent preferences are fractionally subadditive (which includes all submodular functions), there always exist prices that, in expectation, obtain at least half of the optimal welfare. Our result is constructive: given black-box access to a combinatorial auction algorithm A, sample access to the prior distribution, and appropriate query access to the sampled valuations, one can compute, in polytime, prices that guarantee at least half of the expected welfare of A. As a corollary, we obtain the first polytime (in n and m) constant-factor DSIC mechanism for Bayesian submodular combinatorial auctions, given access to demand query oracles. Our results also extend to valuations with complements, where the approximation factor degrades linearly with the level of complementarity.


title: Practical relativistic bit commitment

abstract: Bit commitment is a fundamental cryptographic primitive in which Alice wishes to commit a secret bit to Bob. Perfectly secure bit commitment between two mistrustful parties is impossible through asynchronous exchange of quantum information. Perfect security is however possible when Alice and Bob each split into several agents exchanging classical information at times and locations suitably chosen to satisfy specific relativistic constraints. In this Letter we first revisit a previously proposed scheme that realizes bit commitment using only classical communication. We prove that the protocol is secure against quantum adversaries for a duration limited by the light-speed communication time between the locations of the agents. We then propose a novel multi-round scheme based on finite-field arithmetic that extends the commitment time beyond this limit, and we prove its security against classical attacks. Finally, we present an implementation of these protocols using dedicated hardware and we show how it could be used to realize commitments of duration ranging up to 212 milliseconds by agents occupying antipodal locations on the Earth.


title: On N=2 supersymmetric gauge theories on S^2XS^2

abstract: We construct a supergeometry based on S^2XS^2 on which four dimensional N=2 gauge theories can be placed supersymmetrically while preserving all supersymmetries. By embedding the supergeometry in four dimensional N=2 supergravity we are able to construct an arbitrary N=2 gauge theory on S^2XS^2. We show that N=2 gauge theories are invariant under the exceptional superalgebra D(2,1,alpha), where alpha is the ratio of the radii of the two S^2's. We solve the supersymmetry fixed points equations for a choice of supercharge in D(2,1,alpha). The solution of these BPS equations, which we find, would serve as the exact saddle point configurations of a localization computation of the partition function of N=2 gauge theories on S^2XS^2.


title: Are the orbital poles of binary stars in the solar neighbourhood anisotropically distributed?

abstract: We test whether or not the orbital poles of the systems in the solar neighbourhood are isotropically distributed on the celestial sphere. The problem is plagued by the ambiguity on the position of the ascending node. Of the 95 systems closer than 18 pc from the Sun with an orbit in the 6th Catalogue of Orbits of Visual Binaries, the pole ambiguity could be resolved for 51 systems using radial velocity collected in the literature and CORAVEL database or acquired with the HERMES-Mercator spectrograph. For several systems, we can correct the erroneous nodes in the 6th Catalogue of Orbits and obtain new combined spectroscopic-astrometric orbits for seven systems [WDS 01083+5455Aa,Ab; 01418+4237AB; 02278+0426AB (SB2); 09006+4147AB (SB2); 16413+3136AB; 17121+4540AB; 18070+3034AB]. We used of spherical statistics to test for possible anisotropy. After ordering the binary systems by increasing distance from the Sun, we computed the false-alarm probability for subsamples of increasing sizes, from N = 1 up to the full sample of 51 systems. Rayleigh-Watson and Beran tests deliver a false-alarm probability of 0.5% for the 20 systems closer than 8.1 pc. To evaluate the robustness of this conclusion, we used a jackknife approach, for which we repeated this procedure after removing one system at a time from the full sample. The false-alarm probability was then found to vary between 1.5% and 0.1%, depending on which system is removed. The reality of the deviation from isotropy can thus not be assessed with certainty at this stage, because only so few systems are available, despite our efforts to increase the sample. However, when considering the full sample of 51 systems, the concentration of poles toward the Galactic position l = 46.0{\deg}, b = 37{\deg}, as observed in the 8.1 pc sphere, totally vanishes (the Rayleigh-Watson false-alarm probability then rises to 18%).


title: Generalized Bloch theorem and topological characterization

abstract: The Bloch theorem enables reduction of the eigenvalue problem of the single-particle Hamiltonian that commutes with translational group. Based on a group theory analysis we present generalization of the Bloch theorem that incorporates all additional symmetries of a crystal. The generalized Bloch theorem constrains the form of the Hamiltonian which becomes manifestly invariant under additional symmetries. In the case of isotropic interactions the generalized Bloch theorem gives a unique Hamiltonian. This Hamiltonian coincides with the Hamiltonian in the periodic gauge. In the case of anisotropic interactions the generalized Bloch theorem allows a family of Hamiltonians. Due to the continuity argument we expect that even in this case the Hamiltonian in the periodic gauge defines observables, such as Berry curvature, in the inverse space. For both cases we present examples and demonstrate that the average of the Berry curvatures of all possible Hamiltonians in the Bloch gauge is the Berry curvature in the periodic gauge.


title: Quantum Conditional Mutual Information, Reconstructed States, and State Redistribution

abstract: We give two strengthenings of an inequality for the quantum conditional mutual information of a tripartite quantum state recently proved by Fawzi and Renner, connecting it with the ability to reconstruct the state from its bipartite reductions. Namely we show that the conditional mutual information is an upper bound on the regularised relative entropy distance between the quantum state and its reconstructed version. It is also an upper bound for the measured relative entropy distance of the state to its reconstructed version. The main ingredient of the proof is the fact that the conditional mutual information is the optimal quantum communication rate in the task of state redistribution.


title: On some automorphism related parameters in graphs

abstract: In this paper, we deduce some properties of $f$-sets of connected graphs. Also, we introduce the concept of fixing share of each vertex of a fixing set $D$ to see the participation of each vertex when fixing a connected graph $G$. We define a parameter, called the fixing percentage, by using the concept of fixing share, which is helpful in determining the measure of the amount of fixing done by the elements of $D$ in $G$.


title: On the Range Characterization of the two dimensional attenuated Doppler Transform

abstract: We characterize the range of the attenuated and non-attenuated $X$-ray transform of compactly supported vector fields in the plane. The characterization is in terms of a Hilbert transform associated with the $A$-analytic functions \`{a} la Bukhgeim. As an application we determine necessary and sufficient conditions for the attenuated Doppler and $X$-ray data to be mistaken for each other.


title: ECFA Detector R&D Panel, Review Report

abstract: Two special calorimeters are foreseen for the instrumentation of the very forward region of an ILC or CLIC detector; a luminometer (LumiCal) designed to measure the rate of low angle Bhabha scattering events with a precision better than 10$^{-3}$ at the ILC and 10$^{-2}$ at CLIC, and a low polar-angle calorimeter (BeamCal). The latter will be hit by a large amount of beamstrahlung remnants. The intensity and the spatial shape of these depositions will provide a fast luminosity estimate, as well as determination of beam parameters. The sensors of this calorimeter must be radiation-hard. Both devices will improve the e.m. hermeticity of the detector in the search for new particles. Finely segmented and very compact electromagnetic calorimeters will match these requirements. Due to the high occupancy, fast front-end electronics will be needed. Monte Carlo studies were performed to investigate the impact of beam-beam interactions and physics background processes on the luminosity measurement, and of beamstrahlung on the performance of BeamCal, as well as to optimise the design of both calorimeters. Dedicated sensors, front-end and ADC ASICs have been designed for the ILC and prototypes are available. Prototypes of sensor planes fully assembled with readout electronics have been studied in electron beams.


title: Linguistic Descriptions for Automatic Generation of Textual Short-Term Weather Forecasts on Real Prediction Data

abstract: We present in this paper an application which automatically generates textual short-term weather forecasts for every municipality in Galicia (NW Spain), using the real data provided by the Galician Meteorology Agency (MeteoGalicia). This solution combines in an innovative way computing with perceptions techniques and strategies for linguistic description of data together with a natural language generation (NLG) system. The application, named GALiWeather, extracts relevant information from weather forecast input data and encodes it into intermediate descriptions using linguistic variables and temporal references. These descriptions are later translated into natural language texts by the natural language generation system. The obtained forecast results have been thoroughly validated by an expert meteorologist from MeteoGalicia using a quality assessment methodology which covers two key dimensions of a text: the accuracy of its content and the correctness of its form. Following this validation GALiWeather will be released as a real service offering custom forecasts for a wide public.


title: Variations on the theme of Michel Henon's Isochrone

abstract: A variation of Newton's method of mapping Kepler's orbits into orbits in the simple harmonic oscillator is shown to give Henon's Isochrone. The statistical mechanics of a micro-canonical ensemble of isochrone oscillators shows that the temperature reaches a maximum as a function of the energy and then declines to zero at the escape energy. In that declining region adding heat (energy) decreases the temperature, as occurs in star clusters. We then define the internal temperature of an ensemble of binary stars all at the same (negative) energy and show that they too get cooler when heated and hotter when cooled. When the internal temperature of a binary is less that the temperature of the stars it interacts with, then on average heat will flow into it, making it less bound and of still lower temperature. Conversely hard binaries have higher internal temperatures than the local stars, so they lose energy and become hotter and yet more strongly bound, a process invoked by Michel Henon in his explanation of star-cluster evolution. Finally we give an isochronal variation of Newton's exactly soluble N-body problem.


title: Michel Henon, a playfull and simplifying mind

abstract: Several chapters in this book present various aspects of Michel Henon's scientific acheivements that spread over a large range of subjects, and yet managed to make deep contributions to most of them. The authors of these chapters make a much better job at demonstrating the big advancements that Michel Henon allowed in these fields than I could ever do. Here I rather present some facets of his personnality that most appealed to me. Michel Henon was a reserved person, almost shy, so it was not obvious for a young student to grasp the profoundness of his insight and what a marvelous advisor he could be. The two most prominent aspects of his mind, in my view, were his ability to simplify any scientific question to its core complexity, and to find the fun and amusing part in his everyday work, even in the tiniest details of his scientific investigations.


title: Dynamics of self-gravitating systems : Variations on a theme by Michel Henon

abstract: In this contribution to the volume in memoriam of Michel Henon, we thought appropriate to look at his early scientific work devoted to the dynamics of large assemblies of interacting masses. He predicted in his PhD thesis that, in such a system, first a collapse of mass occurs at the center and that later binaries stars are formed there. Henceforth, the negative energy of binding of pairs becomes a source of positive energy for the rest of the cluster which evaporate because of that. We examine under what conditions such a singularity can occur, and what could happen afterwards. We hope to show that this fascinating problem of evolution of self-gravitating clusters keeps its interest after the many years passed since Henon thesis, and is still worth discussing now.


title: An experimentalist's view of the uncertainties in understanding heavy element synthesis

abstract: The overall uncertainties in predicting heavy element synthesis cross sections are examined in terms of the uncertainties associated with the calculations of capture cross sections, fusion probabilities and survival probabilities. Attention is focussed on hot fusion reactions. The predicted heavy element formation cross sections are uncertain to at least one order of magnitude.


title: Michel Henon and the Stability of the Solar System

abstract: Paper in honour of Michel Henon, based on a talk presented at Institut Henri Poincare, Paris, 5 Decembre 2013.


title: Michel Henon's first research article: An improved calculation of the perturbation of stellar velocities

abstract: Fifteen years after the discovery of dynamical friction by Chandrasekhar, Michel Henon attempts to solve the longstanding problem of the divergence of the friction suffered by the perturber and caused by the most distant cluster stars. His solution laid the foundation to the current understanding of dynamical friction as a non-local transitory force.


title: A marvelous contribution from Michel Henon to globular cluster's study : the isochrone cluster

abstract: A survey of Michel Henon contributions to the study of globular cluster systems.


title: Henon's generating solutions and the structure of periodic orbits families of the restricted three-body problem

abstract: We propose a survey of Michel H\'enon works devoted to studying periodic solutions of the well-known celestial mechanics problem -- restricted three-body problem. The description of the main results obtained by H\'enon is given in comparison with results of russian mathematician Alexander Bruno. Finaly, a survey of H\'enon's works on Hill problem is given as well, and, more over, the authors propose some generalization of Hill problem that makes possible to provide the description of its families of periodic orbits in the form of common network.


title: Uhlenbeck's Complaint

abstract: The passage from kinetic theory to fluid dynamics as discussed by Hilbert has perplexed Uhlenbeck. Herein, I try to smooth over the discord.


title: Numerical Studies of Hamiltonian Systems and Application to Galactic Potentials

abstract: The talk consisted mainly in commenting in a linear way the seminal paper in 1964 by Michel Henon and graduate student Carl Heiles at Princeton University: "The applicability of the third integral of motion: Some numerical experiments" in the field of galactic dynamics. Instead of repeating here the lecture of the paper, we advise the reader interested in dynamical systems to study this "must" reading.


title: Michel Henon's contributions to collisional stellar systems

abstract: The theory of star cluster dynamics was a major topic in H\'enon's early research career. Here we summarise his contributions under three headings: (i) the Monte Carlo method, (ii) homological evolution of star clusters, and (iii) escape from star clusters. In each case we also trace some aspects of how H\'enon's contributions have been developed or applied in subsequent decades up to the present. We also propose that H\'enon's work be commemorated by adopting the names "H\'enon units" and "H\'enon's Principle".


title: Henon's Isochrone Model

abstract: Henon sought the most general spherical potential in which the radial periods of orbits depended only on energy. He named this potential the isochrone, and discovered that it provided a good representation of data for globular clusters. He sought an explanation in terms of resonant relaxation. The role that resonant relaxation might play in globular clusters is still an open question, but the isochrone potential is guaranteed a role in dynamical astronomy because it is the most general potential in which closed-form expressions for angle-action coordinates are available. I explain how this property makes the isochrone invaluable for the powerful technique of torus mapping. I also describe flattened isochrone models, which enable us to explore a powerful general method of generating self-consistent stellar systems.


title: A few of Michel Henon's contributions to dynamical astronomy

abstract: This article reviews Michel Henon's contributions to a diverse set of problems in astrophysical dynamics, including violent relaxation, Saturn's rings, roundoff error in orbit integrations, and planet formation.


title: Numerical Experiments

abstract: Short summary of the contribution of Michel Henon to the subject of stellar dynamics.


title: Speed Partitioning for Indexing Moving Objects

abstract: Indexing moving objects has been extensively studied in the past decades. Moving objects, such as vehicles and mobile device users, usually exhibit some patterns on their velocities, which can be utilized for velocity-based partitioning to improve performance of the indexes. Existing velocity-based partitioning techniques rely on some kinds of heuristics rather than analytically calculate the optimal solution. In this paper, we propose a novel speed partitioning technique based on a formal analysis over speed values of the moving objects. We first show that speed partitioning will significantly reduce the search space expansion which has direct impacts on query performance of the indexes. Next we formulate the optimal speed partitioning problem based on search space expansion analysis and then compute the optimal solution using dynamic programming. We then build the partitioned indexing system where queries are duplicated and processed in each index partition. Extensive experiments demonstrate that our method dramatically improves the performance of indexes for moving objects and outperforms other state-of-the-art velocity-based partitioning approaches.


title: Optimal control of elliptic PDEs at points

abstract: We consider an elliptic optimal control problem where the objective functional contains evaluations of the state at a finite number of points. In particular, we use a fidelity term that encourages the state to take certain values at these points, which means our problem is related to ones with state constraints at points. The analysis and numerical analysis differs from when the fidelity is in the $L^2$ norm because we need the state space to embed into the space of continuous functions. In this paper we discretise the problem using two different piecewise linear finite element methods. For each discretisation we use two different approaches to prove a priori $L^2$ error estimates for the control. We discuss the differences between these methods and approaches and present numerical results that agree with our analytical results.


title: Path Sampling: A Fast and Provable Method for Estimating 4-Vertex Subgraph Counts

abstract: Counting the frequency of small subgraphs is a fundamental technique in network analysis across various domains, most notably in bioinformatics and social networks. The special case of triangle counting has received much attention. Getting results for 4-vertex patterns is highly challenging, and there are few practical results known that can scale to massive sizes. Indeed, even a highly tuned enumeration code takes more than a day on a graph with millions of edges. Most previous work that runs for truly massive graphs employ clusters and massive parallelization. We provide a sampling algorithm that provably and accurately approximates the frequencies of all 4-vertex pattern subgraphs. Our algorithm is based on a novel technique of 3-path sampling and a special pruning scheme to decrease the variance in estimates. We provide theoretical proofs for the accuracy of our algorithm, and give formal bounds for the error and confidence of our estimates. We perform a detailed empirical study and show that our algorithm provides estimates within 1% relative error for all subpatterns (over a large class of test graphs), while being orders of magnitude faster than enumeration and other sampling based algorithms. Our algorithm takes less than a minute (on a single commodity machine) to process an Orkut social network with 300 million edges.


title: Congestion Games with Distance-Based Strict Uncertainty

abstract: We put forward a new model of congestion games where agents have uncertainty over the routes used by other agents. We take a non-probabilistic approach, assuming that each agent knows that the number of agents using an edge is within a certain range. Given this uncertainty, we model agents who either minimize their worst-case cost (WCC) or their worst-case regret (WCR), and study implications on equilibrium existence, convergence through adaptive play, and efficiency. Under the WCC behavior the game reduces to a modified congestion game, and welfare improves when agents have moderate uncertainty. Under WCR behavior the game is not, in general, a congestion game, but we show convergence and efficiency bounds for a simple class of games.


title: Filtering hidden Markov measures

abstract: We consider the problem of learning two families of time-evolving random measures from indirect observations. In the first model, the signal is a Fleming--Viot diffusion, which is reversible with respect to the law of a Dirichlet process, and the data is a sequence of random samples from the state at discrete times. In the second model, the signal is a Dawson--Watanabe diffusion, which is reversible with respect to the law of a gamma random measure, and the data is a sequence of Poisson point configurations whose intensity is given by the state at discrete times. A common methodology is developed to obtain the filtering distributions in a computable form, which is based on the projective properties of the signals and duality properties of their projections. The filtering distributions take the form of mixtures of Dirichlet processes and gamma random measures for each of the two families respectively, and an explicit algorithm is provided to compute the parameters of the mixtures. Hence, our results extend classic characterisations of the posterior distribution under Dirichlet process and gamma random measures priors to a dynamic framework.


title: Ion Coulomb Crystals

abstract: Ion Coulomb crystals (ICC), formed by atomic ions at low temperatures in radiofrequency and Penning ion traps, are structures that have remarkable properties and many applications. Images of Coulomb crystals are striking and reveal the crystal structure, which arises from a balance between the trapping forces acting on the ions and their mutual Coulomb repulsion. Applications of these structures range from frequency standards and quantum simulation through to measurement of the cross sections of chemical reactions of ions.


title: Degenerate Bose gases with uniform loss

abstract: We theoretically investigate a weakly-interacting degenerate Bose gas coupled to an empty Markovian bath. We show that in the universal phononic limit the system evolves towards an asymptotic state where an emergent temperature is set by the quantum noise of the outcoupling process. For situations typically encountered in experiments, this mechanism leads to significant cooling. Such dissipative cooling supplements conventional evaporative cooling and dominates in settings where thermalization is highly suppressed, such as in a one-dimensional quasicondensate.


title: Motivic unipotent fundamental groupoid of $\mathbb{G}_{m} \setminus \mu_{N}$ for $N=2,3,4,6,8$ and Galois descents

abstract: We study Galois descents for categories of mixed Tate motives over $\mathcal{O}_{N}[1/N]$, for $N\in \left\{2, 3, 4, 8\right\}$ or $\mathcal{O}_{N}$ for $N=6$, with $\mathcal{O}_{N}$ the ring of integers of the $N^{\text{th}}$ cyclotomic field, and construct families of motivic iterated integrals with prescribed properties. In particular this gives a basis of honorary multiple zeta values (linear combinations of iterated integrals at roots of unity $\mu_{N}$ which are multiple zeta values). It also gives a new proof, via Goncharov's coproduct, of Deligne's results: the category of mixed Tate motives over $\mathcal{O}_{k_{N}}[1/N]$, for $N\in \left\{2, 3, 4,8\right\}$ is spanned by the motivic fundamental groupoid of $\mathbb{P}^{1}\setminus\left\{0,\mu_{N},\infty \right\}$ with an explicit basis. By applying the period map, we obtain a generating family for multiple zeta values relative to $\mu_{N}$.


title: Photonic crystals with topological defects

abstract: We introduce topological defect to a square lattice of elliptical cylinders. Despite the broken translational symmetry, the long-range positional order of the cylinders leads to residual photonic bandgap in the density of optical states. However, the band-edge modes are strongly modified by the spatial variation of ellipse orientation. The $\Gamma-X$ band-edge mode splits into four regions of high intensity and the output flux becomes asymmetric due to the formation of crystalline domains with different orientation. The $\Gamma-M$ band-edge mode has the energy flux circulates around the topological defect center, creating an optical vortex. By removing the elliptical cylinders at the center, we create localized defect states which are dominated by either clockwise or counter-clockwise circulating waves. The flow direction can be switched by changing the ellipse orientation. The deterministic aperiodic variation of the unit cell orientation adds another dimension to the control of light in photonic crystals, enabling creation of diversified field pattern and energy flow landscape.


title: Plurality Voting under Uncertainty

abstract: Understanding the nature of strategic voting is the holy grail of social choice theory, where game-theory, social science and recently computational approaches are all applied in order to model the incentives and behavior of voters. In a recent paper, Meir et al.[EC'14] made another step in this direction, by suggesting a behavioral game-theoretic model for voters under uncertainty. For a specific variation of best-response heuristics, they proved initial existence and convergence results in the Plurality voting system. In this paper, we extend the model in multiple directions, considering voters with different uncertainty levels, simultaneous strategic decisions, and a more permissive notion of best-response. We prove that a voting equilibrium exists even in the most general case. Further, any society voting in an iterative setting is guaranteed to converge. We also analyze an alternative behavior where voters try to minimize their worst-case regret. We show that the two behaviors coincide in the simple setting of Meir et al., but not in the general case.


title: Energy-critical NLS with potentials of quadratic growth

abstract: Consider the global wellposedness problem for nonlinear Schr\"odinger equation \[ i\partial_t u = [-\tfrac{1}{2} \Delta + V(x)] u \pm |u|^{4/(d-2)} u, \ u(0) \in \Sigma(\mathbf{R}^d), \] where $\Sigma$ is the weighted Sobolev space $\dot{H}^1 \cap |x|^{-1} L^2$. The case $V(x) = \tfrac{1}{2}|x|^2$ was recently treated by the author. This note generalizes the results to a class of "approximately quadratic" potentials. We closely follow the previous concentration compactness arguments for the harmonic oscillator. A key technical difference is that in the absence of a concrete formula for the linear propagator, we apply more general tools from microlocal analysis, including a Fourier integral parametrix of Fujiwara.


title: Determinantal point processes associated with Hilbert spaces of holomorphic functions

abstract: We study determinantal point processes on $\mathbb{C}$ induced by the reproducing kernels of generalized Fock spaces as well as those on the unit disc $\mathbb{D}$ induced by the reproducing kernels of generalized Bergman spaces. In the first case, we show that all reduced Palm measures $\textit{of the same order}$ are equivalent. The Radon-Nikodym derivatives are computed explicitly using regularized multiplicative functionals. We also show that these determinantal point processes are rigid in the sense of Ghosh and Peres, hence reduced Palm measures $\textit{of different orders}$ are singular. In the second case, we show that all reduced Palm measures, $\textit{of all orders}$, are equivalent. The Radon-Nikodym derivatives are computed using regularized multiplicative functionals associated with certain Blaschke products. The quasi-invariance of these determinantal point processes under the group of diffeomorphisms with compact supports follows as a corollary.


title: From Captions to Visual Concepts and Back

abstract: This paper presents a novel approach for automatically generating image descriptions: visual detectors, language models, and multimodal similarity models learnt directly from a dataset of image captions. We use multiple instance learning to train visual detectors for words that commonly occur in captions, including many different parts of speech such as nouns, verbs, and adjectives. The word detector outputs serve as conditional inputs to a maximum-entropy language model. The language model learns from a set of over 400,000 image descriptions to capture the statistics of word usage. We capture global semantics by re-ranking caption candidates using sentence-level features and a deep multimodal similarity model. Our system is state-of-the-art on the official Microsoft COCO benchmark, producing a BLEU-4 score of 29.1%. When human judges compare the system captions to ones written by other people on our held-out test set, the system captions have equal or better quality 34% of the time.


title: The effective QCD phase diagram and the critical end point

abstract: We study the QCD phase diagram on the plane of temperature T and quark chemical potential mu, modelling the strong interactions with the linear sigma model coupled to quarks. The phase transition line is found from the effective potential at finite T and mu taking into accounts the plasma screening effects. We find the location of the critical end point (CEP) to be (mu^CEP/T_c,T^CEP/T_c) sim (1.2,0.8), where T_c is the (pseudo)critical temperature for the crossover phase transition at vanishing mu. This location lies within the region found by lattice inspired calculations. The results show that in the linear sigma model, the CEP's location in the phase diagram is expectedly determined solely through chiral symmetry breaking. The same is likely to be true for all other models which do not exhibit confinement, provided the proper treatment of the plasma infrared properties for the description of chiral symmetry restoration is implemented. Similarly, we also expect these corrections to be substantially relevant in the QCD phase diagram.


title: N=2 Born-Infeld Attractors

abstract: We derive new types of $U(1)^n$ Born-Infeld actions based on N=2 special geometry in four dimensions. As in the single vector multiplet (n=1) case, the non--linear actions originate, in a particular limit, from quadratic expressions in the Maxwell fields. The dynamics is encoded in a set of coefficients $d_{ABC}$ related to the third derivative of the holomorphic prepotential and in an SU(2) triplet of N=2 Fayet-Iliopoulos charges, which must be suitably chosen to preserve a residual N=1 supersymmetry.


title: Wall crossing of the moduli spaces of perverse coherent sheaves on a blow-up

abstract: We give a remark on the wall crossing behavior of perverse coherent sheaves on a blow-up and stability condition constructed by Toda. We also explain the wall crossing of twisted stability in terms of stability condition.


title: Integrated canopy, building energy and radiosity model for 3D urban design

abstract: We present an integrated, three dimensional, model of urban canopy, building energy and radiosity, for early stage urban designs and test it on four urban morphologies. All sub-models share a common descriptions of the urban morphology, similar to 3D urban design master plans and have simple parameters. The canopy model is a multilayer model, with a new discrete layer approach that does not rely on simplified geometry such as canyon or regular arrays. The building energy model is a simplified RC equivalent model, with no hypotheses on internal zoning or wall composition. We use the CitySim software for the radiosity model. We study the effects of convexity, the number of buildings and building height, at constant density and thermal characteristics. Our results suggest that careful three dimensional morphology design can reduce heat demand by a factor of 2, especially by improving insolation of lower levels. The most energy efficient morphology in our simulations has both the highest surface/volume ratio and the biggest impact on the urban climate.


title: Tight cycles and regular slices in dense hypergraphs

abstract: We study properties of random subcomplexes of partitions returned by (a suitable form of) the Strong Hypergraph Regularity Lemma, which we call regular slices. We argue that these subcomplexes capture many important structural properties of the original hypergraph. Accordingly we advocate their use in extremal hypergraph theory, and explain how they can lead to considerable simplifications in existing proofs in this field. We also use them for establishing the following two new results. Firstly, we prove a hypergraph extension of the Erd\H{o}s-Gallai Theorem: for every $\delta>0$ every sufficiently large $k$-uniform hypergraph with at least $(\alpha+\delta)\binom{n}{k}$ edges contains a tight cycle of length $\alpha n$ for each $\alpha\in[0,1]$. Secondly, we find (asymptotically) the minimum codegree requirement for a $k$-uniform $k$-partite hypergraph, each of whose parts has $n$ vertices, to contain a tight cycle of length $\alpha kn$, for each $0<\alpha<1$.


title: Designing Deep Networks for Surface Normal Estimation

abstract: In the past few years, convolutional neural nets (CNN) have shown incredible promise for learning visual representations. In this paper, we use CNNs for the task of predicting surface normals from a single image. But what is the right architecture we should use? We propose to build upon the decades of hard work in 3D scene understanding, to design new CNN architecture for the task of surface normal estimation. We show by incorporating several constraints (man-made, manhattan world) and meaningful intermediate representations (room layout, edge labels) in the architecture leads to state of the art performance on surface normal estimation. We also show that our network is quite robust and show state of the art results on other datasets as well without any fine-tuning.


title: Complex Saddle Points and Disorder Lines in QCD at finite temperature and density

abstract: The properties and consequences of complex saddle points are explored in phenomenological models of QCD at non-zero temperature and density. Such saddle points are a consequence of the sign problem, and should be considered in both theoretical calculations and lattice simulations. Although saddle points in finite-density QCD are typically in the complex plane, they are constrained by a symmetry that simplifies analysis. We model the effective potential for Polyakov loops using two different potential terms for confinement effects, and consider three different cases for quarks: very heavy quarks, massless quarks without modeling of chiral symmetry breaking effects, and light quarks with both deconfinement and chiral symmetry restoration effects included in a pair of PNJL models. In all cases, we find that a single dominant complex saddle point is required for a consistent description of the model. This saddle point is generally not far from the real axis; the most easily noticed effect is a difference between the Polyakov loop expectation values $\left\langle {\rm Tr}_{F}P\right\rangle $ and $\left\langle {\rm Tr}_{F}P^{\dagger}\right\rangle $, and that is confined to small region in the $\mu-T$ plane. In all but one case, a disorder line is found in the region of critical and/or crossover behavior. The disorder line marks the boundary between exponential decay and sinusoidally modulated exponential decay of correlation functions. Disorder line effects are potentially observable in both simulation and experiment. Precision simulations of QCD in the $\mu-T$ plane have the potential to clearly discriminate between different models of confinement.


title: Network Motifs Analysis of Croatian Literature

abstract: In this paper we analyse network motifs in the co-occurrence directed networks constructed from five different texts (four books and one portal) in the Croatian language. After preparing the data and network construction, we perform the network motif analysis. We analyse the motif frequencies and Z-scores in the five networks. We present the triad significance profile for five datasets. Furthermore, we compare our results with the existing results for the linguistic networks. Firstly, we show that the triad significance profile for the Croatian language is very similar with the other languages and all the networks belong to the same family of networks. However, there are certain differences between the Croatian language and other analysed languages. We conclude that this is due to the free word-order of the Croatian language.


title: On a class fractional Schr\"odinger equations with indefinite potential involving critical exponential growth

abstract: It is established the existence and multiplicity of weak solutions for a class of nonlocal equations involving the fractional laplacian, nonlinearities with critical exponential growth and potentials this is which may change sign. The proofs of our existence results rely on minimization methods in combination with the mountain-pass theorem.


title: On the Dirichlet Problem for Fully Nonlinear Elliptic Hessian Systems

abstract: We consider the problem of existence and uniqueness of strong solutions $u: \Omega \subset \mathbb{R}^n \longrightarrow \mathbb{R}^N$ in $(H^{2}\cap H^{1}_0)(\Omega)^N$ to the problem \[\label{1} \tag{1} \left\{ \begin{array}{l} F(\cdot,D^2u ) \,=\, f, \ \ \text{ in }\Omega,\\ \hspace{31pt} u\,=\, 0, \ \ \text{ on }\partial \Omega, \end{array} \right. \] when $ f\in L^2(\Omega)^N$, $F$ is a Carath\'eodory map and $\Omega$ is convex. \eqref{1} has been considered by several authors, firstly by Campanato and under Campanato's ellipticity condition. By employing a new weaker notion of ellipticity introduced in recent work of the author [K2] for the respective global problem on $\mathbb{R}^n$, we prove well-posedness of \eqref{1}. Our result extends existing ones under hypotheses weaker than those known previously. An essential part of our analysis in an extension of the classical Miranda-Talenti inequality to the vector case of 2nd order linear hessian systems with rank-one convex coefficients.


title: Measurement of the forward charged particle pseudorapidity density in pp collisions at sqrt(s) = 8 TeV using a displaced interaction point

abstract: The pseudorapidity density of charged particles dN(ch)/deta is measured by the TOTEM experiment in pp collisions at sqrt(s) = 8 TeV within the range 3.9 < eta < 4.7 and -6.95 < eta < -6.9. Data were collected in a low intensity LHC run with collisions occurring at a distance of 11.25 m from the nominal interaction point. The data sample is expected to include 96-97\% of the inelastic proton-proton interactions. The measurement reported here considers charged particles with p_T > 0 MeV/c, produced in inelastic interactions with at least one charged particle in -7 < eta < -6 or 3.7 < eta <4.8 . The dN(ch)/deta has been found to decrease with |eta|, from 5.11 +- 0.73 at eta = 3.95 to 1.81 +- 0.56 at eta= - 6.925. Several MC generators are compared to the data and are found to be within the systematic uncertainty of the measurement.


title: $B^0_{s} \rightarrow \mu^+\mu^-$ at LHC

abstract: Rare leptonic decays of $B_{(s)}^0$ mesons are sensitive probes of New Physics effects. A combination of the CMS and LHCb analyses on the search of the rare decays $B_{s}^0 \rightarrow \mu^+\mu^-$ and $B^0 \rightarrow \mu^+\mu^-$ is presented. The branching fractions of $B_{s}^0 \rightarrow \mu^+\mu^-$ and $B^0 \rightarrow \mu^+\mu^-$ are measured to be $\mathcal{B}(B_{s}^0 \rightarrow \mu^+\mu^-) = (2.8 \,^{+0.7}_{-0.6}) \times 10^{-9}$ and $\mathcal{B}(B^0 \rightarrow \mu^+\mu^-) = (3.9 \,^{+1.6}_{-1.4}) \times 10^{-10}$ respectively. A statistical significances of $6.2\,\sigma$ is evaluated for $B_{s}^0 \rightarrow \mu^+\mu^-$ from the Wilks' theorem while a significance of $3.0\, \sigma$ is measured for $B^0 \rightarrow \mu^+\mu^-$ from the Feldman-Cousins procedure.


title: Natural Limits of Electroweak Model as Contraction of its Gauge Group

abstract: The low and higher energy limits of the Electroweak Model are obtained from first principles of gauge theory. Both limits are given by the same contraction of the gauge group, but for the different consistent rescalings of the field space. Mathematical contraction parameter in both cases is interpreted as energy. The very weak neutrino-matter interactions is explained by zero tending contraction parameter, which depend on neutrino energy. The second consistent rescaling corresponds to the higher energy limit of the Electroweak Model. At the infinite energy all particles lose masses, electroweak interactions become long-range and are mediated by the neutral currents. The limit model represents the development of the early Universe from the Big Bang up to the end of the first second.


title: Linear processing of X-ray scattering patterns with missing pixels

abstract: X-ray scattering patterns from emerging single particle experiments have commonly many missing or contaminated pixels. This complicates different analyses including projections on Fourier or other basis functions (for noise suppression, compression, feature extraction, or retrieval of real-space patterns), as they require integration over all pixels. Here, we derive alternative formulations for Discrete Fourier Transform and a common orthogonal basis by explicit consideration of missing pixels and finite size. Such linear formulations exclude the nonlinear distortion that would be caused by multiplication of the complete scattering pattern with the mask function. Contrary to nonlinear and non-convex phase retrieval optimizations, such reduced-dimension formulations can be used to fully enforce the constraints and to retrieve unknown intensities in a linear fashion. Applications are demonstrated for some typical cases, and extensions to more general cases are discussed.


title: Census of HII regions in NGC 6754 derived with MUSE: Constraints on the metal mixing scale

abstract: We present a study of the HII regions in the galaxy NGC 6754 from a two pointing mosaic comprising 197,637 individual spectra, using Integral Field Spectrocopy (IFS) recently acquired with the MUSE instrument during its Science Verification program. The data cover the entire galaxy out to ~2 effective radii (re ), sampling its morphological structures with unprecedented spatial resolution for a wide-field IFU. A complete census of the H ii regions limited by the atmospheric seeing conditions was derived, comprising 396 individual ionized sources. This is one of the largest and most complete catalogue of H ii regions with spectroscopic information in a single galaxy. We use this catalogue to derive the radial abundance gradient in this SBb galaxy, finding a negative gradient with a slope consistent with the characteristic value for disk galaxies recently reported. The large number of H ii regions allow us to estimate the typical mixing scale-length (rmix ~0.4 re ), which sets strong constraints on the proposed mechanisms for metal mixing in disk galaxies, like radial movements associated with bars and spiral arms, when comparing with simulations. We found evidence for an azimuthal variation of the oxygen abundance, that may be related with the radial migration. These results illustrate the unique capabilities of MUSE for the study of the enrichment mechanisms in Local Universe galaxies.


title: Subalgebras of the Gerstenhaber algebra of differential operators

abstract: We construct a family of subalgebras of the Gerstenhaber algebra of differential operators. The subalgebras are labeled by subsets of the additive group ${\mathbb Z}^n$ that are closed under addition. Each subalgebra is invariant under the Hochschild coboundary operator.


title: Charged jet cross sections and properties in proton-proton collisions at $\sqrt{s}=7$ TeV

abstract: The differential charged jet cross sections, jet fragmentation distributions, and jet shapes are measured in minimum bias proton-proton collisions at centre-of-mass energy $\sqrt{s}=7$ TeV using the ALICE detector at the LHC. Jets are reconstructed from charged particle momenta in the mid-rapidity region using the sequential recombination $k_{\rm T}$ and anti-$k_{\rm T}$ as well as the SISCone jet finding algorithms with several resolution parameters in the range $R=0.2$ to $0.6$. Differential jet production cross sections measured with the three jet finders are in agreement in the transverse momentum ($p_{\rm T}$) interval $20<p_{\rm T}^{\rm jet,ch}<100$ GeV/$c$. They are also consistent with prior measurements carried out at the LHC by the ATLAS collaboration. The jet charged particle multiplicity rises monotonically with increasing jet $p_{\rm T}$, in qualitative agreement with prior observations at lower energies. The transverse profiles of leading jets are investigated using radial momentum density distributions as well as distributions of the average radius containing 80% ($\langle R_{\rm 80} \rangle$) of the reconstructed jet $p_{\rm T}$. The fragmentation of leading jets with $R=0.4$ using scaled $p_{\rm T}$ spectra of the jet constituents is studied. The measurements are compared to model calculations from event generators (PYTHIA, PHOJET, HERWIG). The measured radial density distributions and $\langle R_{\rm 80} \rangle$ distributions are well described by the PYTHIA model (tune Perugia-2011). The fragmentation distributions are better described by HERWIG.


title: Modelling of dependence in high-dimensional financial time series by cluster-derived canonical vines

abstract: We extend existing models in the financial literature by introducing a cluster-derived canonical vine (CDCV) copula model for capturing high dimensional dependence between financial time series. This model utilises a simplified market-sector vine copula framework similar to those introduced by Heinen and Valdesogo (2008) and Brechmann and Czado (2013), which can be applied by conditioning asset time series on a market-sector hierarchy of indexes. While this has been shown by the aforementioned authors to control the excessive parameterisation of vine copulas in high dimensions, their models have relied on the provision of externally sourced market and sector indexes, limiting their wider applicability due to the imposition of restrictions on the number and composition of such sectors. By implementing the CDCV model, we demonstrate that such reliance on external indexes is redundant as we can achieve equivalent or improved performance by deriving a hierarchy of indexes directly from a clustering of the asset time series, thus abstracting the modelling process from the underlying data.


title: Evolution and Regularisation of Vacuum Brill Gravitational Waves in Spherical Polar Coordinates

abstract: In this thesis the universal collapse of vacuum Brill waves is demonstrated numerically and analytically. This thesis presents the mathematical and numerical methods necessary to regularise and evolve Brill Gravitational Waves in spherical polar coordinates. A Cauchy ADM formulation is used for the time evolution. We find strong evidence that all IVP formulations of pure vacuum Brill gravitational waves collapse to form singularities/black holes, and we do not observe critical black hole mass scaling phenomena in the IVP parameter phase space that has been characterised in non-vacuum systems. A theoretical framework to prove this result analytically is presented. We discuss the meaning of Brill metric variables, the topology of trapped surfaces for various scenarios, and verify other results in the field related to critical values of initial value parameters and black hole formation approaching spatial infinity. The instability of Minkowski (flat) space under Brill wave and more general perturbations is demonstrated. The main numerical tools employed to achieve a stable evolution code are (1) derivation of appropriate regularity conditions on the lapse function and metric function q, (2) the move to a 4th order correct discretisation scheme with appropriate boundary conditions, (3) the use of exponential metric terms, (4) an understanding of the right mix of free versus constrained evolution and (5) the development of appropriate numerical techniques for discretisation and differencing to reduce numerical error, along with a characterisation of condition numbers.


title: Towards an objective ranking in online reputation systems: the effect of the rating projection

abstract: Online reputation systems are commonly used by e-commerce providers nowadays. In order to generate an objective ranking of online items' quality according to users' ratings, many sophisticated algorithms have been proposed in the literature. In this paper, instead of proposing new algorithms we focus on a more fundamental problem: the rating projection. The basic idea is that even though the rating values given by users are linearly separated, the real preference of users to items between different values gave is nonlinear. We thus design an approach to project the original ratings of users to more representative values. This approach can be regarded as a data pretreatment method. Simulation in both artificial and real networks shows that the performance of the ranking algorithms can be improved when the projected ratings are used.


title: Relativistic Elastic Differential Cross Sections for Equal Mass Nuclei

abstract: The effects of relativistic kinematics are studied for nuclear collisions of equal mass nuclei. It is found that the relativistic and non-relativistic elastic scattering amplitudes are nearly indistinguishable, and, hence, the relativistic and non-relativistic differential cross sections become indistinguishable. These results are explained by analyzing the Lippmann-Schwinger equation with the first order optical potential that was employed in the calculation


title: Optimal control of elliptic PDEs on surfaces of codimension 1

abstract: We consider an elliptic optimal control problem where the objective functional contains an integral along a surface of codimension 1, also known as a hypersurface. In particular, we use a fidelity term that encourages the state to take certain values along a curve in 2D or a surface in 3D. In the discretisation of this problem, which uses piecewise linear finite elements, we allow the hypersurface to be approximated e.g. by a polyhedral hypersurface. This can lead to simpler numerical methods, however it complicates the numerical analysis. We prove a priori $L^2$ error estimates for the control and present numerical results that agree with these. A comparison is also made to point control problems.


title: The weights of the tautological classes of character varieties

abstract: I calculate the weights of the tautological classes of character varieties using the functorial mixed Hodge structure on simplicial schemes.


title: Optimal embedding of Meyer sets into model sets

abstract: We give a constructive proof that a repetitive Meyer multiple set of $\mathbb{R}^d$ admits a smallest model multiple set containing it colorwise.


title: Cyclicity and invariant subspaces in the Dirichlet spaces

abstract: Let $\mu$ be a positive finite measure on the unit circle and $\mathcal{D} (\mu)$ the associated Dirichlet space. The generalized Brown-Shields conjecture asserts that an outer function $f \in \mathcal{D} (\mu )$ is cyclic if and only if $c\_\mu (Z (f))= 0$, where $c\_\mu$ is the capacity associated with $\mathcal{D} (\mu)$ and $Z(f)$ is the zero set of $f$. In this paper we prove that this conjecture is true for measures with countable support. We also give in this case a complete and explicit characterization of invariant subspaces.


title: Minimal model of transcriptional elongation processes with pauses

abstract: Fundamental biological processes such as transcription and translation, where a genetic sequence is sequentially read by a macromolecule, have been well described by a classical model of non-equilibrium statistical physics, the totally asymmetric exclusion principle (TASEP). This model describes particles hopping between sites of a one-dimensional lattice, with the particle current determining the transcription or translation rate. An open problem is how to analyze a TASEP where particles can pause randomly, as has been observed during transcription. In this work, we report that surprisingly, a simple mean-field model predicts well the particle current for all values of the average pause duration, using a simple description of blocking behind paused particles.


title: The Path Integral Quantization corresponding to the Deformed Heisenberg Algebra

abstract: In this paper, the deformation of the Heisenberg algebra, consistent with both the generalized uncertainty principle and doubly special relativity, has been analyzed. It has been observed that, though this algebra can give rise to fractional derivative terms in the corresponding quantum mechanical Hamiltonian, a formal meaning can be given to them by using the theory of harmonic extensions of function. Depending on this argument, the expression of the propagator of the path integral corresponding to the deformed Heisenberg algebra, has been obtained. In particular, the consistent expression of the one dimensional free particle propagator has been evaluated explicitly. With this propagator in hand, it has been shown that, even in free particle case, normal generalized uncertainty principle and doubly special relativity shows very much different result.


title: Integration of rule-based models and compartmental models of neurons

abstract: Synaptic plasticity depends on the interaction between electrical activity in neurons and the synaptic proteome, the collection of over 1000 proteins in the post-synaptic density (PSD) of synapses. To construct models of synaptic plasticity with realistic numbers of proteins, we aim to combine rule-based models of molecular interactions in the synaptic proteome with compartmental models of the electrical activity of neurons. Rule-based models allow interactions between the combinatorially large number of protein complexes in the postsynaptic proteome to be expressed straightforwardly. Simulations of rule-based models are stochastic and thus can deal with the small copy numbers of proteins and complexes in the PSD. Compartmental models of neurons are expressed as systems of coupled ordinary differential equations and solved deterministically. We present an algorithm which incorporates stochastic rule-based models into deterministic compartmental models and demonstrate an implementation ("KappaNEURON") of this hybrid system using the SpatialKappa and NEURON simulators.


title: Inclusive photon production at forward rapidities in proton-proton collisions at $\sqrt{s}$ = 0.9, 2.76 and 7 TeV

abstract: The multiplicity and pseudorapidity distributions of inclusive photons have been measured at forward rapidities ($2.3 < \eta < 3.9$) in proton-proton collisions at three center-of-mass energies, $\sqrt{s}=0.9$, 2.76 and 7 TeV using the ALICE detector. It is observed that the increase in the average photon multiplicity as a function of beam energy is compatible with both a logarithmic and a power-law dependence. The relative increase in average photon multiplicity produced in inelastic pp collisions at 2.76 and 7 TeV center-of-mass energies with respect to 0.9 TeV are 37.2% $\pm$ 0.3% (stat) $\pm$ 8.8% (sys) and 61.2% $\pm$ 0.3% (stat) $\pm$ 7.6% (sys), respectively. The photon multiplicity distributions for all center-of-mass energies are well described by negative binomial distributions. The multiplicity distributions are also presented in terms of KNO variables. The results are compared to model predictions, which are found in general to underestimate the data at large photon multiplicities, in particular at the highest center-of-mass energy. Limiting fragmentation behavior of photons has been explored with the data, but is not observed in the measured pseudorapidity range.


title: Sample(x)=(a*x<=t) is a distinguisher with probability 1/8

abstract: A random sampling function Sample:U->{0,1} for a key universe U is a distinguisher with probability p if for any given assignment of values v(x) to the keys x in U, including at least one non-zero v(x)!=0, the sampled sum sum{ v(x) | x in U and Sample(x) } is non-zero with probability at least p. Here the key values may come from any commutative monoid (addition is commutative and associative and zero is neutral). Such distinguishers were introduced by Vazirani [PhD thesis 1986], and Naor and Naor used them for their small bias probability spaces [STOC'90]. Constant probability distinguishers are used for testing in contexts where the key values are not computed directly, yet where the sum is easily computed. A simple example is when we get a stream of key value pairs (x_1,v_1),(x_2,v_2),...,(x_n,v_n) where the same key may appear many times. The accumulated value of key x is v(x)=sum{v_i | x_i=x}. For space reasons, we may not be able to maintain v(x) for every key x, but the sampled sum is easily maintained as the single value sum{v_i | Sample(x_i)}. Here we show that when dealing with w-bit integers, if a is a uniform odd w-bit integer and t is a uniform w-bit integer, then Sample(x)=[ax mod 2^w <= t] is a distinguisher with probability 1/8. Working with standard units, that is, w=8, 16, 32, 64, we exploit that w-bit multiplication works modulo 2^w, discarding overflow automatically, and then the sampling decision is implemented by the C-code a*x<=t. Previous such samplers were much less computer friendly, e.g., the distinguisher of Naor and Naor [STOC'90] was more complicated and involved a 7-independent hash function.


title: Probing the galaxy-halo connection in UltraVISTA to $z\sim2$

abstract: We use percent-level precision photometric redshifts in the UltraVISTA-DR1 near-infrared survey to investigate the changing relationship be- tween galaxy stellar mass and the dark matter haloes hosting them to $z\sim2$. We achieve this by measuring the clustering properties and abundances of a series of volume-limited galaxy samples selected by stellar mass and star-formation activity. We interpret these results in the framework of a phenomenological halo model and numerical simulations. Our measurements span a uniquely large range in stellar mass and redshift and reach below the characteristic stellar mass to $z\sim2$. Our results are: 1. At fixed redshift and scale, clustering amplitude depends monotonically on sample stellar mass threshold; 2. At fixed angular scale, the projected clustering amplitude decreases with redshift but the co-moving correlation length remains constant; 3. Characteristic halo masses and galaxy bias increase with increasing median stellar mass of the sample; 4. The slope of these relationships is modified in lower mass haloes; 5. Concerning the passive galaxy population, characteristic halo masses are consistent with a simply less-abundant version of the full galaxy sample, but at lower redshifts the fraction of satellite galaxies in the passive population is very different from the full galaxy sample; 6. Finally we find that the ratio between the characteristic halo mass and median stellar mass at each redshift bin reaches a peak at ${\log(M_h/M_\odot)}\sim12.2$ and the position of this peak remains constant out to $z\sim2$. The behaviour of the full and passively evolving galaxy samples can be understood qualitatively by considering the slow evolution of the characteristic stellar mass in the redshift range probed by our survey.


title: On some properties of seminormed fuzzy integrals

abstract: We give solutions to Problems 2.21, 2.31 and 2.32, which were posed Borzow\'a-Moln\'arov\'a, Hal\v{c}inov\'a and Hutn\'ik in [{\it The smallest semicopula-based universal integrals I: properties and characterizations,} Fuzzy Sets and Systems (2014), http://dx.doi.org/ 10.1016/j.fss. 2014.09.0232014].


title: Instanton moduli spaces on non-K\"ahlerian surfaces. Holomorphic models around the reduction loci

abstract: Let $\mathcal{M}$ be a moduli space of polystable rank 2-bundles bundles with fixed determinant (a moduli space of $\mathrm{PU}(2)$-instantons) on a Gauduchon surface with $p_g=0$ and $b_1=1$. We study the holomorphic structure of $\mathcal{M}$ around a circle $\mathcal{T}$ of regular reductions. Our model space is a "blowup flip passage", which is a manifold with boundary whose boundary is a projective fibration, and whose interior comes with a natural complex structure. We prove that a neighborhood of the boundary of the blowup $\hat{\mathcal{M}}_{\mathcal{T}}$ of $\mathcal{M}$ at $\mathcal{T}$ can be smoothly identified with a neighborhood of the boundary of a "flip passage" $\hat Q$, the identification being holomorphic on $\mathrm{int}(\hat Q)$.


title: Extracting Hidden-Photon Dark Matter From an LC-Circuit

abstract: We point out that a cold dark matter condensate made of gauge bosons from an extra hidden U(1) sector - dubbed hidden- photons - can create a small, oscillating electric density current. Thus, they could also be searched for in the recently proposed LC-circuit setup conceived for axion cold dark matter search by Sikivie, Sullivan and Tanner. We estimate the sensitivity of this setup for hidden-photon cold dark matter and we find it could cover a sizable, so far unexplored parameter space.


title: A general view of the algebraic semantics of \L ukasiewicz logic with product

abstract: This paper aims at connecting the various classes that provide an algebraic semantics for three different conservative expansions of Lukasiewicz logic, using algebraic and category-theoretical techniques. We connect such classes of algebras by adjunctions, using the tensor product of MV-algebras and defining the tensor PMV-algebra of a semisimple MV-algebra, inspired by the construction of the tensor algebra of a vector space. We further apply the main results to prove amalgamation properties and, via categorical equivalence, we transfer all results to the framework of lattice- ordered groups.


title: Fundamental diagrams in traffic flow: the case of heterogeneous kinetic models

abstract: Experimental studies on vehicular traffic provide data on quantities like density, flux, and mean speed of the vehicles. However, the diagrams relating these variables (the fundamental and speed diagrams) show some peculiarities not yet fully reproduced nor explained by mathematical models. In this paper, resting on the methods of kinetic theory, we introduce a new traffic model which takes into account the heterogeneous nature of the flow of vehicles along a road. In more detail, the model considers traffic as a mixture of two or more populations of vehicles (e.g., cars and trucks) with different microscopic characteristics, in particular different lengths and/or maximum speeds. With this approach we gain some insights into the scattering of the data in the regime of congested traffic clearly shown by actual measurements.


title: The effective U(1)-Higgs theory at strong coupling on optical lattices?

abstract: We discuss the U(1)-Higgs model in two dimensions in the strongly coupled regime. If we neglect the plaquette interactions, we generate an effective theory where link variables are integrated out, producing 4-field operators. Plaquette interactions can be restored order by order as in recent calculations with staggered fermions. In the case of a SU(2) gauge theory with fermions, this strong coupling expansion can be related to the strong coupling expansion of Fermi-Hubbard models possibly implementable on optical lattice. We would like to provide a similar construction relating the U(1)-Higgs model to some Bose-Hubbard model. As a first step in this direction, we discuss a recent proposal to implement the O(2) model on optical lattices using a 87Rb and 41K Bose-Bose mixture of cold atoms.


title: Solvability of cubic and quartic equations using one radical

abstract: Theorem. An irreducible cubic polynomial with rational coefficients has a root in a one step radical extension of Q if and only if the discriminate is a square of a rational number. Theorem. An irreducible polynomial x^4+px^2+qx+s with rational coefficients q\ne0, p and s has a root in a one step radical extension of Q if and only if the cubic resolution has rational root t such that t>p/2 and A:=16(t^2-s)^2-(t^2-s)(2t+p)^2 is a square of a rational number.


title: An uncountable set of tiling spaces with distinct cohomology

abstract: We generalise the notion of a Barge-Diamond complex, in the one-dimensional case, to a mixed system of tiling substitutions. This gives a way of describing the associated tiling space as an inverse limit of Barge-Diamond complexes. We give an effective method for calculating the \v{C}ech cohomology of the tiling space via an exact sequence relating the associated sequence of substitution matrices and certain subcomplexes appearing in the approximants. As an application, we show that there exists a system of three substitutions on two letters which exhibit an uncountable collection of minimal tiling spaces with distinct isomorphism classes of \v{C}ech cohomology.


title: On Nica-Pimsner algebras of C*-dynamical systems over $\mathbb{Z}_+^n$

abstract: We examine Nica-Pimsner algebras associated with semigroup actions of $\mathbb{Z}_+^n$ on a C*-algebra $A$ by $*$-endomorphisms. We give necessary and sufficient conditions on the dynamics for exactness and nuclearity of the Nica-Pimsner algebras. Furthermore we parameterize the KMS states at finite temperature by the tracial states on $A$. A parametrization is also shown for KMS states at zero temperature (resp. ground states) by the tracial states on $A$ (resp. states on $A$). Finally we give a formula for obtaining tracial states on the Nica-Pimsner algebras.


title: Dynamical spin structure factor of one-dimensional interacting fermions

abstract: We revisit the dynamic spin susceptibility, $\chi(q,\omega)$, of one-dimensional interacting fermions. To second order in the interaction, backscattering results in a logarithmic correction to $\chi(q,\omega)$ at $q\ll k_F$, even if the single-particle spectrum is linearized near the Fermi points. Consequently, the dynamic spin structure factor, $\mathrm{Im}\chi(q,\omega)$, is non-zero at frequencies above the single-particle continuum. In the boson language, this effect results from the marginally irrelevant backscattering operator of the sine-Gordon model. Away from the threshold, the high-frequency tail of $\mathrm{Im}\chi(q,\omega)$ due to backscattering is larger than that due to finite mass by a factor of $k_F/q$. We derive the renormalization group equations for the coupling constants of the $g$-ology model at finite $\omega$ and $q$ and find the corresponding expression for $\chi(q,\omega)$, valid to all orders in the interaction but not in the immediate vicinity of the continuum boundary, where the finite-mass effects become dominant.


title: Machine learning for discriminating quantum measurement trajectories and improving readout

abstract: High-fidelity measurements are important for the physical implementation of quantum information protocols. Current methods for classifying measurement trajectories in superconducting qubit systems produce fidelities that are systematically lower than those predicted by experimental parameters. Here, we place current classification methods within the framework of machine learning algorithms and improve on them by investigating more sophisticated ML approaches. We find that non-linear algorithms and clustering methods produce significantly higher assignment fidelities that help close the gap to the fidelity achievable under ideal noise conditions. Clustering methods group trajectories into natural subsets within the data, which allows for the diagnosis of specific systematic errors. We find large clusters in the data associated with relaxation processes and show these are the main source of discrepancy between our experimental and achievable fidelities. These error diagnosis techniques help provide a concrete path forward to improve qubit measurements.


title: Tension of Confining Strings at Low Temperature

abstract: In the low temperature confining phase of QCD or QCD-like theories it is challenging to capture the temperature dependence of observables through AdS/CFT. Using the blackfold approach we compute the quark-antiquark linear static potential in the low temperature confining phase, taking into account the thermal excitations of the string. We find the explicit temperature dependence of the string tension and notice that, as naturally expected, tension decreases as temperature increases. We have also generalized the blackfold approach for the computation of the Wilson loops, making it directly applicable to a large class of backgrounds.


title: Attosecond streaking of photoelectrons emitted from metal surfaces

abstract: We numerically investigate attosecond streaking time delays in the photoemission of valence and 2p core electrons of aluminum surface. We find that electron emission from the core level band is delayed by $\Delta \tau =100$ attoseconds relative to the release of electrons from the valence band. We show that this relative time offset in electron emission is caused by the screening of the streaking laser field by conduction electrons.


title: A Conformally Invariant Theory of Gravitation in Metric Measure Space

abstract: In this manuscript, a conformally invariant theory of gravitation in the context of metric measure space is studied. The proposed action is invariant under both diffeomorphism and conformal transformations. Using the variational method, a generalization of the Einstein equation is obtained, wherein the conventional tensors are replaced by their conformally invariant counterparts, living in metric measure space. The invariance of the geometrical part of the action under a diffeomorphism leads to a generalized contracted second Bianchi identity. In metric measure space, the covariant derivative is the same as it is in the Riemannian space. Hence, in contrast to the Weyl space, the metricity and integrability are maintained. However, it is worth noting that in metric measure space the divergence of a tensor is not simply the contraction of the covariant derivative operator with the tensor that it acts on. Despite the fact that metric measure space and integrable Weyl space, are constructed based on different assumptions, it is shown that some relations in these spaces, such as the contracted second Bianchi identity, are completely similar.


title: Galois action on the homology of Fermat curves

abstract: In his paper titled "Torsion points on Fermat Jacobians, roots of circular units and relative singular homology", Anderson determines the homology of the degree $n$ Fermat curve as a Galois module for the action of the absolute Galois group $G_{\mathbb{Q}(\zeta_n)}$. In particular, when $n$ is an odd prime $p$, he shows that the action of $G_{\mathbb{Q}(\zeta_p)}$ on a more powerful relative homology group factors through the Galois group of the splitting field of the polynomial $1-(1-x^p)^p$. If $p$ satisfies Vandiver's conjecture, we prove that the Galois group of this splitting field over $\mathbb{Q}(\zeta_p)$ is an elementary abelian $p$-group of rank $(p+1)/2$. Using an explicit basis for this Galois group, we completely compute the relative homology, the homology, and the homology of an open subset of the degree $3$ Fermat curve as Galois modules. We then compute several Galois cohomology groups which arise in connection with obstructions to rational points.


title: Unit Quaternions and the Bloch Sphere

abstract: The spinor representation of spin-1/2 states can equally well be mapped to a single unit quaternion, yielding a new perspective despite the equivalent mathematics. This paper first demonstrates a useable map that allows Bloch-sphere rotations to be represented as quaternionic multiplications, simplifying the form of the dynamical equations. Left-multiplications generally correspond to non-unitary transformations, providing a simpler (essentially classical) analysis of time-reversal. But the quaternion viewpoint also reveals a surprisingly large broken symmetry, as well as a potential way to restore it, via a natural expansion of the state space that has parallels to second order fermions. This expansion to "second order qubits" would imply either a larger gauge freedom or a natural space of hidden variables.


title: Simulation Quantization: An Application of Physical Versions of the Church-Turing Thesis

abstract: An integrable anharmonic oscillator is presumably simulable by a classical computer and therefore by a quantum computer. An integrable anharmonic oscillator whose Hamiltonian is of normal type and quartic in the canonical coordinates is not quantizable. If, as argued here, quantum simulation of a finitely realizable classical physical system entails quantization of that system, then either there exist nonsimulable, integrable anharmonic oscillators or there are no obstructions to quantization by simulation. Simulation quantization implies further that any obstructions to quantization arise entirely within the quantum domain.


title: On local properties of one class of mappings on Riemannian manifolds

abstract: The present paper is devoted to questions located at the junction of the theory of space quasiconformal mappings and Riemannian surfaces. Theorems on local behavior of one class of open discrete mappings with unbounded characteristic of quasiconformality on arbitrary Riemannian manifolds are obtained


title: Spacetime algebra as a powerful tool for electromagnetism

abstract: We present a comprehensive introduction to spacetime algebra that emphasizes its practicality and power as a tool for the study of electromagnetism. We carefully develop this natural (Clifford) algebra of the Minkowski spacetime geometry, with a particular focus on its intrinsic (and often overlooked) complex structure. Notably, the scalar imaginary that appears throughout the electromagnetic theory properly corresponds to the unit 4-volume of spacetime itself, and thus has physical meaning. The electric and magnetic fields are combined into a single complex and frame-independent bivector field, which generalizes the Riemann-Silberstein complex vector that has recently resurfaced in studies of the single photon wavefunction. The complex structure of spacetime also underpins the emergence of electromagnetic waves, circular polarizations, the normal variables for canonical quantization, the distinction between electric and magnetic charge, complex spinor representations of Lorentz transformations, and the dual (electric-magnetic field exchange) symmetry that produces helicity conservation in vacuum fields. This latter symmetry manifests as an arbitrary global phase of the complex field, motivating the use of a complex vector potential, along with an associated transverse and gauge-invariant bivector potential, as well as complex (bivector and scalar) Hertz potentials. Our detailed treatment aims to encourage the use of spacetime algebra as a readily available and mature extension to existing vector calculus and tensor methods that can greatly simplify the analysis of fundamentally relativistic objects like the electromagnetic field.


title: Survey of End-to-End Mobile Network Measurement Testbeds, Tools, and Services

abstract: Mobile (cellular) networks enable innovation, but can also stifle it and lead to user frustration when network performance falls below expectations. As mobile networks become the predominant method of Internet access, developer, research, network operator, and regulatory communities have taken an increased interest in measuring end-to-end mobile network performance to, among other goals, minimize negative impact on application responsiveness. In this survey we examine current approaches to end-to-end mobile network performance measurement, diagnosis, and application prototyping. We compare available tools and their shortcomings with respect to the needs of researchers, developers, regulators, and the public. We intend for this survey to provide a comprehensive view of currently active efforts and some auspicious directions for future work in mobile network measurement and mobile application performance evaluation.


title: Ukaliq: Seeing Long-Term with Small, Precise Arctic Telescopes

abstract: Time-domain astrophysics benefits from extreme-latitude sites, which can combine intrinsically extended nighttime with good sky conditions. One such location is the Polar Environment Atmospheric Research Laboratory (PEARL), at 80 degrees North latitude, on the northwestern edge of Ellesmere Island, Canada. Experience gained deploying seeing monitors there has been incorporated into an automated system called "Ukaliq" after the common arctic hare, which is also very well suited to its local environment. Even with modest aperture, high photometric reliability may be achieved using simple adaptive optics together with observing strategies that best fit the unique set of advantages available at PEARL: excellent image quality maintained during many clear, calm, dark periods of 100 hours or more. A potential multi-year search for gravitational microlensing of quasars with Ukaliq helps illustrate this niche in the era of large wide-field survey facilities.


title: Detection of Early-Stage Enterprise Infection by Mining Large-Scale Log Data

abstract: Recent years have seen the rise of more sophisticated attacks including advanced persistent threats (APTs) which pose severe risks to organizations and governments by targeting confidential proprietary information. Additionally, new malware strains are appearing at a higher rate than ever before. Since many of these malware are designed to evade existing security products, traditional defenses deployed by most enterprises today, e.g., anti-virus, firewalls, intrusion detection systems, often fail at detecting infections at an early stage. We address the problem of detecting early-stage infection in an enterprise setting by proposing a new framework based on belief propagation inspired from graph theory. Belief propagation can be used either with "seeds" of compromised hosts or malicious domains (provided by the enterprise security operation center -- SOC) or without any seeds. In the latter case we develop a detector of C&C communication particularly tailored to enterprises which can detect a stealthy compromise of only a single host communicating with the C&C server. We demonstrate that our techniques perform well on detecting enterprise infections. We achieve high accuracy with low false detection and false negative rates on two months of anonymized DNS logs released by Los Alamos National Lab (LANL), which include APT infection attacks simulated by LANL domain experts. We also apply our algorithms to 38TB of real-world web proxy logs collected at the border of a large enterprise. Through careful manual investigation in collaboration with the enterprise SOC, we show that our techniques identified hundreds of malicious domains overlooked by state-of-the-art security products.


title: Progress on a Miniature Cold-Atom Frequency Standard

abstract: Atomic clocks play a crucial role in timekeeping, communications, and navigation systems. Recent efforts enabled by heterogeneous MEMS integration have led to the commercial introduction of Chip-Scale Atomic Clocks (CSAC) with a volume of 16 cm3, power consumption of 120 mW, and instability (Allan Deviation) of {\sigma}({\tau} = 1 sec) < 2e-10. In order to reduce the temperature sensitivity of next-generation CSACs for timing applications, the interaction of atoms with the environment must be minimized, which can be accomplished in an architecture based on trapped, laser-cooled atoms. In this paper, we present results describing the development of a miniature cold-atom apparatus for operation as a frequency standard. Our architecture is based on laser-cooling a sample of neutral atoms in a Magneto-Optical Trap (MOT) using a conical retro-reflector in a miniature vacuum chamber. Trapping the atoms in vacuum and performing microwave interrogation in the dark reduces the temperature sensitivity compared to vapor-cell CSACs. We present details of the component development associated with the laser systems, opto-electronics, and vacuum package for miniature cold-atom technology. Finally, we conclude by characterizing the optimum alkali background pressure for such a cold-atom frequency standard.


title: A Unified View of Large-scale Zero-sum Equilibrium Computation

abstract: The task of computing approximate Nash equilibria in large zero-sum extensive-form games has received a tremendous amount of attention due mainly to the Annual Computer Poker Competition. Immediately after its inception, two competing and seemingly different approaches emerged---one an application of no-regret online learning, the other a sophisticated gradient method applied to a convex-concave saddle-point formulation. Since then, both approaches have grown in relative isolation with advancements on one side not effecting the other. In this paper, we rectify this by dissecting and, in a sense, unify the two views.


title: Strongly minimal pseudofinite structures

abstract: We observe that the nonstandard finite cardinality of a definable set in a strongly minimal pseudofinite structure D is a polynomial over the integers in the nonstandard finite cardinality of D. We conclude that D is unimodular, hence also locally modular. We also deduce a regularity lemma for graphs definable in strongly minimal pseudofinite structures. The paper is elementary, and the only surprising thing about it is that the results were not explicitly noted before. In the new version we add a comment on relations to work of Macpherson and Steinhorn, as well as on the limited nature of the examples


title: Local Resolution of Ideals Subordinated to a Foliation

abstract: Let $M$ be a complex- or real-analytic manifold, $\theta$ be a singular distribution and $\mathcal{I}$ a coherent ideal sheaf defined on $M$. We prove the existence of a local resolution of singularities of $\mathcal{I}$ that preserves the class of singularities of $\theta$, under the hypothesis that the considered class of singularities is invariant by $\theta$-admissible blowings-up. In particular, if $\theta$ is monomial, we prove the existence of a local resolution of singularities of $\mathcal{I}$ that preserves the monomiality of the singular distribution $\theta$.


title: Nonnegative Tensor Factorization for Directional Blind Audio Source Separation

abstract: We augment the nonnegative matrix factorization method for audio source separation with cues about directionality of sound propagation. This improves separation quality greatly and removes the need for training data, with only a twofold increase in run time. This is the first method which can exploit directional information from microphone arrays much smaller than the wavelength of sound, working both in simulation and in practice on millimeter-scale microphone arrays.


title: Quantitative properties of the non-properness set of a polynomial map

abstract: Let $f$ be a generically finite polynomial map $f: \mathbb{C}^n\to \mathbb{C}^m$ of algebraic degree $d$. Motivated by the study of the Jacobian Conjecture, we prove that the set $S_f$ of non-properness of $f$ is covered by parametric curves of degree at most $d-1$. This bound is best possible. Moreover, we prove that if $X\subset\mathbb{R}^n$ is a closed algebraic set covered by parametric curves, and $f: X\rightarrow\mathbb{R}^m$ is a generically finite polynomial map, then the set $S_f$ of non-properness of $f$ is also covered by parametric curves. Moreover, if $X$ is covered by parametric curves of degree at most $d_1$, and the map $f$ has degree $d_2$, then the set $S_f$ is covered by parametric curves of degree at most $2d_1d_2$. As an application of this result we show a real version of the Bia{\l}ynicki-Birula theorem: Let $G$ be a real, non-trivial, connected, unipotent group which acts effectively and polynomially on a connected smooth algebraic variety $X\subset\mathbb{R}^n$. Then the set $Fix(G)$ of fixed points has no isolated points.