title: Sampling and Reconstruction in Distinct Subspaces Using Oblique Projections

abstract: We study reconstruction operators on a Hilbert space that are exact on a given reconstruction subspace. Among those the reconstruction operator obtained by the least squares fit has the smallest operator norm, and therefore is most stable with respect to noisy measurements. We then construct the operator with the smallest possible quasi-optimality constant, which is the most stable with respect to a systematic error appearing before the sampling process (model uncertainty). We describe how to vary continuously between the two reconstruction methods, so that we can trade stability for quasi-optimality. As an application we study the reconstruction of a compactly supported function from nonuniform samples of its Fourier transform.


title: Photonic chip-based soliton frequency combs covering the biological imaging window

abstract: Dissipative Kerr solitons (DKS) in optical microresonators provide a highly miniaturized, chip-scale frequency comb source with unprecedentedly high repetition rates and spectral bandwidth. To date, such soliton frequency comb sources have been successfully applied in the optical telecommunication band for dual comb spectroscopy, coherent telecommunications, counting of optical frequencies and distance measurements. Yet the range of applications could be significantly extended by operating in the near-infrared spectral domain, a prerequisite for biomedical and Raman imaging applications, and a part of the spectrum which hosts commonly used optical atomic transitions. Here we demonstrate the operation of photonic chip-based soliton Kerr combs pumped with 1 micron laser light. By engineering the dispersion properties of a $\rm Si_3N_4$ microring resonator, octave-spanning soliton Kerr combs extending to 776 nm are attained, thereby covering the optical biological imaging window. Moreover, we demonstrate that soliton states can be generated in normal group velocity dispersion regions, when exploiting mode hybridization with other mode families. The reported near-infrared soliton Kerr combs are suitable for a range of studies, including frequency-comb-based optical coherence tomography, coherent anti-Stokes Raman spectro-imaging, and they spectrally overlap with optical atomic transitions in Alkali vapors.


title: The Concepts and Applications of Fractional Order Differential Calculus in Modelling of Viscoelastic Systems: A primer

abstract: Viscoelasticity and related phenomena are of great importance in the study of mechanical properties of material especially, biological materials. Certain materials show some complex effects in mechanical tests, which cannot be described by standard linear equation (SLE) mostly owing to shape memory effect during deformation. Recently, researchers have been applying fractional calculus in order for probing viscoelasticity of such materials with a high precision. Fractional calculus is a powerful tool for modeling complex phenomenon. In this tutorial based paper, we try present clear descriptions of the fractional calculus, its techniques and its implementation. The intention is to keep the details to a minimum while still conveying a good idea of what and how can be done with this powerful tool. We try to expose the reader to the basic techniques that are used to solve the fractional equations analytically and/or numerically. More specifically, modeling the shape memory phenomena with this powerful tool are studied from different perspectives, as well as presented some physical interpretation in this case. Moreover, in order to show the relationship between fractional models and standard linear equations, a fractal system comprising spring and damper elements is considered, and the constitutive equation is approximated with a fractional element. Finally, after a brief literature review, two fractional models are utilized to investigate the viscoelasticity of the cell, and the comparison is made among them, experimental data, and previous models. Verification results indicate that not only does the fractional model match the experimental data well, but it also can be a good substitute for previously used models.


title: Euclidean mirrors: enhanced vacuum decay from reflected instantons

abstract: We study the tunneling of virtual matter-antimatter pairs from the quantum vacuum in the presence of a spatially uniform, time-dependent electric background composed of a strong, slow field superimposed with a weak, rapid field. After analytic continuation to Euclidean spacetime, we obtain from the instanton equations two critical points. While one of them is the closing point of the instanton path, the other serves as an Euclidean mirror which reflects and squeezes the instanton. It is this reflection and shrinking which is responsible for an enormous enhancement of the vacuum pair production rate. We discuss how important features of two different mechanisms can be analysed and understood via such a rotation in the complex plane. a) Consistent with previous studies, we first discuss the standard assisted mechanism with a static strong field and certain weak fields with a distinct pole structure in order to show that the reflection takes place exactly at the poles. We also discuss the effect of possible sub-cycle structures. We extend this reflection picture then to weak fields which have no poles present and illustrate the effective reflections with explicit examples. An additional field strength dependence for the rate occurs in such cases. We analytically compute the characteristic threshold for the assisted mechanism given by the critical combined Keldysh parameter. We discuss significant differences between these two types of fields. For various backgrounds, we present the contributing instantons and perform analytical computations for the corresponding rates treating both fields nonperturbatively. b) In addition, we also study the case with a nonstatic strong field which gives rise to the assisted dynamical mechanism. For different strong field profiles we investigate the impact on the critical combined Keldysh parameter. [...]


title: Contribution to Viscosity from the Structural Relaxation via the Atomic Scale Green-Kubo Stress Correlation Function

abstract: We studied the connection between the structural relaxation and viscosity for a binary model of repulsive particles in the supercooled liquid regime. The used approach is based on the decomposition of the macroscopic Green-Kubo stress correlation function into the correlation functions between the atomic level stresses. Previously we used the approach to study an iron-like single component system of particles. The role of vibrational motion has been addressed through the demonstration of the relationship between viscosity and the shear waves propagating over large distances. In our previous considerations, however, we did not discuss the role of the structural relaxation. Here we suggest that the contribution to viscosity from the structural relaxation can be taken into account through the consideration of the contribution from the atomic stress auto-correlation term only. This conclusion, however, does not mean that only the auto-correlation term represents the contribution to viscosity from the structural relaxation. Previously the role of the structural relaxation for viscosity has been addressed through the considerations of the transitions between inherent structures and within the mode-coupling theory by other authors. In the present work, we study the structural relaxation through the considerations of the parent liquid and the atomic level stress correlations in it. The comparison with the results obtained on the inherent structures also is made. Our results suggest that in the supercooled liquid regime the vibrational contribution to viscosity extends over the times which are much larger than the Einstein's vibrational period and much larger than the times which it takes for the shear waves to propagate over the model systems. Besides addressing the atomic level shear stress correlations, we also studied correlations between the atomic level pressure elements.


title: Non-K\"ahler Mirror Symmetry of the Iwasawa Manifold

abstract: We propose a new approach to the Mirror Symmetry Conjecture in a form suitable to possibly non-K\"ahler compact complex manifolds whose canonical bundle is trivial. We apply our methods by proving that the Iwasawa manifold $X$, a well-known non-K\"ahler compact complex manifold of dimension $3$, is its own mirror dual to the extent that its Gauduchon cone, replacing the classical K\"ahler cone that is empty in this case, corresponds to what we call the local universal family of essential deformations of $X$. These are obtained by removing from the Kuranishi family the two "superfluous" dimensions of complex parallelisable deformations that have a similar geometry to that of the Iwasawa manifold. The remaining four dimensions are shown to have a clear geometric meaning including in terms of the degeneration at $E_2$ of the Fr\"olicher spectral sequence. On the local moduli space of "essential" complex structures, we obtain a canonical Hodge decomposition of weight $3$ and a variation of Hodge structures, construct coordinates and Yukawa couplings while implicitly proving a local Torelli theorem. On the metric side of the mirror, we construct a variation of Hodge structures parametrised by a subset of the complexified Gauduchon cone of the Iwasawa manifold using the sGG property of all the small deformations of this manifold proved in earlier joint work of the author with L. Ugarte. Finally, we define a mirror map linking the two variations of Hodge structures and we highlight its properties.


title: Extraction and Prediction of Coherent Patterns in Incompressible Flows through Space-Time Koopman Analysis

abstract: We develop methods for detecting and predicting the evolution of coherent spatiotemporal patterns in incompressible time-dependent fluid flows driven by ergodic dynamical systems. Our approach is based on representations of the generators of the Koopman and Perron-Frobenius groups of operators governing the evolution of observables and probability measures on Lagrangian tracers, respectively, in a smooth orthonormal basis learned from velocity field snapshots through the diffusion maps algorithm. These operators are defined on the product space between the state space of the fluid flow and the spatial domain in which the flow takes place, and as a result their eigenfunctions correspond to global space-time coherent patterns under a skew-product dynamical system. Moreover, using this data-driven representation of the generators in conjunction with Leja interpolation for matrix exponentiation, we construct model-free prediction schemes for the evolution of observables and probability densities defined on the tracers. We present applications to periodic Gaussian vortex flows and aperiodic flows generated by Lorenz 96 systems.


title: Control-Data Separation with Decentralized Edge Control in Fog-Assisted Uplink Communications

abstract: Fog-aided network architectures for 5G systems encompass wireless edge nodes, referred to as remote radio systems (RRSs), as well as remote cloud center (RCC) processors, which are connected to the RRSs via a fronthaul access network. RRSs and RCC are operated via Network Functions Virtualization (NFV), enabling a flexible split of network functionalities that adapts to network parameters such as fronthaul latency and capacity. This work focuses on uplink communications and investigates the cloud-edge allocation of two important network functions, namely the control functionality of rate selection and the data-plane function of decoding. Three functional splits are considered: (i) Distributed Radio Access Network (D-RAN), in which both functions are implemented in a decentralized way at the RRSs, (ii) Cloud RAN (C-RAN), in which instead both functions are carried out centrally at the RCC, and (iii) a new functional split, referred to as Fog RAN (F-RAN), with separate decentralized edge control and centralized cloud data processing. The model under study consists of a time-varying uplink channel in which the RCC has global but delayed channel state information (CSI) due to fronthaul latency, while the RRSs have local but more timely CSI. Using the adaptive sum-rate as the performance criterion, it is concluded that the F-RAN architecture can provide significant gains in the presence of user mobility.


title: Quasi-homogeneity of the moduli space of stable maps to homogeneous spaces

abstract: Let $G$ be a connected, simply connected, simple, complex, linear algebraic group. Let $P$ be an arbitrary parabolic subgroup of $G$. Let $X=G/P$ be the $G$-homogeneous projective space attached to this situation. Let $d\in H_2(X)$ be a degree. Let $\overline{M}_{0,3}(X,d)$ be the (coarse) moduli space of three pointed genus zero stable maps to $X$ of degree $d$. We prove under reasonable assumptions on $d$ that $\overline{M}_{0,3}(X,d)$ is quasi-homogeneous under the action of $G$. The essential assumption on $d$ is that $d$ is a minimal degree, i.e. that $d$ is a degree which is minimal with the property that $q^d$ occurs with non-zero coefficient in the quantum product $\sigma_u\star\sigma_v$ of two Schubert cycles $\sigma_u$ and $\sigma_v$, where $\star$ denotes the product in the (small) quantum cohomology ring $QH^*(X)$ attached to $X$. We prove our main result on quasi-homogeneity by constructing an explicit morphism which has a dense open $G$-orbit in $\overline{M}_{0,3}(X,d)$. To carry out the construction of this morphism, we develop a combinatorial theory of generalized cascades of orthogonal roots which is interesting in its own right.


title: Diophantine approximation on lines in \mathbb{C}^2 with Gaussian prime constraints - enhanced version

abstract: We study the problem of Diophantine approximation on lines in $\mathbb{C}^2$ with numerators and denominators restricted to Gaussian primes. To this end, we develop analogs of well-known results on small fractional parts of $p\gamma$, $p$ running over the primes and $\gamma$ being a fixed irrational, for Gaussian primes.


title: Informed Sampling for Asymptotically Optimal Path Planning (Consolidated Version)

abstract: Anytime almost-surely asymptotically optimal planners, such as RRT*, incrementally find paths to every state in the search domain. This is inefficient once an initial solution is found as then only states that can provide a better solution need to be considered. Exact knowledge of these states requires solving the problem but can be approximated with heuristics. This paper formally defines these sets of states and demonstrates how they can be used to analyze arbitrary planning problems. It uses the well-known $L^2$ norm (i.e., Euclidean distance) to analyze minimum-path-length problems and shows that existing approaches decrease in effectiveness factorially (i.e., faster than exponentially) with state dimension. It presents a method to address this curse of dimensionality by directly sampling the prolate hyperspheroids (i.e., symmetric $n$-dimensional ellipses) that define the $L^2$ informed set. The importance of this direct informed sampling technique is demonstrated with Informed RRT*. This extension of RRT* has less theoretical dependence on state dimension and problem size than existing techniques and allows for linear convergence on some problems. It is shown experimentally to find better solutions faster than existing techniques on both abstract planning problems and HERB, a two-arm manipulation robot.


title: Onset of $\eta$-meson binding in the He isotopes

abstract: The onset of binding $\eta$(548) mesons in nuclei is studied in the He isotopes by doing precise $\eta NNN$ and $\eta NNNN$ few-body stochastic variational method calculations for two semi-realistic $NN$ potentials and two energy dependent $\eta N$ potentials derived from coupled-channel models of the $N^{\ast}(1535)$ nucleon resonance. The energy dependence of the $\eta N$ subthreshold input is treated self consistently. It is found that a minimal value of the real part of the $\eta N$ scattering length $a_{\eta N}$ close to 1 fm is required to bind $\eta$ mesons in $^3$He, yielding then a few MeV $\eta$ binding in $^4$He. The onset of $\eta$-meson binding in $^4$He requires that Re$\,a_{\eta N}$ exceeds 0.7 fm approximately. These results compare well with results of recent $\eta NNN$ and $\eta NNNN$ pionless effective field theory calculations. Related optical-model calculations are also discussed.


title: Eccentricities in the flip-graphs of convex polygons

abstract: The flip-graph of a convex polygon $\pi$ is the graph whose vertices are the triangulations of $\pi$ and whose edges correspond to flips between them. The eccentricity of a triangulation $T$ of $\pi$ is the largest possible distance in this graph from $T$ to any triangulation of $\pi$. It is well known that, when all $n-3$ interior edges of $T$ are incident to the same vertex, the eccentricity of $T$ in the flip-graph of $\pi$ is exactly $n-3$, where $n$ denotes the number of vertices of $\pi$. Here, this statement is generalized to arbitrary triangulations. Denoting by $n-3-k$ the largest number of interior edges of $T$ incident to a vertex, it is shown that the eccentricity of $T$ in the flip-graph of $\pi$ is exactly $n-3+k$, provided $k\leq{n/2-2}$. Inversely, the eccentricity of a triangulation, when small enough, allows to recover the value of $k$. More precisely, if $k\leq{n/8-5/2}$, it is also shown that $T$ has eccentricity $n-3+k$ if and only if exactly $n-3-k$ of its interior edges are incident to a given vertex. When $k>n/2-2$, bounds on the eccentricity of $T$ are also given and discussed.


title: The Evaluation of Circuit Selection Methods on Tor

abstract: Tor provides anonymity online by routing traffic through encrypted tunnels, called circuits, over paths of anonymizing relays. To enable users to connect to their selected destination servers without waiting for the circuit to be build, the Tor client maintains a few circuits at all times. Nevertheless, Tor is slower to use than directly connecting to the destination server. In this paper, we propose to have the Tor client measure the performance of the pre-built circuits and select the fastest circuits for users to send their traffic over. To this end, we define and evaluate nine metrics for selecting which pre-built circuit to use based on different combinations of circuit length, Round Trip Time (RTT), and congestion. We also explore the effect on performance of the number of pre-built circuits at the time of the selection. Through whole-network experiments in Shadow, we show that using circuit RTT with at least three pre-built circuits allows the Tor client to identify fast circuits and improves median time to first byte (TTFB) by 22% over Tor and 15% over congestion-aware routing, the state-of-the-art in Tor circuit selection. We evaluate the security of the proposed circuit selection mechanism against both a relay-level and a network-level adversary and find no loss of security compared with Tor.


title: Decuplet to octet baryon transitions in chiral perturbation theory

abstract: We have systematically investigated the decuplet (T) to octet (B) baryon ($T\rightarrow B\gamma$) transition magnetic moments to the next-to-next-to-leading order and electric quadruple moments to the next-to-leading order in the framework of the heavy baryon chiral perturbation theory. Our calculation includes the contributions from both the intermediate decuplet and octet baryon states in the loops. Our results show reasonably good convergence of the chiral expansion and agreement with the experimental data. The analytical expressions may be useful to the chiral extrapolation of the lattice simulations of the decuplet electromagnetic properties.


title: Selection of the Regularization Parameter in the Ambrosio-Tortorelli Approximation of the Mumford-Shah Functional for Image Segmentation

abstract: The Ambrosio-Tortorelli functional is a phase-field approximation of the Mumford-Shah functional that has been widely used for image segmentation. The approximation has the advantages of being easy to implement, maintaining the segmentation ability, and $\Gamma$-converging to the Mumford-Shah functional. However, it has been observed in actual computation that the segmentation ability of the Ambrosio-Tortorelli functional varies significantly with different values of the parameter and it even fails to $\Gamma$-converge to the original functional for some cases. In this paper we present an asymptotic analysis on the gradient flow equation of the Ambrosio-Tortorelli functional and show that the functional can have different segmentation behavior for small but finite values of the regularization parameter and eventually loses its segmentation ability as the parameter goes to zero when the input image is treated as a continuous function. This is consistent with the existing observation as well as the numerical examples presented in this work. A selection strategy for the regularization parameter and a scaling procedure for the solution are devised based on the analysis. Numerical results show that they lead to good segmentation of the Ambrosio-Tortorelli functional for real images.


title: Boundedness of solutions in impulsive Duffing equations with polynomial potentials and $C^{1}$ time dependent coefficients

abstract: In this paper, we are concerned with the impulsive Duffing equation $$ x''+x^{2n+1}+\sum_{i=0}^{2n}x^{i}p_{i}(t)=0,\ t\neq t_{j}, $$ with impulsive effects $x(t_{j}+)=x(t_{j}-),\ x'(t_{j}+)=-x'(t_{j}-),\ j=\pm1,\pm2,\cdots$, where the time dependent coefficients $p_i(t)\in C^1(\mathbb{S}^1)\ (n+1\leq i\leq 2n)$ and $p_i(t)\in C^0(\mathbb{S}^1)\ (0\leq i\leq n)$ with $\mathbb{S}^1=\mathbb{R}/\mathbb{Z}$. If impulsive times are 1-periodic and $t_{2}-t_{1}\neq\frac{1}{2}$ for $0< t_{1}<t_{2}<1$, basing on a so-called large twist theorem recently established by X. Li, B. Liu and Y. Sun in \cite{XLi}, we find large invariant curves diffeomorphism to circles surrounding the origin and going to infinity, which confines the solutions in its interior and therefore leads to the boundedness of these solutions. Meanwhile, it turns out that the solutions starting at $t=0$ on the invariant curves are quasiperiodic.


title: First Order Methods beyond Convexity and Lipschitz Gradient Continuity with Applications to Quadratic Inverse Problems

abstract: We focus on nonconvex and nonsmooth minimization problems with a composite objective, where the differentiable part of the objective is freed from the usual and restrictive global Lipschitz gradient continuity assumption. This longstanding smoothness restriction is pervasive in first order methods (FOM), and was recently circumvent for convex composite optimization by Bauschke, Bolte and Teboulle, through a simple and elegant framework which captures, all at once, the geometry of the function and of the feasible set. Building on this work, we tackle genuine nonconvex problems. We first complement and extend their approach to derive a full extended descent lemma by introducing the notion of smooth adaptable functions. We then consider a Bregman-based proximal gradient methods for the nonconvex composite model with smooth adaptable functions, which is proven to globally converge to a critical point under natural assumptions on the problem's data. To illustrate the power and potential of our general framework and results, we consider a broad class of quadratic inverse problems with sparsity constraints which arises in many fundamental applications, and we apply our approach to derive new globally convergent schemes for this class.


title: Towards Proof Synthesis Guided by Neural Machine Translation for Intuitionistic Propositional Logic

abstract: Inspired by the recent evolution of deep neural networks (DNNs) in machine learning, we explore their application to PL-related topics. This paper is the first step towards this goal; we propose a proof-synthesis method for the negation-free propositional logic in which we use a DNN to obtain a guide of proof search. The idea is to view the proof-synthesis problem as a translation from a proposition to its proof. We train seq2seq, which is a popular network in neural machine translation, so that it generates a proof encoded as a $\lambda$-term of a given proposition. We implement the whole framework and empirically observe that a generated proof term is close to a correct proof in terms of the tree edit distance of AST. This observation justifies using the output from a trained seq2seq model as a guide for proof search.


title: Analytical results for Green's functions of lattice fermions

abstract: We present a further development of methods for analytical calculations of Green's functions of lattice fermions based on recurrence relations. Applying it to tight-binding systems and topological superconductors in different dimensions we obtain a number of new results. In particular we derive an explicit expression for arbitrary Green's function of an open Kitaev chain and discover non-local fermionic corner states in a 2D p-wave superconductor.


title: Theoretical implications of recent heavy flavour measurements at the LHC

abstract: Recent measurements have revealed a number of intriguing deviations from the Standard Model predictions in $B$ meson decays, in particular in observables testing lepton flavour universality. We review their experimental status and theoretical description in terms of effective Hamiltonians. We also discuss possible new physics interpretations in terms of simplified models and summarise their status in view of the stringent constraints from flavour physics and high-$p_T$ collider searches.


title: The Auger Effect and Ionization of Inner Atomic Shells

abstract: The Auger effect from inner shells, which arises from resonance excitation of the valence electron of an atom by a weak electromagnetic wave, is discussed.


title: Selecting nodes and buying links to maximize the information diffusion in a network

abstract: The Independent Cascade Model (ICM) is a widely studied model that aims to capture the dynamics of the information diffusion in social networks and in general complex networks. In this model, we can distinguish between active nodes which spread the information and inactive ones. The process starts from a set of initially active nodes called seeds. Recursively, currently active nodes can activate their neighbours according to a probability distribution on the set of edges. After a certain number of these recursive cycles, a large number of nodes might become active. The process terminates when no further node gets activated. Starting from the work of Domingos and Richardson, several studies have been conducted with the aim of shaping a given diffusion process so as to maximize the number of activated nodes at the end of the process. One of the most studied problems has been formalized by Kempe et al. and consists in finding a set of initial seeds that maximizes the expected number of active nodes under a budget constraint. In this paper we study a generalization of the problem of Kempe et al. in which we are allowed to spend part of the budget to create new edges incident to the seeds. That is, the budget can be spent to buy seeds or edges according to a cost function. The problem does not admin a PTAS, unless $P=NP$. We propose two approximation algorithms: the former one gives an approximation ratio that depends on the edge costs and increases when these costs are high; the latter algorithm gives a constant approximation guarantee which is greater than that of the first algorithm when the edge costs can be small.


title: Approximating the Volume of Tropical Polytopes is Difficult

abstract: We investigate the complexity of counting the number of integer points in tropical polytopes, and the complexity of calculating their volume. We study the tropical analogue of the outer parallel body and establish bounds for its volume. We deduce that there is no approximation algorithm of factor $\alpha=2^{\text{poly}(m,n)}$ for the volume of a tropical polytope given by $n$ vertices in a space of dimension $m$, unless P$=$NP. Neither is there such an approximation algorithm for counting the number of integer points in tropical polytopes described by vertices. If follows that approximating these values for tropical polytopes is more difficult than for classical polytopes. Our proofs use a reduction from the problem of calculating the tropical rank. For tropical polytopes described by inequalities we prove that counting the number of integer points and calculating the volume are $\#$P-hard.


title: A finite-strain hyperviscoplastic model and undrained triaxial tests of peat

abstract: This paper presents a finite-strain hyperviscoplastic constitutive model within a thermodynamically consistent framework for peat which was categorised as a material with both rate-dependent and thermodynamic equilibrium hysteresis based on the data reported in the literature. The model was implemented numerically using implicit time integration and verified against analytical solutions under simplified conditions. Experimental studies on the undrained relaxation and loading-unloading-reloading behaviour of an undisturbed fibrous peat were carried out to define the thermodynamic equilibrium state during deviatoric loading as a prerequisite for further modelling, to fit particularly those model parameters related to solid matrix properties, and to validate the proposed model under undrained conditions. This validation performed by comparison to experimental results showed that the hyperviscoplastic model could simulate undrained triaxial compression tests carried out at five different strain rates with loading/unloading relaxation steps.


title: On mitigating the analytical limitations of finely stratified experiments

abstract: While attractive from a theoretical perspective, finely stratified experiments such as paired designs suffer from certain analytical limitations not present in block-randomized experiments with multiple treated and control individuals in each block. In short, when using an appropriately weighted difference-in-means to estimated the sample average treatment effect, the traditional variance estimator in a paired experiment is conservative unless the pairwise average treatment effects are constant across pairs; however, in more coarsely stratified experiments, the corresponding variance estimator is unbiased if treatment effects are constant within blocks, even if they vary across blocks. Using insights from classical least squares theory, we present an improved variance estimator appropriate in finely stratified experiments. The variance estimator is still conservative in expectation for the true variance of the difference-in-means estimator, but is asymptotically no larger than the classical variance estimator under mild conditions. The improvements stem from the exploitation of effect modification, and thus the magnitude of the improvement depends upon on the extent to which effect heterogeneity can be explained by observed covariates. Aided by these estimators, a new test for the null hypothesis of a constant treatment effect is proposed. These findings extend to some, but not all, super-population models, depending on whether or not the covariates are viewed as fixed across samples in the super-population formulation under consideration.


title: Algebras of linear growth and the dynamical Mordell-Lang conjecture

abstract: Ufnarovski remarked in 1990 that it is unknown whether any finitely presented associative algebra of linear growth is automaton, that is, whether the set of normal words in the algebra form a regular language. If the algebra is graded, then the rationality of the Hilbert series of the algebra follows from the affirmative answer to Ufnarovski's question. Assuming that the ground field has a positive characteristic, we show that the answer to Ufnarovskii's question is positive if and only if the basic field is an algebraic extension of its prime subfield. Moreover, in the "only if" part we show that there exists a finitely presented graded algebra of linear growth with irrational Hilbert series. In addition, over an arbitrary infinite basic field, the set of Hilbert series of the quadratic algebras of linear growth with $5$ generators is infinite. Our approach is based on a connection with the dynamical Mordell--Lang conjecture. This conjecture describes the intersection of an orbit of an algebraic variety endomorphism with a subvariety. We show that the positive answer to Ufnarovski's question implies some known cases of the dynamical Mordell--Lang conjecture. In particular, the positive answer for a class of algebras is equivalent to the Skolem--Mahler--Lech theorem which says that the set of the zero elements of any linear recurrent sequence over a zero characteristic field is the finite union of several arithmetic progressions. In particular, the counter-examples to this theorem in the finite characteristic case give examples of algebras with irrational Hilbert series.


title: On the Hamiltonian formalism of the Tetrad-Gravity with fermions

abstract: We extend the analysis of the Hamiltonian formalism of the d-dimensional tetrad-connection gravity to the fermionic field by fixing the non-dynamic part of the spatial connection to zero. Although the reduced phase space is equipped with complicated Dirac brackets, the first-class constraints which generate the diffeomorphisms and the Lorentz transformations satisfy a closed algebra with structural constants analogous to that of the pure gravity. We also show the existence of a canonical transformation leading to a new reduced phase space equipped with Dirac brackets having a canonical form leading to the same algebra of the first-class constraints.


title: Detection of X-ray spectral state transitions in mini-outbursts of black hole transient GRS 1739-278

abstract: We report the detection of the state transitions and hysteresis effect in the two mini-outbursts of the black hole (BH) transient GRS 1739$-$278 following its 2014 major outburst. The X-ray spectral evolutions in these two mini-outbursts are similar to the major outburst, in spite of their peak luminosities and the outburst durations are one order of magnitude lower. We found the $L_\mathrm{hard-to-soft}$ and the $L_\mathrm{peak,soft}$ of the mini-outbursts also follow the correlation previous found in other X-ray binaries. The $L_\mathrm{hard-to-soft}$ of the mini-outbursts is still higher than that of the persistent BH binary Cyg X-1, which supports that there is a link between the maximum luminosity a source can reach in the hard state and the corresponding non-stationary accretion represented by substantial rate-of-change in the mass accretion rate during flares/outbursts. The detected luminosity range of these two mini-outbursts is roughly in 3.5$\times 10^{-5}$-- 0.015 ($D/7.5$ kpc)$^{2}$($M/8M_{\odot}$) $L_\mathrm{Edd}$. The X-ray spectra of other BH transients at such low luminosities are usually dominated by a power-law component, and an anti-correlation is observed between the photon index and the X-ray luminosity below 1\% $L_\mathrm{Edd}$. So the detection of X-ray spectral state transitions indicates that the accretion flow evolution in these two mini-outbursts of GRS 1739$-$278 are different from other BH systems at such low-luminosity regime.


title: Prospects for the Mass Ordering (MO) and $\theta_{23}$-Octant sensitivity in LBL experiments: UNO, DUNE \& NO$\nu$A

abstract: This article represents quantitative numerical analysis to find the sensitivity for the mass ordering and octant of atmospheric mixing angle $\theta_{23}$ within 3$\sigma$ range of oscillation parameters, in the context of three long base line (LBL) accelerator experiments viz. UNO, DUNE and NO$\nu$A. We notice that on the basis of quantitative sensitivity pertaining to the event rate, it is possible to investigate the mass ordering within all experiments. Conclusively, like NO$\nu$A and DUNE experiments, UNO experiment stands as better alternative for investigating mass ordering, especially when we need to cross check the results at higher beam energies and base line lengths. We observe that discrete solutions viz. {\it wrong octant-right $\delta_{CP}$, wrong octant-wrong $\delta_{CP}$} and {\it right octant-wrong $\delta_{CP}$} and continuous solutions arising due to submergence of discrete solutions with true solution are possible up to 3$\sigma$ level. It is UNO experiment that alone have the potential to remove these discrete solutions, while both NO$\nu$A and DUNE experiments have very poor tendency to remove these discrete solutions especially near the maximal mixing. We find that these discrete solutions can be resolved up to 3$\sigma$ level by the combined NO$\nu$A+DUNE+UNO data set, at all multiple degenerate solutions in the true parameter space considered under the study. Though replacing half the neutrino run with antineutrino run introduces qualitative advantage because of their different dependences on $\delta_{CP}$, but due to lower cross section and reduction in the statistics, addition of antineutrino data make the precision worse. Thus considering experimental data only in the neutrino mode, enhances $\delta_{CP}$ and $\theta_{23}$ precision significantly.


title: On Pairwise Clustering with Side Information

abstract: Pairwise clustering, in general, partitions a set of items via a known similarity function. In our treatment, clustering is modeled as a transductive prediction problem. Thus rather than beginning with a known similarity function, the function instead is hidden and the learner only receives a random sample consisting of a subset of the pairwise similarities. An additional set of pairwise side-information may be given to the learner, which then determines the inductive bias of our algorithms. We measure performance not based on the recovery of the hidden similarity function, but instead on how well we classify each item. We give tight bounds on the number of misclassifications. We provide two algorithms. The first algorithm SACA is a simple agglomerative clustering algorithm which runs in near linear time, and which serves as a baseline for our analyses. Whereas the second algorithm, RGCA, enables the incorporation of side-information which may lead to improved bounds at the cost of a longer running time.


title: Gravitational mass and energy gradient in the ultra-strong magnetic fields

abstract: The paper aims to apply the complex octonion to explore the influence of the energy gradient on the Eotvos experiment, impacting the gravitational mass in the ultra-strong magnetic fields. Until now the Eotvos experiment has never been validated under the ultra-strong magnetic field. It is aggravating the existing serious qualms about the Eotvos experiment. According to the electromagnetic and gravitational theory described with the complex octonions, the ultra-strong magnetic field must result in a tiny variation of the gravitational mass. The magnetic field with the gradient distribution will generate the energy gradient. These influencing factors will exert an influence on the state of equilibrium in the Eotvos experiment. That is, the gravitational mass will depart from the inertial mass to a certain extent, in the ultra-strong magnetic fields. Only under exceptional circumstances, especially in the case of the weak field strength, the gravitational mass may be equal to the inertial mass approximately. The paper appeals intensely to validate the Eotvos experiment in the ultra-strong electromagnetic strengths. It is predicted that the physical property of gravitational mass will be distinct from that of inertial mass.


title: Effects of self-generated turbulence on Galactic Cosmic Ray propagation and associated diffuse gamma-ray emission

abstract: Recent results obtained by analyzing diffuse gamma-ray emission detected by Fermi-LAT show a substantial variation of the CR spectrum as a function of the distance from the Galactic Center. For energies up to tens of GeV, the CR proton density in the outer Galaxy appears to be weakly dependent upon the galactocentric distance while the density in the central region of the Galaxy was found to exceed the value measured in the outer Galaxy. At the same time, Fermi-LAT data suggest a gradual spectral softening while moving outward from the center of the Galaxy to its outskirts. These findings represent a challenge for standard calculations of CR propagation based on assuming a uniform diffusion coefficient within the Galactic volume. Here we present a model of non-linear CR propagation in which transport is due to particle scattering and advection off self-generated turbulence. We will show that for a realistic distribution of CR sources following the spatial distribution of supernova remnants and the space dependence of the magnetic field on galactocentric distance, both the spatial profile of CR density and the spectral softening can easily be accounted for.


title: Spectral expansions of random sections of homogeneous vector bundles

abstract: Tiny fluctuations of the Cosmic Microwave Background as well as various observable quantities obtained by spin raising and spin lowering of the effective gravitational lensing potential of distant galaxies and galaxy clusters, are described mathematically as isotropic random sections of homogeneous spin and tensor bundles. We consider the three existing approaches to rigourous constructing of the above objects, emphasising an approach based on the theory of induced group representations. Both orthogonal and unitary representations are treated in a unified manner. Several examples from astrophysics are included.


title: Minimum-time trajectory generation for quadrotors in constrained environments

abstract: In this paper, we present a novel strategy to compute minimum-time trajectories for quadrotors in constrained environments. In particular, we consider the motion in a given flying region with obstacles and take into account the physical limitations of the vehicle. Instead of approaching the optimization problem in its standard time-parameterized formulation, the proposed strategy is based on an appealing re-formulation. Transverse coordinates, expressing the distance from a frame path, are used to parameterise the vehicle position and a spatial parameter is used as independent variable. This re-formulation allows us to (i) obtain a fixed horizon problem and (ii) easily formulate (fairly complex) position constraints. The effectiveness of the proposed strategy is proven by numerical computations on two different illustrative scenarios. Moreover, the optimal trajectory generated in the second scenario is experimentally executed with a real nano-quadrotor in order to show its feasibility.


title: On the cubic Dirac equation with potential and the Lochak--Majorana condition

abstract: We study a cubic Dirac equation on $\mathbb{R}\times\mathbb{R}^{3}$ \begin{equation*} i \partial _t u + \mathcal{D} u + V(x) u = \langle \beta u,u \rangle \beta u \end{equation*} perturbed by a large potential with almost critical regularity. We prove global existence and scattering for small initial data in $H^{1}$ with additional angular regularity. The main tool is an endpoint Strichartz estimate for the perturbed Dirac flow. In particular, the result covers the case of spherically symmetric data with small $H^{1}$ norm. When the potential $V$ has a suitable structure, we prove global existence and scattering for \emph{large} initial data having a small chiral component, related to the Lochak--Majorana condition.


title: Advanced Steel Microstructural Classification by Deep Learning Methods

abstract: The inner structure of a material is called microstructure. It stores the genesis of a material and determines all its physical and chemical properties. While microstructural characterization is widely spread and well known, the microstructural classification is mostly done manually by human experts, which gives rise to uncertainties due to subjectivity. Since the microstructure could be a combination of different phases or constituents with complex substructures its automatic classification is very challenging and only a few prior studies exist. Prior works focused on designed and engineered features by experts and classified microstructures separately from the feature extraction step. Recently, Deep Learning methods have shown strong performance in vision applications by learning the features from data together with the classification step. In this work, we propose a Deep Learning method for microstructural classification in the examples of certain microstructural constituents of low carbon steel. This novel method employs pixel-wise segmentation via Fully Convolutional Neural Networks (FCNN) accompanied by a max-voting scheme. Our system achieves 93.94% classification accuracy, drastically outperforming the state-of-the-art method of 48.89% accuracy. Beyond the strong performance of our method, this line of research offers a more robust and first of all objective way for the difficult task of steel quality appreciation.


title: Statistical dynamics of spatial-order formation by communicating cells

abstract: Communicating cells can coordinate their gene expressions to form spatial patterns. 'Secrete-and-sense cells' secrete and sense the same molecule to do so and are ubiquitous. Here we address why and how these cells, from disordered beginnings, can form spatial order through a statistical mechanics-type framework for cellular communication. Classifying cellular lattices by 'macrostate' variables - 'spatial order paramete' and average gene-expression level - reveals a conceptual picture: cellular lattices act as particles rolling down on 'pseudo-energy landscapes' shaped by a 'Hamiltonian' for cellular communication. Particles rolling down represent cells' spatial order increasing. Particles trapped on the landscapes represent metastable spatial configurations. The gradient of the Hamiltonian and a 'trapping probability' determine the particle's equation of motion. This framework is extendable to more complex forms of cellular communication.


title: A catalog of isolated galaxy pairs limited to absolute magnitude -18.5 drawn from HyperLEDA database

abstract: The present paper is devoted to the construction of a catalog of isolated galaxy pairs extracted from the HyperLEDA extragalactic database. The radial velocities of the galaxies in the pairs are in the range $[3000,16000]$ km.s$^{-1}$. In order to get an unbiased pair catalog as complete as possible, we have limited the absolute magnitude of the galaxies to $M \leq-18.5$). The criteria used to define the isolated galaxy pairs are the following: 1) Velocity criterion: radial velocity difference between the pair members $\Delta V<500$ km.s$^{-1}$; 2) Interdistance criterion: projected distance between the members $r_p<1$ Mpc; 3) Reciprocity criterion: each member is the closest galaxy to the other one, which excludes multiplets; 4) Isolation criterion: we define a pair as isolated if the ratio $\rho=r_3/r_p$ of the projected distance of the pair to its closest galaxy (this one having a velocity difference lower than 500 km.s$^{-1}$ with respect to the pair) and the members projected interdistance $r_p$ is larger than 2.5. We have searched for these closest galaxies first in HyperLEDA M-limited source catalog, then in the full one. We have managed not to suppress the small number of pairs having close-by but faint dwarf galaxy companions. The galaxy pair catalog lists the value of $\rho$ for each isolated pair. This method allows the user of the catalog to select any isolation level (beyond the chosen limit $\rho>2.5$). Our final catalog contains 13114 galaxy pairs, of which 57\% are fairly isolated with $\rho>5$, and 30 \% are highly isolated with $\rho \geq 10$.


title: Performance measurement of HARPO: a Time Projection Chamber as a gamma-ray telescope and polarimeter

abstract: We analyse the performance of a gas time projection chamber (TPC) as a high-performance gamma-ray telescope and polarimeter in the e$^+$e$^-$ pair creation regime. We use data collected at a gamma-ray beam of known polarisation. The TPC provides two orthogonal projections $(x,z)$ and $(y,z)$ of the tracks induced by each conversion in the gas volume. We use a simple vertex finder in which vertices and pseudo-tracks exiting from them are identified. We study the various contributions to the single-photon angular resolution using Monte Carlo simulations and compare them with the experimental data and find that they are in excellent agreement. The distribution of the azimutal angle of pair conversions shows a bias due to the non-cylindrical-symmetric structure of the detector. This bias would average out for a long duration exposure on a space mission, but for this pencil-beam characterisation we have ensured its accurate simulation by a double systematics control scheme, data taking with the detector rotated at several angles with respect to the beam polarisation direction and systematics control with a non-polarised beam. We measure, for the first time, the polarisation asymmetry of a linearly polarised gamma-ray beam in the low energy pair creation regime. This sub-GeV energy range is critical for cosmic sources as their spectra are power laws which fall quickly as a function of increasing energy. This work could pave the way to extending polarised gamma-ray astronomy beyond the MeV energy regime.


title: Record Low Thermal Conductivity of Polycrystalline MoS2 films: Tuning the Thermal Conductivity by Grain Orientation

abstract: We report a record low thermal conductivity in polycrystalline MoS2 obtained by varying grain sizes and orientations in ultrathin films. By optimizing the sulphurisation parameters of nanometre-thick Mo layer, we could grow MoS2 films with tuneable morphologies. The thermal conductivity is extracted from a Raman laser power-dependent study on suspended samples. The lowest value of thermal conductivity of 0.27 Wm-1K-1, which reaches a similar value as teflon, is obtained in a polycrystalline sample formed by a combination of horizontally and vertically oriented grains, with respect to the bulk (001) monocrystal. Analysis by means of molecular dynamics and finite element method simulations confirm that such grain arrangement leads to lower grain boundary conductance. We discuss the possible use of these thermal insulating films in the context of electronics and thermoelectricity.


title: $\epsilon_K^\prime/\epsilon_K$: Standard Model and Supersymmetry

abstract: I give a pedagogical introduction into flavour-changing neutral current interactions of kaons and their role to reveal or constrain physics beyond the Standard Model (SM). Then I discuss the measure $\epsilon_K^\prime$ of direct CP violation in $K\to \pi\pi$ decays, which deviates from the SM prediction by $2.8\sigma$. A supersymmetric scenario with flavour mixing among left-handed squarks can accomodate the measured value of $\epsilon_K^\prime$ even for very heavy sparticles, outside the reach of the LHC. The considered scenario employs mass splittings among the right-handed up and down squarks (to enhance $\epsilon_K^\prime$) and a gluino which is heavier than the left-handed strange-down mixed squarks by at least a factor of 1.5 (to suppress excessive contribution to $\epsilon_K$, the measure of indirect CP violation). The branching ratios of the rare decays $K^+ \to \pi^+ \nu \bar\nu$ and $K_L \to \pi^0 \nu \bar\nu$, to be measured by the NA62 and KOTO-step2 experiments, respectively, are only moderately affected. These measurements have the capability to either falsify the model or to constrain the CP phase associated with strange-down squark mixing accurately.


title: Mean-Payoff Optimization in Continuous-Time Markov Chains with Parametric Alarms

abstract: Continuous-time Markov chains with alarms (ACTMCs) allow for alarm events that can be non-exponentially distributed. Within parametric ACTMCs, the parameters of alarm-event distributions are not given explicitly and can be subject of parameter synthesis. An algorithm solving the $\varepsilon$-optimal parameter synthesis problem for parametric ACTMCs with long-run average optimization objectives is presented. Our approach is based on reduction of the problem to finding long-run average optimal strategies in semi-Markov decision processes (semi-MDPs) and sufficient discretization of parameter (i.e., action) space. Since the set of actions in the discretized semi-MDP can be very large, a straightforward approach based on explicit action-space construction fails to solve even simple instances of the problem. The presented algorithm uses an enhanced policy iteration on symbolic representations of the action space. The soundness of the algorithm is established for parametric ACTMCs with alarm-event distributions satisfying four mild assumptions that are shown to hold for uniform, Dirac and Weibull distributions in particular, but are satisfied for many other distributions as well. An experimental implementation shows that the symbolic technique substantially improves the efficiency of the synthesis algorithm and allows to solve instances of realistic size.


title: Effects of surface vibrations on interlayer mass-transport: ab initio molecular dynamics investigation of Ti adatom descent pathways and rates from TiN/TiN(001) islands

abstract: We carry out density-functional ab initio molecular dynamics (AIMD) simulations of Ti adatom (Tiad) migration on, and descent from, TiN <100>-faceted epitaxial islands on TiN(001) at temperatures T ranging from 1200 to 2400 K. Adatom-descent energy-barriers determined via ab initio nudged-elastic-band calculations at 0 Kelvin suggest that Ti interlayer transport on TiN(001) occurs essentially exclusively via direct hopping onto a lower layer. However, AIMD simulations reveal comparable rates for Tiad descent via direct-hopping vs. push-out/exchange with a Ti island edge atom for T >= 1500 K. We demonstrate that the effect is due to surface vibrations, which yield considerably lower activation energies at finite temperatures by significantly modifying the adatom push/out-exchange reaction pathway.


title: Gaussian Optical Ising Machines

abstract: It has recently been shown that optical parametric oscillator (OPO) Ising machines, consisting of coupled optical pulses circulating in a cavity with parametric gain, can be used to probabilistically find low-energy states of Ising spin systems. In this work, we study optical Ising machines that operate under simplified Gaussian dynamics. We show that these dynamics are sufficient for reaching probabilities of success comparable to previous work. Based on this result, we propose modified optical Ising machines with simpler designs that do not use parametric gain yet achieve similar performance, thus suggesting a route to building much larger systems.


title: Asymptotics of work distributions in a stochastically driven system

abstract: We determine the asymptotic forms of work distributions at arbitrary times $T$, in a class of driven stochastic systems using a theory developed by Engel and Nickelsen (EN theory) (arXiv:1102.4505v1 [cond-mat.stat-mech]), which is based on the contraction principle of large deviation theory. In this paper, we extend the theory, previously applied in the context of deterministically driven systems, to a model in which the driving is stochastic. The models we study are described by overdamped Langevin equations and the work distributions in the path integral form, are characterised by having quadratic actions. We first illustrate EN theory, for a deterministically driven system - the breathing parabola model, and show that within its framework, the Crooks flucutation theorem manifests itself as a reflection symmetry property of a certain characteristic polynomial function. We then extend our analysis to a stochastically driven system, studied in ( arXiv:1212.0704v2 [cond-mat.stat-mech], arXiv:1402.5777v1 [cond-mat.stat-mech]) using a moment-generating-function method, for both equilibrium and non - equilibrium steady state initial distributions. In both cases we obtain new analytic solutions for the asymptotic forms of (dissipated) work distributions at arbitrary $T$. For dissipated work in the steady state, we compare the large $T$ asymptotic behaviour of our solution to that already obtained in ( arXiv:1402.5777v1 [cond-mat.stat-mech]). In all cases, special emphasis is placed on the computation of the pre-exponential factor and the results show excellent agreement with the numerical simulations. Our solutions are exact in the low noise limit.


title: Utsu aftershock productivity law explained from geometric operations on the permanent static stress field of mainshocks

abstract: The aftershock productivity law, first described by Utsu in 1970, is an exponential function of the form K=K0.exp({\alpha}M) where K is the number of aftershocks, M the mainshock magnitude, and {\alpha} the productivity parameter. The Utsu law remains empirical in nature although it has also been retrieved in static stress simulations. Here, we explain this law based on Solid Seismicity, a geometrical theory of seismicity where seismicity patterns are described by mathematical expressions obtained from geometric operations on a permanent static stress field. We recover the exponential form but with a break in scaling predicted between small and large magnitudes M, with {\alpha}=1.5ln(10) and ln(10), respectively, in agreement with results from previous static stress simulations. We suggest that the lack of break in scaling observed in seismicity catalogues (with {\alpha}=ln(10)) could be an artefact from existing aftershock selection methods, which assume a continuous behavior over the full magnitude range. While the possibility for such an artefact is verified in simulations, the existence of the theoretical kink remains to be proven.


title: Data-Efficient Reinforcement Learning with Probabilistic Model Predictive Control

abstract: Trial-and-error based reinforcement learning (RL) has seen rapid advancements in recent times, especially with the advent of deep neural networks. However, the majority of autonomous RL algorithms require a large number of interactions with the environment. A large number of interactions may be impractical in many real-world applications, such as robotics, and many practical systems have to obey limitations in the form of state space or control constraints. To reduce the number of system interactions while simultaneously handling constraints, we propose a model-based RL framework based on probabilistic Model Predictive Control (MPC). In particular, we propose to learn a probabilistic transition model using Gaussian Processes (GPs) to incorporate model uncertainty into long-term predictions, thereby, reducing the impact of model errors. We then use MPC to find a control sequence that minimises the expected long-term cost. We provide theoretical guarantees for first-order optimality in the GP-based transition models with deterministic approximate inference for long-term planning. We demonstrate that our approach does not only achieve state-of-the-art data efficiency, but also is a principled way for RL in constrained environments.


title: Nudged Elastic Band calculation of the binding potential for liquids at interfaces

abstract: The wetting behavior of a liquid on solid substrates is governed by the nature of the effective interaction between the liquid-gas and the solid-liquid interfaces, which is described by the binding or wetting potential $g(h)$ which is an excess free energy per unit area that depends on the liquid film height $h$. Given a microscopic theory for the liquid, to determine $g(h)$ one must calculate the free energy for liquid films of any given value of $h$; i.e. one needs to create and analyze out-of-equilibrium states, since at equilibrium there is a unique value of $h$, specified by the temperature and chemical potential of the surrounding gas. Here we introduce a Nudged Elastic Band (NEB) approach to calculate $g(h)$ and illustrate the method by applying it in conjunction with a microscopic lattice density functional theory for the liquid. We show too that the NEB results are identical to those obtained with an established method based on using a fictitious additional potential to stabilize the non-equilibrium states. The advantages of the NEB approach are discussed.


title: A Hybrid Method of Combinatorial Search and Coordinate Descent for Discrete Optimization

abstract: Discrete optimization is a central problem in mathematical optimization with a broad range of applications, among which binary optimization and sparse optimization are two common ones. However, these problems are NP-hard and thus difficult to solve in general. Combinatorial search methods such as branch-and-bound and exhaustive search find the global optimal solution but are confined to small-sized problems, while coordinate descent methods such as coordinate gradient descent are efficient but often suffer from poor local minima. In this paper, we consider a hybrid method that combines the effectiveness of combinatorial search and the efficiency of coordinate descent. Specifically, we consider random strategy or/and greedy strategy to select a subset of coordinates as the working set, and then perform global combinatorial search over the working set based on the original objective function. In addition, we provide some optimality analysis and convergence analysis for the proposed method. Our method finds stronger stationary points than existing methods. Finally, we demonstrate the efficacy of our method on some sparse optimization and binary optimization applications. As a result, our method achieves state-of-the-art performance in terms of accuracy. For example, our method generally outperforms the well-known orthogonal matching pursuit method in sparse optimization. Keywords: Sparsity Optimization, Binary Optimization, Coordinate Descent, Combinatorial Search, Discrete Optimization, Convergence Analysis.


title: Sampling General N-Body Interactions with Auxiliary Fields

abstract: We present a general auxiliary field transformation which generates effective interactions containing all possible N-body contact terms. The strength of the induced terms can analytically be described in terms of general coefficients associated with the transformation and thus are controllable. This transformation provides a novel way for sampling 3- and 4-body (and higher) contact interactions non-perturbatively in lattice quantum monte-carlo simulations. We show that our method reproduces the exact solution for a two-site quantum mechanical problem.


title: Wireless Optogenetic Nanonetworks: Device Model and Charging Protocols

abstract: In recent years, numerous research efforts have been dedicated towards developing efficient implantable devices for brain stimulation. However, there are limitations and challenges with the current technologies. Firstly, the stimulation of neurons currently is possible through implantable electrodes but limited to a population of neurons. Secondly, a major hurdle lies in developing miniature devices that can last for a lifetime in the patient's brain. In parallel, Optogenetics has emerged proposing the stimulation of neurons using light by means of optical fibers inserted through the skull. Many challenges are thus introduced in terms of suitability to patient's lifestyle and biocompatibility. We have recently proposed the concept of wireless optogenetic nanonetworking devices (WiOptND), addressing these long-term deployment problems, and at the same time targeting single neuron stimulation [1]. The WiOptND is equipped with a miniature LED that is able to stimulate a genetically engineered neuron while harvesting energy from ultrasonic vibrations. This paper investigates how light propagates in the brain tissue, and based on the power required to emit sufficient intensity for stimulation, an energy harvesting circuitry is designed. A number of charging protocols are also proposed to maximize energy efficiency while ensuring minimum number of neural spike misfirings. These protocols include the Charge and Fire, the Predictive Sliding Detection Window, and its variant Markov-Chain based Time-Delay Patterns. Simulation results show the drop of stimulation ratio for 25% and more stable trend in its efficiency ratio are exhibited on Markov-Chain based Time-Delay Patterns compared to Change and Fire. The results show the feasibility of utilizing WiOptND for long-term implants, and a new direction towards precise stimulation of neurons in the cortical columns of the brain.


title: Approximate and Incremental Network Function Placement

abstract: The virtualization and softwarization of modern computer networks introduces interesting new opportunities for a more flexible placement of network functions and middleboxes (firewalls, proxies, traffic optimizers, virtual switches, etc.). This paper studies approximation algorithms for the incremental deployment of a minimum number of middleboxes at optimal locations, such that capacity constraints at the middleboxes and length constraints on the communication routes are respected. Our main contribution is a new, purely combinatorial and rigorous proof for the submodularity of the function maximizing the number of communication requests that can be served by a given set of middleboxes. Our proof allows us to devise a deterministic approximation algorithm which uses an augmenting path approach to compute the submodular function. This algorithm does not require any changes to the locations of existing middleboxes or the preemption of previously served communication pairs when additional middleboxes are deployed, previously accepted communication pairs just can be handed over to another middlebox. It is hence particularly attractive for incremental deployments.We prove that the achieved polynomial-time approximation bound is optimal, unless P = NP. This paper also initiates the study of a weighted problem variant, in which entire groups of nodes need to communicate via a middlebox (e.g., a multiplexer or a shared object), possibly at different rates. We present an LP relaxation and randomized rounding algorithm for this problem, leveraging an interesting connection to scheduling.


title: Alignment Elimination from Adams' Grammars

abstract: Adams' extension of parsing expression grammars enables specifying indentation sensitivity using two non-standard grammar constructs --- indentation by a binary relation and alignment. This paper proposes a step-by-step transformation of well-formed Adams' grammars for elimination of the alignment construct from the grammar. The idea that alignment could be avoided was suggested by Adams but no process for achieving this aim has been described before.


title: Asymptotic properties of a componentwise ARH(1) plug-in predictor

abstract: This paper presents new results on prediction of linear processes in function spaces. The autoregressive Hilbertian process framework of order one (ARH(1) process framework) is adopted. A componentwise estimator of the autocorrelation operator is formulated, from the moment-based estimation of its diagonal coefficients, with respect to the orthogonal eigenvectors of the auto-covariance operator, which are assumed to be known. Mean-square convergence to the theoretical autocorrelation operator, in the space of Hilbert-Schmidt operators, is proved. Consistency then follows in that space. For the associated ARH(1) plug-in predictor, mean absolute convergence to the corresponding conditional expectation, in the considered Hilbert space, is obtained. Hence, consistency in that space also holds. A simulation study is undertaken to illustrate the finite-large sample behavior of the formulated componentwise estimator and predictor. The performance of the presented approach is compared with alternative approaches in the previous and current ARH(1) framework literature, including the case of unknown eigenvectors.


title: The splitting of electrons and violation of the Luttinger sum rule

abstract: We obtain a controlled description of a strongly correlated regime of electronic behaviour. We begin by arguing that there are two ways to characterise the electronic degree of freedom, either by the canonical fermion algebra or the graded Lie algebra su(2|2). The first underlies the Fermi liquid description of correlated matter, and we identify a novel regime governed by the latter. We exploit an exceptional central extension of su(2|2) to employ a perturbative scheme recently developed by Shastry, and obtain a series of successive approximations for the electronic Green's function. We then focus on the leading approximation, which reveals a splitting in two of the electronic dispersion. The Luttinger sum rule is violated, and a Mott metal-insulator transition is exhibited. We offer a perspective.

categories: cond-mat.str-el cond-mat.stat-mech hep-th math-ph math.MP


title: Manipulating quantum coherence of charge states in interacting double-dot Aharonov-Bohm interferometers

abstract: We investigate the dynamics of charge--states coherence in a degenerate double--dot Aharonov--Bohm interferometer with finite interdot Coulomb interactions. The quantum coherence of the charge states is found to be sensitive to the transport setup configurations, involving both the single--electron impurity channels and the Coulomb--assisted ones. We numerically demonstrate the emergence of a complete coherence between the two charge states, with the relative phase being continuously controllable through the magnetic flux. Remarkably, a fully coherent charge qubit arises at the double--dots electron pair tunneling resonance condition, where the chemical potential of one electrode is tuned at the center between a single--electron impurity channel and the related Coulomb--assisted channel. This pure quantum state of charge qubit could be \emph{experimentally located} at the current--voltage characteristic turnover position, where differential conductance sign changes. We further elaborate the underlying mechanism for both the real--time and the stationary charge--states coherences in the double--dot systems of study.


title: Dark Gauge U(1) Symmetry for an Alternative Left-Right Model

abstract: An alternative left-right model of quarks and leptons, where the $SU(2)_R$ lepton doublet $(\nu,l)_R$ is replaced with $(n,l)_R$ so that $n_R$ is not the Dirac mass partner of $\nu_L$, has been known since 1987. Previous versions assumed a global $U(1)_S$ symmetry to allow $n$ to be identified as a dark-matter fermion. We propose here a gauge extension by the addition of extra fermions to render the model free of gauge anomalies, and just one singlet scalar to break $U(1)_S$. This results in two layers of dark matter, one hidden behind the other.


title: The GUP and quantum Raychaudhuri equation

abstract: In this paper, we compare the quantum corrections to the Schwarzschild black hole temperature due to quadratic and linear-quadratic generalized uncertainty principle, with the corrections from the quantum Raychaudhuri equation. The reason for this comparison is to connect the deformation parameters $\beta_0$ and $ \alpha_0$ with $\eta$ which is the parameter that characterizes the quantum Raychaudhuri equation. The derived relation between the parameters appears to depend on the relative scale of the system (black hole), which could be read as a beta function equation for the quadratic deformation parameter $\beta_0$. This study shows a correspondence between the two phenomenological approaches and indicates that quantum Raychaudhuri equation implies the existence of a crystal-like structure of spacetime.


title: Maximal green sequences for cluster-tilted algebras of finite representation type

abstract: We show that, for any cluster-tilted algebra of finite representation type over an algebraically closed field, the following three definitions of a maximal green sequence are equivalent: (1) the usual definition in terms of Fomin-Zelevinsky mutation of the extended exchange matrix, (2) a forward hom-orthogonal sequence of Schurian modules, (3) the sequence of wall crossings of a generic green path. Together with [24], this completes the foundational work needed to support the author's work with P.J. Apruzzese [1], namely, to determine all lengths of all maximal green sequences for all quivers whose underlying graph is an oriented or unoriented cycle and to determine which are "linear". In an Appendix, written jointly with G. Todorov, we give a conjectural description of maximal green sequences of maximum length for any cluster-tilted algebra of finite representation type.


title: Decoupling of Magnetic Fields in Collapsing Protostellar Envelopes and Disk Formation and Fragmentation

abstract: Efficient magnetic braking is a formidable obstacle to the formation of rotationally supported disks (RSDs) around protostars in magnetized dense cores. We have previously shown, through 2D (axisymmetric) non-ideal MHD simulations, that removing very small grains (VSGs: ~10 \AA$~$to few 100 \AA) can greatly enhance ambipolar diffusion and enable the formation of RSDs. Here we extend the simulations of disk formation enabled by VSG removal to 3D. We find that the key to this scenario of disk formation is that the drift velocity of the magnetic field almost cancels out the infall velocity of the neutrals in the $10^2$-$10^3$ AU-scale "pseudo-disk" where the field lines are most severely pinched and most of protostellar envelope mass infall occurs. As a result, the bulk neutral envelope matter can collapse without dragging much magnetic flux into the disk-forming region, which lowers the magnetic braking efficiency. We find that the initial disks enabled by VSG removal tend to be Toomre-unstable, which leads to the formation of prominent spiral structures that function as centrifugal barriers. The piling-up of infall material near the centrifugal barrier often produces dense fragments of tens of Jupiter masses, especially in cores that are not too strongly magnetized. Some fragments accrete onto the central stellar object, producing bursts in mass accretion rate. Others are longer lived, although whether they can survive long-term to produce multiple systems remains to be ascertained. Our results highlight the importance of dust grain evolution in determining the formation and properties of protostellar disks and potentially multiple systems.


title: Genuine Multipartite Entanglement in the $3$-Photon Decay of Positronium

abstract: The electron-positron annihilation into two photons is a standard technology in medicine to observe e.g. metabolic processes in human bodies. A new tomograph will provide the possibility to observe not only direct $e^+ e^-$ annihilations but also the $3$ photons from the decay of ortho-positronium atoms formed in the body. We show in this contribution that the three-photon state with respect to polarisation degrees of freedom depends on the angles between the photons and exhibits various specific entanglement features. In particular genuine multipartite entanglement, a type of entanglement involving all degrees of freedoms, is subsistent if the positronium was in a definite spin eigenstate. Remarkably, when all spin eigenstates are mixed equally, entanglement --and even stronger genuine multipartite entanglement-- survives. Due to a "\textit{symmetrization}" process, however, $Dicke$-type of entanglement remains whereas $GHZ$-type of entanglement vanishes. The survival of particular entanglement properties in the mixing scenario may make it possible to extract quantum information in form of distinct entanglement features, e.g., from metabolic processes in human bodies.


title: Stanley-Reisner rings of simplicial complexes with a free action by an abelian group

abstract: We consider simplicial complexes admitting a free action by an abelian group. Specifically, we establish a refinement of the classic result of Hochster describing the local cohomology modules of the associated Stanley--Reisner ring, demonstrating that the topological structure of the free action extends to the algebraic setting. If the complex in question is also Buchsbaum, this new description allows for a specialization of Schenzel's calculation of the Hilbert series of some of the ring's Artinian reductions. In further application, we generalize to the Buchsbaum case the results of Stanley and Adin that provide a lower bound on the $h$-vector of a Cohen-Macaulay complex admitting a free action by a cyclic group of prime order.


title: A sharp version of the H\"ormander multiplier theorem

abstract: We provide an improvement of the H\"ormander multiplier theorem in which the Sobolev space $L^r_s(\mathbb R^n)$ with integrability index $r$ and smoothness index $s>n/r$ is replaced by the Sobolev space with smoothness $s$ built upon the Lorentz space $L^{n/s,1}(\mathbb R^n)$.


title: Further Observational Evidence for a Critical Ionising Luminosity in Active Galaxies

abstract: We report the results of a survey for HI 21-cm absorption at redshifts of z > 2.6 in a new sample of radio sources with the Green Bank and Giant Metrewave Radio Telescopes. From a total of 25 targets, we report zero detections in the 16 for which optical depth limits could be obtained. Based upon the detection rate for z > 0.1 associated absorption, we would expect approximately four detections. Of the 11 which have previously not been searched, there is sufficient source-frame optical/ultra-violet photometry to determine the ionising photon rate for four. Adding these to the literature, the hypothesis that there is a critical rate of logQ = 56 ionising photons per second is now significant at ~7 sigma. This reaffirms our assertion that searching z > 3 active galaxies for which optical redshifts are available selects sources in which the ultra-violet luminosity is sufficient to ionise all of the neutral gas in the host galaxy.


title: Moving Horizon Estimation for ARMAX process with t-Distribution Noise

abstract: In this paper, instead of the usual Gaussian noise assumption, $t$-distribution noise is assumed. A Maximum Likelihood Estimator using the most recent N measurements is proposed for the Auto-Regressive-Moving-Average with eXogenous input (ARMAX) process with this assumption. The proposed estimator is robust to outliers because the `thick tail' of the t-distribution reduces the effect of large errors in the likelihood function. Instead of solving the resulting nonlinear estimator numerically, the Influence Function is used to formulate a computationally efficient recursive solution, which reduces to the traditional Moving Horizon Estimator when the noise is Gaussian. The formula for the variance of the estimate is derived. This formula shows explicitly how the variance of the estimate is affected by the number of measurements and noise variance. The simulation results show that the proposed estimator has smaller variance and is more robust to outliers than the Moving Window Least-Squares Estimator. For the same accuracy, the proposed estimator is an order of magnitude faster than the particle filter.


title: Materials analysis and focused ion beam nanofabrication of topological insulator Bi2Se3

abstract: Focused ion beam milling allows manipulation of the shape and size of nanostructures to create geometries potentially useful for opto-electronics, thermoelectrics, and quantum computing. We focus on using the ion beam to control the thickness of Bi2Se3 and to create nanowires from larger structures. Changes in the material structure of Bi2Se3 nanomaterials that have been milled using a focused ion beam are presented. In order to characterize the effects of ion beam processing on the samples, we use a variety of techniques including analytical transmission electron microscopy and atomic force microscopy. The results show that while part of the material remains intact after shaping, amorphous regions form where the beam has been used to thin the sample. For wires created by thinning the material down to the substrate, the sidewalls of the wires appear intact based on diffraction images from samples cut at an angle, but thin crystalline regions remain at the wire edges. Even with the resulting defects, focused ion beam milling shows promise for directly fabricating intricate nanodevices of Bi2Se3.


title: Optimal modularity and memory capacity of neural reservoirs

abstract: The neural network is a powerful computing framework that has been exploited by biological evolution and by humans for solving diverse problems. Although the computational capabilities of neural networks are determined by their structure, the current understanding of the relationships between a neural network's architecture and function is still primitive. Here we reveal that neural network's modular architecture plays a vital role in determining the neural dynamics and memory performance of the network of threshold neurons. In particular, we demonstrate that there exists an optimal modularity for memory performance, where a balance between local cohesion and global connectivity is established, allowing optimally modular networks to remember longer. Our results suggest that insights from dynamical analysis of neural networks and information spreading processes can be leveraged to better design neural networks and may shed light on the brain's modular organization.


title: Structuring metadata for the Cherenkov Telescope Array

abstract: The landscape of ground-based gamma-ray astronomy is drastically changing with the perspective of the Cherenkov Telescope Array (CTA) composed of more than 100 Cherenkov telescopes. For the first time in this energy domain, CTA will be operated as an observatory open to the astronomy community. In this context, a structured high level data model is being developed to describe a CTA observation. The data model includes different classes of metadata on the project definition, the configuration of the instrument, the ambient conditions, the data acquisition and the data processing. This last part relies on the Provenance Data Model developed within the International Virtual Observatory Alliance (IVOA), for which CTA is one of the main use cases. The CTA data model should also be compatible with the Virtual Observatory (VO) for data diffusion. We have thus developed a web-based data diffusion prototype to test this requirement and ensure the compliance.


title: Tuning an effective spin chain of three strongly interacting one-dimensional fermions with the transversal confinement

abstract: Strongly interacting one-dimensional fermions form an effective spin chain in the absence of an external lattice potential. We show that the exchange coefficients of such a chain may be locally tuned by properly tailoring the transversal confinement. In particular, in the vicinity of a confinement-induced resonance (CIR) the exchange coefficients may have simultaneously opposite ferromagnetic and antiferromagnetic characters at different locations along the trap axis. Moreover, the local exchanges may be engineered to induce avoided crossings between spin states at the CIR, and hence a ramp across the resonance may be employed to create different spin states and to induce spin dynamics in the chain. We show that such unusual spin chains have already been realized in the experiment of Murmann et al. [Phys. Rev. Lett. 115, 215301 (2015)].


title: Orthogonal Compaction Using Additional Bends

abstract: Compacting orthogonal drawings is a challenging task. Usually algorithms try to compute drawings with small area or edge length while preserving the underlying orthogonal shape. We present a one-dimensional compaction algorithm that alters the orthogonal shape of edges for better geometric results. An experimental evaluation shows that we were able to reduce the total edge length and the drawing area, but at the expense of additional bends.


title: Can the Journal Impact Factor Be Used as a Criterion for the Selection of Junior Researchers? A Large-Scale Empirical Study Based on ResearcherID Data

abstract: Early in researchers' careers, it is difficult to assess how good their work is or how important or influential the scholars will eventually be. Hence, funding agencies, academic departments, and others often use the Journal Impact Factor (JIF) of where the authors have published to assess their work and provide resources and rewards for future work. The use of JIFs in this way has been heavily criticized, however. Using a large data set with many thousands of publication profiles of individual researchers, this study tests the ability of the JIF (in its normalized variant) to identify, at the beginning of their careers, those candidates who will be successful in the long run. Instead of bare JIFs and citation counts, the metrics used here are standardized according to Web of Science subject categories and publication years. The results of the study indicate that the JIF (in its normalized variant) is able to discriminate between researchers who published papers later on with a citation impact above or below average in a field and publication year - not only in the short term, but also in the long term. However, the low to medium effect sizes of the results also indicate that the JIF (in its normalized variant) should not be used as the sole criterion for identifying later success: other criteria, such as the novelty and significance of the specific research, academic distinctions, and the reputation of previous institutions, should also be considered.


title: Unperturbed: spectral analysis beyond Davis-Kahan

abstract: Classical matrix perturbation results, such as Weyl's theorem for eigenvalues and the Davis-Kahan theorem for eigenvectors, are general purpose. These classical bounds are tight in the worst case, but in many settings sub-optimal in the typical case. In this paper, we present perturbation bounds which consider the nature of the perturbation and its interaction with the unperturbed structure in order to obtain significant improvements over the classical theory in many scenarios, such as when the perturbation is random. We demonstrate the utility of these new results by analyzing perturbations in the stochastic blockmodel where we derive much tighter bounds than provided by the classical theory. We use our new perturbation theory to show that a very simple and natural clustering algorithm -- whose analysis was difficult using the classical tools -- nevertheless recovers the communities of the blockmodel exactly even in very sparse graphs.


title: Global existence for the defocusing mass-critical nonlinear fourth-order Schr\"odinger equation below the energy space

abstract: In this paper, we consider the defocusing mass-critical nonlinear fourth-order Schr\"odinger equation. Using the $I$-method combined with the interaction Morawetz estimate, we prove that the problem is globally well-posed in $H^\gamma(\mathbb{R}^d), 5\leq d\leq 7$ with $\gamma(d)<\gamma<2$, where $\gamma(5)=\frac{8}{5}, \gamma(6)=\frac{5}{3}$ and $\gamma(7)=\frac{13}{7}$.


title: Calder\'on-type inequalities for affine frames

abstract: We prove sharp upper and lower bounds for generalized Calder\'on's sums associated to frames on LCA groups generated by affine actions of cocompact subgroup translations and general measurable families of automorphisms. The proof makes use of techniques of analysis on metric spaces, and relies on a counting estimate of lattice points inside metric balls. We will deduce as special cases Calder\'on-type inequalities for families of expanding automorphisms as well as for LCA-Gabor systems.


title: Black hole merger estimates in Einstein-Maxwell and Einstein-Maxwell-dilaton gravity

abstract: The recent birth of gravitational wave astronomy invites a new generation of precision tests of general relativity. Signatures of black hole (BH) mergers must be systematically explored in a wide spectrum of modified gravity theories. Here, we turn to one such theory in which the initial value problem for BH mergers is well posed, the Einstein-Maxwell-dilaton system. We present conservative estimates for the merger parameters (final spins, quasinormal modes) based on techniques that have worked well for ordinary gravity mergers and utilize information extracted from test particle motion in the final BH metric. The computation is developed in parallel for the modified gravity BHs (we specifically focus on the Kaluza-Klein value of the dilaton coupling, for which analytic BH solutions are known) and ordinary Kerr-Newman BHs. We comment on the possibility of obtaining final BHs with spins consistent with current observations.


title: Epidemic spread on one-way circular-coupled networks

abstract: Real epidemic spreading networks often composed of several kinds of networks interconnected with each other, and the interrelated networks have the different topologies and epidemic dynamics. Moreover, most human diseases are derived from animals, and the zoonotic infections always spread on interconnected networks. In this paper, we consider the epidemic spreading on one-way circular-coupled network consist of three interconnected subnetworks. Here, two one-way three-layer circular interactive networks are established by introducing the heterogeneous mean-field approach method, then we get the basic reproduction numbers and prove the global stability of the disease-free equilibrium and endemic equilibrium of the models. Through mathematical analysis and numerical simulations, it is found that the basic reproduction numbers $R_0$ of the two models are dependent on the infection rates, infection periods, average degrees and degree ratios. In the first model, the network structures of the inner contact patterns have a bigger impact on $R_0$ than that of the cross contact patterns. Under the same contact pattern, the internal infection rates have greater influence on $R_0$ than the cross-infection rates. In the second model, the disease prevails in a heterogeneous network has a greater impact on $R_0$ than the disease from a homogeneous network, and the infections among the three subnetworks all play a important role in the propagation process. Numerical examples verify and expand these theoretical results very well.


title: Theory of spin hydrodynamic generation

abstract: Spin-current generation by fluid motion is theoretically investigated. Based on quantum kinetic theory, the spin-diffusion equation coupled with fluid vorticity is derived. We show that spin currents are generated by the vorticity gradient in both laminar and turbulent flows and that the generated spin currents can be detected by the inverse spin Hall voltage measurements, which are predicted to be proportional to the flow velocity in a laminar flow. In contrast, the voltage in a turbulent flow is proportional to the square of the flow velocity. This study will pave the way to fluid spintronics.


title: A Note on multipliers between model spaces

abstract: In this note, we study the multipliers from one model space to another. In the case when the corresponding inner functions are meromorphic, we give both necessary and sufficient conditions ensuring this set of multipliers is not trivial. Our conditions involve the Beurling--Malliavin densities and are based on the deep work of Makarov--Poltoratski on injectivity of Toeplitz operators.


title: Relative Clifford inequality for varieties fibered by curves

abstract: We prove a sharp relative Clifford inequality for relatively special divisors on varieties fibered by curves. It generalizes the classical Clifford inequality about a single curve to a family of curves. It yields a geographical inequality for varieties of general type and Albanese-fibered by curves, extending the work of Horikawa, Persson, and Xiao in dimension two to arbitrary dimensions. We also apply it to deduce a slope inequality for some arbitrary dimensional families of curves. It sheds light on the existence of a most general Cornalba-Harris-Xiao type inequality for families of curves. The whole proof is built on a new tree-like filtration for nef divisors on varieties fibered by curves. One key ingredient of the proof is to estimate the sum of all admissible products of nef thresholds with respect to this filtration.


title: Extensions of uniform algebras

abstract: The theory of algebraic extensions of Banach algebras is well established, and there are many constructions which yield interesting extensions. In particular, Cole's method for extending uniform algebras by adding square roots of functions to a given uniform algebra has been used to solve many problems within uniform algebra theory. However, there are numerous other examples in the theory of uniform algebras that can be realised as extensions of a uniform algebra, and these more general extensions have received little attention in the literature. In this paper, we investigate more general classes of uniform algebra extensions. We introduce a new class of extensions of uniform algebras, and show that several important properties of the original uniform algebra are preserved in these extensions. We also show that several well-known examples from the theory of uniform algebras belong to these more general classes of uniform algebra extensions.


title: A Hybrid Approach with Multi-channel I-Vectors and Convolutional Neural Networks for Acoustic Scene Classification

abstract: In Acoustic Scene Classification (ASC) two major approaches have been followed . While one utilizes engineered features such as mel-frequency-cepstral-coefficients (MFCCs), the other uses learned features that are the outcome of an optimization algorithm. I-vectors are the result of a modeling technique that usually takes engineered features as input. It has been shown that standard MFCCs extracted from monaural audio signals lead to i-vectors that exhibit poor performance, especially on indoor acoustic scenes. At the same time, Convolutional Neural Networks (CNNs) are well known for their ability to learn features by optimizing their filters. They have been applied on ASC and have shown promising results. In this paper, we first propose a novel multi-channel i-vector extraction and scoring scheme for ASC, improving their performance on indoor and outdoor scenes. Second, we propose a CNN architecture that achieves promising ASC results. Further, we show that i-vectors and CNNs capture complementary information from acoustic scenes. Finally, we propose a hybrid system for ASC using multi-channel i-vectors and CNNs by utilizing a score fusion technique. Using our method, we participated in the ASC task of the DCASE-2016 challenge. Our hybrid approach achieved 1 st rank among 49 submissions, substantially improving the previous state of the art.


title: On the existence of specified cycles in bipartite tournaments

abstract: For two integers $n\geq 3$ and $2\leq p\leq n$, we denote $D(n,p)$ the digraph obtained from a directed $n$-cycle by changing the orientations of $p-1$ consecutive arcs. In this paper, we show that a family of $k$-regular $(k\geq 3)$ bipartite tournament $BT_{4k}$ contains $D(4k,p)$ for all $2\leq p\leq 4k$ unless $BT_{4k}$ is isomorphic to a digraph $D$ such that $(1,2,3,...,4k,1)$ is a Hamilton cycle and $(4m+i-1,i)\in A(D)$ and $(i,4m+i+1)\in A(D)$, where $1\leq m\leq k-1$.


title: Understanding Software in Research: Initial Results from Examining Nature and a Call for Collaboration

abstract: This lightning talk paper discusses an initial data set that has been gathered to understand the use of software in research, and is intended to spark wider interest in gathering more data. The initial data analyzes three months of articles in the journal Nature for software mentions. The wider activity that we seek is a community effort to analyze a wider set of articles, including both a longer timespan of Nature articles as well as articles in other journals. Such a collection of data could be used to understand how the role of software has changed over time and how it varies across fields.


title: A New Approach to Variational Inequalities of Parabolic Type

abstract: This paper is concerned with the weak solvability of fully nonlinear parabolic variational inequalities with time dependent convex constraints. As possible approaches to such problems, there are for instance the time-discretization method and the fixed point method of Schauder type with appropriate compactness theorems. In this paper, our attention is paid to the latter approach. However, there has not been prepared any appropriate compactness theorem up to date that enables us the direct application of fixed point method to variational inequalities of parabolic type. In order to establish it we have to start on the set up of a new compactness theorem for a wide class of parabolic variational inequalities.


title: A Divergence Bound for Hybrids of MCMC and Variational Inference and an Application to Langevin Dynamics and SGVI

abstract: Two popular classes of methods for approximate inference are Markov chain Monte Carlo (MCMC) and variational inference. MCMC tends to be accurate if run for a long enough time, while variational inference tends to give better approximations at shorter time horizons. However, the amount of time needed for MCMC to exceed the performance of variational methods can be quite high, motivating more fine-grained tradeoffs. This paper derives a distribution over variational parameters, designed to minimize a bound on the divergence between the resulting marginal distribution and the target, and gives an example of how to sample from this distribution in a way that interpolates between the behavior of existing methods based on Langevin dynamics and stochastic gradient variational inference (SGVI).