title: 3DUNDERWORLD-SLS: An Open-Source Structured-Light Scanning System for Rapid Geometry Acquisition

abstract: Recently, there has been an increase in the demand of virtual 3D objects representing real-life objects. A plethora of methods and systems have already been proposed for the acquisition of the geometry of real-life objects ranging from those which employ active sensor technology, passive sensor technology or a combination of various techniques. In this paper we present the development of a 3D scanning system which is based on the principle of structured-light, without having particular requirements for specialized equipment. We discuss the intrinsic details and inherent difficulties of structured-light scanning techniques and present our solutions. Finally, we introduce our open-source scanning software system "3DUNDERWORLD-SLS" which implements the proposed techniques both in CPU and GPU. We have performed extensive testing with a wide range of models and report the results. Furthermore, we present a comprehensive evaluation of the system and a comparison with a high-end commercial 3D scanner.


title: A free boundary problem for the localization of eigenfunctions

abstract: We study a variant of the Alt, Caffarelli, and Friedman free boundary problem with many phases and a slightly different volume term, which we originally designed to guess the localization of eigenfunctions of a Schr\"odinger operator in a domain. We prove Lipschitz bounds for the functions and some nondegeneracy and regularity properties for the domains.


title: A Method for Characterizing Communities in Dynamic Attributed Complex Networks

abstract: Many methods have been proposed to detect communities, not only in plain, but also in attributed, directed or even dynamic complex networks. In its simplest form, a community structure takes the form of a partition of the node set. From the modeling point of view, to be of some utility, this partition must then be characterized relatively to the properties of the studied system. However, if most of the existing works focus on defining methods for the detection of communities, only very few try to tackle this interpretation problem. Moreover, the existing approaches are limited either in the type of data they handle, or by the nature of the results they output. In this work, we propose a method to efficiently support such a characterization task. We first define a sequence-based representation of networks, combining temporal information, topological measures, and nodal attributes. We then describe how to identify the most emerging sequential patterns of this dataset, and use them to characterize the communities. We also show how to detect unusual behavior in a community, and highlight outliers. Finally, as an illustration, we apply our method to a network of scientific collaborations.


title: Independent identification of meteor showers in EDMOND database

abstract: Cooperation and data sharing among national networks and International Meteor Organization Video Meteor Database (IMO VMDB) resulted in European viDeo MeteOr Network Database (EDMOND). The current version of the database (EDMOND 5.0) contains 144 751 orbits collected from 2001 to 2014. In our survey we used EDMOND database in order to identify existing and new meteor showers in the database. In the first step of the survey, using Dsh criterion we found groups around each meteor within similarity threshold. Mean parameters of the groups were calculated and compared using a new function based on geocentric parameters (solar longitude, right ascension, declination, and geocentric velocity). Similar groups were merged into final clusters (representing meteor showers), and compared with IAU Meteor Data Center list of meteor showers. This paper presents the results obtained by the proposed methodology.


title: Convex Hulls under Uncertainty

abstract: We study the convex-hull problem in a probabilistic setting, motivated by the need to handle data uncertainty inherent in many applications, including sensor databases, location-based services and computer vision. In our framework, the uncertainty of each input site is described by a probability distribution over a finite number of possible locations including a \emph{null} location to account for non-existence of the point. Our results include both exact and approximation algorithms for computing the probability of a query point lying inside the convex hull of the input, time-space tradeoffs for the membership queries, a connection between Tukey depth and membership queries, as well as a new notion of $\some$-hull that may be a useful representation of uncertain hulls.


title: Light propagation in the field of a moving axisymmetric body: theory and application to JUNO

abstract: Given the extreme accuracy of modern space science, a precise relativistic modeling of observations is required. We use the Time Transfer Functions formalism to study light propagation in the field of uniformly moving axisymmetric bodies, which extends the field of application of previous works. We first present a space-time metric adapted to describe the geometry of an ensemble of uniformly moving bodies. Then, we show that the expression of the Time Transfer Functions in the field of a uniformly moving body can be easily derived from its well-known expression in a stationary field by using a change of variables. We also give a general expression of the Time Transfer Function in the case of an ensemble of arbitrarily moving point masses. This result is given in the form of an integral easily computable numerically. We also provide the derivatives of the Time Transfer Function in this case, which are mandatory to compute Doppler and astrometric observables. We particularize our results in the case of moving axisymmetric bodies. Finally, we apply our results to study the different relativistic contributions to the range and Doppler tracking for the JUNO mission in the Jovian system.


title: New convergence results for the scaled gradient projection method

abstract: The aim of this paper is to deepen the convergence analysis of the scaled gradient projection (SGP) method, proposed by Bonettini et al. in a recent paper for constrained smooth optimization. The main feature of SGP is the presence of a variable scaling matrix multiplying the gradient, which may change at each iteration. In the last few years, an extensive numerical experimentation showed that SGP equipped with a suitable choice of the scaling matrix is a very effective tool for solving large scale variational problems arising in image and signal processing. In spite of the very reliable numerical results observed, only a weak, though very general, convergence theorem is provided, establishing that any limit point of the sequence generated by SGP is stationary. Here, under the only assumption that the objective function is convex and that a solution exists, we prove that the sequence generated by SGP converges to a minimum point, if the scaling matrices sequence satisfies a simple and implementable condition. Moreover, assuming that the gradient of the objective function is Lipschitz continuous, we are also able to prove the O(1/k) convergence rate with respect to the objective function values. Finally, we present the results of a numerical experience on some relevant image restoration problems, showing that the proposed scaling matrix selection rule performs well also from the computational point of view.


title: Topological Entropy and Renormalization Group flow in 3-dimensional spherical spaces

abstract: We analyze the renormalization group (RG) flow of the temperature independent term of the entropy in the high temperature limit \beta/a<<1 of a massive field theory in 3-dimensional spherical spaces M_3 with constant curvature 6/a^2. For masses lower than 2\pi/\beta, this term can be identified with the free energy of the same theory on M_3 considered as a 3-dimensional Euclidean space-time. The non-extensive part of this free energy, S_hol, is generated by the holonomy of the spatial metric connection. We show that for homogeneous spherical spaces the holonomy entropy S_hol decreases monotonically when the RG scale flows to the infrared. At the conformal fixed points the values of the holonomy entropy do coincide with the genuine topological entropies recently introduced. The monotonic behavior of the RG flow leads to an inequality between the topological entropies of the conformal field theories connected by such flow, i.e. S_top^UV > S_top^IR. From a 3-dimensional viewpoint the same term arises in the 3-dimensional Euclidean effective action and has the same monotonic behavior under the RG group flow. We conjecture that such monotonic behavior is generic, which would give rise to a 3-dimensional generalization of the c-theorem, along the lines of the 2-dimensional c-theorem and the 4-dimensional a-theorem. The conjecture is related to recent formulations of the F-theorem. In particular, the holonomy entropy on lens spaces is directly related to the topological R\'enyi entanglement entropy on disks of 2-dimensional flat spaces.


title: A scaled gradient projection method for Bayesian learning in dynamical systems

abstract: A crucial task in system identification problems is the selection of the most appropriate model class, and is classically addressed resorting to cross-validation or using asymptotic arguments. As recently suggested in the literature, this can be addressed in a Bayesian framework, where model complexity is regulated by few hyperparameters, which can be estimated via marginal likelihood maximization. It is thus of primary importance to design effective optimization methods to solve the corresponding optimization problem. If the unknown impulse response is modeled as a Gaussian process with a suitable kernel, the maximization of the marginal likelihood leads to a challenging nonconvex optimization problem, which requires a stable and effective solution strategy. In this paper we address this problem by means of a scaled gradient projection algorithm, in which the scaling matrix and the steplength parameter play a crucial role to provide a meaning solution in a computational time comparable with second order methods. In particular, we propose both a generalization of the split gradient approach to design the scaling matrix in the presence of box constraints, and an effective implementation of the gradient and objective function. The extensive numerical experiments carried out on several test problems show that our method is very effective in providing in few tenths of a second solutions of the problems with accuracy comparable with state-of-the-art approaches. Moreover, the flexibility of the proposed strategy makes it easily adaptable to a wider range of problems arising in different areas of machine learning, signal processing and system identification.


title: The model of circular and longitudinal smooth muscle motions in the motility of intestinal segment

abstract: Coordination in circular and longitudinal muscle motions are of crucial importance in the motor function of gastrointestinal (GI) tract. Intestinal wall motions depend on myogenic-active properties of smooth muscles layers of intestinal wall, which is the ability to create active contractile forces in response to distension. Considering the stress in the circular and longitudinal smooth muscles as a sum of passive, depending on muscle deformations, and active, depending on muscle tone, components, and also assuming that the change in the muscle tone depends on the current stress-strain condition, the system of four ordinary differential equations (ODE) is obtained, which describes filling-emptying cycle of intestinal segment as a process of coordinated activities of circular and longitudinal muscles of intestinal wall. A general approach in formulating the modelling conditions is based on the previously described model restricted to the circularly distensible reservoir of constant length. Obtained results illustrate the character of coordinated activities of two orthogonal muscle layers, which are alternating phases of reciprocally and uniformly changing modalities such as stretching of the wall and muscle tone. The results also contribute to the existing understanding of the roles of Auerbach's and Meisner's intermuscular and submucous neural plexuses in regulations of autonomous intestinal motility, as well as clarify functional mechanisms of the interstitial cells of Cajal (ICC) in triggering of smooth muscle contractions.


title: SROIQsigma is decidable

abstract: We consider a dynamic extension of the description logic $\mathcal{SROIQ}$. This means that interpretations could evolve thanks to some actions such as addition and/or deletion of an element (respectively, a pair of elements) of a concept (respectively, of a role). The obtained logic is called $\mathcal{SROIQ}$ with explicit substitutions and is written $\mathcal{SROIQ^\sigma}$. Substitution is not treated as meta-operation that is carried out immediately, but the operation of substitution may be delayed, so that sub-formulae of $\mathcal{SROIQ}^\sigma$ are of the form $\Phi\sigma$, where $\Phi$ is a $\mathcal{SROIQ}$ formula and $\sigma$ is a substitution which encodes changes of concepts and roles. In this paper, we particularly prove that the satisfiability problem of $\mathcal{SROIQ}^\sigma$ is decidable.


title: GALAXY package for N-body simulation

abstract: This posting announces public availability of the GALAXY software package developed by the author over the past 40 years. It is a highly efficient code for the evolution of (almost) isolated, collisionless stellar systems, both disk-like and ellipsoidal. In addition to the N-body code galaxy, which offers eleven different methods to compute the gravitational accelerations, the package also includes sophisticated set-up and analysis software. This paper gives an outline of the contents of the package and provides links to the source code and a comprehensive on-line manual. While not as versatile as tree codes, the particle-mesh methods in this package are shown, for certain restricted applications, to be between 50 and 200 times faster than a widely-used tree code.


title: Laser induced ultrafast demagnetization: an \emph{ab-initio} perspective

abstract: Time-dependent density functional theory is implemented in an all electron solid-state code for the case of fully non-collinear spins. We use this to study laser induced demagnetization in Fe, Co and Ni. It is shown that this demagnetization is a two-step process: excitation of a fraction of electrons followed by spin-flip transitions of the remaining localized electrons. These results successfully explain several experimental features such as the time-lag between the start of the pulse and demagnetization and spin-flip excitations dominating the physics. We further show that it is possible to control the moment loss by tunable laser parameters like frequency, duration and intensity.


title: Information Centric Networking in the IoT: Experiments with NDN in the Wild

abstract: This paper explores the feasibility, advantages, and challenges of an ICN-based approach in the Internet of Things. We report on the first NDN experiments in a life-size IoT deployment, spread over tens of rooms on several floors of a building. Based on the insights gained with these experiments, the paper analyses the shortcomings of CCN applied to IoT. Several interoperable CCN enhancements are then proposed and evaluated. We significantly decreased control traffic (i.e., interest messages) and leverage data path and caching to match IoT requirements in terms of energy and bandwidth constraints. Our optimizations increase content availability in case of IoT nodes with intermittent activity. This paper also provides the first experimental comparison of CCN with the common IoT standards 6LoWPAN/RPL/UDP.


title: Impact of nitrogen incorporation on interface states in (100)Si/HfO2

abstract: The influence of nitrogen incorporation on the energy distribution of interface states in the (100)Si/HfO2 system and their passivation by hydrogen have been studied. The results are compared to those of nominally N-free samples. The nitrogen in the (100)Si/HfO2 entity is found to increase the trap density, most significantly, in the upper part of Si band gap, in which energy range nitrogen incorporation prevents passivation of interface traps by hydrogen. At the same time, passivation of fast interface traps in the lower part of the band gap proceeds efficiently, provided the thickness of the nitrogen containing interlayer is kept within a few monolayers. The minimal interface trap density below the midgap achieved after passivation in H2 is dominated by the presence of slow N-related states, likely located in the insulator. As inferred from capacitance-voltage and ac conductance analysis, the lowest density of electrically active defects [(8-9)x10 10 eV-1cm-2 at 0.4-0.5 eV from the top of the Si valence band edge] is achieved both in the N-free and N-containing (100)Si/HfO2 structuresafter post-deposition anneal at 800C in (N2+5%O2) followed by passivation in molecular hydrogen at 400C for 30 min.


title: Saddle towers in Heisenberg space

abstract: We construct most symmetric Saddle towers in Heisenberg space i.e. periodic minimal surfaces that can be seen as the desingularization of vertical planes intersecting equiangularly. The key point is the construction of a suitable barrier to ensure the convergence of a family of bounded minimal disks. Such a barrier is actually a periodic deformation of a minimal plane with prescribed asymptotic behavior. A consequence of the barrier construction is that the number of disjoint minimal graphs suppoerted on domains is not bounded in Heisenberg space.


title: Identifying the Community Roles of Social Capitalists in the Twitter Network

abstract: In the context of Twitter, social capitalists are specific users trying to increase their number of followers and interactions by any means. These users are not healthy for the Twitter network since they flaw notions of influence and visibility. Indeed, it has recently been observed that they are real and active users that can help malicious users such as spammers gaining influence. Studying their behavior and understanding their position in Twitter is thus of important interest. A recent work provided an efficient way to detect social capitalists using two simple topological measures. Based on this detection method, we study how social capitalists are distributed over Twitter's friend-to-follower network. We are especially interested in analyzing how they are organized, and how their links spread across the network. Answering these questions allows to know whether the social capitalism methods increase the actual visibility on the service. To that aim, we study the position of social capitalists on Twitter w.r.t. the community structure of the network. We base our work on the concept of community role of a node, which describes its position in a network depending on its connectivity at the community level. The topological measures originally defined to characterize these roles consider only some aspects of community-related connectivity and rely on a set of empirically fixed thresholds. We first show the limitations of such measures and then extend and generalize them by considering new aspects of the community-related connectivity. Moreover, we use an unsupervised approach to distinguish the roles, in order to provide more flexibility relatively to the studied system. We then apply our method to the case of social capitalists and show that they are highly visible on Twitter, due to the specific roles they occupy.


title: Mining the modular structure of protein interaction networks

abstract: Cluster-based descriptions of biological networks have received much attention in recent years fostered by accumulated evidence of the existence of meaningful correlations between topological network clusters and biological functional modules. Several well-performing clustering algorithms exist to infer topological network partitions. However, due to respective technical idiosyncrasies they might produce dissimilar modular decompositions of a given network. In this contribution, we aimed to analyze how alternative modular descriptions could condition the outcome of follow-up network biology analysis. We considered a human protein interaction network and two paradigmatic cluster recognition algorithms, namely: the Clauset-Newman-Moore and the infomap procedures. We analyzed at what extent both methodologies yielded different results in terms of granularity and biological congruency. In addition, taking into account Guimera cartographic role characterization of network nodes, we explored how the adoption of a given clustering methodology impinged on the ability to highlight relevant network meso-scale connectivity patterns. As a case study we considered a set of aging related proteins, and showed that only the high-resolution modular description provided by infomap, could unveil statistically significant associations between them and inter-intra modular cartographic features. Besides reporting novel biological insights that could be gained from the discovered associations, our contribution warns against possible technical concerns that might affect the tools used to mine for interaction patterns in network biology studies. In particular our results suggested that sub-optimal partitions from the strict point of view of their modularity levels might still be worth being analyzed when meso-scale features were to be explored in connection with external source of biological knowledge.


title: A Robust Method for Handling Low Density Regions in Hybrid Simulations for Collisionless Plasmas

abstract: A robust method to handle vacuum and near vacuum regions in hybrid simulations for space and astrophysical plasmas is presented. The conventional hybrid simulation model dealing with kinetic ions and a massless charge-neutralizing electron fluid is known to be susceptible to numerical instability due to divergence of the whistler-mode wave dispersion, as well as division-by-density operation in regions of low density. Consequently, a pure vacuum region is not allowed to exist in the simulation domain unless some ad hoc technique is used. To resolve this difficulty, an alternative way to introduce finite electron inertia effect is proposed. Contrary to the conventional method, the proposed one introduces a correction to the electric field rather than the magnetic field. It is shown that the generalized Ohm's law correctly reduces to Laplace's equation in a vacuum which therefore does not involve any numerical problems. In addition, a variable ion-to-electron mass ratio is introduced to reduce the phase velocity of high frequency whistler waves at low density regions so that the stability condition is always satisfied. It is demonstrated that the proposed model is able to handle near vacuum regions generated as a result of nonlinear self-consistent development of the system, as well as pure vacuum regions set up at the initial condition, without losing the advantages of the standard hybrid code.


title: The Role of the Internet of Things in Network Resilience

abstract: Disasters lead to devastating structural damage not only to buildings and transport infrastructure, but also to other critical infrastructure, such as the power grid and communication backbones. Following such an event, the availability of minimal communication services is however crucial to allow efficient and coordinated disaster response, to enable timely public information, or to provide individuals in need with a default mechanism to post emergency messages. The Internet of Things consists in the massive deployment of heterogeneous devices, most of which battery-powered, and interconnected via wireless network interfaces. Typical IoT communication architectures enables such IoT devices to not only connect to the communication backbone (i.e. the Internet) using an infrastructure-based wireless network paradigm, but also to communicate with one another autonomously, without the help of any infrastructure, using a spontaneous wireless network paradigm. In this paper, we argue that the vast deployment of IoT-enabled devices could bring benefits in terms of data network resilience in face of disaster. Leveraging their spontaneous wireless networking capabilities, IoT devices could enable minimal communication services (e.g. emergency micro-message delivery) while the conventional communication infrastructure is out of service. We identify the main challenges that must be addressed in order to realize this potential in practice. These challenges concern various technical aspects, including physical connectivity requirements, network protocol stack enhancements, data traffic prioritization schemes, as well as social and political aspects.


title: The Critical Price Of The American Put Near Maturity In The Jump Diffusion Model

abstract: We study the behavior of the critical price of an American put option near maturity in the Jump diffusion model when the underlying stock pays dividends at a continuous rate and the limit of the critical price is smaller than the stock price. In particular, we prove that, unlike the case where the limit is equal to the strike price, jumps can influence the convergence rate.


title: Spiralicity and Motion on Cosmic Scale

abstract: We hypothesize a simple scenario to associate spiral-shaped trajectories and asymptotic tangential velocities according to observations found on deep space scales. As a difference with alternative Modified Newton Dynamics (MoND), in our scenario the dynamics at cosmic distances depends on the velocity of the rotating galaxy instead of its acceleration. We assume dark matter to exert a quadratic fluid resistance force with an added non-linear drag force in the radial direction.


title: Eigenvalue ratios of nonnegatively curved graphs

abstract: We derive an optimal eigenvalue ratio estimate for finite weighted graphs satisfying the curvature-dimension inequality $CD(0,\infty)$. This estimate is independent of the size of the graph and provides a general method to obtain higher order spectral estimates. The operation of taking Cartesian products is shown to be an efficient way for constructing new weighted graphs satisfying $CD(0,\infty)$. We also discuss a higher order Cheeger constant ratio estimate and related topics about expanders.


title: When is it Better to Compare than to Score?

abstract: When eliciting judgements from humans for an unknown quantity, one often has the choice of making direct-scoring (cardinal) or comparative (ordinal) measurements. In this paper we study the relative merits of either choice, providing empirical and theoretical guidelines for the selection of a measurement scheme. We provide empirical evidence based on experiments on Amazon Mechanical Turk that in a variety of tasks, (pairwise-comparative) ordinal measurements have lower per sample noise and are typically faster to elicit than cardinal ones. Ordinal measurements however typically provide less information. We then consider the popular Thurstone and Bradley-Terry-Luce (BTL) models for ordinal measurements and characterize the minimax error rates for estimating the unknown quantity. We compare these minimax error rates to those under cardinal measurement models and quantify for what noise levels ordinal measurements are better. Finally, we revisit the data collected from our experiments and show that fitting these models confirms this prediction: for tasks where the noise in ordinal measurements is sufficiently low, the ordinal approach results in smaller errors in the estimation.


title: On the infinitude of Prime $k$-tuples

abstract: Starting with Zhang's theorem on the infinitude of prime doubles, we give an inductive argument that there exists an infinite number of prime $k$-tuples for at least one admissible set $\mathcal{H}_k=\{h_1,\ldots,h_k\}$ for each $k$.


title: Game Theory, Statistical Mechanics and Income Inequality

abstract: The widening inequality in income distribution in recent years, and the associated excessive pay packages of CEOs in the U.S. and elsewhere, is of growing concern among policy makers as well as the common person. However, there seems to be no satisfactory answer, in conventional economic theories and models, to the fundamental question of what kind of pay distribution we ought to see, at least under ideal conditions, in a free market environment and whether this distribution is fair. We propose a game theoretic framework that addresses these questions and show that the lognormal distribution is the fairest inequality of pay in an organization comprising of homogenous agents, achieved at equilibrium, under ideal free market conditions. We also show that for a population of two different classes of agents, the final distribution is a combination of two different lognormal distributions where one of them, corresponding to the top 3-5% of the population, can be misidentified as a Pareto distribution. Our theory also shows the deep and direct connection between potential game theory and statistical mechanics through entropy, which is a measure of fairness in a distribution. This leads us to propose the fair market hypothesis, that the self-organizing dynamics of the ideal free market, i.e., Adam Smith's "invisible hand", not only promotes efficiency but also maximizes fairness under the given constraints.


title: Counter-ions between or at asymmetrically charged walls: 2D free-fermion point

abstract: This work contributes to the problem of determining effective interaction between asymmetrically (likely or oppositely) charged objects whose total charge is neutralized by mobile pointlike counter-ions of the same charge, the whole system being in thermal equilibrium. The problem is formulated in two spatial dimensions with logarithmic Coulomb interactions. The charged objects correspond to two parallel lines at distance d, with fixed line charge densities. Two versions of the model are considered: the standard "unconstrained" one with particles moving freely between the lines and the "constrained" one with particles confined to the lines. We solve exactly both systems at the free-fermion coupling and compare the results for the pressure (i.e. the force between the lines per unit length of one of the lines) with the mean-field Poisson-Boltzmann solution. For the unconstrained model, the large-d asymptotic behaviour of the free-fermion pressure differs from that predicted by the mean-field theory. For the constrained model, the asymptotic pressure coincides with the attractive van der Waals-Casimir fluctuational force. For both models, there are fundamental differences between the cases of likely-charged and oppositely-charged lines, the latter case corresponding at large distances d to a capacitor.


title: Managing LTL properties in Event-B refinement

abstract: Refinement in Event-B supports the development of systems via proof based step-wise refinement of events. This refinement approach ensures safety properties are preserved, but additional reasoning is required in order to establish liveness and fairness properties. In this paper we present results which allow a closer integration of two formal methods, Event-B and linear temporal logic. In particular we show how a class of temporal logic properties can carry through a refinement chain of machines. Refinement steps can include introduction of new events, event renaming and event splitting. We also identify a general liveness property that holds for the events of the initial system of a refinement chain. The approach will aid developers in enabling them to verify linear temporal logic properties at early stages of a development, knowing they will be preserved at later stages. We illustrate the results via a simple case study.


title: Topological Conformal Dimension

abstract: We investigate a quasisymmetrically invariant counterpart of the topological Hausdorff dimension of a metric space. This invariant, called the topological conformal dimension, gives a lower bound on the topological Hausdorff dimension of quasisymmetric images of the space. We obtain results concerning the behavior of this quantity under products and unions, and compute it for some classical fractals. The range of possible values of the topological conformal dimension is also considered, and we show that this quantity can be fractional.


title: Spectral edge regularity of magnetic Hamiltonians

abstract: We analyse the spectral edge regularity of a large class of magnetic Hamiltonians when the perturbation is generated by a globally bounded magnetic field. We can prove Lipschitz regularity of spectral edges if the magnetic field perturbation is either constant or slowly variable. We also recover an older result by G. Nenciu who proved Lipschitz regularity up to a logarithmic factor for general globally bounded magnetic field perturbations.


title: Computational Lower Bounds for Community Detection on Random Graphs

abstract: This paper studies the problem of detecting the presence of a small dense community planted in a large Erd\H{o}s-R\'enyi random graph $\mathcal{G}(N,q)$, where the edge probability within the community exceeds $q$ by a constant factor. Assuming the hardness of the planted clique detection problem, we show that the computational complexity of detecting the community exhibits the following phase transition phenomenon: As the graph size $N$ grows and the graph becomes sparser according to $q=N^{-\alpha}$, there exists a critical value of $\alpha = \frac{2}{3}$, below which there exists a computationally intensive procedure that can detect far smaller communities than any computationally efficient procedure, and above which a linear-time procedure is statistically optimal. The results also lead to the average-case hardness results for recovering the dense community and approximating the densest $K$-subgraph.


title: Dissipative Floquet Topological Systems

abstract: Motivated by recent pump-probe spectroscopies, we study the effect of phonon dissipation and potential cooling on the nonequilibrium distribution function in a Floquet topological state. To this end, we apply a Floquet kinetic equation approach to study two dimensional Dirac fermions irradiated by a circularly polarized laser, a system which is predicted to be in a laser induced quantum Hall state. We find that the initial electron distribution shows an anisotropy with momentum dependent spin textures whose properties are controlled by the switching-on protocol of the laser. The phonons then smoothen this out leading to a non-trivial isotropic nonequilibrium distribution which has no memory of the initial state and initial switch-on protocol, and yet is distinct from a thermal state. An analytical expression for the distribution at the Dirac point is obtained that is relevant for observing quantized transport.


title: Segmentation of multiple series using a Lasso strategy

abstract: We propose a new semi-parametric approach to the joint segmentation of multiple series corrupted by a functional part. This problem appears in particular in geodesy where GPS permanent station coordinate series are affected by undocumented artificial abrupt changes and additionally show prominent periodic variations. Detecting and estimating them are crucial, since those series are used to determine averaged reference coordinates in geosciences and to infer small tectonic motions induced by climate change. We propose an iterative procedure based on Dynamic Programming for the segmentation part and Lasso estimators for the functional part. Our Lasso procedure, based on the dictionary approach, allows us to both estimate smooth functions and functions with local irregularity, which permits more flexibility than previous proposed methods. This yields to a better estimation of the bias part and improvements in the segmentation. The performance of our method is assessed using simulated and real data. In particular, we apply our method to data from four GPS stations in Yarragadee, Australia. Our estimation procedure results to be a reliable tool to assess series in terms of change detection and periodic variations estimation giving an interpretable estimation of the functional part of the model in terms of known functions.


title: Strong ergodicity, property (T), and orbit equivalence rigidity for translation actions

abstract: We study equivalence relations that arise from translation actions $\Gamma\curvearrowright G$ which are associated to dense embeddings $\Gamma<G$ of countable groups into second countable locally compact groups. Assuming that $G$ is simply connected and the action $\Gamma\curvearrowright G$ is strongly ergodic, we prove that $\Gamma\curvearrowright G$ is orbit equivalent to another such translation action $\Lambda\curvearrowright H$ if and only if there exists an isomorphism $\delta:G\rightarrow H$ such that $\delta(\Gamma)=\Lambda$. If $G$ is moreover a real algebraic group, then we establish analogous rigidity results for the translation actions of $\Gamma$ on homogeneous spaces of the form $G/\Sigma$, where $\Sigma<G$ is either a discrete or an algebraic subgroup. We also prove that if $G$ is simply connected and the action $\Gamma\curvearrowright G$ has property (T), then any cocycle $w:\Gamma\times G\rightarrow\Lambda$ with values into a countable group $\Lambda$ is cohomologous to a homomorphism $\delta:\Gamma\rightarrow\Lambda$. As a consequence, we deduce that the action $\Gamma\curvearrowright G$ is orbit equivalent superrigid: any free nonsingular action $\Lambda\curvearrowright Y$ which is orbit equivalent to $\Gamma\curvearrowright G$, is necessarily conjugate to an induction of $\Gamma\curvearrowright G$.


title: Nanopteron solution of the Korteweg-de Vries equation

abstract: The nanopteron, which is a permanent but weakly nonlocal soliton, has been an interesting topic in numerical study for many decades. However, analytical solution of such a special soliton is rarely considered. In this Letter, we study the explicit nanopteron solution of the Korteweg-de Vries (KdV) equation. Starting from the soliton-cnoidal wave solution of the KdV equation, the nanopteron structure is shown to exist. It is found that for the suitable choice of the wave parameters, the soliton core of the soliton-cnoidal wave trends to be a classical soliton of the KdV equation and the surrounded cnoidal periodic wave appears as small amplitude sinusoidal variations on both sides of the main core. Some interesting features of the wave propagation are revealed. In addition to the elastic interaction, it is surprising that the phase shift of the cnoidal periodic wave after the interaction with the soliton core is always half of its wavelength, and this conclusion is universal to soliton-cnoidal wave interactions.


title: Oscillatory solitons of U(1)-invariant mKdV equations I: Envelope speed and temporal frequency

abstract: Harmonically modulated complex solitary waves which are a generalized type of envelope soliton (herein coined oscillatory solitons) are studied for the two U(1)-invariant integrable generalizations of the modified Korteweg-de Vries equation, given by the Hirota equation and the Sasa-Satsuma equation. A bilinear formulation of these two equations is used to derive the oscillatory 1-soliton and 2-soliton solutions, which are then written out in a physical form parameterized in terms of their speed, modulation frequency, and phase. Depending on the modulation frequency, the speeds of oscillatory waves (1-solitons) can be positive, negative, or zero, in contrast to the strictly positive speed of ordinary solitons. When the speed is zero, an oscillatory wave is a time-periodic standing wave. Properties of the amplitude and phase of oscillatory 1-solitons are derived. Oscillatory 2-solitons are graphically illustrated to describe collisions between two oscillatory 1-solitons in the case when the speeds are distinct. In the special case of equal speeds, oscillatory 2-solitons are shown to reduce to harmonically modulated breather waves.


title: Clash of the Lambdas

abstract: The introduction of lambdas in Java 8 completes the slate of statically-typed, mainstream languages with both object-oriented and functional features. The main motivation for lambdas in Java has been to facilitate stream-based declarative APIs, and, therefore, easier parallelism. In this paper, we evaluate the performance impact of lambda abstraction employed in stream processing, for a variety of high-level languages that run on a virtual machine (C#, F#, Java and Scala) and runtime platforms (JVM on Linux and Windows, .NET CLR for Windows, Mono for Linux). Furthermore, we evaluate the performance gain that two optimizing libraries (ScalaBlitz and LinqOptimizer) can offer for C#, F# and Scala. Our study is based on small-scale throughput-benchmarking, with significant care to isolate different factors, consult experts on the systems involved, and identify causes and opportunities. We find that Java exhibits high implementation maturity, which is a dominant factor in benchmarks. At the same time, optimizing frameworks can be highly effective for common query patterns.


title: Dual Basis Functions in Subspaces

abstract: In this paper we study dual bases functions in subspaces. These are bases which are dual to functionals on larger linear space. Our goal is construct and derive properties of certain bases obtained from the construction, with primary focus on polynomial spaces in B-form. When they exist, our bases are always affine (not convex), and we define a symmetric configuration that converges to Lagrange polynomial bases. Because of affineness of our bases, we are able to derive certain approximation theoretic results involving quasi-interpolation and a Bernstein-type operator. In a broad sense, it is the aim of this paper to present a new way to view approximation problems in subspaces. In subsequent work, we will apply our results to dual bases in subspaces of spline and multivariate polynomial spaces, and apply this to the construction of blended function approximants used for approximation in the sum of certain tensor product spaces.


title: Active Learning and Best-Response Dynamics

abstract: We examine an important setting for engineered systems in which low-power distributed sensors are each making highly noisy measurements of some unknown target function. A center wants to accurately learn this function by querying a small number of sensors, which ordinarily would be impossible due to the high noise rate. The question we address is whether local communication among sensors, together with natural best-response dynamics in an appropriately-defined game, can denoise the system without destroying the true signal and allow the center to succeed from only a small number of active queries. By using techniques from game theory and empirical processes, we prove positive (and negative) results on the denoising power of several natural dynamics. We then show experimentally that when combined with recent agnostic active learning algorithms, this process can achieve low error from very few queries, performing substantially better than active or passive learning without these denoising dynamics as well as passive learning with denoising.


title: Toric ideals associated with gap-free graphs

abstract: In this article we prove that every toric ideal associated with a gap-free graph $G$ has a squarefree lexicographic initial ideal. Moreover, in the particular case when the complementary graph of $G$ is chordal (i.e. when the edge ideal of $G$ has a linear resolution), we show that there exists a reduced Gr\"obner basis $\mathcal{G}$ of the toric ideal of $G$ such that all the monomials in the support of $\mathcal{G}$ are squarefree. Finally, we show (using work by Herzog and Hibi) that if $I$ is a monomial ideal generated in degree 2, then $I$ has a linear resolution if and only if all powers of $I$ have linear quotients, thus extending a result by Herzog, Hibi and Zheng.


title: A Short-type Decomposition Of Forms

abstract: The main purpose of this paper is to present a decomposition theorem for nonnegative sesquilinear forms. The key notion is the short of a form to a linear subspace. This is a generalization of the well-known operator short defined by M. G. Krein. A decomposition of a form into a shorted part and a singular part (with respect to an other form) will be called short-type decomposition. As applications, we present some analogous results for bounded positive operators acting on a Hilbert space; for additive set functions on a ring of sets; and for representable positive functionals on a $\ast$-algebra.


title: Oscillatory solitons of U(1)-invariant mKdV equations II: Asymptotic behavior and constants of motion

abstract: The Hirota equation and the Sasa-Satsuma equation are U(1)-invariant integrable generalizations of the modified Korteweg-de Vries equation. These two generalizations admit oscillatory solitons, which describe harmonically modulated complex solitary waves parameterized by their speed, modulation frequency, and phase. Depending on the modulation frequency, the speeds of oscillatory waves (1-solitons) can be positive, negative, or zero, in contrast to the strictly positive speed of ordinary solitons. When the speed is zero, an oscillatory wave is a time-periodic standing wave. Oscillatory 2-solitons with non-zero wave speeds are shown to describe overtake collisions of a fast wave and a slow wave moving in the same direction, or head-on collisions of two waves moving in opposite directions. When one wave speed is zero, oscillatory 2-solitons are shown to describe collisions in which a moving wave overtakes a standing wave. An asymptotic analysis using moving coordinates is carried out to show that, in all collisions, the speeds and modulation frequencies of the individual waves are preserved, while the phases and positions undergo a shift such that the center of momentum of the two waves moves at a constant speed. The primary constants of motion as well as some other features of the nonlinear interaction of the colliding waves are discussed.


title: An inverse mapping theorem for blow-Nash maps on singular spaces

abstract: A semialgebraic map $f:X\to Y$ between two real algebraic sets is called blow-Nash if it can be made Nash (i.e. semialgebraic and real analytic) by composing with finitely many blowings-up with non-singular centers. We prove that if a blow-Nash self-homeomorphism $f:X\rightarrow X$ satisfies a lower bound of the Jacobian determinant condition then $f^{-1}$ is also blow-Nash and satisfies the same condition. The proof relies on motivic integration arguments and on the virtual Poincar\'e polynomial of McCrory-Parusi\'nski and Fichou. In particular, we need to generalize Denef-Loeser change of variables key lemma to maps that are generically one-to-one and not merely birational.


title: Eigenvalue statistics for the sum of two complex Wishart matrices

abstract: The sum of independent Wishart matrices, taken from distributions with unequal covariance matrices, plays a crucial role in multivariate statistics, and has applications in the fields of quantitative finance and telecommunication. However, analytical results concerning the corresponding eigenvalue statistics have remained unavailable, even for the sum of two Wishart matrices. This can be attributed to the complicated and rotationally noninvariant nature of the matrix distribution that makes extracting the information about eigenvalues a nontrivial task. Using a generalization of the Harish-Chandra-Itzykson-Zuber integral, we find exact solution to this problem for the complex Wishart case when one of the covariance matrices is proportional to the identity matrix, while the other is arbitrary. We derive exact and compact expressions for the joint probability density and marginal density of eigenvalues. The analytical results are compared with numerical simulations and we find perfect agreement.


title: "Gibbsian" Approach to Statistical Mechanics yielding Power Law Distributions

abstract: Gibbsian statistical mechanics is extended into the domain of non-negligible {though non-specified} correlations in phase space while respecting the fundamental laws of thermodynamics. The appropriate Gibbsian probability distribution is derived and the physical temperature identified. Consistent expressions for the canonical partition function are given. In a first application, the corresponding Boltzmann, Fermi and Bose-Einstein distributions are obtained. It is shown that the latter lose their typical quantum properties, i.e. the degenerate Fermi state and Bose-Einstein condensation. These distributions apply only to states at finite temperature with correlations. As a by-product these results \emph{exclude any negative absolute temperatures} also in the Boltzmann limit.


title: Compressive strain-induced metal-insulator transition in orthorhombic SrIrO3 thin films

abstract: We have investigated the electronic properties of epitaxial orthorhombic SrIrO3 thin-films under compressive strain. The metastable, orthorhombic SrIrO3 thin-films are synthesized on various substrates using an epi-stabilization technique. We have observed that as in-plane lattice compression is increased, the dc-resistivity (\r{ho}) of the thin films increases by a few orders of magnitude, and the d\r{ho}/dT changes from positive to negative values. However, optical absorption spectra show Drude-like, metallic responses without an optical gap opening for all compressively-strained thin films. Transport measurements under magnetic fields show negative magneto-resistance at low temperature for compressively-strained thin-films. Our results suggest that weak localization is responsible for the strain-induced metal-insulator transition for the orthorhombic SrIrO3 thin-films.


title: Mutagenesis and Background Neutron Radiation

abstract: We suggest a possible correlation between the ionization events caused by the background neutron radiation and the experimental data on mutations with damage in the DNA repair mechanism, coming from the Long Term Evolution Experiment in E. Coli populations.


title: Direct observation of coherent inter-orbital spin-exchange dynamics

abstract: We report on the first direct observation of fast spin-exchange coherent oscillations between different long-lived electronic orbitals of ultracold $^{173}$Yb fermions. We measure, in a model-independent way, the strength of the exchange interaction driving this coherent process. This observation allows us to retrieve important information on the inter-orbital collisional properties of $^{173}$Yb atoms and paves the way to novel quantum simulations of paradigmatic models of two-orbital quantum magnetism.


title: Entanglement patterns and generalized correlation functions in quantum many body systems

abstract: We introduce transition operators that in a given basis of the single-site states of a many-body system have a single non-vanishing matrix element and introduce their correlation functions. We show that they fall into groups that decay with the same rate. The mutual information defined in terms of the von Neumann entropy between two sites is given in terms of these so-called generalized correlation functions. We confirm numerically that the long-distance decay of the mutual information follows the square of that of the most slowly decaying generalized correlation function. The main advantage of our procedure is that, in order to identify the most relevant physical processes, there is no need to know a priori the nature of the ordering in the system, i.e., no need to explicitly construct particular physical correlation functions. We explore the behavior of the mutual information and the generalized correlation functions for conformally invariant models and for the SU($n$) Hubbard model with $n=2,3,4$, and 5, which are, in general, not conformally invariant. In this latter case, we show that for filling $f=1/q$ and $q<n$, the ground state consists of highly entangled $q$-site units that are further entangled by single bonds. In addition, we extend the picture of the two-site mutual information and the corresponding generalized correlation functions to the $n$-site case.


title: A Remark on Deriving Precise Upper Bounds of the Number of the RNA Secondary Structures

abstract: An elementary, at the undergraduate level derivation is given of precise upper bounds of the number of various RNA secondary structures. The method works when the generating function has multiple singularities at the circle of convergence, nor does the method require the Taylor coefficients to be positive. Examples from the current research literature are considered.


title: Main Belt Asteroids with WISE/NEOWISE: Near-Infrared Albedos

abstract: We present revised near-infrared albedo fits of 2835 Main Belt asteroids observed by WISE/NEOWISE over the course of its fully cryogenic survey in 2010. These fits are derived from reflected-light near-infrared images taken simultaneously with thermal emission measurements, allowing for more accurate measurements of the near-infrared albedos than is possible for visible albedo measurements. As our sample requires reflected light measurements, it undersamples small, low albedo asteroids, as well as those with blue spectral slopes across the wavelengths investigated. We find that the Main Belt separates into three distinct groups of 6%, 16%, and 40% reflectance at 3.4 um. Conversely, the 4.6 um albedo distribution spans the full range of possible values with no clear grouping. Asteroid families show a narrow distribution of 3.4 um albedos within each family that map to one of the three observed groupings, with the (221) Eos family being the sole family associated with the 16% reflectance 3.4 um albedo group. We show that near-infrared albedos derived from simultaneous thermal emission and reflected light measurements are an important indicator of asteroid taxonomy and can identify interesting targets for spectroscopic followup.


title: Canonical variational completion of differential equations

abstract: Given a non-variational system of differential equations, the simplest way of turning it into a variational one is by adding a correction term. In the paper, we propose a way of obtaining such a correction term, based on the so-called Vainberg-Tonti Lagrangian, and present several applications in general relativity and classical mechanics.


title: Extract Secrets from Wireless Channel: A New Shape-based Approach

abstract: Existing secret key extraction techniques use quantization to map wireless channel amplitudes to secret bits. This pa- per shows that such techniques are highly prone to environ- ment and local noise effects: They have very high mismatch rates between the two nodes that measure the channel be- tween them. This paper advocates using the shape of the channel instead of the size (or amplitude) of the channel. It shows that this new paradigm shift is significantly ro- bust against environmental and local noises. We refer to this shape-based technique as Puzzle. Implementation in a software-defined radio (SDR) platform demonstrates that Puzzle has a 63% reduction in bit mismatch rate than the state-of-art frequency domain approach (CSI-2bit). Exper- iments also show that unlike the state-of-the-art received signal strength (RSS)-based methods like ASBG, Puzzle is robust against an attack in which an eavesdropper can pre- dict the secret bits using planned movements.


title: Heavy quark correlations and the effective volume for quarkonia production

abstract: Using the Boltzmann transport approach, we study the effective volume of a correlated heavy quark pair in a partonic medium based on their collision rate. We find that the effective volume is finite and depends sensitively on the momentum of the heavy quark and the temperature of the medium. Generally, it increases linearly with time $t$ at the very beginning and the increase then becomes slower due to multiple scattering, and finally it increases linearly with respect to $t^{3/2}$. We further find that the colliding heavy quark pair has an effective temperature similar to that of the medium even though their initial transverse momentum spectra are far from thermal equilibrium.


title: The perturbative QCD factorization of $\rho \gamma^{\star} \to \pi$

abstract: In this paper, we firstly varify that the factorization hypothesis is valid for the exclusive process $\rho \gamma^{\star} \to \pi$ at the next-to-leading order (NLO) with the collinear factorization approach, and then extend this proof to the case of the $k_T$ factorization approach. We particularly show that at the NLO level, the soft divergences in the full quark level calculation could be canceled completely as for the $\pi \gamma^{\star} \to \pi$ process where only the pseudoscalar $\pi$ meson involved, and the remaining collinear divergences can be absorbed into the NLO hadron wave functions. The full amplitudes can be factorized as the convolution of the NLO wave functions and the infrared-finite hard kernels with these factorization approaches. We also write out the NLO meson distribution amplitudes in the form of nonlocal matrix elements.


title: Viscosity methods giving uniqueness for martingale problems

abstract: Let $E$ be a complete, separable metric space and $A$ be an operator on $C_b(E)$. We give an abstract definition of viscosity sub/supersolution of the resolvent equation $\lambda u-Au=h$ and show that, if the comparison principle holds, then the martingale problem for $A$ has a unique solution. Our proofs work also under two alternative definitions of viscosity sub/supersolution which might be useful, in particular, in infinite dimensional spaces, for instance to study measure-valued processes. We prove the analogous result for stochastic processes that must satisfy boundary conditions, modeled as solutions of constrained martingale problems. In the case of reflecting diffusions in $D\subset {\bf R}^d$, our assumptions allow $ D$ to be nonsmooth and the direction of reflection to be degenerate. Two examples are presented: A diffusion with degenerate oblique direction of reflection and a class of jump diffusion processes with infinite variation jump component and possibly degenerate diffusion matrix.


title: Causality Networks

abstract: While correlation measures are used to discern statistical relationships between observed variables in almost all branches of data-driven scientific inquiry, what we are really interested in is the existence of causal dependence. Designing an efficient causality test, that may be carried out in the absence of restrictive pre-suppositions on the underlying dynamical structure of the data at hand, is non-trivial. Nevertheless, ability to computationally infer statistical prima facie evidence of causal dependence may yield a far more discriminative tool for data analysis compared to the calculation of simple correlations. In the present work, we present a new non-parametric test of Granger causality for quantized or symbolic data streams generated by ergodic stationary sources. In contrast to state-of-art binary tests, our approach makes precise and computes the degree of causal dependence between data streams, without making any restrictive assumptions, linearity or otherwise. Additionally, without any a priori imposition of specific dynamical structure, we infer explicit generative models of causal cross-dependence, which may be then used for prediction. These explicit models are represented as generalized probabilistic automata, referred to crossed automata, and are shown to be sufficient to capture a fairly general class of causal dependence. The proposed algorithms are computationally efficient in the PAC sense; $i.e.$, we find good models of cross-dependence with high probability, with polynomial run-times and sample complexities. The theoretical results are applied to weekly search-frequency data from Google Trends API for a chosen set of socially "charged" keywords. The causality network inferred from this dataset reveals, quite expectedly, the causal importance of certain keywords. It is also illustrated that correlation analysis fails to gather such insight.


title: Data augmentation for models based on rejection sampling

abstract: We present a data augmentation scheme to perform Markov chain Monte Carlo inference for models where data generation involves a rejection sampling algorithm. Our idea, which seems to be missing in the literature, is a simple scheme to instantiate the rejected proposals preceding each data point. The resulting joint probability over observed and rejected variables can be much simpler than the marginal distribution over the observed variables, which often involves intractable integrals. We consider three problems, the first being the modeling of flow-cytometry measurements subject to truncation. The second is a Bayesian analysis of the matrix Langevin distribution on the Stiefel manifold, and the third, Bayesian inference for a nonparametric Gaussian process density model. The latter two are instances of problems where Markov chain Monte Carlo inference is doubly-intractable. Our experiments demonstrate superior performance over state-of-the-art sampling algorithms for such problems.


title: Temporal evolution of longitudinal bunch profile in a laser wakefield accelerator

abstract: Due to their ultra-short duration and peak currents in the kA range, laser-wakefield accelerated electron bunches are promising drivers for ultrafast X-ray generation in compact free-electron-lasers (FELs), Thomson-scattering or betatron sources. Here we present the first single-shot, high-resolution measurements of the longitudinal bunch profile obtained without prior assumptions about the bunch shape. Our method allows complex features, such as multi-bunch structures, to be detected. Varying the length of the gas target, and thus the acceleration length, enables an assessment of the bunch profile evolution during the acceleration process. We find a minimum bunch duration of 4.2 fs (full width at half maximum) with shot-to-shot fluctuation of 11% rms. Our results suggest that after depletion of the laser energy, a transition from a laser-driven to a particle-driven wakefield occurs, associated with the injection of a secondary bunch. The resulting double-bunch structure might act as an elegant approach for driver-witness type experiments, i.e. allowing a non-dephasing-limited acceleration of the secondary bunch in a plasma-afterburner stage.


title: Tunable, all-optical quasi-monochromatic Thomson X-ray source

abstract: Brilliant X-ray sources are of great interest for many research fields from biology via medicine to material research. The quest for a cost-effective, brilliant source with unprecedented temporal resolution has led to the recent realization of various high-intensity-laser-driven X-ray beam sources. Here we demonstrate the first all-laser-driven, energy-tunable and quasi-monochromatic X-ray source based on Thomson backscattering. This is a decisive step beyond previous results, where the emitted radiation exhibited an uncontrolled broad energy distribution. In the experiment, one part of the laser beam was used to drive a few-fs bunch of quasi-monoenergetic electrons from a Laser-Wakefield Accelerator (LWFA), while the remainder was scattered off the bunch in a near-counter-propagating geometry. When the electron energy was tuned from 10-50 MeV, narrow-bandwidth X-ray spectra peaking at 5-35keV were directly measured, limited in photon energy by the sensitivity curve of our X-ray detector. Due to the ultrashort LWFA electron bunches, these beams exhibit few-fs pulse duration.


title: Toward Complete Statistics of Massive Binary Stars: Penultimate Results from the Cygnus OB2 Radial Velocity Survey

abstract: We analyze orbital solutions for 48 massive multiple-star systems in the Cygnus OB2 Association, 23 of which are newly presented here, to find that the observed distribution of orbital periods is approximately uniform in log P for P<45 d, but it is not scale-free. Inflections in the cumulative distribution near 6 d, 14, d, and 45 d, suggest key physical scales of ~0.2, ~0.4, and ~1 A.U. where yet-to-be-identified phenomena create distinct features. No single power law provides a statistically compelling prescription, but if features are ignored, a power law with exponent beta = -0.22 provides a crude approximation over P=1.4 -- 2000 d, as does a piece-wise linear function with a break near 45 d. The cumulative period distribution flattens at P > 45 d, even after correction for completeness, indicating either a lower binary fraction or a shift toward low-mass companions. A high degree of similarity (91% likelihood) between the Cyg OB2 period distribution and that of other surveys suggests that the binary properties at P<25 d are determined by local physics of disk/clump fragmentation and are relatively insensitive to environmental and evolutionary factors. Fully 30% of the unbiased parent sample is a binary with period P < 45 d. Completeness corrections imply a binary fraction near 55% for P < 5000 d. The observed distribution of mass ratios 0.2<q<1 is consistent with uniform, while the observed distribution of eccentricities 0.1<e<0.6 is consistent with uniform plus an excess of e ~ 0 systems. We identify six stars, all supergiants, that exhibit aperiodic velocity variations of ~30 km/s attributed to atmospheric fluctuations.


title: Exact determination of the volume of an inclusion in a body having constant shear modulus

abstract: We derive an exact formula for the volume fraction of an inclusion in a body when the inclusion and the body are linearly elastic materials with the same shear modulus. Our formula depends on an appropriate measurement of the displacement and traction around the boundary of the body. In particular, the boundary conditions around the boundary of the body must be such that they mimic the body being placed in an infinite medium with an appropriate displacement applied at infinity.


title: Comparison of spectral radii and Collatz-Wielandt numbers for homogeneous maps, and other applications of the monotone companion norm on ordered normed vector spaces

abstract: It is well known that an ordered normed vector space $X$ with normal cone $X_+$ has an order-preserving norm that is equivalent to the original norm. Such an equivalent order-preserving norm is given by \begin{equation} \sharp x \sharp = \max \{ d(x, X_+), d(x, - X_+)\}, \qquad x \in X. \end{equation} This paper explores the properties of this norm and of the half-norm $\psi(x) = d(x,-X_+)$ independently of whether or not the cone is normal. We use $\psi$ to derive comparison principles for the solutions of abstract integral equations, derive conditions for point-dissipativity of nonlinear positive maps, compare Collatz-Wielandt numbers, bounds, and order spectral radii for bounded homogeneous maps and give conditions for a local upper Collatz-Wielandt radius to have a lower positive eigenvector.


title: Caught in the act: Measuring the changes in the corona that cause the extreme variability of 1H 0707-495

abstract: The X-ray spectra of the narrow line Seyfert 1 galaxy, 1H 0707-495, obtained with XMM-Newton, from time periods of varying X-ray luminosity are analysed in the context of understanding the changes to the X-ray emitting corona that lead to the extreme variability seen in the X-ray emission from active galactic nuclei (AGN). The emissivity profile of the accretion disc, illuminated by the X-ray emitting corona, along with previous measurements of reverberation time lags are used to infer the spatial extent of the X-ray source. By fitting a twice-broken power law emissivity profile to the relativistically-broadened iron K fluorescence line, it is inferred that the X-ray emitting corona expands radially, over the plane of the accretion disc, by 25 to 30 per cent as the luminosity increases, contracting again as the luminosity decreases, while increases in the measured reverberation lag as the luminosity increases would require also variation in the vertical extent of the source above the disc. The spectrum of the X-ray continuum is found to soften as the total X-ray luminosity increases and we explore the variation in reflected flux as a function of directly-observed continuum flux. These three observations combined with simple, first-principles models constructed from ray tracing simulations of extended coron self-consistently portray an expanding corona whose average energy density decreases, but with a greater number of scattering particles as the luminosity of this extreme object increases.


title: Steady-state ab initio laser theory for complex gain media

abstract: We derive and test a generalization of Steady-State Ab Initio Laser Theory (SALT) to treat complex gain media. The generalized theory (C-SALT) is able to treat atomic and molecular gain media with diffusion and multiple lasing transitions, and semiconductor gain media in the free carrier approximation including fully the effect of Pauli blocking. The key assumption of the theory is stationarity of the level populations, which leads to coupled self-consistent equations for the populations and the lasing modes that fully include the effects of openness and non-linear spatial hole-burning. These equations can be solved efficiently for the steady-state lasing properties by a similar iteration procedure as in SALT, where a static gain medium with a single transition is assumed. The theory is tested by comparison to much less efficient Finite Difference Time Domain (FDTD) methods and excellent agreement is found. Using C-SALT to analyze the effects of varying gain diffusion constant we demonstrate a cross-over between the regime of strong spatial hole burning with multimode lasing to a regime of negligible spatial hole burning, leading to gain-clamping, and single mode lasing. The effect of spatially inhomogeneous pumping combined with diffusion is also studied and a relevant length scale for spatial inhomogeneity to persist under these conditions is determined. For the semiconductor gain model, we demonstrate the frequency shift due to Pauli blocking as the pumping strength changes.


title: Line Simplification

abstract: As an important practice of map generalization, the aim of line simplification is to reduce the number of points without destroying the essential shape or the salient character of a cartographic curve. This subject has been well-studied in the literature. This entry attempts to introduce how line simplification can be guided by fractal geometry, or the recurring scaling pattern of far more small things than large ones. The line simplification process involves nothing more than removing small things while retaining large ones based on head/tail breaks.


title: Frobenius manifolds, Integrable Hierarchies and Minimal Liouville Gravity

abstract: We use the connection between the Frobrenius manifold and the Douglas string equation to further investigate Minimal Liouville gravity. We search a solution of the Douglas string equation and simultaneously a proper transformation from the KdV to the Liouville frame which ensure the fulfilment of the conformal and fusion selection rules. We find that the desired solution of the string equation has explicit and simple form in the flat coordinates on the Frobenious manifold in the general case of (p,q) Minimal Liouville gravity.


title: Line arrangements with the maximal number of triple points

abstract: The purpose of this note is to study configurations of lines in projective planes over arbitrary fields having the maximal number of intersection points where three lines meet. We give precise conditions on ground fields F over which such extremal configurations exist. We show that there does not exist a field admitting a configuration of 11 lines with 17 triple points, even though such a configuration is allowed combinatorially. Finally, we present an infinite series of configurations which have a high number of triple intersection points.


title: Magnetic structure of GdBiPt: A candidate antiferromagnetic topological insulator

abstract: A topological insulator is a state of matter which does not break any symmetry and is characterized by topological invariants, the integer expectation values of non-local operators. Antiferromagnetism on the other hand is a broken symmetry state in which the translation symmetry is reduced and time reversal symmetry is broken. Can these two phenomena coexist in the same material? A proposal by Mong {\it et al.}\cite{Mong2010} asserts that the answer is yes. Moreover, it is theoretically possible that the onset of antiferromagnetism enables the non-trivial topology since it may create spin-orbit coupling effects which are absent in the non-magnetic phase. The current work examines a real system, half-Heusler GdBiPt, as a candidate for topological anti ferromagnetism. We find that the magnetic moments of the gadolinium atoms form ferromagnetic sheets which are stacked antiferromagnetically along the body diagonal. This magnetic structure may induce spin orbit coupling on band electrons as they hop perpendicular to the ferromagnetic sheets.


title: Preservation of algebraicity in free probability

abstract: We show that any matrix-polynomial combination of free noncommutative random variables each having an algebraic law has again an algebraic law. Our result answers a question raised by a recent paper of Shlyakhtenko and Skoufranis. The result belongs to a family of results with origins outside free probability theory, including a result of Aomoto asserting algebraicity of the Green function of random walk of quite general type on a free group.


title: General solutions of one class of field equations

abstract: We find general solutions of some field equations (systems of equations) in pseudo-Euclidian spaces (so-called primitive field equations). These equations are used in the study of the Dirac equation and Yang-Mills equations. These equations are invariant under orthogonal O(p,q) coordinate transformations and invariant under gauge transformations, which depend on some Lie groups. In this paper we use some new geometric objects - Clifford field vector and an algebra of h-forms which is a generalization of the algebra of differential forms and the Atiyah-K\"{a}hler algebra.


title: Spectrum and combinatorics of two-dimensional Ramanujan complexes

abstract: Ramanujan graphs have extremal spectral properties, which imply a remarkable combinatorial behavior. In this paper we compute the high dimensional Hodge-Laplace spectrum of Ramanujan triangle complexes, and show that it implies a combinatorial expansion property, and a pseudo-randomness result. For this purpose we prove a Cheeger-type inequality and a mixing lemma of independent interest.


title: Tupleware: Redefining Modern Analytics

abstract: There is a fundamental discrepancy between the targeted and actual users of current analytics frameworks. Most systems are designed for the data and infrastructure of the Googles and Facebooks of the world---petabytes of data distributed across large cloud deployments consisting of thousands of cheap commodity machines. Yet, the vast majority of users operate clusters ranging from a few to a few dozen nodes, analyze relatively small datasets of up to a few terabytes, and perform primarily compute-intensive operations. Targeting these users fundamentally changes the way we should build analytics systems. This paper describes the design of Tupleware, a new system specifically aimed at the challenges faced by the typical user. Tupleware's architecture brings together ideas from the database, compiler, and programming languages communities to create a powerful end-to-end solution for data analysis. We propose novel techniques that consider the data, computations, and hardware together to achieve maximum performance on a case-by-case basis. Our experimental evaluation quantifies the impact of our novel techniques and shows orders of magnitude performance improvement over alternative systems.


title: Bayesian Numerical Homogenization

abstract: Numerical homogenization, i.e. the finite-dimensional approximation of solution spaces of PDEs with arbitrary rough coefficients, requires the identification of accurate basis elements. These basis elements are oftentimes found after a laborious process of scientific investigation and plain guesswork. Can this identification problem be facilitated? Is there a general recipe/decision framework for guiding the design of basis elements? We suggest that the answer to the above questions could be positive based on the reformulation of numerical homogenization as a Bayesian Inference problem in which a given PDE with rough coefficients (or multi-scale operator) is excited with noise (random right hand side/source term) and one tries to estimate the value of the solution at a given point based on a finite number of observations. We apply this reformulation to the identification of bases for the numerical homogenization of arbitrary integro-differential equations and show that these bases have optimal recovery properties. In particular we show how Rough Polyharmonic Splines can be re-discovered as the optimal solution of a Gaussian filtering problem.


title: A note on the causality of singular linear discrete time systems

abstract: In this article we study the causality of non-homogeneous linear singular discrete time systems whose coefficients are square constant matrices. By assuming that the input vector changes only at equally space sampling instants we provide properties for causality between state and inputs and causality between output and inputs.


title: Learning the ergodic decomposition

abstract: A Bayesian agent learns about the structure of a stationary process from ob- serving past outcomes. We prove that his predictions about the near future become ap- proximately those he would have made if he knew the long run empirical frequencies of the process.


title: Gaiotto-Witten superpotential and Whittaker D-modules on monopoles

abstract: Let $G$ be an almost simple simply connected group over complex numbers. For a positive element $\alpha$ of the coroot lattice of $G$ let $Z^\alpha$ denote the space of based maps from the projective line to the flag variety of $G$ of degree $\alpha$. This space is known to be isomorphic to the space of framed euclidean $G$-monopoles with maximal symmetry breaking at infinity of charge $\alpha$. In [Finkelberg-Kuznetsov-Markarian-Mirkovi\'c] a system of (\'etale, rational) coordinates on $Z^\alpha$ is introduced. In this note we compute various known structures on $Z^\alpha$ in terms of the above coordinates. As a byproduct we give a natural interpretation of the Gaiotto-Witten superpotential and relate it to the theory of Whittaker D-modules introduced by D.Gaitsgory.


title: Rental harmony with roommates

abstract: We prove existence of envy-free allocations in markets with heterogenous indivisible goods and money, when a given quantity is supplied from each of the goods and agents have unit demands. We depart from most of the previous literature by allowing agents' preferences over the goods to depend on the entire vector of prices. Our proof uses Shapley's K-K-M-S theorem and Hall's marriage lemma. We then show how our theorem may be applied in two related problems: Existence of envy-free allocations in a version of the cake-cutting problem, and existence of equilibrium in an exchange economy with indivisible goods and money.


title: Dick effect in a pulsed atomic clock using Coherent Population Trapping

abstract: The Dick effect can be a limitation of the achievable frequency stability of a passive atomic frequency standard when the ancillary frequency source is only periodically sampled. Here we analyze the Dick effect for a pulsed vapor cell clock using coherent population trapping (CPT). Due to its specific interrogation process without atomic preparation nor detection outside of the Ramsey pulses, it exhibits an original shape of the sensitivity function to phase noise of the oscillator. Numerical calculations using a three-level atom model are successfully compared with measurements; an approximate formula of the sensitivity function is given as an easy-to-use tool. A comparison of our CPT clock sensitivity to phase noise with a clock of the same duty cycle using a two-level system reveals a higher sensitivity in the CPT case. The influence of a free-evolution time variation and of a detection duration lengthening on this sensitivity is studied. Finally this study permitted to choose an adapted quartz oscillator and allowed an improvement of the clock fractional frequency stability at the level of 3.2x10-13 at 1s


title: Explicit points on the Legendre curve III

abstract: We continue our study of the Legendre elliptic curve $y^2=x(x+1)(x+t)$ over function fields $K_d=\mathbf{F}_p(\mu_d,t^{1/d})$. When $d=p^f+1$, we have previously exhibited explicit points generating a subgroup $V_d$ of $E(K_d)$ of rank $d-2$ and of finite, $p$-power index. We also proved the finiteness of $III(E/K_d)$ and a class number formula: $[E(K_d):V_d]^2=|III(E/K_d)|$. In this paper, we compute $E(K_d)/V_d$ and $III(E/K_d)$ explicitly as modules over $\mathbf{Z}_p[\mathrm{Gal}(K_d/F_p(t))]$.


title: Philosophical roots of the "eternal" questions in the XX-century theoretical physics

abstract: The evolution of theoretical physics in the XX century differs significantly from that in XVII-XIX centuries. While continuous progress is observed for theoretical physics in XVII-XIX centuries, modern physics contains many questions that have not been resolved despite many decades of discussion. Based upon the analysis of works by the founders of the XX-century physics, the conclusion is made that the roots of the "eternal" questions by the XX-century theoretical physics lie in the philosophy used by its founders. The conclusion is made about the need to use the ideas of philosophy that guided C. Huygens, I. Newton, W. Thomson (Lord Kelvin), J. K. Maxwell, and the other great physicists of the XVII-XIX centuries, in all areas of theoretical physics.


title: New R Coronae Borealis and DY Persei Star Candidates and Other Related Objects Found in Photometric Surveys

abstract: We have carried out a search for new R Coronae Borealis (RCB) variables using the publicly accessible data from various photometric sky surveys and-whenever available-AAVSO visual data. Candidates were selected from Tisserand`s "Catalogue enriched with R CrB stars" and by a visual inspection of light curves from the ASAS-3, MACHO, NSVS and OGLE surveys. We have identified two new RCB stars, four RCB candidates, and one DY Persei (DYPer) star candidate. Our identification was based mainly on photometric variability, color-color diagrams, and further information drawn from various catalogue sources; spectroscopic classifications were also reported in our analysis whenever available. Additionally, we present a sample of interesting stars which-although showing similar photometric variability-can be ruled out as RCB and DYPer stars or have been rejected as such on spectroscopic grounds in recent studies. Although not useful in the investigation of the aforementioned groups of variables, these objects defy an easy classification and might be interesting targets for follow-up studies which we encourage for all stars presented in this paper.


title: Quantum gravity simulation by non-paraxial nonlinear optics

abstract: We show that an analog of the physics at the Planck scale can be found in the propagation of tightly focused laser beams. Various equations that occur in generalized quantum mechanics are formally identical to those describing the nonlinear nonlocal propagation of nonparaxial laser beams. The analysis includes a generalized uncertainty principle and shows that the nonlinear focusing of a light beam with dimensions comparable to the wavelength corresponds to the spontaneous excitation of the so-called maximally localized states. The approach, driven by the ideas of the quantum gravity physics, allows one to predict the existence of self-trapped subwavelength solitary waves for both focusing and defocusing nonlinearities, and opens the way to laboratory simulations of phenomena that have been considered to be inaccessible.


title: Gauge-fixing on the Lattice via Orbifolding

abstract: When fixing a covariant gauge, most popularly the Landau gauge, on the lattice one encounters the Neuberger 0/0 problem which prevents one from formulating a Becchi--Rouet--Stora--Tyutin symmetry on the lattice. Following the interpretation of this problem in terms of Witten-type topological field theory and using the recently developed Morse theory for orbifolds, we propose a modification of the lattice Landau gauge via orbifolding of the gauge-fixing group manifold and show that this modification circumvents the orbit-dependence issue and hence can be a viable candidate for evading the Neuberger problem. Using algebraic geometry, we also show that though the previously proposed modification of the lattice Landau gauge via stereographic projection relies on delicate departure from the standard Morse theory due to the non-compactness of the underlying manifold, the corresponding gauge-fixing partition function turns out to be orbit independent for all the orbits except in a region of measure zero.


title: Unconditionally secure commitment in position-based quantum cryptography

abstract: A new commitment scheme based on position-verification and non-local quantum correlations is presented here for the first time in literature. The only credential for unconditional security is the position of committer and non-local correlations generated; neither receiver has any pre-shared data with the committer nor does receiver require trusted and authenticated quantum/classical channels between him and the committer. In the proposed scheme, receiver trusts the commitment only if the scheme itself verifies position of the committer and validates her commitment through non-local quantum correlations in a single round. The position-based commitment scheme bounds committer to reveal valid commitment within allocated time and guarantees that the receiver will not be able to get information about commitment unless committer reveals. The scheme works for the commitment of both bits and qubits and is equally secure against committer/receiver as well as against any third party who may have interests in destroying the commitment. Our proposed scheme is unconditionally secure in general and evades Mayers and Lo-Chau attacks in particular.


title: Universality for two-dimensional critical cellular automata

abstract: We study the class of monotone, two-state, deterministic cellular automata, in which sites are activated (or 'infected') by certain configurations of nearby infected sites. These models have close connections to statistical physics, and several specific examples have been extensively studied in recent years by both mathematicians and physicists. This general setting was first studied only recently, however, by Bollob\'as, Smith and Uzzell, who showed that the family of all such 'bootstrap percolation' models on $\mathbb{Z}^2$ can be naturally partitioned into three classes, which they termed subcritical, critical and supercritical. In this paper we determine the order of the threshold for percolation (complete occupation) for every critical bootstrap percolation model in two dimensions. This 'universality' theorem includes as special cases results of Aizenman and Lebowitz, Gravner and Griffeath, Mountford, and van Enter and Hulshof, significantly strengthens bounds of Bollob\'as, Smith and Uzzell, and complements recent work of Balister, Bollob\'as, Przykucki and Smith on subcritical models.


title: The $\bar B \to \bar K \pi \ell \ell$ and $\bar B_s \to \bar K K \ell \ell$ distributions at low hadronic recoil

abstract: The rare multi-body decays B->K pi ll and B_s->K K ll are both important as backgrounds to precision analyses in the benchmark modes B->K* ll and B_s->phi ll as well as sensitive probes of flavor physics in and beyond the standard model. We work out non-resonant contributions to B->K pi ll and B_s->K K ll amplitudes, where l=e,mu, at low hadronic recoil in a model-independent way. Using the operator product expansion in 1/m_b, we present expressions for the full angular distribution. The latter allows to probe new combinations of |Delta B|=|Delta S|=1 couplings and gives access to strong phases between non-resonant and resonant contributions. Exact endpoint relations between transversity amplitudes based on Lorentz invariance are obtained. Several phenomenological distributions including those from the angular projections to the S-, P-, D-waves are given. Standard model branching ratios for non-resonant B->K pi ll and B_s->K K ll decays are found to be in the few 10^{-8} region, but drop significantly if cuts around the K* or phi mass are employed. Nevertheless, the non-resonant contributions to B->K pi ll provide the dominant background in the B->K* ll signal region with respect to the low mass scalars. In B_s->K K ll, the narrowness of the phi allows for more efficient background control. We briefly discuss lepton-flavor non-universal effects, also in view of the recent data on R_K.


title: Comment on "Filtres in ordered $\Gamma$-semigroups"

abstract: This is about the paper in the title by Kostaq Hila in Rocky Mt. J. Math. 41, no. 1 (2011), 189-203 for which corrections should be done.


title: Parametric LTL on Markov Chains

abstract: This paper is concerned with the verification of finite Markov chains against parametrized LTL (pLTL) formulas. In pLTL, the until-modality is equipped with a bound that contains variables; e.g., $\Diamond_{\le x}\ \varphi$ asserts that $\varphi$ holds within $x$ time steps, where $x$ is a variable on natural numbers. The central problem studied in this paper is to determine the set of parameter valuations $V_{\prec p} (\varphi)$ for which the probability to satisfy pLTL-formula $\varphi$ in a Markov chain meets a given threshold $\prec p$, where $\prec$ is a comparison on reals and $p$ a probability. As for pLTL determining the emptiness of $V_{> 0}(\varphi)$ is undecidable, we consider several logic fragments. We consider parametric reachability properties, a sub-logic of pLTL restricted to next and $\Diamond_{\le x}$, parametric B\"uchi properties and finally, a maximal subclass of pLTL for which emptiness of $V_{> 0}(\varphi)$ is decidable.


title: Dynamics of 3D SUSY Gauge Theories with Antisymmetric Matter

abstract: We investigate the IR dynamics of N=2 SUSY gauge theories in 3D with antisymmetric matter. The presence of the antisymmetric fields leads to further splitting of the Coulomb branch. Counting zero modes in the instanton background suggests that more than a single direction along the Coulomb branch may remain unlifted. We examine the case of SU(4) with one or two antisymmetric fields and various flavors in detail. Using the results for the corresponding 4D theories, we find the IR dynamics of the 3D cases via compactification and a real mass deformation. We find that for the s-confining case with two antisymmetric fields, a second unlifted Coulomb branch direction indeed appears in the low-energy dynamics. We present several non-trivial consistency checks to establish the validity of these results. We also comment on the expected structure of general s-confining theories in 3D, which might involve several unlifted Coulomb branch directions.


title: Initial mass function of intermediate mass black hole seeds

abstract: We study the Initial Mass Function (IMF) and host halo properties of Intermediate Mass Black Holes (IMBH, 10^{4-6} Msun) formed inside metal-free, UV illuminated atomic cooling haloes (virial temperature T_vir > 10^4 K) either via the direct collapse of the gas or via an intermediate Super Massive Star (SMS) stage. We achieve this goal in three steps: (a) we derive the gas accretion rate for a proto-SMS to undergo General Relativity instability and produce a direct collapse black hole (DCBH) or to enter the ZAMS and later collapse into a IMBH; (b) we use merger-tree simulations to select atomic cooling halos in which either a DCBH or SMS can form and grow, accounting for metal enrichment and major mergers that halt the growth of the proto-SMS by gas fragmentation. We derive the properties of the host halos and the mass distribution of black holes at this stage, and dub it the "Birth Mass Function"; (c) we follow the further growth of the DCBH due to accretion of leftover gas in the parent halo and compute the final IMBH mass.We consider two extreme cases in which minihalos (T_vir < 10^4 K) can (fertile) or cannot (sterile) form stars and pollute their gas leading to a different IMBH IMF. In the (fiducial) fertile case the IMF is bimodal extending over a broad range of masses, M= (0.5-20)x10^5 Msun, and the DCBH accretion phase lasts from 10 to 100 Myr. If minihalos are sterile, the IMF spans the narrower mass range M= (1-2.8)x10^6 Msun, and the DCBH accretion phase is more extended (70-120 Myr). We conclude that a good seeding prescription is to populate halos (a) of mass 7.5 < log (M_h/Msun) < 8, (b) in the redshift range 8 < z < 17, (c) with IMBH in the mass range 4.75 < log (M_BH/Msun) < 6.25.


title: Stellar abundances and presolar grains trace the nucleosynthetic origin of molybdenum and ruthenium

abstract: This work presents a large consistent study of molybdenum (Mo) and ruthenium (Ru) abundances in the Milky Way. These two elements are important nucleosynthetic diagnostics. In our sample of 71 Galactic metal-poor field stars, we detect Ru and/or Mo in 51 of these (59 including upper limits). The sample consists of high-resolution, high signal-to-noise spectra covering both dwarfs and giants from [Fe/H]=-0.63 down to -3.16. Thus we provide information on the behaviour of Mo I and Ru I at higher and lower metallicity than is currently known. We find a wide spread in the Mo and Ru abundances, which is typical of heavy elements. This indicates that several formation processes, in addition to high entropy winds, can be responsible for the formation of Mo and Ru. The formation processes are traced by comparing Mo and Ru to elements (Sr, Zr, Pd, Ag, Ba, and Eu) with known formation processes. We find contributions from different formation channels, namely p-, slow (s-), and rapid (r-) neutron-capture processes. Molybdenum is a highly convolved element that receives contributions from several processes, whereas Ru is mainly formed by the weak r-process as is silver. We also compare our absolute elemental stellar abundances to relative isotopic abundances of presolar grains extracted from meteorites. Their isotopic abundances can be directly linked to the formation process (e.g. r-only isotopes) providing a unique comparison between observationally derived abundances and the nuclear formation process. The comparison to abundances in presolar grains shows that the r-/s-process ratios from the presolar grains match the total elemental chemical composition derived from metal-poor halo stars with [Fe/H]~ -1.5 to -1.1 dex. This indicates that both grains and stars around and above [Fe/H]=-1.5 are equally (well) mixed and therefore do not support a heterogeneous presolar nebula... Abridged.


title: Discovery of a new faint dwarf galaxy associated with NGC 253

abstract: We report the discovery of a new faint dwarf galaxy, which we dub Scl-MM-Dw1, at a projected distance of $\sim$65 kpc from the spiral galaxy NGC 253. The discovery results from the Panoramic Imaging Survey of Centaurus and Sculptor (PISCeS), a program with the Magellan/Megacam imager to study faint substructure in resolved stellar light around massive galaxies outside of the Local Group. We measure a tip of the red giant branch distance to Scl-MM-Dw1 of $D$=3.9$\pm$0.5 Mpc, consistent with that of NGC 253, making their association likely. The new dwarf's stellar population is complex, with an old, metal poor red giant branch ($\gtrsim$10 Gyr, [Fe/H]$\sim$$-$2), and an asymptotic giant branch with an age of $\sim$500 Myr. Scl-MM-Dw1 has a half-light radius of $r_{h}$=340$\pm$50 pc and an absolute magnitude of $M_{V}$=$-$10.3$\pm$0.6 mag, comparable to the Milky Way's satellites at the same luminosity. Once complete, our imaging survey of NGC 253 and other nearby massive galaxies will provide a census of faint substructure in halos beyond the Local Group, both to put our own environment into context and to confront models of hierarchical structure formation.


title: Regular 3-charge 4D black holes and their microscopic description

abstract: The perturbative $\alpha^{\prime}$ corrections to Type-IIA String Theory compactified on a Calabi-Yau three-fold allow the construction of regular three-charge supersymmetric black holes in four dimensions, whose entropy scales with the charges as $S \sim \left( p^1 p^2 p^3\right)^{\frac{2}{3}} $. We construct an M-theory uplift of these quantum black holes and show that they can be interpreted as arising from three stacks of M2 branes on a conical singularity. This in turns allow us relate them via a series of dualities to a system of D3 branes carrying momentum and thus to give a microscopic interpretation of their entropy.


title: Top Seesaw with a Custodial Symmetry, and the 126 GeV Higgs

abstract: The composite Higgs models based on the top seesaw mechanism commonly possess an enhanced approximate chiral symmetry, which is spontaneously broken to produce the Higgs field as the pseudo-Nambu-Goldstone bosons. The minimal model with only one extra vector-like singlet quark that mixes with the top quark can naturally give rise to a 126 GeV Higgs boson. However, without having a custodial symmetry it suffers from the weak-isospin violation constraint, which pushes the chiral symmetry breaking scale above a few TeV, causing a substantial fine-tuning for the weak scale. We consider an extension to the minimal model to incorporate the custodial symmetry by adding a vector-like electroweak doublet of quarks with hypercharge +7/6. Such a setup also protects the $Zb\bar{b}$ coupling which is another challenge for many composite Higgs models. With this addition, the chiral symmetry breaking scale can be lowered to around 1 TeV, making the theory much less fine-tuned. The Higgs is a pseudo-Nambu-Goldstone boson of the broken O(5) symmetry. For the Higgs mass to be 126 GeV, the hypercharge +7/6 quarks should be around or below the chiral symmetry breaking scale, and are likely to be the lightest new states. The 14 TeV LHC will significantly extend the search reach of these quarks. To probe the rest of the spectrum, on the other hand, would require a higher-energy future collider.