title: Pointwise convergence of Birkhoff averages for global observables

abstract: It is well-known that a strict analogue of the Birkhoff Ergodic Theorem in infinite ergodic theory is trivial; it states that for any infinite-measure-preserving ergodic system the Birkhoff average of every integrable function is almost everywhere zero. Nor does a different rescaling of the Birkhoff sum that leads to a non-degenerate pointwise limit exist. In this paper we give a version of Birkhoff's theorem for conservative, ergodic, infinite-measure-preserving dynamical systems where instead of integrable functions we use certain elements of $L^\infty$, which we generically call global observables. Our main theorem applies to general systems but requires an hypothesis of "approximate partial averaging" on the observables. The idea behind the result, however, applies to more general situations, as we show with an example. Finally, by means of counterexamples and numerical simulations, we discuss the question of finding the optimal class of observables for which a Birkhoff theorem holds for infinite-measure-preserving systems.


title: Dynamic analysis of noncanonical warm inflation

abstract: We study and analyze the dynamic properties of both canonical and noncanonical warm inflationary models with dissipative effects. We consider different models of canonical warm inflation with different dissipative coefficients and prove that the behavior at infinity of quadratic dissipative model distinctly differs from that of the constant dissipative model, which means that quadratic dissipative coefficient increases the possibility of the occurrence of inflation. We also show that the different choice of combination of the parameters in noncanonical warm inflation exhibits dramatically different global phase portraits on the Poincar\'{e} disk. We try to illustrate that the noncanonical field will not expand the regime of inflation, but it will increase the possibility of the occurrence of inflation as well and the duration of inflation. Then, by dynamic analysis, we can exclude several inflationary models, like the warm inflation model, with negative dissipative coefficients, and explain that the model without potential is almost impossible. With relevant results, we give the condition when reheating occurs.


title: Maximal forward hom-orthogonal sequences for cluster-tilted algebras of finite type

abstract: Let $\Lambda$ be a cluster-tilted algebra of finite type over an algebraically closed field and $B$ be one of the associated tilted algebras. We show that the $B$-modules, ordered form right to left in the Auslander-Reiten quiver of $\Lambda$ form a maximal forward hom-orthogonal sequence of $\Lambda$-modules whose dimension vectors form the $c$-vectors of a maximal green sequence for $\Lambda$. Thus we give a proof of Igusa-Todorov's conjecture.


title: Sterile neutrinos as a possible explanation for the upward air shower events at ANITA

abstract: The ANITA experiment has observed two unusual upgoing air shower events which are consistent with the $\tau$-lepton decay origin. However, these events are in contradiction with the standard neutrino-matter interaction models as well as the $\rm EeV$ diffuse neutrino flux limits set by the IceCube and the cosmic ray facilities like AUGER. In this paper, we have reinvestigated the possibility of using sterile neutrino hypothesis to explain the ANITA anomalous events. The diffuse flux of the sterile neutrinos is less constrained by the IceCube and AUGER experiments due to the small active-sterile mixing suppression. The quantum decoherence effect should be included for describing the neutrino flux propagating in the Earth matter, because the interactions between neutrinos and the Earth matter are very strong at the EeV scale. After several experimental approximations, we show that the ANITA anomaly itself is able to be explained by the sterile neutrino origin, but we also predict that the IceCube observatory should have more events than ANITA. It makes the sterile neutrino origin very unlikely to account for both of them simultaneously. A more solid conclusion can be drawn by the dedicated ANITA signal simulations.


title: Experimental validation of phase space conduits of transition between potential wells

abstract: A phase space boundary between transition and non-transition, similar to those observed in chemical reaction dynamics, is shown experimentally in a macroscopic system. We present a validation of the phase space flux across rank one saddles connecting adjacent potential wells and confirm the underlying phase space conduits that mediate the transition. Experimental regions of transition are found to agree with the theory to within 1\%, suggesting the robustness of phase space conduits of transition in a broad array of two or more degree of freedom experimental systems, despite the presence of small dissipation.


title: Data-efficient Neuroevolution with Kernel-Based Surrogate Models

abstract: Surrogate-assistance approaches have long been used in computationally expensive domains to improve the data-efficiency of optimization algorithms. Neuroevolution, however, has so far resisted the application of these techniques because it requires the surrogate model to make fitness predictions based on variable topologies, instead of a vector of parameters. Our main insight is that we can sidestep this problem by using kernel-based surrogate models, which require only the definition of a distance measure between individuals. Our second insight is that the well-established Neuroevolution of Augmenting Topologies (NEAT) algorithm provides a computationally efficient distance measure between dissimilar networks in the form of "compatibility distance", initially designed to maintain topological diversity. Combining these two ideas, we introduce a surrogate-assisted neuroevolution algorithm that combines NEAT and a surrogate model built using a compatibility distance kernel. We demonstrate the data-efficiency of this new algorithm on the low dimensional cart-pole swing-up problem, as well as the higher dimensional half-cheetah running task. In both tasks the surrogate-assisted variant achieves the same or better results with several times fewer function evaluations as the original NEAT.


title: Dimensions: re-discovering the ecosystem of scientific information

abstract: The overarching aim of this work is to provide a detailed description of the free version of Dimensions (new bibliographic database produced by Digital Science and launched in January 2018). To do this, the work is divided into two differentiated blocks. First, its characteristics, operation and features are described, focusing on its main strengths and weaknesses. Secondly, an analysis of its coverage is carried out (comparing it Scopus and Google Scholar) in order to determine whether the bibliometric indicators offered by Dimensions have an order of magnitude significant enough to be used. To this end, an analysis is carried out at three levels: journals (sample of 20 publications in 'Library & Information Science'), documents (276 articles published by the Journal of informetrics between 2013 and 2015) and authors (28 people awarded with the Derek de Solla Price prize). Preliminary results indicate that Dimensions has coverage of the recent literature superior to Scopus although inferior to Google Scholar. With regard to the number of citations received, Dimensions offers slightly lower figures than Scopus. Despite this, the number of citations in Dimensions exhibits a strong correlation with Scopus and somewhat less (although still significant) with Google Scholar. For this reason, it is concluded that Dimensions is an alternative for carrying out citation studies, being able to rival Scopus (greater coverage and free of charge) and with Google Scholar (greater functionalities for the treatment and data export).


title: On Abhyankar's irreducibility criterion for quasi-ordinary polynomials

abstract: Let $f$ and $g$ be Weierstrass polynomials with coefficients in the ring of formal power series over an algebraically closed field of characteristic zero. Assume that $f$ is irreducible and quasi-ordinary. We show that if degree of $g$ is small enough and all monomials appearing in the resultant of $f$ and $g$ have orders big enough, then $g$ is irreducible and quasi-ordinary, generalizing Abhyankar's irreducibility criterion for plane analytic curves.


title: Observation of plasmon-phonon coupling in natural 2D graphene-talc heterostructures

abstract: Two-dimensional (2D) materials occupy noteworthy place in nanophotonics providing for subwavelength light confinement and optical phenomena dissimilar to those of their bulk counterparts. In the mid-infrared, graphene-based heterostructures and van der Waals crystals of hexagonal boron nitride (hBN) overwhelmingly concentrate the attention by exhibiting real-space nano-optics from plasmons, phonon-polaritons and hybrid plasmon phonon-polaritons quasiparticles. Here we present the mid-infrared nanophotonics of talc, a natural atomically flat layered material, and graphene-talc (G-talc) heterostructures using broadband synchrotron infrared nano-spectroscopy. We achieve wavelength tuning of the talc resonances, assigned to in- and out-of-plane vibrations by changing the thickness of the crystals, which serves as its infrared fingerprints. Moreover, we encounter coupling of the graphene plasmons polaritons with surface optical phonons of talc. As in the case of the G-hBN heterostructures, this coupling configures hybrid surface plasmon phonon-polariton modes causing 30 % increase in intensity for the out-of-plane mode, blue-shift for the in-plane mode and we have succeeded in altering the amplitude of such hybridization by varying the gate voltage. Therefore, our results promote talc and G-talc heterostructures as appealing materials for nanophotonics, like hBN and G-hBN, with potential applications for controllably manipulating infrared electromagnetic radiation at the subdiffraction scale.


title: A Variable Sample-size Stochastic Quasi-Newton Method for Smooth and Nonsmooth Stochastic Convex Optimization

abstract: Classical theory for quasi-Newton schemes has focused on smooth deterministic unconstrained optimization while recent forays into stochastic convex optimization have largely resided in smooth, unconstrained, and strongly convex regimes. Naturally, there is a compelling need to address nonsmoothness, the lack of strong convexity, and the presence of constraints. Accordingly, this paper presents a quasi-Newton framework that can process merely convex and possibly nonsmooth (but smoothable) stochastic convex problems. We propose a framework that combines iterative smoothing and regularization with a variance-reduced scheme reliant on using increasing sample-sizes of gradients. We make the following contributions. (i) We develop a regularized and smoothed variable sample-size BFGS update (rsL-BFGS) that generates a sequence of Hessian approximations and can accommodate nonsmooth convex objectives by utilizing iterative regularization and smoothing. (ii) In strongly convex regimes with state-dependent noise, the proposed variable sample-size stochastic quasi-Newton scheme admits a non-asymptotic linear rate of convergence while the oracle complexity of computing an $\epsilon$-solution is $\mathcal{O}(\kappa^{m+1}/\epsilon)$ where $\kappa$ is the condition number and $m\geq 1$. In nonsmooth (but smoothable) regimes, using Moreau smoothing retains the linear convergence rate. To contend with the possible unavailability of Lipschitzian and strong convexity parameters, we also provide sublinear rates; (iii) In merely convex but smooth settings, the regularized VS-SQN scheme rVS-SQN displays a rate of $\mathcal{O}(1/k^{(1-\varepsilon)})$. When the smoothness requirements are weakened, the rate for the regularized and smoothed VS-SQN scheme worsens to $\mathcal{O}(k^{-1/3})$. Such statements allow for a state-dependent noise assumption under a quadratic growth property.


title: Reevaluation of radiation reaction and consequences for light-matter interactions at the nanoscale

abstract: In the context of electromagnetism and nonlinear optical interactions damping is generally introduced as a phenomenological, viscous term that dissipates energy, proportional to the temporal derivative of the polarization. Here, we follow the radiation reaction method presented in [G. W. Ford and R. F. O'Connell, Phys. Lett. A, 157, 217 (1991)], which applies to non-relativistic electrons of finite size, to introduce an explicit reaction force in the Newtonian equation of motion, and derive a hydrodynamic equation that offers new insight on the influence of damping in generic plasmas, metal-based and/or dielectric structures. In these settings, we find new damping-dependent linear and nonlinear source terms that suggest the damping coefficient is proportional to the local charge density, and nonlocal contributions that stem from the spatial derivative of the magnetic field and discuss the conditions that could modify both linear and nonlinear electromagnetic responses.


title: A Sparse Non-negative Matrix Factorization Framework for Identifying Functional Units of Tongue Behavior from MRI

abstract: Muscle coordination patterns of lingual behaviors are synergies generated by deforming local muscle groups in a variety of ways. Functional units are functional muscle groups of local structural elements within the tongue that compress, expand, and move in a cohesive and consistent manner. Identifying the functional units using tagged-Magnetic Resonance Imaging (MRI) sheds light on the mechanisms of normal and pathological muscle coordination patterns, yielding improvement in surgical planning, treatment, or rehabilitation procedures. Here, to mine this information, we propose a matrix factorization and probabilistic graphical model framework to produce building blocks and their associated weighting map using motion quantities extracted from tagged-MRI. Our tagged-MRI imaging and accurate voxel-level tracking provide previously unavailable internal tongue motion patterns, thus revealing the inner workings of the tongue during speech or other lingual behaviors. We then employ spectral clustering on the weighting map to identify the cohesive regions defined by the tongue motion that may involve multiple or undocumented regions. To evaluate our method, we perform a series of experiments. We first use two-dimensional images and synthetic data to demonstrate the accuracy of our method. We then use three-dimensional synthetic and \textit{in vivo} tongue motion data using protrusion and simple speech tasks to identify subject-specific and data-driven functional units of the tongue in localized regions.


title: Mutually Uncorrelated Codes for DNA Storage

abstract: Mutually Uncorrelated (MU) codes are a class of codes in which no proper prefix of one codeword is a suffix of another codeword. These codes were originally studied for synchronization purposes and recently, Yazdi et al. showed their applicability to enable random access in DNA storage. In this work we follow the research of Yazdi et al. and study MU codes along with their extensions to correct errors and balanced codes. We first review a well known construction of MU codes and study the asymptotic behavior of its cardinality. This task is accomplished by studying a special class of run-length limited codes that impose the longest run of zeros to be at most some function of the codewords length. We also present an efficient algorithm for this class of constrained codes and show how to use this analysis for MU codes. Next, we extend the results on the run-length limited codes in order to study $(d_h,d_m)$-MU codes that impose a minimum Hamming distance of $d_h$ between different codewords and $d_m$ between prefixes and suffixes. In particular, we show an efficient construction of these codes with nearly optimal redundancy. We also provide similar results for the edit distance and balanced MU codes. Lastly, we draw connections to the problems of comma-free and prefix synchronized codes.


title: Quasicrystalline 30{\deg} Twisted Bilayer Graphene as an Incommensurate Superlattice with Strong Interlayer Coupling

abstract: The interlayer coupling can be used to engineer the electronic structure of van der Waals heterostructures (superlattices) to obtain properties that are not possible in a single material. So far research in heterostructures has been focused on commensurate superlattices with a long-ranged Moir\'e period. Incommensurate heterostructures with rotational symmetry but not translational symmetry (in analogy to quasicrystals) are not only rare in nature, but also the interlayer interaction has often been assumed to be negligible due to the lack of phase coherence. Here we report the successful growth of quasicrystalline 30{\deg} twisted bilayer graphene (30{\deg}-tBLG) which is stabilized by the Pt(111) substrate, and reveal its electronic structure. The 30{\deg}-tBLG is confirmed by low energy electron diffraction and the intervalley double-resonance Raman mode at 1383 cm$^{-1}$. Moreover, the emergence of mirrored Dirac cones inside the Brillouin zone of each graphene layer and a gap opening at the zone boundary suggest that these two graphene layers are coupled via a generalized Umklapp scattering mechanism, i.e. scattering of Dirac cone in one graphene layer by the reciprocal lattice vector of the other graphene layer. Our work highlights the important role of interlayer coupling in incommensurate quasicrystalline superlattices, thereby extending band structure engineering to incommensurate superstructures.


title: A Semiparametric Approach to Model Effect Modification

abstract: One fundamental statistical question for research areas such as precision medicine and health disparity is about discovering effect modification of treatment or exposure by observed covariates. We propose a semiparametric framework for identifying such effect modification. Instead of using the traditional outcome models, we directly posit semiparametric models on contrasts, or expected differences of the outcome under different treatment choices or exposures. Through semiparametric estimation theory, all valid estimating equations, including the efficient scores, are derived. Besides doubly robust loss functions, our approach also enables dimension reduction in presence of many covariates. The asymptotic and non-asymptotic properties of the proposed methods are explored via a unified statistical and algorithmic analysis. Comparison with existing methods in both simulation and real data analysis demonstrates the superiority of our estimators especially for an efficiency improved version.


title: Twin Regularization for online speech recognition

abstract: Online speech recognition is crucial for developing natural human-machine interfaces. This modality, however, is significantly more challenging than off-line ASR, since real-time/low-latency constraints inevitably hinder the use of future information, that is known to be very helpful to perform robust predictions. A popular solution to mitigate this issue consists of feeding neural acoustic models with context windows that gather some future frames. This introduces a latency which depends on the number of employed look-ahead features. This paper explores a different approach, based on estimating the future rather than waiting for it. Our technique encourages the hidden representations of a unidirectional recurrent network to embed some useful information about the future. Inspired by a recently proposed technique called Twin Networks, we add a regularization term that forces forward hidden states to be as close as possible to cotemporal backward ones, computed by a "twin" neural network running backwards in time. The experiments, conducted on a number of datasets, recurrent architectures, input features, and acoustic conditions, have shown the effectiveness of this approach. One important advantage is that our method does not introduce any additional computation at test time if compared to standard unidirectional recurrent networks.


title: Commutator Subgroups of Twin Groups and Grothendieck's Cartographical Groups

abstract: Let $TW_n$ be the twin group on $n$ arcs, $n \geq 2$. The group $TW_{m+2}$ is isomorphic to Grothendieck's $m$-dimensional cartographical group $\mathcal C_m$, $m \geq 1$. In this paper we give a finite presentation for the commutator subgroup $TW_{m+2}'$, and prove that $TW_{m+2}'$ has rank $2m-1$. We derive that $TW_{m+2}'$ is free if and only if $m \leq 3$. From this it follows that $TW_{m+2}$ is word-hyperbolic and does not contain a surface group if and only if $m \leq 3$. It also follows that the automorphism group of $TW_{m+2}$ is finitely presented for $m \leq 3$.


title: Thermodynamical consistency of quasiparticle model at finite baryon density

abstract: In this work, we revisit the thermodynamical self-consistency of the quasiparticle model with the finite baryon chemical potential adjusted to lattice QCD calculations. Here, we investigate the possibility that the effective quasiparticle mass is also a function of its momentum, $k$, in addition to temperature $T$ and chemical potential $\mu$. It is found that the thermodynamic consistency can be expressed in terms of an integro-differential equation concerning $k$, $T$, and $\mu$. We further discuss two special solutions, both can be viewed as sufficient condition for the thermodynamical consistency, while expressed in terms of a particle differential equation. The first case is shown to be equivalent to those previously discussed by Peshier et al. The second one, obtained through an ad hoc assumption, is an intrinsically different solution where the particle mass is momentum dependent. These equations can be solved by using boundary condition determined by the lattice QCD data at vanishing baryon chemical potential. By numerical calculations, we show that both solutions can reasonably reproduce the recent lattice QCD results of the Wuppertal-Budapest and HotQCD Collaborations, and in particular, those concerning finite baryon density. Possible implications are discussed.


title: ALMA Observations of Molecular Absorption in the Gravitational Lens PMN 0134-0931

abstract: We report the detection of molecular absorption lines at z=0.7645 towards the radio-loud QSO PMN 0134-0931. The CO J=2-1 and HCO+ J=2-1 lines are seen in absorption along two different lines of sight to lensed images of the background QSO. The lines of sight are separated by ~0.7", corresponding to 5 kpc in the lens plane. PMN 0134-0931 represents one out of only five known molecular absorption line systems at cosmologically significant distances. Moreover, it is also one of three such systems where the absorption occurs in a galaxy acting as a gravitational lens. The absorption lines through the two lines of sight are shifted by 215+/-8 km/s, possibly representing rotational motion in one of the lensing galaxies. The absorption profiles are wide, ~200 km/s, suggesting that the absorption occurs in a highly inclined disk galaxy with a flat rotation curve and a cloud-cloud velocity dispersion ~30 km/s. Gravitational lens models require two equal mass galaxies to account for the observed configuration of lensed images. The presence of two galaxies in close proximity means that they might be interacting and potentially merging and the kinematics of the molecular gas may not reflect ordered rotational motion. The column densities of both CO and HCO+ are normal for diffuse molecular gas towards one of the lensed images, but significantly higher towards the other. Also, the abundance ratio N(CO)/N(HCO+) is 2-3 times higher than in typical diffuse molecular gas. It is plausible that the second line of sight probes denser molecular gas than what is normally the case for absorption.


title: Estimating Individualized Optimal Combination Therapies through Outcome Weighted Deep Learning Algorithms

abstract: With the advancement in drug development, multiple treatments are available for a single disease. Patients can often benefit from taking multiple treatments simultaneously. For example, patients in Clinical Practice Research Datalink (CPRD) with chronic diseases such as type 2 diabetes can receive multiple treatments simultaneously. Therefore, it is important to estimate what combination therapy from which patients can benefit the most. However, to recommend the best treatment combination is not a single-label but a multi-label classification problem. In this paper, we propose a novel outcome weighted deep learning algorithm to estimate individualized optimal combination therapy. The fisher consistency of the proposed loss function under certain conditions is also provided. In addition, we extend our method to a family of loss functions, which allows adaptive changes based on treatment interactions. We demonstrate the performance of our methods through simulations and real data analysis.


title: Submodular Maximization with Nearly-optimal Approximation and Adaptivity in Nearly-linear Time

abstract: In this paper, we study the tradeoff between the approximation guarantee and adaptivity for the problem of maximizing a monotone submodular function subject to a cardinality constraint. The adaptivity of an algorithm is the number of sequential rounds of queries it makes to the evaluation oracle of the function, where in every round the algorithm is allowed to make polynomially-many parallel queries. Adaptivity is an important consideration in settings where the objective function is estimated using samples and in applications where adaptivity is the main running time bottleneck. Previous algorithms achieving a nearly-optimal $1 - 1/e - \epsilon$ approximation require $\Omega(n)$ rounds of adaptivity. In this work, we give the first algorithm that achieves a $1 - 1/e - \epsilon$ approximation using $O(\ln{n} / \epsilon^2)$ rounds of adaptivity. The number of function evaluations and additional running time of the algorithm are $O(n \mathrm{poly}(\log{n}, 1/\epsilon))$.


title: Weighted self-avoiding walks

abstract: We study the connective constants of weighted self-avoiding walks (SAWs) on infinite graphs and groups. The main focus is upon weighted SAWs on finitely generated, virtually indicable groups. Such groups possess so-called 'height functions', and this permits the study of SAWs with the special property of being bridges. The group structure is relevant in the interaction between the height function and the weight function. The main difficulties arise when the support of the weight function is unbounded, since the corresponding graph is no longer locally finite. There are two principal results, of which the first is a condition under which the weighted connective constant and the weighted bridge constant are equal. When the weight function has unbounded support, we work with a generalized notion of the 'length' of a walk, which is subject to a certain condition. In the second main result, the above equality is used to prove a continuity theorem for connective constants on the space of weight functions endowed with a suitable distance function.


title: Emergence of topological phases from the extension of two-dimensional lattice with nonsymmorphic symmetries

abstract: Young and Kane have given a great insight for 2D Dirac semimetals with nontrivial topology in the presence of nonsymmorphic crystalline symmetry. Based on one of 2D nonsymmorphic square lattice structures they proposed, we further construct a set of 3D minimal tight-binding models via vertically stacking the 2D nonsymmorphic lattice. Specifically, our model provides a platform to generate three topologically semimetallic phases such as Dirac nodal line semimetals, Weyl nodal line semimetals and Weyl semimetals. The off-centered mirror symmetry sufficiently protects nodal lines emerging within mirror-invariant plane with a nontrivial mirror invariant $n_{M\mathbb{Z}}$, whereas twofold screw rotational symmetry protects nontrivial Weyl nodal points with topological charge $C=2$. Interestingly, Weyl nodal loops are generated without mirror symmetry protection, where nontrivial "drumhead" surface states emerge within loops. In the presence of both time-reversal and inversion symmetries, the emergence of weak topological insulator phases is discussed as well.


title: Instantaneous Temperatures \`a la Hadamard: Towards a generalized Stefan-Boltzmann law for curved spacetime

abstract: In the celebrated Unruh effect, we learn that a uniformly accelerating detector in a Minkowski vacuum spacetime registers a constant temperature. Building on prior work, we present a technique based on derivative couplings of the two-point Wightman function and the Hadamard renormalization procedure to define an instantaneous temperature for a massive scalar field, non-minimally coupled to gravity. We find the temperature contains local contributions from the acceleration of the detector, the curvature of spacetime, and the renormalized stress-energy tensor of the field. Our result, which can be considered as a generalized Stefan-Boltzmann law for curved spacetimes, agrees with the familiar expressions found in 4D Rindler, thermal Minkowski, and de Sitter.


title: On the origin of incoherent magnetic exchange coupling in MnBi/Fe$_x$Co$_{1-x}$ bilayer system

abstract: In this study we investigate the exchange coupling between the hard magnetic compound MnBi and the soft magnetic alloy FeCo including the interface structure between the two phases. Exchange spring MnBi-Fe$_x$Co$_{1-x}$ (x = 0.65 and 0.35) bilayers with various thicknesses of the soft magnetic layer were deposited onto quartz glass substrates in a DC magnetron sputtering unit from alloy targets. Magnetic measurements and density functional theory (DFT) calculations reveal that a Co-rich FeCo layer leads to more coherent exchange coupling. The optimum soft layer thickness is about 1 nm. In order to take into account the effect of incoherent interfaces with finite roughness, we have combined a cross-sectional High Resolution Transmission Electron Microscopy (HR-TEM) analysis with DFT calculations and micromagnetic simulations. The experimental results can be consistently described by modeling assuming a polycrystalline FeCo layer consisting of crystalline (110) and amorphous grains as confirmed by HR-TEM. The micromagnetic simulations show in general how the thickness of the FeCo layer and the interface roughness between the hard and soft magnetic phases both control the effectiveness of exchange coupling in an exchange spring system.


title: FPR -- Fast Path Risk Algorithm to Evaluate Collision Probability

abstract: As mobile robots and autonomous vehicles become increasingly prevalent in human-centred environments, there is a need to control the risk of collision. Perceptual modules, for example machine vision, provide uncertain estimates of object location. In that context, the frequently made assumption of an exactly known free-space is invalid. Clearly, no paths can be guaranteed to be collision free. Instead, it is necessary to compute the probabilistic risk of collision on any proposed path. The FPR algorithm, proposed here, efficiently calculates an upper bound on the risk of collision for a robot moving on the plane. That computation orders candidate trajectories according to (the bound on) their degree of risk. Then paths within a user-defined threshold of primary risk could be selected according to secondary criteria such as comfort and efficiency. The key contribution of this paper is the FPR algorithm and its `convolution trick' to factor the integrals used to bound the risk of collision. As a consequence of the convolution trick, given $K$ obstacles and $N$ candidate paths, the computational load is reduced from the naive $O(NK)$, to the qualitatively faster $O(N+K)$.


title: On estimating the constant of simultaneous Diophantine approximation

abstract: The paper is devoted to the problem of estimating the constant of the best Diophantine approximations. The estimates of lower bound $ C_n $ for $ n = 5 $ and $ n = 6 $ was improved. The first chapter gives an overview of the history of estimates of the constant of the best Diophantine approximations. In the second chapter sets out the methods and results of numerical experiments leading to estimates of $ C_n $. The third chapter is devoted to estimating some functions by means of which in the fourth chapter we will proof the estimates of $ C_n $ for $ 3 \leq n \leq 6 $.


title: Remarks on metallic warped product manifolds

abstract: We characterize the metallic structure on the product of two metallic manifolds in terms of metallic maps and provide a necessary and sufficient condition for the warped product of two locally metallic Riemannian manifolds to be locally metallic. The particular case of product manifolds is discussed and an example of metallic warped product Riemannian manifold is provided.


title: Universality of the halo mass function in screened gravity theories

abstract: We examine the efficacy of the halo mass function as a probe of $f(R)$, symmetron and DGP gravity. We develop an excursion-set method to generalise a range of popular HMF fitting functions from GR to screened MG, considering the HMF dependence on the critical density parameter $\delta_{c}$. In particular, we propose a variety of new methods to account for the environmental dependence of chameleon screening and compare their accuracy to existing ones via $N$-body data. Finally, using the nested sampling routine MultiNest, we examine two possible interpretations of the MG $N$-body results: whether they can be interpreted as $\Lambda$CDM HMFs and whether the MG HMFs display any universality. We find that the effects of MG can be interpreted as a change in best-fit parameters in the $\Lambda$CDM HMF---i.e. can be mistaken for GR---for all of the fitting functions. Alternatively, the relation can be inverted to judge the universality of the HMF---not in terms of its purported invariance to $z$, $H_{0}$, $\Omega_{m}$, $\Omega_{\Lambda}$ as in GR, but its independence on the underlying theory of gravity. Although we found no completely universal HMF, the parameter values did cluster according to the type of screening mechanism. The results suggest that a single, best-fit HMF might be used for each type of screening, independent of the parameters in the MG model. This demonstrates that the additional complexity of the gravitational collapse in screened MG theories cannot always be accounted for using the techniques developed in GR. However, the variations are small enough that it is unnecessary to develop new fitting functions and calibrate them on a case-by-case basis.


title: Introducing two Vietnamese Datasets for Evaluating Semantic Models of (Dis-)Similarity and Relatedness

abstract: We present two novel datasets for the low-resource language Vietnamese to assess models of semantic similarity: ViCon comprises pairs of synonyms and antonyms across word classes, thus offering data to distinguish between similarity and dissimilarity. ViSim-400 provides degrees of similarity across five semantic relations, as rated by human judges. The two datasets are verified through standard co-occurrence and neural network models, showing results comparable to the respective English datasets.


title: Remarks on almost $\eta$-Ricci solitons in $(\varepsilon)$-para Sasakian manifolds

abstract: We consider almost $\eta$-Ricci solitons in $(\varepsilon)$-para Sasakian manifolds satisfying certain curvature conditions. In the gradient case we give an estimation of the Ricci curvature tensor's norm and express the scalar curvature of the manifold in terms of the functions that define the soliton. We also prove that if the Ricci operator is Codazzi, then the gradient $\eta$-Ricci soliton is expanding if $M$ is spacelike or shrinking if $M$ is timelike.


title: Maximal covers of finite groups

abstract: Let $\lambda(G)$ be the maximum number of subgroups in an irredundant covering of the finite group $G$. We prove that if $G$ is a group with $\lambda(G) \leqslant 6$, then $G$ is supersolvable. We also describe the structure of the groups $G$ with $\lambda(G)=6$. Moreover, we show that if $G$ is a group with $\lambda(G) \leqslant 30$, then $G$ is solvable.


title: Re-orientation of easy axis in $\varphi_0$ junction

abstract: We study theoretically a dynamics of $\varphi_0$ junction with direct coupling between magnetic moment and Josephson current which shows features close to Kapitza pendulum. We have found that starting with oscillations along $z$-axis, the character of magnetization dynamics changes crucially and stable position of magnetic moment $\vec m$ is realized between $z-$ and $y$-axes depending on parameters of the system. Changes in critical current and spin-orbit interaction lead to the different stability regions for magnetization. An excellent agreement between analytical and numerical results is obtained for low values of the Josephson to magnetic energy ratio.


title: Higher-order Coreference Resolution with Coarse-to-fine Inference

abstract: We introduce a fully differentiable approximation to higher-order inference for coreference resolution. Our approach uses the antecedent distribution from a span-ranking architecture as an attention mechanism to iteratively refine span representations. This enables the model to softly consider multiple hops in the predicted clusters. To alleviate the computational cost of this iterative process, we introduce a coarse-to-fine approach that incorporates a less accurate but more efficient bilinear factor, enabling more aggressive pruning without hurting accuracy. Compared to the existing state-of-the-art span-ranking approach, our model significantly improves accuracy on the English OntoNotes benchmark, while being far more computationally efficient.


title: A note on warped product almost quasi-Yamabe solitons

abstract: We consider almost quasi-Yamabe solitons in Riemannian manifolds, derive a Bochner-type formula in the gradient case and prove that under certain assumptions, the manifold is of constant scalar curvature. We also provide necessary and sufficient conditions for a gradient almost quasi-Yamabe soliton on the base manifold to induce a gradient almost quasi-Yamabe soliton on the warped product manifold.


title: Deep optimal stopping

abstract: In this paper we develop a deep learning method for optimal stopping problems which directly learns the optimal stopping rule from Monte Carlo samples. As such, it is broadly applicable in situations where the underlying randomness can efficiently be simulated. We test the approach on three problems: the pricing of a Bermudan max-call option, the pricing of a callable multi barrier reverse convertible and the problem of optimally stopping a fractional Brownian motion. In all three cases it produces very accurate results in high-dimensional situations with short computing times.


title: Applying Distributed Ledgers to Manage Workflow Provenance

abstract: Sharing provenance across workflow management systems automatically is not currently possible, but the value of such a capability is high since it could greatly reduce the amount of duplicated workflows, accelerate the discovery of new knowledge, and verify the integrity of past and present analyses. Although numerous technological challenges exist to efficiently share provenance information across workflow management systems, permissioned distributed ledgers could surmount many of them. The primary benefit of permissioned distributed ledgers over other technologies is that their distribution is over a peer-to-peer network that encodes transactions across the network into an immutable hash list and achieves consensus on the validity of the new data through a common consensus mechanism. This work discusses provenance and distributed ledgers on their own and then presents an argument that distributed ledgers naturally satisfy many of the requirements of workflow provenance, that provenance information can exist in the ledger in multiple ways, and that a number of novel research areas exist based on this strategy.


title: 4d $\mathcal{N}=3$ indices via discrete gauging

abstract: A class of 4d $\mathcal{N}=3$ SCFTs can be obtained from gauging a discrete subgroup of the global symmetry group of $\mathcal{N}=4$ Super Yang-Mills theory. This discrete subgroup contains elements of both the $SU(4)$ R-symmetry group and the $SL(2,\mathbb{Z})$ S-duality group of $\mathcal{N}=4$ SYM. We give a prescription for how to perform the discrete gauging at the level of the superconformal index and Higgs branch Hilbert series. We interpret and match the information encoded in these indices to known results for rank one $\mathcal{N}=3$ theories. Our prescription is easily generalised for the Coloumb branch and the Higgs branch indices of higher rank theories, allowing us to make new predictions for these theories. Most strikingly we find that the Coulomb branches of higher rank theories are generically not-freely generated.


title: Broad-band emission properties of central engine powered supernova ejecta interacting with a circumstellar medium

abstract: We investigate broad-band emission from supernova ejecta powered by a relativistic wind from a central compact object. A recent two-dimensional hydrodynamic simulation studying the dynamical evolution of supernova ejecta with a central energy source has revealed that outermost layers of the ejecta are accelerated to mildly relativistic velocities because of the breakout of a hot bubble driven by the energy injection. The outermost layers decelerate as they sweep a circumstellar medium surrounding the ejecta, leading to the formation of the forward and reverse shocks propagating in the circumstellar medium and the ejecta. While the ejecta continue to release the internal energy as thermal emission from the photosphere, the energy dissipation at the forward and reverse shock fronts gives rise to non-thermal emission. We calculate light curves and spectral energy distributions of thermal and non-thermal emission from central engine powered supernova ejecta embedded in a steady stellar wind with typical mass loss rates for massive stars. The light curves are compared with currently available radio and X-ray observations of hydrogen-poor superluminous supernovae, as well as the two well-studied broad-lined Ic supernovae, 1998bw and 2009bb, which exhibit bright radio emission indicating central engine activities. We point out that upper limits on radio luminosities of nearby superluminous supernovae may indicate the injected energy is mainly converted to thermal radiation rather than creating mildly relativistic flows owing to photon diffusion time scales comparable to the injection time scale.


title: Context and Humor: Understanding Amul advertisements of India

abstract: Contextual knowledge is the most important element in understanding language. By contextual knowledge we mean both general knowledge and discourse knowledge i.e. knowledge of the situational context, background knowledge and the co-textual context [10]. In this paper, we will discuss the importance of contextual knowledge in understanding the humor present in the cartoon based Amul advertisements in India.In the process, we will analyze these advertisements and also see if humor is an effective tool for advertising and thereby, for marketing.These bilingual advertisements also expect the audience to have the appropriate linguistic knowledge which includes knowledge of English and Hindi vocabulary, morphology and syntax. Different techniques like punning, portmanteaus and parodies of popular proverbs, expressions, acronyms, famous dialogues, songs etc are employed to convey the message in a humorous way. The present study will concentrate on these linguistic cues and the required context for understanding wit and humor.


title: Geometric Speed Limit of Accessible Many-Body State Preparation

abstract: We analyze state preparation within a restricted space of local control parameters between adiabatically connected states of control Hamiltonians. We formulate a conjecture that the time integral of energy fluctuations over the protocol duration is bounded from below by the geodesic length set by the quantum geometric tensor. The conjecture implies a geometric lower bound for the quantum speed limit (QSL). We prove the conjecture for arbitrary, sufficiently slow protocols using adiabatic perturbation theory and show that the bound is saturated by geodesic protocols, which keep the energy variance constant along the trajectory. Our conjecture implies that any optimal unit-fidelity protocol, even those that drive the system far from equilibrium, are fundamentally constrained by the quantum geometry of adiabatic evolution. When the control space includes all possible couplings, spanning the full Hilbert space, we recover the well-known Mandelstam-Tamm bound. However, using only accessible local controls to anneal in complex models such as glasses or to target individual excited states in quantum chaotic systems, the geometric bound for the quantum speed limit can be exponentially large in the system size due to a diverging geodesic length. We validate our conjecture both analytically by constructing counter-diabatic and fast-forward protocols for a three-level system, and numerically in nonintegrable spin chains and a nonlocal SYK model.


title: Universality of local weak interactions and its application for interferometric alignment

abstract: The modification of the effect of interactions of a particle as a function of its pre- and postselected states is analyzed theoretically and experimentally. The universality property of this modification in the case of local interactions of a spatially pre- and postselected particle has been found. It allowed to define an operational approach for characterization of the presence of a quantum particle in a particular place: the way it modifies the effect of local interactions. The experiment demonstrating this universality property provides an efficient interferometric alignment method, in which the beam on a single detector throughout one phase scan yields all misalignment parameters.


title: Evidence for superferrimagnetic clusters and spin-glass transition involving 4f Dy3+ spins in h-DyMnO3: A new twist to 4f Re3+ spin ordering in hexagonal manganites

abstract: The ferroelectric phase of the multiferroic hexagonal manganites (h-ReMnO3) has been reported to undergo a series of magnetic transitions involving long-range ordering/reorientation of 4fRe3+ and/or 3dMn3+ spins below room temperature. These transitions have attracted a lot of attention in recent years due to the geometrically frustrated nature of magnetic interactions. We have revisited these transitions in high quality single crystals of h-DyMnO3 using dc and ac susceptibility measurements as a function of temperature (T), magnetic field (H) and frequency (w) supplemented by specific heat measurements. Taking h-DyMnO3 as an example, we show that the Dy3+ spins below TN~68K are in a superferrimagnetic (SFIM) state whereas they undergo spin-glass (SG) transition below TDy3+~7K. Our observations demonstrate that neither the N\'eel transition at TN~68K nor the transition at TDy3+~7K is associated with long-range ordered states of Dy3+ spins as believed so far in the literature. The SG state of h-DyMnO3 is quite exotic as it occurs in an ordered compound purely due to geometrical frustration without any random disorder. Further, it shows an interesting crossover from de Almeida-Thouless type exponent (m=2/3) to Gabay-Toulouse type (m=2) with increasing field which cannot be explained in terms of the existing mean field theories of SG transition in Ising or Heisenberg systems but is expected for a vector X-Y SG system. Our observations call for a systematic reinvestigation of the nature of magnetic transitions involving Re3+ ions in other h-ReMnO3 also.


title: Approximating the covariance ellipsoid

abstract: We explore ways in which the covariance ellipsoid ${\cal B}=\{v \in \mathbb{R}^d : \mathbb{E} <X,v>^2 \leq 1\}$ of a centred random vector $X$ in $\mathbb{R}^d$ can be approximated by a simple set. The data one is given for constructing the approximating set consists of $X_1,...,X_N$ that are independent and distributed as $X$. We present a general method that can be used to construct such approximations and implement it for two types of approximating sets. We first construct a (random) set ${\cal K}$ defined by a union of intersections of slabs $H_{z,\alpha}=\{v \in \mathbb{R}^d : |<z,v>| \leq \alpha\}$ (and therefore ${\cal K}$ is actually the output of a neural network with two hidden layers). The slabs are generated using $X_1,...,X_N$, and under minimal assumptions on $X$ (e.g., $X$ can be heavy-tailed) it suffices that $N = c_1d \eta^{-4}\log(2/\eta)$ to ensure that $(1-\eta) {\cal K} \subset {\cal B} \subset (1+\eta){\cal K}$. In some cases (e.g., if $X$ is rotation invariant and has marginals that are well behaved in some weak sense), a smaller sample size suffices: $N = c_1d\eta^{-2}\log(2/\eta)$. We then show that if the slabs are replaced by randomly generated ellipsoids defined using $X_1,...,X_N$, the same degree of approximation is true when $N \geq c_2d\eta^{-2}\log(2/\eta)$. The construction we use is based on the small-ball method.


title: A maximal regularity approach to the study of motion of a rigid body with a fluid-filled cavity

abstract: We consider the inertial motion of a rigid body with an interior cavity that is completely filled with a viscous incompressible fluid. The equilibria of the system are characterized and their stability properties are analyzed. It is shown that equilibria associated with the largest moment of inertia are normally stable, while all other equilibria are normally hyperbolic. We show that every Leray-Hopf weak solution converges to an equilibrium at an exponential rate. In addition, we determine the critical spaces for the governing evolution equation, and we demonstrate how parabolic regularization in time-weighted spaces affords great flexibility in establishing regularity of solutions and their convergence to equilibria.


title: Simulating Quantum Circuits by Shuffling Paulis

abstract: Verification of NISQ era quantum devices demands fast classical simulation of large noisy quantum circuits. We present an algorithm based on the stabilizer formalism that can efficiently simulate noisy stabilizer circuits. Additionally, the protocol can efficiently simulate a large set of multi-qubit mixed states that are not mixtures of stabilizer states. The existence of these 'bound states' was previously only known for odd-dimensional systems like qutrits. The algorithm also has the favorable property that circuits with depolarizing noise are simulated much faster than unitary circuits. This work builds upon a similar algorithm by Bennink et al. (Phys. Rev. A 95, 062337) and utilizes a framework by Pashayan et al. (Phys. Rev. Lett. 115, 070501).


title: Monte Carlo Glauber model with meson cloud: predictions for 5.44 TeV Xe+Xe collisions

abstract: We study, within the Monte-Carlo Glauber model, centrality dependence of the midrapidity charged multiplicity density $dN_{ch}/d\eta$ and of the anisotropy coefficients $\varepsilon_{2,3}$ in Pb+Pb collisions at $\sqrt{s}=5.02$ TeV and in Xe+Xe collisions at $\sqrt{s}=5.44$ TeV. Calculations are performed for versions with and without nucleon meson cloud. The fraction of the binary collisions, $\alpha$, has been fitted to the data on $dN_{ch}/d\eta$ in Pb+Pb collisions. We obtain $\alpha\approx 0.09(0.13)$ with (without) meson cloud. The effect of meson cloud on the $dN_{ch}/d\eta$ is relatively small. For Xe+Xe collisions for $0$-$5$\% centrality bin we obtain $dN_{ch}/d\eta\approx 1149$ and $1134$ with and without meson cloud, respectively. We obtain $\varepsilon_2(\mbox{Xe})/\varepsilon_2(\mbox{Pb})\sim 1.45$ for most central collisions, and $\varepsilon_2(\mbox{Xe})/\varepsilon_2(\mbox{Pb})$ close to unity at $c\gtrsim 20$\%. We find a noticeable increase of the eccentricity in Xe+Xe collisions at small centralities due to the prolate shape of the Xe nucleus. The triangularity in Xe+Xe collisions is bigger than in Pb+Pb collisions at $c\lesssim 70$\%. We obtain $\varepsilon_3(\mbox{Xe})/\varepsilon_3(\mbox{Pb})\sim 1.3$ at $c\lesssim 1$\%.


title: Detecting Concrete Abnormality Using Time-series Thermal Imaging and Supervised Learning

abstract: Nondestructive detecting defects (NDD) in concrete structures have been explored for decades. Although limited successes were reported, major limitations still exist. The major limitations are the high noises to signal ratio created from the environmental factors, such as cloud, shadow, water, surface texture etc. and the decision making still relies on the engineering judgment of interpretation of image content. Time-series approach, such as principle component thermography approach has been experimented with some improved results. Recent progress in image processing using machine learning approach made it possible for detecting defects thermal features in more quantitative ways. In this paper, we provide a procedure to represent the thermal feature in the time domain by principal component analysis and regress the prediction of detection by two schemes of supervised learning models. Three independent experiments were conducted in a similar laboratory setup but varied in conditions to illustrate the performance and generalization of models. Results showed the effectiveness for the detection purpose with appropriate tuning for parameters. Future studies will focus on implementing more sophisticated structured models to handle more realistic cases under natural conditions.


title: Asymptotic Expansion of the Heat Kernel Trace of Laplacians with Polynomial Potentials

abstract: It is well-known that the asymptotic expansion of the trace of the heat kernel for Laplace operators on smooth compact Riemmanian manifolds can be obtained through termwise integration of the asymptotic expansion of the on-diagonal heat kernel. It is the purpose of this work to show that, in certain circumstances, termwise integration can be used to obtain the asymptotic expansion of the heat kernel trace for Laplace operators endowed with a suitable polynomial potential on unbounded domains. This is achieved by utilizing a resummed form of the asymptotic expansion of the on-diagonal heat kernel.


title: GU IRLAB at SemEval-2018 Task 7: Tree-LSTMs for Scientific Relation Classification

abstract: SemEval 2018 Task 7 focuses on relation ex- traction and classification in scientific literature. In this work, we present our tree-based LSTM network for this shared task. Our approach placed 9th (of 28) for subtask 1.1 (relation classification), and 5th (of 20) for subtask 1.2 (relation classification with noisy entities). We also provide an ablation study of features included as input to the network.


title: Simon's Anthill: Mapping and Navigating Belief Spaces

abstract: In the parable of Simon's Ant, an ant follows a complex path along a beach on to reach its goal. The story shows how the interaction of simple rules and a complex environment result in complex behavior. But this relationship can be looked at in another way - given path and rules, we can infer the environment. With a large population of agents - human or animal - it should be possible to build a detailed map of a population's social and physical environment. In this abstract, we describe the development of a framework to create such maps of human belief space. These maps are built from the combined trajectories of a large number of agents. Currently, these maps are built using multidimensional agent-based simulation, but the framework is designed to work using data from computer-mediated human communication. Maps incorporating human data should support visualization and navigation of the "plains of research", "fashionable foothills" and "conspiracy cliffs" of human belief spaces.


title: Scission Dynamics with K Partitions

abstract: We propose a framework to calculate the dynamics at the scission point of nuclear fission, based as far as possible on a discrete representation of orthogonal many-body configurations. Assuming axially symmetric scission shapes, we use the $K$ orbital quantum number to build a basis of wave functions. Pre-scission configurations are stable under mean-field dynamics while post-scission configurations evolve to separated fragments. In this first exploratory study, we analyze a typical fission trajectory through to scission in terms of these configurations. We find that there is a major rearrangement of the $K$ occupancy factors at scission. Interestingly, very different fragment shapes occur in the post-scission configurations, even starting from the same pre-scission configuration.


title: Edge-sum distinguishing labeling

abstract: We study \emph{edge-sum distinguishing labeling}, a type of labeling recently introduced by Tuza in [Zs. Tuza, \textit{Electronic Notes in Discrete Mathematics} 60, (2017), 61-68] in context of labeling games. An \emph{ESD labeling} of an $n$-vertex graph $G$ is an injective mapping of integers $1$ to $l$ to its vertices such that for every edge, the sum of the integers on its endpoints is unique. If $l$ equals to $n$, we speak about a \emph{canonical ESD labeling}. We focus primarily on structural properties of this labeling and show for several classes of graphs if they have or do not have a canonical ESD labeling. As an application we show some implications of these results for games based on ESD labeling. We also observe that ESD labeling is closely connected to the well-known notion of \emph{magic} and \emph{antimagic} labelings, to the \emph{Sidon sequences} and to \emph{harmonious labelings}.


title: Morita equivalence and the generalized K\"ahler potential

abstract: We solve the problem of determining the fundamental degrees of freedom underlying a generalized K\"ahler structure of symplectic type. For a usual K\"ahler structure, it is well-known that the geometry is determined by a complex structure, a K\"ahler class, and the choice of a positive $(1,1)$-form in this class, which depends locally on only a single real-valued function: the K\"ahler potential. Such a description for generalized K\"ahler geometry has been sought since it was discovered in 1984. We show that a generalized K\"ahler structure of symplectic type is determined by a pair of holomorphic Poisson manifolds, a holomorphic symplectic Morita equivalence between them, and the choice of a positive Lagrangian brane bisection, which depends locally on only a single real-valued function, which we call the generalized K\"ahler potential. Our solution draws upon, and specializes to, the many results in the physics literature which solve the problem under the assumption (which we do not make) that the Poisson structures involved have constant rank. To solve the problem we make use of, and generalize, two main tools: the first is the notion of symplectic Morita equivalence, developed by Weinstein and Xu to study Poisson manifolds; the second is Donaldson's interpretation of a K\"ahler metric as a real Lagrangian submanifold in a deformation of the holomorphic cotangent bundle.


title: Rapidly Rotating Stars

abstract: A rotating star may be modeled as a continuous system of particles attracted to each other by gravity and with a given total mass and prescribed angular velocity. Mathematically this leads to the Euler-Poisson system. We prove an existence theorem for such stars that are rapidly rotating, depending continuously on the speed of rotation. This solves a problem that has been open since Lichtenstein's work in 1933. The key tool is global continuation theory, combined with a delicate limiting process. The solutions form a connected set $\mathcal K$ in an appropriate function space. As the speed of rotation increases, we prove that {\it either the supports of the stars in $\mathcal K$ become unbounded or the density somewhere within the stars becomes unbounded}. We permit any equation of state of the form $p=\rho^\gamma,\ 6/5<\gamma<2$, so long as $\gamma\ne4/3$. We consider two formulations, one where the angular velocity is prescribed and the other where the angular momentum per unit mass is prescribed.


title: SMT Solving for Vesicle Traffic Systems in Cells

abstract: In biology, there are several questions that translate to combinatorial search. For example, vesicle traffic systems that move cargo within eukaryotic cells have been proposed to exhibit several graph properties such as three connectivity. These properties are consequences of underlying biophysical constraints. A natural question for biologists is: what are the possible networks for various combinations of those properties? In this paper, we present novel SMT based encodings of the properties over vesicle traffic systems and a tool that searches for the networks that satisfies the properties using SMT solvers. In our experiments, we show that our tool can search for networks of sizes that are considered to be relevant by biologists.


title: On the fattening of ACM arrangements of codimension 2 subspaces in P^N

abstract: In the present note we study configurations of codimension 2 flats in projective spaces and classify those with the smallest rate of growth of the initial sequence. Our work extends those of Bocci, Chiantini in P^2 and Janssen in P^3 to projective spaces of arbitrary dimension.


title: Are Automatic Methods for Cognate Detection Good Enough for Phylogenetic Reconstruction in Historical Linguistics?

abstract: We evaluate the performance of state-of-the-art algorithms for automatic cognate detection by comparing how useful automatically inferred cognates are for the task of phylogenetic inference compared to classical manually annotated cognate sets. Our findings suggest that phylogenies inferred from automated cognate sets come close to phylogenies inferred from expert-annotated ones, although on average, the latter are still superior. We conclude that future work on phylogenetic reconstruction can profit much from automatic cognate detection. Especially where scholars are merely interested in exploring the bigger picture of a language family's phylogeny, algorithms for automatic cognate detection are a useful complement for current research on language phylogenies.


title: Pragmatically Informative Image Captioning with Character-Level Inference

abstract: We combine a neural image captioner with a Rational Speech Acts (RSA) model to make a system that is pragmatically informative: its objective is to produce captions that are not merely true but also distinguish their inputs from similar images. Previous attempts to combine RSA with neural image captioning require an inference which normalizes over the entire set of possible utterances. This poses a serious problem of efficiency, previously solved by sampling a small subset of possible utterances. We instead solve this problem by implementing a version of RSA which operates at the level of characters ("a","b","c"...) during the unrolling of the caption. We find that the utterance-level effect of referential captions can be obtained with only character-level decisions. Finally, we introduce an automatic method for testing the performance of pragmatic speaker models, and show that our model outperforms a non-pragmatic baseline as well as a word-level RSA captioner.


title: Self-similar solutions of kinetic-type equations: the boundary case

abstract: For a time dependent family of probability measures $(\rho_t)_{t\ge 0}$ we consider a kinetic-type evolution equation $\partial \phi_t/\partial t + \phi_t = \widehat{Q} \phi_t$ where $\widehat{Q}$ is a smoothing transform and $\phi_t$ is the Fourier--Stieltjes transform of $\rho_t$. Assuming that the initial measure $\rho_0$ belongs to the domain of attraction of a stable law, we describe asymptotic properties of $\rho_t$, as $t\to\infty$. We consider the critical regime when the standard normalization leads to a degenerate limit and find an appropriate scaling ensuring a non-degenerate self-similar limit. Our approach is based on a probabilistic representation of probability measures $(\rho_t)_{t\ge 0}$ that refines the corresponding construction proposed in Bassetti and Ladelli [Ann. Appl. Probab. 22(5): 1928--1961, 2012].


title: Spacetimes as topological spaces, and the need to take methods of general topology more seriously

abstract: Why is the manifold topology in a spacetime taken for granted? Why do we prefer to use Riemann open balls as basic-open sets, while there also exists a Lorentz metric? Which topology is a best candidate for a spacetime; a topology sufficient for the description of spacetime singularities or a topology which incorporates the causal structure? Or both? Is it more preferable to have a topology with as many physical properties as possible, whose description might be complicated and counterintuitive, or a topology which can be described via a countable basis but misses some important information? These are just a few from the questions that we ask in this Chapter, which serves as a critical review of the terrain and contains a survey with remarks, corrections and open questions.


title: A Weighted Generalization of the Graham-Diaconis Inequality for Ranked List Similarity

abstract: The Graham-Diaconis inequality shows the equivalence between two well-known methods of measuring the similarity of two given ranked lists of items: Spearman's footrule and Kendall's tau. The original inequality assumes unweighted items in input lists. In this paper, we first define versions of these methods for weighted items. We then prove a generalization of the inequality for the weighted versions.


title: Minimal surfaces in the three dimensional sphere with high symmetry

abstract: Using the Lawson's existence theorem of minimal surfaces and the symmetries of the Hopf fibration, we will construct symmetric embedded closed minimal surfaces in the three dimensional sphere. These surfaces contain the Clifford torus, the Lawson's minimal surfaces, and seven new minimal surfaces with genera 9, 25, 49, 121, 121, 361 and 841. We will also discuss the relation between such surfaces and the maximal extendable group actions on subsurfaces of the three dimensional sphere.


title: FDMO: Feature Assisted Direct Monocular Odometry

abstract: Visual Odometry (VO) can be categorized as being either direct or feature based. When the system is calibrated photometrically, and images are captured at high rates, direct methods have shown to outperform feature-based ones in terms of accuracy and processing time; they are also more robust to failure in feature-deprived environments. On the downside, Direct methods rely on heuristic motion models to seed the estimation of camera motion between frames; in the event that these models are violated (e.g., erratic motion), Direct methods easily fail. This paper proposes a novel system entitled FDMO (Feature assisted Direct Monocular Odometry), which complements the advantages of both direct and featured based techniques. FDMO bootstraps indirect feature tracking upon the sub-pixel accurate localized direct keyframes only when failure modes (e.g., large baselines) of direct tracking occur. Control returns back to direct odometry when these conditions are no longer violated. Efficiencies are introduced to help FDMO perform in real time. FDMO shows significant drift (alignment, rotation & scale) reduction when compared to DSO & ORB SLAM when evaluated using the TumMono and EuroC datasets.


title: Harmonic maps and twistorial structures

abstract: We introduce the notion of Riemannian twistorial structure and we show that it provides new natural constructions of harmonic maps.


title: Measuring complete band diagrams of non-ideal heterointerfaces by combining ellipsometry and photoemission spectroscopy

abstract: In this work, we show that spectroscopic ellipsometry can be combined with photoemission spectroscopy to obtain complete interface band diagrams of non-ideal semiconductor heterointerfaces, such as interfaces between thin-film polycrystalline materials. The non-destructive ellipsometry measurement probes the near-interface band gap of the two semiconductors (including the buried semiconductor) after the interface has formed. This is important in the non-ideal case where chemical processes during interface growth modify the electronic properties of the two separated surfaces. Knowledge of near-interface band gaps improves accuracy in conduction band offset measurements of non-ideal interfaces, and it sheds light on their device physics. Both of those positive outcomes are demonstrated in the Cu$_2$ZnSnS$_4$/CdS interface used here as a case study, where the band gap of both materials decreases by up to 200 meV from the bulk to the near-interface region. This finding reveals a preferential electron-hole recombination channel near the interface, and it yields corrected values for the interfacial conduction band offset.


title: Center of skew PBW extensions

abstract: In this paper we compute the center of many noncommutative algebras that can be interpreted as skew $PBW$ extensions. We show that, under some natural assumptions on the parameters that define the extension, either the center is trivial, or, it is of polynomial type. As an application, we provided new examples of noncommutative algebras that are cancellative.


title: Simple 2.5 GHz time-bin quantum key distribution

abstract: We present a 2.5 GHz quantum key distribution setup with the emphasis on a simple experimental realization. It features a three-state time-bin protocol based on a pulsed diode laser and a single intensity modulator. Implementing an efficient one-decoy scheme and finite-key analysis, we achieve record breaking secret key rates of 1.5 kbps over 200 km of standard optical fiber.


title: White matter fiber analysis using kernel dictionary learning and sparsity priors

abstract: Diffusion magnetic resonance imaging, a non-invasive tool to infer white matter fiber connections, produces a large number of streamlines containing a wealth of information on structural connectivity. The size of these tractography outputs makes further analyses complex, creating a need for methods to group streamlines into meaningful bundles. In this work, we address this by proposing a set of kernel dictionary learning and sparsity priors based methods. Proposed frameworks include L-0 norm, group sparsity, as well as manifold regularization prior. The proposed methods allow streamlines to be assigned to more than one bundle, making it more robust to overlapping bundles and inter-subject variations. We evaluate the performance of our method on a labeled set and data from Human Connectome Project. Results highlight the ability of our method to group streamlines into plausible bundles and illustrate the impact of sparsity priors on the performance of the proposed methods.


title: Assessing Consistency Between WMAP 9-year and Planck 2015 Temperature Power Spectra

abstract: We perform a comparison of WMAP 9-year (WMAP9) and Planck 2015 cosmic microwave background (CMB) temperature power spectra across multipoles $30\leq\ell\leq1200$. We generate simulations to estimate the correlation between the two datasets due to cosmic variance from observing the same sky. We find that their spectra are consistent within $1\sigma$. While we do not implement the optimal "$C^{-1}$" estimator on WMAP maps as in the WMAP9 analysis, we demonstrate that the change of pixel weighting only shifts our results at most at the $0.66\sigma$ level. We also show that changing the fiducial power spectrum for simulations only impacts the comparison at around $0.1\sigma$ level. We exclude $\ell<30$ both because WMAP9 data were included in the Planck 2015 $\ell<30$ analysis, and because the cosmic variance uncertainty on these scales is large enough that any remaining systematic difference between the experiments is extremely unlikely to affect cosmological constraints. The consistency shown in our analysis provides high confidence in both the WMAP9 temperature power spectrum and the overlapping multipole region of Planck 2015's, virtually independent of any assumed cosmological model. Our results indicate that cosmological model differences between Planck and WMAP do not arise from measurement differences, but from the high multipoles not measured by WMAP.


title: Gnowee: A Hybrid Metaheuristic Optimization Algorithm for Constrained, Black Box, Combinatorial Mixed-Integer Design

abstract: This paper introduces Gnowee, a modular, Python-based, open-source hybrid metaheuristic optimization algorithm (Available from https://github.com/SlaybaughLab/Gnowee). Gnowee is designed for rapid convergence to nearly globally optimum solutions for complex, constrained nuclear engineering problems with mixed-integer and combinatorial design vectors and high-cost, noisy, discontinuous, black box objective function evaluations. Gnowee's hybrid metaheuristic framework is a new combination of a set of diverse, robust heuristics that appropriately balance diversification and intensification strategies across a wide range of optimization problems. This novel algorithm was specifically developed to optimize complex nuclear design problems; the motivating research problem was the design of material stack-ups to modify neutron energy spectra to specific targeted spectra for applications in nuclear medicine, technical nuclear forensics, nuclear physics, etc. However, there are a wider range of potential applications for this algorithm both within the nuclear community and beyond. To demonstrate Gnowee's behavior for a variety of problem types, comparisons between Gnowee and several well-established metaheuristic algorithms are made for a set of eighteen continuous, mixed-integer, and combinatorial benchmarks. These results demonstrate Gnoweee to have superior flexibility and convergence characteristics over a wide range of design spaces. We anticipate this wide range of applicability will make this algorithm desirable for many complex engineering applications.


title: Simultaneous disease mapping and hot spot detection with application to childhood obesity surveillance from electronic health records

abstract: Electronic health records (EHRs) have become a platform for data-driven surveillance on a granular level in recent years. In this paper, we make use of EHRs for early prevention of childhood obesity. The proposed method simultaneously provides smooth disease mapping and outlier information for obesity prevalence, which are useful for raising public awareness and facilitating targeted intervention. More precisely, we consider a penalized multilevel generalized linear model. We decompose regional contribution into smooth and sparse signals, which are automatically identified by a combination of fusion and sparse penalties imposed on the likelihood function. In addition, we weigh the proposed likelihood to account for the missingness and potential non-representativeness arising from the EHR data. We develop a novel alternating minimization algorithm, which is computationally efficient, easy to implement, and guarantees convergence. Simulation studies demonstrate superior performance of the proposed method. Finally, we apply our method to the University of Wisconsin Population Health Information Exchange database.


title: Large Genus Asymptotics for Volumes of Strata of Abelian Differentials

abstract: In this paper we consider the large genus asymptotics for Masur-Veech volumes of arbitrary strata of Abelian differentials. Through a combinatorial analysis of an algorithm proposed in 2002 by Eskin-Okounkov to exactly evaluate these quantities, we show that the volume $\nu_1 \big( \mathcal{H}_1 (m) \big)$ of a stratum indexed by a partition $m = (m_1, m_2, \ldots , m_n)$ is $\big( 4 + o(1) \big) \prod_{i = 1}^n (m_i + 1)^{-1}$ as $2g - 2 = \sum_{i = 1}^n m_i$ tends to $\infty$. This confirms a prediction of Eskin-Zorich and generalizes some of the recent results of Chen-Moeller-Zagier and Sauvaget, who established these limiting statements in the special cases $m = 1^{2g - 2}$ and $m = (2g - 2)$, respectively. We also include an Appendix by Anton Zorich that uses our main result to deduce the large genus asymptotics for Siegel-Veech constants that count certain types of saddle connections.


title: The probabilistic structure of the geodynamo

abstract: One of the most intriguing features of Earth's axial magnetic dipole field, well-known from the geological record, is its occasional and unpredictable reversal of polarity. Understanding the phenomenon is rendered very difficult by the highly non-linear nature of the underlying magnetohydrodynamic problem. Numerical simulations of the liquid outer core, where regeneration occurs, are only able to model conditions that are far from Earth-like. On the analytical front, the situation is not much better; basic calculations, such as relating the average rate of reversals to various core parameters, have apparently been intractable. Here, we present a framework for solving such problems. Starting with the magnetic induction equation, we show that by considering its sources to be stochastic processes with fairly general properties, we can derive a differential equation for the joint probability distribution of the dominant toroidal and poloidal modes. This can be simplified to a Fokker-Planck equation and, with the help of an adiabatic approximation, reduced even further to an equation for the dipole amplitude alone. From these equations various quantities related to the magnetic field, including the average reversal rate, field strength, and time to complete a reversal, can be computed as functions of a small number of numerical parameters. These parameters in turn can be computed from physical considerations or constrained by paleomagnetic, numerical, and experimental data.


title: Adaptivity for Regularized Kernel Methods by Lepskii's Principle

abstract: We address the problem of {\it adaptivity} in the framework of reproducing kernel Hilbert space (RKHS) regression. More precisely, we analyze estimators arising from a linear regularization scheme $g_\lam$. In practical applications, an important task is to choose the regularization parameter $\lam$ appropriately, i.e. based only on the given data and independently on unknown structural assumptions on the regression function. An attractive approach avoiding data-splitting is the {\it Lepskii Principle} (LP), also known as the {\it Balancing Principle} is this setting. We show that a modified parameter choice based on (LP) is minimax optimal adaptive, up to $\log\log(n)$. A convenient result is the fact that balancing in $L^2(\nu)-$ norm, which is easiest, automatically gives optimal balancing in all stronger norms, interpolating between $L^2(\nu)$ and the RKHS. An analogous result is open for other classical approaches to data dependent choices of the regularization parameter, e.g. for Hold-Out.


title: Analysis on hybrid fractals

abstract: We introduce hybrid fractals as a class of fractals constructed by gluing several fractal pieces in a specific manner and study energy forms and Laplacians on them. We consider in particular a hybrid based on the $3$-level Sierpinski gasket, for which we construct explicitly an energy form with the property that it does not "capture" the $3$-level Sierpinski gasket structure. This characteristic type of energy forms that "miss" parts of the structure of the underlying space are investigated in the more general framework of finitely ramified cell structures. The spectrum of the associated Laplacian and its asymptotic behavior in two different hybrids is analyzed theoretically and numerically. A website with further numerical data analysis is available at http://www.math.cornell.edu/~harry970804/.


title: What Happened? Leveraging VerbNet to Predict the Effects of Actions in Procedural Text

abstract: Our goal is to answer questions about paragraphs describing processes (e.g., photosynthesis). Texts of this genre are challenging because the effects of actions are often implicit (unstated), requiring background knowledge and inference to reason about the changing world states. To supply this knowledge, we leverage VerbNet to build a rulebase (called the Semantic Lexicon) of the preconditions and effects of actions, and use it along with commonsense knowledge of persistence to answer questions about change. Our evaluation shows that our system, ProComp, significantly outperforms two strong reading comprehension (RC) baselines. Our contributions are two-fold: the Semantic Lexicon rulebase itself, and a demonstration of how a simulation-based approach to machine reading can outperform RC methods that rely on surface cues alone. Since this work was performed, we have developed neural systems that outperform ProComp, described elsewhere (Dalvi et al., NAACL'18). However, the Semantic Lexicon remains a novel and potentially useful resource, and its integration with neural systems remains a currently unexplored opportunity for further improvements in machine reading about processes.


title: Hidden Hamiltonian Cycle Recovery via Linear Programming

abstract: We introduce the problem of hidden Hamiltonian cycle recovery, where there is an unknown Hamiltonian cycle in an $n$-vertex complete graph that needs to be inferred from noisy edge measurements. The measurements are independent and distributed according to $\calP_n$ for edges in the cycle and $\calQ_n$ otherwise. This formulation is motivated by a problem in genome assembly, where the goal is to order a set of contigs (genome subsequences) according to their positions on the genome using long-range linking measurements between the contigs. Computing the maximum likelihood estimate in this model reduces to a Traveling Salesman Problem (TSP). Despite the NP-hardness of TSP, we show that a simple linear programming (LP) relaxation, namely the fractional $2$-factor (F2F) LP, recovers the hidden Hamiltonian cycle with high probability as $n \to \infty$ provided that $\alpha_n - \log n \to \infty$, where $\alpha_n \triangleq -2 \log \int \sqrt{d P_n d Q_n}$ is the R\'enyi divergence of order $\frac{1}{2}$. This condition is information-theoretically optimal in the sense that, under mild distributional assumptions, $\alpha_n \geq (1+o(1)) \log n$ is necessary for any algorithm to succeed regardless of the computational cost. Departing from the usual proof techniques based on dual witness construction, the analysis relies on the combinatorial characterization (in particular, the half-integrality) of the extreme points of the F2F polytope. Represented as bicolored multi-graphs, these extreme points are further decomposed into simpler "blossom-type" structures for the large deviation analysis and counting arguments. Evaluation of the algorithm on real data shows improvements over existing approaches.


title: An explicit Formula for Bernoulli Polynomials with a $q$ Parameter in Terms of $r$-Whitney Numbers

abstract: We define the Bernoulli polynomials with a $q$ parameter in terms of $r$-Whitney numbers of the second kind. Some algebraic properties and combinatorial identities of these polynomials are given. Also, we obtain several relations between the Cauchy and Bernoulli polynomials with a $q$ parameter in terms of $r$-Whitney numbers of both kinds.


title: A scattering theory for linear waves on the interior of Reissner-Nordstr\"om black holes

abstract: We develop a scattering theory for the linear wave equation $\Box_g \psi = 0$ on the interior of Reissner-Nordstr\"om black holes, connecting the fixed frequency picture to the physical space picture. Our main result gives the existence, uniqueness and asymptotic completeness of finite energy scattering states. The past and future scattering states are represented as suitable traces of the solution $\psi$ on the bifurcate event and Cauchy horizons. The heart of the proof is to show that after separation of variables one has uniform boundedness of the reflection and transmission coefficients of the resulting radial o.d.e. over all frequencies $\omega$ and $\ell$. This is non-trivial because the natural $T$ conservation law is sign-indefinite in the black hole interior. In the physical space picture, our results imply that the Cauchy evolution from the event horizon to the Cauchy horizon is a Hilbert space isomorphism, where the past (resp. future) Hilbert space is defined by the finiteness of the degenerate $T$ energy fluxes on both components of the event (resp. Cauchy) horizon. Finally, we prove that, in contrast to the above, for a generic set of cosmological constants $\Lambda$, there is no analogous finite $T$ energy scattering theory for either the linear wave equation or the Klein-Gordon equation with conformal mass on the (anti-) de Sitter-Reissner-Nordstr\"om interior.


title: Solvability of Mazes by Blind Robots

abstract: In this paper we introduce and investigate a new type of automata which turns out to be rich in deep and complex phenomena. For our model, a maze is a countable strongly connected digraph called the board together with a proper colouring of its edges (the edges leaving a vertex have distinct colours) and two special vertices: the origin and the destination. A pointer or robot starts at the origin of a maze and moves naturally between its vertices, according to a finite or infinite sequence of specific instructions from the set of all colours called an algorithm; if the robot is at a vertex for which there is no out-edge of the colour indicated by the instruction, it remains at that vertex and proceeds to execute the next instruction in the sequence. The central object of study is the existence of algorithms that simultaneously solve, that is guide the robot to visit the destination in, certain large sets of mazes. One of the most natural and interesting sets of mazes arises from the square lattice $\Z^2$ viewed as a graph with arbitrarily many edges removed (each edge corresponds to a pair of opposite directed edges), together with the suggestive colouring that assigns to each directed edge the corresponding cardinal direction. In this set-up, a research question of Leader and Spink from 2011, which proved to be very profound, asks whether there exists an algorithm which solves this set of mazes. In this paper we make progress towards this question. We consider the subset of all such mazes which have arbitrarily many horizontal edges removed but only finitely many vertical edges removed in consecutive columns, and construct an algorithm which solves this subset of mazes.


title: Embedding irreducible connected sets

abstract: We show that every connected set $X$ which is irreducible between two points $a$ and $b$ embeds into the Hilbert cube in a way that $X\cup \{c\}$ is irreducible between $a$ and $b$ for every point $c$ in the closure of $X$. Also, a connected set $X$ is indecomposable if and only if for every compactum $Y\supseteq X$ and $a\in X$ there are two points $b$ and $c$ in the closure of $X$ such that $X\cup \{b,c\}$ is irreducible between every two points from $\{a,b,c\}$. Following the proofs of these theorems, we illustrate a cube embedding of the main example from "On indecomposability of $\beta X$". We prove the example embeds into the plane.


title: A Deterministic Distributed Algorithm for Exact Weighted All-Pairs Shortest Paths in $\tilde{O}(n^{3/2})$ Rounds

abstract: We present a deterministic distributed algorithm to compute all-pairs shortest paths(APSP) in an edge-weighted directed or undirected graph. Our algorithm runs in $\tilde{O}(n^{3/2})$ rounds in the Congest model, where $n$ is the number of nodes in the graph. This is the first $o(n^2)$ rounds deterministic distributed algorithm for the weighted APSP problem. Our algorithm is fairly simple and incorporates a deterministic distributed algorithm we develop for computing a `blocker set' \cite{King99}, which has been used earlier in sequential dynamic computation of APSP.


title: One-dimensional backreacting holographic superconductors with exponential nonlinear electrodynamics

abstract: In this paper, we investigate the effects of nonlinear exponential electrodynamics as well as backreaction on the properties of one-dimensional $s$-wave holographic superconductors. We continue our study both analytically and numerically. In analytical study, we employ the Sturm-Liouville method while in numerical approach we perform the shooting method. We obtain a relation between the critical temperature and chemical potential analytically. Our results show a good agreement between analytical and numerical methods. We observe that the increase in the strength of both nonlinearity and backreaction parameters causes the formation of condensation in the black hole background harder and critical temperature lower. These results are consistent with those obtained for two dimensional $s$-wave holographic superconductors.


title: Better Fixed-Arity Unbiased Black-Box Algorithms

abstract: In their GECCO'12 paper, Doerr and Doerr proved that the $k$-ary unbiased black-box complexity of OneMax on $n$ bits is $O(n/k)$ for $2\le k\le O(\log n)$. We propose an alternative strategy for achieving this unbiased black-box complexity when $3\le k\le\log_2 n$. While it is based on the same idea of block-wise optimization, it uses $k$-ary unbiased operators in a different way. For each block of size $2^{k-1}-1$ we set up, in $O(k)$ queries, a virtual coordinate system, which enables us to use an arbitrary unrestricted algorithm to optimize this block. This is possible because this coordinate system introduces a bijection between unrestricted queries and a subset of $k$-ary unbiased operators. We note that this technique does not depend on OneMax being solved and can be used in more general contexts. This together constitutes an algorithm which is conceptually simpler than the one by Doerr and Doerr, and at the same time achieves better constant factors in the asymptotic notation. Our algorithm works in $(2+o(1))\cdot n/(k-1)$, where $o(1)$ relates to $k$. Our experimental evaluation of this algorithm shows its efficiency already for $3\le k\le6$.


title: Non-Orthogonal Multiple Access Based on Hybrid Beamforming for mmWave Systems

abstract: This paper aims to study the utilization of non-orthogonal multiple access (NOMA) in hybrid beamforming (HB) multi-user systems called HB-NOMA to serve a large number of mobile users (MUs). First, a sum-rate expression for the HB-NOMA problem is formulated. Second, a suboptimal algorithm is proposed to maximize the sum-rate. Then, a lower bound for the achievable rate is derived under the condition that the angle between the effective channel vectors of the MU with the highest channel gain and other MUs located inside a cluster is non-zero, which we denote by imperfect correlation. The lower bound indicates that an inefficient MU cluster, can cause severe inter-cluster interference in the network. To verify our findings, numerical simulations have been conducted.


title: Evolving Event-driven Programs with SignalGP

abstract: We present SignalGP, a new genetic programming (GP) technique designed to incorporate the event-driven programming paradigm into computational evolution's toolbox. Event-driven programming is a software design philosophy that simplifies the development of reactive programs by automatically triggering program modules (event-handlers) in response to external events, such as signals from the environment or messages from other programs. SignalGP incorporates these concepts by extending existing tag-based referencing techniques into an event-driven context. Both events and functions are labeled with evolvable tags; when an event occurs, the function with the closest matching tag is triggered. In this work, we apply SignalGP in the context of linear GP. We demonstrate the value of the event-driven paradigm using two distinct test problems (an environment coordination problem and a distributed leader election problem) by comparing SignalGP to variants that are otherwise identical, but must actively use sensors to process events or messages. In each of these problems, rapid interaction with the environment or other agents is critical for maximizing fitness. We also discuss ways in which SignalGP can be generalized beyond our linear GP implementation.


title: Robust topological phase in proximitized core-shell nanowires coupled to multiple superconductors

abstract: We consider core-shell nanowires with prismatic geometry contacted with two or more superconductors in the presence of a magnetic field applied parallel to the wire. In this geometry, the lowest energy states are localized on the outer edges of the shell, which strongly inhibits the orbital effects of the longitudinal magnetic field that are detrimental to Majorana physics. Using a tight-binding model of coupled parallel chains, we calculate the topological phase diagram of the hybrid system in the presence of non-vanishing transverse potentials and finite relative phases between the parent superconductors. We show that having finite relative phases strongly enhances the stability of the induced topological superconductivity over a significant range of chemical potentials and reduces the value of the critical field associated with the topological quantum phase transition.


title: A regularized entropy-based moment method for kinetic equations

abstract: We present a new entropy-based moment method for the velocity discretization of kinetic equations. This method is based on a regularization of the optimization problem defining the original entropy-based moment method, and this gives the new method the advantage that the moment vectors of the solution do not have to take on realizable values. We show that this equation still retains many of the properties of the original equations, including hyperbolicity, an entropy-dissipation law, and rotational invariance. The cost of the regularization is mismatch between the moment vector of the solution and that of the ansatz returned by the regularized optimization problem. However, we show how to control this error using the parameter defining the regularization. This suggests that with proper choice of the regularization parameter, the new method can be used to generate accurate solutions of the original entropy-based moment method, and we confirm this with numerical simulations.


title: Watch, Listen, and Describe: Globally and Locally Aligned Cross-Modal Attentions for Video Captioning

abstract: A major challenge for video captioning is to combine audio and visual cues. Existing multi-modal fusion methods have shown encouraging results in video understanding. However, the temporal structures of multiple modalities at different granularities are rarely explored, and how to selectively fuse the multi-modal representations at different levels of details remains uncharted. In this paper, we propose a novel hierarchically aligned cross-modal attention (HACA) framework to learn and selectively fuse both global and local temporal dynamics of different modalities. Furthermore, for the first time, we validate the superior performance of the deep audio features on the video captioning task. Finally, our HACA model significantly outperforms the previous best systems and achieves new state-of-the-art results on the widely used MSR-VTT dataset.


title: Proprieties of FBK UFSDs after neutron and proton irradiation up to 6*10e15 neq/cm2

abstract: The properties of 60-{\mu}m thick Ultra-Fast Silicon Detectors (UFSD) detectors manufactured by Fondazione Bruno Kessler (FBK), Trento (Italy) were tested before and after irradiation with minimum ionizing particles (MIPs) from a 90Sr \b{eta}-source . This FBK production, called UFSD2, has UFSDs with gain layer made of Boron, Boron low-diffusion, Gallium, Carbonated Boron and Carbonated. The irradiation with neutrons took place at the TRIGA reactor in Ljubljana, while the proton irradiation took place at CERN SPS. The sensors were exposed to a neutron fluence of 4*10e14, 8*1014, 1.5*10e15, 3*10e15, 6*10e15 neq/cm2 and to a proton fluence of 9.6*10e14 p/cm2, equivalent to a fluence of 6*10e14 neq/cm2. The internal gain and the timing resolution were measured as a function of bias voltage at -20C. The timing resolution was extracted from the time difference with a second calibrated UFSD in coincidence, using the constant fraction method for both.


title: Evolution of the electron cyclotron drift instability in two-dimensions

abstract: The Electron Cyclotron Drift Instability (ECDI) driven by the electron $E\times B$ drift in partially magnetized plasmas is investigated with highly resolved particle-in-cell simulations. The emphasis is on two-dimensional effects involving the parallel dynamics along the magnetic field in a finite length plasma with dielectric walls. It is found that the instability develops as a sequence of growing cyclotron harmonics demonstrating wave breaking and complex nonlinear interactions, being particularly pronounced in ion density fluctuations at short wavelengths. At the same time, nonlinear evolution of fluctuations of the ion and electron density, as well as the anomalous electron current, shows cascade toward long wavelengths. Tendency to generate long wavelength components is most clearly observed in the spectra of the electron density and the anomalous current fluctuations. An intense but slowly growing mode with a distinct eigen-mode structure along the magnetic field develops at a later nonlinear stage enhancing the tendency toward long wavelength condensation. The latter mode having a finite wavelength along the magnetic field is identified as the Modified Two-Stream Instability (MTSI). It is shown that the MTSI mode results in strong parallel heating of electrons.