title: Spatial-Stochastic Simulation of Reaction-Diffusion Systems

abstract: Biochemical networks play a crucial role in biological systems, implementing a broad range of vital functions. They normally operate at low copy numbers and in spatial settings, but this is often ignored and well-stirred conditions are assumed. Yet, it is increasingly becoming clear that even microscopic spatial inhomogeneities oftentimes can induce significant differences on the macroscopic level. Since experimental observation of single-molecule behavior is extremely challenging, theoretical modeling of biochemical reactions on the single-particle level is an important tool for understanding spatial effects in biochemical systems. While purely analytical models quickly become intractable here, spatial-stochastic simulations can capture a wide range of biochemical processes with the necessary levels of detail. Here we discuss different techniques for spatial-stochastic simulation of reaction-diffusion systems, and explain important precautions required to make them biochemically accurate and efficient. We illustrate non-negligible accuracy issues arising even in the most simple approaches to biochemical simulation, and present methods to deal with them. We first explain how Brownian Dynamics, a widely used particle-based diffusion simulation technique with fixed propagation time, can be adapted to incorporate chemical reactions, and portray a range of schemes that elaborate on this idea. We then introduce event-driven spatial-stochastic simulation methods, in which system updates are performed asynchronously with situation-dependent, varying time steps; here we particularly focus on eGFRD, a computationally efficient particle-based algorithm that makes use of analytical functions to accurately sample interparticle reactions and diffusive motion with large jumps in time and space. We end by briefly presenting recent developments in the field of spatial-stochastic biochemical simulation.


title: Assessing the role of the spatial scale in the analysis of lagoon biodiversity. A case-study on the macrobenthic fauna of the Po River Delta

abstract: The analysis of benthic assemblages is a valuable tool to describe the ecological status of transitional water ecosystems, but species are extremely sensitive and respond to both microhabitat and seasonal differences. The identification of changes in the composition of the macrobenthic community in specific microhabitats can then be used as an "early warning" for environmental changes which may affect the economic and ecological importance of lagoons, through their provision of Ecosystem Services. From a conservational point of view, the appropriate definition of the spatial aggregation level of microhabitats or local communities is of crucial importance. The main objective of this work is to assess the role of the spatial scale in the analysis of lagoon biodiversity. First, we analyze the variation in the sample coverage for alternative aggregations of the monitoring stations in three lagoons of the Po River Delta. Then, we analyze the variation of a class of entropy indices by mixed effects models, properly accounting for the fixed effects of biotic and abiotic factors and random effects ruled by nested sources of variability corresponding to alternative definitions of local communities. Finally, we address biodiversity partitioning by a generalized diversity measure, namely the Tsallis entropy, and for alternative definitions of the local communities. The main results obtained by the proposed statistical protocol are presented, discussed and framed in the ecological context.


title: Convergence and quantale-enriched categories

abstract: Generalising Nachbin's theory of "topology and order", in this paper we continue the study of quantale-enriched categories equipped with a compact Hausdorff topology. We compare these $\mathcal{V}$-categorical compact Hausdorff spaces with ultrafilter-quantale-enriched categories, and show that the presence of a compact Hausdorff topology guarantees Cauchy completeness and (suitably defined) codirected completeness of the underlying quantale enriched category.


title: Stochastic decomposition applied to large-scale hydro valleys management

abstract: We are interested in optimally controlling a discrete time dynamical system that can be influenced by exogenous uncertainties. This is generally called a Stochas-tic Optimal Control (SOC) problem and the Dynamic Programming (DP) principle is one of the standard way of solving it. Unfortunately, DP faces the so-called curse of dimensionality: the complexity of solving DP equations grows exponentially with the dimension of the variable that is sufficient to take optimal decisions (the so-called state variable). For a large class of SOC problems, which includes important practical applications in energy management, we propose an original way of obtaining near optimal controls. The algorithm we introduce is based on Lagrangian relaxation, of which the application to decomposition is well-known in the deterministic framework. However, its application to such closed-loop problems is not straightforward and an additional statistical approximation concerning the dual process is needed. The resulting methodology is called Dual Approximate Dynamic Programming (DADP). We briefly present DADP, give interpretations and enlighten the error induced by the approximation. The paper is mainly devoted to applying DADP to the management of large hydro valleys. The modeling of such systems is presented, as well as the practical implementation of the methodology. Numerical results are provided on several valleys, and we compare our approach with the state of the art SDDP method.


title: Local Gradient Estimates for Second-Order Nonlinear Elliptic and Parabolic Equations by the Weak Bernstein's Method

abstract: In the theory of second-order, nonlinear elliptic and parabolic equations, obtaining local or global gradient bounds is often a key step for proving the existence of solutions but it may be even more useful in many applications, for example to singular perturbations problems. The classical Bernstein's method is a well-known tool to obtain these bounds but, in most cases, it has the defect of providing only a priori estimates. The "weak Bernstein's method", based on viscosity solutions' theory, is an alternative way to prove the global Lipschitz regularity of solutions together with some estimates but it is not so easy to perform in the case of local bounds. The aim of this paper is to provide an extension of the "weak Bernstein's method" which allows to prove local gradient bounds with reasonnable technicalities.


title: Daisy cubes and distance cube polynomial

abstract: Let X $\subseteq$ {0, 1} n. Then the daisy cube Q n (X) is introduced as the sub-graph of Q n induced by the intersection of the intervals I(x, 0 n) over all x $\in$ X. Daisy cubes are partial cubes that include Fibonacci cubes, Lucas cubes, and bipartite wheels. If u is a vertex of a graph G, then the distance cube polynomial D G,u (x, y) is introduced as the bivariate polynomial that counts the number of induced subgraphs isomorphic to Q k at a given distance from the vertex u. It is proved that if G is a daisy cube, then D G,0 n (x, y) = C G (x + y -- 1), where C G (x) is the previously investigated cube polynomial of G. It is also proved that if G is a daisy cube, then D G,u (x, --x) = 1 holds for every vertex u in G.


title: Entanglement spectrum of the degenerative ground state of Heisenberg ladders in a time-dependent magnetic field

abstract: We investigate of the relationship between the entanglement and subsystem Hamiltonians in the perturbative regime of strong coupling between subsystems. One of the two conditions that guarantees the proportionality between these Hamiltonians obtained by using the nondegenerate perturbation theory within the first order is that the unperturbed ground state has a trivial entanglement Hamiltonian. Furthermore, we study the entanglement Hamiltonian of the Heisenberg ladders in a time-dependent magnetic field using the degenerate perturbation theory, where couplings between legs are considered as a perturbation. In this case, when the ground state is two-fold degenerate, and the entanglement Hamiltonian is proportional to the Hamiltonian of a chain within first-order perturbation theory, even then also the unperturbed ground state has a nontrivial entanglement spectrum.


title: On the M\"obius Function and Topology of General Pattern Posets

abstract: We introduce a formal definition of a pattern poset which encompasses several previously studied posets in the literature. Using this definition we present some general results on the M\"obius function and topology of such pattern posets. We prove our results using a poset fibration based on the embeddings of the poset, where embeddings are representations of occurrences. We show that the M\"obius function of these posets is intrinsically linked to the number of embeddings, and in particular to so called normal embeddings. We present results on when topological properties such as Cohen-Macaulayness and shellability are preserved by this fibration. Furthermore, we apply these results to some pattern posets and derive alternative proofs of existing results, such as Bj\"orner's results on subword order.


title: Incoherent Diffractive Imaging via Intensity Correlations of hard X-rays

abstract: Established x-ray diffraction methods allow for high-resolution structure determination of crystals, crystallized protein structures or even single molecules. While these techniques rely on coherent scattering, incoherent processes like Compton scattering or fluorescence emission -- often the predominant scattering mechanisms -- are generally considered detrimental for imaging applications. Here we show that intensity correlations of incoherently scattered x-ray radiation can be used to image the full 3D structure of the scattering atoms with significantly higher resolution compared to conventional coherent diffraction imaging and crystallography, including additional three-dimensional information in Fourier space for a single sample orientation. We present a number of properties of incoherent diffractive imaging that are conceptually superior to those of coherent methods.


title: Automatic alignment for three-dimensional tomographic reconstruction

abstract: In tomographic reconstruction, the goal is to reconstruct an unknown object from a collection of line integrals. Given a complete sampling of such line integrals for various angles and directions, explicit inverse formulas exist to reconstruct the object. Given noisy and incomplete measurements, the inverse problem is typically solved through a regularized least-squares approach. A challenge for both approaches is that in practice the exact directions and offsets of the x-rays are only known approximately due to, e.g. calibration errors. Such errors lead to artifacts in the reconstructed image. In the case of sufficient sampling and geometrically simple misalignment, the measurements can be corrected by exploiting so-called consistency conditions. In other cases, such conditions may not apply and we have to solve an additional inverse problem to retrieve the angles and shifts. In this paper we propose a general algorithmic framework for retrieving these parameters in conjunction with an algebraic reconstruction technique. The proposed approach is illustrated by numerical examples for both simulated data and an electron tomography dataset.


title: Two-point functions of SU(2)-subsector and length-two operators in dCFT

abstract: We consider a particular set of two-point functions in the setting of N = 4 SYM with a defect, dual to the fuzzy-funnel solution for the probe D5-D3-brane system. The two-point functions in focus involve a single trace operator in the SU(2)-subsector of arbitrary length and a length-two operator built out of any scalars. By interpreting the contractions as a spin-chain operator, simple expressions were found for the leading contribution to the two-point functions, mapping them to earlier known formulas for the one-point functions in this setting.


title: Completely Sidon sets in $C^*$-algebras (New title)

abstract: A sequence in a $C^*$-algebra $A$ is called completely Sidon if its span in $A$ is completely isomorphic to the operator space version of the space $\ell_1$ (i.e. $\ell_1$ equipped with its maximal operator space structure). The latter can also be described as the span of the free unitary generators in the (full) $C^*$-algebra of the free group $\F_\infty$ with countably infinitely many generators. Our main result is a generalization to this context of Drury's classical theorem stating that Sidon sets are stable under finite unions. In the particular case when $A=C^*(G)$ the (maximal) $C^*$-algebra of a discrete group $G$, we recover the non-commutative (operator space) version of Drury's theorem that we recently proved. We also give several non-commutative generalizations of our recent work on uniformly bounded orthonormal systems to the case of von Neumann algebras equipped with normal faithful tracial states.


title: On The Fixatic Number of Graphs

abstract: The fixing number of a graph $G$ is the smallest cardinality of a set of vertices $F\subseteq V(G)$ such that only the trivial automorphism of $G$ fixes every vertex in $F$. Let $\Pi$ $=$ $\{F_1,F_2,\ldots,F_k\}$ be an ordered $k$-partition of $V(G)$. Then $\Pi$ is called a {\it fixatic partition} if for all $i$; $1\leq i\leq k$, $F_i$ is a fixing set for $G$. The cardinality of a largest fixatic partition is called the {\it fixatic number} of $G$. In this paper, we study the fixatic numbers of graphs. Sharp bounds for the fixatic number of graphs in general and exact values with specified conditions are given. Some realizable results are also given in this paper.


title: Revisiting the boundary conditions for second-harmonic generation at metal-dielectric interfaces

abstract: We study second-harmonic generation (SHG) arising from surface nonlinearity at a metal-dielectric interface using a spectral decomposition method. Since our method avoids the need to consider the generalized boundary condition across the metal-dielectric interface in the presence of a perpendicular surface source, we retrieve the known discontinuity of the tangential component of the electric field ($E_{\parallel}^ {2\omega}$) for a general geometry, based on a purely mathematical argument. Further, we reaffirm the standard convention of the implementation of this condition, namely, that the surface dipole source radiates as if placed outside the metal surface for arbitrary geometries. We also study and explain the spectral dependence of the discontinuity of the tangential component of the electric field at second harmonic. Finally, we note that the default settings of the commercial numerical package COMSOL Multiphysics fail to account for the $E_{\parallel}^ {2\omega}$-discontinuity. We provide a simple recipe that corrects the boundary condition within these existing settings.


title: Minimum Action Path theory reveals the details of stochastic biochemical transitions out of oscillatory cellular states

abstract: Cell state determination is the outcome of intrinsically stochastic biochemical reactions. Tran- sitions between such states are studied as noise-driven escape problems in the chemical species space. Escape can occur via multiple possible multidimensional paths, with probabilities depending non-locally on the noise. Here we characterize the escape from an oscillatory biochemical state by minimizing the Freidlin-Wentzell action, deriving from it the stochastic spiral exit path from the limit cycle. We also use the minimized action to infer the escape time probability density function.


title: MmWave System for Future ITS: A MAC-layer Approach for V2X Beam Steering

abstract: Millimeter Waves (mmWave) systems have the potential of enabling multi-gigabit-per-second communications in future Intelligent Transportation Systems (ITSs). Unfortunately, because of the increased vehicular mobility, they require frequent antenna beam realignments - thus significantly increasing the in-band Beamforming (BF) overhead. In this paper, we propose Smart Motion-prediction Beam Alignment (SAMBA), a MAC-layer algorithm that exploits the information broadcast via DSRC beacons by all vehicles. Based on this information, overhead-free BF is achieved by estimating the position of the vehicle and predicting its motion. Moreover, adapting the beamwidth with respect to the estimated position can further enhance the performance. Our investigation shows that SAMBA outperforms the IEEE 802.11ad BF strategy, increasing the data rate by more than twice for sparse vehicle density while enhancing the network throughput proportionally to the number of vehicles. Furthermore, SAMBA was proven to be more efficient compared to legacy BF algorithm under highly dynamic vehicular environments and hence, a viable solution for future ITS services.


title: The block graph of a finite group

abstract: This paper studies intersections of principal blocks of a finite group with respect to different primes. We first define the block graph of a finite group $G$, whose vertices are the prime divisors of $|G|$ and there is an edge between two vertices $p\neq q$ if and only if the principal $p$- and $q$-blocks of $G$ have a nontrivial common complex irreducible character of $G$. Then we determine the block graphs of finite simple groups, which turn out to be complete except those of $J_1$ and $J_4$. Also, we determine exactly when the Steinberg character of a finite simple group of Lie type lies in a principal block. Based on the above investigation, we obtain a criterion for the $p$-solvability of a finite group which in particular leads to an equivalent condition for the solvability of a finite group. Thus, together with two recent results of Bessenrodt and Zhang, the nilpotency, $p$-nilpotency and solvability of a finite group can be characterized by intersections of principal blocks of some quotient groups.


title: The effect of polydispersity in a turbulent channel flow laden with finite-size particles

abstract: We study turbulent channel flows of monodisperse and polydisperse suspensions of finite-size spheres by means of Direct Numerical Simulations using an immersed boundary method to account for the dispersed phase. Suspensions with 3 different Gaussian distributions of particle radii are considered (i.e. 3 different standard deviations). The distributions are centered on the reference particle radius of the monodisperse suspension. In the most extreme case, the radius of the largest particles is 4 times that of the smaller particles. We consider two different solid volume fractions, 2% and 10%. We find that for all polydisperse cases, both fluid and particles statistics are not substantially altered with respect to those of the monodisperse case. Mean streamwise fluid and particle velocity profiles are almost perfectly overlapping. Slightly larger differences are found for particle velocity fluctuations. These increase close to the wall and decrease towards the centerline as the standard deviation of the distribution is increased. Hence, the behavior of the suspension is mostly governed by excluded volume effects regardless of particle size distribution (at least for the radii here studied). Due to turbulent mixing, particles are uniformly distributed across the channel. However, smaller particles can penetrate more into the viscous and buffer layer and velocity fluctuations are therein altered. Non trivial results are presented for particle-pair statistics.


title: Probing Femtosecond Lattice Displacement upon Photo-carrier generation in Lead Halide Perovskite

abstract: Electronic properties and lattice vibrations are supposed to be strongly correlated in metal-halide perovskites, due to the "soft" fluctuating nature of their crystal lattice. Thus, unveiling electron-phonon coupling dynamics upon ultra-fast photoexcitation is necessary for understanding the optoelectronic behaviour of the semiconductor. Here, we use impulsive vibrational spectroscopy to reveal ground and excited state vibrational modes of methylammonium lead-bromide perovskite. We observe a coherent phonon at 106 cm-1 (13 meV), pertaining to the inorganic octahedral, which is peculiar of the electronic excited state and generated via displacive excitation mechanism. This indicates the formation of a new geometry, reached after a quarter of the phonon period T/4=80 fs, and fully equilibrated within the phonon lifetime of about 1 ps. Our observations unambiguously prove that this mode drives the crystalline distortion occurring upon carrier generation, implying the presence of polaronic effects.


title: Dynamics of an ultra-strongly-coupled system interacting with a driven nonlinear resonator

abstract: In the ultra-strong coupling regime of a light-matter system, the ground state exhibits non-trivial entanglement between the atom and photons. For the purposes of exploring the measurement and control of this ground state, here we analyze the dynamics of such an ultra-strongly-coupled system interacting with a driven nonlinear resonator acting as a measurement apparatus. Interestingly, although the coupling between the atom and the nonlinear resonator is much smaller than the typical energy scales of the ultra-strongly-coupled system, we show that we can generate a strong correlation between the nonlinear resonator and the light-matter system. A subsequent coarse- grained measurement on the nonlinear resonator significantly affects the light-matter system, and the phase of the light changes depending on the measurement results. Also, we investigate the conditions for when the nonlinear resonator can be entangled with the ultra-strongly coupled system, which is the mechanism that allows us to project the ground state of the ultra-strongly coupled system into a non-energy eigenstate.


title: Manifestations of the $a^0_0(980)-f_0(980)$ mixing in $D^0\to K^0_S\pi^+\pi^-$ and $D^0\to K^0_S\eta\pi^0$ decays

abstract: Possible manifestations of the isospin-breaking mixing of the $a^0_0(980)$ and $f_0(980)$ resonances are analyzed in the $D^0\to K^0_S \pi^+\pi^-$ and $D^0\to K^0_S\eta\pi^0$ decays. It is shown that the $a^0_0(980)-f_0(980)$ mixing has the most influence on the $\pi^+\pi^-$ mass spectrum in the decay $D^0\to K^0_S\pi^+\pi^-$. Owing to the $a^0_0(980)-f_0(980)$ mixing, the $f_0(980)$ peak in $D^0 \to K^0_Sf_0(980)\to K^0_S \pi^+\pi^-$ can experience distortions comparable with its size. The effect essentially depends on the relative phase between the amplitudes of the $D^0\to K^0_Sf_0(980)$ and $D^0\to K^0_Sa^0_0(980)$ transitions.


title: Continual Learning with Deep Generative Replay

abstract: Attempts to train a comprehensive artificial intelligence capable of solving multiple tasks have been impeded by a chronic problem called catastrophic forgetting. Although simply replaying all previous data alleviates the problem, it requires large memory and even worse, often infeasible in real world applications where the access to past data is limited. Inspired by the generative nature of hippocampus as a short-term memory system in primate brain, we propose the Deep Generative Replay, a novel framework with a cooperative dual model architecture consisting of a deep generative model ("generator") and a task solving model ("solver"). With only these two models, training data for previous tasks can easily be sampled and interleaved with those for a new task. We test our methods in several sequential learning settings involving image classification tasks.


title: General Algorithmic Search

abstract: In this paper we present a metaheuristic for global optimization called General Algorithmic Search (GAS). Specifically, GAS is a stochastic, single-objective method that evolves a swarm of agents in search of a global extremum. Numerical simulations with a sample of 31 test functions show that GAS outperforms Basin Hopping, Cuckoo Search, and Differential Evolution, especially in concurrent optimization, i.e., when several runs with different initial settings are executed and the first best wins. Python codes of all algorithms and complementary information are available online.


title: Synthesizing Weyl semimetals in weak topological insulator and topological crystalline insulator multilayers

abstract: We propose a different route to time-reversal invariant Weyl semimetals employing multilayer heterostructures comprising ordinary "trivial" insulators and nontrivial insulators with \textit{pairs} of protected Dirac cones on the surface. We consider both the case of weak topological insualtors, where surface Dirac cones are pinned to time-reversal invariant momenta, and of topological crystalline insulators with unpinned surface Dirac cones. For both realizations we explain phenomenologically how the proposed construction leads to the emergence of a Weyl semimetal phase. We further formulate effective low-energy models for which we prove the existence of semimetallic phases with four isolated Weyl points. Finally, we discuss how the proposed design can be realized experimentally with state-of-the-art technologies.


title: Boundedness in forced isochronous oscillators

abstract: In this paper we are concerned with the boundedness of all solutions for the forced isochronous oscillator $$x''+V'(x)+g(x)=f(t),$$ where $V$ is a so-called $T$-isochronous potential, the perturbation $g$ is assumed to be bounded, and the $2\pi$-periodic function $f(t)$ is smooth. Using the resonant small twist theorem and averaged small twist theorem established by Ortega, we will prove the boundedness of all solutions for the above forced isochronous oscillator in the resonant and non-resonant cases under some reasonable assumptions, respectively.


title: Studies of a general flat space/boson star transition model in a box through a language similar to holographic superconductors

abstract: We study a general flat space/boson star transition model in quasi-local ensemble through approaches familiar from holographic superconductor theories. We manage to find a parameter $\psi_{2}$, which is proved to be useful in disclosing properties of phase transitions. In this work, we explore effects of the scalar mass, scalar charge and St$\ddot{u}$ckelberg mechanism on the critical phase transition points and the order of transitions mainly from behaviors of the parameter $\psi_{2}$. We mention that properties of transitions in quasi-local gravity are strikingly similar to those in holographic superconductor models. We also obtain an analytical relation $\psi_{2}\varpropto(\mu-\mu_{c})^{1/2}$, which also holds for the condensed scalar operator in the holographic insulator/superconductor system in accordance with mean field theories.


title: Stochastic Sequential Neural Networks with Structured Inference

abstract: Unsupervised structure learning in high-dimensional time series data has attracted a lot of research interests. For example, segmenting and labelling high dimensional time series can be helpful in behavior understanding and medical diagnosis. Recent advances in generative sequential modeling have suggested to combine recurrent neural networks with state space models (e.g., Hidden Markov Models). This combination can model not only the long term dependency in sequential data, but also the uncertainty included in the hidden states. Inheriting these advantages of stochastic neural sequential models, we propose a structured and stochastic sequential neural network, which models both the long-term dependencies via recurrent neural networks and the uncertainty in the segmentation and labels via discrete random variables. For accurate and efficient inference, we present a bi-directional inference network by reparamterizing the categorical segmentation and labels with the recent proposed Gumbel-Softmax approximation and resort to the Stochastic Gradient Variational Bayes. We evaluate the proposed model in a number of tasks, including speech modeling, automatic segmentation and labeling in behavior understanding, and sequential multi-objects recognition. Experimental results have demonstrated that our proposed model can achieve significant improvement over the state-of-the-art methods.


title: Generation of polarization squeezed light with an optical parametric amplifier at 795 nm

abstract: We report the experimental demonstration of polarization squeezed beam at 795 nm by combining a quadrature squeezed beam with a coherent beam. The quadrature squeezed beam is generated by a degenerate optical parametric amplifier based on a PPKTP crystal. Stokes parameter squeezing of -3.8 dB and anti squeezing of +5.0 dB is observed. This polarization squeezed beam resonant to rubidium D1 line has potential applications in quantum information networks and precise measurement beyond the shot noise limit.


title: Interfacial Mechanical Behaviors in Carbon Nanotube Assemblies

abstract: Interface widely exists in carbon nanotube (CNT) assembly materials, taking place at different length scales. It determines severely the mechanical properties of these assembly materials. Here I assess the mechanical properties of individual CNTs and CNT bundles, the inter-layer or inter-shell mechanics in multi-walled CNTs, the shear properties between adjacent CNTs, and the assembly-dependent mechanical and multifunctional properties of macroscopic CNT fibers and films.


title: Optical properties of self-similar structure in Lemaitre-Tolman-Bondi model

abstract: We explore the effects coming from the nested structures on propagation of radial light rays going through them in the simple self-similar configuration containing pairs of voids and overdense regions. Each pair can be described with the Lemaitre-Tolman-Bondi metric and is composed of interior dust ball and exterior Schwarzschild region. A relation between the redshift and amount of nested pairs is studied numerically in order to answer a question whether a strong relativistic effect can be obtained when every component of the structure can be described by the weak field approximation of general relativity.


title: Tree-Structured Modelling of Varying Coefficients

abstract: The varying-coefficient model is a strong tool for the modelling of interactions in generalized regression. It is easy to apply if both the variables that are modified as well as the effect modifiers are known. However, in general one has a set of explanatory variables and it is unknown which variables are modified by which covariates. A recursive partitioning strategy is proposed that is able to deal with the complex selection problem. The tree-structured modelling yields for each covariate, which is modified by other variables, a tree that visualizes the modified effects. The performance of the method is investigated in simulations and two applications illustrate its usefulness.


title: Application of transfer matrix and transfer function analysis to grating-type dielectric laser accelerators: ponderomotive focusing of electrons

abstract: The question of suitability of transfer matrix description of electrons traversing grating-type dielectric laser acceleration (DLA) structures is addressed. It is shown that although matrix considerations lead to interesting insights, the basic transfer properties of DLA cells cannot be described by a matrix. A more general notion of a transfer function is shown to be a simple and useful tool for formulating problems of particle dynamics in DLA. As an example, a focusing structure is proposed which works simultaneously for all electron phases.


title: Fermion propagator in an external potential and generalized Airy functions

abstract: We study the behavior of the fermion propagator in an external time dependent potential in 0+1 dimension. We show that, when the potential has upto quadratic terms in time, the propagator can be expressed in terms of generalized Airy functions (or standard Airy functions depending on the exact time dependence). We study various properties of these new generalized functions which reduce to the standard Airy functions in a particular limit.


title: Effect of magnetic nanoparticles on the nematic-smectic-A phase transition

abstract: Recent experiments on mixed liquid crystals have highlighted the hugely significant role of ferromagnetic nanoparticle impurities in defining the nematic-smectic-A phase transition point. Structured around a Flory-Huggins free energy of isotropic mixing and Landau-de Gennes free energy, this article presents a phenomenological mean-field model that quantifies the role of such impurities in analyzing thermodynamic phases, in a mixture of thermotropic smectic liquid crystal and ferromagnetic nanoparticles. First we discuss the impact of ferromagnetic nanoparticles on the isotropic-ferronematic and ferronematic-ferrosmectic phase transitions and their transition temperatures. This is followed by analysis of various topologies in the phase diagrams. Our model results indicate that there exists a critical concentration of nanoparticle impurities for which the second order N-SmA transition becomes first order at a tricritical point. Calculations based on this model show remarkable agreement with experiment.


title: Modelling polarized light from dust shells surrounding asymptotic giant branch stars

abstract: Winds of asymptotic giant branch (AGB) stars are commonly assumed to be driven by radiative acceleration of dust grains. For M-type AGB stars, the nature of the wind-driving dust species has been a matter of intense debate. A proposed source of the radiation pressure triggering the outflows is photon scattering on Fe-free silicate grains. This wind-driving mechanism requires grain radii of about 0.1 - 1 micron in order to make the dust particles efficient at scattering radiation around the stellar flux maximum. Grain size is therefore an important parameter for understanding the physics behind the winds of M-type AGB stars. We seek to investigate the diagnostic potential of scattered polarized light for determining dust grain sizes. We have developed a new tool for computing synthetic images of scattered light in dust and gas shells around AGB stars, which can be applied to detailed models of dynamical atmospheres and dust-driven winds. We present maps of polarized light using dynamical models computed with the DARWIN code. The synthetic images clearly show that the intensity of the polarized light, the position of the inner edge of the dust shell, and the size of the dust grains near the inner edge are all changing with the luminosity phase. Non-spherical structures in the dust shells can also have an impact on the polarized light. We simulate this effect by combining different pulsation phases into a single 3D structure before computing synthetic images. An asymmetry of the circumstellar envelope can create a net polarization, which can be used as diagnostics for the grain size. The ratio between the size of the scattering particles and the observed wavelength determines at what wavelengths net polarization switches direction. If observed, this can be used to constrain average particle sizes.


title: Adhesion Properties of Hydrogen on Sb(111) Probed by Helium Atom Scattering

abstract: We have carried out a series of helium atom scattering measurements in order to characterise the adsorption properties of hydrogen on antimony(111). Molecular hydrogen does not adsorb at temperatures above 110 K in contrast to pre-dissociated atomic hydrogen. Depending on the substrate temperature, two different adlayer phases of atomic hydrogen on Sb(111) occur. At low substrate temperatures ($110~$K), the deposited hydrogen layer does not show any ordering while we observe a perfectly ordered $(1\times 1)$ H/Sb(111) structure for deposition at room temperature. Furthermore, the amorphous hydrogen layer deposited at low temperature forms an ordered overlayer upon heating the crystal to room temperature. Hydrogen starts to desorb at $T_m = 430~$K which corresponds to a desorption energy of $E_{des}=(1.33\pm0.06)~$eV. Using measurements of the helium reflectivity during hydrogen exposure at different surface temperatures, we conclude that the initial sticking coefficient of atomic hydrogen on Sb(111) decreases with increasing surface temperature. Furthermore, the scattering cross section for the diffuse scattering of helium from hydrogen on Sb(111) is determined as $\Sigma = (12 \pm 1)~\mbox{\AA}^{2}$.


title: Novel Universality Classes in Ferroelectric Liquid Crystals

abstract: Starting from a Langevin formulation of a thermally perturbed nonlinear elastic model of the ferroelectric smectic-C$^*$ (SmC${*}$) liquid crystals in the presence of an electric field, this article characterizes the hitherto unexplored dynamical phase transition from a thermo-electrically forced ferroelectric SmC${}^{*}$ phase to a chiral nematic liquid crystalline phase and vice versa. The theoretical analysis is based on a combination of dynamic renormalization (DRG) and numerical simulation of the emergent model. While the DRG architecture predicts a generic transition to the Kardar-Parisi-Zhang (KPZ) universality class at dynamic equilibrium, in agreement with recent experiments, the numerical simulations of the model show simultaneous existence of two phases, one a "subdiffusive" (SD) phase characterized by a dynamical exponent value of 1, and the other a KPZ phase, characterized by a dynamical exponent value of 1.5. The SD phase flows over to the KPZ phase with increased external forcing, offering a new universality paradigm, hitherto unexplored in the context of ferroelectric liquid crystals.


title: The de Bruijn-Erd\"os-Hanani theorem

abstract: The paper is devoted to a somewhat idiosyncratic account of the theorem of de Bruijn-Erd\"{o}s and Hanani from the combinatorics of finite geometries and its various proofs. Among the proofs discussed are the original proofs by de Bruijn--Erd\"{o}s and Hanani and few others. It is explained how one of the proofs was discovered, and how another one could have been discovered.


title: Inclusive Flavour Tagging Algorithm

abstract: Identifying the flavour of neutral $B$ mesons production is one of the most important components needed in the study of time-dependent $CP$ violation. The harsh environment of the Large Hadron Collider makes it particularly hard to succeed in this task. We present an inclusive flavour-tagging algorithm as an upgrade of the algorithms currently used by the LHCb experiment. Specifically, a probabilistic model which efficiently combines information from reconstructed vertices and tracks using machine learning is proposed. The algorithm does not use information about underlying physics process. It reduces the dependence on the performance of lower level identification capacities and thus increases the overall performance. The proposed inclusive flavour-tagging algorithm is applicable to tag the flavour of $B$ mesons in any proton-proton experiment.


title: SNMP for Common Lisp

abstract: Simple Network Management Protocol (SNMP) is widely used for management of Internet-based network today. In Lisp community, there're large Lisp-based applications which may need be monitored, and there're Lispers who may need to monitor other remote systems which are either Lisp-based or not. However, the relationship between Lisp and SNMP haven't been studied enough during past 20 years. The cl-net-snmp project has developed a new Common Lisp package which implemented the SNMP protocol. On client side, it can be used to query remote SNMP peers, and on server side, it brings SNMP capability into Common Lisp based applications, which could be monitored from remote through any SNMP-based management system. It's also a flexible platform for researches on network management and SNMP itself. But the most important, this project tries to prove: Common Lisp is the most fit language to implement SNMP. Different from other exist SNMP projects on Common Lisp, cl-net-snmp is clearly targeted on full SNMP protocol support include SNMPv3 and server-side work (agent). During the development, an general ASN.1 compiler and runtime package and an portable UDP networking package are also implemented, which would be useful for other related projects. In this paper, the author first introduces the SNMP protocol and a quick tutorial of cl-net-snmp on both client and server sides, and then the Lisp native design and the implementation details of the ASN.1 and SNMP package, especially the "code generation"' approach on compiling SNMP MIB definitions from ASN.1 into Common Lisp.


title: V2X Meets NOMA: Non-Orthogonal Multiple Access for 5G Enabled Vehicular Networks

abstract: Benefited from the widely deployed infrastructure, the LTE network has recently been considered as a promising candidate to support the vehicle-to-everything (V2X) services. However, with a massive number of devices accessing the V2X network in the future, the conventional OFDM-based LTE network faces the congestion issues due to its low efficiency of orthogonal access, resulting in significant access delay and posing a great challenge especially to safety-critical applications. The non-orthogonal multiple access (NOMA) technique has been well recognized as an effective solution for the future 5G cellular networks to provide broadband communications and massive connectivity. In this article, we investigate the applicability of NOMA in supporting cellular V2X services to achieve low latency and high reliability. Starting with a basic V2X unicast system, a novel NOMA-based scheme is proposed to tackle the technical hurdles in designing high spectral efficient scheduling and resource allocation schemes in the ultra dense topology. We then extend it to a more general V2X broadcasting system. Other NOMA-based extended V2X applications and some open issues are also discussed.


title: From cold Fermi fluids to the hot QGP

abstract: Strongly coupled quantum fluids are found in different forms, including ultracold Fermi gases or tiny droplets of extremely hot Quark-Gluon Plasma. Although the systems differ in temperature by many orders of magnitude, they exhibit a similar almost inviscid fluid dynamical behavior. In this work, we summarize some of the recent theoretical developments toward better understanding this property in cold Fermi gases at and near unitarity.


title: Non-orthogonal Multiple Access for High-reliable and Low-latency V2X Communications

abstract: In this paper, we consider a dense vehicular communication network where each vehicle broadcasts its safety information to its neighborhood in each transmission period. Such applications require low latency and high reliability, and thus, we propose a non-orthogonal multiple access scheme to reduce the latency and to improve the packet reception probability. In the proposed scheme, the BS performs the semi-persistent scheduling to optimize the time scheduling and allocate frequency resources in a non-orthogonal manner while the vehicles autonomously perform distributed power control. We formulate the centralized scheduling and resource allocation problem as equivalent to a multi-dimensional stable roommate matching problem, in which the users and time/frequency resources are considered as disjoint sets of players to be matched with each other. We then develop a novel rotation matching algorithm, which converges to a q-exchange stable matching after a limited number of iterations. Simulation results show that the proposed scheme outperforms the traditional orthogonal multiple access scheme in terms of the latency and reliability.


title: Unusual coexistence of negative/positive charge-transfer in mixed-valence Na$_x$Ca$_{1-x}$Cr$_2$O$_4$

abstract: We have investigated the electronic structure of Na$_x$Ca$_{1-x}$Cr$_2$O$_4$ using x-ray absorption spectroscopy together with Anderson impurity model calculations with full multiplets. We show Na$_x$Ca$_{1-x}$Cr$_2$O$_4$ taking a novel mixed-valence electronic state in which the positive charge-transfer (CT) and the negative self-doped states coexist. While CaCr$_2$O$_4$ (one end member) exhibits a typical CT nature with strong covalent character, Na substitution causes a self-doped state with an oxygen hole. In NaCr$_2$O$_4$ (the other end member), positive CT and negative self-doped states coexist with equal weight. This unusual electronic state is in sharp contrast to the conventional mixed-valence description, in which the ground state can be described by the mixture of Cr$^{3+}$ ($3d^3$) and Cr$^{4+}$ ($3d^2$).


title: Spatial flocking: Control by speed, distance, noise and delay

abstract: Fish, birds, insects and robots frequently swim or fly in groups. During their 3 dimensional collective motion, these agents do not stop, they avoid collisions by strong short-range repulsion, and achieve group cohesion by weak long-range attraction. In a minimal model that is isotropic, and continuous in both space and time, we demonstrate that (i) adjusting speed to a preferred value, combined with (ii) radial repulsion and an (iii) effective long-range attraction are sufficient for the stable ordering of autonomously moving agents in space. Our results imply that beyond these three rules ordering in space requires no further rules, for example, explicit velocity alignment, anisotropy of the interactions or the frequent reversal of the direction of motion, friction, elastic interactions, sticky surfaces, a viscous medium, or vertical separation that prefers interactions within horizontal layers. Noise and delays are inherent to the communication and decisions of all moving agents. Thus, next we investigate their effects on ordering in the model. First, we find that the amount of noise necessary for preventing the ordering of agents is not sufficient for destroying order. In other words, for realistic noise amplitudes the transition between order and disorder is rapid. Second, we demonstrate that ordering is more sensitive to displacements caused by delayed interactions than to uncorrelated noise (random errors). Third, we find that with changing interaction delays the ordered state disappears at roughly the same rate, whereas it emerges with different rates. In summary, we find that the model discussed here is simple enough to allow a fair understanding of the modeled phenomena, yet sufficiently detailed for the description and management of large flocks with noisy and delayed interactions. Our code is available at http://github.com/fij/floc


title: On the error term of a lattice counting problem

abstract: We improve the error terms of some estimates related to counting lattices from recent work of L. Fukshansky, P. Guerzhoy and F. Luca (2017). This improvement is based on some analytic techniques, in particular on bounds of exponential sums coupled with the use of Vaaler polynomials.


title: On path-based coalgebras and weak notions of bisimulation

abstract: It is well known that the theory of coalgebras provides an abstract definition of behavioural equivalence that coincides with strong bisimulation across a wide variety of state-based systems. Unfortunately, the theory in the presence of so-called silent actions is not yet fully developed. In this paper, we give a coalgebraic characterisation of branching bisimulation in the context of labelled transition systems and fully probabilistic systems. It is shown that recording executions (up to a notion of stuttering), rather than the set of successor states, from a state is sufficient to characterise branching bisimulation in both cases.


title: An experimental study of graph-based semi-supervised classification with additional node information

abstract: The volume of data generated by internet and social networks is increasing every day, and there is a clear need for efficient ways of extracting useful information from them. As those data can take different forms, it is important to use all the available data representations for prediction. In this paper, we focus our attention on supervised classification using both regular plain, tabular, data and structural information coming from a network structure. 14 techniques are investigated and compared in this study and can be divided in three classes: the first one uses only the plain data to build a classification model, the second uses only the graph structure and the last uses both information sources. The relative performances in these three cases are investigated. Furthermore, the effect of using a graph embedding and well-known indicators in spatial statistics is also studied. Possible applications are automatic classification of web pages or other linked documents, of people in a social network or of proteins in a biological complex system, to name a few. Based on our comparison, we draw some general conclusions and advices to tackle this particular classification task: some datasets can be better explained by their graph structure (graph-driven), or by their feature set (features-driven). The most efficient methods are discussed in both cases.


title: Role of work in matter exchange between finite quantum systems

abstract: Close to equilibrium, the exchange of particles and heat between macroscopic systems at different temperatures and different chemical potentials is known to be governed by a matrix of transport coefficients which is positive and symmetric. We investigate the amounts of heat and particles that are exchanged between two small quantum systems within a given time, and find them characterized by a transport matrix which neither needs to be symmetric nor positive. At larger times even spontaneous transport can be observed in the total absence of temperature and chemical potential differences provided that the two systems are different in size. All these deviations from standard transport behavior can be attributed to the fact that work is done on the system in the processes contacting and separating those parts of the system that initially possess different temperatures and chemical potentials. The standard transport properties are recovered for vanishing work and also in the limit of large systems and sufficiently large contact times. The general results are illustrated by an example.


title: Emergence of clusters: Halos, Efimov states, and experimental signals

abstract: We investigate emergence of halos and Efimov states in nuclei by use of a newly designed model which combines self-consistent mean-field and three-body descriptions. Recent interest in neutron heavy calcium isotopes makes $^{72}$Ca ($^{70}$Ca+n+n) an ideal realistic candidate on the neutron dripline, and we use it as a representative example that illustrates our broadly applicable conclusions. By smooth variation of the interactions we simulate the crossover from well-bound systems to structures beyond the threshold of binding, and find that halo-configurations emerge from the mean-field structure for three-body binding energy less than $\sim 100$keV. Strong evidence is provided that Efimov states cannot exist in nuclei. The structure that bears the most resemblance to an Efimov state is a giant halo extending beyond the neutron-core scattering length. We show that the observable large-distance decay properties of the wave function can differ substantially from the bulk part at short distances, and that this evolution can be traced with our combination of few- and many-body formalisms. This connection is vital for interpretation of measurements such as those where an initial state is populated in a reaction or by a beta-decay.


title: The Degree of the Tangent and Secant Variety to a Projective Surface

abstract: In this paper we present a way of computing the degree of the secant (resp., tangent) variety of a smooth projective surface, under the assumption that the divisor giving the embedding in the projective space is $3$-very ample. This method exploits the link between these varieties and the Hilbert scheme $0$-dimensional subschemes of length $2$ of the surface.


title: A Bag-of-Paths Node Criticality Measure

abstract: This work compares several node (and network) criticality measures quantifying to which extend each node is critical with respect to the communication flow between nodes of the network, and introduces a new measure based on the Bag-of-Paths (BoP) framework. Network disconnection simulation experiments show that the new BoP measure outperforms all the other measures on a sample of Erdos-Renyi and Albert-Barabasi graphs. Furthermore, a faster (still O(n^3)), approximate, BoP criticality relying on the Sherman-Morrison rank-one update of a matrix is introduced for tackling larger networks. This approximate measure shows similar performances as the original, exact, one.


title: Response to the Comment on "Paradox of Photons Disconnected Trajectories Being Located by Means of "Weak Measurements" in the Nested Mach-Zehnder Interferometer" (JETP Letters 105, 152 (2017))

abstract: In [JETP Lett. 105(3), 152 (2017)], a clear and comprehensive analysis of the paradoxical results of experiment [Phys. Rev. Lett. 111, 240402 (2013)] was carried out on the basis of the classical wave theory of light, which presupposes the continuity of possible of light paths. It was shown that the paradoxical results of the experiment are due not to the discontinuity of the trajectories of light, as claimed in [Phys. Rev. Lett. 111, 240402 (2013)], but to the used way of detecting the path of photons. The experiment modification proposed in [JETP Lett. 105(3), 152 (2017)] allows us to eliminate the seeming discontinuity of the light trajectories. In Comment [arXiv:1705.02137 (2017)] to the article such modification is declared unreasonable. This Response to the Comment shows that this statement is not based on clear and logical arguments. Instead, it is only asserted that the proposed modification "violates the faithfulness indication of the trace" of photons. Therefore, the Comment's criticism can not be considered as well-founded. Consequently, the conclusion of [JETP Lett. 105(3), 152 (2017)] that a new concept of disconnected trajectories proposed by the authors of work [Phys. Rev. Lett. 111, 240402 (2013)] is unnecessary, remains valid.


title: Open-Category Classification by Adversarial Sample Generation

abstract: In real-world classification tasks, it is difficult to collect training samples from all possible categories of the environment. Therefore, when an instance of an unseen class appears in the prediction stage, a robust classifier should be able to tell that it is from an unseen class, instead of classifying it to be any known category. In this paper, adopting the idea of adversarial learning, we propose the ASG framework for open-category classification. ASG generates positive and negative samples of seen categories in the unsupervised manner via an adversarial learning strategy. With the generated samples, ASG then learns to tell seen from unseen in the supervised manner. Experiments performed on several datasets show the effectiveness of ASG.


title: Turbulent jet simulation using high-order DG methods for aeroacoustics analysis

abstract: In this work, a high-order discontinuous Galerkin (DG) method is used to perform a large-eddy simulation (LES) of a subsonic isothermal jet at high Reynolds number Re D = 10^6 on a fully un-structured mesh. Its radiated acoustic field is computed using the Ffowcs Williams and Hawkings formulation. In order to assess the accuracy of the DG method, the simulation results are compared to experimental measurements and a reference simulation based on a finite volume method. The comparisons are made on the flow quantities (mean, rms and spectra) and pressure far field (rms and spectra).


title: Haj\'os' cycle conjecture for small graphs

abstract: Haj\'os' conjecture states that an Eulerian graph of order n can be decomposed into at most (n-1)/2 edge-disjoint cycles. We describe preprocessing steps, heuristics and integer programming techniques that enable us to verify Haj\'os' conjecture for all Eulerian graphs with up to twelve nodes.


title: Cold and warm electrons at comet 67P

abstract: Strong electron cooling on the neutral gas in cometary comae has been predicted for a long time, but actual measurements of low electron temperature are scarce. We present in situ measurements of plasma density, electron temperature and spacecraft potential by the Rosetta Langmuir probe instrument, LAP. Data acquired within a few hundred km from the nucleus are dominated by a warm component with electron temperature typically 5--10 eV at all heliocentric distances covered (1.25 to 3.83 AU). A cold component, with temperature no higher than about 0.1 eV, appears in the data as short (few to few tens of seconds) pulses of high probe current, indicating local enhancement of plasma density as well as a decrease in electron temperature. These pulses first appeared around 3 AU and were seen for longer periods close to perihelion. The general pattern of pulse appearance follows that of neutral gas and plasma density. We have not identified any periods with only cold electrons present. The electron flux to Rosetta was always dominated by higher energies, driving the spacecraft potential to order -10 V. The warm (5--10 eV) electron population is interpreted as electrons retaining the energy they obtained when released in the ionisation process. The sometimes observed cold populations with electron temperatures below 0.1 eV verify collisional cooling in the coma. The cold electrons were only observed together with the warm population. The general appearance of the cold population appears to be consistent with a Haser-like model, implicitly supporting also the coupling of ions to the neutral gas. The expanding cold plasma is unstable, forming filaments that we observe as pulses.


title: The fluid running in the subnanochannel with functional surface

abstract: We have researched the motion of gas in the subnanochannel with functional surface which wettability has a gradient for the fluid by using molecular dynamics simulation. The results show that the gas is driven to flow under a single heat source and without any other work or energy applied to the system. The driving source is owed to the potential gradient of the functional face which keeps the fluid running in the subnanochannel. The width of the channel and the pressure of the reservoir has a significant influence on the flow velocity, which, respectively, has an optimal value for the maximum velocity. The flow velocity grows with the increasing temperature.


title: Dipolar confinement-induced molecular states in harmonic waveguides

abstract: The bound states of two identical dipoles in a harmonic waveguide are investigated. In the regime of weak dipole-dipole interactions, the local frame transformation (LFT) method is applied to determine the spectrum of dipolar confinement-induced bound states analytically. The accuracy of the LFT approach is discussed by comparing the analytical results with the numerical ones based on a solution of the close-coupling equations. It is found that close to the threshold energy in the waveguide, the LFT method needs to include more partial wave states to obtain accurate bound state energies. As the binding energy increases, the LFT method using a single partial wave state becomes more accurate. We also compare the bound states in waveguides and in free space. For the bosonic case, the s-wave dominated bound state looks like a free-space state when its energy is below a certain value. For the fermionic case, the p-wave dominated bound state energies in waveguides and in free-space coincide even close to zero energy.


title: Synthetic IRIS spectra of the solar transition region: Effect of high-energy tails

abstract: The solar transition region satisfies the conditions for presence of non-Maxwellian electron energy distributions with high-energy tails at energies corresponding to the ionization potentials of many ions emitting in the EUV and UV portions of the spectrum. We calculate the synthetic Si IV, O IV, and S IV spectra in the far ultra-violet (FUV) channel of the Interface Region Imaging Spectrograph (IRIS). Ionization, recombination, and excitation rates are obtained by integration of the cross-sections or their approximations over the model electron distributions considering particle propagation from the hotter corona. The ionization rates are significantly affected by the presence of high-energy tails. This leads to the peaks of the relative abundance of individual ions to be broadened with pronounced low-temperature shoulders. As a result, the contribution functions of individual lines observable by IRIS also exhibit low-temperature shoulders, or their peaks are shifted to temperatures an order of magnitude lower than for the Maxwellian distribution. The integrated emergent spectra can show enhancements of Si IV compared toO IV by more than a factor of two. The high-energy particles can have significant impact on the emergent spectra and their presence needs to be considered even in situations without strong local acceleration.


title: Crossed products of operator algebras: applications of Takai duality

abstract: Let $(\mathcal G, \Sigma)$ be an ordered abelian group with Haar measure $\mu$, let $(\mathcal A, \mathcal G, \alpha)$ be a dynamical system and let $\mathcal A\rtimes_{\alpha} \Sigma $ be the associated semicrossed product. Using Takai duality we establish a stable isomorphism \[ \mathcal A\rtimes_{\alpha} \Sigma \sim_{s} \big(\mathcal A \otimes \mathcal K(\mathcal G, \Sigma, \mu)\big)\rtimes_{\alpha\otimes {\rm Ad}\: \rho} \mathcal G, \] where $\mathcal K(\mathcal G, \Sigma, \mu)$ denotes the compact operators in the CSL algebra ${\rm Alg}\:\mathcal L(\mathcal G, \Sigma, \mu)$ and $\rho$ denotes the right regular representation of $\mathcal G$. We also show that there exists a complete lattice isomorphism between the $\hat{\alpha}$-invariant ideals of $\mathcal A\rtimes_{\alpha} \Sigma$ and the $(\alpha\otimes {\rm Ad}\: \rho)$-invariant ideals of $\mathcal A \otimes \mathcal K(\mathcal G, \Sigma, \mu)$. Using Takai duality we also continue our study of the Radical for the crossed product of an operator algebra and we solve open problems stemming from the earlier work of the authors. Among others we show that the crossed product of a radical operator algebra by a compact abelian group is a radical operator algebra. We also show that the permanence of semisimplicity fails for crossed products by $\mathbb R$. A final section of the paper is devoted to the study of radically tight dynamical systems, i.e., dynamical systems $(\mathcal A, \mathcal G, \alpha)$ for which the identity ${\rm Rad}(\mathcal A \rtimes_\alpha \mathcal G)=({\rm Rad}\:\mathcal A) \rtimes_\alpha \mathcal G$ persists. A broad class of such dynamical systems is identified.


title: On Patterns and Re-Use in Bioinformatics Databases

abstract: As the quantity of data being depositing into biological databases continues to increase, it becomes ever more vital to develop methods that enable us to understand this data and ensure that the knowledge is correct. It is widely-held that data percolates between different databases, which causes particular concerns for data correctness; if this percolation occurs, incorrect data in one database may eventually affect many others while, conversely, corrections in one database may fail to percolate to others. In this paper, we test this widely-held belief by directly looking for sentence reuse both within and between databases. Further, we investigate patterns of how sentences are reused over time. Finally, we consider the limitations of this form of analysis and the implications that this may have for bioinformatics database design. We show that reuse of annotation is common within many different databases, and that also there is a detectable level of reuse between databases. In addition, we show that there are patterns of reuse that have previously been shown to be associated with percolation errors.


title: Kronecker Product Least Squares

abstract: In this rather brief note we present and discuss techniques for solving Kronecker matrix product least squares problems. Our main contribution is an iterative approach that uses the efficient Kronecker matrix-vector multiplication strategy (Fernandes et al. 1998) with a conjugate gradient solver. Numerical results contrast this approach---in terms of running times and accuracy---against the direct approach.


title: A Lattice Inspired Model for Monopole Dynamics

abstract: The site-reduction of U(1) lattice gauge theory along the spatial directions is used to model the monopole dynamics. The reduced theory is that of the angle-valued coordinates on the discrete worldline. Below the critical coupling $g_{c}=1.125$ and temperature $T_c=0.335$ the model exhibits a first order phase transition. It is argued that the phase structure matches with the proposed role for magnetic monopoles in the confinement mechanism based on the dual Meissner effect.


title: Traffic Profiling for Mobile Video Streaming

abstract: This paper describes a novel system that provides key parameters of HTTP Adaptive Streaming (HAS) sessions to the lower layers of the protocol stack. A non-intrusive traffic profiling solution is proposed that observes packet flows at the transmit queue of base stations, edge-routers, or gateways. By analyzing IP flows in real time, the presented scheme identifies different phases of an HAS session and estimates important application-layer parameters, such as play-back buffer state and video encoding rate. The introduced estimators only use IP-layer information, do not require standardization and work even with traffic that is encrypted via Transport Layer Security (TLS). Experimental results for a popular video streaming service clearly verify the high accuracy of the proposed solution. Traffic profiling, thus, provides a valuable alternative to cross-layer signaling and Deep Packet Inspection (DPI) in order to perform efficient network optimization for video streaming.


title: Inertial migration in dilute and semi-dilute suspensions of rigid particles in laminar square duct flow

abstract: We study the inertial migration of finite-size neutrally buoyant spherical particles in dilute and semi-dilute suspensions in laminar square duct flow. We perform several direct numerical simulations using an immersed boundary method to investigate the effects of the bulk Reynolds number $Re_b$, particle Reynolds number $Re_p$ and duct to particle size ratio $h/a$ at different solid volume fractions $\phi$, from very dilute conditions to $20\%$. We show that the bulk Reynolds number $Re_b$ is the key parameter in inertial migration of particles in dilute suspensions. At low solid volume fraction ($\phi=0.4\%$) and low bulk Reynolds number $(Re_b= 144)$, particles accumulate at the center of the duct walls. As $Re_b$ is increased, the focusing position moves progressively towards the corners of the duct. At higher volume fractions, $\phi=5, 10$ and $20\%$, and in wider ducts with $Re_b=550$, particles are found to migrate away from the duct core towards the walls. In particular, for $\phi=5$ and $10\%$, particles accumulate preferentially at the corners. At the highest volume fraction considered, $\phi=20\%$, particles sample all the volume of the duct, with a lower concentration at the duct core. The presence of particles induces secondary cross-stream motions in the duct cross-section, for all $\phi$. The intensity of these secondary flows depends strongly on particle rotation rate, on the maximum concentration of particles in focusing positions, and on the solid volume fraction. We find that the secondary flow intensity increases with the volume fraction up to $\phi=5\%$. However, beyond $\phi=5\%$ excluded volume effects lead to a strong reduction of cross-stream velocities.


title: Weighted Poisson-Delaunay Mosaics

abstract: Slicing a Voronoi tessellation in $\mathbb{R}^n$ with a $k$-plane gives a $k$-dimensional weighted Voronoi tessellation, also known as power diagram or Laguerre tessellation. Mapping every simplex of the dual weighted Delaunay mosaic to the radius of the smallest empty circumscribed sphere whose center lies in the $k$-plane gives a generalized discrete Morse function. Assuming the Voronoi tessellation is generated by a Poisson point process in $\mathbb{R}^n$, we study the expected number of simplices in the $k$-dimensional weighted Delaunay mosaic as well as the expected number of intervals of the Morse function, both as functions of a radius threshold. As a byproduct, we obtain a new proof for the expected number of connected components (clumps) in a line section of a circular Boolean model in $\mathbb{R}^n$


title: Non-Stationary Spectral Kernels

abstract: We propose non-stationary spectral kernels for Gaussian process regression. We propose to model the spectral density of a non-stationary kernel function as a mixture of input-dependent Gaussian process frequency density surfaces. We solve the generalised Fourier transform with such a model, and present a family of non-stationary and non-monotonic kernels that can learn input-dependent and potentially long-range, non-monotonic covariances between inputs. We derive efficient inference using model whitening and marginalized posterior, and show with case studies that these kernels are necessary when modelling even rather simple time series, image or geospatial data with non-stationary characteristics.


title: Slow dynamics for the hyperbolic Cahn-Hilliard equation in one space dimension

abstract: The aim of this paper is to study the metastable properties of the solutions to a hyperbolic relaxation of the classic Cahn-Hilliard equation in one space dimension, subject to either Neumann or Dirichlet boundary conditions. To perform this goal, we make use of an "energy approach", already proposed for various evolution PDEs, including the Allen-Cahn and the Cahn-Hilliard equations. In particular, we shall prove that certain solutions maintain a {\it $N$-transition layer structure} for a very long time, thus proving their metastable dynamics. More precisely, we will show that, for an exponentially long time, such solutions are very close to piecewise constant functions assuming only the minimal points of the potential, with a finitely number of transition points, which move with an exponentially small velocity.


title: Doppler Synthetic Aperture Radar Interferometry: A Novel SAR Interferometry for Height Mapping using Ultra-Narrowband Waveforms

abstract: This paper introduces a new and novel radar interferometry based on Doppler synthetic aperture radar (Doppler-SAR) paradigm. Conventional SAR interferometry relies on wideband transmitted waveforms to obtain high range resolution. Topography of a surface is directly related to the range difference between two antennas configured at different positions. Doppler-SAR is a novel imaging modality that uses ultra-narrowband continuous waves (UNCW). It takes advantage of high resolution Doppler information provided by UNCWs to form high resolution SAR images. We introduced the theory of Doppler-SAR interferometry. We derived interferometric phase model and develop the equations of height mapping. Unlike conventional SAR interferometry, we show that the topography of a scene is related to the difference in Doppler between two antennas configured at different velocities. While the conventional SAR interferometry uses range, Doppler and Doppler due to interferometric phase in height mapping, Doppler-SAR interferometry uses Doppler, Doppler-rate and Doppler-rate due to interferometric phase in height mapping. We demonstrate our theory in numerical simulations. Doppler-SAR interferometry offers the advantages of long-range, robust, environmentally friendly operations; low-power, low-cost, lightweight systems suitable for low-payload platforms, such as micro-satellites; and passive applications using sources of opportunity transmitting UNCW.


title: Efficient algorithm for large spectral partitions

abstract: We present an amelioration of current known algorithms for optimal spectral partitioning problems. The idea is to use the advantage of a representation using density functions while decreasing the computational time. This is done by restricting the computation to neighbourhoods of regions where the associated densities are above a certain threshold. The algorithm extends and improves known methods in the plane and on surfaces in dimension 3. It also makes possible to make some of the first computations of volumic 3D spectral partitions on sufficiently large discretizations.


title: A counterexample to Comon's conjecture

abstract: We present an example of a symmetric tensor of size $800\times 800\times 800$ which can be written a sum of $903$ simple tensors with complex entries but not as a sum of $903$ symmetric simple tensors.


title: Train longer, generalize better: closing the generalization gap in large batch training of neural networks

abstract: Background: Deep learning models are typically trained using stochastic gradient descent or one of its variants. These methods update the weights using their gradient, estimated from a small fraction of the training data. It has been observed that when using large batch sizes there is a persistent degradation in generalization performance - known as the "generalization gap" phenomena. Identifying the origin of this gap and closing it had remained an open problem. Contributions: We examine the initial high learning rate training phase. We find that the weight distance from its initialization grows logarithmically with the number of weight updates. We therefore propose a "random walk on random landscape" statistical model which is known to exhibit similar "ultra-slow" diffusion behavior. Following this hypothesis we conducted experiments to show empirically that the "generalization gap" stems from the relatively small number of updates rather than the batch size, and can be completely eliminated by adapting the training regime used. We further investigate different techniques to train models in the large-batch regime and present a novel algorithm named "Ghost Batch Normalization" which enables significant decrease in the generalization gap without increasing the number of updates. To validate our findings we conduct several additional experiments on MNIST, CIFAR-10, CIFAR-100 and ImageNet. Finally, we reassess common practices and beliefs concerning training of deep models and suggest they may not be optimal to achieve good generalization.


title: A causal approach to analysis of censored medical costs in the presence of time-varying treatment

abstract: There has recently been a growing interest in the development of statistical methods to compare medical costs between treatment groups. When cumulative cost is the outcome of interest, right-censoring poses the challenge of informative missingness due to heterogeneity in the rates of cost accumulation across subjects. Existing approaches seeking to address the challenge of informative cost trajectories typically rely on inverse probability weighting and target a net "intent-to-treat" effect. However, no approaches capable of handling time-dependent treatment and confounding in this setting have been developed to date. A method to estimate the joint causal effect of a treatment regime on cost would be of value to inform public policy when comparing interventions. In this paper, we develop a nested g-computation approach to cost analysis in order to accommodate time-dependent treatment and repeated outcome measures. We demonstrate that our procedure is reasonably robust to departures from its distributional assumptions and can provide unique insights into fundamental differences in average cost across time-dependent treatment regimes.


title: Fast algorithms for anti-distance matrices as a generalization of Boolean matrices

abstract: We show that Boolean matrix multiplication, computed as a sum of products of column vectors with row vectors, is essentially the same as Warshall's algorithm for computing the transitive closure matrix of a graph from its adjacency matrix. Warshall's algorithm can be generalized to Floyd's algorithm for computing the distance matrix of a graph with weighted edges. We will generalize Boolean matrices in the same way, keeping matrix multiplication essentially equivalent to the Floyd-Warshall algorithm. This way, we get matrices over a semiring, which are similar to the so-called "funny matrices". We discuss our implementation of operations on Boolean matrices and on their generalization, which make use of vector instructions.


abstract: The paper is devoted to the contribution in the Probability Theory of the well-known Soviet mathematician Alexander Yakovlevich Khintchine (1894-1959). Several of his results are described, in particular those fundamental results on the infinitely divisible distributions. Attention is paid also to his interaction with Paul Levy. The content of the paper is related to our joint book The Legacy of A.Ya. Khintchine's Work in Probability Theory, published in 2010 by Cambridge Scientific Publishers.


title: Remarks on Heisenberg-Euler-type electrodynamics

abstract: We consider Heisenberg-Euler-type model of nonlinear electrodynamics with two parameters. Heisenberg-Euler electrodynamics is a particular case of this model. Corrections to Coulomb's law at $r\rightarrow\infty$ are obtained and energy conditions are studied. The total electrostatic energy of charged particles is finite. The charged black hole solution in the framework of nonlinear electrodynamics is investigated. We find the asymptotic of the metric and mass functions at $r\rightarrow\infty$. Corrections to the Reissner-Nordstr\"{o}m solution are obtained.


title: A Model For Dark Matter Halos

abstract: A dark matter halo model is developed postulating a new state of matter, entities which have internal spin-like terms. Their motion in an external Schwarzschild metric is discussed. The internal spin motion contributes to the centrifugal force along with the usual orbital angular momentum term and can severely limit the distance of closest approach to the attractor. An energy-momentum tensor associated with an aggregate of them is shown to have primarily pressure-like components. A model of the spiral galaxy halos is developed which can match the observed `flat' rotation curves of some galaxies. The halo dark matter `missing mass' results from the pressure term's contribution to the metric tensor. A possible rationale for the presence of the cosmological constant is discussed. An addendum to the standard cosmology picture allows an estimate of the amount of dark matter; this is in reasonable agreement with that observed. It is possible that the adopted representation of the internal spin motion could be replaced by a boson string Lagrangian.


title: On winning shifts of marked uniform substitutions

abstract: The second author introduced with I. T\"orm\"a a two-player word-building game [Playing with Subshifts, Fund. Inform. 132 (2014), 131--152]. The game has a predetermined (possibly finite) choice sequence $\alpha_1$, $\alpha_2$, $\ldots$ of integers such that on round $n$ the player $A$ chooses a subset $S_n$ of size $\alpha_n$ of some fixed finite alphabet and the player $B$ picks a letter from the set $S_n$. The outcome is determined by whether the word obtained by concatenating the letters $B$ picked lies in a prescribed target set $X$ (a win for player $A$) or not (a win for player $B$). Typically, we consider $X$ to be a subshift. The winning shift $W(X)$ of a subshift $X$ is defined as the set of choice sequences for which $A$ has a winning strategy when the target set is the language of $X$. The winning shift $W(X)$ mirrors some properties of $X$. For instance, $W(X)$ and $X$ have the same entropy. Virtually nothing is known about the structure of the winning shifts of subshifts common in combinatorics on words. In this paper, we study the winning shifts of subshifts generated by marked uniform substitutions, and show that these winning shifts, viewed as subshifts, also have a substitutive structure. Particularly, we give an explicit description of the winning shift for the generalized Thue-Morse substitutions. It is known that $W(X)$ and $X$ have the same factor complexity. As an example application, we exploit this connection to give a simple derivation of the first difference and factor complexity functions of subshifts generated by marked substitutions. We describe these functions in particular detail for the generalized Thue-Morse substitutions.


title: Speculation On a Source of Dark Matter

abstract: By drawing an analogy with superfluid 4He vortices we suggest that dark matter may consist of irreducibly small remnants of cosmic strings.


title: A Superior but Equally Convenient Alternative to the Steady-State Approximation and Secular Equilibrium

abstract: The steady-state approximation (hereafter abbreviated as SSA) consists in setting $dy/dt=0$, where $y$ denotes the concentration of a short-lived intermediate subject to first-order decay with a rate constant $k$. The sole reason for enforcing SSA is to convert the rate equation for $y$ into an algebraic equation. The conditions under which SSA becomes trustworthy are now well understood, but a firm grasp of the physical content of the approximation requires more maturity than few teachers, let alone their students, may be expected to possess. Furthermore, there is no simple way to gauge the accuracy of the results derived by imposing SSA. The purpose of this note is to demonstrate that a better, but equally simple, approximation results if, instead of setting $dy/dt$ to zero, one substitutes $y(t+\tau)$ for $y+\tau dy/dt$, where $\tau=1/k$; SSA is a cruder approximation because it neglects the second term. For systems modelled as damped harmonic oscillators, the "reverse Taylor approximation" can be extended by retaining one more term in the Taylor expansion. The utility of the approximation (or its extension) is demonstrated by examining the following systems: radioactive equilibria, Brownian motion, dynamic response of linear first- and second-order systems.


title: Second Law based definition of passivity/activity of devices

abstract: Recently, our efforts to clarify the old question, if a memristor is a passive or active device [1], triggered debates between engineers, who have had advanced definitions of passivity/activity of devices, and physicists with significantly different views about this seemingly simple question. This debate triggered our efforts to test the well-known engineering concepts about passivity/activity in a deeper way, challenging them by statistical physics. It is shown that the advanced engineering definition of passivity/activity of devices is self-contradictory when a thermodynamical system executing Johnson-Nyquist noise is present. A new, statistical physical, self-consistent definition based on the Second Law of Thermodynamics is introduced. It is also shown that, in a system with uniform temperature distribution, any rectifier circuitry that can rectify thermal noise must contain an active circuit element, according to both the engineering and statistical physical definitions.


title: The total angular momentum algebra related to the $\mathrm{S}_3$ Dunkl Dirac equation

abstract: We consider the symmetry algebra generated by the total angular momentum operators, appearing as constants of motion of the $\mathrm{S}_3$ Dunkl Dirac equation. The latter is a deformation of the Dirac equation by means of Dunkl operators, in our case associated to the root system $A_2$, with corresponding Weyl group $\mathrm{S}_3$, the symmetric group on three elements. The explicit form of the symmetry algebra in this case is a one-parameter deformation of the classical total angular momentum algebra $\mathfrak{so}(3)$, incorporating elements of $\mathrm{S}_3$. This was obtained using recent results on the symmetry algebra for a class of Dirac operators, containing in particular the Dirac-Dunkl operator for arbitrary root system. For this symmetry algebra, we classify all finite-dimensional, irreducible representations and determine the conditions for the representations to be unitarizable. The class of unitary irreducible representations admits a natural realization acting on a representation space of eigenfunctions of the Dirac Hamiltonian. Using a Cauchy-Kowalevsky extension theorem we obtain explicit expressions for these eigenfunctions in terms of Jacobi polynomials.

categories: math-ph hep-th math.CA math.MP math.RT quant-ph


title: Dynamic localization in an effective tight binding Hamiltonian model with a rapidly oscillating homogeneous electric field on a lattice

abstract: By the Magnus-Floquet approach we calculate the effective Hamiltonian for a charged particle on the lattice subject to a homogeneous high frequency oscillating electric field. The obtained result indicate the absence of dynamic localization of the particle for any value of the lattice constant and electric field applied, which completes the limit results obtained by Dunlap and Kenkre.


title: Quantum theory of time perception: phases,clocks and quantum algebra

abstract: Experience of time is one of the primordial human experiences which is deeply tied to human consciousness. But despite this intimate relation of time with human conscious experience, time has proved to be very elusive. Particularly in physics, though there is already some understanding of time, there are still so many paradoxes that plague this understanding. In this paper we take rather a different route to question of time. We first attempt to come up with a theoretical understanding of time perception. Quite interestingly we find that quantum theory provides an algebraic formulation within which we can understand some essential aspects of time perception by human mind. We then ask whether a similar formalism can furnish the understanding of time as well and find connections of our formulation of time with similar works by other researchers. Our underlying approach to question of time has been inspired by R. W. Hamilton who considers algebra as science of pure time. Hence our work has an extensive algebraic flavor. Our work also incorporates another approach based on Kauffman's iterant algebra which relates time to underlying recursions and oscillations. We believe that our work will initiate more investigations in this direction.


title: Using Minimum Path Cover to Boost Dynamic Programming on DAGs: Co-Linear Chaining Extended

abstract: Aligning sequencing reads on graph representations of genomes is an important ingredient of pan-genomics. Such approaches typically find a set of local anchors that indicate plausible matches between substrings of a read to subpaths of the graph. These anchor matches are then combined to form a (semi-local) alignment of the complete read on a subpath. Co-linear chaining is an algorithmically rigorous approach to combine the anchors. It is a well-known approach for the case of two sequences as inputs. Here we extend the approach so that one of the inputs can be a directed acyclic graph (DAGs), e.g. a splicing graph in transcriptomics or a variant graph in pan-genomics. This extension to DAGs turns out to have a tight connection to the minimum path cover problem, asking for a minimum-cardinality set of paths that cover all the nodes of a DAG. We study the case when the size $k$ of a minimum path cover is small, which is often the case in practice. First, we propose an algorithm for finding a minimum path cover of a DAG $(V,E)$ in $O(k|E|\log|V|)$ time, improving all known time-bounds when $k$ is small and the DAG is not too dense. Second, we introduce a general technique for extending dynamic programming (DP) algorithms from sequences to DAGs. This is enabled by our minimum path cover algorithm, and works by mimicking the DP algorithm for sequences on each path of the minimum path cover. This technique generally produces algorithms that are slower than their counterparts on sequences only by a factor $k$. Our technique can be applied, for example, to the classical longest increasing subsequence and longest common subsequence problems, extended to labeled DAGs. Finally, we apply this technique to the co-linear chaining problem. We also implemented the new co-linear chaining approach. Experiments on splicing graphs show that the new method is efficient also in practice.


title: How long does it take to form the Andreev quasiparticles ?

abstract: We study transient effects in a setup, where the quantum dot (QD) is abruptly sandwiched between the metallic and superconducting leads. Focusing on the proximity-induced electron pairing, manifested by the in-gap bound states, we determine characteristic time-scale needed for these quasiparticles to develop. In particular, we derive analytic expressions for (i) charge occupancy of the QD, (ii) amplitude of the induced electron pairing, and (iii) the transient currents under equilibrium and nonequilibrium conditions. We also investigate the correlation effects within the Hartree-Fock-Bogolubov approximation, revealing a competition between the Coulomb interactions and electron pairing.


title: Short and random: Modelling the effects of (proto-)neural elongations

abstract: To understand how neurons and nervous systems first evolved, we need an account of the origins of neural elongations: Why did neural elongations (axons and dendrites) first originate, such that they could become the central component of both neurons and nervous systems? Two contrasting conceptual accounts provide different answers to this question. Braitenberg's vehicles provide the iconic illustration of the dominant input-output (IO) view. Here the basic role of neural elongations is to connect sensors to effectors, both situated at different positions within the body. For this function, neural elongations are thought of as comparatively long and specific connections, which require an articulated body involving substantial developmental processes to build. Internal coordination (IC) models stress a different function for early nervous systems. Here the coordination of activity across extended parts of a multicellular body is held central, in particular for the contractions of (muscle) tissue. An IC perspective allows the hypothesis that the earliest proto-neural elongations could have been functional even when they were initially simple short and random connections, as long as they enhanced the patterning of contractile activity across a multicellular surface. The present computational study provides a proof of concept that such short and random neural elongations can play this role. While an excitable epithelium can generate basic forms of patterning for small body-configurations, adding elongations allows such patterning to scale up to larger bodies. This result supports a new, more gradual evolutionary route towards the origins of the very first full neurons and nervous systems.


title: Expanded solutions of force-free electrodynamics on general Kerr black holes

abstract: In this work, expanded solutions of force-free magnetospheres on general Kerr black holes are derived through a radial distance expansion method. From the regular conditions both at the horizon and at spatial infinity, two previously known asymptotical solutions (one of them is actually an exact solution) are identified as the only solutions that satisfy the same conditions at the two boundaries. Taking them as initial conditions at the boundaries, expanded solutions up to the first few orders are derived by solving the stream equation order by order. It is shown that our extension of the exact solution can (partially) cure the problems of the solution: it leads to magnetic domination and a mostly timelike current for restricted parameters.


title: What drives transient behaviour in complex systems?

abstract: We study transient behaviour in the dynamics of complex systems described by a set of non-linear ODE's. Destabilizing nature of transient trajectories is discussed and its connection with the eigenvalue-based linearization procedure. The complexity is realized as a random matrix drawn from a modified May-Wigner model. Based on the initial response of the system, we identify a novel stable-transient regime. We calculate exact abundances of typical and extreme transient trajectories finding both Gaussian and Tracy-Widom distributions known in extreme value statistics. We identify degrees of freedom driving transient behaviour as connected to the eigenvectors and encoded in a non-orthogonality matrix $T_0$. We accordingly extend the May-Wigner model to contain a phase with typical transient trajectories present. An exact norm of the trajectory is obtained in the vanishing $T_0$ limit where it describes a normal matrix.

categories: nlin.CD cond-mat.dis-nn cond-mat.stat-mech math-ph math.MP


title: Bidirectional Beam Search: Forward-Backward Inference in Neural Sequence Models for Fill-in-the-Blank Image Captioning

abstract: We develop the first approximate inference algorithm for 1-Best (and M-Best) decoding in bidirectional neural sequence models by extending Beam Search (BS) to reason about both forward and backward time dependencies. Beam Search (BS) is a widely used approximate inference algorithm for decoding sequences from unidirectional neural sequence models. Interestingly, approximate inference in bidirectional models remains an open problem, despite their significant advantage in modeling information from both the past and future. To enable the use of bidirectional models, we present Bidirectional Beam Search (BiBS), an efficient algorithm for approximate bidirectional inference.To evaluate our method and as an interesting problem in its own right, we introduce a novel Fill-in-the-Blank Image Captioning task which requires reasoning about both past and future sentence structure to reconstruct sensible image descriptions. We use this task as well as the Visual Madlibs dataset to demonstrate the effectiveness of our approach, consistently outperforming all baseline methods.


title: Small Sets with Large Difference Sets

abstract: For every $\epsilon > 0$ and $k \in \mathbb{N}$, Haight constructed a set $A \subset \mathbb{Z}_N$ ($\mathbb{Z}_N$ stands for the integers modulo $N$) for a suitable $N$, such that $A-A = \mathbb{Z}_N$ and $|kA| < \epsilon N$. Recently, Nathanson posed the problem of constructing sets $A \subset \mathbb{Z}_N$ for given polynomials $p$ and $q$, such that $p(A) = \mathbb{Z}_N$ and $|q(A)| < \epsilon N$, where $p(A)$ is the set $\{p(a_1, a_2, \dots, a_n)\phantom{.}\colon\phantom{.}a_1, a_2, \dots, a_n \in A\}$, when $p$ has $n$ variables. In this paper, we give a partial answer to Nathanson's question. For every $k \in \mathbb{N}$ and $\epsilon > 0$, we find a set $A \subset \mathbb{Z}_N$ for suitable $N$, such that $A- A = \mathbb{Z}_N$, but $|A^2 + kA| < \epsilon N$, where $A^2 + kA = \{a_1a_2 + b_1 + b_2 + \dots + b_k\phantom{.}\colon\phantom{.}a_1, a_2,b_1, \dots, b_k \in A\}$. We also extend this result to construct, for every $k \in \mathbb{N}$ and $\epsilon > 0$, a set $A \subset \mathbb{Z}_N$ for suitable $N$, such that $A- A = \mathbb{Z}_N$, but $|3A^2 + kA| < \epsilon N$, where $3A^2 + kA = \{a_1a_2 + a_3a_4 + a_5a_6 + b_1 + b_2 + \dots + b_k\phantom{.}\colon\phantom{.}a_1, \dots, a_6,b_1, \dots, b_k \in A\}$.


title: Inflectionary Invariants for Isolated Complete Intersection Curve Singularities

abstract: We investigate the role played by curve singularity germs in the enumeration of inflection points in families of curves acquiring singular members. Let $N \geq 2$, and consider an isolated complete intersection curve singularity germ $f \colon (\mathbb{C}^N,0) \to (\mathbb{C}^{N-1},0)$. We introduce a numerical function $m \mapsto \operatorname{AD}_{(2)}^m(f)$ that arises as an error term when counting $m^{\mathrm{th}}$-order weight-$2$ inflection points with ramification sequence $(0, \dots, 0, 2)$ in a $1$-parameter family of curves acquiring the singularity $f = 0$, and we compute $\operatorname{AD}_{(2)}^m(f)$ for various $(f,m)$. Particularly, for a node defined by $f \colon (x,y) \mapsto xy$, we prove that $\operatorname{AD}_{(2)}^m(xy) = {{m+1} \choose 4},$ and we deduce as a corollary that $\operatorname{AD}_{(2)}^m(f) \geq (\operatorname{mult}_0 \Delta_f) \cdot {{m+1} \choose 4}$ for any $f$, where $\operatorname{mult}_0 \Delta_f$ is the multiplicity of the discriminant $\Delta_f$ at the origin in the deformation space. Furthermore, we show that the function $m \mapsto \operatorname{AD}_{(2)}^m(f) -(\operatorname{mult}_0 \Delta_f) \cdot {{m+1} \choose 4}$ is an analytic invariant measuring how much the singularity "counts as" an inflection point. We obtain similar results for weight-$2$ inflection points with ramification sequence $(0, \dots, 0, 1,1)$ and for weight-$1$ inflection points, and we apply our results to solve various related enumerative problems.


title: Invariant curves of smooth quasi-periodic mappings

abstract: In this paper we are concerned with the existence of invariant curves of planar mappings which are quasi-periodic in the spatial variable, satisfy the intersection property, $\mathcal{C}^{p}$ smooth with $p>2n+1$, $n$ is the number of frequencies.


title: The coexistence of quasi-periodic and blow-up solutions in a superlinear Duffing equation

abstract: In this paper we will construct a continuous positive periodic function $p(t)$ such that the corresponding superlinear Duffing equation $$ x"+a(x)\,x^{2n+1}+p(t)\,x^{2m+1}=0,\ \ \ \ n+2\leq 2m+1<2n+1 $$ possesses a solution which escapes to infinity in some finite time, and also has infinitely many subharmonic and quasi-periodic solutions, where the coefficient $a(x)$ is an arbitrary positive smooth periodic function defined in the whole real axis.