title: Asymptotic Outage Analysis of HARQ-IR over Time-Correlated Nakagami-$m$ Fading Channels

abstract: In this paper, outage performance of hybrid automatic repeat request with incremental redundancy (HARQ-IR) is analyzed. Unlike prior analyses, time-correlated Nakagami-$m$ fading channel is considered. The outage analysis thus involves the probability distribution analysis of a product of multiple correlated shifted Gamma random variables and is more challenging than prior analyses. Based on the finding of the conditional independence of the received signal-to-noise ratios (SNRs), the outage probability is exactly derived by using conditional Mellin transform. Specifically, the outage probability of HARQ-IR under time-correlated Nakagami-$m$ fading channels can be written as a weighted sum of outage probabilities of HARQ-IR over independent Nakagami fading channels, where the weightings are determined by a negative multinomial distribution. This result enables not only an efficient truncation approximation of the outage probability with uniform convergence but also asymptotic outage analysis to further extract clear insights which have never been discovered for HARQ-IR even under fast fading channels. The asymptotic outage probability is then derived in a simple form which clearly quantifies the impacts of transmit powers, channel time correlation and information transmission rate. It is proved that the asymptotic outage probability is an inverse power function of the product of transmission powers in all HARQ rounds, an increasing function of the channel time correlation coefficients, and a monotonically increasing and convex function of information transmission rate. The simple expression of the asymptotic result enables optimal power allocation and optimal rate selection of HARQ-IR with low complexity. Finally, numerical results are provided to verify our analytical results and justify the application of the asymptotic result for optimal system design.


title: A Variational Characterization of Fluid Sloshing with Surface Tension

abstract: We consider the sloshing problem for an incompressible, inviscid, irrotational fluid in an open container, including effects due to surface tension on the free surface. We restrict ourselves to a constant contact angle and seek time-harmonic solutions of the linearized problem, which describes the time-evolution of the fluid due to a small initial disturbance of the surface at rest. As opposed to the zero surface tension case, where the problem reduces to a partial differential equation for the velocity potential, we obtain a coupled system for the velocity potential and the free surface displacement. We derive a new variational formulation of the coupled problem and establish the existence of solutions using the direct method from the calculus of variations. We prove a domain monotonicity result for the fundamental sloshing eigenvalue. In the limit of zero surface tension, we recover the variational formulation of the mixed Steklov-Neumann eigenvalue problem and give the first-order perturbation formula for a simple eigenvalue.


title: Interactions and scattering of quantum vortices in a polariton fluid

abstract: Quantum vortices, the quantized version of classical vortices, play a prominent role in superfluid and superconductor phase transitions. However, their exploration at a particle level in open quantum systems has gained considerable attention only recently. Here we study vortex pair interactions in a resonant polariton fluid created in a solid-state microcavity. By tracking the vortices on picosecond time scales, we reveal the role of nonlinearity, as well as of density and phase gradients, in driving their rotational dynamics. Such effects are also responsible for the split of composite spin-vortex molecules into elementary half-vortices, when seeding opposite vorticity between the two spinorial components. Remarkably, we also observe that vortices placed in close proximity experience a pull-push scenario leading to unusual scattering-like events that can be described by a tunable effective potential. Understanding vortex interactions can be useful in quantum hydrodynamics and in the development of vortex-based lattices, gyroscopes, and logic devices.


title: Two-dimensional dipolar gap solitons in free space with spin-orbit coupling

abstract: We present gap solitons (GSs) that can be created in free nearly two-dimensional (2D) space in dipolar spinor Bose-Einstein condensates with the spin-orbit coupling (SOC), subject to tight confinement, with size $a_{\perp }$, in the third direction. For quasi-2D patterns, with lateral sizes $l\gg a_{\perp }$, the kinetic-energy terms in the respective spinor Gross-Pitaevskii equations may be neglected in comparison with SOC. This gives rise to a bandgap in the system's spectrum, in the presence of the Zeeman splitting between the spinor components. While the present system with contact interactions does not produce 2D solitons, stable gap solitons(GSs), with vorticities $0$ and $1$ in the two components, are found, in quasi-analytical and numerical forms, under the action of dipole-dipole interaction (DDI). Namely, isotropic and anisotropic 2D GSs are obtained when the dipoles are polarized, respectively, perpendicular or parallel to the 2D plane. The GS families extend, as \textit{embedded solitons} (ESs), into spectral bands, a part of the ES branch being stable for isotropic solitons. The GSs remain stable if the competing contact interaction, with the sign opposite to that of the DDI, is included, while the addition of the contact term with the same sign destabilizes the GSs, at first replacing them by breathers, and eventually leading to destruction of the solitons. Mobility and collision of the GSs are studied too, revealing negative and positive effective masses of the isotropic and anisotropic solitons, respectively.


title: Bases for local Weyl modules for the hyper and truncated current $\mathfrak{sl}_2$-algebras

abstract: We use the theory of Gr\"obner-Shirshov bases for ideals to construct linear bases for graded local Weyl modules for the (hyper) current and the truncated current algebras associated to the finite-dimensional complex simple Lie algebra $\mathfrak{sl}_2$. The main result is a characteristic-free construction of bases for this important family of modules for the hyper current $\mathfrak{sl}_2$-algebra. In the positive characteristic setting this work represents the first construction in the literature. In the characteristic zero setting, the method provides a different construction of the Chari-Pressley (also Kus-Littelmann) bases and the Chari-Venkatesh bases for local Weyl modules for the current $\mathfrak{sl}_2$-algebra. Our construction allows us to obtain new bases for the local Weyl modules for truncated current $\mathfrak{sl}_2$-algebras with very particular properties.


title: Receptor uptake arrays for vitamin B12, siderophores and glycans shape bacterial communities

abstract: Molecular variants of vitamin B12, siderophores and glycans occur. To take up variant forms, bacteria may express an array of receptors. The gut microbe Bacteroides thetaiotaomicron has three different receptors to take up variants of vitamin B12 and 88 receptors to take up various glycans. The design of receptor arrays reflects key processes that shape cellular evolution. Competition may focus each species on a subset of the available nutrient diversity. Some gut bacteria can take up only a narrow range of carbohydrates, whereas species such as B.~thetaiotaomicron can digest many different complex glycans. Comparison of different nutrients, habitats, and genomes provide opportunity to test hypotheses about the breadth of receptor arrays. Another important process concerns fluctuations in nutrient availability. Such fluctuations enhance the value of cellular sensors, which gain information about environmental availability and adjust receptor deployment. Bacteria often adjust receptor expression in response to fluctuations of particular carbohydrate food sources. Some species may adjust expression of uptake receptors for specific siderophores. How do cells use sensor information to control the response to fluctuations? That question about regulatory wiring relates to problems that arise in control theory and artificial intelligence. Control theory clarifies how to analyze environmental fluctuations in relation to the design of sensors and response systems. Recent advances in deep learning studies of artificial intelligence focus on the architecture of regulatory wiring and the ways in which complex control networks represent and classify environmental states. I emphasize the similar design problems that arise in cellular evolution, control theory, and artificial intelligence. I connect those broad concepts to testable hypotheses for bacterial uptake of B12, siderophores and glycans.


title: Existence, nonexistence, and asymptotics of deep water solitary waves with localized vorticity

abstract: In this paper, we study solitary waves propagating along the surface of an infinitely deep body of water in two or three dimensions. The waves are acted upon by gravity and capillary effects are allowed --- but not required --- on the interface. We assume that the vorticity is localized in the sense that it satisfies certain moment conditions, and we permit there to be finitely many point vortices in the bulk of the fluid in two dimensions. We also consider a two-fluid model with a vortex sheet. Under mild decay assumptions, we obtain precise asymptotics for the velocity field and free surface, and relate this to global properties of the wave. For instance, we rule out the existence of waves whose free surface elevations have a single sign and of vortex sheets with finite angular momentum. Building on the work of Shatah, Walsh, and Zeng, we also prove the existence of families of two-dimensional capillary-gravity waves with compactly supported vorticity satisfying the above assumptions. For these waves, we further show that the free surface is positive in a neighborhood of infinity, and that the asymptotics at infinity are linked to the net vorticity.


title: Order preserving pattern matching on trees and DAGs

abstract: The order preserving pattern matching (OPPM) problem is, given a pattern string $p$ and a text string $t$, find all substrings of $t$ which have the same relative orders as $p$. In this paper, we consider two variants of the OPPM problem where a set of text strings is given as a tree or a DAG. We show that the OPPM problem for a single pattern $p$ of length $m$ and a text tree $T$ of size $N$ can be solved in $O(m+N)$ time if the characters of $p$ are drawn from an integer alphabet of polynomial size. The time complexity becomes $O(m \log m + N)$ if the pattern $p$ is over a general ordered alphabet. We then show that the OPPM problem for a single pattern and a text DAG is NP-complete.


title: Analysis of Full-Duplex Downlink Using Diversity Gain

abstract: The paper carries out performance analysis of a multiuser full-duplex (FD) communication system. Multiple FD UEs share the same spectrum resources, simultaneously, at both the uplink and downlink. This results in co-channel interference (CCI) at the downlink of a UE from uplink signals of other UEs. This work proposes the use of diversity gain at the receiver to mitigate the effects of the CCI. For this an architecture for the FD eNB and FD UE is proposed and corresponding downlink operation is described. Finally, the performance of the system is studied in terms of downlink capacity of a UE. It is shown that through the deployment of sufficient number of transmit and receive antennas at the eNB and UEs, respectively, significant improvement in performance can be achieved in the presence of CCI.


title: Shape and Positional Geometry of Multi-Object Configurations

abstract: In previous work, we introduced a method for modeling a configuration of objects in 2D and 3D images using a mathematical "medial/skeletal linking structure." In this paper, we show how these structures allow us to capture positional properties of a multi-object configuration in addition to the shape properties of the individual objects. In particular, we introduce numerical invariants for positional properties which measure the closeness of neighboring objects, including identifying the parts of the objects which are close, and the "relative significance" of objects compared with the other objects in the configuration. Using these numerical measures, we introduce a hierarchical ordering and relations between the individual objects, and quantitative criteria for identifying subconfigurations. In addition, the invariants provide a "proximity matrix" which yields a unique set of weightings measuring overall proximity of objects in the configuration. Furthermore, we show that these invariants, which are volumetrically defined and involve external regions, may be computed via integral formulas in terms of "skeletal linking integrals" defined on the internal skeletal structures of the objects.


title: Etale Steenrod operations and the Artin-Tate pairing

abstract: We prove a 1966 conjecture of Tate concerning the Artin-Tate pairing on the Brauer group of a surface over a finite field, which is the analogue of the Cassels-Tate pairing. Tate asked if this pairing is always alternating and we find an affirmative answer, which is somewhat surprising in view of the work of Poonen-Stoll on the Cassels-Tate pairing. Our method is based on studying a connection between the Artin-Tate pairing and (generalizations of) Steenrod operations in \'{e}tale cohomology. Inspired by an analogy to the algebraic topology of manifolds, we develop tools allowing us to calculate the relevant \'{e}tale Steenrod operations in terms of characteristic classes.


title: Super-easy quantum groups: definition and examples

abstract: We investigate the "two-parameter" quantum symmetry groups that we previously constructed with Skalski, with the conclusion that some of these quantum groups, namely those without singletons, are "super-easy" in a suitable sense, that we axiomatize here. Our formalism covers as well the symplectic group $Sp_n$ and its free version $Sp_n^+$, and some other interesting examples. Finally, we address the general problem of classifying the super-easy quantum groups, and we make a few comments on it.


title: Cross-modal Common Representation Learning by Hybrid Transfer Network

abstract: DNN-based cross-modal retrieval is a research hotspot to retrieve across different modalities as image and text, but existing methods often face the challenge of insufficient cross-modal training data. In single-modal scenario, similar problem is usually relieved by transferring knowledge from large-scale auxiliary datasets (as ImageNet). Knowledge from such single-modal datasets is also very useful for cross-modal retrieval, which can provide rich general semantic information that can be shared across different modalities. However, it is challenging to transfer useful knowledge from single-modal (as image) source domain to cross-modal (as image/text) target domain. Knowledge in source domain cannot be directly transferred to both two different modalities in target domain, and the inherent cross-modal correlation contained in target domain provides key hints for cross-modal retrieval which should be preserved during transfer process. This paper proposes Cross-modal Hybrid Transfer Network (CHTN) with two subnetworks: Modal-sharing transfer subnetwork utilizes the modality in both source and target domains as a bridge, for transferring knowledge to both two modalities simultaneously; Layer-sharing correlation subnetwork preserves the inherent cross-modal semantic correlation to further adapt to cross-modal retrieval task. Cross-modal data can be converted to common representation by CHTN for retrieval, and comprehensive experiment on 3 datasets shows its effectiveness.


title: Dynamic oscillatory cluster ordering of self-propelled droplets

abstract: We report here a peculiar dynamically ordered state of clustering droplets of a mixture of organic solvent. There droplets are driven by the solutal Marangoni effect on the surface of aqueous surfactant solution. They form temporal ring clusters which start collapsing immediately after its formation. This process is repeated for more than several hours with the period of 5--20 minutes. We propose an inhomogeneous force model to phenomenologically understand the basic mechanism of this dynamics, where the forces acting on each particle are controlled differently. This droplet system offers a simple, non-biological experimental model for the study of complex dynamical states realized by a group of self-propelled particles.


title: Shared Autonomy via Hindsight Optimization for Teleoperation and Teaming

abstract: In shared autonomy, a user and autonomous system work together to achieve shared goals. To collaborate effectively, the autonomous system must know the user's goal. As such, most prior works follow a predict-then-act model, first predicting the user's goal with high confidence, then assisting given that goal. Unfortunately, confidently predicting the user's goal may not be possible until they have nearly achieved it, causing predict-then-act methods to provide little assistance. However, the system can often provide useful assistance even when confidence for any single goal is low (e.g. move towards multiple goals). In this work, we formalize this insight by modelling shared autonomy as a Partially Observable Markov Decision Process (POMDP), providing assistance that minimizes the expected cost-to-go with an unknown goal. As solving this POMDP optimally is intractable, we use hindsight optimization to approximate. We apply our framework to both shared-control teleoperation and human-robot teaming. Compared to predict-then-act methods, our method achieves goals faster, requires less user input, decreases user idling time, and results in fewer user-robot collisions.


title: On-the-fly CASPT2 surface hopping dynamics

abstract: We report the development of programs for on-the-fly surface hopping dynamics simulations in the gas and condensed phases on the potential energy surfaces computed by multistate multireference perturbation theory (XMS-CASPT2) with full internal contraction. On-the-fly nonadiabatic dynamics simulations are made possible by improving the algorithm for XMS-CASPT2 nuclear energy gradient and derivative coupling evaluation. The program is interfaced to a surface hopping dynamics program, Newton-X, and a classical molecular dynamics package, tinker, to realize such simulations. On-the-fly XMS-CASPT2 surface-hopping dynamics simulations of 9H-adenine and an anionic GFP model chromophore (para-hydroxybenzilideneimidazolin-5-one) in water are presented to demonstrate the applicability of our program to sizable systems. Our program is implemented in the bagel package, which is publicly available under the GNU General Public License.


title: The 200-pc Molecular Cylinder in the Galactic Centre

abstract: Analyzing the 3D structure of the molecular gas distribution in the central 200 pc region of the Galaxy, we show that the expanding molecular ring (EMR, also known as the parallelogram) and the central molecular zone (CMZ) exhibit quite different distributions and kinematics. The EMR composes a bipolar vertical cylinder with the total length as long as $\sim 170$ pc and shows large non-circular velocities. On the contrary, the CMZ is distributed in a nearly rigid-body rotating ring and arms tightly concentrated near the galactic plane with full thickness less than $\sim 30$ pc. Furthermore, the mass and density ratios of the EMR to CMZ are as small as $\sim 0.13$ and $0.04$, respectively. We discuss the origins of the EMR and CMZ based on the bar and explosion models. We suggest that the EMR's large vertical extent can be explained by a cylindrical shock wave model driven by an explosive activity in the Galactic Centre.


title: Paramagnetic-to-nonmagnetic transition in antiperovskite nitride Cr$_3$GeN studied by $^{14}$N-NMR and $\mu$SR

abstract: The antiperovskite-related nitride Cr$_3$GeN forms a tetragonal structure with the space group $P\bar{4}2_1m$ at room temperature. It shows a tetragonal ($P\bar{4}2_1m$) to tetragonal ($I4/mcm$) structural transition with a large hysteresis at 300--400 K. The magnetic susceptibility of Cr$_3$GeN shows Curie-Weiss type temperature dependence at high temperature, but is almost temperature-independent below room temperature. We carried out $\mu$SR and $^{14}$N-NMR microscopy measurements to reveal the magnetic ground state of Cr$_3$GeN. Gradual muon spin relaxation, which is nearly temperature-independent below room temperature, was observed, indicating that Cr$_3$GeN is magnetically inactive. In the $^{14}$N-NMR measurement, a quadrupole-split spectrum was obtained at around $^{14}K = 0$. The temperature dependence of $^{14}(1/T_1)$ satisfies the Korringa relation. These experimental results indicate that the ground state of Cr$_3$GeN is Pauli paramagnetic, without antiferromagnetic long-range order.


title: Applied Koopman Operator Theory for Power Systems Technology

abstract: Koopman operator is a composition operator defined for a dynamical system described by nonlinear differential or difference equation. Although the original system is nonlinear and evolves on a finite-dimensional state space, the Koopman operator itself is linear but infinite-dimensional (evolves on a function space). This linear operator captures the full information of the dynamics described by the original nonlinear system. In particular, spectral properties of the Koopman operator play a crucial role in analyzing the original system. In the first part of this paper, we review the so-called Koopman operator theory for nonlinear dynamical systems, with emphasis on modal decomposition and computation that are direct to wide applications. Then, in the second part, we present a series of applications of the Koopman operator theory to power systems technology. The applications are established as data-centric methods, namely, how to use massive quantities of data obtained numerically and experimentally, through spectral analysis of the Koopman operator: coherency identification of swings in coupled synchronous generators, precursor diagnostic of instabilities in the coupled swing dynamics, and stability assessment of power systems without any use of mathematical models. Future problems of this research direction are identified in the last concluding part of this paper.


title: Asymptotically simple spacetimes and mass loss due to gravitational waves

abstract: The cosmological constant $\Lambda$ used to be a freedom in Einstein's theory of general relativity, where one had a proclivity to set it to zero purely for convenience. The signs of $\Lambda$ or $\Lambda$ being zero would describe universes with different properties. For instance, the conformal structure of spacetime directly depends on $\Lambda$: null infinity $\mathcal{I}$ is a spacelike, null, or timelike hypersurface, if $\Lambda>0$, $\Lambda=0$, or $\Lambda<0$, respectively. Recent observations of distant supernovae have taught us that our universe expands at an accelerated rate, and this can be accounted for by choosing $\Lambda>0$ in Einstein's theory of general relativity. A quantity that depends on the conformal structure of spacetime, especially on the nature of $\mathcal{I}$, is the Bondi mass which in turn dictates the mass loss of an isolated gravitating system due to energy carried away by gravitational waves. This problem of extending the Bondi mass to a universe with $\Lambda>0$ has spawned intense research activity over the past several years. Some aspects include a closer inspection on the conformal properties, working with linearisation, attempts using a Hamiltonian formulation based on "linearised" asymptotic symmetries, as well as obtaining the general asymptotic solutions of de Sitter-like spacetimes. We consolidate on the progress thus far from the various approaches that have been undertaken, as well as discuss the current open problems and possible directions in this area.


title: Local existence and uniqueness of solutions for fractional differential problem with Hilfer-Hadamard fractional derivative

abstract: This paper deals with the local existence and uniqueness results for the solution of fractional differential equations with Hilfer-Hadamrd fractional derivative. Using Picard's approximations and generalizing the restrictive conditions imposed on nonlinear function, the iterative scheme for uniformly approximating the solution is constructed.


title: Global Stabilization of the Navier-Stokes-Voight and the damped nonlinear wave equations by finite number of feedback controllers

abstract: In this paper we introduce a finite-parameters feedback control algorithm for stabilizing solutions of the Navier-Stokes-Voigt equations, the strongly damped nonlinear wave equations and the nonlinear wave equation with nonlinear damping term, the Benjamin-Bona-Mahony-Burgers equation and the KdV-Burgers equation. This algorithm capitalizes on the fact that such infinite-dimensional dissipative dynamical systems posses finite-dimensional long-time behavior which is represented by, for instance, the finitely many determining parameters of their long-time dynamics, such as determining Fourier modes, determining volume elements, determining nodes , etc..The algorithm utilizes these finite parameters in the form of feedback control to stabilize the relevant solutions. For the sake of clarity, and in order to fix ideas, we focus in this work on the case of low Fourier modes feedback controller, however, our results and tools are equally valid for using other feedback controllers employing other spatial coarse mesh interpolants.


title: Coding Method for Parallel Iterative Linear Solver

abstract: Computationally intensive distributed and parallel computing is often bottlenecked by a small set of slow workers known as stragglers. In this paper, we utilize the emerging idea of "coded computation" to design a novel error-correcting-code inspired technique for solving linear inverse problems under specific iterative methods in a parallelized implementation affected by stragglers. Example applications include inverse problems in machine learning on graphs, such as personalized PageRank and sampling on graphs. We provably show that our coded-computation technique can reduce the mean-squared error under a computational deadline constraint. In fact, the ratio of mean-squared error of replication-based and coded techniques diverges to infinity as the deadline increases. Our experiments for personalized PageRank performed on real systems and real social networks show that this ratio can be as large as $10^4$. Further, unlike coded-computation techniques proposed thus far, our strategy combines outputs of all workers, including the stragglers, to produce more accurate estimates at the computational deadline. This also ensures that the accuracy degrades "gracefully" in the event that the number of stragglers is large.


title: Stability, shards, and preprojective algebras

abstract: The goal of this note two-fold. First, I draw attention to the way that semistability (in the sense of King) gives us a geometrical picture of (some of) the extension-closed abelian subcategories of a finite-dimensional algebra. Second, I describe Nathan Reading's shards of a hyperplane arrangement, and explain their relevance to understanding the semistability picture for finite-type preprojective algebras.


title: Woon's tree and sums over compositions

abstract: This article studies sums over all compositions of an integer. We derive a generating function for this quantity, and apply it to several special functions, including various generalized Bernoulli numbers. We connect composition sums with a recursive tree introduced by S.G. Woon and extended by P. Fuchs under the name "general PI tree", in which an output sequence $\{x_n\}$ is associated to the input sequence $\{g_n\}$ by summing over each row of the tree built from $\{g_n\}$. Our link with the notion of compositions allows to introduce a modification of Fuchs' tree that takes into account nonlinear transforms of the generating function of the input sequence. We also introduce the notion of \textit{generalized sums over compositions}, where we look at composition sums over each part of a composition.


title: PAPS: A Scalable Framework for Prioritization and Partial Selection of Security Requirements

abstract: Owing to resource constraints, the existing prioritization and selection techniques for software security requirements (countermeasures) find a subset of higher-priority security requirements ignoring lower-priority requirements or postponing them to the future releases. Ignoring or postponing security requirements however, may on one hand leave some of the security threats (vulnerabilities) unattended and on the other hand influence other security requirements that rely on the ignored or postponed requirements. To address this, we have proposed considering partial satisfaction of security requirements when tolerated rather than ignoring those requirements or postponing them to the future. In doing so, we have contributed a goal-based framework that enables prioritization and partial selection of security requirements with respect to security goals. The proposed framework helps reduce the number of ignored (postponed) security requirements and consequently reduce the adverse impacts of ignoring security requirements in software products.


title: On distribution of continuous sequences

abstract: We study certain polyadicly continuous sequences from point of view the probability theory.


title: Role of conditional shape invariance symmetry property to obtain eigen-spectrum of the generalized polynomial potential with a Coulomb term

abstract: A method based on supersymmteric (SUSY) quantum mechanics has been developed by exploiting conditional Shape invariance property for obtaining exact ground state solution of generalized polynomial potential with Coulomb term. Specific cases have been discussed with extensive analytical calculation. How this method can be used to calculate the excited states has also been demonstrated. We have also used a numerical technique (RKGS) and obtained the energy eigenvalues upto second excited state by solving the Schrodinger equation for quartic and sextic polynomial potentials with the Coulomb term and shown that the analytical results provide very good approximations to the numerical results.


title: Revealing evolving affinity between Coulombic reversibility and hysteretic Li-Si phase transformations

abstract: Nano-structured silicon anodes are attractive alternatives to graphite in Li-ion batteries. Despite recent remarkable progresses in numerous Si-C composites, the commercialisation with significance is still limited. One of the most critical issues remained to understand is fundamentals on Li-Si Coulombic efficiency, namely, CE. Particularly, it is key to quantitatively and qualitatively resolve CE alterations and evolutions by the various Li-Si structural changes over longer cycling. However, such work is surprisingly scarce. Here, we provide new findings that iterating the hysteretic amorphous-crystalline Li-Si phase transformations accumulatively governs CE evolutions, the manner of which is numerically distinguished from incremental amorphous Li-Si volume changes. The iterations, usually featured as capacity degradation factors, can form the most efficient CE profiles over hundreds of cycles, i.e. minimising accumulative irreversible Li consumption, among the given Li-Si reaction sequences. Combined with atomistic probing methodologies, we show that the iteration drastically alters electrochemical and structural characteristics, which is synchronised with the CE behaviours.


title: Observation of second-order temporal interference with thermal light: Interference beyond the coherence time

abstract: We report observation of a counter-intuitive phenomenon in multi-path correlation interferometry with thermal light. The intensity correlation between the outputs of two unbalanced Mach-Zehnder interferometers (UMZI) with two classically correlated beams of thermal light at the input exhibits genuine second-order interference with the visibility of $1/3$. Surprisingly, the second-order interference does not degrade at all no matter how much the path length difference in each UMZI is increased beyond the coherence length of the thermal light. Moreover, the second-order interference is dependent on the difference of the UMZI phases. These results differ substantially from those of the entangled-photon Franson interferometer which exhibits two-photon interference dependent on the sum of the UMZI phases and the interference vanishes as the path length difference in each UMZI exceeds the coherence length of the pump laser. Our work offers deeper insight into the interplay between interference and coherence in multi-photon interferometry.


title: Peculiarities of the SERS Spectra of the Hydroquinone Molecule Adsorbed on Titanium Dioxid

abstract: The SERS spectrum of hydroquinone, adsorbed on nanoparticles of titanium dioxide is analyzed. It is pointed out that the enhancement is stronger for larger mean size of nanoparticles that is in an agreement with the electrostatic approximation. In addition it is found that there are the lines, which are forbidden in usual Raman spectra. Along with this there is the enhancement, caused both by the normal and tangential components of the electric field. This result is in agreement with the theory of SERS on semiconductor and dielectric substrates. Discovery of the forbidden lines indicates sufficiently large role of the strong quadrupole light-molecule interaction in such a system.


title: Unraveling the orientation of phosphors doped in organic semiconducting layers

abstract: Emitting dipole orientation (EDO) is an important issue of emitting materials in organic light-emitting diodes (OLEDs) for an increase of outcoupling efficiency of light. The origin of preferred orientation of emitting dipole of spherically shaped iridium-based heteroleptic phosphorescent dyes doped in organic layers is revealed by simulation of vacuum deposition using molecular dynamics (MD) along with quantum mechanical (QM) characterization of the phosphors for a direct comparison with experimental observations of EDO. Consideration of both the electronic transitions in a molecular frame and the orientation of the molecules interacting with the environment at the vacuum/molecular film interface allows quantitative analyses of the EDO depending on host molecules and dopant structures. Interaction between the phosphor and nearest host molecules on the surface, minimizing the non-bonding energy determines the molecular alignment during the vacuum deposition. Parallel alignment of the main cyclometalating ligands in the molecular complex due to host interactions rather than the ancillary ligand orienting to vacuum leads to the horizontal EDO.


title: Rational Maps with Invariant Surfaces

abstract: We provide new examples of integrable rational maps in four dimensions with two rational invariants, which have unexpected geometric properties, as for example orbits confined to non algebraic varieties, and fall outside classes studied by earlier authors. We can reconstruct the map from both invariants. One of the invariants defines the map unambiguously, while the other invariant also defines a new map leading to non trivial fibrations of the space of initial conditions.


title: All-polarization-maintaining, single-port Er:fiber comb for high-stability comparison of optical lattice clocks

abstract: All-polarization-maintaining, single-port Er:fiber combs offer long-term robust operation as well as high stability. We have built two such combs and evaluated the transfer noise for linking optical clocks. A uniformly broadened spectrum over 135-285 THz with a high signal-to-noise ratio enables the optical frequency measurement of the subharmonics of strontium, ytterbium, and mercury optical lattice clocks with the fractional frequency-noise power spectral density of $(1-2)\times 10^{-17}$ Hz$^{-1/2}$ at 1 Hz. By applying a synchronous clock comparison, the comb enables clock ratio measurements with $10^{-17}$ instability at 1 s, which is one order of magnitude smaller than the best instability of the frequency ratio of optical lattice clocks.


title: Observations of the GRB afterglow ATLAS17aeu and its possible association with GW170104

abstract: We report the discovery and multi-wavelength data analysis of the peculiar optical transient, ATLAS17aeu. This transient was identified in the skymap of the LIGO gravitational wave event GW170104 by our ATLAS and Pan-STARRS coverage. ATLAS17aeu was discovered 23.1hrs after GW170104 and rapidly faded over the next 3 nights, with a spectrum revealing a blue featureless continuum. The transient was also detected as a fading x-ray source by Swift and in the radio at 6 and 15 GHz. A gamma ray burst GRB170105A was detected by 3 satellites 19.04hrs after GW170104 and 4.10hrs before our first optical detection. We analyse the multi-wavelength fluxes in the context of the known GRB population and discuss the observed sky rates of GRBs and their afterglows. We find it statistically likely that ATLAS17aeu is an afterglow associated with GRB170105A, with a chance coincidence ruled out at the 99\% confidence or 2.6$\sigma$. A long, soft GRB within a redshift range of $1 \lesssim z \lesssim 2.9$ would be consistent with all the observed multi-wavelength data. The Poisson probability of a chance occurrence of GW170104 and ATLAS17aeu is $p=0.04$. This is the probability of a chance coincidence in 2D sky location and in time. These observations indicate that ATLAS17aeu is plausibly a normal GRB afterglow at significantly higher redshift than the distance constraint for GW170104 and therefore a chance coincidence. However if a redshift of the faint host were to place it within the GW170104 distance range, then physical association with GW170104 should be considered.


title: 3DTouch: Towards a Wearable 3D Input Device for 3D Applications

abstract: Three-dimensional (3D) applications have come to every corner of life. We present 3DTouch, a novel 3D wearable input device worn on the fingertip for interacting with 3D applications. 3DTouch is self-contained, and designed to universally work on various 3D platforms. The device employs touch input for the benefits of passive haptic feedback, and movement stability. Moreover, with touch interaction, 3DTouch is conceptually less fatiguing to use over many hours than 3D spatial input devices such as Kinect. Our approach relies on relative positioning technique using an optical laser sensor and a 9-DOF inertial measurement unit. We implemented a set of 3D interaction techniques including selection, translation, and rotation using 3DTouch. An evaluation also demonstrates the device's tracking accuracy of 1.10 mm and 2.33 degrees for subtle touch interaction in 3D space. With 3DTouch project, we would like to provide an input device that reduces the gap between 3D applications and users.


title: Improved User Tracking in 5G Millimeter Wave Mobile Networks via Refinement Operations

abstract: The millimeter wave (mmWave) frequencies offer the availability of huge bandwidths to provide unprecedented data rates to next-generation cellular mobile terminals. However, directional mmWave links are highly susceptible to rapid channel variations and suffer from severe isotropic pathloss. To face these impairments, this paper addresses the issue of tracking the channel quality of a moving user, an essential procedure for rate prediction, efficient handover and periodic monitoring and adaptation of the user's transmission configuration. The performance of an innovative tracking scheme, in which periodic refinements of the optimal steering direction are alternated to sparser refresh events, are analyzed in terms of both achievable data rate and energy consumption, and compared to those of a state-of-the-art approach. We aim at understanding in which circumstances the proposed scheme is a valid option to provide a robust and efficient mobility management solution. We show that our procedure is particularly well suited to highly variant and unstable mmWave environments.


title: Network Capacity Bound for Personalized PageRank in Multimodal Networks

abstract: In a former paper the concept of Bipartite PageRank was introduced and a theorem on the limit of authority flowing between nodes for personalized PageRank has been generalized. In this paper we want to extend those results to multimodal networks. In particular we deal with a hypergraph type that may be used for describing multimodal network where a hyperlink connects nodes from each of the modalities. We introduce a generalisation of PageRank for such graphs and define the respective random walk model that can be used for computations. We state and prove theorems on the limit of outflow of authority for cases where individual modalities have identical and distinct damping factors.


title: Machine Learning Unifies the Modelling of Materials and Molecules

abstract: Determining the stability of molecules and condensed phases is the cornerstone of atomistic modelling, underpinning our understanding of chemical and materials properties and transformations. Here we show that a machine learning model, based on a local description of chemical environments and Bayesian statistical learning, provides a unified framework to predict atomic-scale properties. It captures the quantum mechanical effects governing the complex surface reconstructions of silicon, predicts the stability of different classes of molecules with chemical accuracy, and distinguishes active and inactive protein ligands with more than 99% reliability. The universality and the systematic nature of our framework provides new insight into the potential energy surface of materials and molecules.


title: A spectral characterisation of t-designs and its applications

abstract: There are two standard approaches to the construction of $t$-designs. The first one is based on permutation group actions on certain base blocks. The second one is based on coding theory. The objective of this paper is to give a spectral characterisation of all $t$-designs by introducing a characteristic Boolean function of a $t$-design. The spectra of the characteristic functions of $(n-2)/2$-$(n, n/2, 1)$ Steiner systems are determined and properties of such designs are proved. Delsarte's characterisations of orthogonal arrays and $t$-designs, which are two special cases of Delsarte's characterisation of $T$-designs in association schemes, are slightly extended into two spectral characterisations. Another characterisation of $t$-designs by Delsarte and Seidel is also extended into a spectral one. These spectral characterisations are then compared with the new spectral characterisation of this paper.


title: On the assessment of the nature of open star clusters and the determination of their basic parameters with limited data

abstract: Our knowledge of stellar evolution and of the structure and chemical evolution of the Galactic disk largely builds on the study of open star clusters. Because of their crucial role in these relevant topics, large homogeneous catalogues of open cluster parameters are highly desirable. Although efforts have been made to develop automatic tools to analyse large numbers of clusters, the results obtained so far vary from study to study, and sometimes are very contradictory when compared to dedicated studies of individual clusters. In this work we highlight the common causes of these discrepancies for some open clusters, and show that at present dedicated studies yield a much better assessment of the nature of star clusters, even in the absence of ideal data-sets. We make use of deep, wide-field, multi-colour photometry to discuss the nature of six strategically selected open star clusters: Trumpler~22, Lynga~6, Hogg~19, Hogg~21, Pismis~10 and Pismis~14. We have precisely derived their basic parameters by means of a combination of star counts and photometric diagrams. Trumpler~22 and Lynga~6 are included in our study because they are widely known, and thus provided a check of our data and methodology. The remaining four clusters are very poorly known, and their available parameters have been obtained using automatic tools only. Our results are in some cases in severe disagreement with those from automatic surveys.


title: Efficient learning with robust gradient descent

abstract: Minimizing the empirical risk is a popular training strategy, but for learning tasks where the data may be noisy or heavy-tailed, one may require many observations in order to generalize well. To achieve better performance under less stringent requirements, we introduce a procedure which constructs a robust approximation of the risk gradient for use in an iterative learning routine. Using high-probability bounds on the excess risk of this algorithm, we show that our update does not deviate far from the ideal gradient-based update. Empirical tests using both controlled simulations and real-world benchmark data show that in diverse settings, the proposed procedure can learn more efficiently, using less resources (iterations and observations) while generalizing better.


title: Koszul duality for Kac-Moody groups and characters of tilting modules

abstract: We establish a character formula for indecomposable tilting modules for connected reductive groups in characteristic p in terms of p-Kazhdan-Lusztig polynomials, for p>h the Coxeter number. Using results of Andersen, one may deduce a character formula for simple modules if p>2h-3. Our results are a consequence of an extension to modular coefficients of a monoidal Koszul duality equivalence established by Bezrukavnikov and Yun.


title: Topology-Induced Symmetry Breaking for Vortex with Artificial Monopole

abstract: We construct an artificial U(1) gauge field in the cold atom system to form a monopole along with vortices. It is supposed that the cold atoms are confined on a spherical surface, and two sets of identical laser beams in the opposite propagating directions shine on two sides of the sphere. Arbitrary Chern number CN, proportional to the quantized magnetic flux, can be obtained by selecting proper laser modes. This construction meets the condition of Chern's theorem, so that the vortices of the atom wave function will emerge on the sphere, whose winding number equals CN. It is found that a geometric symmetry is broken spontaneously for odd CN, which corresponds to a topology-induced quantum phase transition. In particular for CN=1, the ground state of the cold atoms are double-degenerate and can be applied to make a stable qubit. Since the ground-state degeneracy is protected by topology-induced symmetry breaking against dissipation, the proposed topological structure has vast potential in quantum storage.


title: Acceleration and suppression of banana-shaped-protein-induced tubulation by addition of small membrane inclusions of isotropic spontaneous curvatures

abstract: The membrane tubulation induced by banana-shaped protein rods is investigated by using coarse-grained meshless membrane simulations. It is found that the tubulation is promoted by laterally isotropic membrane inclusions that generate the same sign of spontaneous curvature as the adsorbed protein rods. The inclusions are concentrated in the tubules and reduce the bending energy of the tip of the tubules. On the other hand, the inclusions with an opposite curvature suppress the tubulation by percolated-network formation at a high protein-rod density while they induce a spherical membrane bud at a low rod density. When equal amounts of the two types of inclusions (with positive and negative curvatures) are added, their effects cancel each other for the first short period but later the tubulation is slowly accelerated. A positive surface tension suppresses the tubulation. Out results suggest that the cooperation of scaffolding of BAR (Bin/Amphiphysin/Rvs) domains and isotropic membrane inclusions is important for the tubulation.


title: Atomic masses of intermediate-mass neutron-deficient nuclei with relative uncertainty down to 35-ppb via multireflection time-of-flight mass spectrograph

abstract: High-precision mass measurements of $^{63}$Cu, $^{64-66}$Zn, $^{65}$Ga, $^{65-67}$Ge, $^{67}$As, $^{78,81}$Br, $^{80}$Rb, and $^{79}$Sr were performed utilizing a multireflection time-of-flight mass spectrograph combined with the gas-filled recoil ion separator GARIS-II. In the case of $^{65}$Ga, a mass uncertainty of 2.1 keV, corresponding to a relative precision of $\delta m / m = 3.5\times10^{-8}$, was obtained and the mass value is in excellent agreement with the 2016 Atomic Mass Evaluation. For $^{67}$Ge and $^{81}$Br, where masses were previously deduced through indirect measurements, discrepancies with literature values were found. The feasibility of using this device for mass measurements of nuclides more neutron-deficient side, which have significant impact on the $rp$-process pathway, is discussed.


title: A natural probability measure derived from Stern's diatomic sequence

abstract: Stern's diatomic sequence with its intrinsic repetition and refinement structure between consecutive powers of $2$ gives rise to a rather natural probability measure on the unit interval. We construct this measure and show that it is purely singular continuous, with a strictly increasing, H\"older continuous distribution function. Moreover, we relate this function with the solution of the dilation equation for Stern's diatomic sequence.


title: Deep Learning for Hate Speech Detection in Tweets

abstract: Hate speech detection on Twitter is critical for applications like controversial event extraction, building AI chatterbots, content recommendation, and sentiment analysis. We define this task as being able to classify a tweet as racist, sexist or neither. The complexity of the natural language constructs makes this task very challenging. We perform extensive experiments with multiple deep learning architectures to learn semantic word embeddings to handle this complexity. Our experiments on a benchmark dataset of 16K annotated tweets show that such deep learning methods outperform state-of-the-art char/word n-gram methods by ~18 F1 points.


title: On some modules of covariants for a reflection group

abstract: Let $\mathfrak g$ be a simple Lie algebra with Cartan subalgebra $\mathfrak h$ and Weyl group $W$. We build up a graded map $(\mathcal H\otimes \bigwedge\mathfrak h\otimes \mathfrak h)^W\to (\bigwedge \mathfrak g\otimes \mathfrak g)^\mathfrak g$ of $(\bigwedge \mathfrak g)^\mathfrak g\cong S(\mathfrak h)^W$-modules, where $\mathcal H$ is the space of $W$-harmonics. In this way we prove an enhanced form of a conjecture of Reeder for the adjoint representation. New version with different title. Various improvements. New section 7.


title: Bilinear representation theorem

abstract: We represent a general bilinear Calder\'on-Zygmund operator as a sum of simple dyadic operators. The appearing dyadic operators also admit a simple proof of a sparse bound. In particular, the representation implies a so called sparse T1 theorem for bilinear singular integrals.


title: Analyzing Benardete's comment on decimal notation

abstract: Philosopher Benardete challenged both the conventional wisdom and the received mathematical treatment of zero, dot, nine recurring. An initially puzzling passage in Benardete on the intelligibility of the continuum reveals challenging insights into number systems, the foundations of modern analysis, and mathematics education. A key concept here is, in Terry Tao's terminology, that of an ultralimit. Keywords: real analysis; infinitesimals; decimal notation; procedures vs ontology


title: Materials Screening for the Discovery of New Half-Heuslers: Machine Learning versus Ab Initio Methods

abstract: Machine learning (ML) is increasingly becoming a helpful tool in the search for novel functional compounds. Here we use classification via random forests to predict the stability of half-Heusler (HH) compounds, using only experimentally reported compounds as a training set. Cross-validation yields an excellent agreement between the fraction of compounds classified as stable and the actual fraction of truly stable compounds in the ICSD. The ML model is then employed to screen 71,178 different 1:1:1 compositions, yielding 481 likely stable candidates. The predicted stability of HH compounds from three previous high throughput ab initio studies is critically analyzed from the perspective of the alternative ML approach. The incomplete consistency among the three separate ab initio studies and between them and the ML predictions suggests that additional factors beyond those considered by ab initio phase stability calculations might be determinant to the stability of the compounds. Such factors can include configurational entropies and quasiharmonic contributions.


title: Forbidden coherent transfer observed between two realizations of quasi-harmonic spin system

abstract: The multi-level system $^{55}$Mn$^{2+}$ is used to generate two pseudo-harmonic level systems, as representations of the same electronic sextuplet at different nuclear spin projections. The systems are coupled using a forbidden nuclear transition induced by the crystalline anisotropy. We demonstrate Rabi oscillations between the two representations in conditions similar to two coupled quasi-harmonic quantum oscillators. Rabi oscillations are performed at a detuned pumping frequency which matches energy difference between electro-nuclear states of different oscillators. We measure a coupling stronger than the decoherence rate, to indicate the possibility fast information exchange between the systems.


title: Starburst-driven superwinds in quasar host galaxies

abstract: During five decades astronomers have been puzzled by the presence of strong absorption features including metal lines, observed in the optical and ultraviolet spectra of quasars, signalling in- and outflowing gas winds with relative velocities up to several thousands of km/sec. In particular the location of these winds - close to the quasar, further out in its host galaxy, or in its direct environment - and the possible impact on their surroundings have been issues of intense discussion and uncertainty. Using our Herschel Space Observatory data, we report a tendency for this so-called associated metal absorption to occur along with prodigious star formation in the quasar host galaxy, indicating that the two phenomena are likely to be interrelated, that the gas winds likely occur on the kiloparsec scale and would then have a strong impact on the interstellar medium of the galaxy. This correlation moreover would imply that the unusually high cold dust luminosities in these quasars are connected with ongoing star formation. Given that we find no correlation with the AGN strength, the wind feedback which we establish in these radio-loud objects is most likely associated with their host star formation rather than with their black hole accretion.


title: A fast algorithm for the gas station problem

abstract: In the gas station problem we want to find the cheapest path between two vertices of an $n$-vertex graph. Our car has a specific fuel capacity and at each vertex we can fill our car with gas, with the fuel cost depending on the vertex. Furthermore, we are allowed at most $\Delta$ stops for refuelling. In this short paper we provide an algorithm solving the problem in $O(\Delta n^2 + n^2\log{n})$ steps improving an earlier result by Khuller, Malekian and Mestre.


title: Size-dependence of non-empirically tuned DFT starting points for $G_0W_0$ applied to ${\pi}$-conjugated molecular chains

abstract: $G_0W_0$ calculations for predicting vertical ionization potentials (IPs) and electron affinities of molecules and clusters are known to show a significant dependence on the density functional theory (DFT) starting point. A number of non-empirical procedures to find an optimal starting point have been proposed, typically based on tuning the amount of HF exchange in the underlying hybrid functional specifically for the system at hand. For the case of $\pi$-conjugated molecular chains, these approaches lead to a significantly different amount of HF exchange for different oligomer sizes. In this study, we analyze if and how strongly this size dependence affects the ability of non-empirical tuning approaches to predict accurate IPs for $\pi$-conjugated molecular chains of increasing chain length. To this end, we employ three different non-empirical tuning procedures for the $G_0W_0$ starting point to calculate the IP of polyene oligomers up to 22 repeat units and compare the results to highly accurate coupled-cluster calculations. We find that, despite its size dependence, using an IP-tuned hybrid functional as a starting point for $G_0W_0$ yields excellent agreement with the reference data for all chain lengths.


title: Integrability properties of Motzkin polynomials

abstract: We consider a Hamiltonian system which has its origin in a generalization of exact renormalization group flow of matrix scalar field theory and describes a non-linear generalization of the shock-wave equation that is known to be integrable. Analyzing conserved currents of the system the letter shows, that these follow a nice pattern governed by coefficients of Motzkin polynomials, where each integral of motion corresponds to a path on a unit lattice.


title: The generating functional of correlation functions as a high momentum limit of a Wilson action

abstract: It is well known that a Wilson action reduces to the generating functional of connected correlation functions as we take the momentum cutoff to zero. For a fixed point Wilson action, this implies that for momenta large compared with the cutoff, the action reduces to the generating functional. We elaborate on this simple observation.


title: Fermi observations of the LIGO event GW170104

abstract: We present the \emph{Fermi} Gamma-ray Burst Monitor (GBM) and Large Area Telescope (LAT) observations of the LIGO binary black hole merger (BBH) event GW170104. No candidate electromagnetic counterparts was detected by either GBM or LAT. A detailed analysis of the GBM and LAT data over timescales from seconds to days covering the LIGO localization region is presented. The resulting flux upper bound from the GBM is (5.2--9.4)$\times$10$^{-7}$ erg cm$^{-2}$ s$^{-1}$ in the 10-1000 keV range and from the LAT is (0.2--13)$\times$10$^{-9}$ erg cm$^{-2}$ s$^{-1}$ in the 0.1--1 GeV range. We also describe the improvements to our automated pipelines and analysis techniques for searching for and characterizing the potential electromagnetic counterparts for future gravitational wave events from Advanced LIGO/VIRGO.


title: Prediction of triple point fermions in simple half-Heusler topological insulators

abstract: We predict the existence of triple point fermions in the band structure of several half-Heusler topological insulators by $ab~initio$ calculations and the Kane model. We find that many half-Heusler compounds exhibit multiple triple points along four independent $C_3$ axes, through which the doubly degenerate conduction bands and the nondegenerate valence band cross each other linearly nearby the Fermi energy. When projected from the bulk to the (111) surface, most of these triple points are located far away from the surface $\bar{\Gamma}$ point, as distinct from previously reported triple point fermion candidates. These isolated triple points give rise to Fermi arcs on the surface, that can be readily detected by photoemission spectroscopy or scanning tunneling spectroscopy.


title: Euler systems for GSp(4)

abstract: We construct an Euler system for Galois representations associated to cohomological cuspidal automorphic representations of the group GSp(4), using the pushforwards of Eisenstein classes for GL(2) x GL(2).


title: Driving dynamic colloidal assembly using eccentric self-propelled colloids

abstract: Designing protocols to dynamically direct the self-assembly of colloidal particles has become an important direction in soft matter physics because of the promising applications in fabrication of dynamic responsive functional materials. Here using computer simulations, we found that in the mixture of passive colloids and eccentric self-propelled active particles, when the eccentricity and self-propulsion of active particles are high enough, the eccentric active particles can push passive colloids to form a large dense dynamic cluster, and the system undergoes a novel dynamic demixing transition. Our simulations show that the dynamic demixing occurs when the eccentric active particles move much faster than the passive particles such that the dynamic trajectories of different active particles can overlap with each other while passive particles are depleted from the dynamic trajectories of active particles. Our results suggest that this is in analogy to the entropy driven demixing in colloid-polymer mixtures, in which polymer random coils can overlap with each other while deplete the colloids. More interestingly, we find that by fixing the passive colloid composition at certain value, with increasing the density, the system undergoes an intriguing re-entrant mixing, and the demixing only occurs within certain intermediate density range. This suggests a new way of designing active matter to drive the self-assembly of passive colloids and fabricate dynamic responsive materials.


title: Characterization of the community structure in a large-scale production network in Japan

abstract: Inter-firm organizations, which play a driving role in the economy of a country, can be represented in the form of a customer-supplier network. Such a network exhibits a heavy-tailed degree distribution, disassortative mixing and a prominent community structure. We analyze a large-scale data set of customer-supplier relationships containing data from one million Japanese firms. Using a directed network framework, we show that the production network exhibits the characteristics listed above. We conduct detailed investigations to characterize the communities in the network. The topology within smaller communities is found to be very close to a tree-like structure but becomes denser as the community size increases. A large fraction (~40%) of firms with relatively small in- or out-degrees have customers or suppliers solely from within their own communities, indicating interactions of a highly local nature. The interaction strengths between communities as measured by the inter-community link weights follow a highly heterogeneous distribution. We further present the statistically significant over-expressions of different prefectures and sectors within different communities.


title: Statistical Analysis and Parameter Selection for Mapper

abstract: In this article, we study the question of the statistical convergence of the 1-dimensional Mapper to its continuous analogue, the Reeb graph. We show that the Mapper is an optimal estimator of the Reeb graph, which gives, as a byproduct, a method to automatically tune its parameters and compute confidence regions on its topological features, such as its loops and flares. This allows to circumvent the issue of testing a large grid of parameters and keeping the most stable ones in the brute-force setting, which is widely used in visualization, clustering and feature selection with the Mapper.


title: Antiproton--proton annihilation into light neutral meson pairs within an effective meson theory

abstract: Antiproton--proton annihilation into light neutral mesons in the few GeV energy domain is investigated in view of a global description of the existing data and predictions for future experiments at PANDA, FAIR. An effective meson model earlier developed, with mesonic and baryonic degrees of freedom in $s$, $t$, and $u$ channels, is applied here to $\pi^0\pi^0$ production. Form factors with logarithmic $s$ and $t(u)$ dependencies are applied. A fair agreement with the existing angular distributions is obtained. Applying SU(3) symmetry, it is straightforward to recover the angular distributions for $ \pi^0\eta$, and $\eta\eta$ production in the same energy range. A good agreement is generally obtained with all existing data.


title: Static Exploration of Taint-Style Vulnerabilities Found by Fuzzing

abstract: Taint-style vulnerabilities comprise a majority of fuzzer discovered program faults. These vulnerabilities usually manifest as memory access violations caused by tainted program input. Although fuzzers have helped uncover a majority of taint-style vulnerabilities in software to date, they are limited by (i) extent of test coverage; and (ii) the availability of fuzzable test cases. Therefore, fuzzing alone cannot provide a high assurance that all taint-style vulnerabilities have been uncovered. In this paper, we use static template matching to find recurrences of fuzzer-discovered vulnerabilities. To compensate for the inherent incompleteness of template matching, we implement a simple yet effective match-ranking algorithm that uses test coverage data to focus attention on those matches that comprise untested code. We prototype our approach using the Clang/LLVM compiler toolchain and use it in conjunction with afl-fuzz, a modern coverage-guided fuzzer. Using a case study carried out on the Open vSwitch codebase, we show that our prototype uncovers corner cases in modules that lack a fuzzable test harness. Our work demonstrates that static analysis can effectively complement fuzz testing, and is a useful addition to the security assessment tool-set. Furthermore, our techniques hold promise for increasing the effectiveness of program analysis and testing, and serve as a building block for a hybrid vulnerability discovery framework.


title: The structure of Chariklo's rings from stellar occultations

abstract: Two narrow and dense rings (called C1R and C2R) were discovered around the Centaur object (10199) Chariklo during a stellar occultation observed on 2013 June 3. Following this discovery, we planned observations of several occultations by Chariklo's system in order to better characterize the physical properties of the ring and main body. Here, we use 12 successful occulations by Chariklo observed between 2014 and 2016. They provide ring profiles (physical width, opacity, edge structure) and constraints on the radii and pole position. Our new observations are currently consistent with the circular ring solution and pole position, to within the $\pm 3.3$ km formal uncertainty for the ring radii derived by Braga-Ribas et al. The six resolved C1R profiles reveal significant width variations from $\sim 5$ to 7.5 km. The width of the fainter ring C2R is less constrained, and may vary between 0.1 and 1 km. The inner and outer edges of C1R are consistent with infinitely sharp boundaries, with typical upper limits of one kilometer for the transition zone between the ring and empty space. No constraint on the sharpness of C2R's edges is available. A 1$\sigma$ upper limit of $\sim 20$ m is derived for the equivalent width of narrow (physical width <4 km) rings up to distances of 12,000 km, counted in the ring plane.


title: Excellent rings in transchromatic homotopy theory

abstract: The purpose of this note is to verify that several basic rings appearing in transchromatic homotopy theory are Noetherian excellent normal domains and thus amenable to standard techniques from commutative algebra. In particular, we show that the coefficients of iterated localizations of Morava $E$-theory at the Morava $K$-theories are normal domains and also that the coefficients in the transchromatic character map for a fixed group form a normal domain.


title: The ORGAN Experiment: An axion haloscope above 15 GHz

abstract: We present first results and future plans for the Oscillating Resonant Group AxioN (ORGAN) experiment, a microwave cavity axion haloscope situated in Perth, Western Australia designed to probe for high mass axions motivated by several theoretical models. The first stage focuses around 26.6 GHz in order to directly test a claimed result, which suggests axions exist at the corresponding mass of $110~\mu$eV. Later stages will move to a wider scan range of 15-50 GHz ($60-210~\mu $eV). We present the results of the pathfinding run, which sets a limit on $g_{a\gamma\gamma}$ of $2.02\times 10^{-12} $eV$^{-1}$ at 26.531 GHz, or 110~$\mu$eV, in a span of 2.5 neV (shaped by the Lorentzian resonance) with $90 \%$ confidence. Furthermore, we outline the current design and future strategies to eventually attain the sensitivity to search for well known axion models over the wider mass range.


title: Generalized Bottom-Tau unification, neutrino oscillations and dark matter: predictions from a lepton quarticity flavor approach

abstract: We propose an $A_4$ extension of the Standard Model with a Lepton Quarticity symmetry correlating dark matter stability with the Dirac nature of neutrinos. The flavor symmetry predicts (i) a generalized bottom-tau mass relation involving all families, (ii) small neutrino masses are induced a la seesaw, (iii) CP must be significantly violated in neutrino oscillations, (iv) the atmospheric angle $\theta_{23}$ lies in the second octant, and (v) only the normal neutrino mass ordering is realized.


title: On the super edge-magicness of graphs of equal order and size

abstract: The super edge-magicness of graphs of equal order and size has been shown to be important since such graphs can be used as seeds to answer many questions related to (super) edge-magic labelings and other types of well studied labelings, as for instance harmonious labelings. Also other questions related to the area of combinatorics can be attacked and understood from the point of view of super edge-magic graphs of equal order and size. For instance, the design of Steiner triple systems, the study of the set of dual shuffle primes and the Jacobsthal numbers. In this paper, we study the super edge-magic properties of some types of super edge-magic graphs of equal order and size, with the hope that they can be used later in the study of other related questions. The negative results found in last section are specially interesting since these kind of results are not common in the literature. Furthermore, the few results found in this direction usually meet one of the following reasons: too many vertices compared with the number of edges; too many edges compared with the number of vertices; or parity conditions. In this case, all previous reasons fail in our results.


title: Depth Structure Preserving Scene Image Generation

abstract: Key to automatically generate natural scene images is to properly arrange among various spatial elements, especially in the depth direction. To this end, we introduce a novel depth structure preserving scene image generation network (DSP-GAN), which favors a hierarchical and heterogeneous architecture, for the purpose of depth structure preserving scene generation. The main trunk of the proposed infrastructure is built on a Hawkes point process that models the spatial dependency between different depth layers. Within each layer generative adversarial sub-networks are trained collaboratively to generate realistic scene components, conditioned on the layer information produced by the point process. We experiment our model on a sub-set of SUNdataset with annotated scene images and demonstrate that our models are capable of generating depth-realistic natural scene image.


title: On pre-Hamiltonian cycles in balanced bipartite digraphs

abstract: Let $D$ be a strongly connected balanced bipartite directed graph of order $2a\geq 10$. Let $x,y$ be distinct vertices in $D$. $\{x,y\}$ dominates a vertex $z$ if $x\rightarrow z$ and $y\rightarrow z$; in this case, we call the pair $\{x,y\}$ dominating. In this paper we prove: {\it If the underlying undirected graph of $D$ is not 2-connected and $max\{d(x), d(y)\}\geq 2a-2$ for every dominating pair of vertices $\{x,y\}$, then $D$ contains a cycle of length $2a-2$ unless $D$ is isomorphic to a certain digraph of order ten which we specify.


title: The Forest Fire Model Revisited

abstract: Since Self-Organised Criticality (SOC) was introduced in the 1987 both the nature of the self-organisation and of the criticality remains controversial. Recent observations on rain precipitation and on brain activity suggest that real systems may dynamically wander about in the vicinity of criticality rather than tune to a critical point. We use computer simulations to study the Drossel-Schwable forest-fire model of SOC and find that it exhibits behaviour similar to that found for rain and brain activity. In particular we analyse the residence time for different densities of trees and perform finite size scaling analysis of the with of the distribution of residence times. We conclude that despite of the long known fact that this model does not exhibit exact scaling and power laws its behaviour may exactly for that be very relevant to real physical systems.


title: Partition-free families of sets

abstract: Let $m(n)$ denote the maximum size of a family of subsets which does not contain two disjoint sets along with their union. In 1968 Kleitman proved that $m(n) = {n\choose m+1}+\ldots +{n\choose 2m+1}$ if $n=3m+1$. Confirming the conjecture of Kleitman, we establish the same equality for the cases $n=3m$ and $n=3m+2$, and also determine all extremal families. Unlike the case $n=3m+1$, the extremal families are not unique. This is a plausible reason behind the relative difficulty of our proofs. We completely settle the case of several families as well.


title: Global existence for a system of quasi-linear wave equations in $3$D satisfying the weak null condition

abstract: We show global existence of small solutions to the Cauchy problem for a system of quasi-linear wave equations in three space dimensions. The feature of the system lies in that it satisfies the weak null condition, though we permit the presence of some quadratic nonlinear terms which do not satisfy the null condition. Due to the presence of such quadratic terms, the standard argument no longer works for the proof of global existence. To get over this difficulty, we extend the ghost weight method of Alinhac so that it works for the system under consideration. The original theorem of Alinhac for the scalar unknowns is also refined.


title: On Nonintersection of Spectra of some Functionals on Spaces $\mathop{W}\limits^\circ{}^2_n$, $\mathop{W}\limits^\circ{}^2_{n+1}$, $\mathop{W}\limits^\circ{}^2_{n+2}$

abstract: Spectra of functionals $$\Phi(u)=\frac{\left\langle u^{(n)}u^{(n)}\right\rangle}{\left\langle u^{(n-p)}u^{(n-p)}\right\rangle}$$ in spaces ${\mathop{W}\limits^\circ}^2_n$ are considered for different $n$. One has shown that for even functions in $\mathop{W}\limits^\circ{}^2_n$ and $\mathop{W}\limits^\circ{}^2_m$ spectra of functionals do not intersect for $m=n+1, n+2$. The neccesary conditions for two spectra to intersect are written for $\Delta=m-n>2$.


title: Item-Item Music Recommendations With Side Information

abstract: Online music services have tens of millions of tracks. The content itself is broad and covers various musical genres as well as non-musical audio content such as radio plays and podcasts. The sheer scale and diversity of content makes it difficult for a user to find relevant tracks. Relevant recommendations are therefore crucial for a good user experience. Here we present a method to compute track-track similarities using collaborative filtering signals with side information. On a data set from music streaming service SoundCloud, the method here outperforms the widely adopted implicit matrix factorization technique. The implementation of our method is open sourced and can be applied to related item-item recommendation tasks with side information.


title: Selling Complementary Goods: Dynamics, Efficiency and Revenue

abstract: We consider a price competition between two sellers of perfect-complement goods. Each seller posts a price for the good it sells, but the demand is determined according to the sum of prices. This is a classic model by Cournot (1838), who showed that in this setting a monopoly that sells both goods is better for the society than two competing sellers. We show that non-trivial pure Nash equilibria always exist in this game. We also quantify Cournot's observation with respect to both the optimal welfare and the monopoly revenue. We then prove a series of mostly negative results regarding the convergence of best response dynamics to equilibria in such games.


title: Julia sets of complex H\'enon maps

abstract: There are two natural definitions of the Julia set for complex H\'enon maps: the sets $J$ and $J^\star$. Whether these two sets are always equal is one of the main open questions in the field. We prove equality when the map acts hyperbolically on the a priori smaller set $J^\star$, under the additional hypothesis of substantial dissipativity. This result was claimed, without using the additional assumption, in the paper [For06], but the proof is incomplete. Our proof closely follows ideas from [For06], deviating at two points where substantial dissipativity is used. We show that $J = J^\star$ also holds when hyperbolicity is replaced by one of two weaker conditions. The first is quasi-hyperbolicity, introduced in [BS02], a natural generalization of the one dimensional notion of semi-hyperbolicity. The second is the existence of a dominated splitting on $J^\star$. Substantially dissipative H\'enon maps admitting a dominated splitting on the possibly larger set $J$ were recently studied in in [LP14].


title: The Maximum Dissipation Principle in Rigid-Body Dynamics with Purely Inelastic Impacts

abstract: Formulating a consistent theory for rigid-body dynamics with impacts is an intricate problem. Twenty years ago Stewart published the first consistent theory with purely inelastic impacts and an impulsive friction model analogous to Coulomb friction. In this paper we demonstrate that the consistent impact model can exhibit multiple solutions with a varying degree of dissipation even in the single-contact case. Replacing the impulsive friction model based on Coulomb friction by a model based on the maximum dissipation principle resolves the non-uniqueness in the single-contact impact problem. The paper constructs the alternative impact model and presents integral equations describing rigid-body dynamics with a non-impulsive and non-compliant contact model and an associated purely inelastic impact model maximizing dissipation. An analytic solution is derived for the single-contact impact problem. The models are then embedded into a time-stepping scheme. The macroscopic behaviour is compared to Coulomb friction in a large-scale granular flow problem.


title: Test Beam Performance Measurements for the Phase I Upgrade of the CMS Pixel Detector

abstract: A new pixel detector for the CMS experiment was built in order to cope with the instantaneous luminosities anticipated for the Phase~I Upgrade of the LHC. The new CMS pixel detector provides four-hit tracking with a reduced material budget as well as new cooling and powering schemes. A new front-end readout chip mitigates buffering and bandwidth limitations, and allows operation at low comparator thresholds. In this paper, comprehensive test beam studies are presented, which have been conducted to verify the design and to quantify the performance of the new detector assemblies in terms of tracking efficiency and spatial resolution. Under optimal conditions, the tracking efficiency is $99.95\pm0.05\,\%$, while the intrinsic spatial resolutions are $4.80\pm0.25\,\mu \mathrm{m}$ and $7.99\pm0.21\,\mu \mathrm{m}$ along the $100\,\mu \mathrm{m}$ and $150\,\mu \mathrm{m}$ pixel pitch, respectively. The findings are compared to a detailed Monte Carlo simulation of the pixel detector and good agreement is found.


title: Nonlinear vortex structures in obliquely rotating stratified fluids driven by small scale non helical forces

abstract: In this paper, we study a new type of large-scale instability in obliquely rotating stratified fluids with small scale non-helical turbulence. The small-scale turbulence is generated by the external force with zero helicity and low Reynolds number. The theory uses the method of multiscale asymptotic developments. The nonlinear equations for large scale motions are obtained in the third order of the perturbation theory. In this paper, we consider the linear instability and the stationary nonlinear modes. We obtain solutions in the form of nonlinear Beltrami waves and localized vortex structures as kinks of new type.


title: Silicon Technologies for the CLIC Vertex Detector

abstract: CLIC is a proposed linear e+e- collider designed to provide particle collisions at center-of-mass energies of up to 3 TeV. Precise measurements of the properties of the top quark and the Higgs boson, as well as searches for Beyond the Standard Model physics require a highly performant CLIC detector. In particular the vertex detector must provide a single point resolution of only a few micrometers while not exceeding the envisaged material budget of around 0.2% X0 per layer. Beam-beam interactions and beamstrahlung processes impose an additional requirement on the timestamping capabilities of the vertex detector of about 10 ns. These goals can only be met by using novel techniques in the sensor and ASIC design as well as in the detector construction. The R\&D program for the CLIC vertex detector explores various technologies in order to meet these demands. The feasibility of planar sensors with a thickness of 50-150 um, including different active edge designs, are evaluated using Timepix3 ASICs. First prototypes of the CLICpix readout ASIC, implemented in 65 nm CMOS technology and with a pixel size of 25x25 um^2, have been produced and tested in particle beams. An updated version of the ASIC with a larger pixel matrix and improved precision of the time-over-threshold and time-of-arrival measurements has been submitted. Different hybridization concepts have been developed for the interconnection between the sensor and readout ASIC, ranging from small-pitch bump bonding of planar sensors to capacitive coupling of active HV-CMOS sensors. Detector simulations based on Geant4 and TCAD are compared with experimental results to assess and optimize the performance of the various designs. This contribution gives an overview of the R&D program undertaken for the CLIC vertex detector and presents performance measurements of the prototype detectors currently under investigation.


title: LOFAR MSSS: The Scaling Relation between AGN Cavity Power and Radio Luminosity at Low Radio Frequencies

abstract: We present a new analysis of the widely used relation between cavity power and radio luminosity in clusters of galaxies with evidence for strong AGN feedback. We study the correlation at low radio frequencies using two new surveys - the First Alternative Data Release of the TIFR GMRT Sky Survey (TGSS ADR1) at 148 MHz and LOFAR's first all-sky survey, the Multifrequency Snapshot Sky Survey (MSSS) at 140 MHz. We find a scaling relation $P_{\rm cav} \propto L_{148}^{\beta}$, with a logarithmic slope of $\beta = 0.51 \pm 0.14$, which is in good agreement with previous results based on data at 327 MHz. The large scatter present in this correlation confirms the conclusion reached at higher frequencies that the total radio luminosity at a single frequency is a poor predictor of the total jet power. We show that including measurements at 148 MHz alone is insufficient to reliably compute the bolometric radio luminosity and reduce the scatter in the correlation. For a subset of four well-resolved sources, we examine the detected extended structures at low frequencies and compare with the morphology known from higher frequency images and Chandra X-ray maps. In Perseus we discuss details in the structures of the radio mini-halo, while in the 2A 0335+096 cluster we observe new diffuse emission associated with multiple X-ray cavities and likely originating from past activity. For A2199 and MS 0735.6+7421, we confirm that the observed low-frequency radio lobes are confined to the extents known from higher frequencies. This new low-frequency analysis highlights the fact that existing cavity power to radio luminosity relations are based on a relatively narrow range of AGN outburst ages. We discuss how the correlation could be extended using low frequency data from the LOFAR Two-metre Sky Survey (LoTSS) in combination with future, complementary deeper X-ray observations.


title: An explicit computation of the Blanchfield pairing for arbitrary links

abstract: Given a link $L$, the Blanchfield pairing $\operatorname{Bl}(L)$ is a pairing which is defined on the torsion submodule of the Alexander module of $L$. In some particular cases, namely if $L$ is a boundary link or if the Alexander module of $L$ is torsion, $\operatorname{Bl}(L)$ can be computed explicitly; however no formula is known in general. In this article, we compute the Blanchfield pairing of any link, generalizing the aforementioned results. As a corollary, we obtain a new proof that the Blanchfield pairing is hermitian. Finally, we also obtain short proofs of several properties of $\operatorname{Bl}(L)$.


title: An Effective Approach for Point Clouds Registration Based on the Hard and Soft Assignments

abstract: For the registration of partially overlapping point clouds, this paper proposes an effective approach based on both the hard and soft assignments. Given two initially posed clouds, it firstly establishes the forward correspondence for each point in the data shape and calculates the value of binary variable, which can indicate whether this point correspondence is located in the overlapping areas or not. Then, it establishes the bilateral correspondence and computes bidirectional distances for each point in the overlapping areas. Based on the ratio of bidirectional distances, the exponential function is selected and utilized to calculate the probability value, which can indicate the reliability of the point correspondence. Subsequently, both the values of hard and soft assignments are embedded into the proposed objective function for registration of partially overlapping point clouds and a novel variant of ICP algorithm is proposed to obtain the optimal rigid transformation. The proposed approach can achieve good registration of point clouds, even when their overlap percentage is low. Experimental results tested on public data sets illustrate its superiority over previous approaches on accuracy and robustness.


title: Nonlinear transport by vortex tangles in cuprate high-temperature superconductors

abstract: A unified model of vortex tangles is proposed to describe unconventional transport in cuprate high-temperature superconductors, which not only captures the fast vortices scenario at low density, but also predicts a novel mechanism of core-core collisions in dense vortex fluid regime. The theory clarifies the nature of vortex fluctuations being the quantum fluctuations of holes and then resolves a discrepancy of two orders of magnitude of Anderson's damping model $\hbar n_v$, with right prediction of the nonlinear field dependence of the resistivity $\rho=\rho_n(B+B_T)/(B_0+B+B_T)$ and the Nernst effect, validated by data of several samples. Consequently, Anderson's vortex tangles concept and phase fluctuation scenario of pseudogap are verified quantitatively.


title: ${\mathcal L}^1$ limit solutions in impulsive control

abstract: We consider a nonlinear control system depending on two controls u and v, with dynamics affine in the (unbounded) derivative of u, and v appearing initially only in the drift term. Recently, motivated by applications to optimization problems lacking coercivity, [1] proposed a notion of generalized solution x for this system, called {\it limit solution,} associated to measurable u and v, and with u of possibly unbounded variation in [0,T]. As shown in [1], when u and x have bounded variation, such a solution (called in this case BV simple limit solution) coincides with the most used graph completion solution (see e.g. [6]). This correspondence has been extended in [24] to BV_loc u and trajectories (with bounded variation just on any [0,t] with t<T). Starting with an example of optimal control where the minimum does not exist in the class of limit solutions, we propose a notion of extended limit solution x, for which such a minimum exists. As a first result, we prove that extended and original limit solutions coincide in the special cases of BV and BV_loc inputs u (and solutions). Then we consider dynamics where the ordinary control v also appears in the non-drift terms. For the associated system we prove that, in the BV case, extended limit solutions coincide with graph completion solutions.


title: Irreducible network backbones: unbiased graph filtering via maximum entropy

abstract: Networks provide an informative, yet non-redundant description of complex systems only if links represent truly dyadic relationships that cannot be directly traced back to node-specific properties such as size, importance, or coordinates in some embedding space. In any real-world network, some links may be reducible, and others irreducible, to such local properties. This dichotomy persists despite the steady increase in data availability and resolution, which actually determines an even stronger need for filtering techniques aimed at discerning essential links from non-essential ones. Here we introduce a rigorous method that, for any desired level of statistical significance, outputs the network backbone that is irreducible to the local properties of nodes, i.e. their degrees and strengths. Unlike previous approaches, our method employs an exact maximum-entropy formulation guaranteeing that the filtered network encodes only the links that cannot be inferred from local information. Extensive empirical analysis confirms that this approach uncovers essential backbones that are otherwise hidden amidst many redundant relationships and inaccessible to other methods. For instance, we retrieve the hub-and-spoke skeleton of the US airport network and many specialised patterns of international trade. Being irreducible to local transportation and economic constraints of supply and demand, these backbones single out genuinely higher-order wiring principles.


title: Automatic Differentiation using Constraint Handling Rules in Prolog

abstract: Automatic differentiation is a technique which allows a programmer to define a numerical computation via compositions of a broad range of numeric and computational primitives and have the underlying system support the computation of partial derivatives of the result with respect to any of its inputs, without making any finite difference approximations, and without manipulating large symbolic expressions representing the computation. This note describes a novel approach to reverse mode automatic differentiation using constraint logic programmming, specifically, the constraint handling rules (CHR) library of SWI Prolog, resulting in a very small (50 lines of code) implementation. When applied to a differentiation-based implementation of the inside-outside algorithm for parameter learning in probabilistic grammars, the CHR based implementations outperformed two well-known frameworks for optimising differentiable functions, Theano and TensorFlow, by a large margin.


title: The (2,0) Superalgebra, Null M-branes and Hitchin's System

abstract: We present an interacting system of equations with sixteen supersymmetries and an $SO(2)\times SO(6)$ R-symmetry where the fields depend on two space and one null dimensions that is derived from a representation of the six-dimensional (2,0) superalgebra. The system can be viewed as two M5-branes compactified on $S^1_-\times {\mathbb T}^2$ or equivalently as M2-branes on ${\mathbb R}_+\times {\mathbb R}^2$, where $\pm$ refer to null directions. We show that for a particular choice of fields the dynamics can be reduced to motion on the moduli space of solutions to the Hitchin system. We argue that this provides a description of intersecting null M2-branes and is also related by U-duality to a DLCQ description of four-dimensional maximally supersymmetric Yang-Mills.


title: A sufficient condition for pre-Hamiltonian cycles in bipartite digraphs

abstract: Let $D$ be a strongly connected balanced bipartite directed graph of order $2a\geq 10$ other than a directed cycle. Let $x,y$ be distinct vertices in $D$. $\{x,y\}$ dominates a vertex $z$ if $x\rightarrow z$ and $y\rightarrow z$; in this case, we call the pair $\{x,y\}$ dominating. In this paper we prove: If $ max\{d(x), d(y)\}\geq 2a-2$ for every dominating pair of vertices $\{x,y\}$, then $D$ contains cycles of all lengths $2,4, \ldots , 2a-2$ or $D$ is isomorphic to a certain digraph of order ten which we specify.


title: Optimality conditions for minimizers at infinity in polynomial programming

abstract: In this paper we study necessary optimality conditions for the optimization problem $$\textrm{infimum}f_0(x) \quad \textrm{ subject to } \quad x \in S,$$ where $f_0 \colon \mathbb{R}^n \rightarrow \mathbb{R}$ is a polynomial function and $S \subset \mathbb{R}^n$ is a set defined by polynomial inequalities. Assume that the problem is bounded below and has the Mangasarian--Fromovitz property at infinity. We first show that if the problem does {\em not} have an optimal solution, then a version at infinity of the Fritz-John optimality conditions holds. From this we derive a version at infinity of the Karush--Kuhn--Tucker optimality conditions. As applications, we obtain a Frank--Wolfe type theorem which states that the optimal solution set of the problem is nonempty provided the objective function $f_0$ is convenient. Finally, in the unconstrained case, we show that the optimal value of the problem is the smallest critical value of some polynomial. All the results are presented in terms of the Newton polyhedra of the polynomials defining the problem.


title: Stranski-Krastanov mechanism of growth and the effect of misfit sign on quantum dots nucleation

abstract: The thermodynamics of the Stranski-Krastanov mode of epitaxial growth and the effect of the sign of the lattice misfit are discussed. The Stranski-Krastanov mode of growth represents a sequence of layer-by-layer or Frank-van der Merwe growth followed by the formation of three-dimensional (3D) islands or Volmer-Weber growth. The occurrence of both growth modes mentioned above is in compliance with the wettability criterion of Bauer. The positive wetting function required for the occurrence of the Volmer-Weber growth is originated by the vertical displacements of the atoms close to the edges of the two-dimensional (2D) islands as a result of the relaxation of the lattice misfit. The monolayer high islands become unstable against bilayer islands, bilayer islands in turn become unstable against trilayer islands, etc. beyond some critical islands sizes. Monolayer islands appear as necessary precursors of three-dimensional (3D) islands. The critical island size for mono-bilayer transformation increases steeply with decreasing lattice misfit and diverges at a critical value of the misfit. This value divides the regions of Frank-van der Merwe and Stranski-Krastanov modes in a phase diagram of coordinates wetting-misfit. The transformation of monolayer to multilayer islands takes place either by consecutive nucleation and growth of 2D islands (layer-by-layer transformation), or by nucleation and lateral (2D) growth of multilayer islands (multilayer 2D transformation). The former occurs in the case of "stiff" overlayer materials and mostly in compressed overlayers. The latter takes place in the case of "soft" materials like Pb and In, mostly in tensile overlayers. Tensile films show non-nucleation transformation compared with the nucleation-like behavior of compressed films.


title: Mode change of a gamma-ray pulsar, PSR J2021+4026

abstract: A glitch of a pulsar is known as a sudden increase in the spin frequency and spin-down rate (frequency time derivative), and it can be caused by a sudden rel\ ease of the stress built up in the solid crust of the star or pinned vortices in the superfluid interior. PSR J2021+4026 is the first pulsar that shows a significant change in the gamma-ray flux and pulse profile at the glitch that occurred around 2011 October 16. We report the results of timing and spectral analysis of PSR~J2021+4026 using $\sim$ 8~yr Fermi-LAT data. We find that the pulsar stayed at a high spin-down rate ($\sim 4\%$ higher than the pre-glitch value) and a low gamma-ray state ($\sim 18\%$ lower) for about 3~yr after the glitch. Around 2014 December, the spin-down rate and gamma-ray flux gradually returned to pre-glitch values within a time scale of a few months. The phase-resolved spectra and pulse profiles after the relaxation are also consistent with those before the glitch. The observed long-term evolution of the spin-down rate and the gamma-ray flux indicates that the glitch triggered a mode change in the global magnetosphere. We speculate that the glitch changed the local magnetic field structure around the polar cap and/or the inclination angle of the dipole axis, leading to a change in the electric current circulating in the magnetosphere.


title: The ELEGANT NMR Spectrometer

abstract: Compact and portable in-situ NMR spectrometers which can be dipped in the liquid to be measured, and are easily maintained, with affordable coil constructions and electronics, together with an apparatus to recover depleted magnets are presented, that provide a new real-time processing method for NMR spectrum acquisition, that remains stable despite magnetic field fluctuations.

categories: physics.ins-det physics.chem-ph physics.comp-ph physics.data-an