title: A Radio Frequency Non-reciprocal Network Based on Switched Acoustic Delay Lines

abstract: This work demonstrates the first non-reciprocal network based on switched low-loss acoustic delay lines. The 4-port circulator is built upon a recently reported frequency-independent, programmable, non-reciprocal framework based on switched delay lines. The design space for such a system, including the origins of the insertion loss and harmonic responses, is theoretically investigated, illustrating that the key to better performance and low-cost modulation signal synthesis lies in a large delay. To implement a large delay, we resort to in-house fabricated low-loss, wide-band lithium niobate (LiNbO3) SH0 mode acoustic delay lines employing single-phase unidirectional transducers (SPUDT). The 4-port circulator, consisting of two switch modules and one delay line module, has been modularly designed, assembled, and tested. The design process employs time-domain full circuit simulation and the results match well with measurements. A 18.8 dB non-reciprocal contrast between insertion loss (IL = 6.6 dB) and isolation (25.4 dB) has been achieved over a fractional bandwidth of 8.8% at a center frequency 155 MHz, using a record low switching frequency of 877.19 kHz. The circulator also shows 25.9 dB suppression for the intra-modulated tone and 30 dBm for IIP3. Upon further development, such a system can potentially lead to future wide-band, low-loss chip-scale nonreciprocal RF systems with unprecedented programmability.


title: SPH/N-body simulations of small (D = 10 km) asteroidal breakups and improved parametric relations for Monte-Carlo collisional models

abstract: We report on our study of asteroidal breakups, i.e. fragmentations of targets, subsequent gravitational reaccumulation and formation of small asteroid families. We focused on parent bodies with diameters $D_{\rm pb} = 10$ km. Simulations were performed with a smoothed-particle hydrodynamics (SPH) code combined with an efficient N-body integrator. We assumed various projectile sizes, impact velocities and impact angles (125 runs in total). Resulting size-frequency distributions are significantly different from scaled-down simulations with $D_{\rm pb} = 100$ km targets (Durda et al., 2007). We derive new parametric relations describing fragment distributions, suitable for Monte-Carlo collisional models. We also characterize velocity fields and angular distributions of fragments, which can be used as initial conditions for N-body simulations of small asteroid families. Finally, we discuss a number of uncertainties related to SPH simulations.


title: Cubical rectangles and rectangular lattices

abstract: Cubical rectangles are being defined and explored here over the $n-$dimensional geometric cube $Q_n.$ They form a new class of geometric objects that includes all the edges and all the squares of the $n-$cube. We enumerate and characterize them here in order to construct new posets, transforming into special lattices that will be called rectangular lattices. We show that rectangular lattices are closely related to the class of cubical lattices, that is, the face lattice of the $n-$cube.


title: Analytical solution for heat conduction due to a moving Gaussian heat flux with piecewise constant parameters

abstract: We provide an analytical solution of the heat equation in the half-space subject to a moving Gaussian heat flux with piecewise constant parameters. The solution is of interest in powder bed fusion applications where these parameters can be used to control the conduction of heat due to a scanning beam of concentrated energy. The analytical solution is written in a dimensionless form as a sum of integrals over (dimensionless) time. For the numerical computation of these integrals we suggest a quadrature scheme that utilizes pre-calculated look-up tables for the required quadrature orders. Such a scheme is efficient because the required quadrature orders are strongly dependent on the parameters in the heat flux. The possibilities of using the obtained computational technique for the control and optimization of powder bed fusion processes are discussed.


title: Coexistence of superconductivity and short-range double-stripe spin correlations in Te-vapor annealed FeTe$_{1-x}$Se$_{x}$ with $x\le0.2$

abstract: In as-grown bulk crystals of Fe$_{1+y}$Te$_{1-x}$Se$_{x}$ with $x\lesssim0.3$, excess Fe ($y>0$) is inevitable and correlates with a suppression of superconductivity. At the same time, there remains the question as to whether the character of the antiferromagnetic correlations associated with the enhanced anion height above the Fe planes in Te-rich samples is compatible with superconductivity. To test this, we have annealed as-grown crystals with $x=0.1$ and 0.2 in Te vapor, effectively reducing the excess Fe and inducing bulk superconductivity. Inelastic neutron scattering measurements reveal low-energy magnetic excitations consistent with short-range correlations of the double-stripe type; nevertheless, cooling into the superconducting state results in a spin gap and a spin resonance, with the extra signal in the resonance being short-range with a mixed single-stripe/double-stripe character, which is different than other iron-based superconductors. The mixed magnetic character of these superconducting samples does not appear to be trivially explainable by inhomogeneity.


title: Deadlock-Free Typestate-Oriented Programming

abstract: Context. TypeState-Oriented Programming (TSOP) is a paradigm intended to help developers in the implementation and use of mutable objects whose public interface depends on their private state. Under this paradigm, well-typed programs are guaranteed to conform with the protocol of the objects they use. Inquiry. Previous works have investigated TSOP for both sequential and concurrent objects. However, an important difference between the two settings still remains. In a sequential setting, a well-typed program either progresses indefinitely or terminates eventually. In a concurrent setting, protocol conformance is no longer enough to avoid deadlocks, a situation in which the execution of the program halts because two or more objects are involved in mutual dependencies that prevent any further progress. Approach. In this work, we put forward a refinement of TSOP for concurrent objects guaranteeing that well-typed programs not only conform with the protocol of the objects they use, but are also deadlock free. The key ingredients of the type system are behavioral types, used to specify and enforce object protocols, and dependency relations, used to represent abstract descriptions of the dependencies between objects and detect circularities that might cause deadlocks. Knowledge. The proposed approach stands out for two features. First, the approach is fully compositional and therefore scalable: the objects of a large program can be type checked in isolation; deadlock freedom of an object composition solely depends on the types of the objects being composed; any modification/refactoring of an object that does not affect its public interface does not affect other objects either. Second, we provide the first deadlock analysis technique for join patterns, a high-level concurrency abstraction with which programmers can express complex synchronizations in a succinct and declarative form. Grounding. We detail the proposed typing discipline for a core programming language blending concurrent objects, asynchronous message passing and join patterns. We prove that the type system is sound and give non-trivial examples of programs that can be successfully analyzed. A Haskell implementation of the type system that demonstrates the feasibility of the approach is publicly available. Importance. The static analysis technique described in this work can be used to certify programs written in a core language for concurrent TSOP with proven correctness guarantees. This is an essential first step towards the integration and application of the technique in a real-world developer toolchain, making programming of such systems more productive and less frustrating.


title: Baryon-dark matter scattering and first star formation

abstract: The recent detection of the sky-averaged 21-cm cosmological signal indicates a stronger absorption than the maximum allowed value based on the standard model. One explanation for the required colder primordial gas is the energy transfer between the baryon and dark matter fluids due to non-gravitational scattering. Here, we explore the thermal evolution of primordial gas, collapsing to form Population III (Pop III) stars, when this energy transfer is included. Performing a series of one-zone calculations, we find that the evolution results in stars more massive than in the standard model, provided that the dark matter is described by the best-fit parameters inferred from the 21-cm observation. On the other hand, a significant part of the dark matter parameter space can be excluded by the requirement to form massive Pop III stars sufficiently early in cosmic history. Otherwise, the radiation background needed to bring about the strong Wouthuysen-Field coupling at z >~ 17, inferred to explain the 21-cm absorption feature, could not be builtup. Intriguingly, the independent constraint from the physics of first star formation at high densities points to a similarly narrow range in dark matter properties. This exploratory study has to be followed-up with self-consistent three-dimensional simulations for a more rigorous derivation.


title: Greatest Lower Bounds on Ricci Curvature for Fano $T$-manifolds of Complexity $1$

abstract: In this short note we determine the greatest lower bounds on Ricci curvature for all Fano $T$-manifolds of complexity one, generalizing the result of Chi Li. Our method of proof is based on the work of Datar and Sz\'ekelyhidi, using the description of complexity one special configurations given by Ilten and S\"u\ss.


title: A RBF partition of unity collocation method based on finite difference for initial-boundary value problems

abstract: Meshfree radial basis function (RBF) methods are popular tools used to numerically solve partial differential equations (PDEs). They take advantage of being flexible with respect to geometry, easy to implement in higher dimensions, and can also provide high order convergence. Since one of the main disadvantages of global RBF-based methods is generally the computational cost associated with the solution of large linear systems, in this paper we focus on a localizing RBF partition of unity method (RBF-PUM) based on a finite difference (FD) scheme. Specifically, we propose a new RBF-PUM-FD collocation method, which can successfully be applied to solve time-dependent PDEs. This approach allows to significantly decrease ill-conditioning of traditional RBF-based methods. Moreover, the RBF-PUM-FD scheme results in a sparse matrix system, reducing the computational effort but maintaining at the same time a high level of accuracy. Numerical experiments show performances of our collocation scheme on two benchmark problems, involving unsteady convection-diffusion and pseudo-parabolic equations.


title: Rainbow factors in hypergraphs

abstract: For any $r$-graph $H$, we consider the problem of finding a rainbow $H$-factor in an $r$-graph $G$ with large minimum $\ell$-degree and an edge-colouring that is suitably bounded. We show that the asymptotic degree threshold is the same as that for finding an $H$-factor.


title: From Hindered to Promoted Settling in Dispersions of Attractive Colloids: Simulation, Modeling, and Application to Macromolecular Characterization

abstract: The settling of colloidal particles with short-ranged attractions is investigated via highly resolved immersed boundary simulations. At modest volume fractions, we show that inter-colloid attractions lead to clustering that reduces the hinderance to settling imposed by fluid back flow. For sufficient attraction strength, increasing the particle concentration grows the particle clusters, which further increases the mean settling rate in a physical mode termed promoted settling. The immersed boundary simulations are compared to recent experimental measurements of the settling rate in nanoparticle dispersions for which particles are driven to aggregate by short-ranged depletion attractions. The simulations are able to quantitatively reproduce the experimental results. We show that a simple, empirical model for the settling rate of adhesive hard sphere dispersions can be derived from a combination of the experimental and computational data as well as analytical results valid in certain asymptotic limits of the concentration and attraction strength. This model naturally extends the Richardson-Zaki formalism used to describe hindered settling of hard, repulsive spheres. Experimental measurements of the collective diffusion coefficient in concentrated solutions of globular proteins are used to illustrate inference of effective interaction parameters for sticky, globular macromolecules using this new empirical model. Finally, application of the simulation methods and empirical model to other colloidal systems are discussed.


title: Dysprosium dipolar Bose-Einstein condensate with broad Feshbach resonances

abstract: We produce Bose-Einstein condensates of $^{162}$Dy atoms employing an innovative technique based on a resonator-enhanced optical trap that allows efficient loading from the magneto-optical trap and fast evaporation. We characterize the scattering properties of the ultracold atoms for magnetic fields between 6 and 30 G. In addition to the typical chaotic distribution of narrow Feshbach resonances in Lanthanides, we discover two rather isolated broad features at around 22 G and 27 G. A characterization using the complementary measurements of losses, thermalization, anisotropic expansion and molecular binding energy points towards resonances of predominant s-wave character. Such resonances will ease the investigation of quantum phenomena relying on the interplay between dipole and contact interactions.


title: Orbital order in FeSe - the case for vertex renormalization

abstract: We study the structure of the d-wave orbital order in FeSe in light of recent STM and ARPES data, which detect the shapes of hole and electron pockets in the nematic phase. The geometry of the pockets indicates that the sign of the orbital order $\Gamma = \langle d^{\dagger}_{xz} d_{xz}- d^{\dagger}_{yz} d_{yz}\rangle$ is different between hole and electron pockets $(\Gamma_h$ and $\Gamma_e$). We argue that this sign change cannot be reproduced if one solves for the orbital order within mean-field approximation, as the mean-field analysis yields either no orbital order, or order with the same sign of $\Gamma_e$ and $\Gamma_h$. We argue that another solution with the opposite signs of $\Gamma_e$ and $\Gamma_h$ emerges if we include the renormalizations of the vertices in $d-$wave orbital channel. We show that the ratio $|\Gamma_e/\Gamma_h|$ is of order one, independent on the strength of the interaction. We also compute the temperature variation of the energy of $d_{xz}$ and $d_{yz}$ orbitals at the center of electron pockets and compare the results with ARPES data.


title: A Mixed-Logical-Dynamical model for Automated Driving on highways

abstract: We propose a hybrid decision-making framework for safe and efficient autonomous driving of selfish vehicles on highways. Specifically, we model the dynamics of each vehicle as a Mixed-Logical-Dynamical system and propose simple driving rules to prevent potential sources of conflict among neighboring vehicles. We formalize the coordination problem as a generalized mixed-integer potential game, where an equilibrium solution generates a sequence of mixed-integer decisions for the vehicles that trade off individual optimality and overall safety.


title: Geometric aspects of p-capacitary potentials

abstract: We provide monotonicity formulas for solutions to the p-Laplace equation defined in the exterior of a convex domain. A number of analytic and geometric consequences are derived, including the classical Minkowski inequality as well as new characterizations of rotationally symmetric solutions and domains. The proofs rely on the conformal splitting technique introduced by the second author in collaboration with V. Agostiniani.


title: Qubit-Qudit Separability/PPT-Probability Analyses and Lovas-Andai Formula Extensions to Induced Measures

abstract: We begin by seeking the qubit-qutrit and rebit-retrit counterparts to the now well-established Hilbert-Schmidt separability probabilities for (the 15-dimensional convex set of) two-qubits of $\frac{8}{33} = \frac{2^3}{3 \cdot 11} \approx 0.242424$ and (the 9-dimensional) two-rebits of $\frac{29}{64} =\frac{29}{2^6} \approx 0.453125$. Based in part on extensive numerical computations, we advance the possibilities of a qubit-qutrit value of $\frac{27}{1000} = (\frac{3}{10})^3 =\frac{3^3}{2^3 \cdot 5^3} = 0.027$ and a rebit-retrit one of $\frac{860}{6561} =\frac{2^2 \cdot 5 \cdot 43}{3^8} \approx 0.131078$. These four values for $2 \times m$ systems ($m=2,3$) suggest certain numerator/denominator sequences involving powers of $m$, which we further investigate for $m>3$. Additionally, we find that the Hilbert-Schmidt separability/PPT-probabilities for the two-rebit, rebit-retrit and two-retrit $X$-states all equal $\frac{16}{3 \pi^2} \approx 0.54038$, as well as more generally, that the probabilities based on induced measures are equal across these three sets of $X$-states. Then, we extend the generalized two-qubit framework introduced by Lovas and Andai from Hilbert-Schmidt measures to induced ones. For instance, while the Lovas-Andai two-qubit function is $\frac{1}{3} \varepsilon^2 (4 -\varepsilon^2)$, yielding $\frac{8}{33}$, its $k=1$ induced measure counterpart is $\frac{1}{4} \varepsilon ^2 \left(3-\varepsilon ^2\right)^2$, yielding $\frac{61}{143} =\frac{61}{11 \cdot 13} \approx 0.426573$, where $\varepsilon$ is a singular-value ratio. We investigate, in these regards, the possibility of extending the previously-obtained "Lovas-Andai master formula".


title: Motion Guided LIDAR-camera Self-calibration and Accelerated Depth Upsampling for Autonomous Vehicles

abstract: This work proposes a novel motion guided method for target-less self-calibration of a LiDAR and camera and use the re-projection of LiDAR points onto the image reference frame for real-time depth upsampling. The calibration parameters are estimated by optimizing an objective function that penalizes distances between 2D and re-projected 3D motion vectors obtained from time-synchronized image and point cloud sequences. For upsampling, a simple, yet effective and time efficient formulation that minimizes depth gradients subject to an equality constraint involving the LiDAR measurements is proposed. Validation is performed on recorded real data from urban environments and demonstrations that our two methods are effective and suitable to mobile robotics and autonomous vehicle applications imposing real-time requirements is shown.


title: Maps of the Southern Millimeter-wave Sky from Combined 2500 deg$^2$ SPT-SZ and Planck Temperature Data

abstract: We present three maps of the millimeter-wave sky created by combining data from the South Pole Telescope (SPT) and the Planck satellite. We use data from the SPT-SZ survey, a survey of 2540 deg$^2$ of the the sky with arcminute resolution in three bands centered at 95, 150, and 220 GHz, and the full-mission Planck temperature data in the 100, 143, and 217 GHz bands. A linear combination of the SPT-SZ and Planck data is computed in spherical harmonic space, with weights derived from the noise of both instruments. This weighting scheme results in Planck data providing most of the large-angular-scale information in the combined maps, with the smaller-scale information coming from SPT-SZ data. A number of tests have been done on the maps. We find their angular power spectra to agree very well with theoretically predicted spectra and previously published results.


title: Pose2Seg: Detection Free Human Instance Segmentation

abstract: The standard approach to image instance segmentation is to perform the object detection first, and then segment the object from the detection bounding-box. More recently, deep learning methods like Mask R-CNN perform them jointly. However, little research takes into account the uniqueness of the "human" category, which can be well defined by the pose skeleton. Moreover, the human pose skeleton can be used to better distinguish instances with heavy occlusion than using bounding-boxes. In this paper, we present a brand new pose-based instance segmentation framework for humans which separates instances based on human pose, rather than proposal region detection. We demonstrate that our pose-based framework can achieve better accuracy than the state-of-art detection-based approach on the human instance segmentation problem, and can moreover better handle occlusion. Furthermore, there are few public datasets containing many heavily occluded humans along with comprehensive annotations, which makes this a challenging problem seldom noticed by researchers. Therefore, in this paper we introduce a new benchmark "Occluded Human (OCHuman)", which focuses on occluded humans with comprehensive annotations including bounding-box, human pose and instance masks. This dataset contains 8110 detailed annotated human instances within 4731 images. With an average 0.67 MaxIoU for each person, OCHuman is the most complex and challenging dataset related to human instance segmentation. Through this dataset, we want to emphasize occlusion as a challenging problem for researchers to study.


title: Development of formal models, algorithms, procedures, engineering and functioning of the software system "Instrumental complex for ontological engineering purpose"

abstract: The given paper considered a generalized model representation of the software system "Instrumental complex for ontological engineering purpose". Represented complete software system development process. Developed relevant formal models of the software system "Instrumental complex for ontological engineering purpose", represented as mathematical expressions, UML diagrams, and also described the three-tier architecture of the software system "Instrumental complex for ontological engineering purpose" in a client-server environment.


title: Photon in the Earth-ionosphere cavity: Schumann resonances

abstract: We study a quantum analogy of Schumann resonances by solving massless and massive spin-1 particle equations derived from the Zitterbewegung model in an annular cavity background with poorly conducting walls. We also show that the massless case and the massive case in the $m_0^2 \rightarrow 0$ limit are compatible with Maxwell's electromagnetic theory. Furthermore, from the massive case, we predict an upper limit for the mass of the photon of 1.3x$10^{-50}$kg. The bound on the mass of the photon is compatible with the current limit in the literature.


title: Online monitoring of local taxi travel momentum and congestion effects using projections of taxi GPS-based vector fields

abstract: Ubiquitous taxi trajectory data has made it possible to apply it to different types of travel analysis. Of interest is the need to allow someone to monitor travel momentum and associated congestion in any location in space in real time. However, despite an abundant literature in taxi data visualization and its applicability to travel analysis, no easy method exists. To measure taxi travel momentum at a location, current methods require filtering taxi trajectories that stop at a location at a particular time range, which is computationally expensive. We propose an alternative, computationally cheaper way based on pre-processing vector fields from the trajectories. Algorithms are formalized for generating vector kernel density to estimate a travel-model-free vector field-based representation of travel momentum in an urban space. The algorithms are shared online as an open source GIS 3D extension called VectorKD. Using 17 million daily taxi GPS points within Beijing over a four-day period, we demonstrate how to generate in real time a series of projections from a continuously updated vector field of taxi travel momentum to query a point of interest anywhere in a city, such as the CBD or the airport. This method allows a policy-maker to automatically identify temporal net influxes of travel demand to a location. The proposed methodology is shown to be over twenty times faster than a conventional selection query of trajectories. We also demonstrate, using taxi data entering the Beijing Capital International Airport and the CBD, how we can quantify in nearly real time the occurrence and magnitude of inbound or outbound queueing and congestion periods due to taxis cruising or waiting for passengers, all without having to fit any mathematical queueing model to the data.


title: Mapping Walls of Indoor Environment using RGB-D Sensor

abstract: Inferring walls configuration of indoor environment could help robot "understand" the environment better. This allows the robot to execute a task that involves inter-room navigation, such as picking an object in the kitchen. In this paper, we present a method to inferring walls configuration from a moving RGB-D sensor. Our goal is to combine a simple wall configuration model and fast wall detection method in order to get a system that works online, is real-time, and does not need a Manhattan World assumption. We tested our preliminary work, i.e. wall detection and measurement from moving RGB-D sensor, with MIT Stata Center Dataset. The performance of our method is reported in terms of accuracy and speed of execution.


title: Dispatching to Parallel Servers: Solutions of Poisson's Equation for First-Policy Improvement

abstract: Policy iteration techniques for multiple-server dispatching rely on the computation of value functions. In this context, we consider the continuous-space M/G/1-FCFS queue endowed with an arbitrarily-designed cost function for the waiting times of the incoming jobs. The associated relative value function is a solution of Poisson's equation for Markov chains, which in this work we solve in the Laplace transform domain by considering an ancillary, underlying stochastic process extended to (imaginary) negative backlog states. This construction enables us to issue closed-form relative value functions for polynomial and exponential cost functions and for piecewise compositions of the latter, in turn permitting the derivation of interval bounds for the relative value function in the form of power series or trigonometric sums. We review various cost approximation schemes and assess the convergence of the interval bounds these induce on the relative value function. Namely: Taylor expansions (divergent, except for a narrow class of entire functions with low orders of growth), and uniform approximation schemes (polynomials, trigonometric), which achieve optimal convergence rates over finite intervals. This study addresses all the steps to implementing dispatching policies for systems of parallel servers, from the specification of general cost functions towards the computation of interval bounds for the relative value functions and the exact implementation of the first-policy improvement step.


title: On merging constraint and optimal control-Lyapunov functions

abstract: Merging two Control Lyapunov Functions (CLFs) means creating a single "new-born" CLF by starting from two parents functions. Specifically, given a "father" function, shaped by the state constraints, and a "mother" function, designed with some optimality criterion, the merging CLF should be similar to the father close to the constraints and similar to the mother close to the origin. To successfully merge two CLFs, the control-sharing condition is crucial: the two functions must have a common control law that makes both Lyapunov derivatives simultaneously negative. Unfortunately, it is difficult to guarantee this property a-priori, i.e., while computing the two parents functions. In this paper, we propose a technique to create a constraint-shaped "father" function that has the control-sharing property with the "mother" function. To this end, we introduce a partial control-sharing, namely, the control-sharing only in the regions where the constraints are active. We show that imposing partial control-sharing is a convex optimization problem. Finally, we show how to apply the partial control-sharing for merging constraint-shaped functions and the Riccati-optimal functions, thus generating a CLF with bounded complexity that solves the constrained linear-quadratic stabilization problem with local optimality.


title: Gravitating gauged BPS baby Skyrmions

abstract: We show that the minimally gauged BPS baby Skyrme model remains a BPS theory after coupling with gravity that is the topologically nontrivial configurations called baby Skyrmions carrying magnetic flux are solutions to a zero pressure equation. Following that the proper mass, magnetic flux and the proper geometric volume are linear function of the topological charge, while the total ADM mass and geometric radius get a contribution due to the gravitational interaction which is quadratic in the topological charge. All these quantities are found exactly as target space integrals (averages) of the so-called superpotential. A complete classification of possible mass-radius curves is provided.As an example we consider the model with the pion like mass potential, for which, an approximated but analytical form of the superpotential is provided.


title: The Single-mode Complex Amplitude Refinement (SCAR) coronagraph: I. Concept, theory and design

abstract: The discovery of an Earth-mass exoplanet around the nearby star Proxima Centauri provides a prime target for the search for life on planets outside our solar system. Atmospheric characterization of these planets has been proposed by blocking the starlight with a stellar coronagraph and using a high-resolution spectrograph to search for reflected starlight off the planet. Due to the large flux ratio and small angular separation between Proxima b and its host star ($\lesssim10^{-7}$ and $\lesssim2.2\lambda/D$ respectively; at 750nm for an 8m-class telescope) the coronagraph needs to have a high starlight suppression at low inner-working angles. We aim to find the global optimum of an integrated coronagraphic integral-field spectrograph. We present the Single-mode Complex Amplitude Refinement (SCAR) coronagraph that uses a microlens-fed single-mode fiber array in the focal plane downstream from a pupil-plane phase plate. The mode-filtering property of the single-mode fibers allows for the nulling of starlight on the fibers. The phase pattern in the pupil plane is specifically designed to take advantage of this mode-filtering capability. Second-order nulling on the fibers expands the spectral bandwidth and decreases the tip-tilt sensitivity of the coronagraph. The SCAR coronagraph has a low inner-working angle ($\sim1\lambda/D$) at a contrast of $<3\times10^{-5}$ for the 6 fibers surrounding the star using a sufficiently-good adaptive optics system. It can operate over broad spectral bandwidths ($\sim20\%$) and delivers high throughput ($>50\%$ including fiber injection losses). Additionally, it is robust against tip-tilt errors ($\sim0.1\lambda/D$ rms). We present SCAR designs for both an unobstructed and a VLT-like pupil. The SCAR coronagraph is a promising candidate for exoplanet detection and characterization around nearby stars using current high-resolution imaging instruments.


title: Striking Isotope Effect on the Metallization Phase Lines of Liquid Hydrogen and Deuterium

abstract: Liquid atomic metallic hydrogen is the simplest, lightest, and most abundant of all liquid metals. The role of nucleon motions or ion dynamics has been somewhat ignored in relation to the dissociative insulator-metal transition. Almost all previous experimental high-pressure studies have treated the fluid isotopes, hydrogen and deuterium, with no distinction. Studying both hydrogen and deuterium at the same density, most crucially at the phase transition line, can experimentally reveal the importance of ion dynamics. We use static compression to study the optical properties of dense deuterium in the pressure region of 1.2-1.7 Mbar and measured temperatures up to ~3000 K. We observe an abrupt increase in reflectance, consistent with dissociation-induced metallization, at the transition. Here we show that at the same pressure (density) for the two isotopes, the phase line of this transition reveals a prominent isotopic shift, ~700 K. This shift is lower than the isotopic difference in the free-molecule dissociation energies, but it is still large considering the high density of the liquid and the complex many-body effects. Our work reveals the importance of quantum nuclear effects in describing the metallization transition and conduction properties in dense hydrogen systems at conditions of giant planetary interiors, and provides an invaluable benchmark for ab-initio calculations.


title: The Single-mode Complex Amplitude Refinement (SCAR) coronagraph: II. Lab verification, and toward the characterization of Proxima b

abstract: We present the monochromatic lab verification of the newly developed SCAR coronagraph that combines a phase plate (PP) in the pupil with a microlens-fed single-mode fiber array in the focal plane. The two SCAR designs that have been measured, create respectively a 360 degree and 180 degree dark region from 0.8-2.4 \lambda/D around the star. The 360 SCAR has been designed for a clear aperture and the 180 SCAR has been designed for a realistic aperture with central obscuration and spiders. The 360 SCAR creates a measured stellar null of $2-3 \times 10^{-4}$ , and the 180 SCAR reaches a null of $1 \times 10^{-4}$ . Their monochromatic contrast is maintained within a range of $\pm$ 0.16 \lambda/D peak-to-valley tip-tilt, which shows the robustness against tip-tilt errors. The small inner working angle and tip-tilt stability makes the SCAR coronagraph a very promising technique for an upgrade of current high-contrast instruments to characterize and detect exoplanets in the solar neighborhood.


title: Direct Visualization of Barrier Crossing Dynamics in a Driven Optical Matter System

abstract: A major impediment to a more complete understanding of barrier crossing and other single-molecule processes is the inability to directly visualize the trajectories and dynamics of atoms and molecules in reactions. Rather, the kinetics are inferred from ensemble measurements or the position of a transducer (e.g. an AFM cantilever) as a surrogate variable. Direct visualization is highly desirable. Here, we achieve the direct measurement of barrier crossing trajectories by using optical microscopy to observe position and orientation changes of pairs of Ag nanoparticles in an optical ring trap, i.e. passing events. A two-step mechanism similar to a bimolecular exchange reaction is revealed by analysis that combines detailed knowledge of each trajectory, a statistically significant number of repetitions of the passing events, and the driving force-dependence of the process. We find that while the total event rate increases with driving force, this increase is only due to increased rate of encounters. There is no drive force-dependence on the rate of barrier crossing because the key motion for the process involves a radial motion of one particle as a thermal (random) fluctuation allowing the other to pass. This simple experiment can readily be extended to study more complex barrier crossing processes by replacing the spherical metal nanoparticles with anisotropic ones or through more intricate optical trapping potentials.


title: Thin or bulky: optimal aspect ratios for ship hulls

abstract: Empirical data reveals a broad variety of hull shapes among the different ship categories. We present a minimal theoretical approach to address the problem of ship hull optimisation. We show that optimal hull aspect ratios result -- at given load and propulsive power -- from a subtle balance between wave drag, pressure drag and skin friction. Slender hulls are more favourable in terms of wave drag and pressure drag, while bulky hulls have a smaller wetted surface for a given immersed volume, by that reducing skin friction. We confront our theoretical results to real data and discuss discrepancies in the light of hull designer constraints, such as stability or manoeuvrability.


title: Exact Differential Equations and Harmonic Functions

abstract: In this work, we investigate some connections between exact differential equations and harmonic functions and in particular, we obtain necessary and sufficient conditions for which exact equations admit harmonic solutions. As an application, we consider the orthogonal trajectories of harmonic functions, and among other results we obtain that the Cauchy-Riemann equations and the non-vanishing of the first partial derivatives are sufficient for any two curves to be orthogonal trajectories of each other. All curves throughout the work are restricted to the xy-plane.


title: Large deviations of the Lyapunov exponent and localization for the 1D Anderson model

abstract: The proof of Anderson localization for the 1D Anderson model with arbitrary (e.g. Bernoulli) disorder, originally given by Carmona-Klein-Martinelli in 1987, is based in part on the multi-scale analysis. Later, in the 90s, it was realized that for one-dimensional models with positive Lyapunov exponents some parts of multi-scale analysis can be replaced by considerations involving subharmonicity and large deviation estimates for the corresponding cocycle, leading to nonperturbative proofs for 1D quasiperiodic models. In this paper we present a short proof along these lines, for the Anderson model. To prove dynamical localization we also develop a uniform version of Craig-Simon's bound that works in high generality and may be of independent interest.


title: Application of Deep Learning methods to analysis of Imaging Atmospheric Cherenkov Telescopes data

abstract: Ground based gamma-ray observations with Imaging Atmospheric Cherenkov Telescopes (IACTs) play a significant role in the discovery of very high energy (E > 100 GeV) gamma-ray emitters. The analysis of IACT data demands a highly efficient background rejection technique, as well as methods to accurately determine the energy of the recorded gamma-ray and the position of its source in the sky. We present results for background rejection and signal direction reconstruction from first studies of a novel data analysis scheme for IACT measurements. The new analysis is based on a set of Convolutional Neural Networks (CNNs) applied to images from the four H.E.S.S. phase-I telescopes. As the H.E.S.S. cameras pixels are arranged in a hexagonal array, we demonstrate two ways to use such image data to train CNNs: by resampling the images to a square grid and by applying modified convolution kernels that conserve the hexagonal grid properties. The networks were trained on sets of Monte-Carlo simulated events and tested on both simulations and measured data from the H.E.S.S. array. A comparison between the CNN analysis to current state-of-the-art algorithms reveals a clear improvement in background rejection performance. When applied to H.E.S.S. observation data, the CNN direction reconstruction performs at a similar level as traditional methods. These results serve as a proof-of-concept for the application of CNNs to the analysis of events recorded by IACTs.


title: Weakly-Supervised Action Segmentation with Iterative Soft Boundary Assignment

abstract: In this work, we address the task of weakly-supervised human action segmentation in long, untrimmed videos. Recent methods have relied on expensive learning models, such as Recurrent Neural Networks (RNN) and Hidden Markov Models (HMM). However, these methods suffer from expensive computational cost, thus are unable to be deployed in large scale. To overcome the limitations, the keys to our design are efficiency and scalability. We propose a novel action modeling framework, which consists of a new temporal convolutional network, named Temporal Convolutional Feature Pyramid Network (TCFPN), for predicting frame-wise action labels, and a novel training strategy for weakly-supervised sequence modeling, named Iterative Soft Boundary Assignment (ISBA), to align action sequences and update the network in an iterative fashion. The proposed framework is evaluated on two benchmark datasets, Breakfast and Hollywood Extended, with four different evaluation metrics. Extensive experimental results show that our methods achieve competitive or superior performance to state-of-the-art methods.


title: Darling-Kac theorem for renewal shifts in the absence of regular variation

abstract: We study null recurrent renewal Markov chains with renewal distribution in the domain of geometric partial attraction of a semistable law. Using the classical procedure of inversion, we derive a limit theorem similar to the Darling-Kac law along subsequences and obtain some interesting properties of the limit distribution. Also in this context, we obtain a Karamata type theorem along subsequences for positive operators. In both results, we identify the allowed class of subsequences. We provide several examples of nontrivial infinite measure preserving systems to which these results apply.


title: Enriching the Symphony of Gravitational Waves from Binary Black Holes by Tuning Higher Harmonics

abstract: For the first time, we construct an inspiral-merger-ringdown waveform model within the effective-one-body formalism for spinning, nonprecessing binary black holes that includes gravitational modes beyond the dominant $(\ell,|m|) = (2,2)$ mode, specifically $(\ell,|m|)=(2,1),(3,3),(4,4),(5,5)$. Our multipolar waveform model incorporates recent (resummed) post-Newtonian results for the inspiral and information from 157 numerical-relativity simulations, and 13 waveforms from black-hole perturbation theory for the (plunge-)merger and ringdown. We quantify the improved accuracy including higher-order modes by computing the faithfulness of the waveform model against the numerical-relativity waveforms used to construct the model. We define the faithfulness as the match maximized over time, phase of arrival, gravitational-wave polarization and sky position of the waveform model, and averaged over binary orientation, gravitational-wave polarization and sky position of the numerical-relativity waveform. When the waveform model contains only the $(2,2)$ mode, we find that the averaged faithfulness to numerical-relativity waveforms containing all modes with $\ell \leq$ 5 ranges from $90\%$ to $99.9\%$ for binaries with total mass $20-200 M_\odot$ (using the Advanced LIGO's design noise curve). By contrast, when the $(2,1),(3,3),(4,4),(5,5)$ modes are also included in the model, the faithfulness improves to $99\%$ for all but four configurations in the numerical-relativity catalog, for which the faithfulness is greater than $98.5\%$. Using our results, we also develop also a (stand-alone) waveform model for the merger-ringdown signal, calibrated to numerical-relativity waveforms, which can be used to measure multiple quasi-normal modes. The multipolar waveform model can be extended to include spin-precession, and will be employed in upcoming observing runs of Advanced LIGO and Virgo.


title: Uniqueness of circumcenters in generalized Minkowski spaces

abstract: In an $n$-dimensional normed space every bounded set has a unique circumball if and only if every set of cardinality two has a unique circumball and if and only if the unit ball of the space is strictly convex. When the symmetry of the norm is dropped, i.e., when the centrally symmetric unit ball is replaced by an arbitrary convex body, then the above three conditions are no longer equivalent. We show for the latter case that every bounded set has a unique circumball if and only if every set of cardinality at most $n$ has a unique circumball. We also give an equivalent condition in terms of the geometry of the unit ball. In similar terms we answer the following more general question for every $k \in \{0,\ldots,n-2\}$: When are the dimensions of the sets of all circumcenters of arbitrary bounded sets not larger than $k$?


title: Direct Reconstruction of the Quantum Density Matrix by Strong Measurements

abstract: New techniques based on weak measurements have recently been introduced to the field of quantum state reconstruction. Some of them allow the direct measurement of each matrix element of an unknown density operator and need only $O(d)$ different operations, compared to $d^2$ linearly independent projectors in the case of standard quantum state tomography, for the reconstruction of an arbitrary mixed state. However, due to the weakness of these couplings, these protocols are approximated and prone to large statistical errors. We propose a method which is similar to the weak measurement protocols but works regardless of the coupling strength: our protocol is not approximated and thus improves the accuracy and precision of the results with respect to weak measurement schemes. We experimentally apply it to the polarization state of single photons and compare the results to those of preexisting methods for different values of the coupling strength. Our results show that our method outperforms previous proposals in terms of accuracy and statistical errors.


title: End-to-End Multi-Task Learning with Attention

abstract: We propose a novel multi-task learning architecture, which allows learning of task-specific feature-level attention. Our design, the Multi-Task Attention Network (MTAN), consists of a single shared network containing a global feature pool, together with a soft-attention module for each task. These modules allow for learning of task-specific features from the global features, whilst simultaneously allowing for features to be shared across different tasks. The architecture can be trained end-to-end and can be built upon any feed-forward neural network, is simple to implement, and is parameter efficient. We evaluate our approach on a variety of datasets, across both image-to-image predictions and image classification tasks. We show that our architecture is state-of-the-art in multi-task learning compared to existing methods, and is also less sensitive to various weighting schemes in the multi-task loss function. Code is available at https://github.com/lorenmt/mtan.


title: Semi-supervised learning for structured regression on partially observed attributed graphs

abstract: Conditional probabilistic graphical models provide a powerful framework for structured regression in spatio-temporal datasets with complex correlation patterns. However, in real-life applications a large fraction of observations is often missing, which can severely limit the representational power of these models. In this paper we propose a Marginalized Gaussian Conditional Random Fields (m-GCRF) structured regression model for dealing with missing labels in partially observed temporal attributed graphs. This method is aimed at learning with both labeled and unlabeled parts and effectively predicting future values in a graph. The method is even capable of learning from nodes for which the response variable is never observed in history, which poses problems for many state-of-the-art models that can handle missing data. The proposed model is characterized for various missingness mechanisms on 500 synthetic graphs. The benefits of the new method are also demonstrated on a challenging application for predicting precipitation based on partial observations of climate variables in a temporal graph that spans the entire continental US. We also show that the method can be useful for optimizing the costs of data collection in climate applications via active reduction of the number of weather stations to consider. In experiments on these real-world and synthetic datasets we show that the proposed model is consistently more accurate than alternative semi-supervised structured models, as well as models that either use imputation to deal with missing values or simply ignore them altogether.


title: Complementary Polynomials From Rodrigues' Representations For Confluent And Hypergeometric Functions And More

abstract: Complementary polynomials of Legendre polynomials are briefly presented, as well as those for the confluent and hypergeometric functions, relativistic Hermite polynomials and corresponding new pre-Laguerre polynomials. The generating functions are all given in closed form and are much simpler than the standard ones. Some are simply polynomials in two variables. New recursions and addition formulas are derived.


title: Tilting modules for the Auslander algebra of $K[x]/(x^n)$

abstract: We construct an isomorphism between the partially ordered set of tilting modules for the Auslander algebra of $K[x]/(x^n)$ and the interval of rational permutation braids in the braid group on $n$ strands. Hence, there are only finitely many tilting modules.


title: Sign reversal superconducting gaps revealed by phase referenced quasi-particle interference of impurity induced bound states in (Li$_{1-x}$Fe$_x$)OHFe$_{1-y}$Zn$_y$Se

abstract: By measuring the spatial distribution of differential conductance near impurities on Fe sites, we have obtained the quasi-particle interference (QPI) patterns in the (Li$_{1-x}$Fe$_x$)OHFe$_{1-y}$Zn$_y$Se superconductor with only electron Fermi surfaces. By taking the Fourier transform on these patterns, we investigate the scattering features between the two circles of electron pockets formed by folding or hybridization. We treat the data by using the recent theoretical approach [arXiv:1710.09089] which is specially designed for the impurity induced bound states. It is found that the superconducting gap sign is reversed on the two electron pockets, which can be directly visualized by the phase-referenced QPI technique, indicating that the Cooper pairing is induced by the repulsive interaction. Our results further show that this method is also applicable for data measured for multiple impurities, which provides an easy and feasible way for detecting the gap function of unconventional superconductors.


title: Shockwave Behaviour in RR Lyrae Stars

abstract: Here we present the detailed analysis of some modulated Kepler and K2 RR Lyrae stars that show peculiar bump progression in respect to the pulsation phase.


title: Resource theory of unextendibility and non-asymptotic quantum capacity

abstract: In this paper, we introduce the resource theory of unextendibility as a relaxation of the resource theory of entanglement. The free states in this resource theory are the k-extendible states, associated with the inability to extend quantum entanglement in a given quantum state to multiple parties. The free channels are k-extendible channels, which preserve the class of k-extendible states. We define several quantifiers of unextendibility by means of generalized divergences and establish their properties. By utilizing this resource theory, we obtain non-asymptotic upper bounds on the rate at which quantum communication or entanglement preservation is possible over a finite number of uses of an arbitrary quantum channel assisted by k-extendible channels at no cost. These bounds are significantly tighter than previously known bounds for both the depolarizing and erasure channels. Finally, we revisit the pretty strong converse for the quantum capacity of antidegradable channels and establish an upper bound on the non-asymptotic quantum capacity of these channels.


title: Existence and uniqueness of mild solution to stochastic heat equation with white and fractional noises

abstract: We prove the existence and uniqueness of a mild solution for a class of non-autonomous parabolic mixed stochastic partial differential equations defined on a bounded open subset $D \subset \mathbb{R}^d$ and involving standard and fractional $L^2(D)$-valued Brownian motions. We assume that the coefficients are homogeneous, Lipschitz continuous and the coefficient at the fractional Brownian motion is an affine function.


title: Controllable two-photon interference with versatile quantum frequency processor

abstract: Quantum information is the next frontier in information science, promising unconditionally secure communications, enhanced channel capacities, and computing capabilities far beyond their classical counterparts. And as quantum information processing devices continue to transition from the lab to the field, the demand for the foundational infrastructure connecting them with each other and their users---the quantum internet---will only increase. Due to the remarkable success of frequency multiplexing and control in the classical internet, quantum information encoding in optical frequency offers an intriguing synergy with state-of-the-art fiber-optic networks. Yet coherent quantum frequency operations prove extremely challenging, due to the difficulties in mixing frequencies efficiently, arbitrarily, in parallel, and with low noise. Here we implement an original approach based on a reconfigurable quantum frequency processor, designed to perform arbitrary manipulations of spectrally encoded qubits. This processor's unique tunability allows us to demonstrate frequency-bin Hong-Ou-Mandel interference with record-high 94% visibility. Furthermore, by incorporating such tunability with our method's natural parallelizability, we synthesize independent quantum frequency gates in the same device, realizing the first high-fidelity flip of spectral correlations on two entangled photons. Compared to quantum frequency mixing approaches based on nonlinear optics, our linear method removes the need for additional pump fields and significantly reduces background noise. Our results demonstrate multiple functionalities in parallel in a single platform, representing a huge step forward for the frequency-multiplexed quantum internet.


title: Biblioranking fundamental physics

abstract: We propose measures of the impact of research that improve on existing ones such as counting of number of papers, citations and $h$-index. Since different papers and different fields have largely different average number of co-authors and of references we replace citations with individual citations, shared among co-authors. Next, we improve on citation counting applying the PageRank algorithm to citations among papers. Being time-ordered, this reduces to a weighted counting of citation descendants that we call PaperRank. Similarly, we compute an AuthorRank applying the PageRank algorithm to citations among authors. These metrics quantify the impact of an author or paper taking into account the impact of those authors that cite it. Finally, we show how self- and circular- citations can be eliminated by defining a closed market of citation-coins. We apply these metrics to the InSpire database that covers fundamental physics, ranking papers, authors, journals, institutes, towns, countries, continents, genders, for all-time and in recent time periods.

categories: cs.DL astro-ph.CO hep-ph hep-th physics.soc-ph


title: Addendum to Strangeness Production and Color Deconfinement

abstract: Recent extensive data from the beam energy scan of the STAR collaboration at BNL-RHIC provide the basis for a detailed update for the universal behavior of the strangeness suppression factor gamma_s as function of the initial entropy density, as proposed in our recent paper [1]. [1] P. Castorina, S. Plumari and H. Satz, Int. J. Mod. Phys. E26 (2017) 1750081 (arXiv:1709.02706)


title: Unusual Electronic excitations in ABA trilayer graphene

abstract: The tight-binding model is closely associated with the modified random-phase approximation to thoroughly explore the electron-electron interactions in trilayer AB-stacked graphene. The intralayer and interlayer atomic/Coulomb interactions dominate the collective and electron-hole excitations. The unusual energy bands are directly reflected in the diverse transferred momentum-frequency phase diagrams. There exist three kinds of plasmon modes during the variation of the doping level, being accompanied with the complicated intraband and interband single-particle excitations. The excitation behaviors are greatly diversified by the number of layers. The theoretical predictions require the high-resolution experimental examinations.


title: Orbifold hyperbolicity

abstract: We define and study jet bundles in the geometric orbifold category. We show that the usual arguments from the compact and the logarithmic settings do not all extend to this more general framework. This is illustrated by simple examples of orbifold pairs of general type that do not admit any global jet differential, even if some of these examples satisfy the Green-Griffiths-Lang conjecture. This contrasts with an important result of Demailly (2010) proving that compact varieties of general type always admit jet differentials. We illustrate the usefulness of the study of orbifold jets by establishing the hyperbolicity of some orbifold surfaces, that cannot be derived from the current techniques in Nevanlinna's theory. We also conjecture that Demailly's theorem should hold for orbifold pairs with smooth boundary divisors under a certain natural multiplicity condition, and provide some evidence towards it.


title: Diffusion rate of windtree models and Lyapunov exponents

abstract: Consider a windtree model with several parallel arbitrary right-angled obstacles placed periodically on the plane. We show that its diffusion rate is the largest Lyapunov exponent of some stratum of quadratic differentials and exhibit a new general strategy to compute the generic diffusion rate of such models. This result enables us to compute numerically the diffusion rates of a large family of models, and to observe its asymptotic behaviour according to the shape of the obstacles.


title: The complex Monge-Amp\'{e}re equation on the complement of a divisor

abstract: We consider the complex Monge-Amp\'{e}re equation on complete K\"{a}hler manifolds with cusp singularity along a divisor when the right hand side $F$ has rather weak regularity. We proved that when the right hand side $F$ is in some \emph{weighted} $W^{1,p_0}$ space for $p_0 > 2n$, the Monge-Amp\'{e}re equation has a classical $W^{3,p_0}$ solution.


title: On the difficulty of generating gravitational wave turbulence in the early universe

abstract: A recent article by Galtier and Nazarenko [1] proposed that weakly nonlinear gravitational waves could result in a turbulent cascade, with energy flowing from high to low frequency modes or vice versa. This is an interesting proposition for early universe cosmology because it could suggest some "natural" initial conditions for the gravitational background. In this paper we use the ADM formalism to show that, given some simple and, arguably, natural assumptions, such initial conditions lead to expansion (or collapse) of the spacetime on a timescale much faster than that of the turbulent cascade, meaning that the cascade is unlikely to have sufficient time to develop under general conditions. We suggest possible ways in which the expansion could be mitigated to give the cascade time to develop.


title: The edge-vertex inequality in a planar graph and a bipartition for the class of all planar graphs

abstract: For a planar graph with a given f-vector $(f_{0}, f_{1}, f_{2}),$ we introduce a cubic polynomial whose coefficients depend on the f-vector. The planar graph is said to be real if all the roots of the corresponding polynomial are real. Thus we have a bipartition of all planar graphs into two disjoint class of graphs, real and complex ones. As a contribution toward a full recognition of planar graphs in this bipartition, we study and recognize completely a subclass of planar graphs that includes all the connected grid subgraphs. Finally, all the 2-connected triangle-free complex planar graphs of 7 vertices are listed.


title: Infrared Spectroscopic Study of Vibrational Modes across the Orthorhombic-Tetragonal Phase Transition in Methylammonium Lead Halide Single Crystals

abstract: Single crystals of the methylammonium (MA) lead halides MAPbI3, MAPbBr3, and MAPbCl3 have been investigated using infrared spectroscopy with the aim of analyzing structural and dynamical aspects of processes that enable the ordering of the MA molecule in the orthorhombic crystal structure of these hybrid perovskites. Our temperature-dependent studies were focused on the analysis of the CH/NH rocking, C-N stretching, and CH/NH bending modes of the MA molecule in the 800-1750 cm-1 frequency range. They deliver a direct comparison of the behavior of the three halides on crossing the orthorhombic-tetragonal phase transition in MA lead halide single crystals. Drastic changes of all vibrational modes close to the phase transition were clearly observed. Additional spectral features that were not discussed previously are pointed out. The transformation of the 2-dimensional orthorhombic hydrogen bond layers into a more 3-dimensional arrangement in the tetragonal phase seems to be an important feature providing deeper insight into the mechanisms that lead to a free-rotating MA molecule in the inorganic host structure. The change of the molecules site symmetry in the tetragonal crystal structure seems to be an important feature of the orthorhombic-tetragonal phase transition. For low temperatures it can be stated that the iodide is stronger influenced by hydrogen bonding than the bromide and the chloride.


title: Application of Variance-Based Sensitivity Analysis to a Large System Dynamics Model

abstract: Variance-based sensitivity methods can provide insights into large computational models. We present a novel application of sensitivity analysis to the Biomass Scenario Model (BSM) a large and complex system dynamics model of the developing biofuels industry in the United States. We apply a two-stage sensitivity approach consisting of an initial sensitivity screening, followed by a variance decomposition approach. Identifying key system levers and quantifying their strength is not straightforward in complex system dynamics models that have numerous feedbacks and nonlinear results. Variance-based sensitivity analysis (VBSA) offers a systematic, global approach to assessing system dynamics models because it addresses nonlinear responses and interactive effects. Especially when a large model's size makes manual exploration of the input space difficult and time-consuming, the approach can help to provide a comprehensive understanding of interactions that drive model behaviors.


title: Constructing Majorana Representations

abstract: Majorana theory was introduced by A. A. Ivanov as an axiomatic framework in which to study objects related to the Monster simple group and the Griess algebra. Since its inception, it has been used to construct a number of new and important subalgebras of the Griess algebra. The objects at the centre of the theory are known as Majorana algebras and can be studied either in their own right, or as Majorana representations of finite groups. In this paper, we present an algorithm to construct the Majorana representations of a given group. We also list a number of groups for which we have constructed Majorana representations, including some which give new examples of Majorana algebras. This work is inspired by that of A. Seress.


title: Study of central light concentration in nearby galaxies

abstract: We propose a novel technique to estimate the masses of super massive black holes (SMBHs) residing at the centres of massive galaxies in the nearby Universe using simple photometry. Aperture photometry using SEXTRACTOR is employed to determine the central intensity ratio (CIR) at the optical centre of the galaxy image for a sample of 49 nearby galaxies with SMBH mass estimations. We find that the CIR of ellipticals and classical bulges is strongly correlated with SMBH masses whereas pseudo bulges and ongoing mergers show significant scatter. Also, the CIR of low luminosity AGNs in the sample shows significant connection with the 5 GHz nuclear radio emission suggesting a stronger link between the former and the SMBH evolution in these galaxies. In addition, it is seen that various structural and dynamical properties of the SMBH host galaxies are correlated with the CIR making the latter an important parameter in galaxy evolution studies. Finally, we propose the CIR to be an efficient and simple tool not only to distinguish classical bulges from pseudo bulges but also to estimate the mass of the central SMBH.


title: Quantum Monte Carlo formalism for dynamical pions and nucleons

abstract: In most simulations of nonrelativistic nuclear systems, the wave functions found solving the many-body Schr\"odinger equations describe the quantum-mechanical amplitudes of the nucleonic degrees of freedom. In those simulations the pionic contributions are encoded in nuclear potentials and electroweak currents, and they determine the low-momentum behavior. In this work we present an alternative quantum Monte Carlo formalism in which both relativistic pions and nonrelativistic nucleons are explicitly included in the quantum-mechanical states of the system. We report the renormalization of the nucleon mass as a function of the momentum cutoff, an Euclidean time density correlation function that deals with the short-time nucleon diffusion, and the pion cloud density and momentum distributions. In the two-nucleon sector we show that the interaction of two static nucleons at large distances reduces to the one-pion exchange potential, and we fit the low-energy constants of the contact interactions to reproduce the binding energy of the deuteron and two neutrons in finite volumes. We show that the method can be readily applied to light-nuclei.


title: An Approach for Finding Permutations Quickly: Fusion and Dimension matching

abstract: Polyhedral compilers can perform complex loop optimizations that improve parallelism and cache behaviour of loops in the input program. These transformations result in significant performance gains on modern processors which have large compute power and deep memory hierarchies. The paper, "Polyhedral Auto-transformation with No Integer Linear Programming", identifies issues that adversely affect scalability of polyhedral transformation frameworks; in particular the Pluto algorithm. The construction and solving of a complex Integer Linear Programming (ILP) problem increases the time taken by a polyhedral compiler significantly. The paper presents two orthogonal ideas, which together overcome the scalability issues in the affine scheduling problem. It first relaxes the ILP to a Linear Programming (LP) problem, thereby solving a cheaper algorithm. To overcome the sub-optimalities that arise due to this relaxation, the affine scheduling problem is decomposed into following three components: (1) Fusion and dimension matching, (2) Loop scaling and shifting, and (3) Loop skewing. This new auto-transformation framework, pluto-lp-dfp, significantly improves the time taken by the Pluto algorithm without sacrificing performance of the generated code. This report first provides proofs for the theoretical claims made in the paper surrounding relaxed LP formulation of the Pluto algorithm. The second part of the report describes an approach to find good loop fusion (or distribution) and loop permutations that enable tileability. This short report serves as the supplementary material for the paper.


title: Charge-density-wave phase, mottness and ferromagnetism in monolayer $1T$-NbSe$_2$

abstract: The recently investigated $1T$-polymorph of monolayer NbSe$_2$ revealed an insulating behaviour suggesting a star-of-David phase with $\sqrt{13}\,\times\sqrt{13}$ periodicity associated with a Mott insulator, reminiscent of $1T$-TaS$_2$. In this work, we examine this novel two-dimensional material from first principles. We find an instability towards the formation of an incommensurate charge-density-wave (CDW) and establish the star-of-David phase as the most stable commensurate CDW. The mottness in the star-of-David phase is confirmed and studied at various levels of theory: the spin-polarized generalized gradient approximation (GGA) and its extension involving the on-site Coulomb repulsion (GGA+$U$), as well as the dynamical mean-field theory (DMFT). Finally, we estimate Heisenberg exchange couplings in this material and find a weak nearest-neighbour ferromagnetic coupling, at odds with most Mott insulators. We point out the close resemblance between this star-of-David phase and flat-band ferromagnetism models.


title: Introduction to moduli, l-adic representations and the Regular Version of the Inverse Galois Problem

abstract: Sect 1 introduces Nielsen classes attached to (G,C), where C is r conjugacy classes in a finite group G, and a braid action on them. These give reduced Hurwitz spaces, denoted H(G,C)^rd. The section concludes with a braid formula for the genus of these spaces when r = 4. If there is at least one prime l for which G is divisible by l, but has no Z/l quotient, then there is a canonical tower of reduced Hurwitz spaces over H(G,C)^rd, using the Universal Frattini cover, ~G, of G, and ~G_ab, its abelianized version. The towers are nonempty assuming C are l' classes satisfying a cohomological condition from a lift invariant. A M(odular)T(ower) is a projective sequence of components of the canonical tower. Sect 2 introduces the book [Fr18], which takes on generalizing Serre's O(pen)I(mage)T(heorem}, interpreted as the case when G is a dihedral group D_l and C is four repetitions of the involution conjugacy class. Serre's Theorem separated decomposition groups of projective sequences of points in the modular curve towers into two types: CM (complex multiplication) and GL_2. When r = 4, all MT levels are upper half-plane quotients ramified at 0 (of order 3), 1 (of order 2) and \infty (corresponding to the cusps). They are appropriate therefore to compare Serre's OIT with the cusps and decomposition group fibers. [Fr18] emphasizes new phenomena in cusps, and components, while still showing in high tower levels a valid comparison with modular curves. It also aims to show how MTs can expand the applications usual for modular curve towers, recognizing those problems directly interpret from the Inverse Galois Problem. The l-adic representations of the title come from the abelianized version of the Universal Frattini cover.


title: Solving puzzles of spontaneously broken spacetime symmetries

abstract: We establish a classical analog of the Nambu-Goldstone theorem for spontaneous breaking of spacetime symmetries. It provides a counting rule for independent Nambu-Goldstone fields and states which of them are gapped. We demonstrate that only those symmetry group generators give rise to independent Nambu-Goldstone fields that act non-trivially on a vacuum at the origin of coordinates. Other generators give rise to auxiliary fields that must be excluded from a theory by the means of inverse Higgs constraints. The physical meaning of the inverse Higgs phenomenon and an application of our results to theories of massive gravity are discussed.


title: Using Gaussian Boson Sampling to Find Dense Subgraphs

abstract: Boson sampling devices are a prime candidate for exhibiting quantum supremacy, yet their application for solving problems of practical interest is less well understood. Here we show that Gaussian boson sampling (GBS) can be used for dense subgraph identification. Focusing on the NP-hard densest k-subgraph problem, we find that stochastic algorithms are enhanced through GBS, which selects dense subgraphs with high probability. These findings rely on a link between graph density and the number of perfect matchings -- enumerated by the Hafnian -- which is the relevant quantity determining sampling probabilities in GBS. We test our findings by constructing GBS-enhanced versions of the random search and simulated annealing algorithms and apply them through numerical simulations of GBS to identify the densest subgraph of a 30 vertex graph.


title: Quantum approximate optimization with Gaussian boson sampling

abstract: Hard optimization problems are often approached by finding approximate solutions. Here, we highlight the concept of proportional sampling and discuss how it can be used to improve the performance of stochastic algorithms for optimization. We introduce an NP-Hard problem called Max-Haf and show that Gaussian boson sampling (GBS) can be used to enhance any stochastic algorithm for this problem. These results are applied by enhancing the random search, simulated annealing, and greedy algorithms. With numerical simulations, we confirm that all algorithms are improved when employing GBS, and that GBS-enhanced random search performs the best despite being the one with the simplest underlying classical routine.


title: Zeckendorf representations with at most two terms to x-coordinates of Pell equations

abstract: In this paper, we find all positive squarefree integers d such that the Pell equation X2-dY2 = +-1 has at least two positive integer solutions (X,Y) and (X',Y') such that both X and X' have Zeckendorf representations with at most two terms. This paper has been accepted for publication in SCIENCE CHINA Mathematics.


title: Pressure-temperature phase diagrams of CaK(Fe$_{1-x}$Ni$_{x}$)$_4$As$_4$ superconductors

abstract: The pressure dependence of the magnetic and superconducting transitions, as well as that of the superconducting upper critical field is reported for CaK(Fe$_{1-x}$Ni$_{x}$)$_4$As$_4$, the first example of an Fe-based superconductor with spin-vortex-crystal-type magnetic ordering. Resistance measurements were performed on single crystals with two substitution levels ($x=0.033, 0.050$) under hydrostatic pressures up to 5.12 GPa and in magnetic fields up to 9 T. Our results show that, for both compositions, magnetic transition temperatures, $T_\textrm{N}$, are suppressed upon applying pressure, the superconducting transition temperatures $T_\textrm{c}$ are suppressed by pressure as well, except for $x=0.050$ in the pressure region where $T_\textrm{N}$ and $T_\textrm{c}$ cross. Furthermore, the pressure associated with the crossing of the $T_\textrm{N}$ and $T_\textrm{c}$ lines also coincides with a minimum in the normalized slope of the superconducting upper critical field, consistent with a likely Fermi-surface reconstruction associated with the loss of magnetic ordering. Finally, at $p \sim$ 4 GPa, both Ni-substituted CaK(Fe$_{1-x}$Ni$_{x}$)$_4$As$_4$ samples likely go through a half-collapsed-tetragonal (hcT) phase transition, similar to the parent compound CaKFe$_4$As$_4$.


title: Multiparticle quantum interference in Bogoliubov bosonic transformations

abstract: We explore the multiparticle transition probabilities in Gaussian unitaries effected by a two-mode Bogoliubov bosonic transformation on the mode annihilation and creation operators. We show that the transition probabilities can be characterized by remarkably simple, yet unsuspected recurrence equations involving a linear combination of probabilities. The recurrence exhibits an interferometric suppression term - a negative probability - which generalizes the seminal Hong-Ou-Mandel effect to more than two indistinguishable photons impinging on a beam splitter of rational transmittance. Unexpectedly, interferences thus originate in this description from the cancellation of probabilities instead of amplitudes. Our framework, which builds on the generating function of the non-Gaussian matrix elements of Gaussian unitaries in Fock basis, is illustrated here for the most common passive and active linear coupling between two optical modes driven by a beam splitter or a parametric amplifier. Hence, it also allows us to predict unsuspected multiphoton interference effects in an optical amplifier of rational gain. In particular, we confirm the newly found two-photon interferometric suppression effect in an amplifier of gain 2 originating from timelike indistinguishability (arXiv:2012.15165 [quant-ph]). Overall, going beyond standard two-mode optical components, we expect our method will prove valuable for describing general quantum circuits involving Bogoliubov bosonic transformations.


title: The Texture One Zero Neutrino Mass Matrix With Vanishing Trace

abstract: In the light of latest neutrino oscillation data, we have investigated the one zero Majorana neutrino mass matrix $M_{\nu}$ with zero sum condition of mass eigen values in the flavor basis, where charged lepton mass matrix is diagonal. Among the six possible one-zero cases, it is found that only five can survive the current experimental data, while case with (1, 1) vanishing element of $M_{\nu}$ is ruled out, if zero trace condition is imposed at 3$\sigma$ confidence level (CL). Numerical and some approximate analytical results are presented.


title: Quantum Experiments and Graphs II: Quantum Interference, Computation and State Generation

abstract: We present a conceptually new approach to describe state-of-the-art photonic quantum experiments using Graph Theory. There, the quantum states are given by the coherent superpositions of perfect matchings. The crucial observation is that introducing complex weights in graphs naturally leads to quantum interference. The new viewpoint immediately leads to many interesting results, some of which we present here. Firstly, we identify a new and experimentally completely unexplored multiphoton interference phenomenon. Secondly, we find that computing the results of such experiments is #P-hard, which means it is a classically intractable problem dealing with the computation of a matrix function Permanent and its generalization Hafnian. Thirdly, we explain how a recent no-go result applies generally to linear optical quantum experiments, thus revealing important insights to quantum state generation with current photonic technology. Fourthly, we show how to describe quantum protocols such as entanglement swapping in a graphical way. The uncovered bridge between quantum experiments and Graph Theory offers a novel perspective on a widely used technology, and immediately raises many follow-up questions.


title: Faraday-shielded, DC Stark-free optical lattice clock

abstract: We demonstrate the absence of a DC Stark shift in an ytterbium optical lattice clock. Stray electric fields are suppressed through the introduction of an in-vacuum Faraday shield. Still, the effectiveness of the shielding must be experimentally assessed. Such diagnostics are accomplished by applying high voltage to six electrodes, which are grounded in normal operation to form part of the Faraday shield. Our measurements place a constraint on the DC Stark shift at the $10^{-20}$ level, in units of the clock frequency. Moreover, we discuss a potential source of error in strategies to precisely measure or cancel non-zero DC Stark shifts, attributed to field gradients coupled with the finite spatial extent of the lattice-trapped atoms. With this consideration, we find that Faraday shielding, complemented with experimental validation, provides both a practically appealing and effective solution to the problem of DC Stark shifts in optical lattice clocks.


title: Self-Representation on Twitter Using Emoji Skin Color Modifiers

abstract: Since 2015, it has been possible to modify certain emoji with a skin tone. The five different skin tones were introduced with the aim of representing more human diversity, but some commentators feared they might be used as a way to negatively represent other users/groups. This paper presents a quantitative analysis of the use of skin tone modifiers on emoji on Twitter, showing that users with darker-skinned profile photos employ them more often than users with lighter-skinned profile photos, and the vast majority of skin tone usage matches the color of a user's profile photo - i.e., tones represent the self, rather than the other. In the few cases where users do use opposite-toned emoji, we find no evidence of negative racial sentiment. Thus, the introduction of skin tones seems to have met the goal of better representing human diversity.


title: Deeply Supervised Semantic Model for Click-Through Rate Prediction in Sponsored Search

abstract: In sponsored search it is critical to match ads that are relevant to a query and to accurately predict their likelihood of being clicked. Commercial search engines typically use machine learning models for both query-ad relevance matching and click-through-rate (CTR) prediction. However, matching models are based on the similarity between a query and an ad, ignoring the fact that a retrieved ad may not attract clicks, while click models rely on click history, being of limited use for new queries and ads. We propose a deeply supervised architecture that jointly learns the semantic embeddings of a query and an ad as well as their corresponding CTR.We also propose a novel cohort negative sampling technique for learning implicit negative signals. We trained the proposed architecture using one billion query-ad pairs from a major commercial web search engine. This architecture improves the best-performing baseline deep neural architectures by 2\% of AUC for CTR prediction and by statistically significant 0.5\% of NDCG for query-ad matching.


title: Solving the OSCAR and SLOPE Models Using a Semismooth Newton-Based Augmented Lagrangian Method

abstract: The octagonal shrinkage and clustering algorithm for regression (OSCAR), equipped with the $\ell_1$-norm and a pair-wise $\ell_{\infty}$-norm regularizer, is a useful tool for feature selection and grouping in high-dimensional data analysis. The computational challenge posed by OSCAR, for high dimensional and/or large sample size data, has not yet been well resolved due to the non-smoothness and inseparability of the regularizer involved. In this paper, we successfully resolve this numerical challenge by proposing a sparse semismooth Newton-based augmented Lagrangian method to solve the more general SLOPE (the sorted L-one penalized estimation) model. By appropriately exploiting the inherent sparse and low-rank property of the generalized Jacobian of the semismooth Newton system in the augmented Lagrangian subproblem, we show how the computational complexity can be substantially reduced. Our algorithm presents a notable advantage in the high-dimensional statistical regression settings. Numerical experiments are conducted on real data sets, and the results demonstrate that our algorithm is far superior, in both speed and robustness, than the existing state-of-the-art algorithms based on first-order iterative schemes, including the widely used accelerated proximal gradient (APG) method and the alternating direction method of multipliers (ADMM).


title: First Constraint on the Neutrino-Induced Phase Shift in the BAO Spectrum

abstract: The existence of the cosmic neutrino background is a fascinating prediction of the hot big bang model. These neutrinos were a dominant component of the energy density in the early universe and, therefore, played an important role in the evolution of cosmological perturbations. The energy density of the cosmic neutrino background has been measured using the abundances of light elements and the anisotropies of the cosmic microwave background (CMB). A complementary and more robust probe is a distinct shift in the temporal phase of sound waves in the primordial plasma which is produced by fluctuations in the neutrino density and has recently been detected in the CMB. In this paper, we report on the first constraint on this neutrino-induced phase shift in the spectrum of baryon acoustic oscillations (BAO) of the BOSS DR12 data. Constraining the acoustic scale using Planck data while marginalizing over the effects of neutrinos in the CMB, we find a non-zero phase shift at greater than 95\% confidence. We also demonstrate the robustness of this result in simulations and forecasts. Besides providing a new test of the cosmic neutrino background, our work is the first application of the BAO signal to early universe physics and a non-trivial confirmation of the standard cosmological history.


title: Hyper-Ramsey spectroscopy with probe laser intensity fluctuations

abstract: We examine the influence of probe laser intensity fluctuations on hyper-Ramsey spectroscopy. We assume, as is appropriate for relevant cases of interest, that the probe laser intensity $I$ determines both the Rabi frequency $(\propto\sqrt{I})$ and the frequency shift to the atomic transition $(\propto I)$ during probe laser interactions with the atom. The spectroscopic signal depends on these two quantities that co-vary with fluctuations in the probe laser intensity. Introducing a simple model for the fluctuations, we find that the signature robustness of the hyper-Ramsey method can be compromised. Taking the Yb$^+$ electric octupole clock transition as an example, we quantify the clock error under different levels of probe laser intensity fluctuations.


title: Intertwiners between Induced Representations (with Applications to the Theory of Equivariant Neural Networks)

abstract: Group equivariant and steerable convolutional neural networks (regular and steerable G-CNNs) have recently emerged as a very effective model class for learning from signal data such as 2D and 3D images, video, and other data where symmetries are present. In geometrical terms, regular G-CNNs represent data in terms of scalar fields ("feature channels"), whereas the steerable G-CNN can also use vector or tensor fields ("capsules") to represent data. In algebraic terms, the feature spaces in regular G-CNNs transform according to a regular representation of the group G, whereas the feature spaces in Steerable G-CNNs transform according to the more general induced representations of G. In order to make the network equivariant, each layer in a G-CNN is required to intertwine between the induced representations associated with its input and output space. In this paper we present a general mathematical framework for G-CNNs on homogeneous spaces like Euclidean space or the sphere. We show, using elementary methods, that the layers of an equivariant network are convolutional if and only if the input and output feature spaces transform according to an induced representation. This result, which follows from G.W. Mackey's abstract theory on induced representations, establishes G-CNNs as a universal class of equivariant network architectures, and generalizes the important recent work of Kondor & Trivedi on the intertwiners between regular representations.


title: Power grid transient stabilization using Koopman model predictive control

abstract: This work addresses the problem of transient stabilization of a power grid, following a destabilizing disturbance. The model considered is the cascade interconnection of seven New England test models with the disturbance (e.g., a powerline failure) occurring in the first grid and propagating forward, emulating a wide-area blackout. We consider a data-driven control framework based on the Koopman operator theory, where a linear predictor, evolving on a higher dimensional (embedded) state-space, is built from observed data and subsequently used within a model predictive control (MPC) framework, allowing for the use of efficient computational tools of linear MPC to control this highly nonlinear dynamical system.


title: Poincar\'e type inequalities for compact degenerate pure jump Markov processes

abstract: We aim in proving Poincar\'e inequalities for a class of pure jump Markov processes inspired by the model introduced in \cite{G-L} by Galves and L\"ocherbach to describe the behaviour of interacting brain neurons. In particular, we consider neurons with degenerate jumps, i.e. that lose their memory when they spike, while the probability of a spike depends on the actual position and thus the past of the whole neural system.


title: Pseudo-marginal Bayesian inference for supervised Gaussian process latent variable models

abstract: We introduce a Bayesian framework for inference with a supervised version of the Gaussian process latent variable model. The framework overcomes the high correlations between latent variables and hyperparameters by using an unbiased pseudo estimate for the marginal likelihood that approximately integrates over the latent variables. This is used to construct a Markov Chain to explore the posterior of the hyperparameters. We demonstrate the procedure on simulated and real examples, showing its ability to capture uncertainty and multimodality of the hyperparameters and improved uncertainty quantification in predictions when compared with variational inference.


title: Two applications of monoid actions to cross-sections

abstract: Using a construction that builds a monoid from a monoid action, this paper exhibits an example of a direct product of monoids that admits a prefix-closed regular cross-section, but one of whose factors does not admit a regular cross-section; this answers negatively an open question from the theory of Markov monoids. The same construction is then used to show that for any full trios $\mathfrak{C}$ and $\mathfrak{D}$ such that $\mathfrak{C}$ is not a subclass of $\mathfrak{D}$, there is a monoid with a cross-section in $\mathfrak{C}$ but no cross-section in $\mathfrak{D}$.


title: Scalar Field Assisted $f(R)$ Gravity Inflation

abstract: In this paper we investigate the inflationary dynamics of an $f(R)$ gravity in the presence of a canonical scalar field. We specifically choose the cosmological evolution to be a quasi-de Sitter evolution and also the $f(R)$ gravity is assumed to be a modified version of the $R^2$ gravity. We investigate which scalar field potential can produce the quasi-de Sitter evolution for the choice of the $f(R)$ gravity we made, and also we study in detail the inflationary dynamics of the resulting theory. As we demonstrate, the spectral index is identical to the one corresponding to the ordinary $R^2$ gravity, while the scalar-to-tensor ratio is found to be smaller than the $R^2$ inflation one consequently, compatibility with both the Planck 2015 and BICEP2/Keck-Array data is achieved.


title: On Model Selection with Summary Statistics

abstract: Recently, many authors have cast doubts on the validity of ABC model choice. It has been shown that the use of sufficient statistic in ABC model selection leads, apart from few exceptional cases in which the sufficient statistic is also cross-model sufficient, to unreliable results. In a single model context and given a sufficient summary statistic, we show that it is possible to fully recover the posterior normalising constant, without using the likelihood function. The idea can be applied, in an approximate way, to more realistic scenarios in which the sufficient statistic is not unavailable but a "good" summary statistic for estimation is available.


title: Adversarial Network Compression

abstract: Neural network compression has recently received much attention due to the computational requirements of modern deep models. In this work, our objective is to transfer knowledge from a deep and accurate model to a smaller one. Our contributions are threefold: (i) we propose an adversarial network compression approach to train the small student network to mimic the large teacher, without the need for labels during training; (ii) we introduce a regularization scheme to prevent a trivially-strong discriminator without reducing the network capacity and (iii) our approach generalizes on different teacher-student models. In an extensive evaluation on five standard datasets, we show that our student has small accuracy drop, achieves better performance than other knowledge transfer approaches and it surpasses the performance of the same network trained with labels. In addition, we demonstrate state-of-the-art results compared to other compression strategies.


title: Stable equatorial ice belts at high obliquity in a coupled atmosphere-ocean model

abstract: Various climate states at high obliquity are realized for a range of stellar irradiance using a dynamical atmosphere-ocean-sea ice climate model in an Aquaplanet configuration. Three stable climate states are obtained that differ in the extent of the sea ice cover. For low values of irradiance the model simulates a Cryoplanet that has a perennial global sea ice cover. By increasing stellar irradiance, transitions occur to an Uncapped Cryoplanet with a perennial equatorial sea ice belt, and eventually to an Aquaplanet with no ice. Using an emulator model we find that the Uncapped Cryoplanet is a robust stable state for a range of irradiance and high obliquities and contrast earlier results that high-obliquity climate states with an equatorial ice belt may be unsustainable or unachievable. When the meridional ocean heat flux is strengthened, the parameter range permitting a stable Uncapped Cryoplanet decreases due to melting of equatorial sea ice. Beyond a critical threshold of meridional ocean heat flux, the perennial equatorial ice belt disappears. Therefore, a vigorous ocean circulation may render it unstable. Our results suggest that perennial equatorial ice cover is a viable climate state of a high-obliquity exoplanet. However, due to multiple equilibria, this state is only reached from more glaciated conditions, and not from less glaciated conditions.


title: Supernova explosions of massive stars and cosmic rays

abstract: Most cosmic ray particles observed derive from the explosions of massive stars, which commonly produce stellar black holes in their supernova explosions. When two such black holes find themselves in a tight binary system they finally merge in a gigantic emission of gravitational waves, events that have now been detected. After an introduction (section 1) we introduce the basic concept (section 2): Cosmic rays from exploding massive stars with winds always show two cosmic ray components at the same time: (i) the weaker polar cap component only produced by Diffusive Shock Acceleration with a cut-off at the knee, and (ii) the stronger $4 \pi$ component with a down-turn to a steeper power-law spectrum at the knee, and a final cutoff at the ankle. In section 3 we use the Alpha Magnetic Spectrometer (AMS) data to differentiate these two cosmic ray spectral components. The ensuing secondary spectra can explain anti-protons, lower energy positrons, and other secondary particles. Triplet pair production may explain the higher energy positron AMS data. In section 4 we test this paradigm with a theory of injection based on a combined effect of first and second ionization potential; this reproduces the ratio of Cosmic Ray source abundances to source material abundances. In section 5 we interpret the compact radio source 41.9+58 in the starburst galaxy M82 as a recent binary black hole merger, with an accompanying gamma ray burst. This can also explain the Ultra High Energy Cosmic Ray (UHECR) data in the Northern sky. Thus, by studying the cosmic ray particles, their abundances at knee energies, and their spectra, we can learn about what drives these stars to produce the observed cosmic rays.


title: The comparison of Higuchi fractal dimension and Sample Entropy analysis of sEMG: effects of muscle contraction intensity and TMS

abstract: The aim of the study was to examine how the complexity of surface electromyogram (sEMG) signal, estimated by Higuchi fractal dimension (HFD) and Sample Entropy (SampEn), change depending on muscle contraction intensity and external perturbation of the corticospinal activity during muscle contraction induced by single-pulse Transcranial Magnetic Stimulation (spTMS). HFD and SampEn were computed from sEMG signal recorded at three various levels of voluntary contraction before and after spTMS. After spTMS, both HFD and SampEn decreased at medium compared to the mild contraction. SampEn increased, while HFD did not change significantly at strong compared to medium contraction. spTMS significantly decreased both parameters at all contraction levels. When same parameters were computed from the mathematically generated sine-wave calibration curves, the results show that SampEn has better accuracy at lower (0-40 Hz) and HFD at higher (60-120 Hz) frequencies. Changes in the sEMG complexity associated with increased muscle contraction intensity cannot be accurately depicted by a single complexity measure. Examination of sEMG should entail both SampEn and HFD as they provide complementary information about different frequency components of sEMG. Further studies are needed to explain the implication of changes in nonlinear parameters and their relation to underlying sEMG physiological processes.


title: Investigating the hybrid textures of neutrino mass matrix for near maximal atmospheric neutrino mixing

abstract: In the present paper, we have studied that the implication of a large value of the effective Majorana neutrino mass in case of neutrino mass matrices having either two equal elements and one zero element (popularly known as hybrid texture) or two equal cofactors and one zero minor (popularly known as inverse hybrid texture) in the flavor basis. In each of these cases, four out of sixty phenomenologically possible patterns predict near maximal atmospheric neutrino mixing angle in the limit of large effective Majorana neutrino mass. This feature remains irrespective of the experimental data on solar and reactor mixing angles. In addition, we have also performed the comparative study of all the viable cases of hybrid and inverse hybrid textures at 3$\sigma$ CL.


title: Spin(7)-Manifolds as Generalized Connected Sums and 3d N=1 Theories

abstract: M-theory on compact eight-manifolds with $\mathrm{Spin}(7)$-holonomy is a framework for geometric engineering of 3d $\mathcal{N}=1$ gauge theories coupled to gravity. We propose a new construction of such $\mathrm{Spin}(7)$-manifolds, based on a generalized connected sum, where the building blocks are a Calabi-Yau four-fold and a $G_2$-holonomy manifold times a circle, respectively, which both asymptote to a Calabi-Yau three-fold times a cylinder. The generalized connected sum construction is first exemplified for Joyce orbifolds, and is then used to construct examples of new compact manifolds with $\mathrm{Spin}(7)$-holonomy. In instances when there is a K3-fibration of the $\mathrm{Spin}(7)$-manifold, we test the spectra using duality to heterotic on a $T^3$-fibered $G_2$-holonomy manifold, which are shown to be precisely the recently discovered twisted-connected sum constructions.