title: Gravitational waves from dark first order phase transitions and dark photons

abstract: Cold Dark Matter particles may interact with ordinary particles through a dark photon, which acquires a mass thanks to a spontaneous symmetry breaking mechanism. We discuss a dark photon model in which the scalar singlet associated to the spontaneous symmetry breaking has an effective potential that induces a first order phase transition in the early Universe. Such a scenario provides a rich phenomenology for electron-positron colliders and gravitational waves interferometers, and may be tested in several different channels. The hidden first order phase transition implies the emission of gravitational waves signals, which may constrain the dark photon's space of parameters. Compared limits from electron-positron colliders, astrophysics, cosmology and future gravitational waves interferometers such as eLISA, U-DECIGO and BBO are discussed. This highly motivates a {\it cross-checking strategy} of data arising from experiments dedicated to gravitational waves, meson factories, the International Linear Collider (ILC), the Circular Electron Positron Collider (CEPC) and other underground direct detection experiments of cold dark matter candidates.


title: Vacuum non-linear electrodynamic polarization effects in hard emission of pulsars and magnetars

abstract: The non-linear electrodynamics influence of pulsar magnetic field on the electromagnetic pulse polarization is discussed from the point of observation interpretation. The calculations of pulsar magnetic field impact on electromagnetic pulse polarization are made in such a way to make it easier to interpret these effects in space experiments. The law of hard emission pulse propagation in the pulsar magnetic field according to the vacuum non-linear electrodynamics is obtained. It was shown, that due to the birefringence in the vacuum the front part of any hard emission pulse coming from a pulsar should be linearly polarized and the rest of pulse can have arbitrary polarization. Observational possibilities of vacuum birefringence are discussed. The estimations of detector parameters such as effective area, exposure time and necessity of polarization measurements with high accuracy are given. The combination of large area and extremely long exposure time gives the good opportunity to search the fine polarization effects like vacuum non-linear electrodynamics birefringence.


title: New quantitative nitrogen abundance estimations in a sample of Seyfert 2 Active Galactic Nuclei

abstract: We obtained new quantitative determinations of the nitrogen abundance and a consistent relation between nitrogen and oxygen abundances for a sample of Seyfert 2 galaxies located at redshift $z < 0.1$. We carried out this analysis using the Cloudy code to build detailed photoionization models. We were able to reproduce observed optical narrow emission line intensities for 44 sources compiled from the literature. Our results show that Seyfert 2 nuclei have nitrogen abundances ranging from $\sim0.3$ to $\sim 7.5$ times the solar value. We derived the relation $\rm \log(N/H)=1.05 (\pm0.09) \times [\log(O/H)] -0.35 (\pm 0.33$). Results for N/O vs. O/H abundance ratios derived for Seyfert 2 galaxies are in consonance with those recently derived for a sample of extragalactic disk HII regions with high metallicity.


title: Excesses of muon $g-2$, $R_{D^{(\ast)}}$, and $R_K$ in a leptoquark model

abstract: In this study, we investigate muon $g-2$, $R_{K^{(*)}}$, and $R_{D^{(*)}}$ anomalies in a specific model with one doublet, one triplet, and one singlet scalar leptoquark (LQ). When the strict limits from the $\ell' \to \ell \gamma$, $\Delta B=2$, $B_{s}\to \mu^+ \mu^-$, and $B^+ \to K^+ \nu \bar\nu$ processes are considered, it is difficult to use one scalar LQ to explain all of the anomalies due to the strong correlations among the constraints and observables. After ignoring the constraints and small couplings, the muon $g-2$ can be explained by the doublet LQ alone due to the $m_t$ enhancement, whereas the measured and unexpected smaller $R_{K^{(*)}}$ requires the combined effects of the doublet and triplet LQs, and the $R_D$ and $R_{D^*}$ excesses depend on the singlet LQ through scalar- and tensor-type interactions.


title: The ALMA-PILS survey: Detection of CH$_{3}$NCO toward the low-mass protostar IRAS 16293-2422 and laboratory constraints on its formation

abstract: Methyl isocyanate (CH$_{3}$NCO) belongs to a select group of interstellar molecules considered to be relevant precursors in the formation of larger organic compounds, including those with peptide bonds. The molecule has only been detected in a couple of high-mass protostars and potentially on comets. A formation route on icy grains has been postulated for this molecule but experimental evidence is lacking. Here we extend the range of environments where methyl isocyanate is found, and unambiguously identify CH$_{3}$NCO through the detection of 43 unblended transitions in the ALMA Protostellar Interferometric Line Survey (PILS) of the low mass solar-type protostellar binary IRAS 16293-2422. The molecule is detected toward both components of the binary with a ratio HNCO/CH$_3$NCO $\sim$4--12. The isomers CH$_{3}$CNO and CH$_3$OCN are not identified, resulting in upper abundance ratios of CH$_{3}$NCO/CH$_{3}$CNO > 100 and CH$_{3}$NCO/CH$_3$OCN > 10. The resulting abundance ratios compare well with those found for related N-containing species toward high-mass protostars. To constrain its formation, a set of cryogenic UHV experiments is performed. VUV irradiation of CH$_{4}$:HNCO mixtures at 20 K strongly indicate that methyl isocyanate can be formed in the solid-state through CH$_{3}$ and (H)NCO recombinations. Combined with gas-grain models that include this reaction, the solid-state route is found to be a plausible scenario to explain the methyl isocyanate abundances found in IRAS 16293-2422.


title: Doping-induced superconductivity of ZrB$_2$ and HfB$_2$

abstract: Unlike the widely studied $s$-type two-gap superconductor MgB$_2$, the chemically similar compounds ZrB$_2$ and HfB$_2$ do not superconduct above 1 K. Yet, it has been shown that small amounts of self- or extrinsic doping (in particular with vanadium), can induce superconductivity in these materials. Based on results of different macro- and microscopic measurements, including magnetometry, nuclear magnetic resonance (NMR), resistivity, and muon-spin rotation ($\mu$SR), we present a comparative study of Zr$_{0.96}$V$_{0.04}$B$_2$ and Hf$_{0.97}$V$_{0.03}$B$_2$. Their key magnetic and superconducting features are determined and the results are considered within the theoretical framework of multiband superconductivity proposed for MgB$_2$. Detailed Fermi surface (FS) and electronic structure calculations reveal the difference between MgB$_2$ and transition-metal diborides.


title: Abductive, Causal, and Counterfactual Conditionals Under Incomplete Probabilistic Knowledge

abstract: We study abductive, causal, and non-causal conditionals in indicative and counterfactual formulations using probabilistic truth table tasks under incomplete probabilistic knowledge (N = 80). We frame the task as a probability-logical inference problem. The most frequently observed response type across all conditions was a class of conditional event interpretations of conditionals; it was followed by conjunction interpretations. An interesting minority of participants neglected some of the relevant imprecision involved in the premises when inferring lower or upper probability bounds on the target conditional/counterfactual ("halfway responses"). We discuss the results in the light of coherence-based probability logic and the new paradigm psychology of reasoning.


title: Counterfactuals, indicative conditionals, and negation under uncertainty: Are there cross-cultural differences?

abstract: In this paper we study selected argument forms involving counterfactuals and indicative conditionals under uncertainty. We selected argument forms to explore whether people with an Eastern cultural background reason differently about conditionals compared to Westerners, because of the differences in the location of negations. In a 2x2 between-participants design, 63 Japanese university students were allocated to four groups, crossing indicative conditionals and counterfactuals, and each presented in two random task orders. The data show close agreement between the responses of Easterners and Westerners. The modal responses provide strong support for the hypothesis that conditional probability is the best predictor for counterfactuals and indicative conditionals. Finally, the grand majority of the responses are probabilistically coherent, which endorses the psychological plausibility of choosing coherence-based probability logic as a rationality framework for psychological reasoning research.


title: Distinguishing between Communicating Transactions

abstract: Communicating transactions is a form of distributed, non-isolated transactions which provides a simple construct for building concurrent systems. In this paper we develop a logical framework to express properties of the observable behaviour of such systems. This comprises three nominal modal logics which share standard communication modalities but have distinct past and future modalities involving transactional commits. All three logics have the same distinguishing power over systems because their associated weak bisimulations coincide with contextual equivalence. Furthermore, they are equally expressive because there are semantics-preserving translations between their formulae. Using the logics we can clearly exhibit subtle example inequivalences. This work presents the first property logics for non-isolated transactions.


title: Distinct turbulence saturation regimes in stellarators

abstract: In the complex 3D magnetic fields of stellarators, ion-temperature-gradient turbulence is shown to have two distinct saturation regimes, as revealed by petascale numerical simulations, and explained by a simple turbulence theory. The first regime is marked by strong zonal flows, and matches previous observations in tokamaks. The newly observed second regime, in contrast, exhibits small- scale quasi-two-dimensional turbulence, negligible zonal flows, and, surprisingly, a weaker heat flux scaling. Our findings suggest that key details of the magnetic geometry control turbulence in stellarators.


title: Decomposable polynomials in second order linear recurrence sequences

abstract: We study elements of second order linear recurrence sequences $(G_n)_{n= 0}^{\infty}$ of polynomials in $\mathbb{C}[x]$ which are decomposable, i.e. representable as $G_n=g\circ h$ for some $g, h\in \mathbb{C}[x]$ satisfying $\operatorname{deg}g,\operatorname{deg}h>1$. Under certain assumptions, and provided that $h$ is not of particular type, we show that $\operatorname{deg}g$ may be bounded by a constant independent of $n$, depending only on the sequence.


title: Linewidth enhancement factor measurement based on FM-modulated optical injection: application to rare-earth doped active medium

abstract: A new method for measuring the linewidth enhancement factor of a laser is proposed. It is based on frequency-modulated optical injection, combined with dual-frequency laser operation. The linewidth enhancement factor {\alpha} is deduced from the experimental data using a theoretical analysis based on a standard rate equation model. As the intracavity power is kept constant, the method allows to free the process from the thermal effects that are usually present in AM/FM techniques. Measurement of {\alpha}=0.28$\pm$0.04 in a diode-pumped Nd:YAG laser demonstrates that the method is well-suited for characterizing small values of {\alpha}.


title: On the scaling of ion and electron temperature gradient driven turbulence in slab geometry

abstract: We demonstrate that the scaling properties of slab ion and electron temperature gradient driven turbulence may be derived by dimensional analysis of a drift kinetic system with one kinetic species. These properties have previously been observed in gyrokinetic simulations of turbulence in magnetic fusion devices.


title: Long- and short-range interaction footprints in entanglement entropies of two-particle Wigner molecules in 2D quantum traps

abstract: The occupancies and entropic entanglement measures for the ground state of two particles in a two-dimensional harmonic anisotropic trap are studied. We implement a method to study the large interaction strength limit for different short- and long-range interaction potentials that allows to obtain the exact entanglement spectrum and several entropies. We show that for long-range interactions, the von Neumann, min-entropy and the family of R\'enyi entropies remain finite for the anisotropic traps and diverge logarithmically for the isotropic traps. In the short-range interaction case the entanglement measures diverge for any anisotropic parameter due to the divergence of uncertainty in the momentum since for short-range interactions the relative position width vanishes. We also show that when the reduced density matrix has finite support the R\'enyi entropies present a non-analytical behaviour.


title: Does Nash Envy Immunity

abstract: The most popular stability notion in games should be Nash equilibrium under the rationality of players who maximize their own payoff individually. In contrast, in many scenarios, players can be (partly) irrational with some unpredictable factors. Hence a strategy profile can be more robust if it is resilient against certain irrational behaviors. In this paper, we propose a stability notion that is resilient against envy. A strategy profile is said to be envy-proof if each player cannot gain a competitive edge with respect to the change in utility over the other players by deviation. Together with Nash equilibrium and another stability notion called immunity, we show how these separate notions are related to each other, whether they exist in games, and whether and when a strategy profile satisfying these notions can be efficiently found. We answer these questions by starting with the general two player game and extend the discussion for the approximate stability and for the corresponding fault-tolerance notions in multi-player games.


title: A topological lower bound for the energy of a unit vector field on a closed Euclidean hypersurface

abstract: For a unit vector field on a closed immersed Euclidean hypersurface $M^{2n+1}$, $n\geq 1$, we exhibit a nontrivial lower bound for its energy which depends on the degree of the Gauss map of the immersion. When the hypersurface is the unit sphere $\mathbb{S}^{2n+1}$, immersed with degree one, this lower bound corresponds to a well established value from the literature. We introduce a list of functionals $\mathcal{B}_k$ on a compact Riemannian manifold $M^{m}$, $1\leq k\leq m$, and show that, when the underlying manifold is a closed hypersurface, these functionals possess similar properties regarding the degree of the immersion. In addition, we prove that Hopf flows minimize $\mathcal{B}_n$ on $\mathbb{S}^{2n+1}$.


title: A non-perturbative study of matter field propagators in Euclidean Yang-Mills theory in linear covariant, Curci-Ferrari and maximal Abelian gauges

abstract: In this work, we study the propagators of matter fields within the framework of the Refined Gribov-Zwanziger theory, which takes into account the effects of the Gribov copies in the gauge-fixing quantization procedure of Yang-Mills theory. In full analogy with the pure gluon sector of the Refined Gribov-Zwanziger action, a non-local long-range term in the inverse of the Faddeev-Popov operator is added in the matter sector. Making use of the recent BRST invariant formulation of the Gribov-Zwanziger framework achieved in [Capri et al 2016], the propagators of scalar and quark fields in the adjoint and fundamental representations of the gauge group are worked out explicitly in the linear covariant, Curci-Ferrari and maximal Abelian gauges. Whenever lattice data are available, our results exhibit good qualitative agreement.


title: Notes on modified trace distance measure of coherence

abstract: We investigate the modified trace distance measure of coherence recently introduced in [Phys. Rev. A 94, 060302(R) (2016)]. We show that for any single-qubit state, the modified trace norm of coherence is equal to the $l_{1}$-norm of coherence. For any $d$-dimensional quantum system, an analytical formula of this measure for a class of maximally coherent mixed states is provided. The trade-off relation between the coherence quantified by the new measure and the mixedness quantified by the trace norm is also discussed. Furthermore, we explore the relation between the modified trace distance measure of coherence and other measures such as the $l_{1}$-norm of coherence and the geometric measure of coherence.


title: Explicit cocycle formulas on finite abelian groups with applications to braided linear Gr-categories and Dijkgraaf-Witten invariants

abstract: We provide explicit and unified formulas for the cocycles of all degrees on the normalized bar resolutions of finite abelian groups. This is achieved by constructing a chain map from the normalized bar resolution to a Koszul-like resolution for any given finite abelian group. With a help of the obtained cocycle formulas, we determine all the braided linear Gr-categories and compute the Dijkgraaf-Witten Invariants of the $n$-torus for all $n$.


title: Improved predictions for intermediate and heavy Supersymmetry in the MSSM and beyond

abstract: For a long time, the minimal supersymmetric standard model (MSSM) with light masses for the supersymmetric states was considered as the most natural extension of the Standard Model of particle physics. Consequently, a valid approximation was to match the MSSM to the precision measurement directly at the electroweak scale. This approach was also utilized by all dedicated spectrum generators for the MSSM. However, the higher the supersymmetric (SUSY) scale is, the bigger the uncertainties which are introduced by this matching. We point out important consequences of a two-scale matching, where the running parameters within the SM are calculated at $M_Z$ and evaluated up to the SUSY scale, where they are matched to the full model. We show the impact on gauge coupling unification as well as the SUSY mass spectrum. Also the Higgs mass prediction for large supersymmetric masses has been improved by performing the calculation within an effective SM. The approach presented here is now also available in the spectrum generator SPheno. Moreover, also SARAH was extended accordingly and gives the possibility to study these effects now in many different supersymmetric models.


title: Lower Bounds on Nonnegative Signed Domination Parameters in Graphs

abstract: Let $1 \leq k \leq n$ be a positive integer. A {\em nonnegative signed $k$-subdominating function} is a function $f:V(G) \rightarrow \{-1,1\}$ satisfying $\sum_{u\in N_G[v]}f(u) \geq 0$ for at least $k$ vertices $v$ of $G$. The value $\min\sum_{v\in V(G)} f(v)$, taking over all nonnegative signed $k$-subdominating functions $f$ of $G$, is called the {\em nonnegative signed $k$-subdomination number} of $G$ and denoted by $\gamma^{NN}_{ks}(G)$. When $k=|V(G)|$, $\gamma^{NN}_{ks}(G)=\gamma^{NN}_s(G)$ is the {\em nonnegative signed domination number}, introduced in \cite{HLFZ}. In this paper, we investigate several sharp lower bounds of $\gamma^{NN}_s(G)$, which extend some presented lower bounds on $\gamma^{NN}_s(G)$. We also initiate the study of the nonnegative signed $k$-subdomination number in graphs and establish some sharp lower bounds for $\gamma^{NN}_{ks}(G)$ in terms of order and the degree sequence of a graph $G$.


title: Designing spin and orbital exchange Hamiltonians with ultrashort electric field transients

abstract: We demonstrate how electric fields with arbitrary time profile can be used to control the time-dependent parameters of spin and orbital exchange Hamiltonians. Analytic expressions for the exchange constants are derived from a time-dependent Schrieffer-Wolff transformation, and the validity of the resulting effective Hamiltonian is verified for the case of a quarter-filled two-orbital Hubbard model, by comparing to the results of a full nonequilibrium dynamical mean-field theory simulation. The ability to manipulate Hamiltonians with arbitrary time-dependent fields, beyond the paradigm of Floquet engineering, opens the possibility to control intertwined spin and orbital order using laser or THz pulses which are tailored to minimize electronic excitations.


title: Spin-glass transition in the Ising model on multiplex networks

abstract: Multiplex networks consist of a fixed set of nodes connected by several sets of edges which are generated separately and correspond to different networks ("layers"). Here, the Ising model on multiplex networks with two layers is considered, with spins located in the nodes and edges corresponding to ferromagnetic or antiferromagnetic interactions between them. Critical temperatures for the spin glass and ferromagnetic transitions are evaluated for the layers in the form of random Erd\"os-R\'enyi graphs or heterogeneous scale-free networks using the replica method, from the replica symmetric solution. For the Ising model on multiplex networks with scale-free layers it is shown that the critical temperature is finite if the distributions of the degrees of nodes within both layers have a finite second moment, and that depending on the model parameters the transition can be to the ferromagnetic or spin glass phase. It is also shown that the correlation between the degrees of nodes within different layers significantly influences the critical temperatures for both transitions and thus the phase diagram. The scaling behavior for the spin glass order parameter is determined by a semi-analytic procedure and it is shown that for the Ising model on multiplex networks with scale-free layers the scaling exponent can depend on the distributions of the degrees of nodes within layers. The analytic results are partly confirmed by Monte Carlo simulations using the parallel tempering algorithm.


title: Coble's group and the integrability of the Gosset-Elte polytopes and tessellations

abstract: This paper considers the planar figure of a combinatorial polytope or tessellation identified by the Coxeter symbol $k_{i,j}$ , inscribed in a conic, satisfying the geometric constraint that each octahedral cell has a centre. This realisation exists, and is movable, on account of some constraints being satisfied as a consequence of the others. A close connection to the birational group found originally by Coble in the different context of invariants for sets of points in projective space, allows to specify precisely a determining subset of vertices that may be freely chosen. This gives a unified geometric view of certain integrable discrete systems in one, two and three dimensions. Making contact with previous geometric accounts in the case of three dimensions, it is shown how the figure also manifests as a configuration of circles generalising the Clifford lattices, and how it can be applied to construct the spatial point-line configurations called the Desargues maps.


title: Composite operators in functional renormalization group approach

abstract: The gauge dependence problem of the effective action for general gauge theories in the framework of a modified functional renormalization group approach proposed recently is studied. It is shown that the effective action remains gauge-dependent on-shell.


title: ALMA survey of massive cluster progenitors from ATLASGAL. Limited fragmentation at the early evolutionary stage of massive clumps

abstract: The early evolution of massive cluster progenitors is poorly understood. We investigate the fragmentation properties from 0.3 pc to 0.06 pc scales of a homogenous sample of infrared-quiet massive clumps within 4.5 kpc selected from the ATLASGAL survey. Using the ALMA 7m array we detect compact dust continuum emission towards all targets, and find that fragmentation, at these scales, is limited. The mass distribution of the fragments uncovers a large fraction of cores above 40 $M_\odot$, corresponding to massive dense cores (MDCs) with masses up to ~400 $M_\odot$. 77 % of the clumps contain at most 3 MDCs per clump, and we also reveal single clumps/MDCs. The most massive cores are formed within the more massive clumps, and a high concentration of mass on small scales reveals a high core formation efficiency. The mass of MDCs highly exceeds the local thermal Jeans-mass, and observational evidence is lacking for a sufficiently high level of turbulence or strong enough magnetic fields to keep the most massive MDCs in equilibrium. If already collapsing, the observed fragmentation properties with a high core formation efficiency are consistent with the collapse setting in at parsec scales.


title: Heteroclinic switching between chimeras

abstract: Functional oscillator networks, such as neuronal networks in the brain, exhibit switching between metastable states involving many oscillators. We give exact results how such global dynamics can arise in paradigmatic phase oscillator networks: higher-order network interaction gives rise to metastable chimeras - localized frequency synchrony patterns - which are joined by heteroclinic connections. Moreover, we illuminate the mechanisms that underly the switching dynamics in these experimentally accessible networks.


title: Dark matter in U(1) extensions of the MSSM with gauge kinetic mixing

abstract: The gauge kinetic mixing in general is allowed in models with multiple Abelian gauge groups. In this paper, we investigate the gauge kinetic mixing in the framework of $U(1)$ extensions of the MSSM. It enlarges the viable parameter space, and has an important effect on the particle mass spectrum as well as the $Z_2$ coupling with matters. The SM-like Higgs boson mass can be enhanced with a nonzero kinetic mixing parameter and the muon $g-2$ tension is slightly less severe than in the case of no mixing. We present the results from both benchmark analysis and global parameter scan. Various theoretical and phenomenological constraints have been considered. The recent LHC searches for the $Z_2$ boson are important for the case of large positive kinetic mixing where the $Z_2$ coupling is enhanced, and severely constrain scenarios with $M_{Z_2} < 2.8$ TeV. The viable dark matter candidate predicted by the model is either the neutralino or the right-handed sneutrino. Cosmological constraints from dark matter searches play a significant role in excluding the parameter space. Portions of the parameter space with relatively low sparticle mass spectrum can be successfully explored in the LHC run-2 as well as future linear colliders and dark matter searches.


title: Intersection of maximal subgroups in prosolvable groups

abstract: Let $H$ be an open subgroup of a profinite group that can be expressed as intersection of maximal subgroups of $G.$ Given a positive real number $\eta,$ we say that $H$ is an $\eta$-intersection if there exists a family of maximal subgroups $M_1,\ldots,M_t$ such that $H=M_1\cap\ldots\cap M_t$ and $|G:M_1|\cdots|G:M_t|\le |G:H|^{\eta}$. We investigate the meaning of this property and its influence on the group structure.


title: High-power frequency comb source tunable from 2.7 to 4.2 {\mu}m based on difference frequency generation pumped by an Yb-doped fiber laser

abstract: We demonstrate a broadband mid-infrared (MIR) frequency comb source based on difference frequency generation (DFG) in periodically poled lithium niobate (PPLN) crystal. Mid-infrared radiation is obtained via mixing of the output of a 125 MHz repetition rate Yb-doped fiber laser with Raman-shifted solitons generated from the same source in a highly nonlinear fiber. The resulting idler is tunable in the range of 2.7 - 4.2 {\mu}m with average output power reaching 237 mW, and pulses as short as 115 fs. The coherence of the MIR comb is confirmed by spectral interferometry and heterodyne beat measurements. Applicability of the developed DFG source for laser spectroscopy is demonstrated by measuring absorption spectrum of acetylene at 3.0 - 3.1 {\mu}m.


title: Estimating the chromospheric magnetic field from a revised NLTE modeling: the case of HR7428

abstract: In this work we use the semi-empirical atmospheric modeling method to obtain the chro-mospheric temperature, pressure, density and magnetic field distribution versus height in the K2 primary component of the RS CVn binary system HR 7428. While temperature, pressure, density are the standard output of the semi-empirical modeling technique, the chromospheric magnetic field estimation versus height comes from considering the possibility of not im-posing hydrostatic equilibrium in the semi-empirical computation. The stability of the best non-hydrostatic equilibrium model, implies the presence of an additive (toward the center of the star) pressure, that decreases in strength from the base of the chromosphere toward the outer layers. Interpreting the additive pressure as magnetic pressure we estimated a magnetic field intensity of about 500 gauss at the base of the chromosphere.


title: A Test of the Neutron Star Hypothesis for Fomalhaut b

abstract: Fomalhaut b is a directly imaged object in the debris disk of the star Fomalhaut. It has been hypothesized to be a planet, however there are issues with the observed colours of the object that do not fit planetary models. An alternative hypothesis is that the object is a neutron star in the near fore- or background of Fomalhaut's disk. We test if Fomalhaut b could be a neutron star using X-ray observations with Chandra's HRC-I instrument in the energy range of 0.08-10 keV. We do not detect X-ray emission from either Fomalhaut b or the star Fomalhaut itself. Our nondetection corresponds to an upper limit on the X-ray flux of Fomalhaut b of F_X < 1.3e-14 erg/cm/s^2 in the energy range 0.08-10 keV. For the A-type central star Fomalhaut, we derive an X-ray upper limit of L_X < 2e25 erg/s in the energy range 0.08-10 keV. Fomalhaut b's X-ray non-detection constrains the parameter space for a possible neutron star significantly, implying surface temperatures lower than 91000 K and distances closer than 13.3 pc to the solar system. In addition we find that reflected starlight from the central star fits the available optical detections of Fomalhaut b; a smaller planet with a large ring system might explain such a scenario.


title: On the abscissas of convergence of Dirichlet series

abstract: For the Dirichlet series of the form $\displaystyle F(z,\omega)=\sum\nolimits_{k=0}^{+\infty} f_k(\omega)e^{z\lambda_k(\omega)} $ $ (z\in\mathbb{C},$ $\omega\in\Omega)$ with pairwise independent real exponents $(\lambda_k(\omega))$ on probability space $(\Omega,\mathcal{A},P)$ an estimates of abscissas convergence and absolutely convergence are established.


title: Nanoscale Seebeck effect at hot metal nanostructures

abstract: We theoretically study the electrolyte Seebeck effect in the vicinity of a heated metal nanostructure, such as the cap of an active Janus colloid in an electrolyte, or gold- coated interfaces in optofluidic devices. The thermocharge accumulated at the surface varies with the local temperature, thus modulating the diffuse part of the electric double layer. On a conducting surface with non-uniform temperature, the isopotential condition imposes a significant polarization charge within the metal. Surprisingly, this does not affect the slip velocity, which takes the same value on insulating and conducting surfaces. Our results for specific-ion effects agree qualitatively with recent observations for Janus colloids in different electrolyte solutions. Comparing the thermal, hydrodynamic, and ion diffusion time scales, we expect a rich transient behavior at the onset of thermally powered swimming, extending to microseconds after switching on the heating.


title: Scalable simultaneous inference in high-dimensional linear regression models

abstract: The computational complexity of simultaneous inference methods in high-dimensional linear regression models quickly increases with the number variables. This paper proposes a computationally efficient method based on the Moore-Penrose pseudoinverse. Under a symmetry assumption on the available regressors, the estimators are normally distributed and accompanied by a closed-form expression for the standard errors that is free of tuning parameters. We study the numerical performance in Monte Carlo experiments that mimic the size of modern applications for which existing methods are computationally infeasible. We find close to nominal coverage, even in settings where the imposed symmetry assumption does not hold. Regularization of the pseudoinverse via a ridge adjustment is shown to yield possible efficiency gains.


title: Interplay between Coulomb-focusing and non-dipole effects in strong-field ionization with elliptical polarization

abstract: Strong-field ionization and rescattering beyond the long-wavelength limit of the dipole approximation is studied with elliptically polarized mid-IR pulses. We have measured the full three-dimensional photoelectron momentum distributions (3D PMDs) with velocity map imaging and tomographic reconstruction. The ellipticity-dependent 3D-PMD measurements revealed an unexpected sharp, thin line-shaped ridge structure in the polarization plane for low momentum photoelectrons. With classical trajectory Monte Carlo (CTMC) simulations and analytical methods we identified the associated ionization dynamics for this sharp ridge to be due to Coulomb focusing of slow recollisions of electrons with a momentum approaching zero. This ridge is another example of the many different ways how the Coulomb field of the parent ion influences the different parts of the momentum space of the ionized electron wave packet. Building on this new understanding of the PMD, we extend our studies on the role played by the magnetic field component of the laser beam when operating beyond the long-wavelength limit of the dipole approximation. In this regime, we find that the PMD exhibits an ellipticity-dependent asymmetry along the beam propagation direction: the peak of the projection of the PMD onto the beam propagation axis is shifted from negative to positive values with increasing ellipticity. This turnover occurs rapidly once the ellipticity exceeds $\sim$0.1. We identify the sharp, thin line-shaped ridge structure in the polarization plane as the origin of the ellipticity-dependent PMD asymmetry in the beam propagation direction. These results yield fundamental insights into strong-field ionization processes, and should increase the precision of the emerging applications relying on this technique, including time-resolved holography and molecular imaging.


title: Model-independent partial wave analysis using a massively-parallel fitting framework

abstract: The functionality of GooFit, a GPU-friendly framework for doing maximum-likelihood fits, has been extended to extract model-independent S-wave amplitudes in three-body decays such as $D^+ \to h^+h^+h^-$. A full amplitude analysis is done where the magnitudes and phases of the S-wave amplitudes are anchored at a finite number of $m^2(h^+h^-)$ control points, and a cubic spline is used to interpolate between these points. The amplitudes for P-wave and D-wave intermediate states are modeled as spin-dependent Breit-Wigner resonances. GooFit uses the Thrust library, with a CUDA backend for NVIDIA GPUs and an OpenMP backend for threads with conventional CPUs. Performance on a variety of platforms is compared. Executing on systems with GPUs is typically a few hundred times faster than executing the same algorithm on a single CPU.


title: A Tomographic Approach For the Early Detection of 2D Rogue Waves

abstract: In this paper we propose an efficient tomographic approach for the early detection of 2D rogue waves. The method relies on the principle of detecting conical spectral features before rogue wave becomes evident in time. More specifically, the proposed method is based on constructing the 1D Radon transforms of the emerging conical 2D spectra of the wavefield using compressive sampling (CS) and then constructing 2D spectra from those projections using filtered back projection (FBP) algorithm. For the 2D rogue wave models we use the radially symmetric Peregrine soliton and Akhmediev-Peregrine soliton solutions of the nonlinear Schrodinger equation, which can model characteristics of the peaked structure of 2D rogue waves and their conical spectra which may be treated as a sparse signal. We show that emerging conical spectra of 2D rogue waves before they become evident in time can be acquired efficiently by the proposed method.


title: Description of the evolution of inhomogeneities on a Dark Matter halo with the Vlasov equation

abstract: We use a direct numerical integration of the Vlasov equation in spherical symmetry with a background gravitational potential to determine the evolution of a collection of particles in different models of a galactic halo. Such a collection is assumed to represent a dark matter inhomogeneity which reaches a stationary state determined by the virialization of the system. We describe some features of the stationary states and, by using several halo models, obtain distinctive signatures for the evolution of the inhomogeneities in each of the models.


title: A remark on certain integral operators of fractional type

abstract: We study the Hp-Lq boundedness of certain integral operators of fractional type.


title: Geometric Rigidity Estimates for Incompatible Fields in Dimension $\ge$ 3

abstract: We prove geometric rigidity inequalities for incompatible fields in dimension higher than 2. We are able to obtain strong scaling-invariant $L^p$ estimates in the supercritical regime, while for critical exponent $1^* = \frac{n}{n-1}$ we have a scaling invariant inequality only for the weak-$L^1$ norm. Although not optimal, such an estimate in $L^{1 ,\infty}$ is enough in order to infer a useful lemma which gives $BV$ bounds for $SO(n)$-valued fields with bounded Curl.


title: A new class of relativistic model of compact stars of embedding class I

abstract: In the present paper we have constructed a new relativistic anisotropic compact star model having a spherically symmetric metric of embedding class one. Here we have assumed an arbitrary form of metric function and solved the Einstein relativistic field equations with the help of Karmarkar condition for an anisotropic matter distri- bution. The physical properties of our model such as pressure, density, mass function, surface red-shift, gravitational red-shift are investigated and the stability of the stellar configuration is discussed in details. Our model is free from central singularities and satisfies all energy conditions. The model we present here satisfy the static stability criterion.


title: Preorder Construct on Simple Undirected Graphs

abstract: We construct a novel preorder on the set of nodes of a simple undirected graph. We prove that the preorder (induced by the topology of the graph) is preserved, e.g., by the logistic dynamical system (both in discrete and continuous time). Moreover, the underlying equivalence relation of the preorder corresponds to the coarsest equitable partition (CEP). This will further imply that the logistic dynamical system on a graph preserves its coarsest equitable partition. The results provide a nontrivial invariant set for the logistic and the like dynamical systems, as we show. We note that our construct provides a functional characterization for the CEP as an alternative to the pure set theoretical iterated degree sequences characterization. The construct and results presented might have independent interest for analysis on graphs or qualitative analysis of dynamical systems over networks.


title: Characterizing the Nash equilibria of a three-player Bayesian quantum game

abstract: Quantum games with incomplete information can be studied within a Bayesian framework. We consider a version of prisoner's dilemma (PD) in this framework with three players and characterize the Nash equilibria. A variation of the standard PD game is set up with two types of the second prisoner and the first prisoner plays with them with probability p and 1-p respectively. The Bayesian nature of the game manifests in the uncertainty that the first prisoner faces about his opponent's type which is encoded either in a classical probability or in the amplitudes of a wave function. Here, we consider scenarios with asymmetric payoffs between the first and second prisoner for different values of the probability, p, and the entanglement. Our results indicate a class of Nash equilibria (NE) with rich structures, characterized by a phase relationship on the strategies of the players. The rich structure that can be exploited by the referee to set up rules of the game to push the players towards a specific class of NE. These results provide a deeper insight into the quantum advantages of Bayesian games over their classical counterpart.


title: Characterizing the Nash equilibria of three-player Bayesian quantum games

abstract: Quantum games with incomplete information can be studied within a Bayesian framework. We analyze games quantized within the EWL framework [Eisert, Wilkens, and Lewenstein, Phys Rev. Lett. 83, 3077 (1999)]. We solve for the Nash equilibria of a variety of two-player quantum games and compare the results to the solutions of the corresponding classical games. We then analyze Bayesian games where there is uncertainty about the player types in two-player conflicting interest games. The solutions to the Bayesian games are found to have a phase diagram-like structure where different equilibria exist in different parameter regions, depending both on the amount of uncertainty and the degree of entanglement. We find that in games where a Pareto-optimal solution is not a Nash equilibrium, it is possible for the quantized game to have an advantage over the classical version. In addition, we analyze the behavior of the solutions as the strategy choices approach an unrestricted operation. We find that some games have a continuum of solutions, bounded by the solutions of a simpler restricted game. A deeper understanding of Bayesian quantum game theory could lead to novel quantum applications in a multi-agent setting.


title: Introducing the "opacity" for IMPT planning: can it improve robustness and quality of plans?

abstract: Intensity modulated proton therapy (IMPT) provides highly conformal dose distributions through the application of multiple, angularly spaced fields, each applying an ad-hoc pattern of spatially varying particle fluences. In particular, Bragg peaks are simultaneously optimized for all the fields. Once the number and the direction of the fields are set, the dose distribution of the IMPT plan is determined by the dose constraints assigned to specific organs-at-risk (OARs) surrounding the tumour. In this work, we introduce a new feature for the OARs, called "opacity", aimed at improving the quality and the robustness of IMPT plans, by modifying, in the pre-optimization stage, the fluence of the pencil beams, that intersect those structures. The proposed IMPT planning strategy is addressed to those clinical cases, where metallic prothesis or fast density-varying organs can compromise the stability of the dose distribution. We show how the usage of this additional parameter can lead to more accurate IMPT plans with respect to the situation in which only dose constraints are adopted.


title: Veronese varieties contained in hypersurfaces

abstract: Alex Waldron proved that for sufficiently general degree $d$ hypersurfaces in projective $n$-space, the Fano scheme parameterizing $r$-dimensional linear spaces contained in the hypersurface is nonempty precisely for the degree range $n\geq N_1(r,d)$ where the "expected dimension" $f_1(n,r,d)$ is nonnegative, in which case $f_1(n,r,d)$ equals the (pure) dimension. Using work by Gleb Nenashev, we prove that for sufficiently general degree $d$ hypersurfaces in projective $n$-space, the parameter space of $r$-dimensional $e$-uple Veronese varieties contained in the hypersurface is nonempty of pure dimension equal to the "expected dimension" $f_e(n,r,d)$ in a degree range $n\geq \widetilde{N}_e(r,d)$ that is asymptotically sharp. Moreover, we show that for $n\geq 1+N_1(r,d)$, the Fano scheme parameterizing $r$-dimensional linear spaces is irreducible.


title: Sourcing Dark Matter and Dark Energy from $\alpha$-attractors

abstract: Recently, Kallosh and Linde have drawn attention to a new family of superconformal inflationary potentials, subsequently called $\alpha$-attractors. The $\alpha$-attractor family can interpolate between a large class of inflationary models. It also has an important theoretical underpinning within the framework of supergravity. We demonstrate that the $\alpha$-attractors have an even wider appeal since they may describe dark matter and perhaps even dark energy. The dark matter associated with the $\alpha$-attractors, which we call $\alpha$-dark matter ($\alpha$DM), shares many of the attractive features of fuzzy dark matter, with $V(\varphi) = \frac{1}{2}m^2\varphi^2$, while having none of its drawbacks. Like fuzzy dark matter, $\alpha$DM can have a large Jeans length which could resolve the cusp-core and substructure problems faced by standard cold dark matter. $\alpha$DM also has an appealing tracker property which enables it to converge to the late-time dark matter asymptote, $\langle w\rangle \simeq 0$, from a wide range of initial conditions. It thus avoids the enormous fine-tuning problems faced by the $m^2\varphi^2$ potential in describing dark matter.


title: Levitation of heavy particles against gravity in asymptotically downward flows

abstract: In the fluid transport of particles, it is generally expected that heavy particles carried by a laminar fluid flow moving downward will also move downward. We establish a theory to show, however, that particles can be dynamically levitated and lifted by interacting vortices in such flows, thereby moving against gravity and the asymptotic direction of the flow, even when they are orders of magnitude denser than the fluid. The particle levitation is rigorously demonstrated for potential flows and supported by simulations for viscous flows. We suggest that this counterintuitive effect has potential implications for the air-transport of water droplets and the lifting of sediments in water.


title: A lower bound for Heilbronn's triangle-problem

abstract: Let n points be placed on a closed convex domain on the plane, no three points on a straight line. A conjecture by H. A. Heilbronn (before 1950) stated that on the convex domain of unit area the smallest triangle defined by these points has an area not larger than O(n^-2). Here is shown a construction of a set of n points on a unit circle where any of the triangles have an area not less than O(n^-1.5 * (log n)^-5/2).


title: Topology optimization of broadband hyperbolic elastic metamaterials with super-resolution imaging

abstract: Hyperbolic metamaterials are strongly anisotropic artificial composite materials at a subwavelength scale and can greatly widen the engineering feasibilities for manipulation of wave propagation. However, limited by the empirical structure topologies, the previously reported hyperbolic elastic metamaterials (HEMMs) suffer from the limitations of relatively narrow frequency width, inflexible adjusting operating subwavelength scale and being difficult to further ameliorate imaging resolution. Here, we develop an inverse-design approach for HEMMs by topology optimization based on the effective medium theory. We successfully design two-dimensional broadband HEMMs supporting multipolar resonances, and theoretically demonstrate their deep-subwavelength imagings for longitudinal waves. Under different prescribed subwavelength scales, the optimized HEMMs exhibit broadband negative effective mass densities. Moreover, benefiting from the extreme enhancement of evanescent waves, an optimized HEMM at the ultra-low frequency can yield a super-high imaging resolution (~{\lambda}/64), representing the record in the field of elastic metamaterials. The proposed computational approach can be easily extended to design hyperbolic metamaterials for other wave counterparts. The present research may provide a novel design methodology for exploring the HEMMs based on unrevealed resonances and serve as a useful guide for the ultrasonography and general biomedical applications.


title: On fractional quasilinear parabolic problem with Hardy potential

abstract: The aim goal of this paper is to treat the following problem \begin{equation*} \left\{ \begin{array}{rcll} u_t+(-\D^s_{p}) u &=&\dyle \l \dfrac{u^{p-1}}{|x|^{ps}} & \text{ in } \O_{T}=\Omega \times (0,T), \\ u&\ge & 0 & \text{ in }\ren \times (0,T), \\ u &=& 0 & \text{ in }(\ren\setminus\O) \times (0,T), \\ u(x,0)&=& u_0(x)& \mbox{ in }\O, \end{array}% \right. \end{equation*} where $\Omega$ is a bounded domain containing the origin, $$ (-\D^s_{p})\, u(x,t):=P.V\int_{\ren} \,\dfrac{|u(x,t)-u(y,t)|^{p-2}(u(x,t)-u(y,t))}{|x-y|^{N+ps}} \,dy$$ with $1<p<N, s\in (0,1)$ and $f, u_0$ are non negative functions. The main goal of this work is to discuss the existence of solution according to the values of $p$ and $\l$.


title: Simulating Molecular Spectroscopy with Circuit Quantum Electrodynamics

abstract: Spectroscopy is a crucial laboratory technique for understanding quantum systems through their interactions with electromagnetic radiation. Particularly, spectroscopy is capable of revealing the physical structure of molecules, leading to the development of the maser - the forerunner of the laser. However, real-world applications of molecular spectroscopy are mostly confined to equilibrium states, due to computational and technological constraints; a potential breakthrough can be achieved by utilizing the emerging technology of quantum simulation. Here we experimentally demonstrate that a superconducting quantum simulator is capable of generating molecular spectra for both equilibrium and non-equilibrium states, reliably producing the vibronic structure of the molecules. Furthermore, our quantum simulator is applicable not only to molecules with a wide range of electronic-vibronic coupling strength characterized by the Huang-Rhys parameter, but also to molecular spectra not readily accessible under normal laboratory conditions. These results point to a new direction for predicting and understanding molecular spectroscopy, exploiting the power of quantum simulation.


title: The Top-Down Complexity

abstract: The rising complexity of our terrestrial surrounding is an empirical fact. Details of this process evaded description in terms of physics for long time attracting attention and creating myriad of ideas including non-scientific ones. In this essay we explain the phenomenon of the growth of complexity by combining our up to date understanding of cosmology, non-equilibrium physics and thermodynamics. We argue that the observed increase of complexity is causal in nature, stands in agreement with the second law of thermodynamics and has it's origin in the cosmological expansion. Moreover, we highlight the connection between the leader of complexity growth in localized areas of space with free energy rate density, starting from the largest scales towards the smaller ones. Finally, in the light of recent advances in non-equilibrium statistical mechanics, our belief in the causal structure of modern scientific theories is transferred to biological systems. On relevant scales, adaptation and complexity growth follows a similar pattern, in which free energy rate density is provided by an external electromagnetic radiation. The presented, holistic approach, arms us with predicting power about variety of attributes of complex systems and leads to a chain of successful explanations on all scales of the Universe.


title: Impact of URI Canonicalization on Memento Count

abstract: Quantifying the captures of a URI over time is useful for researchers to identify the extent to which a Web page has been archived. Memento TimeMaps provide a format to list mementos (URI-Ms) for captures along with brief metadata, like Memento-Datetime, for each URI-M. However, when some URI-Ms are dereferenced, they simply provide a redirect to a different URI-M (instead of a unique representation at the datetime), often also present in the TimeMap. This infers that confidently obtaining an accurate count quantifying the number of non-forwarding captures for a URI-R is not possible using a TimeMap alone and that the magnitude of a TimeMap is not equivalent to the number of representations it identifies. In this work we discuss this particular phenomena in depth. We also perform a breakdown of the dynamics of counting mementos for a particular URI-R (google.com) and quantify the prevalence of the various canonicalization patterns that exacerbate attempts at counting using only a TimeMap. For google.com we found that 84.9% of the URI-Ms result in an HTTP redirect when dereferenced. We expand on and apply this metric to TimeMaps for seven other URI-Rs of large Web sites and thirteen academic institutions. Using a ratio metric DI for the number of URI-Ms without redirects to those requiring a redirect when dereferenced, five of the eight large web sites' and two of the thirteen academic institutions' TimeMaps had a ratio of ratio less than one, indicating that more than half of the URI-Ms in these TimeMaps result in redirects when dereferenced.


title: Boosted KZ and LLL Algorithms

abstract: There exist two issues among popular lattice reduction (LR) algorithms that should cause our concern. The first one is Korkine-Zolotarev (KZ) and Lenstra-Lenstra-Lovasz (LLL) algorithms may increase the lengths of basis vectors. The other is KZ reduction suffers much worse performance than Minkowski reduction in terms of providing short basis vectors, despite its superior theoretical upper bounds. To address these limitations, we improve the size reduction steps in KZ and LLL to set up two new efficient algorithms, referred to as boosted KZ and LLL, for solving the shortest basis problem (SBP) with exponential and polynomial complexity, respectively. Both of them offer better actual performance than their classic counterparts, and the performance bounds for KZ are also improved. We apply them to designing integer-forcing (IF) linear receivers for multi-input multi-output (MIMO) communications. Our simulations confirm their rate and complexity advantages.


title: On low rank-width colorings

abstract: We introduce the concept of low rank-width colorings, generalising the notion of low tree-depth colorings introduced by Ne\v{s}et\v{r}il and Ossona de Mendez in [Grad and classes with bounded expansion I. Decompositions. EJC, 2008]. We say that a class $\mathcal{C}$ of graphs admits low rank-width colourings if there exist functions $N\colon \mathbb{N}\rightarrow\mathbb{N}$ and $Q\colon \mathbb{N}\rightarrow\mathbb{N}$ such that for all $p\in \mathbb{N}$, every graph $G\in \mathcal{C}$ can be vertex colored with at most $N(p)$ colors such that the union of any $i\leq p$ color classes induces a subgraph of rank-width at most $Q(i)$. Graph classes admitting low rank-width colorings strictly generalize graph classes admitting low tree-depth colorings and graph classes of bounded rank-width. We prove that for every graph class $\mathcal{C}$ of bounded expansion and every positive integer $r$, the class $\{G^r\colon G\in \mathcal{C}\}$ of $r$th powers of graphs from $\mathcal{C}$, as well as the classes of unit interval graphs and bipartite permutation graphs admit low rank-width colorings. All of these classes have unbounded rank-width and do not admit low tree-depth colorings. We also show that the classes of interval graphs and permutation graphs do not admit low rank-width colorings. As interesting side properties, we prove that every graph class admitting low rank-width colorings has the Erd\H{o}s-Hajnal property and is $\chi$-bounded.


title: End-to-end semantic face segmentation with conditional random fields as convolutional, recurrent and adversarial networks

abstract: Recent years have seen a sharp increase in the number of related yet distinct advances in semantic segmentation. Here, we tackle this problem by leveraging the respective strengths of these advances. That is, we formulate a conditional random field over a four-connected graph as end-to-end trainable convolutional and recurrent networks, and estimate them via an adversarial process. Importantly, our model learns not only unary potentials but also pairwise potentials, while aggregating multi-scale contexts and controlling higher-order inconsistencies. We evaluate our model on two standard benchmark datasets for semantic face segmentation, achieving state-of-the-art results on both of them.


title: Recommendations for Model-Driven Paradigms for Integrated Approaches to Cyber Defense

abstract: The North Atlantic Treaty Organization (NATO) Exploratory Team meeting, "Model-Driven Paradigms for Integrated Approaches to Cyber Defense," was organized by the NATO Science and Technology Organization's (STO) Information Systems and Technology (IST) panel and conducted its meetings and electronic exchanges during 2016. This report describes the proceedings and outcomes of the team's efforts. Many of the defensive activities in the fields of cyber warfare and information assurance rely on essentially ad hoc techniques. The cyber community recognizes that comprehensive, systematic, principle-based modeling and simulation are more likely to produce long-term, lasting, reusable approaches to defensive cyber operations. A model-driven paradigm is predicated on creation and validation of mechanisms of modeling the organization whose mission is subject to assessment, the mission (or missions) itself, and the cyber-vulnerable systems that support the mission. This by any definition is a complex socio-technical system (of systems), and the level of detail of this class of problems ranges from the level of host and network events to the systems' functions up to the function of the enterprise. Solving this class of problems is of medium to high difficulty and can draw in part on advances in Systems Engineering (SE). Such model-based approaches and analysis could be used to explore multiple alternative mitigation and work-around strategies and to select the optimal course of mitigating actions. Furthermore, the model-driven paradigm applied to cyber operations is likely to benefit traditional disciplines of cyber defense such as security, vulnerability analysis, intrusion prevention, intrusion detection, analysis, forensics, attribution, and recovery.


title: The ABCD of topological recursion

abstract: Kontsevich and Soibelman reformulated and slightly generalised the topological recursion of math-ph/0702045, seeing it as a quantization of certain quadratic Lagrangians in $T^*V$ for some vector space $V$. KS topological recursion is a procedure which takes as initial data a quantum Airy structure -- a family of at most quadratic differential operators on $V$ satisfying some axioms -- and gives as outcome a formal series of functions in $V$ (the partition function) simultaneously annihilated by these operators. Finding and classifying quantum Airy structures modulo gauge group action, is by itself an interesting problem which we study here. We provide some elementary, Lie-algebraic tools to address this problem, and give some elements of classification for ${\rm dim}\,V = 2$. We also describe four more interesting classes of quantum Airy structures, coming from respectively Frobenius algebras (here we retrieve the 2d TQFT partition function as a special case), non-commutative Frobenius algebras, loop spaces of Frobenius algebras and a $\mathbb{Z}_{2}$-invariant version of the latter. This $\mathbb{Z}_{2}$-invariant version in the case of a semi-simple Frobenius algebra corresponds to the topological recursion of math-ph/0702045.


title: Prediction of Nontrivial Band Topology and Superconductivity in Mg$_2$Pb

abstract: The interplay of BCS superconductivity and nontrivial band topology is expected to give rise to opportunities for creating topological superconductors, achieved through pairing spin-filtered boundary modes via superconducting proximity effects. The thus-engineered topological superconductivity can, for example, facilitate the search for Majorana fermion quasiparticles in condensed matter systems. Here we report a first-principles study of Mg$_2$Pb and predict that it should be a superconducting topological material. The band topology of Mg$_2$Pb is identical to that of the archetypal quantum spin Hall insulator HgTe, while isostructural and isoelectronic Mg$_2$Sn is topologically trivial; a trivial to topological transition is predicted for Mg$_2$Sn$_{1-x}$Pb$_x$ for x~0.77. We propose that Mg$_2$Pb-Mg$_2$Sn quantum wells should generate robust spin-filtered edge currents in analogy to HgTe/CdTe quantum wells. In addition, our calculations predict that Mg$_2$Pb should become superconducting upon electron doping. Therefore, Mg$_2$Pb is expected to provide a practical material platform for studying emergent phenomena arising from the interplay of superconductivity and band topology.


title: Conditional expanding bounds for two-variable functions over arbitrary fields

abstract: In this short note, we use Rudnev's point-plane incidence bound to improve some results on conditional expanding bounds for two-variable functions over arbitrary fields due to Hegyv\'ari and Hennecart.


title: Large deviations of surface height in the $1+1$-dimensional Kardar-Parisi-Zhang equation: exact long-time results for $\lambda H<0$

abstract: We study atypically large fluctuations of height $H$ in the 1+1-dimensional Kardar-Parisi-Zhang (KPZ) equation at long times $t$, when starting from a "droplet" initial condition. We derive exact large deviation function of height for $\lambda H<0$, where $\lambda$ is the nonlinearity coefficient of the KPZ equation. This large deviation function describes a crossover from the Tracy-Widom distribution tail at small $|H|/t$, which scales as $|H|^3/t$, to a different tail at large $|H|/t$, which scales as $|H|^{5/2}/t^{1/2}$. The latter tail exists at all times $t>0$. It was previously obtained in the framework of the optimal fluctuation method. It was also obtained at short times from exact representation of the complete height statistics. The crossover between the two tails, at long times, occurs at $|H|\sim t$ as previously conjectured. Our analytical findings are supported by numerical evaluations using exact representation of the complete height statistics.


title: Off resonance coupling between a cavity mode and an ensemble of driven spins

abstract: We study the interaction between a superconducting cavity and a spin ensemble. The response of a cavity mode is monitored while simultaneously the spins are driven at a frequency close to their Larmor frequency, which is tuned to a value much higher than the cavity resonance. We experimentally find that the effective damping rate of the cavity mode is shifted by the driven spins. The measured shift in the damping rate is attributed to the retarded response of the cavity mode to the driven spins. The experimental results are compared with theoretical predictions and fair agreement is found.


title: Split Sample Empirical Likelihood

abstract: We propose a new approach that combines multiple non-parametric likelihood-type components to build a data-driven approximation of the true likelihood function. Our approach is built on empirical likelihood, a non-parametric approximation of the likelihood function. We show the asymptotic behaviors of our approach are identical to those seen in empirical likelihood. We demonstrate that our method performs comparably to empirical likelihood while significantly decreasing computational time.


title: On realizability of sign patterns by real polynomials

abstract: The classical Descartes' rule of signs limits the number of positive roots of a real polynomial in one variable by the number of sign changes in the sequence of its coefficients. One can ask the question which pairs of nonnegative integers $(p,n)$, chosen in accordance with this rule and with some other natural conditions, can be the pairs of numbers of positive and negative roots of a real polynomial with prescribed signs of the coefficients. The paper solves this problem for degree $8$ polynomials.


title: On a Class of Polynomials Generated by F (xt -- R(t))

abstract: We investigate polynomial sets {P n } n$\ge$0 with generating power series of the form F (xt -- R(t)) and satisfying, for n $\ge$ 0, the (d + 1)-order recursion xP\_ n (x) = P\_{ n+1 }(x) +\sum\_{ l=0}^{d} \gamma^{l}\_{n} P\_{ n--l} (x), where \ {\gamma ^{l}\_{ n}\ } is a complex sequence for 0 $\le$ l $\le$ d, P \_0 (x) = 1 and P \_n (x) = 0 for all negative integer n. We show that the formal power series R(t) is a polynomial of degree at most d + 1 if certain coefficients of R(t) are null or if F (t) is a generalized hypergeometric series. Moreover, for the d-symmetric case we demonstrate that R(t) is the monomial of degree d + 1 and F (t) is expressed by hypergeometric series.


title: Self-Stabilizing Disconnected Components Detection and Rooted Shortest-Path Tree Maintenance in Polynomial Steps

abstract: We deal with the problem of maintaining a shortest-path tree rooted at some process r in a network that may be disconnected after topological changes. The goal is then to maintain a shortest-path tree rooted at r in its connected component, V\_r, and make all processes of other components detecting that r is not part of their connected component. We propose, in the composite atomicity model, a silent self-stabilizing algorithm for this problem working in semi-anonymous networks, where edges have strictly positive weights. This algorithm does not require any a priori knowledge about global parameters of the network. We prove its correctness assuming the distributed unfair daemon, the most general daemon. Its stabilization time in rounds is at most 3nmax+D, where nmax is the maximum number of non-root processes in a connected component and D is the hop-diameter of V\_r. Furthermore, if we additionally assume that edge weights are positive integers, then it stabilizes in a polynomial number of steps: namely, we exhibit a bound in O(maxi nmax^3 n), where maxi is the maximum weight of an edge and n is the number of processes.


title: Converting quasiclassical states into arbitrary Fock state superpositions in a superconducting cavity

abstract: We propose and experimentally demonstrate a new method to generate arbitrary Fock-state superpositions in a superconducting quantum circuit, where a qubit is dispersively coupled to a microwave cavity mode without the need of fine-frequency tuning. Here the qubit is used to conditionally modulate the probability amplitudes of the Fock state components of a coherent state to those of the desired superposition state, instead of pumping photons one by one into the cavity as in previous schemes. Our method does not require the adjustment of the qubit frequency during the cavity state preparation, and is more robust to noise and accumulation of experimental errors compared to previous ones. Using the method, we experimentally generate high-fidelity phase eigenstates under various Hilbert-space dimensions and squeezed states, which are useful for quantum walk and high-precision measurements.


title: Dark and bright exciton formation, thermalization, and photoluminescence in monolayer transition metal dichalcogenides

abstract: The remarkably strong Coulomb interaction in atomically thin transition metal dichalcogenides (TMDs) results in an extraordinarily rich many-particle physics including the formation of tightly bound excitons. Besides optically accessible bright excitonic states, these materials also exhibit a variety of dark excitons. Since they can even lie below the bright states, they have a strong influence on the exciton dynamics, lifetimes, and photoluminescence. While very recently, the presence of dark excitonic states has been experimentally demonstrated, the origin of these states, their formation, and dynamics have not been revealed yet. Here, we present a microscopic study shedding light on time- and energy-resolved formation and thermalization of bright and dark intra- and intervalley excitons as well as their impact on the photoluminescence in different TMD materials. We demonstrate that intervalley dark excitons, so far widely overlooked in current literature, play a crucial role in tungsten-based TMDs giving rise to an enhanced photoluminescence and reduced exciton lifetimes at elevated temperatures.


title: Orbital selective neutron spin resonance in underdoped superconducting NaFe$_\textbf{0.985}$Co$_\textbf{0.015}$As

abstract: We use neutron scattering to study the electron-doped superconducting NaFe$_{0.985}$Co$_{0.015}$As ($T_c=14$ K), which has co-existing static antiferromagnetic (AF) order ($T_N=31$ K) and exhibits two neutron spin resonances ($E_{r1}\approx 3.5$ meV and $E_{r2}\approx 6$ meV) at the in-plane AF ordering wave vector ${\bf Q}_{\rm AF}={\bf Q}_{1}=(1,0)$ in reciprocal space. In the twinned state below the tetragonal-to-orthorhombic structural transition $T_s$, both resonance modes appear at ${\bf Q}_{1}$ but cannot be distinguished from ${\bf Q}_{2}=(0,1)$. By detwinning the single crystal with uniaxial pressure along the orthorhombic $b$-axis, we find that both resonances appear only at ${\bf Q}_{1}$ with vanishing intensity at ${\bf Q}_{2}$. Since electronic bands of the orbital $d_{xz}$ and $d_{yz}$ characters split below $T_s$ with the $d_{xz}$ band sinking $\sim10$ meV below the Fermi surface, our results indicate that the neutron spin resonances in NaFe$_{0.985}$Co$_{0.015}$As arise mostly from quasi-particle excitations between the hole and electron Fermi surfaces with the $d_{yz}$ orbital character.


title: Robust Control Policies given Formal Specifications in Uncertain Environments

abstract: We consider robust control synthesis for linear systems with complex specifications that are affected by uncertain disturbances. This work is motivated by autonomous systems interacting with partially known, time-varying environments. Given a specification in bounded linear temporal logic, we propose a method to synthesize control policies that fulfill the specification for all considered disturbances, where the disturbances affect the atomic propositions of the specification. Our approach relies on introducing affine disturbance feedback policies and casting the problem as a bilinear optimization problem. We introduce an inner approximation of the constraint set leading to a mixed-integer quadratic program that can be solved using general-purpose solvers. The framework is demonstrated on a numerical case study with applications to autonomous driving.


title: Independence-Domination duality in weighted graphs

abstract: Given a partition ${\mathcal V}=(V_1, \ldots,V_m)$ of the vertex set of a graph $G$, an {\em independent transversal} (IT) is an independent set in $G$ that contains one vertex from each $V_i$. A {\em fractional IT} is a non-negative real valued function on $V(G)$ that represents each part with total weight at least $1$, and belongs as a vector to the convex hull of the incidence vectors of independent sets in the graph. It is known that if the domination number of the graph induced on the union of every $k$ parts $V_i$ is at least $k$, then there is a fractional IT. We prove a weighted version of this result. This is a special case of a general conjecture, on the weighted version of a duality phenomenon, between independence and domination in pairs of graphs.


title: Isotropic functions revisited

abstract: To a smooth and symmetric function $f$ defined on a symmetric open set $\Gamma\subset\mathbb{R}^{n}$ and a real $n$-dimensional vector space $V$ we assign an associated operator function $F$ defined on an open subset $\Omega\subset\mathcal{L}(V)$ of linear transformations of $V$, such that for each inner product $g$ on $V$, on the subspace $\Sigma_{g}(V)\subset\mathcal{L}(V)$ of $g$-selfadjoint operators, $F_{g}=F_{|\Sigma_{g}(V)}$ is the isotropic function associated to $f$, which means that $F_{g}(A)=f(\mathrm{EV}(A))$, where $\mathrm{EV}(A)$ denotes the ordered $n$-tuple of real eigenvalues of $A$. We extend some well known relations between the derivatives of $f$ and each $F_{g}$ to relations between $f$ and $F$. By means of an example we show that well known regularity properties of $F_{g}$ do not carry over to $F$.


title: Un Crit{\`E}Re Simple

abstract: In this short note, we mimic the proof of the simplicity of the theory ACFA of generic difference fields in order to provide a criterion, valid for certain theories of pure fields and fields equipped with operators, which shows that a complete theory is simple whenever its definable and algebraic closures are controlled by an underlying stable theory.


title: Fractional Sobolev metrics on spaces of immersed curves

abstract: Motivated by applications in the field of shape analysis, we study reparametrization invariant, fractional order Sobolev-type metrics on the space of smooth regular curves $\operatorname{Imm}(S^1,\mathbb{R}^d)$ and on its Sobolev completions $\mathcal{I}^{q}(S^1,\mathbb{R}^{d})$. We prove local well-posedness of the geodesic equations both on the Banach manifold $\mathcal{I}^{q}(S^1,\mathbb{R}^{d})$ and on the Fr\'{e}chet-manifold $\operatorname{Imm}(S^1,\mathbb{R}^d)$ provided the order of the metric is greater or equal to one. In addition we show that the $H^s$-metric induces a strong Riemannian metric on the Banach manifold $\mathcal{I}^{s}(S^1,\mathbb{R}^{d})$ of the same order $s$, provided $s>\frac 32$. These investigations can be also interpreted as a generalization of the analysis for right invariant metrics on the diffeomorphism group.


title: On Deformations of Nodal Hypersurfaces

abstract: We extend the infinitesimal Torelli theorem for smooth hypersurfaces to nodal hypersurfaces.


title: An adaptive finite element PML method for the acoustic-elastic interaction in three dimensions

abstract: Consider the scattering of a time-harmonic acoustic incident wave by a bounded, penetrable, and isotropic elastic solid, which is immersed in a homogeneous compressible air or fluid. The paper concerns the numerical solution for such an acoustic-elastic interaction problem in three dimensions. An exact transparent boundary condition (TBC) is developed to reduce the problem equivalently into a boundary value problem in a bounded domain. The perfectly matched layer (PML) technique is adopted to truncate the unbounded physical domain into a bounded computational domain. The well-posedness and exponential convergence of the solution are established for the truncated PML problem by using a PML equivalent TBC. An a posteriori error estimate based adaptive finite element method is developed to solve the scattering problem. Numerical experiments are included to demonstrate the competitive behavior of the proposed method.


title: Fluctuation induced forces in critical films with disorder at their surfaces

abstract: We investigate the effect of quenched surface disorder on effective interactions between two planar surfaces immersed in fluids which are near criticality and belong to the Ising bulk universality class. We consider the case that, in the absence of random surface fields, the surfaces of the film belong to the surface universality class of the so-called ordinary transition. We find analytically that in the linear weak-coupling regime, i.e., upon including the mean-field contribution and Gaussian fluctuations, the presence of random surface fields with zero mean leads to an attractive, disorder-induced contribution to the critical Casimir interactions between the two confining surfaces. Our analytical, field-theoretic results are compared with corresponding Monte Carlo simulation data.


title: New 111-type Semiconductor ReGaSi Follows 14e- Rules

abstract: Electron-counting rules were applied to understand the stability, structural preference, and physical properties of metal disilicides. Following predictions made by 14 electron counting rules, the ordered semiconductor ReGaSi, the first ternary phase in this system, is proposed and successfully synthesized. It crystallizes with a primitive tetragonal structure (space group P4/nmm) closely related to that of MoSi2-type ReSi2, but with Ga and Si orderly distributed in the unit cell. The band structure, density of states, and crystal orbital calculations confirm the electron count hypothesis to predict new stable compounds. Calculations, based on 14 electrons per ReGaSi units, show a small indirect band gap of ~0.2 eV around Fermi level between full and empty electronic states. Additionally, first-principles calculations confirm the site preference of Ga and Si which is observed through the structural refinement. Experimental magnetic measurements verified the predicted non-magnetic properties of ReGaSi.


title: Constraints on Oscillation Parameters from $\nu_e$ Appearance and $\nu_\mu$ Disappearance in NOvA

abstract: Results are reported from an improved measurement of $\nu_\mu \rightarrow \nu_e$ transitions by the NOvA experiment. Using an exposure equivalent to $6.05\times10^{20}$ protons-on-target 33 $\nu_e$ candidates were observed with a background of $8.2\pm0.8$ (syst.). Combined with the latest NOvA $\nu_\mu$ disappearance data and external constraints from reactor experiments on $\sin^22\theta_{13}$, the hypothesis of inverted mass hierarchy with $\theta_{23}$ in the lower octant is disfavored at greater than $93\%$ C.L. for all values of $\delta_{CP}$.


title: UntrimmedNets for Weakly Supervised Action Recognition and Detection

abstract: Current action recognition methods heavily rely on trimmed videos for model training. However, it is expensive and time-consuming to acquire a large-scale trimmed video dataset. This paper presents a new weakly supervised architecture, called UntrimmedNet, which is able to directly learn action recognition models from untrimmed videos without the requirement of temporal annotations of action instances. Our UntrimmedNet couples two important components, the classification module and the selection module, to learn the action models and reason about the temporal duration of action instances, respectively. These two components are implemented with feed-forward networks, and UntrimmedNet is therefore an end-to-end trainable architecture. We exploit the learned models for action recognition (WSR) and detection (WSD) on the untrimmed video datasets of THUMOS14 and ActivityNet. Although our UntrimmedNet only employs weak supervision, our method achieves performance superior or comparable to that of those strongly supervised approaches on these two datasets.


title: Measurement-device-independent randomness generation with arbitrary quantum states

abstract: Measurements of quantum systems can be used to generate classical data that is truly unpredictable for every observer. However, this true randomness needs to be discriminated from randomness due to ignorance or lack of control of the devices. We analyze the randomness gain of a measurement-device-independent setup, consisting of a well-characterized source of quantum states and a completely uncharacterized and untrusted detector. Our framework generalizes previous schemes as arbitrary input states and arbitrary measurements can be analyzed. Our method is used to suggest simple and realistic implementations that yield high randomness generation rates of more than one random bit per qubit for detectors of sufficient quality.


title: Excision in algebraic K-theory revisited

abstract: By a theorem of Suslin, a Tor-unital (not necessarily unital) ring satisfies excision in algebraic K-theory. We give a new and direct proof of Suslin's result based on an exact sequence of categories of perfect modules. In fact, we prove a more general descent result for a pullback square of ring spectra and any localizing invariant. Besides Suslin's result, this also contains Nisnevich descent of algebraic K-theory for affine schemes as a special case. Moreover, the role of the Tor-unitality condition becomes very transparent.


title: Prime solutions to polynomial equations in many variables and differing degrees

abstract: Let $\mathbf{f} = (f_1, \ldots, f_R)$ be a system of polynomials with integer coefficients in which the degrees need not all be the same. We provide sufficient conditions for which the system of equations $f_j (x_1, \ldots, x_n) = 0 \ (1 \leq j \leq R)$ satisfies a general local to global type statement, and has a solution where each coordinate is prime. In fact we obtain the asymptotic formula for number of such solutions, counted with a logarithmic weight, under these conditions. We prove the statement via the Hardy-Littlewood circle method. This is a generalization of the work of B. Cook and \'{A}. Magyar, where they obtained the result when the polynomials of $\mathbf{f}$ all have the same degree. Hitherto, results of this type for systems of polynomial equations involving different degrees have been restricted to the diagonal case.


title: The Peculiar Multi-Wavelength Evolution Of V1535 Sco

abstract: We present multi-wavelength observations of the unusual nova V1535 Sco throughout its outburst in 2015. Early radio observations were consistent with synchrotron emission, and early X-ray observations revealed the presence of high-energy (>1 keV) photons. These indicated that strong shocks were present during the first ~2 weeks of the nova's evolution. The radio spectral energy distribution was consistent with thermal emission from week 2 to week 6. Starting in week 7, the radio emission again showed evidence of synchrotron emission and there was an increase in X-ray emission, indicating a second shock event. The optical spectra show evidence for at least two separate outflows, with the faster outflow possibly having a bipolar morphology. The optical and near infrared light curves and the X-ray measurements of the hydrogen column density indicated that the companion star is likely a K giant.


title: Fast Genetic Algorithms

abstract: For genetic algorithms using a bit-string representation of length~$n$, the general recommendation is to take $1/n$ as mutation rate. In this work, we discuss whether this is really justified for multimodal functions. Taking jump functions and the $(1+1)$ evolutionary algorithm as the simplest example, we observe that larger mutation rates give significantly better runtimes. For the $\jump_{m,n}$ function, any mutation rate between $2/n$ and $m/n$ leads to a speed-up at least exponential in $m$ compared to the standard choice. The asymptotically best runtime, obtained from using the mutation rate $m/n$ and leading to a speed-up super-exponential in $m$, is very sensitive to small changes of the mutation rate. Any deviation by a small $(1 \pm \eps)$ factor leads to a slow-down exponential in $m$. Consequently, any fixed mutation rate gives strongly sub-optimal results for most jump functions. Building on this observation, we propose to use a random mutation rate $\alpha/n$, where $\alpha$ is chosen from a power-law distribution. We prove that the $(1+1)$ EA with this heavy-tailed mutation rate optimizes any $\jump_{m,n}$ function in a time that is only a small polynomial (in~$m$) factor above the one stemming from the optimal rate for this $m$. Our heavy-tailed mutation operator yields similar speed-ups (over the best known performance guarantees) for the vertex cover problem in bipartite graphs and the matching problem in general graphs. Following the example of fast simulated annealing, fast evolution strategies, and fast evolutionary programming, we propose to call genetic algorithms using a heavy-tailed mutation operator \emph{fast genetic algorithms}.


title: Cosmological solutions in generalized hybrid metric-Palatini gravity

abstract: We construct exact solutions representing a Friedmann-Lema\^itre-Robsertson-Walker (FLRW) universe in a generalized hybrid metric-Palatini theory. By writing the gravitational action in a scalar-tensor representation, the new solutions are obtained by either making an ansatz on the scale factor or on the effective potential. Among other relevant results, we show that it is possible to obtain exponentially expanding solutions for flat universes even when the cosmology is not purely vacuum. We then derive the classes of actions for the original theory which generate these solutions.


title: Existence of solutions to fractional differential equations with three-point boundary conditions at resonance with general conditions

abstract: This paper presents a new technique to investigate the existence of solutions to fractional three-point boundary value problems at resonance in a Hilbert space. Based on the proposed method, the restricted conditions $A^2\xi^{2\alpha-2}=A\xi^{\alpha-1}$ and $A^2\xi^{2\alpha-2}=I$ on the operator $A$, which have been used in \cite{Zhou2}, are removed. It is shown that the system under consideration admits at least one solution by applying coincidence degree theory. Finally, an illustrative example is presented.


title: Inadequacy of internal covariance estimation for super-sample covariance

abstract: We give an analytical interpretation of how subsample-based internal covariance estimators lead to biased estimates of the covariance, due to underestimating the super-sample covariance (SSC). This includes the jackknife and bootstrap methods as estimators for the full survey area, and subsampling as an estimator of the covariance of subsamples. The limitations of the jackknife covariance have been previously presented in the literature because it is effectively a rescaling of the covariance of the subsample area. However we point out that subsampling is also biased, but for a different reason: the subsamples are not independent, and the corresponding lack of power results in SSC underprediction. We develop the formalism in the case of cluster counts that allows the bias of each covariance estimator to be exactly predicted. We find significant effects for a small-scale area or when a low number of subsamples is used, with auto-redshift biases ranging from 0.4% to 15% for subsampling and from 5% to 75% for jackknife covariance estimates. The cross-redshift covariance is even more affected; biases range from 8% to 25% for subsampling and from 50% to 90% for jackknife. Owing to the redshift evolution of the probe, the covariances cannot be debiased by a simple rescaling factor, and an exact debiasing has the same requirements as the full SSC prediction. These results thus disfavour the use of internal covariance estimators on data itself or a single simulation, leaving analytical prediction and simulations suites as possible SSC predictors.


title: Relay-Pair Selection in Buffer-Aided Successive Opportunistic Relaying using a Multi-Antenna Source

abstract: We study a cooperative network with a buffer-aided multi-antenna source, multiple half-duplex (HD) buffer-aided relays and a single destination. Such a setup could represent a cellular downlink scenario, in which the source can be a more powerful wireless device with a buffer and multiple antennas, while a set of intermediate less powerful devices are used as relays to reach the destination. The main target is to recover the multiplexing loss of the network by having the source and a relay to simultaneously transmit their information to another relay and the destination, respectively. Successive transmissions in such a cooperative network, however, cause inter-relay interference (IRI). First, by assuming global channel state information (CSI), we show that the detrimental effect of IRI can be alleviated by precoding at the source, mitigating or even fully cancelling the interference. A cooperative relaying policy is proposed that employs a joint precoding design and relay-pair selection. Note that both fixed rate and adaptive rate transmissions can be considered. For the case when channel state information is only available at the receiver side (CSIR), we propose a relay selection policy that employs a phase alignment technique to reduce the IRI. The performance of the two proposed relay pair selection policies are evaluated and compared with other state-of-the-art relaying schemes in terms of outage and throughput. The results show that the use of a powerful source can provide considerable performance improvements.


title: A Framework for Dynamic Stability Analysis of Power Systems with Volatile Wind Power

abstract: We propose a framework employing stochastic differential equations to facilitate the long-term stability analysis of power grids with intermittent wind power generations. This framework takes into account the discrete dynamics which play a critical role in the long-term stability analysis, incorporates the model of wind speed with different probability distributions, and also develops an approximation methodology (by a deterministic hybrid model) for the stochastic hybrid model to reduce the computational burden brought about by the uncertainty of wind power. The theoretical and numerical studies show that a deterministic hybrid model can provide an accurate trajectory approximation and stability assessments for the stochastic hybrid model under mild conditions. In addition, we discuss the critical cases that the deterministic hybrid model fails and discover that these cases are caused by a violation of the proposed sufficient conditions. Such discussion complements the proposed framework and methodology and also reaffirms the importance of the stochastic hybrid model when the system operates close to its stability limit.


title: Adaptive Non-uniform Compressive Sampling for Time-varying Signals

abstract: In this paper, adaptive non-uniform compressive sampling (ANCS) of time-varying signals, which are sparse in a proper basis, is introduced. ANCS employs the measurements of previous time steps to distribute the sensing energy among coefficients more intelligently. To this aim, a Bayesian inference method is proposed that does not require any prior knowledge of importance levels of coefficients or sparsity of the signal. Our numerical simulations show that ANCS is able to achieve the desired non-uniform recovery of the signal. Moreover, if the signal is sparse in canonical basis, ANCS can reduce the number of required measurements significantly.


title: Equation of state, phonons, and lattice stability of ultra-fast warm dense matter

abstract: Using the two-temperature model for ultrafast matter (UFM), we compare the equation of state, pair-distribution functions $g(r)$, and phonons using the neutral pseudoatom (NPA) model with results from density-functional theory (DFT) codes and molecular-dynamics (MD) simulations for Al, Li and Na. The NPA approach uses state-dependent first-principles pseudopotentials from an `all-electron' DFT calculation with finite-$T$ XCF. It provides pair potentials, structure factors, the `bound' and `free' states, as well as a mean ionization $\bar{Z}$ unambiguously. These are not easily accessible {\it via} DFT+MD calculations which become prohibitive for $T/T_F$ exceeding $\sim 0.6$, where $T_F$ is the Fermi temperature. Hence, both DFT+MD and NPA methods can be compared up to $\sim 8$ eV, while higher $T$ can be addressed ${\it via}$ the NPA. The high-$T_e$ phonon calculations raise the question of UFM lattice stability and surface ablation in thin UFM samples. The ablation forces in a UFM slab are used to define an "ablation time" competing with phonon formation times in thin UFM samples. Excellent agreement for all properties is found between NPA and standard DFT codes, even for Li where a strongly non-local pseudopotential is used in DFT codes. The need to use pseudopotentials appropriate to the ionization state $\bar{Z}$ is emphasized. The effect of finite-$T$ exchange-correlation functional is illustrated via its effect on the pressure and the electron-density distribution at a nucleus.


title: Compressibility and probabilistic proofs

abstract: We consider several examples of probabilistic existence proofs using compressibility arguments, including some results that involve Lov\'asz local lemma.


title: Uniformizations of stable $(\gamma,n)$-gonal Riemann surfaces

abstract: A $(\gamma,n)$-gonal pair is a pair $(S,f)$, where $S$ is a closed Riemann surface and $f:S \to R$ is a degree $n$ holomorphic map onto a closed Riemann surface $R$ of genus $\gamma$. If the signature of $(S,f)$ is of hyperbolic type, then there is pair $(\Gamma,G)$, called an uniformization of $(S,f)$, where $G$ is a Fuchsian group acting on the unit disc ${\mathbb D}$ containing $\Gamma$ as an index $n$ subgroup, so that $f$ is induced by the inclusion of $\Gamma <G$. The uniformization is uniquely determined by $(S,f)$, up to conjugation by holomorphic automorphisms of ${\mathbb D}$, and it permits to provide natural complex orbifold structures on the Hurwitz spaces parametrizing (twisted) isomorphic classes of pairs topologically equivalent to $(S,f)$. In order to produce certain compactifications of these Hurwitz spaces, one needs to consider the so called stable $(\gamma,n)$-gonal pairs, which are natural geometrical deformations of $(\gamma,n)$-gonal pairs. Due to the above, it seems interesting to search for uniformizations of stable $(\gamma,n)$-gonal pairs, in terms of certain class of Kleinian groups. In this paper we review such uniformizations by using noded Fuchsian groups, which are (geometric) limits of quasiconformal deformations of Fuchsian groups, and which provide uniformizations of stable Riemann orbifolds. These uniformizations permit to obtain a compactification of the Hurwitz spaces with a complex orbifold structure, these being quotients of the augmented Teichm\"uller space of $G$ by a suitable finite index subgroup of its modular group.


title: Spontaneous Symmetry Breaking in Wormholes Spacetimes with Matter

abstract: When bosonic matter in the form of a complex scalar field is added to Ellis wormholes, the phenomenon of spontaneous symmetry breaking is observed. Symmetric solutions possess full reflection symmetry with respect to the radial coordinate of the two asymptotically flat spacetime regions connected by the wormhole, whereas asymmetric solutions do not possess this symmetry. Depending on the size of the throat, at bifurcation points pairs of asymmetric solutions arise from or merge with the symmetric solutions. These asymmetric solutions are energetically favoured. When the backreaction of the boson field is taken into account, this phenomenon is retained. Moreover, in a certain region of the solution space both symmetric and asymmetric solutions exhibit a transition from single throat to double throat configurations.


title: A Singular One-Dimensional Bound State Problem and its Degeneracies

abstract: We give a brief exposition of the formulation of the bound state problem for the one-dimensional system of $N$ attractive Dirac delta potentials, as an $N \times N$ matrix eigenvalue problem ($\Phi A =\omega A$). The main aim of this paper is to illustrate that the non-degeneracy theorem in one dimension breaks down for the equidistantly distributed Dirac delta potential, where the matrix $\Phi$ becomes a special form of the circulant matrix. We then give an elementary proof that the ground state is always non-degenerate and the associated wave function may be chosen to be positive by using the Perron-Frobenius theorem. We also prove that removing a single center from the system of $N$ delta centers shifts all the bound state energy levels upward as a simple consequence of the Cauchy interlacing theorem.


title: Reasoning About Bounds in Weighted Transition Systems

abstract: We propose a way of reasoning about minimal and maximal values of the weights of transitions in a weighted transition system (WTS). This perspective induces a notion of bisimulation that is coarser than the classic bisimulation: it relates states that exhibit transitions to bisimulation classes with the weights within the same boundaries. We propose a customized modal logic that expresses these numeric boundaries for transition weights by means of particular modalities. We prove that our logic is invariant under the proposed notion of bisimulation. We show that the logic enjoys the finite model property and we identify a complete axiomatization for the logic. Last but not least, we use a tableau method to show that the satisfiability problem for the logic is decidable.


title: A Self-supervised Learning System for Object Detection using Physics Simulation and Multi-view Pose Estimation

abstract: Progress has been achieved recently in object detection given advancements in deep learning. Nevertheless, such tools typically require a large amount of training data and significant manual effort to label objects. This limits their applicability in robotics, where solutions must scale to a large number of objects and variety of conditions. This work proposes an autonomous process for training a Convolutional Neural Network (CNN) for object detection and pose estimation in robotic setups. The focus is on detecting objects placed in cluttered, tight environments, such as a shelf with multiple objects. In particular, given access to 3D object models, several aspects of the environment are physically simulated. The models are placed in physically realistic poses with respect to their environment to generate a labeled synthetic dataset. To further improve object detection, the network self-trains over real images that are labeled using a robust multi-view pose estimation process. The proposed training process is evaluated on several existing datasets and on a dataset collected for this paper with a Motoman robotic arm. Results show that the proposed approach outperforms popular training processes relying on synthetic - but not physically realistic - data and manual annotation. The key contributions are the incorporation of physical reasoning in the synthetic data generation process and the automation of the annotation process over real images.