title: The Spectral Energy Distribution of Powerful Starburst Galaxies I: Modelling the Radio Continuum

abstract: We have acquired radio continuum data between 70\,MHz and 48\,GHz for a sample of 19 southern starburst galaxies at moderate redshifts ($0.067 < z < 0.227$) with the aim of separating synchrotron and free-free emission components. Using a Bayesian framework we find the radio continuum is rarely characterised well by a single power law, instead often exhibiting low frequency turnovers below 500\,MHz, steepening at mid-to-high frequencies, and a flattening at high frequencies where free-free emission begins to dominate over the synchrotron emission. These higher order curvature components may be attributed to free-free absorption across multiple regions of star formation with varying optical depths. The decomposed synchrotron and free-free emission components in our sample of galaxies form strong correlations with the total-infrared bolometric luminosities. Finally, we find that without accounting for free-free absorption with turnovers between 90 to 500\,MHz the radio-continuum at low frequency ($\nu < 200$\,MHz) could be overestimated by upwards of a factor of twelve if a simple power law extrapolation is used from higher frequencies. The mean synchrotron spectral index of our sample is constrained to be $\alpha=-1.06$, which is steeper then the canonical value of $-0.8$ for normal galaxies. We suggest this may be caused by an intrinsically steeper cosmic ray distribution.


title: Memetic Multilevel Hypergraph Partitioning

abstract: Hypergraph partitioning has a wide range of important applications such as VLSI design or scientific computing. With focus on solution quality, we develop the first multilevel memetic algorithm to tackle the problem. Key components of our contribution are new effective multilevel recombination and mutation operations that provide a large amount of diversity. We perform a wide range of experiments on a benchmark set containing instances from application areas such VLSI, SAT solving, social networks, and scientific computing. Compared to the state-of-the-art hypergraph partitioning tools hMetis, PaToH, and KaHyPar, our new algorithm computes the best result on almost all instances.


title: Simultaneous Multiparty Communication Complexity of Composed Functions

abstract: In the Number On the Forehead (NOF) multiparty communication model, $k$ players want to evaluate a function $F : X_1 \times\cdots\times X_k\rightarrow Y$ on some input $(x_1,\dots,x_k)$ by broadcasting bits according to a predetermined protocol. The input is distributed in such a way that each player $i$ sees all of it except $x_i$. In the simultaneous setting, the players cannot speak to each other but instead send information to a referee. The referee does not know the players' input, and cannot give any information back. At the end, the referee must be able to recover $F(x_1,\dots,x_k)$ from what she obtained. A central open question, called the $\log n$ barrier, is to find a function which is hard to compute for $polylog(n)$ or more players (where the $x_i$'s have size $poly(n)$) in the simultaneous NOF model. This has important applications in circuit complexity, as it could help to separate $ACC^0$ from other complexity classes. One of the candidates belongs to the family of composed functions. The input to these functions is represented by a $k\times (t\cdot n)$ boolean matrix $M$, whose row $i$ is the input $x_i$ and $t$ is a block-width parameter. A symmetric composed function acting on $M$ is specified by two symmetric $n$- and $kt$-variate functions $f$ and $g$, that output $f\circ g(M)=f(g(B_1),\dots,g(B_n))$ where $B_j$ is the $j$-th block of width $t$ of $M$. As the majority function $MAJ$ is conjectured to be outside of $ACC^0$, Babai et. al. suggested to study $MAJ\circ MAJ_t$, with $t$ large enough. So far, it was only known that $t=1$ is not enough for $MAJ\circ MAJ_t$ to break the $\log n$ barrier in the simultaneous deterministic NOF model. In this paper, we extend this result to any constant block-width $t>1$, by giving a protocol of cost $2^{O(2^t)}\log^{2^{t+1}}(n)$ for any symmetric composed function when there are $2^{\Omega(2^t)}\log n$ players.


title: Smooth values of polynomials

abstract: Given $f\in \mathbb{Z}[t]$ of positive degree, we investigate the existence of auxiliary polynomials $g\in \mathbb{Z}[t]$ for which $f(g(t))$ factors as a product of polynomials of small relative degree. One consequence of this work shows that for any quadratic polynomial $f\in\mathbb{Z}[t]$ and any $\epsilon > 0$, there are infinitely many $n\in\mathbb{N}$ for which the largest prime factor of $f(n)$ is no larger than $n^{\epsilon}$.


title: Testing the doubly charged charm-strange tetraquarks

abstract: The spectroscopic parameters and decay channels of the doubly charged scalar, pseudoscalar and axial-vector charm-strange tetraquarks $Z_{ \overline{c}s}=[sd][\overline u \overline c]$ are explored within framework of the QCD sum rule. The masses and current couplings of these diquark-antidiquark states are calculated by means of two-point correlation functions and taking into account the vacuum condensates up to eight dimensions. To compute the strong couplings of $Z_{\overline{c}s}$ states with $D,\ D_{s},\ D^{\ast},\ D_{s}^{\ast},\ D_{s1}(2460),\ D_{s0}^{\ast}(2317),\ \pi$ and $K$ mesons we use QCD light-cone sum rules and evaluate width of their $S$- and $P$-wave decays to a pair of negatively charged conventional mesons: For the scalar state $Z_{\overline{c}s}\to D_s \pi,\ DK, \ D_{s1}(2460)\pi$, for the pseudoscalar state $Z_{\overline{c}s} \to D_{s}^{\ast}\pi,\ D^{\ast}K, \ D_{s0}^{\ast}(2317)\pi,$ and for the axial-vector state $Z_{\overline{c}s} \to D_{s}^{\ast}\pi,\ D^{\ast}K,\ D_{s1}(2460)\pi$ decays are investigated. Obtained predictions for the spectroscopic parameters and decay widths of the $Z_{\overline{c}s}$ tetraquarks may be useful for experimental investigations of the doubly charged exotic hadrons.


title: Functional Renormalization Group flows on Friedman-Lema\^{\i}tre-Robertson-Walker backgrounds

abstract: We reanalyze the construction of the gravitational functional renormalization group equation tailored to the Arnowitt-Deser-Misner formulation emphasizing its connection to the covariant formulation. The results obtained from projecting the renormalization group flow onto the Einstein-Hilbert action are reviewed in detail and we provide a novel example illustrating how the formalism may be connected to the Causal Dynamical Triangulations approach to quantum gravity.


title: CSL Collapse Model Mapped with the Spontaneous Radiation

abstract: In this paper, new upper limits on the parameters of the Continuous Spontaneous Localization (CSL) collapse model are extracted. To this end, the X-ray emission data collected by the IGEX collaboration are analyzed and compared with the spectrum of the spontaneous photon emission process predicted by collapse models. This study allows the obtainment of the most stringent limits within a relevant range of the CSL model parameters, with respect to any other method. The collapse rate $\lambda$ and the correlation length $r_C$ are mapped, thus allowing the exclusion of a broad range of the parameter space.


title: On the stochastic Cahn-Hilliard equation with a singular double-well potential

abstract: We prove well-posedness and regularity for the stochastic pure Cahn-Hilliard equation under homogeneous Neumann boundary conditions, with both additive and multiplicative Wiener noise. In contrast with great part of the literature, the double-well potential is treated as generally as possible, its convex part being associated to a multivalued maximal monotone graph everywhere defined on the real line on which no growth nor smoothness assumptions are assumed. The regularity result allows to give appropriate sense to the chemical potential and to write a natural variational formulation of the problem. The proofs are based on suitable monotonicity and compactness arguments in a generalized variational framework.


title: Velocity gradient power functional for Brownian dynamics

abstract: We present an explicit and simple approximation for the superadiabatic excess (over ideal gas) free power functional, admitting the study of the nonequilibrium dynamics of overdamped Brownian many-body systems. The functional depends on the local velocity gradient and is systematically obtained from treating the microscopic stress distribution as a conjugate field. The resulting superadiabatic forces are beyond dynamical density functional theory and are of viscous nature. Their high accuracy is demonstrated by comparison to simulation results.


title: Dust Obscured Star Forming Galaxies in the Early Universe

abstract: Motivated by recent observational constraints on dust reprocessed emission in star forming galaxies at $z\sim 6$ and above we use the very-large cosmological hydrodynamical simulation \bluetides\ to explore predictions for the amount of dust obscured star formation in the early Universe ($z>8$). \bluetides\ matches current observational constraints on both the UV luminosity function and galaxy stellar mass function and predicts that approximately $90\%$ of the star formation in high-mass ($M_{*}>10^{10}\,{\rm M_{\odot}}$) galaxies at $z=8$ is already obscured by dust. The relationship between dust attenuation and stellar mass predicted by \bluetides\ is consistent with that observed at lower redshift. However, observations of several individual objects at $z>6$ are discrepant with the predictions, though it is possible their uncertainties may have been underestimated. We find that the predicted surface density of $z\ge 8$ sub-mm sources is below that accessible to current {\em Herschel}, SCUBA-2, and ALMA sub-mm surveys. However, as ALMA continues to accrue additional surface area the population of $z>8$ dust-obscured galaxies may become accessible in the near future.


title: Machine Learning Based Detection of Clickbait Posts in Social Media

abstract: Clickbait (headlines) make use of misleading titles that hide critical information from or exaggerate the content on the landing target pages to entice clicks. As clickbaits often use eye-catching wording to attract viewers, target contents are often of low quality. Clickbaits are especially widespread on social media such as Twitter, adversely impacting user experience by causing immense dissatisfaction. Hence, it has become increasingly important to put forward a widely applicable approach to identify and detect clickbaits. In this paper, we make use of a dataset from the clickbait challenge 2017 (clickbait-challenge.com) comprising of over 21,000 headlines/titles, each of which is annotated by at least five judgments from crowdsourcing on how clickbait it is. We attempt to build an effective computational clickbait detection model on this dataset. We first considered a total of 331 features, filtered out many features to avoid overfitting and improve the running time of learning, and eventually selected the 60 most important features for our final model. Using these features, Random Forest Regression achieved the following results: MSE=0.035 MSE, Accuracy=0.82, and F1-sore=0.61 on the clickbait class.


title: Vacuum energy in Quantum Field Theory and Cosmology

abstract: In this thesis we present detailed analyses on various running vacuum models (RVM's), in which the vacuum energy density "runs" with the cosmic expansion. The RVM's are motivated from the renormalization group formalism of Quantum Field Theory in curved spacetime. In this theoretical framework, the vacuum energy density depends explicitly on the Hubble function and its time derivative and thus does not remain constant, in contradistinction to the standard $\Lambda$CDM picture. Upon studying how these models fit the data, we can determine whether this dynamical behavior is favored by observations or not. Is the vacuum energy density (or more generically, the DE density) dynamical? One of the main conclusions of this dissertation is that we have indeed strong evidences in favor of the variability of the DE density throughout the cosmic history. It is shown that this variation can also be traced through other (purely phenomenological) dynamical vacuum models, together with different parametrizations of the DE (as the XCDM and CPL), and scalar field models as the Peebles-Ratra one. The statistical confidence level of these evidences reaches in some cases the 3-4$\sigma$ c.l., something that is unprecedented in the literature. An exhaustive explanation of the reasons why large collaborations as BOSS, Planck and DES have not been able to detect such signal in favor of the DE dynamics is provided in this thesis too.


title: Phenomenology of charged-particle multiplicity distributions

abstract: Charged-particle multiplicity distributions are an interesting tool to study both soft- and hard-QCD processes in hadronic collisions. Since last century a significant range of center-of-mass energies has been probed, ranging from a few GeV to 13 TeV in the latest LHC run. Common analysis of multiplicity distributions at different energies, in different phase space regions and from sufficiently different experiments provides a way to systematize and review existing phenomenological models of multiple particle production. In this work a phenomenological model is suggested, that can describe simultaneously charged-particle multiplicity distributions in different restricted pseudorapidity intervals for proton-proton collisions. The model is successfully applied to experimental results of ALICE experiment at LHC.


title: Magnetic properties of monoclinic lanthanide orthoborates, $Ln$BO$_3$, $Ln$ = Gd, Tb, Dy, Ho, Er, Yb

abstract: The lanthanide orthoborates, $Ln$BO$_3$, $Ln$ = Gd, Tb, Dy, Ho, Er, Yb crystallise in a monoclinic structure with the magnetic $Ln^{3+}$ forming an edge-sharing triangular lattice. The triangles are scalene, however all deviations from the ideal equilateral geometry are less than 1.5%. The bulk magnetic properties are studied using magnetic susceptibility, specific heat and isothermal magnetisation measurements. Heat capacity measurements show ordering features at $T \leq$ 2 K for $Ln$ = Gd, Tb, Dy, Er. No ordering is observed for YbBO$_3$ at $T \geq$ 0.4 K and HoBO$_3$ is proposed to have a non-magnetic singlet state. Isothermal magnetisation measurements indicate isotropic Gd$^{3+}$ spins and strong single-ion anisotropy for the other $Ln^{3+}$. The change in magnetic entropy has been evaluated to determine the magnetocaloric effect in these materials. GdBO$_3$ and DyBO$_3$ are found to be competitive magnetocaloric materials in the liquid helium temperature regime.


title: Components Qualification for a Possible use in the Mu2e Calorimeter Waveform Digitizers

abstract: The Mu2e experiment at Fermilab searches for the charged flavor violating conversion of a muon into an electron in the Coulomb field of a nucleus. The detector consists of a straw tube tracker and a CSI crystal electromagnetic calorimeter, both housed in a superconducting solenoid. Both the front-end and the digital electronics, located inside the cryostat, will be operated in vacuum under a 1 T magnetic field, having to sustain the high flux of neutrons and ionizing particles coming from the muons stopping target. These harsh experimental conditions make the design of the calorimeter waveform digitizer quite challenging. All the selected commercial devices must be tested individually and qualified for radiation hardness and operation in high magnetic field. At the moment the expected particles flux and spectra at the digitizers location are not completely simulated and we are using initial rough estimates to select the components for the first prototype. We are gaining experience in the qualification procedures using the selected components but the choice will be frozen only when dose and neutron flux simulations will be completed. The experimental results of the first qualification campaign are presented.


title: Subdiffusive Transport in Heterogeneous Patchy Environments

abstract: Transport across heterogeneous, patchy environments is a ubiquitous phenomenon spanning fields of study including ecological movement, intracellular transport and regions of specialised function in a cell. These regions or patches may be highly heterogeneous in their properties, and often exhibit anomalous behaviour (resulting from e.g. crowding or viscoelastic effects) which necessitates the inclusion of non-Markovian dynamics in their study. However, many such processes are also subject to an internal self-regulating or tempering process due to concurrent competing functions being carried out. In this work we develop a model for anomalous transport across a heterogeneous, patchy environment subject to tempering. We show that in the long-time an equilibrium may be reached with constant effective transport rates between the patches. This result is qualitatively different from untempered systems where subdiffusion results in the long-time accumulation of all particles in the patch with lowest anomalous exponent, $0<\mu<1$.


title: A Coupling Approach for Linear Elasticity Problems with Spatially Noncoincident Interfaces

abstract: We present a new formulation based on the classical Dirichlet-Neumann formulation for interface coupling problems in linearized elasticity. By using Taylor series expansions, we derive a new set of interface conditions that allow our formulation to pass the linear consistency test. In addition, we propose an iterative method to determine the solution of our formulation. We demonstrate in our numerical results that we may achieve the desired piecewise linear finite element error bounds for both nonoverlapping domain decomposition problems as well as for interface coupling problems where the Lam\'e parameters of the structures differ.


title: Efficient Quantum Algorithms for State Measurement and Linear Algebra Applications

abstract: We present an algorithm for measurement of $k$-local operators in a quantum state, which scales logarithmically both in the system size and the output accuracy. The key ingredients of the algorithm are a digital representation of the quantum state, and a decomposition of the measurement operator in a basis of operators with known discrete spectra. We then show how this algorithm can be combined with (a) Hamiltonian evolution to make quantum simulations efficient, (b) the Newton-Raphson method based solution of matrix inverse to efficiently solve linear simultaneous equations, and (c) Chebyshev expansion of matrix exponentials to efficiently evaluate thermal expectation values. The general strategy may be useful in solving many other linear algebra problems efficiently.


title: Fast Sketch-based Recovery of Correlation Outliers

abstract: Many data sources can be interpreted as time-series, and a key problem is to identify which pairs out of a large collection of signals are highly correlated. We expect that there will be few, large, interesting correlations, while most signal pairs do not have any strong correlation. We abstract this as the problem of identifying the highly correlated pairs in a collection of n mostly pairwise uncorrelated random variables, where observations of the variables arrives as a stream. Dimensionality reduction can remove dependence on the number of observations, but further techniques are required to tame the quadratic (in n) cost of a search through all possible pairs. We develop a new algorithm for rapidly finding large correlations based on sketch techniques with an added twist: we quickly generate sketches of random combinations of signals, and use these in concert with ideas from coding theory to decode the identity of correlated pairs. We prove correctness and compare performance and effectiveness with the best LSH (locality sensitive hashing) based approach.


title: Job Management and Task Bundling

abstract: High Performance Computing is often performed on scarce and shared computing resources. To ensure computers are used to their full capacity, administrators often incentivize large workloads that are not possible on smaller systems. Measurements in Lattice QCD frequently do not scale to machine-size workloads. By bundling tasks together we can create large jobs suitable for gigantic partitions. We discuss METAQ and mpi_jm, software developed to dynamically group computational tasks together, that can intelligently backfill to consume idle time without substantial changes to users' current workflows or executables.


title: Non left-orderable surgeries on negatively twisted torus knots

abstract: We show that certain negatively twisted torus knots admit Dehn surgeries yielding 3-manifolds with non left-orderable fundamental groups.


title: The ab initio study of unconventional superconductivity in CeCoIn$_{5}$ and FeSe

abstract: Electronic structure and the shape of the Fermi surface are known to be of fundamental importance for the superconducting instability in real materials. We demonstrate that such an instability may be explored by static Cooper pair susceptibility renormalized by pairing interaction and present an efficient method of its evaluation using Wannier orbitals derived from ab initio calculation. As an example, this approach is used to search for an unconventional superconducting phase of the Fulde-Ferrell-Larkin-Ovchinnikov (FFLO) type in a heavy-fermion compound CeCoIn$_5$ and an iron-based superconductor FeSe. The results suggest that the FFLO superconducting phase occurs at finite magnetic field in both materials.

categories: cond-mat.supr-con cond-mat.mtrl-sci cond-mat.str-el physics.comp-ph


title: Revealing BSM composite dynamics via topological interactions at future colliders

abstract: In composite Higgs models, new composite pseudoscalars can interact with the Higgs and with electroweak gauge bosons via anomalous interactions, which stem from the topological structure of the underlying theory. A future 100 TeV pp collider (FCC-pp) will be able to test these anomalous interactions and thus shed light on the strong dynamics which generates the Higgs and other composite resonances. We will discuss the topological interactions of a minimal composite Higgs model with fermionic ultraviolet completion, based on the coset SU(4)/Sp(4). We will indicate the strategy to test these interactions at the FCC-pp and the expected reach.


title: r-Robustness and (r,s)-Robustness of Circulant Graphs

abstract: There has been recent growing interest in graph theoretical properties known as r- and (r,s)-robustness. These properties serve as sufficient conditions guaranteeing the success of certain consensus algorithms in networks with misbehaving agents present. Due to the complexity of determining the robustness for an arbitrary graph, several methods have previously been proposed for identifying the robustness of specific classes of graphs or constructing graphs with specified robustness levels. The majority of such approaches have focused on undirected graphs. In this paper we identify a class of scalable directed graphs whose edge set is determined by a parameter k and prove that the robustness of these graphs is also determined by k. We support our results through computer simulations.


title: Prompt photon - jet angular correlations at central rapidities in p+A collisions

abstract: Photon-jet azimuthal correlations in proton-nucleus collisions are a promising tool for gaining information on the gluon distribution of the nucleus in the regime of non-linear color fields. We compute such correlations from the process $g+A\to q \bar{q} \gamma$ in the rapidity regime where both the projectile and target light-cone momentum fractions are small. By integrating over the phase space of the quark which emits the photon, subject to the restriction that the photon picks up most of the transverse momentum (to pass an isolation cut), we effectively obtain a $g+A\to q \gamma$ process. For nearly back-to-back photon-jet configurations we find that it dominates over the leading order process $q+A\to q \gamma$ by two less powers of $Q_\perp / Q_S$, where $\boldsymbol{Q}_\perp$ and $Q_S$ denote the net photon-jet pair momentum and the saturation scale of the nucleus, respectively. We determine the transverse momentum dependent gluon distributions involved in $g+A\to q \gamma$ and the scale where they are evaluated. Finally, we provide analytic expressions for $\langle\cos n\phi\rangle$ moments, where $\phi$ is the angle between $\boldsymbol{Q}_\perp$ and the average photon-jet transverse momentum $\tilde{\boldsymbol{P}}_\perp$, and first qualitative estimates of their transverse momentum dependence.


title: Fast and Accurate Image Super-Resolution with Deep Laplacian Pyramid Networks

abstract: Convolutional neural networks have recently demonstrated high-quality reconstruction for single image super-resolution. However, existing methods often require a large number of network parameters and entail heavy computational loads at runtime for generating high-accuracy super-resolution results. In this paper, we propose the deep Laplacian Pyramid Super-Resolution Network for fast and accurate image super-resolution. The proposed network progressively reconstructs the sub-band residuals of high-resolution images at multiple pyramid levels. In contrast to existing methods that involve the bicubic interpolation for pre-processing (which results in large feature maps), the proposed method directly extracts features from the low-resolution input space and thereby entails low computational loads. We train the proposed network with deep supervision using the robust Charbonnier loss functions and achieve high-quality image reconstruction. Furthermore, we utilize the recursive layers to share parameters across as well as within pyramid levels, and thus drastically reduce the number of parameters. Extensive quantitative and qualitative evaluations on benchmark datasets show that the proposed algorithm performs favorably against the state-of-the-art methods in terms of run-time and image quality.


title: A simplifying feature of the heterotic one loop four graviton amplitude

abstract: We show that the weight four modular graph functions that contribute to the integrand of the t_8 t_8 D^4 R^4 term at one loop in heterotic string theory do not require regularization, and hence the integrand is simple. This is unlike the graphs that contribute to the integrands of the other gravitational terms at this order in the low momentum expansion, and these integrands require regularization. This property persists for an infinite number of terms in the effective action, and their integrands do not require regularization. We find non--trivial relations between weight four graphs of distinct topologies that do not require regularization by performing trivial manipulations using auxiliary diagrams.


title: Negative ion Time Projection Chamber operation with SF$_{6}$ at nearly atmospheric pressure

abstract: We present measurements of drift velocities and mobilities of some innovative negative ion gas mixtures at nearly atmospheric pressure based on SF$_{6}$ as electronegative capture agent and of pure SF$_{6}$ at various pressures, performed with the NITEC detector. NITEC is a Time Projection Chamber with 5 cm drift distance readout by a GEMPix, a triple thin GEMs coupled to a Quad-Timepix chip, directly sensitive to the deposited charge on each of the 55 $\times$ 55 $\mu$m$^2$ pixel. Our results contribute to expanding the knowledge on the innovative use of SF$_{6}$ as negative ion gas and extend to triple thin GEMs the possibility of negative ion operation for the first time. Above all, our findings show the feasibility of negative ion operation with He:CF$_4$:SF$_{6}$ at 610 Torr, opening extremely interesting possibility for next generation directional Dark Matter detectors at 1 bar.


title: Resource Scheduling for Mixed Traffic Types with Scalable TTI in Dynamic TDD Systems

abstract: This paper analyses the performance benefits of a user-centric scheduling approach, exploiting the flexibility of both dynamic time division duplex (TDD) and a variable transmission time interval (TTI), where the downlink to uplink ratio and TTI duration can be adapted to the traffic load. The formulation of the joint optimisation problem takes into consideration the individual requirements of each single user in terms of sustainable latency and desired throughput, thus implementing a real user-centric scheduling approach. Moreover, the developed solution is evaluated in a scenario with mixed traffic types, mobile broadband (MBB) and mission critical communications (MCC), showing remarkable performance enhancement of the proposed scheme over baseline dynamic TDD schemes with a fixed TTI in terms of both achievable throughput of the MBB users and guaranteed latency for the MCC users.


title: Network approach towards understanding the crazing in glassy amorphous polymers

abstract: We have used molecular dynamics to simulate an amorphous glassy polymer with long chains to study deformation mechanism of crazing and associated void statistics. The Van der Waals interactions and the entanglements between chains constituting the polymer play a crucial role in crazing. Thus, we have reconstructed two underlying weighted networks, namely, the Van der Waals network and the Entanglement network from polymer configurations extracted from the molecular dynamics simulation. Subsequently, we have performed graph-theoretic analysis of the two reconstructed networks to reveal the role played by them in crazing of polymers. Our analysis captured various stages of crazing through specific trends in the network measures for Van der Waals networks and entanglement networks. To further corroborate the effectiveness of network analysis in unraveling the underlying physics of crazing in polymers, we have contrasted the trends in network measures for Van der Waals networks and entanglement networks in the light of stress-strain behaviour and voids statistics during deformation. We find that Van der Waals network plays a crucial role in craze initiation and growth. Although, the entanglement network was found to maintain its structure during craze initiation stage, it was found to progressively weaken and undergo dynamic changes during the hardening and failure stages of crazing phenomena. Our work demonstrates the utility of network theory in quantifying the underlying physics of polymer crazing and widens the scope of applications of network science to characterization of deformation mechanisms in diverse polymers.


title: Random sampling technique for ultra-fast computations of molecular opacities for exoplanet atmospheres

abstract: Opacities of molecules in exoplanet atmospheres rely on increasingly detailed line-lists for these molecules. The line lists available today contain for many species up to several billions of lines. Computation of the spectral line profile created by pressure and temperature broadening, the Voigt profile, of all of these lines is becoming a computational challenge. We aim to create a method to compute the Voigt profile in a way that automatically focusses the computation time into the strongest lines, while still maintaining the continuum contribution of the high number of weaker lines. Here, we outline a statistical line sampling technique that samples the Voigt profile quickly and with high accuracy. The number of samples is adjusted to the strength of the line and the local spectral line density. This automatically provides high accuracy line shapes for strong lines or lines that are spectrally isolated. The line sampling technique automatically preserves the integrated line opacity for all lines, thereby also providing the continuum opacity created by the large number of weak lines at very low computational cost. The line sampling technique is tested for accuracy when computing line spectra and correlated-k tables. Extremely fast computations (~3.5e5 lines per second per core on a standard current day desktop computer) with high accuracy (< 1 % almost everywhere) are obtained. A detailed recipe on how to perform the computations is given.


title: Quality factor of a transmission line coupled coplanar waveguide resonator

abstract: We investigate analytically the coupling of a coplanar waveguide resonator to a coplanar waveguide feedline. Using a conformal mapping technique we obtain an expression for the characteristic mode impedances and coupling coefficients of an asymmetric multi-conductor transmission line. Leading order terms for the external quality factor and frequency shift are calculated. The obtained analytical results are relevant for designing circuit-QED quantum systems and frequency division multiplexing of superconducting bolometers, detectors and similar microwave-range multi-pixel devices.


title: Solvatation de syst\`emes d'int\'er\^et pharmaceutique : apports de la th\'eorie de la fonctionnelle de la densit\'e mol\'eculaire

abstract: Drug development is time and cost-consuming: It takes in average 10 years and 1 billion euros to move from a therapeutic target to a new drug. To speedup this process and reduce its cost, numerical simulation are massively used. Nevertheless, they remain limited, one reason of which is the huge amount of solvent molecules to consider. The molecular density functional theory is a liquid state theory that allows the study of the solvation thermodynamics of solutes of arbitrary shape. MDFT predicts, in few seconds only, the free energy of solvation and the solvent profils. These parameters are at the heart of many others calculation used by the pharmaceutical industry. This thesis is the first step towards these applications. For that purpose, we adapted the theory as well as the associated code to this new target, then applied them to system of biological interest.


title: Analyzing Oscillators using Describing Functions

abstract: In this manuscript, we discuss the use of describing functions as a systematic approach to the analysis and design of oscillators. Describing functions are traditionally used to study the stability of nonlinear control systems, and have been adapted for analyzing LC oscillators. We show that they can be applied to other categories of oscillators too, including relaxation and ring oscillators. With the help of several examples of oscillators from various physical domains, we illustrate the techniques involved, and also demonstrate the effectiveness and limitations of describing functions for oscillator analysis.


title: On the bulk boundary correspondence and the existence of Majorana bound states on the edges of 2D topological superconductors

abstract: The bulk-boundary correspondence establishes a connection between the bulk topological index of an insulator or superconductor, and the number of topologically protected edge bands or states. For topological superconductors in two dimensions the first Chern number is related to the number of protected bands within the bulk energy gap, and is therefore assumed to give the number of Majorana band states in the system. Here we show that this is not necessarily the case. As an example we consider a hexagonal-lattice topological superconductor based on a model of graphene with Rashba spin orbit coupling, proximity induced s-wave superconductivity, and a Zeeman magnetic field. We explore the full Chern number phase diagram of this model, extending what is already known about its parity. We then demonstrate that despite the high Chern numbers that can be seen in some phases these do not strictly always contain Majorana bound states.


title: A generalized family of anisotropic compact object in general relativity

abstract: We present model for anisotropic compact star under the general theory of relativity of Einstein. In the study a 4-dimensional spacetime has been considered which is embedded into the 5-dimensional flat metric so that the spherically symmetric metric has class 1 when the condition $e^{\lambda}=\left(\,1+C\,e^{\nu} \,{\nu'}^2\,\right)$ is satisfied ($\lambda$ and $\nu$ being the metric potentials along with a constant $C$). A set of solutions for the field equations are found depending on the index $n$ involved in the physical parameters. The interior solutions have been matched smoothly at the boundary of the spherical distribution to the exterior Schwarzschild solution which necessarily provides values of the unknown constants. We have chosen the values of $n$ as $n=2$ and $n$=10 to 20000 for which interesting and physically viable results can be found out. The numerical values of the parameters and arbitrary constants for different compact stars are assumed in the graphical plots and tables as follows: (i) LMC X-4 : $a=0.0075$, $b=0.000821$ for $n=2$ and $a=0.0075$, $nb=0.00164$ for $n\ge 10$, (ii) SMC X-1: $a=0.00681$, $b=0.00078$ for $n=2$, and $a=0.00681$, $nb=0.00159$ for $n \ge 10$. The investigations on the physical features of the model include several astrophysical issues, like (i) regularity behavior of stars at the centre, (ii) well behaved condition for velocity of sound, (iii) energy conditions, (iv) stabilty of the system via the following three techniques - adiabatic index, Herrera cracking concept and TOV equation, (v) total mass, effective mass and compactification factor and (vi) surface redshift. Specific numerical values of the compact star candidates LMC X-4 and SMC X-1 are calculated for central and surface densities as well as central pressure to compare the model value with actual observational data.


title: Merger of two neutron stars: predictions from the two-families scenario

abstract: If only one family of "neutron stars" exists, their maximum mass must be equal or larger than $2 M_\odot$ and then only in less than about $18\%$ of cases the outcome of the merger of two neutron stars is a direct collapse to a black hole, since the newly formed system can avoid the collapse at least until differential rotation is present. In the so-called two-families scenario, stars made of hadrons are stable only up to about $1.5-1.6 M_\odot$, while the most massive compact stars are entirely made of strange quark matter. We show that in this scenario the outcome of the merger of two neutron stars is a prompt collapse in at least $34\%$ of the cases. It will therefore be easy to discriminate between the two scenarios once the gravitational waves emitted at the moment of the merger are detected.


title: Alternating Iteratively Reweighted Minimization Algorithms for Low-Rank Matrix Factorization

abstract: Nowadays, the availability of large-scale data in disparate application domains urges the deployment of sophisticated tools for extracting valuable knowledge out of this huge bulk of information. In that vein, low-rank representations (LRRs) which seek low-dimensional embeddings of data have naturally appeared. In an effort to reduce computational complexity and improve estimation performance, LRR has been viewed via a matrix factorization (MF) perspective. Recently, low-rank MF (LRMF) approaches have been proposed for tackling the inherent weakness of MF i.e., the unawareness of the dimension of the low-dimensional space where data reside. Herein, inspired by the merits of iterative reweighted schemes for rank minimization, we come up with a generic low-rank promoting regularization function. Then, focusing on a specific instance of it, we propose a regularizer that imposes column-sparsity jointly on the two matrix factors that result from MF, thus promoting low-rankness on the optimization problem. The problems of denoising, matrix completion and non-negative matrix factorization (NMF) are redefined according to the new LRMF formulation and solved via efficient Newton-type algorithms with proven theoretical guarantees as to their convergence and rates of convergence to stationary points. The effectiveness of the proposed algorithms is verified in diverse simulated and real data experiments.


title: About attenuation of videopulse in nonlinear transmission lines with ideal dielectric

abstract: The attenuation of the video pulse with monotonically increasing input voltage in a transmission lines with an ideal dielectric can be characterized by "ohmic" voltage drop $U_\sigma$ along the electrodes with finite conductivity. The exact analytical formulas for the calculations $U_\sigma$ in coaxial and strip lines with and without taking into account the strong skin effect have been obtained. These formulas do not depend on the dispersion and the degree of nonlinearity of the dielectric and therefore is suitable for evaluating of shock electromagnetic waves attenuation


title: Excited states of defect lines in silicon: A first-principles study based on hydrogen cluster analogues

abstract: Excited states of a single donor in bulk silicon have previously been studied extensively based on effective mass theory. However, a proper theoretical description of the excited states of a donor cluster is still scarce. Here we study the excitations of lines of defects within a single-valley spherical band approximation, thus mapping the problem to a scaled hydrogen atom array. A series of detailed full configuration-interaction and time-dependent hybrid density-functional theory calculations have been performed to understand linear clusters of up to 10 donors. Our studies illustrate the generic features of their excited states, addressing the competition between formation of inter-donor ionic states and intra-donor atomic excited states. At short inter-donor distances, excited states of donor molecules are dominant, at intermediate distances ionic states play an important role, and at long distances the intra-donor excitations are predominant as expected. The calculations presented here emphasise the importance of correlations between donor electrons, and are thus complementary to other recent approaches that include effective mass anisotropy and multi-valley effects. The exchange splittings between relevant excited states have also been estimated for a donor pair and for a three-donor arrays; the splittings are much larger than those in the ground state in the range of donor separations between 10 and 20 nm. This establishes a solid theoretical basis for the use of excited-state exchange interactions for controllable quantum gate operations in silicon.

categories: cond-mat.mes-hall cond-mat.mtrl-sci cond-mat.str-el physics.atm-clus physics.optics


title: Network topology in soft gels: hardening and softening materials

abstract: The structural complexity of soft gels is at the origin of a versatile mechanical response that allows for large deformations, controlled elastic recovery and toughness in the same material. A limit to exploiting the potential of such materials is the insufficient fundamental understanding of the microstructural origin of the bulk mechanical properties. Here we investigate the role of the network topology in a model gel through 3D numerical simulations. Our study links the topology of the network organization in space to its non-linear rheological response preceding yielding and damage: our analysis elucidates how the network connectivity alone could be used to modify the gel mechanics at large strains, from strain-softening to hardening and even to a brittle response. These findings provide new insight for smart material design and for understanding the non-trivial mechanical response of a potentially wide range of technologically relevant materials.


title: Statistical approach to Higgs couplings in the standard model effective field theory

abstract: We perform a parameter fit in the Standard Model Effective Field Theory (SMEFT) with an emphasis on using regularized linear regression to tackle the issue of the large number of parameters in the SMEFT. In regularized linear regression a positive definite function of the parameters of interest is added to the usual cost function. A cross-validation is performed to try to determine the optimal value of the regularization parameter to use, but it selects the Standard Model (SM) as the best model to explain the measurements. Nevertheless as proof of principle of this technique we apply it to fitting Higgs boson signal strengths in SMEFT, including the latest Run-2 results. Results are presented in terms of the eigensystem of the covariance matrix of the least squares estimators as it has a degree model-independent to it. We find several results in this initial work: the SMEFT predicts the total width of the Higgs boson to be consistent with the SM prediction; the ATLAS and CMS experiments at the LHC are currently sensitive to non-resonant double Higgs boson production. Constraints are derived on the viable parameter space for electroweak baryogenesis in the SMEFT, reinforcing the notion that a first order phase transition requires fairly low scale Beyond the SM physics. Finally, we study which future experimental measurements would give the most improvement on the global constraints on the Higgs sector of the SMEFT.


title: Molecular Dynamics Simulations of the O2- Ion Mobility in Dense Ne Gas at Low Temperature: Influence of the Repulsive Part of the Ion-Neutral Interaction Potential

abstract: New Molecular Dynamics simulations have been carried out in order to get an insight on the physical mechanisms that determine the drift mobility of negative Oxygen ions in very dense Neon gas in the supercritical phase close to the critical point. Two ion-neutral interaction potentials have been used that differ by their repulsive part. We have observed that the potential with a harder repulsive part gives much better agreement with the experimental data. The differences with the softer repulsive potential previously used are discussed. We propose that the behavior of the ion mobility as a function of the gas density is related to the number of neutral atoms loosely bound in the first solvation shell around the ion.


title: Winds from stripped low-mass Helium stars and Wolf-Rayet stars

abstract: We present mass-loss predictions from Monte Carlo radiative transfer models for helium (He) stars as a function of stellar mass, down to 2 Msun. Our study includes both massive Wolf-Rayet (WR) stars and low-mass He stars that have lost their envelope through interaction with a companion. For these low-mass He-stars we predict mass-loss rates that are an order of magnitude smaller than by extrapolation of empirical WR mass-loss rates. Our lower mass-loss rates make it harder for these elusive stripped stars to be discovered via line emission, and we should attempt to find them through alternative methods instead. Moreover, lower mass-loss rates will make it less likely that low-mass He stars provide stripped-envelope supernovae (SNe) of type Ibc. We express our mass-loss predictions as a function of L and Z, and not as a function of the He abundance, as we do not consider this physically astute given our earlier work. The exponent of the dM/dt vs. Z dependence is found to be 0.61, which is less steep than relationships derived from recent empirical atmospheric modelling. Our shallower exponent will make it more challenging to produce "heavy" black holes of order 40 Msun, as recently discovered in the gravitational wave event GW 150914, making low metallicity for these types of events even more necessary.

categories: astro-ph.SR astro-ph.CO astro-ph.GA astro-ph.HE


title: On semiparametric estimation of a path-specific effect in the presence of mediator-outcome confounding

abstract: Path-specific effects are a broad class of mediated effects from an exposure to an outcome via one or more causal pathways with respect to some subset of intermediate variables. The majority of the literature concerning estimation of mediated effects has focused on parametric models with stringent assumptions regarding unmeasured confounding. We consider semiparametric inference of a path-specific effect when these assumptions are relaxed. In particular, we develop a suite of semiparametric estimators for the effect along a pathway through a mediator, but not some exposure-induced confounder of that mediator. These estimators have different robustness properties, as each depends on different parts of the observed data likelihood. One of our estimators may be viewed as combining the others, because it is locally semiparametric efficient and multiply robust. The latter property is illustrated in a simulation study. We apply our methodology to an HIV study, in which we estimate the effect comparing two drug treatments on a patient's average log CD4 count mediated by the patient's level of adherence, but not by previous experience of toxicity, which is clearly affected by which treatment the patient is assigned to, and may confound the effect of the patient's level of adherence on their virologic outcome.


title: Sobolev Maps into Compact Lie Groups and Curvature

abstract: These are notes on seminal work of Freed, and subsequent developments, on the curvature properties of (Sobolev Lie) groups of maps from a Riemannian manifold into a compact Lie group. We are mainly interested in critical cases which are relevant to quantum field theory. For example Freed showed that, in a necessarily qualified sense, the quotient space $W^{1/2}(S^1,K)/K$ is a (positive constant) Einstein `manifold' with respect to the essentially unique PSU(1,1) invariant metric, where $W^{s}$ denotes maps of $L^2$ Sobolev order s. In a similarly qualified sense, and in addition making use of the Dixmier trace/Wodzicki residue, we show that for a Riemann surface Sigma, $W^1(\Sigma,K)/K$ is a (positive constant) Einstein `manifold' with respect to the essentially unique conformally invariant metric. As in the one dimensional case, invariance implies Einstein, but the sign of the Ricci curvature has to be computed. Because of the qualifications involved in these statements, in practice it is necessary to consider curvature for $W^s(\Sigma,K)$ for s above the critical exponent, and limits. The formula we obtain is surprisingly simple.


title: Complexity of Edge Monitoring on Some Graph Classes

abstract: In this paper, we study the complexity of the edge monitoring problem. A vertex $v$ monitors an edge $e$ if both extremities together with $v$ form a triangle in the graph. Given a graph $G=(V,E)$ and a weight function on edges $c$ where $c(e)$ is the number of monitors that needs the edge $e$, the problem is to seek a minimum subset of monitors $S$ such that every edge $e$ in the graph is monitored by at least $c(e)$ vertices in $S$. In this paper, we study the edge monitoring problem on several graph classes such as complete graphs, block graphs, cographs, split graphs, interval graphs and planar graphs. We also generalize the problem by adding weights on vertices.


title: Robustness Analysis of Asynchronous Sampled-Data Multi-Agent Networks With Time-Varying Delays

abstract: In this paper, we study the simultaneous stability problem of a finite number of locally inter-connected linear subsystems under practical constraints, including asynchronous and aperiodic sampling, time-varying delays, and measurement errors. We establish a new Lyapunov-based stability result for such a decentralized system. This system has a particular simple structure of interconnections, but it captures some key characteristics of a large class of intermediate models derived from the consensus analysis of multi-agent systems. The stability result is applicable to the estimation of the maximum allowable inter-sampling periods and time delays based on individual dynamics and coupling structures in the scenarios of consensus control via asynchronous sampling of relative states and asynchronous broadcasting of self-sampled states respectively. The asynchrony of aperiodic sampling and the existence of measurement errors allow the utilization of some kinds of quantizing devices, such as Logarithmic quantizers, in the process of data sampling, and allow the introduction of a period of dwell time after each update of state measurement to eliminate the Zeno behavior of events in event-based control. The extension in the case with input saturations and input delays is also discussed.


title: Rigorous Q Factor Formulation and Characterization for Nonlinear Oscillators

abstract: In this paper, we discuss the definition of Q factor for nonlinear oscillators. While available definitions of Q are often limited to linear resonators or oscillators with specific topologies, our definition is applicable to any oscillator as a figure of merit for its amplitude stability. It can be formulated rigorously and computed numerically from oscillator equations. With this definition, we calculate and analyze the Q factors of several oscillators of different types. The results confirm that the proposed Q formulation is a useful addition to the characterization techniques for oscillators.


title: Thermal Source Localization Through Infinite-Dimensional Compressed Sensing

abstract: We propose a scheme utilizing ideas from infinite dimensional compressed sensing for thermal source localization. Using the soft recovery framework of one of the authors, we provide rigorous theoretical guarantees for the recovery performance. In particular, we extend the framework in order to also include noisy measurements. Further, we conduct numerical experiments, showing that our proposed method has strong performance, in a wide range of settings. These include scenarios with few sensors, off-grid source positioning and high noise levels, both in one and two dimensions.


title: The programme "accurate masses for SB2 components"

abstract: Accurate stellar masses are requested in order to improve our understanding of stellar interiors, but they are still rather rare. Fortunately, the forthcoming Gaia Mission will provide astrometric measurements permitting the derivation of the orbital inclinations of nearby binaries which are also observed as double-lined spectroscopic binaries (SB2s) with ground-based telescopes. A programme of radial velocity (RV) measurements was initiated in 2010 with the Sophie spectrograph of the Haute-Provence observatory in order to derive accurate SB2 orbits for a large set of stars. Therefore, combined SB2+astrometric orbits will be derived thanks to Gaia, and masses with errors around 1~\% are expected for both components. The programme includes 70 SB2s, and the accurate SB2 orbits of 24 of them were already derived. In addition, two complementary programmes devoted to southern stars or to late-type dwarf stars were also initiated with the HERMES and the CARMENES spectrographs, respectively. Interferometric measurements were obained with the VLTI/PIONIER for 7 SB2s, and were taken from other sources for 4 others. Currently, combined "visual binary" (VB) +SB2 solutions were derived for 7 binaries, leading to the masses of the components and to the parallaxes. The parallaxes from the Hipparcos 2 catalogue were corrected for orbital motion and compared to our solution, confirming the high quality of Hipparcos 2.


title: Application of superconducting-superfluid magnetohydrodynamics to nuclear "pasta" in neutron stars

abstract: A mixture of superconducting and superfluid nuclear liquids of protons coupled to the ultrarelativistic electron gas, and neutrons is considered. In the magnetohydrodynamic (MHD) approximation, the energy-momentum (stress) tensor is derived, and the entrainment contribution is found in the explicit form. It is shown that this contribution generates a force density, when a superfluid velocity lag and the magnetic field are simultaneously present. This force may be important in the nuclear "pasta" phase in neutron stars, if the proton and neutron Cooper pairing in the pasta phase is taken into account. It is found that if the liquid-crystalline matter of the pasta phase is superfluid and superconducting, then magnitude of the forces acting upon element of matter at typical magnetic field and the superfluid velocity lag, under certain conditions may become large enough to induce a critical stress in the neutron star crust. As an application, the necessary conditions for triggering of a starquake are found in the pasta phase of neutron stars, assuming that the nuclei are flat slabs in parallel magnetic field. The present model includes two independent local parameters: the superfluid velocity lag and the magnetic field. Possible links between the entrainment force and the magnetar starquake triggering mechanism, and some open problems are discussed.


title: A User-Centric System for Verified Identities on the Bitcoin Blockchain

abstract: We present an identity management scheme built into the Bitcoin blockchain, allowing for identities that are as indelible as the blockchain itself. Moreover, we take advantage of Bitcoin's decentralized nature to facilitate a shared control between users and identity providers, allowing users to directly manage their own identities, fluidly coordinating identities from different providers, even as identity providers can revoke identities and impose controls.


title: Schatten class Toeplitz operators on weighted Bergman spaces of tube domains over symmetric cones

abstract: We prove some characterizations of Schatten class Toeplitz operators on Bergman spaces of tube domains over symmetric cones for small exponents.


title: Stable arithmetic regularity in the finite-field model

abstract: The arithmetic regularity lemma for $\mathbb{F}_p^n$, proved by Green in 2005, states that given a subset $A\subseteq \mathbb{F}_p^n$, there exists a subspace $H\leq \mathbb{F}_p^n$ of bounded codimension such that $A$ is Fourier-uniform with respect to almost all cosets of $H$. It is known that in general, the growth of the codimension of $H$ is required to be of tower type depending on the degree of uniformity, and that one must allow for a small number of non-uniform cosets. Our main result is that, under a natural model-theoretic assumption of stability, the tower-type bound and non-uniform cosets in the arithmetic regularity lemma are not necessary. Specifically, we prove an arithmetic regularity lemma for $k$-stable subsets $A\subseteq \mathbb{F}_p^n$ in which the bound on the codimension of the subspace is a polynomial (depending on $k$) in the degree of uniformity, and in which there are no non-uniform cosets. This result is an arithmetic analogue of the stable graph regularity lemma proved by Malliaris and Shelah.


title: Lindblad dynamics of Gaussian states and their superpositions in the semiclassical limit

abstract: The time evolution of the Wigner function for Gaussian states generated by Lindblad quantum dynamics is investigated in the semiclassical limit. A new type of phase-space dynamics is obtained for the centre of a Gaussian Wigner function, where the Lindblad terms generally introduce a non-Hamiltonian flow. In addition to this, the Gaussian approximation yields dynamical equations for the covariances. The approximation becomes exact for linear Lindblad operators and a quadratic Hamiltonian. By viewing the Wigner function as a wave function on a coordinate space of doubled dimension, and the phase-space Lindblad equation as a Schr\"{o}dinger equation with a non-Hermitian Hamiltonian, a further set of semiclassical equations are derived. These are capable of describing the interference terms in Wigner functions arising in superpositions of Gaussian states, as demonstrated for a cat state in an anharmonic oscillator subject to damping.


title: Non-integrated defect relations for the Gauss map of a complete minimal surface with finite total curvature in $\mathbb R^m$

abstract: In this article, we give the non-integrated defect relations for the Gauss map of a complete minimal surface with finite total curvature in $\mathbb R^m.$ This is a continuation of previous work of Ha-Trao [J. Math. Anal. Appl., \textbf{430} (2015), 76-84.], which we extend here to targets of higher dimension.


title: Ultra Luminous X-ray sources - new distance indicators?

abstract: In this paper we fit the NuSTAR and XMM-Newton data of three sources: NGC7793~P13, NGC5907~ULX1, and Circinus~ULX5. Our single model contains emission form non-spherical system: neutron star plus accretion disk directed towards observer. We obtained the very good fit with the reduced $\chi^2$ per degree of freedom equal 1.08 for P13, 1.01 for ULX1, and 1.14 for ULX5.The normalization of our model constrains the distance to the source. The resulting distances are $D=3.41^{+0.11}_{-0.10}$, $6.55_{-0.81}^{+0.69}$ and $2.60^{+0.05}_{-0.03}$~Mpc for P13, ULX1 and ULX5 respectively. The distances to P13 and ULX5 are in perfect agreement with previous distance measurements to their host galaxies. Our results confirm that P13, ULX1 and ULX5 may contain central hot neutron star. When the outgoing emission is computed by integration over the emitting surface and successfully fitted to the data, then the resulting model normalization is the direct distance indicator.


title: Portable Tor Router: Easily Enabling Web Privacy for Consumers

abstract: On-line privacy is of major public concern. Unfortunately, for the average consumer, there is no simple mechanism to browse the Internet privately on multiple devices. Most available Internet privacy mechanisms are either expensive, not readily available, untrusted, or simply provide trivial information masking. We propose that the simplest, most effective and inexpensive way of gaining privacy, without sacrificing unnecessary amounts of functionality and speed, is to mask the user's IP address while also encrypting all data. We hypothesized that the Tor protocol is aptly suited to address these needs. With this in mind we implemented a Tor router using a single board computer and the open-source Tor protocol code. We found that our proposed solution was able to meet five of our six goals soon after its implementation: cost effectiveness, immediacy of privacy, simplicity of use, ease of execution, and unimpaired functionality. Our final criterion of speed was sacrificed for greater privacy but it did not fall so low as to impair day-to-day functionality. With a total cost of roughly $100.00 USD and a speed cap of around 2 Megabits per second we were able to meet our goal of an affordable, convenient, and usable solution to increased on-line privacy for the average consumer.


title: Rethinking Split Manufacturing: An Information-Theoretic Approach with Secure Layout Techniques

abstract: Split manufacturing is a promising technique to defend against fab-based malicious activities such as IP piracy, overbuilding, and insertion of hardware Trojans. However, a network flow-based proximity attack, proposed by Wang et al. (DAC'16) [1], has demonstrated that most prior art on split manufacturing is highly vulnerable. Here in this work, we present two practical layout techniques towards secure split manufacturing: (i) gate-level graph coloring and (ii) clustering of same-type gates. Our approach shows promising results against the advanced proximity attack, lowering its success rate by 5.27x, 3.19x, and 1.73x on average compared to the unprotected layouts when splitting at metal layers M1, M2, and M3, respectively. Also, it largely outperforms previous defense efforts; we observe on average 8x higher resilience when compared to representative prior art. At the same time, extensive simulations on ISCAS'85 and MCNC benchmarks reveal that our techniques incur an acceptable layout overhead. Apart from this empirical study, we provide---for the first time---a theoretical framework for quantifying the layout-level resilience against any proximity-induced information leakage. Towards this end, we leverage the notion of mutual information and provide extensive results to validate our model.


title: Triadic closure in configuration models with unbounded degree fluctuations

abstract: The configuration model generates random graphs with any given degree distribution, and thus serves as a null model for scale-free networks with power-law degrees and unbounded degree fluctuations. For this setting, we study the local clustering $c(k)$, i.e., the probability that two neighbors of a degree-$k$ node are neighbors themselves. We show that $ c(k)$ progressively falls off with $k$ and eventually for $k=\Omega(\sqrt{n})$ settles on a power law $c(k)\sim k^{-2(3-\tau)}$ with $\tau\in(2,3)$ the power-law exponent of the degree distribution. This fall-off has been observed in the majority of real-world networks and signals the presence of modular or hierarchical structure. Our results agree with recent results for the hidden-variable model and also give the expected number of triangles in the configuration model when counting triangles only once despite the presence of multi-edges. We show that only triangles consisting of triplets with uniquely specified degrees contribute to the triangle counting.


title: The Interpretation Lifting Theorem for C-Systems

abstract: In this article we present a solution to a conjecture of Vladimir Voevodsky regarding C-systems. This conjecture provides, under some assumptions, a lift of a functor $M\colon \mathrm{CC} \rightarrow \mathcal{C}$, where $\mathrm{CC}$ is a C-system and $\mathcal{C}$ a category, to a morphism of C-systems $M'\colon \mathrm{CC} \rightarrow \mathrm{CC}(\widehat{\mathcal{C}},p_M)$. We explain the motivation behind this conjecture and introduce the required background material on C-systems. Finally, we give a proof of this conjecture.


title: Hertzsprung-Russell diagram and mass distribution of barium stars

abstract: With the availability of parallaxes provided by the Tycho-Gaia Astrometric Solution, it is possible to construct the Hertzsprung-Russell diagram (HRD) of barium and related stars with unprecedented accuracy. A direct result from the derived HRD is that subgiant CH stars occupy the same region as barium dwarfs, contrary to what their designations imply. By comparing the position of barium stars in the HRD with STAREVOL evolutionary tracks, it is possible to evaluate their masses, provided the metallicity is known. We used an average metallicity [Fe/H] = -0.25 and derived the mass distribution of barium giants. The distribution peaks around 2.5 Msun with a tail at higher masses up to 4.5 Msun. This peak is also seen in the mass distribution of a sample of normal K and M giants used for comparison and is associated with stars located in the red clump. When we compare these mass distributions, we see a deficit of low-mass (1 - 2 Msun) barium giants. This is probably because low-mass stars reach large radii at the tip of the red giant branch, which may have resulted in an early binary interaction. Among barium giants, the high-mass tail is however dominated by stars with barium indices of less than unity, based on a visual inspection of the barium spectral line; that is, these stars have a very moderate barium line strength. We believe that these stars are not genuine barium giants, but rather bright giants, or supergiants, where the barium lines are strengthened because of a positive luminosity effect. Moreover, contrary to previous claims, we do not see differences between the mass distributions of mild and strong barium giants.


title: McDiarmid Drift Detection Methods for Evolving Data Streams

abstract: Increasingly, Internet of Things (IoT) domains, such as sensor networks, smart cities, and social networks, generate vast amounts of data. Such data are not only unbounded and rapidly evolving. Rather, the content thereof dynamically evolves over time, often in unforeseen ways. These variations are due to so-called concept drifts, caused by changes in the underlying data generation mechanisms. In a classification setting, concept drift causes the previously learned models to become inaccurate, unsafe and even unusable. Accordingly, concept drifts need to be detected, and handled, as soon as possible. In medical applications and emergency response settings, for example, change in behaviours should be detected in near real-time, to avoid potential loss of life. To this end, we introduce the McDiarmid Drift Detection Method (MDDM), which utilizes McDiarmid's inequality in order to detect concept drift. The MDDM approach proceeds by sliding a window over prediction results, and associate window entries with weights. Higher weights are assigned to the most recent entries, in order to emphasize their importance. As instances are processed, the detection algorithm compares a weighted mean of elements inside the sliding window with the maximum weighted mean observed so far. A significant difference between the two weighted means, upper-bounded by the McDiarmid inequality, implies a concept drift. Our extensive experimentation against synthetic and real-world data streams show that our novel method outperforms the state-of-the-art. Specifically, MDDM yields shorter detection delays as well as lower false negative rates, while maintaining high classification accuracies.


title: Zoel Garc\'ia de Galdeano y su presencia en sociedades matem\'aticas de su \'epoca

abstract: In this paper, we present the work of international mathematical associationism carried out by the mathematician from Navarra (Spain) Zoel Garc\'ia de Galdeano (1846-1924) during over 30 years. Garcia de Galdeano was a member of many of the most important mathematical associations of his time, thus being able to be in touch with foreign mathematicians of high level and to exchange ideas, works and collaborations. This work of associationism has been unnoticed in biographical and scientific studies up to now and helps to complete the picture of Garc\'ia de Galdeano as an international mathematician and as a wise importer of the main mathematical achievements of his time.


title: Quantum cosmology of a Bianchi III LRS geometry coupled to a source free electromagnetic field

abstract: We consider a Bianchi type III axisymmetric geometry in the presence of an electromagnetic field. A first result at the classical level is that the symmetry of the geometry need not be applied on the electromagnetic tensor $F_{\mu\nu}$; the algebraic restrictions, implied by the Einstein field equations to the stress energy tensor $T_{\mu\nu}$, suffice to reduce the general $F_{\mu\nu}$ to the appropriate form. The classical solution thus found contains a time dependent electric and a constant magnetic charge. The solution is also reachable from the corresponding mini-superspace action, which is strikingly similar to the Reissner-Nordstr{\"o}m one. This points to a connection between the black hole geometry and the cosmological solution here found, which is the analog of the known correlation between the Schwarzschild and the Kantowski-Sachs metrics. The configuration space is drastically modified by the presence of the magnetic charge from a 3D flat to a 3D pp wave geometry. We map the emerging linear and quadratic classical integrals of motion, to quantum observables. Along with the Wheeler-DeWitt equation these observables provide unique, up to constants, wave functions. The employment of a Bohmian interpretation of these quantum states results in deterministic (semi-classical) geometries most of which are singularity free.


title: On the pointwise domination of a function by its maximal function

abstract: We show that under rather general circumstances, the almost everywhere pointwise inequality $|f|(x) \le Mf (x)$ is equivalent to a weak form of the Lebesgue density theorem, for totally bounded closed sets. We derive both positive and negative results from this characterization.


title: Simpler proof for nonlinearity of majority function

abstract: Given a Boolean function f, the (Hamming) weight wt(f) and the nonlinearity N(f) are well known to be important in designing functions that are useful in cryptography. The nonlinearity is expensive to compute, in general, so any shortcuts for doing that for particular functions f are significant. The well known majority function has been extensively studied in a cryptographic context for the last dozen years or so, and there is a formula for its nonlinearity. The known proofs for this formula rely on many detailed results for the Krawtchouk polynomials. This paper gives a much simpler proof.


title: HANDY: A Hybrid Association Rules Mining Approach for Network Layer Discovery of Services for Mobile Ad hoc Network

abstract: Mobile Ad hoc Network (MANET) is an infrastructure-less network formed between a set of mobile nodes. The discovery of services in MANET is a challenging job due to the unique properties of network. In this paper, a novel service discovery framework called Hybrid Association Rules Based Network Layer Discovery of Services for Ad hoc Networks (HANDY) has been proposed. HANDY provides three major research contributions. At first, it adopts a cross-layer optimized design for discovery of services that is based on simultaneous discovery of services and corresponding routes. Secondly, it provides a multi-level ontology-based approach to describe the services. This resolves the issue of semantic interoperability among the service consumers in a scalable fashion. Finally, to further optimize the performance of the discovery process, HANDY recommends exploiting the inherent associations present among the services. These associations are used in two ways. First, periodic service advertisements are performed based on these associations. In addition, when a response of a service discovery request is generated, correlated services are also attached with the response. The proposed service discovery scheme has been implemented in JIST/SWANS simulator. The results demonstrate that the proposed modifications give rise to improvement in hit ratio of the service consumers and latency of discovery process.


title: Computational Differential Privacy from Lattice-based Cryptography

abstract: The emerging technologies for large scale data analysis raise new challenges to the security and privacy of sensitive user data. In this work we investigate the problem of private statistical analysis of time-series data in the distributed and semi-honest setting. In particular, we study some properties of Private Stream Aggregation (PSA), first introduced by Shi et al. 2017. This is a computationally secure protocol for the collection and aggregation of data in a distributed network and has a very small communication cost. In the non-adaptive query model, a secure PSA scheme can be built upon any key-homomorphic weak pseudo-random function as shown by Valovich 2017, yielding security guarantees in the standard model which is in contrast to Shi et. al. We show that every mechanism which preserves $(\epsilon,\delta)$-differential privacy in effect preserves computational $(\epsilon,\delta)$-differential privacy when it is executed through a secure PSA scheme. Furthermore, we introduce a novel perturbation mechanism based on the symmetric Skellam distribution that is suited for preserving differential privacy in the distributed setting, and find that its performances in terms of privacy and accuracy are comparable to those of previous solutions. On the other hand, we leverage its specific properties to construct a computationally efficient prospective post-quantum protocol for differentially private time-series data analysis in the distributed model. The security of this protocol is based on the hardness of a new variant of the Decisional Learning with Errors (DLWE) problem. In this variant the errors are taken from the symmetric Skellam distribution. We show that this new variant is hard based on the hardness of the standard Learning with Errors (LWE) problem where the errors are taken from the discrete Gaussian distribution. Thus, we provide a variant of the LWE problem that is hard...


title: The Dirichlet Problem for Einstein Metrics on Cohomogeneity One Manifolds

abstract: Let $G/H$ be a compact homogeneous space, and let $\hat{g}_0$ and $\hat{g}_1$ be $G$-invariant Riemannian metrics on $G/H$. We consider the problem of finding a $G$-invariant Einstein metric $g$ on the manifold $G/H\times [0,1]$ subject to the constraint that $g$ restricted to $G/H\times \{0\}$ and $G/H\times \{1\}$ coincides with $\hat{g}_0$ and $\hat{g}_1$, respectively. By assuming that the isotropy representation of $G/H$ consists of pairwise inequivalent irreducible summands, we show that we can always find such an Einstein metric.


title: Absence of confinement in (SrTiO3)/(SrTi0:8Nb0:2O3) superlattices

abstract: The reduction of dimensionality is an efficient pathway to boost the performances of thermoelectric materials, it leads to the quantum confinement of the carriers and thus to large Seebeck coefficients (S) and it also suppresses the thermal conductivity by increasing the phonon scattering processes. However, quantum confinement in superlattices is not always easy to achieve and needs to be carefully validated. In the past decade, large values of S have been measured in (SrTiO3)/(SrTi0:8Nb0:2O3) superlattices (Nat. Mater. 6, 129 (2007) and Appl. Phys. Lett. 91, 192105 (2007)). In the $\delta$-doped compound, the measured S was almost 6 times larger than that of the bulk material. This huge increase has been attributed to the two dimensional confinement of the carriers in the doped regions. In this work, we demonstrate that the experimental data can be well explained quantitatively within the scenario in which electrons are delocalized in both in-plane and growth directions, hence strongly suggesting that the confinement picture in these superlattices may be unlikely.


title: Integrating Boundary and Center Correlation Filters for Visual Tracking with Aspect Ratio Variation

abstract: The aspect ratio variation frequently appears in visual tracking and has a severe influence on performance. Although many correlation filter (CF)-based trackers have also been suggested for scale adaptive tracking, few studies have been given to handle the aspect ratio variation for CF trackers. In this paper, we make the first attempt to address this issue by introducing a family of 1D boundary CFs to localize the left, right, top, and bottom boundaries in videos. This allows us cope with the aspect ratio variation flexibly during tracking. Specifically, we present a novel tracking model to integrate 1D Boundary and 2D Center CFs (IBCCF) where boundary and center filters are enforced by a near-orthogonality regularization term. To optimize our IBCCF model, we develop an alternating direction method of multipliers. Experiments on several datasets show that IBCCF can effectively handle aspect ratio variation, and achieves state-of-the-art performance in terms of accuracy and robustness.


title: Flavour alignment in multi-Higgs-doublet models

abstract: Extended electroweak scalar sectors containing several doublet multiplets require flavour-aligned Yukawa matrices to prevent the appearance at tree level of unwanted flavour- changing neutral-current transitions. We analyse the misalignment induced by one-loop quantum corrections and explore possible generalizations of the alignment condition and their compatibility with current experimental constraints. The hypothesis of flavour alignment at a high scale turns out to be consistent with all known phenomenological tests.


title: Civil Asset Forfeiture: A Judicial Perspective

abstract: Civil Asset Forfeiture (CAF) is a longstanding and controversial legal process viewed on the one hand as a powerful tool for combating drug crimes and on the other hand as a violation of the rights of US citizens. Data used to support both sides of the controversy to date has come from government sources representing records of the events at the time of occurrence. Court dockets represent litigation events initiated following the forfeiture, however, and can thus provide a new perspective on the CAF legal process. This paper will show new evidence supporting existing claims about the growth of the practice and bias in its application based on the quantitative analysis of data derived from these court cases.


title: Persistent Hall rays for Lagrange spectra at cusps of Riemann surfaces

abstract: We study Lagrange spectra at cusps of finite area Riemann surfaces. These spectra are penetration spectra that describe the asymptotic depths of penetration of geodesics in the cusps. Their study is in particular motivated by Diophantine approximation on Fuchsian groups. In the classical case of the modular surface and classical Diophantine approximation, Hall proved in 1947 that the classical Lagrange spectrum contains a half-line, known as a Hall ray. We generalize this result to the context of Riemann surfaces with cusps and Diophantine approximation on Fuchsian groups. One can measure excursion into a cusp both with respect to a natural height function or, more generally, with respect to any proper function. We prove the existence of a Hall ray for the Lagrange spectrum of any non co-compact, finite covolume Fuchsian group with respect to any given cusp, both when the penetration is measured by a height function induced by the imaginary part as well as by any proper function close to it with respect to the Lipschitz norm. This shows that Hall rays are stable under (Lipschitz) perturbations. As a main tool, we use the boundary expansion developed by Bowen and Series to code geodesics and produce a geometric continued fraction-like expansion and mimic the key ideas in Hall's original argument. A key element in the proof of the results for proper functions is a generalization of Hall's theorem on the sum of Cantor sets, where we consider functions which are small perturbations in the Lipschitz norm of the sum.


title: One-loop effective potential in the non-local supersymmetric gauge theory

abstract: Using the superfield formalism, we propose a non-local extension of the supersymmetric gauge theory coupled to massless chiral matter. Two different non-local models are considered. For these models, we explicitly calculate the one-loop K\"{a}lerian effective potential.


title: A comparison of control strategies applied to a pricing problem in retail

abstract: When sales of a product are affected by randomness in demand, retailers can use dynamic pricing strategies to maximise their profits. In this article the pricing problem is formulated as a stochastic optimal control problem, where the optimal policy can be found by solving the associated Bellman equation. The aim is to investigate Approximate Dynamic Programming algorithms for this problem. For realistic retail applications, modelling the problem and solving it to optimality is intractable. Thus practitioners make simplifying assumptions and design suboptimal policies, but a thorough investigation of the relative performance of these policies is lacking. To better understand such assumptions, we simulate the performance of two algorithms on a one-product system. It is found that for more than half of the realisations of the random disturbance, the often-used, but approximate, Certainty Equivalent Control policy yields larger profits than an optimal, maximum expected-value policy. This approximate algorithm, however, performs significantly worse in the remaining realisations, which colloquially can be interpreted as a more risk-seeking attitude by the retailer. Another policy, Open-Loop Feedback Control, is shown to work well as a compromise between the Certainty Equivalent Control and the optimal policy.


title: Antibaryon interactions with the nuclear medium

abstract: This contribution deals with our recent study of antibaryon interactions with the nuclear medium within the relativistic mean-field approach using antibaryon coupling constants consistent with available experimental data. We performed calculations of $\bar{B}$ ($\bar{B}=\bar{p}, \bar{\Lambda}, \bar{\Sigma}, \bar{\Xi}$) bound states in selected nuclei. Due to the lack of information on the in-medium antihyperon annihilation near threshold only the $\bar{p}$ absorption was considered. It was described by the imaginary part of a phenomenological optical potential fitted to $\bar{p}$-atom data. The annihilation was treated dynamically, taking into account explicitly the reduced phase space for annihilation products in the nuclear medium, as well as the compressed nuclear density due to the antiproton. The energy available for the annihilation products was evaluated self-consistently, considering additional energy shift due to particle momenta in the ${\bar p}$-nucleus system. Corresponding $\bar{p}$ widths were significantly reduced, however, they still remain sizable. Next, the $\bar{p}$-nucleus interaction was constructed using the latest version of the Paris $\bar{N}N$ potential. Related scattering amplitudes were used to define the complex $\bar{p}$ optical potential in the nuclear medium. The resulting $\bar{p}$ $1s$ binding energies are about 10% smaller and widths about 20% larger than those obtained with the phenomenological approach.


title: Parameter Uncertainty in the Kalman-Bucy Filter

abstract: In standard treatments of stochastic filtering one first has to estimate the values of the parameters of the model. Simply running the filter without considering the reliability of this estimate does not take into account this additional source of statistical uncertainty. We propose an approach to address this problem when working with the continuous-time Kalman-Bucy filter. We show how our approach may be reformulated as an optimal control problem, and proceed to analyse the corresponding value function in some detail. In particular we present a novel uniqueness result for the associated Hamilton-Jacobi-Bellman equation.


title: Symplectic dynamics of contact isotropic torus complements

abstract: We determine the homotopy type of isotropic torus complements in closed contact manifolds in terms of Reeb dynamics of special contact forms. For that we utilize holomorphic curve techniques known from symplectic field theory as Gromov-Hofer compactness and localized transversality on non-compact contact manifolds.


title: Tightness of a new and enhanced semidefinite relaxation for MIMO detection

abstract: In this paper, we consider a fundamental problem in modern digital communications known as multi-input multi-output (MIMO) detection, which can be formulated as a complex quadratic programming problem subject to unit-modulus and discrete argument constraints. Various semidefinite relaxation (SDR) based algorithms have been proposed to solve the problem in the literature. In this paper, we first show that the conventional SDR is generally not tight for the problem. Then, we propose a new and enhanced SDR and show its tightness under an easily checkable condition, which essentially requires the level of the noise to be below a certain threshold. The above results have answered an open question posed by So in [35]. Numerical simulation results show that our proposed SDR significantly outperforms the conventional SDR in terms of the relaxation gap.


title: A method for unbounded verification of privacy-type properties

abstract: In this paper, we consider the problem of verifying anonymity and unlinkability in the symbolic model, where protocols are represented as processes in a variant of the applied pi calculus, notably used in the ProVerif tool. Existing tools and techniques do not allow to verify directly these properties, expressed as behavioral equivalences. We propose a different approach: we design two conditions on protocols which are sufficient to ensure anonymity and unlinkability, and which can then be effectively checked automatically using ProVerif. Our two conditions correspond to two broad classes of attacks on unlinkability, i.e. data and control-flow leaks. This theoretical result is general enough that it applies to a wide class of protocols based on a variety of cryptographic primitives. In particular, using our tool, UKano, we provide the first formal security proofs of protocols such as BAC and PACE (e-passport), Hash-Lock (RFID authentication), etc. Our work has also lead to the discovery of new attacks, including one on the LAK protocol (RFID authentication) which was previously claimed to be unlinkable (in a weak sense).


title: Characterizations of generalized John domains in $\mathbb{R}^n$ via metric duality

abstract: In this paper, we extend the characterization of John disks obtained by N\"akki and V\"ais\"al\"a [Exp. Math. 1991] to generalized John domains in higher dimensions under mild assumptions. The main ingredient in this characterization is to use the higher dimensional analogues of the local linear connectivity (LLC) and homological bounded turning properties introduced by V\"ais\"al\"a in his study of metric duality theory [Math. Scan. 1997]. Somewhat surprisingly, we constructed a uniform domain in $\R^3$, which is topologically simple, such that the complementary domain fails to be homotopically $1$-bounded turning. In particular, this shows that a similar characterization of generalized John domains in terms of higher dimensional homotopic bounded turning does not hold in dimension three.


title: Stochastic model for the 3D microstructure of pristine and cyclically aged cathodes in Li-ion batteries

abstract: It is well-known that the microstructure of electrodes in lithium-ion batteries strongly affects their performance. Vice versa, the microstructure can exhibit strong changes during the usage of the battery due to aging effects. For a better understanding of these effects, mathematical analysis and modeling has turned out to be of great help. In particular, stochastic 3D microstructure models have proven to be a powerful and very flexible tool to generate various kinds of particle-based structures. Recently, such models have been proposed for the microstructure of anodes in lithium-ion energy and power cells. In the present paper, we describe a stochastic modeling approach for the 3D microstructure of cathodes in a lithium-ion energy cell, which differs significantly from the one observed in anodes. The model for the cathode data enhances the ideas of the anode models, which have been developed so far. It is calibrated using 3D tomographic image data from pristine as well as two aged cathodes. A validation based on morphological image characteristics shows that the model is able to realistically describe both, the microstructure of pristine and aged cathodes. Thus, we conclude that the model is suitable to generate virtual, but realistic microstructures of lithium-ion cathodes.


title: Superthermal light emission and nontrivial photon statistics in small lasers

abstract: Photon statistical measurements on a semiconductor microlaser, obtained using single-photon counting techniques, show that a newly discovered spontaneous pulsed emission regime possesses superthermal statistical properties. The observed spike dynamics, typical of small-scale devices, is at the origin of an unexpected discordance between the probability density function and its representation in terms of the first moments, a discordance so far unnoticed in all devices. The impact of this new dynamics is potentially large, since coincidence techniques are presently the sole capable of characterizing light emitted by nanolasers.


title: Universal secular form of non-secular master equation

abstract: We develop a more accurate secular form for the Redfield non-secular master equation, which is insensitive to the choice of the basis. This completely solves the ambiguity on which basis should be used when the secular approximation of the Redfield master equation is applied.


title: Rank theorem in infinite dimension and lagrange multipliers

abstract: We use an extension to the infinite dimension of the rank theorem of the differential calculus to establish a Karush-Huhn-Tucker theorem for optimization problems in Banach spaces. We provide an application to variational problems on bounded processus under equality constraints.


title: 3D simulations with boosted primordial power spectra and ultracompact minihalos

abstract: We perform three-dimensional simulations of structure formation in the early Universe, when boosting the primordial power spectrum on approximately kpc scales. We demonstrate that our simulations are capable of producing power-law profiles close to the steep $\rho\propto r^{-9/4}$ halo profiles that are commonly assumed to be a good approximation to ultracompact minihalos (UCMHs). However, we show that for more realistic initial conditions in which halos are neither perfectly symmetric nor isolated, the steep power-law profile is disrupted and we find that the Navarro-Frenk-White profile is a better fit to most halos. In the presence of background fluctuations even extreme, nearly spherical initial conditions do not remain exceptional. Nonetheless, boosting the amplitude of initial fluctuations causes all structures to form earlier and thus at larger densities. With sufficiently large amplitude of fluctuations we find that values for the concentration of typical halos in our simulations can become very large. However, despite the signal coming from dark matter annihilation inside the cores of these halos being enhanced, it is still orders-of-magnitude smaller compared to the usually assumed UCMH profile. The upper bound on the primordial power spectrum from the non-observation of UCMHs should therefore be re-evaluated.


title: Exchange coupling and Mn valency in GaN doped with Mn and co-doped with Mg

abstract: We study 1 or 2 neighboring Mn impurities, as well as complexes of 1 Mn and 1 or 2 Mg ions in a 64 atoms supercell of GaN by means of density functional calculations. Taking into account the electron correlation in the local spin density approximation with explicit correction of the Hubbard term (the LSDA+U method) and full lattice relaxation we determine the nearest neighbor exchange J for a pair of Mn impurities. We find J to be ferromagnetic and of the order of about 18 meV in the Hamiltonian H=-2*J1*J2. That J is only weakly influenced by the U parameter (varying between 2 and 8 eV) and by the lattice relaxation. From a detailed analysis of the magnetization density distribution we get hints for a ferromagnetic super-exchange mechanism. Also the Mn valence was found to be 3+ without any doubt in the absence of co-doping with Mg. Co-doping with Mg leads to a valence change to 4+ for 1 Mg and to 5+ for 2 Mg. We show that the valence change can already be concluded from a careful analysis of the density of states of GaN doped with Mn without any Mg.


title: Smoothness of definite unitary eigenvarieties at critical points

abstract: We compute an upper bound for the dimension of the tangent spaces at classical points of certain eigenvarieties associated with definite unitary groups, especially including the so-called critically refined cases. Our bound is given in terms of "critical types" and when our bound is minimized it matches the dimension of the eigenvariety. In those cases, which we explicitly determine, the eigenvariety is necessarily smooth and our proof also shows that the completed local ring on the eigenvariety is naturally a certain universal Galois deformation ring.


title: Skyline Computation with Noisy Comparisons

abstract: Given a set of $n$ points in a $d$-dimensional space, we seek to compute the skyline, i.e., those points that are not strictly dominated by any other point, using few comparisons between elements. We adopt the noisy comparison model [FRPU94] where comparisons fail with constant probability and confidence can be increased through independent repetitions of a comparison. In this model motivated by Crowdsourcing applications, Groz & Milo [GM15] show three bounds on the query complexity for the skyline problem. We improve significantly on that state of the art and provide two output-sensitive algorithms computing the skyline with respective query complexity $O(nd\log (dk/\delta))$ and $O(ndk\log (k/\delta))$ where $k$ is the size of the skyline and $\delta$ the expected probability that our algorithm fails to return the correct answer. These results are tight for low dimensions.


title: Graphs with equal domination and certified domination numbers

abstract: A set $D$ of vertices of a graph $G$ is a dominating set of $G$ if every vertex in $V_G-D$ is adjacent to at least one vertex in $D$. The domination number (upper domination number, respectively) of a graph $G$, denoted by $\gamma(G)$ ($\Gamma(G)$, respectively), is the cardinality of a smallest (largest minimal, respectively) dominating set of $G$. A subset $D\subseteq V_G$ is called a certified dominating set of $G$ if $D$ is a dominating set of $G$ and every vertex in $D$ has either zero or at least two neighbors in $V_G-D$. The cardinality of a~smallest (largest minimal, respectively) certified dominating set of $G$ is called the certified upper certified, respectively domination number of $G$ and is denoted by $\gamma_{\rm cer}(G)$ ($\Gamma_{\rm cer}(G)$, respectively). In this paper relations between domination, upper domination, certified domination and upper certified domination numbers of a graph are studied.


title: On the best Hardy constant for quasi-arithmetic means and homogeneous deviation means

abstract: The aim of this paper is to characterize the so-called Hardy means, i.e., those means $M\colon\bigcup_{n=1}^\infty \mathbb{R}_+^n\to\mathbb{R}_+$ that satisfy the inequality $$ \sum_{n=1}^\infty M(x_1,\dots,x_n) \le C\sum_{n=1}^\infty x_n $$ for all positive sequences $(x_n)$ with some finite positive constant $C$. The smallest constant $C$ satisfying this property is called the Hardy constant of the mean $M$. In this paper we determine the Hardy constant in the cases when the mean $M$ is either a concave quasi-arithmetic or a concave and homogeneous deviation mean.


title: Analysis of the $B^+\to J/\psi \phi K^+$ data at low $J/\psi \phi$ invariant masses and the $X(4140)$ and $X(4160)$ resonances

abstract: We have studied the $J/\psi \phi$ mass distribution of the $B^+\to J/\psi\phi K^+$ reaction from threshold to about 4250 MeV, and find that one needs the contribution of the $X(4140)$ with a narrow width, together with the $X(4160)$ which accounts for most of the strength of the distribution in that region. The existence of a clear cusp at the $D_s^* \bar{D}_s^*$ threshold indicates that the $X(4160)$ resonance is strongly tied to the $D_s^* \bar{D}_s^*$ channel, which finds a natural interpretation in the molecular picture of this resonance.


title: Lepton Flavor Violation with Displaced Vertices

abstract: If light new physics with lepton-flavor-violating couplings exists, the prime discovery channel might not be $\ell\to\ell'\gamma$ but rather $\ell\to\ell' X$, where the new boson $X$ could be an axion, majoron, familon or Z' gauge boson. The most conservative bound then comes from $\ell\to\ell'+\mathrm{inv}$, but if the on-shell $X$ can decay back into leptons or photons, displaced-vertex searches could give much better limits. We show that only a narrow region in parameter space allows for displaced vertices in muon decays, $\mu\to e X, X\to \gamma\gamma, ee$, whereas tauon decays can have much more interesting signatures.