title: Colorful Helly-type Theorems for the Volume of Intersections of Convex Bodies

abstract: We prove the following Helly-type result. Let $\mathcal{C}_1,\dots,\mathcal{C}_{3d}$ be finite families of convex bodies in $\mathbb{R}^d$. Assume that for any colorful selection of $2d$ sets, $C_{i_k}\in \mathcal{C}_{i_k}$ for each $1\leq k\leq 2d$ with $1\leq i_1<\dots<i_{2d}\leq 3d$, the intersection $\bigcap\limits_{k=1}^{2d} C_{i_k}$ is of volume at least 1. Then there is an $1\leq i \leq 3d$ such that $\bigcap\limits_{C\in \mathcal{C}_i} C$ is of volume at least $d^{-O(d^2)}$.


title: Abstraction for Zooming-In to Unsolvability Reasons of Grid-Cell Problems

abstract: Humans are capable of abstracting away irrelevant details when studying problems. This is especially noticeable for problems over grid-cells, as humans are able to disregard certain parts of the grid and focus on the key elements important for the problem. Recently, the notion of abstraction has been introduced for Answer Set Programming (ASP), a knowledge representation and reasoning paradigm widely used in problem solving, with the potential to understand the key elements of a program that play a role in finding a solution. The present paper takes this further and empowers abstraction to deal with structural aspects, and in particular with hierarchical abstraction over the domain. We focus on obtaining the reasons for unsolvability of problems on grids, and show the possibility to automatically achieve human-like abstractions that distinguish only the relevant part of the grid. A user study on abstract explanations confirms the similarity of the focus points in machine vs. human explanations and reaffirms the challenge of employing abstraction to obtain machine explanations.


title: Domain-Agnostic Few-Shot Classification by Learning Disparate Modulators

abstract: Although few-shot learning research has advanced rapidly with the help of meta-learning, its practical usefulness is still limited because most of them assumed that all meta-training and meta-testing examples came from a single domain. We propose a simple but effective way for few-shot classification in which a task distribution spans multiple domains including ones never seen during meta-training. The key idea is to build a pool of models to cover this wide task distribution and learn to select the best one for a particular task through cross-domain meta-learning. All models in the pool share a base network while each model has a separate modulator to refine the base network in its own way. This framework allows the pool to have representational diversity without losing beneficial domain-invariant features. We verify the effectiveness of the proposed algorithm through experiments on various datasets across diverse domains.


title: Podle\'s Spheres for the Braided Quantum $\operatorname{SU}(2)$

abstract: Starting with the braided quantum group $\operatorname{SU}_q(2)$ for a complex deformation parameter $q$ we perform the construction of the quotient $\operatorname{SU}_q(2)/\mathbb{T}$ which serves as a model of a quantum sphere. Then we follow the reasoning of Podle\'{s} who for real $q$ classified quantum spaces with the action of $\operatorname{SU}_q(2)$ with appropriate spectral properties. These properties can also be expressed in the context of the braided quantum $\operatorname{SU}_q(2)$ (with complex $q$) and we find that they lead to precisely the same family of quantum spaces as found by Podle\'{s} for the real parameter $|q|$.


title: Landau-Zener-St\"{u}ckelberg Interferometry in $\mathcal{PT}$-symmetric Non-Hermitian models

abstract: We systematically investigate the non-Hermitian generalisations of the Landau-Zener (LZ) transition and the Landau-Zener-St\"{u}ckelberg (LZS) interferometry. The LZ transition probabilities, or band populations, are calculated for a generic non-Hermitian model and their asymptotic behaviour analysed. We then focus on non-Hermitian systems with a real adiabatic parameter and study the LZS interferometry formed out of two identical avoided level crossings. Four distinctive cases of interferometry are identified and the analytic formulae for the transition probabilities are calculated for each case. The differences and similarities between the non-Hermitian case and its Hermitian counterpart are emphasised. In particular, the geometrical phase originated from the sign change of the mass term at the two level crossings is still present in the non-Hermitian system, indicating its robustness against the non-Hermiticity. We further apply our non-Hermitian LZS theory to describing the Bloch oscillation in one-dimensional parity-time $(\mathcal{PT})$ reversal symmetric non-Hermitian Su-Schrieffer-Heeger model and propose an experimental scheme to simulate such dynamics using photonic waveguide arrays. The Landau-Zener transition, as well as the LZS interferometry, can be visualised through the beam intensity profile and the transition probabilitiess measured by the centre of mass of the profile.


title: Natural ferroelectric order near ambient temperature in HoFeO3: A member of RFeO3 orthoferrites

abstract: Current scenario in multiferroics demands a breakthrough discovery of promising materials after BiFeO3. Recently, the controversial discovery of room temperature ferroelectricity (FE) in SmFeO3 [PRL 107, 117201 (2011); 113, 217203 (2014)] inspires the investigation of HoFeO3. Here, we report a natural ferroelectric order below 210 K (TFE) along c-axis with reasonably large polarization and low-field strong magnetoelectric coupling. Synchrotron and neutron diffraction results confirm that a shift of O atoms along c-axis of polar Pbn21 structure causes FE in HoFeO3. The exchange striction mechanism is suggested to elucidate the ferroelectric order. The results create a renewed attention for searching promising candidates with a natural ferroelectric order and higher TFE in the rest of the RFeO3 series.


title: Human Visual Attention Prediction Boosts Learning & Performance of Autonomous Driving Agents

abstract: Autonomous driving is a multi-task problem requiring a deep understanding of the visual environment. End-to-end autonomous systems have attracted increasing interest as a method of learning to drive without exhaustively programming behaviours for different driving scenarios. When humans drive, they rely on a finely tuned sensory system which enables them to quickly acquire the information they need while filtering unnecessary details. This ability to identify task-specific high-interest regions within an image could be beneficial to autonomous driving agents and machine learning systems in general. To create a system capable of imitating human gaze patterns and visual attention, we collect eye movement data from human drivers in a virtual reality environment. We use this data to train deep neural networks predicting where humans are most likely to look when driving. We then use the outputs of this trained network to selectively mask driving images using a variety of masking techniques. Finally, autonomous driving agents are trained using these masked images as input. Upon comparison, we found that a dual-branch architecture which processes both raw and attention-masked images substantially outperforms all other models, reducing error in control signal predictions by 25.5\% compared to a standard end-to-end model trained only on raw images.


title: Predicting optimal value functions by interpolating reward functions in scalarized multi-objective reinforcement learning

abstract: A common approach for defining a reward function for Multi-objective Reinforcement Learning (MORL) problems is the weighted sum of the multiple objectives. The weights are then treated as design parameters dependent on the expertise (and preference) of the person performing the learning, with the typical result that a new solution is required for any change in these settings. This paper investigates the relationship between the reward function and the optimal value function for MORL; specifically addressing the question of how to approximate the optimal value function well beyond the set of weights for which the optimization problem was actually solved, thereby avoiding the need to recompute for any particular choice. We prove that the value function transforms smoothly given a transformation of weights of the reward function (and thus a smooth interpolation in the policy space). A Gaussian process is used to obtain a smooth interpolation over the reward function weights of the optimal value function for three well-known examples: GridWorld, Objectworld and Pendulum. The results show that the interpolation can provide very robust values for sample states and action space in discrete and continuous domain problems. Significant advantages arise from utilizing this interpolation technique in the domain of autonomous vehicles: easy, instant adaptation of user preferences while driving and true randomization of obstacle vehicle behavior preferences during training.


title: Solving hyperbolic-elliptic problems on singular mapped disk-like domains with the method of characteristics and spline finite elements

abstract: A common strategy in the numerical solution of partial differential equations is to define a uniform discretization of a tensor-product multi-dimensional logical domain, which is mapped to a physical domain through a given coordinate transformation. By extending this concept to a multi-patch setting, simple and efficient numerical algorithms can be employed on relatively complex geometries. The main drawback of such an approach is the inherent difficulty in dealing with singularities of the coordinate transformation. This work suggests a comprehensive numerical strategy for the common situation of disk-like domains with a singularity at a unique pole, where one edge of the rectangular logical domain collapses to one point of the physical domain (for example, a circle). We present robust numerical methods for the solution of Vlasov-like hyperbolic equations coupled to Poisson-like elliptic equations in such geometries. We describe a semi-Lagrangian advection solver that employs a novel set of coordinates, named pseudo-Cartesian coordinates, to integrate the characteristic equations in the whole domain, including the pole, and a finite element elliptic solver based on globally $C^1$ smooth splines (Toshniwal et al., 2017). The two solvers are tested both independently and on a coupled model, namely the 2D guiding-center model for magnetized plasmas, equivalent to a vorticity model for incompressible inviscid Euler fluids. The numerical methods presented show high-order convergence in the space discretization parameters, uniformly across the computational domain, without effects of order reduction due to the singularity. Dedicated tests show that the numerical techniques described can be applied straightforwardly also in the presence of point charges (equivalently, point-like vortices), within the context of particle-in-cell methods.

categories: physics.comp-ph cs.NA math.NA physics.plasm-ph


title: Boltzmann machine learning and regularization methods for inferring evolutionary fields and couplings from a multiple sequence alignment

abstract: The inverse Potts problem to infer a Boltzmann distribution for homologous protein sequences from their single-site and pairwise amino acid frequencies recently attracts a great deal of attention in the studies of protein structure and evolution. We study regularization and learning methods and how to tune regularization parameters to correctly infer interactions in Boltzmann machine learning. Using $L_2$ regularization for fields, group $L_1$ for couplings is shown to be very effective for sparse couplings in comparison with $L_2$ and $L_1$. Two regularization parameters are tuned to yield equal values for both the sample and ensemble averages of evolutionary energy. Both averages smoothly change and converge, but their learning profiles are very different between learning methods. The Adam method is modified to make stepsize proportional to the gradient for sparse couplings and to use a soft-thresholding function for group $L_1$. It is shown by first inferring interactions from protein sequences and then from Monte Carlo samples that the fields and couplings can be well recovered, but that recovering the pairwise correlations in the resolution of a total energy is harder for the natural proteins than for the protein-like sequences. Selective temperature for folding/structural constrains in protein evolution is also estimated.

categories: q-bio.PE cond-mat.stat-mech cs.LG q-bio.BM stat.ML


title: Optimality of the Subgradient Algorithm in the Stochastic Setting

abstract: We show that the Subgradient algorithm is universal for online learning on the simplex in the sense that it simultaneously achieves $O(\sqrt N)$ regret for adversarial costs and $O(1)$ pseudo-regret for i.i.d costs. To the best of our knowledge this is the first demonstration of a universal algorithm on the simplex that is not a variant of Hedge. Since Subgradient is a popular and widely used algorithm our results have immediate broad application.

categories: math.ST cs.DS cs.LG cs.SY eess.SY math.OC math.PR stat.ML stat.TH


title: Ultra-intense laser pulse characterization using ponderomotive electron scattering

abstract: We present a new analytical solution for the equation of motion of relativistic electrons in the focus of a high-intensity laser pulse. We approximate the electron's transverse dynamics in the averaged field of a long laser pulse focused to a Gaussian transverse profile. The resultant ponderomotive scattering is found to feature an upper boundary of the electrons' scattering angles, depending on the laser parameters and the electrons' initial state of motion. In particular, we demonstrate the angles into which the electrons are scattered by the laser scale as a simple relation of their initial energy to the laser's amplitude. We find two regimes to be distinguished in which either the laser's focusing or peak power are the main drivers of ponderomotive scattering. Based on this result, we demonstrate how the intensity of a laser pulse can be determined from a ring-shaped pattern in the spatial distribution of a high-energy electron beam scattered from the laser. We confirm our analysis by means of detailed relativistic test particle simulations of the electrons' averaged ponderomotive dynamics in the full electromagnetic fields of the focused laser pulse.


title: QuTiBench: Benchmarking Neural Networks on Heterogeneous Hardware

abstract: Neural Networks have become one of the most successful universal machine learning algorithms. They play a key role in enabling machine vision and speech recognition for example. Their computational complexity is enormous and comes along with equally challenging memory requirements, which limits deployment in particular within energy constrained, embedded environments. In order to address these implementation challenges, a broad spectrum of new customized and heterogeneous hardware architectures have emerged, often accompanied with co-designed algorithms to extract maximum benefit out of the hardware. Furthermore, numerous optimization techniques are being explored for neural networks to reduce compute and memory requirements while maintaining accuracy. This results in an abundance of algorithmic and architectural choices, some of which fit specific use cases better than others. For system level designers, there is currently no good way to compare the variety of hardware, algorithm and optimization options. While there are many benchmarking efforts in this field, they cover only subsections of the embedded design space. None of the existing benchmarks support essential algorithmic optimizations such as quantization, an important technique to stay on chip, or specialized heterogeneous hardware architectures. We propose a novel benchmark suite, QuTiBench, that addresses this need. QuTiBench is a novel multi-tiered benchmarking methodology that supports algorithmic optimizations such as quantization and helps system developers understand the benefits and limitations of these novel compute architectures in regard to specific neural networks and will help drive future innovation. We invite the community to contribute to QuTiBench in order to support the full spectrum of choices in implementing machine learning systems.


title: Temporally Grounding Language Queries in Videos by Contextual Boundary-aware Prediction

abstract: The task of temporally grounding language queries in videos is to temporally localize the best matched video segment corresponding to a given language (sentence). It requires certain models to simultaneously perform visual and linguistic understandings. Previous work predominantly ignores the precision of segment localization. Sliding window based methods use predefined search window sizes, which suffer from redundant computation, while existing anchor-based approaches fail to yield precise localization. We address this issue by proposing an end-to-end boundary-aware model, which uses a lightweight branch to predict semantic boundaries corresponding to the given linguistic information. To better detect semantic boundaries, we propose to aggregate contextual information by explicitly modeling the relationship between the current element and its neighbors. The most confident segments are subsequently selected based on both anchor and boundary predictions at the testing stage. The proposed model, dubbed Contextual Boundary-aware Prediction (CBP), outperforms its competitors with a clear margin on three public datasets. All codes are available on https://github.com/JaywongWang/CBP .


title: A Review on Superplastic Forming of Ti-6Al-4V Alloy

abstract: This paper presents a review on the superplastic forming of Ti-6Al-4V alloy, which has been used to manufacture parts of complex shapes and geometries. This paper outlines the major work carried out on this front in the past three decades. It covers various aspects related to experimental setups, including the manufacture of dies and their modifications to maintain alloy thickness uniformity after forming. A detailed study of the process parameters has also been done to note the most important physical conditions required for successful forming. This is followed by the influence of microstructure, modern applications of superplastic forming of different titanium alloys and is concluded with an insight into the future work and progress in this field.


title: Conjugate points for systems of second-order ordinary differential equations

abstract: We recall the notion of Jacobi fields, as it was extended to systems of second-order ordinary differential equations. Two points along a base integral curve are conjugate if there exists a non-trivial Jacobi field along that curve that vanishes on both points. Based on arguments that involve the eigendistributions of the Jacobi endomorphism, we discuss conjugate points for a certain generalization (to the current setting) of locally symmetric spaces. Next, we study conjugate points along relative equilibria of Lagrangian systems with a symmetry Lie group. We end the paper with some examples and applications.


title: The non-Abelian field current of the self-interacting quantum electron

abstract: Internal degrees of freedoms of the quantum electron (spin and charge) introduced by Dirac lead to the non-Abelian field configuration of the electron in the complex projective Hilbert space $CP(3)$ of the unlocated quantum states (UQS). Such fields represented by the coefficient functions of the local dynamical variables (LDV's) corresponding $SU(4)$ generators of the Poincar\'e group. These generators describe the deformation of the UQS by the dynamical shifts, boosts and rotations. Interaction of this non-Abelian field with the electrodynamics-like gauge field (internal+external) will suppress the divergency of the Jacobi vector field in the vicinity of the "north pole" in $CP(3)$. Thereby, the stable "bundle" of the nearby geodesics comprises the lump-like quantum self-interacting electron.


title: Octonions in Particle Physics through Structures of Generalised Proper Time

abstract: In considering the nature of the basic mathematical structures appropriate for describing the fundamental elements of particle physics a significant role for the octonions, as an extension from the complex numbers and uniquely the largest division algebra, has occasionally been proposed. Rather than being based initially upon the more abstract grounds of mathematical aesthetics, here we describe a unified theory motivated conceptually through an elementary generalisation of the expression for a local proper time interval, beyond that of 4-dimensional spacetime and also beyond that of the local structure of models with extra spatial dimensions, for which the explicit mathematical development naturally incorporates the octonion algebra as an essential feature. Properties of matter are identified directly through the symmetry breaking structure entailed in the necessary extraction of the external 4-dimensional spacetime background and are shown to reproduce a series of characteristic structures of the Standard Model of particle physics. While already employing octonion-based constructions of the exceptional Lie groups E6 and E7 the uncovering of the full Standard Model, as well as new physics beyond, is predicted to involve an E8-related structure for which the octonion algebra is again anticipated to be of fundamental importance.


title: From grains to pebbles: the influence of size distribution and chemical composition on dust emission properties

abstract: The size and composition of dust grains are critical in setting the dynamical, physical and chemical evolution of the media in which they are present. Thanks to facilities such as ALMA and in the future the SKA, their thermal emission in the (sub)mm to cm has become a convenient way to trace grain properties. Our aim is to understand the influence of the grain composition and size distribution on the shape of their SED in dense ISM regions such as molecular clouds, prestellar cores, YSOs and protoplanetary discs. Starting from the optical constants defined in the THEMIS model for amorphous hydrogenated carbon and silicate grains in addition to water ice, we define 6 material mixtures representative of the expected dust composition in dense ISM regions. The optical properties of 0.01 micron to 10 cm grains are then calculated with effective medium and Mie theories. The corresponding SEDs are calculated for isolated clouds either externally heated by the ISRF alone or in addition to an internal source. The 3 main outcomes of this study are as follows. First, the dust mass absorption coefficient strongly depends on both its composition and size distribution potentially leading to errors in dust mass estimates by factors up to 3 and 20, respectively. Second, it appears almost impossible to retrieve the grain composition from the (sub)mm to cm SED shape alone as its spectral index for lambda > 3 mm does not depend on composition. Third, using the true dust opacity spectral index to estimate grain sizes may lead to erroneous findings as the observed spectral index can be highly modified by the dust temperature distribution along the line-of-sight, which depends on the specific heating source and on the geometry of the studied region. Based on the interpretation of only the spectral shape of (sub)mm to cm SEDs, the determination of the dust masses, compositions and sizes are highly uncertain.


title: Proposal Towards a Personalized Knowledge-powered Self-play Based Ensemble Dialog System

abstract: This is the application document for the 2019 Amazon Alexa competition. We give an overall vision of our conversational experience, as well as a sample conversation that we would like our dialog system to achieve by the end of the competition. We believe personalization, knowledge, and self-play are important components towards better chatbots. These are further highlighted by our detailed system architecture proposal and novelty section. Finally, we describe how we would ensure an engaging experience, how this research would impact the field, and related work.


title: Question Generation by Transformers

abstract: A machine learning model was developed to automatically generate questions from Wikipedia passages using transformers, an attention-based model eschewing the paradigm of existing recurrent neural networks (RNNs). The model was trained on the inverted Stanford Question Answering Dataset (SQuAD), which is a reading comprehension dataset consisting of 100,000+ questions posed by crowdworkers on a set of Wikipedia articles. After training, the question generation model is able to generate simple questions relevant to unseen passages and answers containing an average of 8 words per question. The word error rate (WER) was used as a metric to compare the similarity between SQuAD questions and the model-generated questions. Although the high average WER suggests that the questions generated differ from the original SQuAD questions, the questions generated are mostly grammatically correct and plausible in their own right.


title: Design-adherent estimators for network surveys

abstract: Network surveys of key populations at risk for HIV are an essential part of the effort to understand how the epidemic spreads and how it can be prevented. Estimation of population values from the sample data has been probematical, however, because the link-tracing of the network surveys includes different people in the sample with unequal probabilities, and these inclusion probabilities have to be estimated accurately to avoid large biases in survey estimates. A new approach to estimation is introduced here, based on resampling the sample network many times using a design that adheres to main features of the design used in the field. These features include network link tracing, branching, and without-replacement sampling. The frequency that a person is included in the resamples is used to estimate the inclusion probability for each person in the original sample, and these estimates of inclusion probabilities are used in an unequal-probability estimator. In simulations using a population of drug users, sex workers, and their partners for which the actual values of population characteristics are known, the design-adherent estimation approach increases the accuracy of estimates of population quantities, largely by eliminating most of the biases.


title: Magnetic anisotropy in single crystal high entropy perovskite oxide La(Cr0.2Mn0.2Fe0.2Co0.2Ni0.2)O3 films

abstract: Local configurational disorder can have a dominating role in the formation of macroscopic functional responses in strongly correlated materials. Here, we use entropy-stabilization synthesis to create single crystal epitaxial ABO3 perovskite thin films with equal atomic concentration of 3d transition metal cations on the B-site sublattice. X-ray diffraction, atomic force microscopy, and scanning transmission electron microscopy of La(Cr0.2Mn0.2Fe0.2Co0.2Ni0.2)O3 (L5BO) films demonstrate excellent crystallinity, smooth film surfaces, and uniform mixing of the 3d transition metal cations throughout the B-site sublattice. The magnetic properties are strongly dependent on substrate-induced lattice anisotropy and suggest the presence of long-range magnetic order in these exceptionally disordered materials. The ability to populate multiple elements onto a single sublattice in complex crystal structures opens new possibilities to design functionality in correlated systems and enable novel fundamental studies seeking to understand how diverse local bonding environments can work to generate macroscopic responses, such as those driven by electron-phonon channels and complex exchange interaction pathways.


title: Distributed Deep Learning with Event-Triggered Communication

abstract: We develop a Distributed Event-Triggered Stochastic GRAdient Descent (DETSGRAD) algorithm for solving non-convex optimization problems typically encountered in distributed deep learning. We propose a novel communication triggering mechanism that would allow the networked agents to update their model parameters aperiodically and provide sufficient conditions on the algorithm step-sizes that guarantee the asymptotic mean-square convergence. The algorithm is applied to a distributed supervised-learning problem, in which a set of networked agents collaboratively train their individual neural networks to recognize handwritten digits in images, while aperiodically sharing the model parameters with their one-hop neighbors. Results indicate that all agents report similar performance that is also comparable to the performance of a centrally trained neural network, while the event-triggered communication provides significant reduction in inter-agent communication. Results also show that the proposed algorithm allows the individual agents to recognize the digits even though the training data corresponding to all the digits are not locally available to each agent.


title: Hilbert's 10th Problem for solutions in a subring of Q

abstract: Yuri Matiyasevich's theorem states that the set of all Diophantine equations which have a solution in non-negative integers is not recursive. Craig Smory\'nski's theorem states that the set of all Diophantine equations which have at most finitely many solutions in non-negative integers is not recursively enumerable. Let R be a subring of Q with or without 1. By H_{10}(R), we denote the problem of whether there exists an algorithm which for any given Diophantine equation with integer coefficients, can decide whether or not the equation has a solution in R. We prove that a positive solution to H_{10}(R) implies that the set of all Diophantine equations with a finite number of solutions in R is recursively enumerable. We show the converse implication for every infinite set R \subseteq Q such that there exist computable functions \tau_1,\tau_2:N \to Z which satisfy (\forall n \in N \tau_2(n) \neq 0) \wedge ({\frac{\tau_1(n)}{\tau_2(n)}: n \in N}=R). This implication for R=N guarantees that Smory\'nski's theorem follows from Matiyasevich's theorem. Harvey Friedman conjectures that the set of all polynomials of several variables with integer coefficients that have a rational solution is not recursive. Harvey Friedman conjectures that the set of all polynomials of several variables with integer coefficients that have only finitely many rational solutions is not recursively enumerable. These conjectures are equivalent by our results for R=Q.


title: Jeans instability and turbulent gravitational collapse of Bose-Einstein Condensate dark matter halos

abstract: We consider the Jeans instability and the gravitational collapse of the rotating Bose-Einstein Condensate dark matter halos, described by the zero temperature non-relativistic Gross-Pitaevskii equation, with repulsive inter-particle interactions. In the Madelung representation of the wave function, the dynamical evolution of the galactic halos is described by the continuity and the hydrodynamic Euler equations, with the condensed dark matter satisfying a polytropic equation of state with index $n=1$. By considering small perturbations of the quantum hydrodynamical equations we obtain the dispersion relation and the Jeans wave number, which includes the effects of the vortices (turbulence), of the quantum pressure and of the quantum potential, respectively. The critical scales above which condensate dark matter collapses (the Jeans radius and mass) are discussed in detail. We also investigate the collapse/expansion of rotating condensed dark matter halos, and we find a family of exact semi-analytical solutions of the hydrodynamic evolution equations, derived by using the method of separation of variables. An approximate first order solution of the fluid flow equations is also obtained. The radial coordinate dependent mass, density and velocity profiles of the collapsing/expanding condensate dark matter halos are obtained by using numerical methods.


title: A Quantum Search Decoder for Natural Language Processing

abstract: Probabilistic language models, e.g. those based on an LSTM, often face the problem of finding a high probability prediction from a sequence of random variables over a set of tokens. This is commonly addressed using a form of greedy decoding such as beam search, where a limited number of highest-likelihood paths (the beam width) of the decoder are kept, and at the end the maximum-likelihood path is chosen. In this work, we construct a quantum algorithm to find the globally optimal parse (i.e. for infinite beam width) with high constant success probability. When the input to the decoder is distributed as a power-law with exponent $k>0$, our algorithm has runtime $R^{n f(R,k)}$, where $R$ is the alphabet size, $n$ the input length; here $f<1/2$, and $f\rightarrow 0$ exponentially fast with increasing $k$, hence making our algorithm always more than quadratically faster than its classical counterpart. We further modify our procedure to recover a finite beam width variant, which enables an even stronger empirical speedup while still retaining higher accuracy than possible classically. Finally, we apply this quantum beam search decoder to Mozilla's implementation of Baidu's DeepSpeech neural net, which we show to exhibit such a power law word rank frequency.


title: Learning to Propagate for Graph Meta-Learning

abstract: Meta-learning extracts common knowledge from learning different tasks and uses it for unseen tasks. It can significantly improve tasks that suffer from insufficient training data, e.g., few shot learning. In most meta-learning methods, tasks are implicitly related by sharing parameters or optimizer. In this paper, we show that a meta-learner that explicitly relates tasks on a graph describing the relations of their output dimensions (e.g., classes) can significantly improve few shot learning. The graph's structure is usually free or cheap to obtain but has rarely been explored in previous works. We develop a novel meta-learner of this type for prototype-based classification, in which a prototype is generated for each class, such that the nearest neighbor search among the prototypes produces an accurate classification. The meta-learner, called "Gated Propagation Network (GPN)", learns to propagate messages between prototypes of different classes on the graph, so that learning the prototype of each class benefits from the data of other related classes. In GPN, an attention mechanism aggregates messages from neighboring classes of each class, with a gate choosing between the aggregated message and the message from the class itself. We train GPN on a sequence of tasks from many-shot to few shot generated by subgraph sampling. During training, it is able to reuse and update previously achieved prototypes from the memory in a life-long learning cycle. In experiments, under different training-test discrepancy and test task generation settings, GPN outperforms recent meta-learning methods on two benchmark datasets. The code of GPN and dataset generation is available at https://github.com/liulu112601/Gated-Propagation-Net.


title: Quadrature coherence scale driven fast decoherence of bosonic quantum field states

abstract: We introduce, for each state of a bosonic quantum field, its quadrature coherence scale (QCS), a measure of the range of its quadrature coherences. Under coupling to a thermal bath, the purity and QCS are shown to decrease on a time scale inversely proportional to the QCS squared. The states most fragile to decoherence are therefore those with quadrature coherences far from the diagonal. We further show a large QCS is difficult to measure since it induces small scale variations in the state's Wigner function. These two observations imply a large QCS constitutes a mark of "macroscopic coherence". Finally, we link the QCS to optical classicality: optical classical states have a small QCS and a large QCS implies strong optical nonclassicality.


title: Experimental reconstruction of spatial Schmidt modes for a wide-field SU(1,1) interferometer

abstract: We study the spatial mode content at the output of a wide-field SU(1,1) interferometer, i.e. a nonlinear interferometer comprising two coherently-pumped spatially-multimode optical parametric amplifiers placed in sequence with a focusing element in between. This device is expected to provide a phase sensitivity below the shot-noise limit for multiple modes over a broad angular range. To reconstruct the spatial modes and their weights, we implement a simple method based on the acquisition of only intensity distributions. The eigenmode decomposition of the field is obtained through the measurement of the covariance of intensities at different spatial points. We investigate both the radial and azimuthal (orbital angular momentum) modes and show that their total number is large enough to enable applications of the interferometer in spatially-resolved phase measurements.


title: The Marriage of Univalence and Parametricity

abstract: Reasoning modulo equivalences is natural for everyone, including mathematicians. Unfortunately, in proof assistants based on type theory, equality is appallingly syntactic and, as a result, exploiting equivalences is cumbersome at best. Parametricity and univalence are two major concepts that have been explored to transport programs and proofs across type equivalences, but they fall short of achieving seamless, automatic transport. This work first clarifies the limitations of these two concepts in isolation, and then devises a fruitful marriage between both. The resulting concept, univalent parametricity, is an heterogeneous extension of parametricity strengthened with univalence that fully realizes programming and proving modulo equivalences. In addition to the theory of univalent parametricity, we present a lightweight framework implemented in Coq that allows the user to transparently transfer definitions and theorems for a type to an equivalent one, as if they were equal. For instance, this makes it possible to conveniently switch between an easy-to-reason-about representation and a computationally-efficient representation, as soon as they are proven equivalent. The combination of parametricity and univalence supports transport \`a la carte: basic univalent transport, which stems from a type equivalence, can be complemented with additional proofs of equivalences between functions over these types, in order to be able to lift more programs and proofs, as well as to yield more efficient terms. We illustrate the use of univalent parametricity on several examples, including a recent integration of native integers in Coq.


title: User-Controlled Privacy-Preserving User Profile Data Sharing based on Blockchain

abstract: The tremendous technological advancement in the last few decades has brought many enterprises to collaborate in a better way while making intelligent decisions. The use of Information Technology tools in obtaining data of people's everyday life from various autonomous data sources allowing unrestricted access to user data has emerged as an important practical issue and has given rise to legal implications. Various innovative models for data sharing and management have privacy and centrality issues. To alleviate these limitations, we have incorporated blockchain in user modeling. In this paper, we constructed a decentralized data sharing architecture with MultiChain blockchain in the travel domain, which is also applicable to other similar domains including education, health, and sports. Businesses that operate in the tourism industries including travel and tour agencies, hotels and resorts, shopping malls are connected to the MultiChain and they share their user profile data via stream in the MultiChain. The paper presents the hotel booking service for an imaginary hotel as one of the enterprise nodes, which collects user profile data with proper validation and will allow users to decide which of their data to be shared thus ensuring user control over their data and the preservation of privacy. The data from the repository is converted into an open data format while sharing via stream in the blockchain so that other enterprise nodes, after receiving the data, can easily convert them and store into their own repositories. The paper presents an evaluation of the performance of the model by measuring the latency and memory consumption with three test scenarios that mostly affect the user experience. The node responded quickly in all of these cases.


title: Nonadiabatic Sunlight-harvesting

abstract: Experimental and theoretical evidence point out to the crucial role of specific resonant intramolecular vibrational modes in the interpretation of long-lived coherences observed in two-dimensional spectra of some natural and synthetic light harvesting complexes. For the natural situation of illumination by incoherent (sun)light, the relevance of these vibrations is analyzed here for light-harvesting vibronic prototype dimers. The detailed analysis of the density matrix dynamics reveals that the inclusion of the intramolecular vibrational modes reinforce up to one order of magnitude the exciton coherence and may increase the populations of lowest energy single exciton states, as well as populations and coherences in the site basis. In sharp contrast to the case of initial-state preparation by coherent (laser)light-sources, the initial thermal state of the local vibrational modes, as well as that of the anti-correlated mode, evolves devoid of non-classical correlations as confirmed by the absence of negative values of its phase-space quasi-probability distribution at all times. Therefore, not only the long-lived coherences observed in two-dimensional spectra are induced by the coherent character of pulsed laser sources, but it is unambiguously shown here that the non-classical character generally assigned to the anti-correlated vibrational mode also comes as the result of the preparation of the initial state by coherent pulsed laser sources.


title: Computer Assisted Composition in Continuous Time

abstract: We address the problem of combining sequence models of symbolic music with user defined constraints. For typical models this is non-trivial as only the conditional distribution of each symbol given the earlier symbols is available, while the constraints correspond to arbitrary times. Previously this has been addressed by assuming a discrete time model of fixed rhythm. We generalise to continuous time and arbitrary rhythm by introducing a simple, novel, and efficient particle filter scheme, applicable to general continuous time point processes. Extensive experimental evaluations demonstrate that in comparison with a more traditional beam search baseline, the particle filter exhibits superior statistical properties and yields more agreeable results in an extensive human listening test experiment.


title: Generation and characterization of an array of Airy-vortex beams

abstract: We present the experimental generation and analysis of both the intensity and phase of an optical vortex beam originating from a superposition of Airy-vortex beams. A new theoretical proposal is accessible to generate an array of Airy-vortex beams (AiVBs) from a superposition of N identical AiBs symmetrically located with respect to the propagation axis, where each beam is superimposed with OV and are characterized by the same topological charge l. Additionally, a single experimental apparatus enables both the optical generation and reconstruction of computer-generated holograms implemented on a spatial light modulator and its phase analysis by digital holography. The experimental results agreed with the theoretical predictions. The array of Airy-vortex beams has potential applications for trapping and rotating micro-particles in optical tweezers, modulation in optics communications, optical metrology, and others in optics and photonics.


title: Photometric light curves classification with machine learning

abstract: The Large Synoptic Survey Telescope will complete its survey in 2022 and produce terabytes of imaging data each night. To work with this massive onset of data, automated algorithms to classify astronomical light curves are crucial. Here, we present a method for automated classification of photometric light curves for a range of astronomical objects. Our approach is based on the gradient boosting of decision trees, feature extraction and selection, and augmentation. The solution was developed in the context of The Photometric LSST Astronomical Time Series Classification Challenge (PLAsTiCC) and achieved one of the top results in the challenge.


title: Orientational Memory of Active Particles in Multistate Non-Markovian Processes

abstract: The orientational memory of particles can serve as an effective measure of diffusivity, spreading, and search efficiency in complex stochastic processes. We develop a theoretical framework to describe the decay of directional correlations in a generic class of stochastic active processes consisting of distinct states of motion characterized by their persistence and switching probabilities between the states. For exponentially distributed sojourn times, the orientation autocorrelation is analytically derived and the characteristic times of its crossovers are obtained in terms of the persistence of each state and the switching probabilities. We show how non-exponential sojourn-time distributions of interest, such as Gaussian and power-law distributions, can result from history-dependent transitions between the states. The relaxation behavior of the correlation function in such non-Markovian processes is governed by the history-dependence of the switching probabilities and cannot be solely determined by the mean sojourn times of the states.


title: A fully space-time least-squares method for the unsteady Navier-Stokes system

abstract: We introduce and analyze a space-time least-squares method associated to the unsteady Navier-Stokes system. Weak solution in the two dimensional case and regular solution in the three dimensional case are considered. From any initial guess, we construct a minimizing sequence for the least-squares functional which converges strongly to a solution of the Navier-Stokes system. After a finite number of iterates related to the value of the viscosity constant, the convergence is quadratic. Numerical experiments within the two dimensional case support our analysis. This globally convergent least-squares approach is related to the damped Newton method when used to solve the Navier-Stokes system through a variational formulation.


title: Motion Planning Explorer: Visualizing Local Minima using a Local-Minima Tree

abstract: Motion planning problems often have many local minima. Those minima are important to visualize to let a user guide, prevent or predict motions. Towards this goal, we develop the motion planning explorer, an algorithm to let users interactively explore a tree of local-minima. Following ideas from Morse theory, we define local minima as paths invariant under minimization of a cost functional. The local-minima are grouped into a local-minima tree using lower-dimensional projections specified by a user. The user can then interactively explore the local-minima tree, thereby visualizing the problem structure and guide or prevent motions. We show the motion planning explorer to faithfully capture local minima in four realistic scenarios, both for holonomic and certain non-holonomic robots.


title: Gyrokinetic theory with polynomial transforms: a model for ions and electrons in maximal ordering

abstract: We propose a novel derivation of the gyrokinetic field-particle Lagrangian for non-collisional ion-electron plasmas in a magnetic background with strong variations (maximal ordering). Our approach follows the two-step reduction process, where the guiding-center coordinate transformation is followed by the gyrocenter coordinate transformation in the single-particle phase space. For the first time both steps are addressed within a unique methodology, based on near-identity coordinate transformations constructed as polynomial transforms. These are well-defined transformations composed of a finite number of terms that are linear and algebraic with respect to the generating functions. The derivation is carried out in a fully non-dimensional framework, based on parameters governing the magnetic fusion experiments ASDEX Upgrade and ITER. Our method leads to a gyrokinetic Vlasov-Maxwell model for ions and electrons, derived without the use of Lie perturbation methods. It is found that, based on the employed ordering, curvature terms such as the gyro-gauge term and the Ba\~nos drift appear at first order in the ion Hamiltonian, whereas ion polarization terms appear only at second order. By contrast, curvature terms are absent from the first-order electron Hamiltonian, where instead magnetic flutter plays a role.


title: Exploration of the phase diagram and the thermodynamic properties of QCD at finite temperature and chemical potential with the PNJL effective model

abstract: The QCD transition from a hadronic to a quark-gluon plasma phase is a cross-over at vanishing/small baryo-chemical potential, while at higher chemical potentials it is argued that it becomes of first order, ending with a critical end-point. The present goal is the determination of the critical line and, possibly, the recognition of the critical endpoint. For this purpose, the effective model (Nambu-Jona-Lasinio model with Polyakov Loop) with 2+1 flavours is used. In Mean Field Approximation it is possible to obtain all thermodynamic quantities (pressure, entropy, energy and quark density) and their fluctuations, in particular, the generalized quark-number susceptibilities. We use the net baryon-number fluctuations and net-strangeness fluctuations to identify the critical line and the order of the phase transition in the chemical potential - temperature plane.


title: How to make latent factors interpretable by feeding Factorization machines with knowledge graphs

abstract: Model-based approaches to recommendation can recommend items with a very high level of accuracy. Unfortunately, even when the model embeds content-based information, if we move to a latent space we miss references to the actual semantics of recommended items. Consequently, this makes non-trivial the interpretation of a recommendation process. In this paper, we show how to initialize latent factors in Factorization Machines by using semantic features coming from a knowledge graph in order to train an interpretable model. With our model, semantic features are injected into the learning process to retain the original informativeness of the items available in the dataset. The accuracy and effectiveness of the trained model have been tested using two well-known recommender systems datasets. By relying on the information encoded in the original knowledge graph, we have also evaluated the semantic accuracy and robustness for the knowledge-aware interpretability of the final model.


title: A momentum conserving accretion disk wind in the narrow line Seyfert 1, I Zwicky 1

abstract: I Zwicky 1 is the prototype optical narrow line Seyfert 1 galaxy. It is also a nearby ($z=0.0611$), luminous QSO, accreting close to the Eddington limit. XMM-Newton observations of I Zw 1 in 2015 reveal the presence of a broad and blueshifted P-Cygni iron K profile, as observed through a blue-shifted absorption trough at 9 keV and a broad excess of emission at 7 keV in the X-ray spectra. The profile can be well fitted with a wide angle accretion disk wind, with an outflow velocity of at least $-0.25c$. In this respect, I Zw 1 may be an analogous to the prototype fast wind detected in the QSO, PDS 456, while its overall mass outflow rate is scaled down by a factor $\times50$ due to its lower black hole mass. The mechanical power of the fast wind in I Zw 1 is constrained to within $5-15$% of Eddington, while its momentum rate is of the order unity. Upper-limits placed on the energetics of any molecular outflow, from its CO profile measured by IRAM, appear to rule out the presence of a powerful, large scale, energy conserving wind in this AGN. We consider whether I Zw 1 may be similar to a number of other AGN, such as PDS 456, where the large scale galactic outflow is much weaker than what is anticipated from models of energy conserving feedback.


title: Sparse and Imperceivable Adversarial Attacks

abstract: Neural networks have been proven to be vulnerable to a variety of adversarial attacks. From a safety perspective, highly sparse adversarial attacks are particularly dangerous. On the other hand the pixelwise perturbations of sparse attacks are typically large and thus can be potentially detected. We propose a new black-box technique to craft adversarial examples aiming at minimizing $l_0$-distance to the original image. Extensive experiments show that our attack is better or competitive to the state of the art. Moreover, we can integrate additional bounds on the componentwise perturbation. Allowing pixels to change only in region of high variation and avoiding changes along axis-aligned edges makes our adversarial examples almost non-perceivable. Moreover, we adapt the Projected Gradient Descent attack to the $l_0$-norm integrating componentwise constraints. This allows us to do adversarial training to enhance the robustness of classifiers against sparse and imperceivable adversarial manipulations.


title: New insights for the multivariate square-root lasso

abstract: We study the multivariate square-root lasso, a method for fitting the multivariate response linear regression model with dependent errors. This estimator minimizes the nuclear norm of the residual matrix plus a convex penalty. Unlike existing methods that require explicit estimates of the error precision (inverse covariance) matrix, the multivariate square-root lasso implicitly accounts for error dependence and is the solution to a convex optimization problem. We establish error bounds which reveal that like the univariate square-root lasso, the multivariate square-root lasso is pivotal with respect to the unknown error covariance matrix. In addition, we propose a variation of the alternating direction method of multipliers algorithm to compute the estimator and discuss an accelerated first order algorithm that can be applied in certain cases. In both simulation studies and a genomic data application, we show that the multivariate square-root lasso can outperform more computationally intensive methods that require explicit estimation of the error precision matrix.


title: Iterative versus Exhaustive Data Selection for Cross Project Defect Prediction: An Extended Replication Study

abstract: Context: The effectiveness of data selection approaches in improving the performance of cross project defect prediction(CPDP) has been shown in multiple previous studies. Beside that, replication studies play an important role in the support of any valid study. Repeating a study using the same or different subjects can lead to better understandings of the nature of the problem. Objective: We use an iterative dataset selection (IDS) approach to generate training datasets and evaluate them on a set of randomly created validation datasets in the context of CPDP while considering a higher range of flexibility which makes the approach more feasible in practice. Method: We replicate an earlier study and present some insights into the achieved results while pointing out some of the shortcomings of the original study. Using the lessons learned, we propose to use an alternative training/validation dataset generation approaches which not only is more feasible in practice, but also achieves slightly better performances. We compare the results of our experiments to those from scenarios A, B, C and D from the original study. Results:Our experiments reveal that IDS is heavily recall based. The average recall performance for all test sets is 0.933 which is significantly higher than that from the replicated method. This in turn comes with a loss in precision. IDS has the lowest precision among the compared scenarios that use Decision Table learner. IDS however, achieves comparable or better F-measure performances. IDS achieves higher mean, median and min F-measure values while being more stable generally, in comparison with the replicated method. Conclusions: We conclude that datasets obtained from iterative/search-based approaches is a promising way to tackle CPDP. Especially, the performance increase in terms of both time and performance encourages further investigation of our approach.


title: Regularity for almost-minimizers of variable coefficient Bernoulli-type functionals

abstract: In [David-Toro 15] and [David-Engelstein-Toro 19], (some of) the authors studied almost minimizers for functionals of the type first studied by Alt and Caffarelli in [Alt-Caffarelli 81] and Alt, Caffarelli and Friedman in [Alt-Caffarelli-Friedman 84]. In this paper we study the regularity of almost minimizers to energy functionals with variable coefficients (as opposed to [DT15, DET19. AC 81] and [ACF84] which deal only with the "Laplacian" setting). We prove Lipschitz regularity up to, and across, the free boundary, generalizing the results of [David-Toro 15] to the variable coefficient setting.


title: LazyBum: Decision tree learning using lazy propositionalization

abstract: Propositionalization is the process of summarizing relational data into a tabular (attribute-value) format. The resulting table can next be used by any propositional learner. This approach makes it possible to apply a wide variety of learning methods to relational data. However, the transformation from relational to propositional format is generally not lossless: different relational structures may be mapped onto the same feature vector. At the same time, features may be introduced that are not needed for the learning task at hand. In general, it is hard to define a feature space that contains all and only those features that are needed for the learning task. This paper presents LazyBum, a system that can be considered a lazy version of the recently proposed OneBM method for propositionalization. LazyBum interleaves OneBM's feature construction method with a decision tree learner. This learner both uses and guides the propositionalization process. It indicates when and where to look for new features. This approach is similar to what has elsewhere been called dynamic propositionalization. In an experimental comparison with the original OneBM and with two other recently proposed propositionalization methods (nFOIL and MODL, which respectively perform dynamic and static propositionalization), LazyBum achieves a comparable accuracy with a lower execution time on most of the datasets.


title: Hanbury Brown and Twiss Exchange Correlations in Graphene Box

abstract: Quadratic detection in linear mesoscopic transport systems produces cross terms that can be viewed as interference signals reflecting statistical properties of charge carriers. In electronic systems these cross term interferences arise from exchange effects due to Pauli principle. Here we demonstrate fermionic Hanbury Brown and Twiss (HBT) exchange phenomena due to indistinguishability of charge carriers in a diffusive graphene system. These exchange effects are verified using current-current cross correlations in combination with regular shot noise (autocorrelation) experiments at microwave frequencies. Our results can be modeled using semiclassical analysis for a square-shaped metallic diffusive conductor, including contributions from contact transparency. The experimentally determined HBT exchange factor values lie between the calculated ones for coherent and hot electron transport.


title: Drell-Yan plus jet production and BFKL evolution

abstract: Production of a forward Drell-Yan lepton pair accompanied by a jet separated by a large rapidity interval is proposed to study the BFKL evolution at the LHC. Several observables to be measured are presented including the azimuthal angle dependence of the lepton pair which allows to determine Drell-Yan structure functions.


title: Ergodic control of diffusions with random intervention times

abstract: We study an ergodic singular control problem with constraint of a regular one-dimensional linear diffusion. The constraint allows the agent to control the diffusion only at jump times of independent Poisson process. Under relatively weak assumptions, we characterize the optimal solution as impulse type control policy, where it is optimal to exert the exact amount of control needed to push the process to a unique threshold. Moreover, we discuss the connection of the present problem to ergodic singular control problems, and finally, illustrate the results with different well-known cost and diffusion structures.


title: Connected sums of knots do not admit purely cosmetic surgeries

abstract: Two Dehn surgeries on a knot are called purely cosmetic if their surgered manifolds are homeomorphic as oriented manifolds. Gordon conjectured that non-trivial knots in $S^3$ do not admit purely cosmetic surgeries. In this article, we confirm this conjecture for connected sums of knots by analysing the JSJ-structures.


title: Calibration of the EUSO-TA detector with stars

abstract: The Extreme Universe Space Observatory-Telescope Array (EUSO-TA) is a ground-based experiment, part of the JEM-EUSO (Joint Experiment Missions -- Extreme Universe Space Observatory) dedicated to the observation of Ultra High Energy Cosmic Rays (UHECRs) in parallel with the Telescope Array (TA) experiment. The main goal of EUSO-TA operations is to test the hardware and calibrate the EUSO detector to obtain optimal performance for cosmic ray observations. Apart from the artificial source calibration such as the Central Laser Facility (CLF), mobile lasers and UV diodes, natural signals from stars can be also used as a calibration source. This work presents the results of the calibration of the EUSO-TA detector. The influence of the atmosphere and of the detector parameters on star observations are discussed. Considering, stars as point-like sources with well known UV emission parameters, signal amplitudes from stars as well as the EUSO-TA detector point spread function were estimated. This unique calibration method could be used in future missions of the JEM-EUSO program such as EUSO-SPB2 (Super-Pressure Balloon).


title: Emergent dual topology in the three-dimensional Kane-Mele Pt$_2$HgSe$_3$

abstract: Recently, the very first large-gap Kane-Mele quantum spin Hall insulator was predicted to be monolayer jacutingaite (Pt$_2$HgSe$_3$), a naturally-occurring exfoliable mineral discovered in Brazil in 2008. The stacking of quantum spin Hall monolayers into a van-der-Waals layered crystal typically leads to a (0;001) weak topological phase, which does not protect the existence of surface states on the (001) surface. Unexpectedly, recent angle-resolved photoemission spectroscopy experiments revealed the presence of surface states dispersing over large areas of the 001-surface Brillouin zone of jacutingaite single crystals. The 001-surface states have been shown to be topologically protected by a mirror Chern number $C_M=-2$, associated with a nodal line gapped by spin-orbit interactions. Here, we extend the two-dimensional Kane-Mele model to bulk jacutingaite and unveil the microscopic origin of the gapped nodal line and the emerging crystalline topological order. By using maximally-localized Wannier functions, we identify a large non-trivial second nearest-layer hopping term that breaks the standard paradigm of weak topological insulators. Complemented by this term, the predictions of the Kane-Mele model are in remarkable agreement with recent experiments and first-principles simulations, providing an appealing conceptual framework also relevant for other layered materials made of stacked honeycomb lattices.


title: Bulk and surface electronic structure of the dual-topology semimetal Pt2HgSe3

abstract: We report high-resolution angle resolved photoemission measurements on single crystals of Pt2HgSe3 grown by high-pressure synthesis. Our data reveal a gapped Dirac nodal line whose (001)-projection separates the surface Brillouin zone in topological and trivial areas. In the non-trivial $k$-space range we find surface states with multiple saddle-points in the dispersion resulting in two van Hove singularities in the surface density of states. Based on density functional theory calculations, we identify these surface states as signatures of a topological crystalline state which coexists with a weak topological phase.


title: DuMu$^\text{x}$ 3 -- an open-source simulator for solving flow and transport problems in porous media with a focus on model coupling

abstract: We present version 3 of the open-source simulator for flow and transport processes in porous media DuMu$^\text{x}$. DuMu$^\text{x}$ is based on the modular C++ framework Dune (Distributed and Unified Numerics Environment) and is developed as a research code with a focus on modularity and reusability. We describe recent efforts in improving the transparency and efficiency of the development process and community-building, as well as efforts towards quality assurance and reproducible research. In addition to a major redesign of many simulation components in order to facilitate setting up complex simulations in DuMu$^\text{x}$, version 3 introduces a more consistent abstraction of finite volume schemes. Finally, the new framework for multi-domain simulations is described, and three numerical examples demonstrate its flexibility.


title: The BRST cohomology and a generalized Lie algebra cohomology: analysis of a matrix model

abstract: This article is devoted to the analysis of the gauge-fixed BRST cohomology complex for a matrix model endowed with a $U(2)$-gauge symmetry. After a brief introduction on the BV construction and the gauge-fixing procedure in the setting of finite-dimensional gauge theories, we apply these constructions to the model, with the purpose of explicitly determining and computing the corresponding gauge-fixed BRST cohomology groups. In the second part of this article, we introduce a notion of generalized Lie algebra cohomology, which allows the gauge-fixed BRST cohomology complex for a new description, able to detect a double complex structure.


title: Local block-wise self attention for normal organ segmentation

abstract: We developed a new and computationally simple local block-wise self attention based normal structures segmentation approach applied to head and neck computed tomography (CT) images. Our method uses the insight that normal organs exhibit regularity in their spatial location and inter-relation within images, which can be leveraged to simplify the computations required to aggregate feature information. We accomplish this by using local self attention blocks that pass information between each other to derive the attention map. We show that adding additional attention layers increases the contextual field and captures focused attention from relevant structures. We developed our approach using U-net and compared it against multiple state-of-the-art self attention methods. All models were trained on 48 internal headneck CT scans and tested on 48 CT scans from the external public domain database of computational anatomy dataset. Our method achieved the highest Dice similarity coefficient segmentation accuracy of 0.85$\pm$0.04, 0.86$\pm$0.04 for left and right parotid glands, 0.79$\pm$0.07 and 0.77$\pm$0.05 for left and right submandibular glands, 0.93$\pm$0.01 for mandible and 0.88$\pm$0.02 for the brain stem with the lowest increase of 66.7\% computing time per image and 0.15\% increase in model parameters compared with standard U-net. The best state-of-the-art method called point-wise spatial attention, achieved \textcolor{black}{comparable accuracy but with 516.7\% increase in computing time and 8.14\% increase in parameters compared with standard U-net.} Finally, we performed ablation tests and studied the impact of attention block size, overlap of the attention blocks, additional attention layers, and attention block placement on segmentation performance.


title: Simplifying measurement uncertainty with quantum symmetries

abstract: Determining the measurement uncertainty region is a difficult problem for generic sets of observables. For this reason the literature on exact measurement uncertainty regions is focused on symmetric sets of observables, where the symmetries are used to simplify the calculation. We provide a framework to systematically exploit available symmetries, formulated in terms of covariance, to simplify problems of measurement uncertainty. Our key result is that for a wide range figures of merit the optimal compatible approximations of covariant target observables are themselves covariant. This substantially simplifies the problem of determining measurement uncertainty regions for cases where it applies, since the space of covariant observables is typically much smaller than that of all observables. An intermediate result, which may be applicable more broadly, is the existence and characterisation of a covariantisation map, mapping observables to covariant observables. Our formulation is applicable to finite outcome observables on separable Hilbert spaces. We conjecture that the restriction of finite outcomes may be lifted, and explore some of the features a generalisation must have. We demonstrate the theorem by deriving measurement uncertainty regions for three mutually orthogonal Pauli observables, and for phase space observables in arbitrary finite dimensions.


title: State constrained control-affine parabolic problems II: Second order sufficient optimality conditions

abstract: In this paper we consider an optimal control problem governed by a semilinear heat equation with bilinear control-state terms and subject to control and state constraints. The state constraints are of integral type, the integral being with respect to the space variable. The control is multidimensional. The cost functional is of a tracking type and contains a linear term in the control variables. We derive second order sufficient conditions relying on the Goh transform. The appendix provides an example illustrating the applicability of our results.


title: Quenching of gamma0 transition results from p-wave neutron inducing doorway mechanism

abstract: Gamma-strength function essentially distinguishes the reaction mechanisms of charged particle inelastic and neutron capture reactions, reflecting from the ratios of transition of neutron capture to low-lying states. The extraordinary quenching of gamma_0 transition of p-wave neutron resonance reaction in 3s-region nucleus 57Fe is observed, for the first time, due to the non-forming 2p-1h doorway state activation which raises the strong intensities of gamma_1 and gamma_2. The enhancement of low energy gamma-strength function doesn't emerge in the neutron capture reaction resulting from the population of cascade transitions of low-lying states rather than primary transitions. The astrophysical reaction rates that are extracted from total and partial neutron capture cross sections of 57Fe might be adopted to constrain the abundance of the successive heavier isotopes in s-process.


title: Intersection theories of coherent sheaf stacks and virtual pull-backs via semi-perfect obstruction theories

abstract: In this paper, we construct proper pushforwards and flat pullbacks in Chow groups of coherent sheaf stacks over a Deligne-Mumford(DM) stack. When there is a relative semi-perfect obstruction theory for a DM-type morphism $X \to Y$, $X$ is a DM stack and $Y$ is a DM stack or a smooth Artin stack, we define a virtual pull-back as a bivariant class. This is an analogue of virtual pull-backs defined by Manolache.


title: Generalized Optimal Two-way Relays Subsets Pairings in Cloud-based Region Cognitive Networks

abstract: Communication reliability improving is one of most important research requirements in cognitive networks, as 5G communications technology rapidly develop nowadays. In this paper, we propose generalized optimal cloud-based region relays subsets paring model in underlay dual-hop cognitive networks, this unified model reveals three relays nodes characteristics of cloud-based cooperative networks in the nearby area- A subset, only needs receiving for first hop, B subset, just receive and forward, C subset, only forwarding. In addition, this generalized model can be converted into various classical relay selection algorithms when A, B and C subsets are taken as special selection values [Table II]. Furthermore, we put forward optimal relays subsets pairings and replacement algorithm flowchart to improve minimum outage probability (OP) for communication reliability, and prove that optimal relays subsets pairings (A, B, C) will better guarantee reliability of communication, comparing other popular relays selection schemes. Simulation results show that optimal relays paired subsets are exist and this generalized algorithm enormously reduces OP, comparing other selection algorithms.


title: Incremental proximal gradient scheme with penalization for constrained composite convex optimization problems

abstract: We consider the problem of minimizing a finite sum of convex functions subject to the set of minimizers of a convex differentiable function. In order to solve the problem, an algorithm combining the incremental proximal gradient method with smooth penalization technique is proposed. We show the convergence of the generated sequence of iterates to an optimal solution of the optimization problems, provided that a condition expressed via the Fenchel conjugate of the constraint function is fulfilled. Finally, the functionality of the method is illustrated by some numerical experiments addressing image inpainting problems and generalized Heron problems with least squares constraints.


title: A radiative Type-II seesaw model with broken Symmetry Ansatz

abstract: Parametrization of the neutrino mass matrix in terms of well-known measured quantities is an attractive way to obtain a phenomenologically viable form. We propose a model of neutrino mass matrix based on type-II seesaw mechanism adhering the concept of badly broken symmetry. Two of the mixing angles are coming out as $\theta_{23}\sim46.08^{\circ}$, $\theta_{13}\sim8.69^{\circ}$. However, to accommodate the other oscillation parameters, we further add an extra doublet and the neutrino masses are generated through the Zee mechanism at the one loop level, and the modified model can admit all the extant data for a suitable choice of model parameters.


title: Logarithmic Regret for Online Control

abstract: We study optimal regret bounds for control in linear dynamical systems under adversarially changing strongly convex cost functions, given the knowledge of transition dynamics. This includes several well studied and fundamental frameworks such as the Kalman filter and the linear quadratic regulator. State of the art methods achieve regret which scales as $O(\sqrt{T})$, where $T$ is the time horizon. We show that the optimal regret in this setting can be significantly smaller, scaling as $O(\text{poly}(\log T))$. This regret bound is achieved by two different efficient iterative methods, online gradient descent and online natural gradient.


title: Independent Subspace Analysis for Unsupervised Learning of Disentangled Representations

abstract: Recently there has been an increased interest in unsupervised learning of disentangled representations using the Variational Autoencoder (VAE) framework. Most of the existing work has focused largely on modifying the variational cost function to achieve this goal. We first show that these modifications, e.g. beta-VAE, simplify the tendency of variational inference to underfit causing pathological over-pruning and over-orthogonalization of learned components. Second we propose a complementary approach: to modify the probabilistic model with a structured latent prior. This prior allows to discover latent variable representations that are structured into a hierarchy of independent vector spaces. The proposed prior has three major advantages: First, in contrast to the standard VAE normal prior the proposed prior is not rotationally invariant. This resolves the problem of unidentifiability of the standard VAE normal prior. Second, we demonstrate that the proposed prior encourages a disentangled latent representation which facilitates learning of disentangled representations. Third, extensive quantitative experiments demonstrate that the prior significantly mitigates the trade-off between reconstruction loss and disentanglement over the state of the art.


title: The third Milgram-Priddy class lifts

abstract: We show that the third cohomology of the finite general linear group $GL_6(\mathbb{F}_2)$ with trivial mod 2 coefficients is non-zero. The necessarily unique non-trivial element restricts to the third Milgram-Priddy class.


title: Large deviations for random walks on Lie groups

abstract: We study large deviations for random walks on Lie groups defined by $\sigma_n^n = \exp(\frac1nX_1)\cdots\exp(\frac1nX_n)$, where $\{X_n\}_{n\geq1}$ is an i.i.d sequence of bounded random variables in the Lie algebra $\mathfrak{g}$. We follow a similar approach as in the proof of large deviations for geodesic random walks as given in [Ver19]. This approach makes it possible to simply rescale the increments of the random walk, without having to resort to dilations in order to reduce the influence of higher order commutators. Finally, we will apply this large deviation result to the Lie group of stochastic matrices.


title: Structure formation in turbulence as instability of effective quantum plasma

abstract: Structure formation in turbulence is effectively an instability of "plasma" formed by fluctuations serving as particles. These "particles" are quantumlike; namely, their wavelengths are non-negligible compared to the sizes of background coherent structures. The corresponding "kinetic equation" describes the Wigner matrix of the turbulent field, and the coherent structures serve as collective fields. This formalism is usually applied to manifestly quantumlike or scalar waves. Here, we extend it to compressible Navier--Stokes turbulence, where the fluctuation Hamiltonian is a five-dimensional matrix operator and diverse modulational modes are present. As an example, we calculate these modes for a sinusoidal shear flow and find two modulational instabilities. One of them is specific to supersonic flows, and the other one is a Kelvin--Helmholtz-type instability that is a generalization of the known zonostrophic instability. This work serves as a stepping stone toward improving the understanding of magnetohydrodynamic turbulence, which can be approached similarly.


title: Characterisation of planar Brownian multiplicative chaos

abstract: We characterise the multiplicative chaos measure $\mathcal{M}$ associated to planar Brownian motion introduced in [BBK94,AHS20,Jeg20a] by showing that it is the only random Borel measure satisfying a list of natural properties. These properties only serve to fix the average value of the measure and to express a spatial Markov property. As a consequence of our characterisation, we establish the scaling limit of the set of thick points of planar simple random walk, stopped at the first exit time of a domain, by showing the weak convergence towards $\mathcal{M}$ of the point measure associated to the thick points. In particular, we obtain the convergence of the appropriately normalised number of thick points of random walk to a nondegenerate random variable. The normalising constant is different from that of the Gaussian free field, as conjectured in [Jeg20b]. These results cover the entire subcritical regime. A key new idea for this characterisation is to introduce measures describing the intersection between different Brownian trajectories and how they interact to create thick points.


title: Symmetry-breaking Actuation Mechanism for Soft Robotics and Active Metamaterials

abstract: Magnetic-responsive composites that consist of soft matrix embedded with hard-magnetic particles have recently been demonstrated as robust soft active materials for fast-transforming actuation. However, the deformation of the functional components commonly attains only a single actuation mode under external stimuli, which limits their capability of achieving tunable properties. To greatly enhance the versatility of soft active materials, we exploit a new class of programmable magnetic-responsive composites incorporated with a multifunctional joint design that allows asymmetric multimodal actuation under an external stimulation. We demonstrate that the proposed asymmetric multimodal actuation enables a plethora of novel applications ranging from the basic 1D/2D active structures with asymmetric shape-shifting to biomimetic crawling and swimming robots with efficient dynamic performance as well as 2D metamaterials with tunable properties. This new asymmetric multimodal actuation mechanism will open new avenues for the design of next-generation multifunctional soft robots, biomedical devices, and acoustic metamaterials.


title: Analytical approximations for the dispersion of electromagnetic modes in slabs of biaxial crystals

abstract: Anisotropic crystals have recently attracted considerable attention because of their ability to support polaritons with a variety of unique properties, such as hyperbolic dispersion, negative phase velocity, or extreme confinement. Particularly, the biaxial crystal $\alpha$-MoO$_3$ has been demonstrated to support phonon polaritons, light coupled to lattice vibrations, with in-plane anisotropic propagation and unusually long lifetime. However, the lack of theoretical studies on electromagnetic modes in biaxial crystal slabs impedes a complete interpretation of the experimental data, as well as an efficient design of nanostructures supporting such highly anisotropic polaritons. Here, we derive the dispersion relation of electromagnetic modes in biaxial slabs surrounded by semi-infinite isotropic dielectric half-spaces with arbitrary dielectric permittivities. Apart from a general dispersion relation, we provide very simple analytical expressions in typical experiments in nano-optics: the limits of short polaritonic wavelength and/or very thin slabs. The results of our study will allow for an in-depth analysis of anisotropic polaritons in novel biaxial van der Waals materials.


title: Oscillatory Instabilities in 3-Dimensional Frictional Granular Matter

abstract: The dynamics of amorphous granular matter with frictional interactions cannot be derived in general from a Hamiltonian and therefore displays oscillatory instabilities stemming from the onset of complex eigenvalues in the stability matrix. These instabilities were discovered in the context of one and two dimensional systems, while the three dimensional case was never studied in detail. Here we fill this gap by deriving and demonstrating the presence of oscillatory instabilities in a three dimensional granular packing. We study binary assemblies of spheres of two sizes interacting via classical Hertz and Mindlin force laws for the longitudinal and tangent interactions, respectively. We formulate analytically the stability matrix in 3D and observe that a couple of complex eigenvalues emerges at the onset of the instability as in the case of frictional disks in two-dimensions. The dynamics then shows oscillatory exponential growth in the Mean-Square-Displacement, followed by a catastrophic event. The generality of these results for any choice of forces that break the symplectic Hamiltonian symmetry is discussed.


title: Nonlinear dynamics of acoustic bubbles excited by their pressure dependent subharmonic resonance frequency: oversaturation and enhancement of the subharmonic signal

abstract: The acoustic bubble is an example of a highly nonlinear system which is the building block of several applications and phenomena ranging from underwater acoustics to sonochemistry and medicine. Nonlinear behavior of bubbles, and most importantly 1/2 order subharmonics (SH), are used to increase the contrast to tissue ratio (CTR) in diagnostic ultrasound (US) and to monitor bubble mediated therapeutic US. It is shown experimentally and numerically that when bubbles are sonicated with their SH resonance frequency (fsh=2fr where fr is the linear resonance frequency), SHs are generated at the lowest excitation pressure. SHs then increase rapidly with pressure increase and reach an upper limit of the achievable SH signal strength. Numerous studies have investigated the pressure threshold of SH oscillations; however, conditions to enhance the saturation level of SHs has not been investigated. In this paper nonlinear dynamics of bubbles excited by frequencies in the range of fr<f<2fr is studied for different sizes of bubbles (400nm-8 micron). We show that the SH resonance frequency is pressure dependent and decreases as pressure increases. When a bubble is sonicated with its pressure dependent SH resonance frequency, oscillations undergo a saddle node bifurcation from a P1 or P2 regime to a P2 oscillation regime with higher amplitude. The saddle node bifurcation is concomitant with over saturation of the SH and UH amplitude and eventual enhancement of the upper limit of SH and UH strength (e.g. $\approx$ 7 dB in UH amplitude). This can increase the CTR and signal to noise ratio in applications. Here, we show that the highest non-destructive SH amplitude occurs when f~=1.5-1.8fr.


title: Relativistic Difference of LIGO Signal

abstract: Signal waves of the monotonously increasing frequency detected by LIGO are generally considered to be gravitational waves of spiral binary stars, thus confirming the general theory of relativity. Here we present a universal method for signal wave spectrum analysis, introducing the true conclusions of numerical calculation and image analysis of GW150914 signal wave. Firstly, numerical calculation results of GW150914 signal wave frequency change rate obey the com quantization law which needs to be accurately described by integers, and there is an irreconcilable difference between the results and the generalized relativistic frequency equation of the gravitational wave. Secondly, the assignment of the frequency and frequency change rate of GW10914 signal wave to the generalized relativistic frequency equation of gravitational wave constructs a non-linear equation group about the mass of wave source, and the computer image solution shows that the equation group has no GW10914 signal wave solution. Thirdly, it is not unique to calculate the chirp mass of the wave source from the different frequencies and change rates of the numerical relativistic waveform of the GW150914 signal wave, and the numerical relativistic waveform of the GW150914 signal wave deviates too far from the original waveform actually. Other LIGO signal waveforms do not have obvious characteristics of gravitational frequency variation of spiral binary stars and lack precise data, so they cannot be used for numerical analysis and image solution. Therefore, the generalized relativistic frequency equation of gravitational wave has not been verified by LIGO signal wave up to now. Does this mean that the gravitational wave signals from some spiral binaries that may be detected in future obey the same com quantization law? The answer remains unclear.


title: PCONV: The Missing but Desirable Sparsity in DNN Weight Pruning for Real-time Execution on Mobile Devices

abstract: Model compression techniques on Deep Neural Network (DNN) have been widely acknowledged as an effective way to achieve acceleration on a variety of platforms, and DNN weight pruning is a straightforward and effective method. There are currently two mainstreams of pruning methods representing two extremes of pruning regularity: non-structured, fine-grained pruning can achieve high sparsity and accuracy, but is not hardware friendly; structured, coarse-grained pruning exploits hardware-efficient structures in pruning, but suffers from accuracy drop when the pruning rate is high. In this paper, we introduce PCONV, comprising a new sparsity dimension, -- fine-grained pruning patterns inside the coarse-grained structures. PCONV comprises two types of sparsities, Sparse Convolution Patterns (SCP) which is generated from intra-convolution kernel pruning and connectivity sparsity generated from inter-convolution kernel pruning. Essentially, SCP enhances accuracy due to its special vision properties, and connectivity sparsity increases pruning rate while maintaining balanced workload on filter computation. To deploy PCONV, we develop a novel compiler-assisted DNN inference framework and execute PCONV models in real-time without accuracy compromise, which cannot be achieved in prior work. Our experimental results show that, PCONV outperforms three state-of-art end-to-end DNN frameworks, TensorFlow-Lite, TVM, and Alibaba Mobile Neural Network with speedup up to 39.2x, 11.4x, and 6.3x, respectively, with no accuracy loss. Mobile devices can achieve real-time inference on large-scale DNNs.


title: On the natural gradient for variational quantum eigensolver

abstract: The variational quantum eigensolver is a hybrid algorithm composed of quantum state driving and classical parameter optimization, for finding the ground state of a given Hamiltonian. The natural gradient method is an optimization method taking into account the geometric structure of the parameter space. Very recently, Stokes et al. developed the general method for employing the natural gradient for the variational quantum eigensolver. This paper gives some simple case-studies of this optimization method, to see in detail how the natural gradient optimizer makes use of the geometric property to change and improve the ordinary gradient method.


title: Practical Calculation of Gittins Indices for Multi-armed Bandits

abstract: Gittins indices provide an optimal solution to the classical multi-armed bandit problem. An obstacle to their use has been the common perception that their computation is very difficult. This paper demonstrates an accessible general methodology for the calculating Gittins indices for the multi-armed bandit with a detailed study on the cases of Bernoulli and Gaussian rewards. With accompanying easy-to-use open source software, this work removes computation as a barrier to using Gittins indices in these commonly found settings.


title: Static Analysis for Probabilistic Programs

abstract: Probabilistic programming is a powerful abstraction for statistical machine learning. Applying static analysis methods to probabilistic programs could serve to optimize the learning process, automatically verify properties of models, and improve the programming interface for users. This field of static analysis for probabilistic programming (SAPP) is young and unorganized, consisting of a constellation of techniques with various goals and limitations. The primary aim of this work is to synthesize the major contributions of the SAPP field within an organizing structure and context. We provide technical background for static analysis and probabilistic programming, suggest a functional taxonomy for probabilistic programming languages, and analyze the applicability of major ideas in the SAPP field. We conclude that, while current static analysis techniques for probabilistic programs have practical limitations, there are a number of future directions with high potential to improve the state of statistical machine learning.


title: Non-commutative first order differential calculus over finitely generated associative algebras

abstract: In this review article the construction of first order coordinate differential calculi on finitely generated and finitely related associative algebras are considered and explicit construction of the bimodule of one form over such algebras is presented. The concept of optimal algebras for such calculi are also discussed. Detailed computations presented will make this note particularly useful for physicists.


title: On the interstellar Von Neumann micro self-reproducing probes

abstract: In this paper we consider efficiency of self-reproducing extraterrestrial Von-Neumann micro scale robots and analyse the observational characteristics. By examining the natural scenario of moving in the HII clouds, it has been found that the timescale of replication might be several years and even less - making the process of observation quite promising. We have shown that by encountering the interstellar protons the probes might be visible at least in the infrared energy band and the corresponding luminosities might reach enormous values.


title: A Survey on Studying the Social Networks of Students

abstract: Do studies show that physical and online students' social networks support education? Analyzing interactions between students in schools and universities can provide a wealth of information. Studies on students' social networks can help us understand their behavioral dynamics, the correlation between their friendships and academic performance, community and group formation, information diffusion, and so on. Educational goals and holistic development of students with various academic abilities and backgrounds can be achieved by incorporating the findings attained by the studies in terms of knowledge propagation in classroom and spread of delinquent behaviors. Moreover, we use Social Network Analysis (SNA) to identify isolated students, ascertain the group study culture, analyze the spreading of various habits like smoking, drinking, and so on. In this paper, we present a review of the research showing how analysis of students' social networks can help us identify how improved educational methods can be used to make learning more inclusive at both school and university levels and achieve holistic development of students through expansion of their social networks, as well as control the spread of delinquent behaviors.


title: A nonhomogeneous critical Kirchhoff-Schr\"odinger type equation in $\mathbb{R}^{4}$ involving vanishing potentials

abstract: In this paper we establish the existence of mountain pass and negative energy weak solutions for a Kirchhoff-Schr\"odinger type problem in $\mathbb R^4$ involving a critical nonlinearity and a suitable small perturbation. The arisen competition between the terms due to the nonlocal coefficient and critical nonlinearity turns out to be rather interesting. The main tools used in the present work are variational methods and the Lions' Concentration Compactness Principle.


title: Good-for-MDPs Automata for Probabilistic Analysis and Reinforcement Learning

abstract: We characterize the class of nondeterministic ${\omega}$-automata that can be used for the analysis of finite Markov decision processes (MDPs). We call these automata `good-for-MDPs' (GFM). We show that GFM automata are closed under classic simulation as well as under more powerful simulation relations that leverage properties of optimal control strategies for MDPs. This closure enables us to exploit state-space reduction techniques, such as those based on direct and delayed simulation, that guarantee simulation equivalence. We demonstrate the promise of GFM automata by defining a new class of automata with favorable properties - they are B\"uchi automata with low branching degree obtained through a simple construction - and show that going beyond limit-deterministic automata may significantly benefit reinforcement learning.


title: Solitonic fixed point attractors in the complex Ginzburg-Landau equation for associative memories

abstract: It was recently shown [V.V. Cherny, T. Byrnes, A.N. Pyrkov, \textit{Adv. Quantum Technol.} \textbf{2019} \textit{2}, 1800087] that the nonlinear Schrodinger equation with a simplified dissipative perturbation of special kind features a zero-velocity solitonic solution of non-zero amplitude which can be used in analogy to attractors of Hopfield's associative memory. In this work, we consider a more complex dissipative perturbation adding the effect of two-photon absorption and the quintic gain/loss effects that yields formally the complex Ginzburg-Landau equation (CGLE). We construct a perturbation theory for the CGLE with a small dissipative perturbation and define the behavior of the solitonic solutions with parameters of the system and compare the solution with numerical simulations of the CGLE. We show that similarly to the nonlinear Schrodinger equation with a simplified dissipation term, a zero-velocity solitonic solution of non-zero amplitude appears as an attractor for the CGLE. In this case the amplitude and velocity of the solitonic fixed point attractor does not depend on the quintic gain/loss effects. Furthermore, the effect of two-photon absorption leads to an increase in the strength of the solitonic fixed point attractor.


title: Developing ZnO Nanoparticle embedded Antimicrobial Starch Biofilm for Food Packaging

abstract: Starch based bio-films act as biodegradable packaging material for coating and wrapping food products, which is alternate to the synthetic polymer. Nanoparticles (NPs) are also alternative to antibiotics to target pathogens. Through interaction of nanoparticles with food packaging material the overall quality of the packaged food also get enhanced. In this research work, ZnO NP embedded corn starch films were developed. First, ZnO NP were synthesized by two approaches (a) Sol-gel approach and (b) Green synthesis approach; and then ZnO NP embedded corn-starch bio-films were developed. In sol-gel technique ZnO NP were synthesized at different pH ranging from 8 to 11, with an average crystallite size of 28 to 53 nm. In green synthesis technique ZnO NP were synthesized by using Azadirachta indica (Neem) at different concentration of 2\% and 3\% with an average crystallite size of 36 nm and 32 nm, respectively. Characterization of synthesized ZnO NPs were done with XRD, UV-DRS, UV-VIS, FTIR and FE-SEM. The functional properties of the ZnO embedded starch film were enhanced with addition of 5\% citric acid solution(w/w) as cross-linker and 0.90 g glycerol(w/w) as plasticizer. Film-F1 embedded with chemically synthesized ZnO NP, Film-F2 embedded with biochemcially synthesized ZnO NP and Film-F3 without being embedded by any NPs. Characterization of synthesized films were done with SEM and XRD. Film solution of F2 showed higher antimicrobial effectiveness than F1; against E.coli and S.aureus bacterial strains with an inhibition zone of 14 mm and 6 mm. 7days biodegradability analysis of the films were also done. Along with this, their current application and future perspectives in the food sector are also explored