title: Active Learning for Visual Question Answering: An Empirical Study

abstract: We present an empirical study of active learning for Visual Question Answering, where a deep VQA model selects informative question-image pairs from a pool and queries an oracle for answers to maximally improve its performance under a limited query budget. Drawing analogies from human learning, we explore cramming (entropy), curiosity-driven (expected model change), and goal-driven (expected error reduction) active learning approaches, and propose a fast and effective goal-driven active learning scoring function to pick question-image pairs for deep VQA models under the Bayesian Neural Network framework. We find that deep VQA models need large amounts of training data before they can start asking informative questions. But once they do, all three approaches outperform the random selection baseline and achieve significant query savings. For the scenario where the model is allowed to ask generic questions about images but is evaluated only on specific questions (e.g., questions whose answer is either yes or no), our proposed goal-driven scoring function performs the best.


title: Regularized inner products and weakly holomorphic Hecke eigenforms

abstract: We show that the image of repeated differentiation on weak cusp forms is precisely the subspace which is orthogonal to the space of weakly holomorphic modular forms. This gives a new interpretation of the weakly holomorphic Hecke eigenforms.


title: Iterative method of construction of good rhythms

abstract: On the space of rhythms of arbitrary length with a fixed number of onsets, a self map $F$ is constructed. It is shown that for any rhythm $\mathbf{r}$ of the space there exists a nonnegative integer $k$ such that $F^k(\mathbf{r})$ falls into the category of "maximally even rhythms" investigated in [1].


title: Computational Flows in Arithmetic

abstract: A computational flow is a pair consisting of a sequence of computational problems of a certain sort and a sequence of computational reductions among them. In this paper we will develop a theory for these computational flows and we will use it to make a sound and complete interpretation for bounded theories of arithmetic. This property helps us to decompose a first order arithmetical proof to a sequence of computational reductions by which we can extract the computational content of low complexity statements in some bounded theories of arithmetic such as $I\Delta_0$, $T^k_n$, $I\Delta_0+EXP$ and $PRA$. In the last section, by generalizing term-length flows to ordinal-length flows, we will extend our investigation from bounded theories to strong unbounded ones such as $I\Sigma_n$ and $PA+TI(\alpha)$ and we will capture their total $NP$ search problems as a consequence.


title: Geometric Modality and Weak Exponentials

abstract: The intuitionistic implication and hence the notion of function space in constructive disciplines is both non-geometric and impredicative. In this paper we try to solve both of these problems by first introducing weak exponential objects as a formalization for predicative function spaces and then by proposing modal spaces as a way to introduce a natural family of geometric predicative implications based on the interplay between the concepts of time and space. This combination then leads to a brand new family of modal propositional logics with predicative implications and then to topological semantics for these logics and some weak modal and sub-intuitionistic logics, as well. Finally, we will lift these notions and the corresponding relations to a higher and more structured level of modal topoi and modal type theory.


title: Quantum monopole via Heisenberg quantization

abstract: Using a non-perturbative quantization method originally due to Heisenberg we obtain {\it quantum} monopole solutions and {\it quantum} flux tube solutions for the SU(3) strong interaction gauge theory. For the quantum monopole solution we find that the radial chromomagnetic field decreases exponentially with a scale set by the effective gluon mass. The quantum flux tube solution stretches between a monopole and anti-monopole and has a longitudinal chromomagnetic field. Both solutions exhibit characteristics of the Meissner effect and are conjectured to have a connection to the confinement phenomenon.


title: Generation of entangled photons using an arrayed waveguide grating

abstract: We propose an on-chip source of entangled photon pairs that uses an arrayed-waveguide grating (AWG) with multiple nonlinear input waveguides as correlated photon pair sources. The AWG wavelength-demultiplexes photon pairs created in input waveguides and simultaneously produces a high-dimensional entangled state encoded in the optical path. We implemented the device with a monolithic silicon-silica waveguide integration platform and demonstrated the entanglement of two dimensions in a proof-of-principle experiment.


title: Two sources of poor coverage of confidence intervals after model selection

abstract: We compare the following two sources of poor coverage of post-model-selection confidence intervals: the preliminary data-based model selection sometimes chooses the wrong model and the data used to choose the model is re-used for the construction of the confidence interval.


title: Semiclassical theory of strong localization for quantum thermalization

abstract: We introduce a semiclassical theory for strong localization that may arise in the context of many-body thermalization. As a minimal model for thermalization we consider a few-site Bose-Hubbard model consisting of two weakly interacting subsystems that can exchange particles. The occupation of a subsystem ($x$) satisfies in the classical treatment a Fokker-Planck equation with a diffusion coefficient $D(x)$. We demonstrate that it is possible to deduce from the classical description a quantum breaktime $t^*$, and hence the manifestations of a strong localization effect. For this purpose it is essential to take the geometry of the energy shell into account, and to make a distinction between different notions of phasespace exploration.


title: Truncated Heegaard Floer Homology and Knot Concordance Invariants

abstract: In this paper we construct a sequence of integer-valued concordance invariants $\nu_n(K)$ that generalize the Ozsv\'ath-Szab\'o $\nu$-invariant and the Hom-Wu $\nu^+$-invariant.


title: Model-free Nonconvex Matrix Completion: Local Minima Analysis and Applications in Memory-efficient Kernel PCA

abstract: This work studies low-rank approximation of a positive semidefinite matrix from partial entries via nonconvex optimization. We characterized how well local-minimum based low-rank factorization approximates a fixed positive semidefinite matrix without any assumptions on the rank-matching, the condition number or eigenspace incoherence parameter. Furthermore, under certain assumptions on rank-matching and well-boundedness of condition numbers and eigenspace incoherence parameters, a corollary of our main theorem improves the state-of-the-art sampling rate results for nonconvex matrix completion with no spurious local minima in Ge et al. [2016, 2017]. In addition, we investigated when the proposed nonconvex optimization results in accurate low-rank approximations even in presence of large condition numbers, large incoherence parameters, or rank mismatching. We also propose to apply the nonconvex optimization to memory-efficient Kernel PCA. Compared to the well-known Nystr\"{o}m methods, numerical experiments indicate that the proposed nonconvex optimization approach yields more stable results in both low-rank approximation and clustering.


title: The FLAME-slab method for electromagnetic wave scattering in aperiodic slabs

abstract: The proposed numerical method, "FLAME-slab," solves electromagnetic wave scattering problems for aperiodic slab structures by exploiting short-range regularities in these structures. The computational procedure involves special difference schemes with high accuracy even on coarse grids. These schemes are based on Trefftz approximations, utilizing functions that locally satisfy the governing differential equations, as is done in the Flexible Local Approximation Method (FLAME). Radiation boundary conditions are implemented via Fourier expansions in the air surrounding the slab. When applied to ensembles of slab structures with identical short-range features, such as amorphous or quasicrystalline lattices, the method is significantly more efficient, both in runtime and in memory consumption, than traditional approaches. This efficiency is due to the fact that the Trefftz functions need to be computed only once for the whole ensemble.


title: KGAN: How to Break The Minimax Game in GAN

abstract: Generative Adversarial Networks (GANs) were intuitively and attractively explained under the perspective of game theory, wherein two involving parties are a discriminator and a generator. In this game, the task of the discriminator is to discriminate the real and generated (i.e., fake) data, whilst the task of the generator is to generate the fake data that maximally confuses the discriminator. In this paper, we propose a new viewpoint for GANs, which is termed as the minimizing general loss viewpoint. This viewpoint shows a connection between the general loss of a classification problem regarding a convex loss function and a f-divergence between the true and fake data distributions. Mathematically, we proposed a setting for the classification problem of the true and fake data, wherein we can prove that the general loss of this classification problem is exactly the negative f-divergence for a certain convex function f. This allows us to interpret the problem of learning the generator for dismissing the f-divergence between the true and fake data distributions as that of maximizing the general loss which is equivalent to the min-max problem in GAN if the Logistic loss is used in the classification problem. However, this viewpoint strengthens GANs in two ways. First, it allows us to employ any convex loss function for the discriminator. Second, it suggests that rather than limiting ourselves in NN-based discriminators, we can alternatively utilize other powerful families. Bearing this viewpoint, we then propose using the kernel-based family for discriminators. This family has two appealing features: i) a powerful capacity in classifying non-linear nature data and ii) being convex in the feature space. Using the convexity of this family, we can further develop Fenchel duality to equivalently transform the max-min problem to the max-max dual problem.


title: Far-from-equilibrium attractors and nonlinear dynamical systems approach to the Gubser flow

abstract: The non-equilibrium attractors of systems undergoing Gubser flow within relativistic kinetic theory are studied. In doing so we employ well-established methods of nonlinear dynamical systems which rely on finding the fixed points, investigating the structure of the flow diagrams of the evolution equations, and characterizing the basin of attraction using a Lyapunov function near the stable fixed points. We obtain the attractors of anisotropic hydrodynamics, Israel-Stewart (IS) and transient fluid (DNMR) theories and show that they are indeed non-planar and the basin of attraction is essentially three dimensional. The attractors of each hydrodynamical model are compared with the one obtained from the exact Gubser solution of the Boltzmann equation within the relaxation time approximation. We observe that the anisotropic hydrodynamics is able to match up to high numerical accuracy the attractor of the exact solution while the second order hydrodynamical theories fail to describe it. We show that the IS and DNMR asymptotic series expansion diverge and use resurgence techniques to perform the resummation of these divergences. We also comment on a possible link between the manifold of steepest descent paths in path integrals and basin of attraction for the attractors via Lyapunov functions that opens a new horizon toward effective field theory description of hydrodynamics. Our findings indicate that anisotropic hydrodynamics is an effective theory for far-from-equilibrium fluid dynamics which resums the Knudsen and inverse Reynolds numbers to all orders.

categories: hep-th cond-mat.stat-mech nlin.CD nucl-th


title: Model predictions for azimuthal spin asymmetries for HERMES and COMPASS kinematics

abstract: We have presented the results for the single and double spin asymmetries in semi-inclusive deep inelastic scatterings for proton in a light front quark-diquark model. The asymmetries generated by the T-even TMDs are discussed here. The model predictions are found to agree with the available data. We also present our model predictions for the Collins asymmetry for the future electron-ion collider experiments.


title: The MUSE Hubble Ultra Deep Field Survey X. Ly$\alpha$ Equivalent Widths at $2.9 < z < 6.6$

abstract: We present rest-frame Ly$\alpha$ equivalent widths (EW) of 417 Ly$\alpha$ emitters (LAEs) detected with Multi Unit Spectroscopic Explorer (MUSE) on the Very Large Telescope (VLT) at $2.9 < z < 6.6$ in the Hubble Ultra Deep Field. Based on the deep MUSE spectroscopy and ancillary Hubble Space Telescope (HST) photometry data, we carefully measured EW values taking into account extended Ly$\alpha$ emission and UV continuum slopes ($\beta$). Our LAEs reach unprecedented depths, both in Ly$\alpha$ luminosities and UV absolute magnitudes, from log($L_{\rm Ly\alpha}$/erg s$^{-1}$) $\sim$41.0 to 43.0 and from Muv $\sim$ -16 to -21 (0.01-1.0 $L^{*}_{\rm z=3}$). The EW values span the range of $\sim$ 5 to 240 \AA\ or larger, and their distribution can be well fitted by an exponential law $N = N_{\rm 0}$ exp($-$EW/$w_{\rm 0}$). Owing to the high dynamic range in Muv, we find that the scale factor, $w_{\rm 0}$, depends on Muv in the sense that including fainter Muv objects increases $w_{\rm 0}$, i.e., the Ando effect. The results indicate that selection functions affect the EW scale factor. Taking these effects into account, we find that our $w_{\rm 0}$ values are consistent with those in the literature within $1\sigma$ uncertainties at $2.9 < z < 6.6$ at a given threshold of Muv and $L_{\rm Ly\alpha}$. Interestingly, we find 12 objects with EW $>200$ \AA\ above $1\sigma$ uncertainties. Two of these 12 LAEs show signatures of merger or AGN activity: the weak CIV $\lambda 1549$ emission line. For the remaining 10 very large EW LAEs, we find that the EW values can be reproduced by young stellar ages ($< 100$ Myr) and low metallicities ($\lesssim 0.02$ $Z_{\rm \odot}$). Otherwise, at least part of the Ly$\alpha$ emission in these LAEs needs to arise from anisotropic radiative transfer effects, fluorescence by hidden AGN or quasi-stellar object activity, or gravitational cooling.


title: On integral cohomology of certain orbifolds

abstract: The CW structure of certain spaces, such as effective orbifolds, can be too complicated for computational purposes. In this paper we use the concept of $\mathbf{q}$-CW complex structure on an orbifold, to detect torsion in its integral cohomology. The main result can be applied to well known classes of orbifolds or algebraic varieties having orbifold singularities, such as toric orbifolds, simplicial toric varieties, torus orbifolds and weighted Grassmannians.


title: Optical flickering of the symbiotic star CH Cyg

abstract: Here we present quasi-simultaneous observations of the flickering of the symbiotic binary star CH Cyg in U, B and V bands. We calculate the flickering source parameters and discuss the possible reason for the flickering cessation in the period 2010-2013.


title: Testing a double AGN hypothesis for Mrk 273

abstract: The ULIRG Mrk 273 contains two infrared nuclei, N and SW, separated by 1 arcsec. A Chandra observation has identified the SW nucleus as an absorbed X-ray source with nH ~4e23 cm-2 but also hinted at the possible presence of a Compton thick AGN in the N nucleus, where a black hole of 10^9 Msun is inferred from the ionized gas kinematics. The intrinsic X-ray spectral slope recently measured by NuSTAR is unusually hard (photon index of ~1.3) for a Seyfert nucleus, for which we seek an alternative explanation. We hypothesise a strongly absorbed X-ray source in N, of which X-ray emission rises steeply above 10 keV, in addition to the known X-ray source in SW, and test it against the NuSTAR data, assuming the standard spectral slope (photon index of 1.9). This double X-ray source model gives a good explanation of the hard continuum spectrum, the deep Fe K absorption edge, and the strong Fe K line observed in this ULIRG, without invoking the unusual spectral slope required for a single source interpretation. The putative X-ray source in N is found to be absorbed by nH = 1.4(+0.7/-0.4)e24 cm-2. The estimated 2-10 keV luminosity of the N source is 1.3e43 erg/s, about a factor of 2 larger than that of SW during the NuSTAR observation. Uncorrelated variability above and below 10 keV between the Suzaku and NuSTAR observations appears to support the double source interpretation. Variability in spectral hardness and Fe K line flux between the previous X-ray observations is also consistent with this picture.


title: The jet/wind outflow in Centaurus A: a local laboratory for AGN feedback

abstract: We present new radio and optical images of the nearest radio galaxy Centaurus A and its host galaxy NGC 5128. We focus our investigation on the northern transition region, where energy is transported from the ~5 kpc (~5 arcmin) scales of the Northern Inner Lobe (NIL) to the ~30 kpc (~30 arcmin) scales of the Northern Middle Lobe (NML). Our Murchison Widefield Array observations at 154 MHz and our Parkes radio telescope observations at 2.3 GHz show diffuse radio emission connecting the NIL to the NML, in agreement with previous Australia Telescope Compact Array observations at 1.4 GHz. Comparison of these radio data with our widefield optical emission line images show the relationship between the NML radio emission and the ionised filaments that extend north from the NIL, and reveal a new ionised filament to the east, possibly associated with a galactic wind. Our deep optical images show clear evidence for a bipolar outflow from the central galaxy extending to intermediate scales, despite the non-detection of a southern radio counterpart to the NML. Thus, our observational overview of Centaurus A reveals a number of features proposed to be associated with AGN feedback mechanisms, often cited as likely to have significant effects in galaxy evolution models. As one of the closest galaxies to us, Centaurus A therefore provides a unique laboratory to examine feedback mechanisms in detail.


title: Quantum random number generator based on quantum tunneling effect

abstract: In this paper, we proposed an experimental implementation of quantum random number generator(QRNG) with inherent randomness of quantum tunneling effect of electrons. We exploited InGaAs/InP diodes, whose valance band and conduction band shared a quasi-constant energy barrier. We applied a bias voltage on the InGaAs/InP avalanche diode, which made the diode works under Geiger mode, and triggered the tunneling events with a periodic pulse. Finally, after data collection and post-processing, our quantum random number generation rate reached 8Mb/s, and final data was verified by NIST test and Diehard test. Our experiment is characterized as an innovative low-cost, photonic source free, integratable or even chip-achievable method in quantum random number generation.


title: Gamma-rays from the binary system containing PSR J2032+4127 during its periastron passage

abstract: The energetic pulsar, PSR J2032+4127, has been recently discovered in the direction of the unidentified HEGRA TeV gamma-ray source (TeV J2032+4130). It is proposed that this pulsar forms a binary system with the Be type star, MT91 213, expected to reach the periastron late in 2017. We performed detailed calculations of the gamma-ray emission produced close to the binary system's periastron passage by applying a simple geometrical model. Electrons accelerated at the collision region of pulsar and stellar winds initiate anisotropic Inverse Compton electron-positron pair cascades by scattering soft radiation from the massive companion. The gamma-ray spectra, from such a comptonization process, are confronted with the measurements of the extended TeV gamma-ray emission from the HEGRA TeV gamma-ray source. We discuss conditions within the binary system, at the periastron passage of the pulsar, for which the gamma-ray emission from the binary can overcome the extended, steady TeV gamma-ray emission from the HEGRA TeV gamma-ray source.


title: Learning Solving Procedure for Artificial Neural Network

abstract: It is expected that progress toward true artificial intelligence will be achieved through the emergence of a system that integrates representation learning and complex reasoning (LeCun et al. 2015). In response to this prediction, research has been conducted on implementing the symbolic reasoning of a von Neumann computer in an artificial neural network (Graves et al. 2016; Graves et al. 2014; Reed et al. 2015). However, these studies have many limitations in realizing neural-symbolic integration (Jaeger. 2016). Here, we present a new learning paradigm: a learning solving procedure (LSP) that learns the procedure for solving complex problems. This is not accomplished merely by learning input-output data, but by learning algorithms through a solving procedure that obtains the output as a sequence of tasks for a given input problem. The LSP neural network system not only learns simple problems of addition and multiplication, but also the algorithms of complicated problems, such as complex arithmetic expression, sorting, and Hanoi Tower. To realize this, the LSP neural network structure consists of a deep neural network and long short-term memory, which are recursively combined. Through experimentation, we demonstrate the efficiency and scalability of LSP and its validity as a mechanism of complex reasoning.


title: Physics in Riemann's mathematical papers

abstract: Riemann's mathematical papers contain many ideas that arise from physics, and some of them are motivated by problems from physics. In fact, it is not easy to separate Riemann's ideas in mathematics from those in physics. Furthermore, Riemann's philosophical ideas are often in the background of his work on science. The aim of this chapter is to give an overview of Riemann's mathematical results based on physical reasoning or motivated by physics. We also elaborate on the relation with philosophy. While we discuss some of Riemann's philosophical points of view, we review some ideas on the same subjects emitted by Riemann's predecessors, and in particular Greek philosophers, mainly the pre-socratics and Aristotle. The final version of this paper will appear in the book: From Riemann to differential geometry and relativity (L. Ji, A. Papadopoulos and S. Yamada, ed.) Berlin: Springer, 2017.


title: Cash Accumulation Strategy based on Optimal Replication of Random Claims with Ordinary Integrals

abstract: This paper presents a numerical model to solve the problem of cash accumulation strategies for products with an unknown future price, like assets. Stock prices are modeled by a discretized Wiener Process, and by the means of ordinary integrals this Wiener Process will be exactly matched at a preset terminal time. Three applications of the model are presented: accumulating cash for a single asset, for set of different assets, and for a proportion of the excess achieved by a certain asset. Furthermore, an analysis of the efficiency of the model as function of different parameters is performed.


title: Microscopic structures and thermal stability of black holes conformally coupled to scalar fields in five dimensions

abstract: Completely from the thermodynamic point of view, we explore the microscopic character of a hairy black hole of Einstein's theory conformally coupled to a scalar field in five dimensions by means of the Ruppeiner thermodynamic geometry. We demonstrate that the scalar hairy black hole has rich microscopic structures in different parameter spaces. Moreover, we analyze the thermal stability of this black hole in detail.


title: Enabling rootless Linux Containers in multi-user environments: the udocker tool

abstract: Containers are increasingly used as means to distribute and run Linux services and applications. In this paper we describe the architectural design and implementation of udocker, a tool which enables the user to execute Linux containers in user mode. We also present a few practical applications, using a range of scientific codes characterized by different requirements: from single core execution to MPI parallel execution and execution on GPGPUs.


title: Cosmic screening of the gravitational interaction

abstract: We study a universe filled with cold dark matter in the form of discrete inhomogeneities (e.g., galaxies) and dark energy in the form of a continuous perfect fluid. We develop a first-order scalar perturbation theory in the weak gravity limit around a spatially flat Friedmann universe. Our approach works at all cosmic scales and incorporates linear and nonlinear effects with respect to energy density fluctuations. The gravitational potential can be split into individual contributions from each matter source. Each potential is characterized by a Yukawa interaction with the same range, which is of the order of 3700 Mpc at the present time. The derived equations can form the theoretical basis for numerical simulations for a wide class of modern cosmological models.


title: Optimal investment-consumption and life insurance selection problem under inflation. A BSDE approach

abstract: We discuss an optimal investment, consumption and insurance problem of a wage earner under inflation. Assume a wage earner investing in a real money account and three asset prices, namely: a real zero coupon bond, the inflation-linked real money account and a risky share described by jump-diffusion processes. Using the theory of quadratic-exponential backward stochastic differential equation (BSDE) with jumps approach, we derive the optimal strategy for the two typical utilities (exponential and power) and the value function is characterized as a solution of BSDE with jumps. Finally, we derive the explicit solutions for the optimal investment in both cases of exponential and power utility functions for a diffusion case.


title: AdaBatch: Efficient Gradient Aggregation Rules for Sequential and Parallel Stochastic Gradient Methods

abstract: We study a new aggregation operator for gradients coming from a mini-batch for stochastic gradient (SG) methods that allows a significant speed-up in the case of sparse optimization problems. We call this method AdaBatch and it only requires a few lines of code change compared to regular mini-batch SGD algorithms. We provide a theoretical insight to understand how this new class of algorithms is performing and show that it is equivalent to an implicit per-coordinate rescaling of the gradients, similarly to what Adagrad methods can do. In theory and in practice, this new aggregation allows to keep the same sample efficiency of SG methods while increasing the batch size. Experimentally, we also show that in the case of smooth convex optimization, our procedure can even obtain a better loss when increasing the batch size for a fixed number of samples. We then apply this new algorithm to obtain a parallelizable stochastic gradient method that is synchronous but allows speed-up on par with Hogwild! methods as convergence does not deteriorate with the increase of the batch size. The same approach can be used to make mini-batch provably efficient for variance-reduced SG methods such as SVRG.


title: A fast subsampling method for estimating the distribution of signal-to-noise ratio statistics in nonparametric time series regression models

abstract: Signal-to-noise ratio (SNR) statistics play a central role in many applications. A common situation where SNR is studied is when a continuous time signal is sampled at a fixed frequency with some noise in the background. While estimation methods exist, little is known about its distribution when the noise is not weakly stationary. In this paper we develop a nonparametric method to estimate the distribution of an SNR statistic when the noise belongs to a fairly general class of stochastic processes that encompasses both short and long-range dependence, as well as nonlinearities. The method is based on a combination of smoothing and subsampling techniques. Computations are only operated at the subsample level, and this allows to manage the typical enormous sample size produced by modern data acquisition technologies. We derive asymptotic guarantees for the proposed method, and we show the finite sample performance based on numerical experiments. Finally, we propose an application to electroencephalography (EEG) data.


title: Game Theoretic Approaches to Massive Data Processing in Wireless Networks

abstract: Wireless communication networks are becoming highly virtualized with two-layer hierarchies, in which controllers at the upper layer with tasks to achieve can ask a large number of agents at the lower layer to help realize computation, storage, and transmission functions. Through offloading data processing to the agents, the controllers can accomplish otherwise prohibitive big data processing. Incentive mechanisms are needed for the agents to perform the controllers' tasks in order to satisfy the corresponding objectives of controllers and agents. In this article, a hierarchical game framework with fast convergence and scalability is proposed to meet the demand for real-time processing for such situations. Possible future research directions in this emerging area are also discussed.


title: First-principles study of magnetism, lattice dynamics, and superconductivity in LaFeSiH$_x$

abstract: The structural, electronic, magnetic, and vibrational properties of LaFeSiH$_x$ for $x$ between 0 and 1 are investigated using density functional calculations. We find that the electronic and magnetic properties are strongly controlled by the hydrogen concentration $x$ in LaFeSiH$_x$. While fully hydrogenated LaFeSiH has a striped antiferromagnetic ground state, the underdoped LaFeSiH$_x$ for $x\leq0.75$ is not magnetic within the virtual crystal approximation or with explicit doping of supercells. The antiferromagnetic configuration breaks the symmetry of Fe $d$ orbitals and increases electron-phonon coupling up to $50\%$, especially for modes in the 20-50 meV range that are associated with Fe atomic movement. We find competing nearest and next-nearest neighbor exchange interactions and significant spin-phonon coupling, qualitatively similar but smaller in magnitude compared those found in LaOFeAs superconductors. The superconducting $T_c$ for antiferromagnetic LaFeSiH$_x$, assuming conventional superconductivity via McMillan's equation, therefore is computed to be 2-10 K, in contrast to $T_c\approx0$ for the nonmagnetic material. We also predict that the LaFeSiH$_x$ could be a good proton conductor due to phase stability with a wide range of hydrogen concentration $x < 1$.


title: The optimal search on graph by continuous-time quantum walks

abstract: Chakraborty and Leonardo have shown that a spatial search by quantum walk is optimal for almost all graphs. However, we observed that on some graphs, certain states cannot be searched optimally. We present a method for constructing an optimal graph that searches an arbitrary state and provides the optimal condition. We also analyze the monotonicity of the search performance and conclude that the search performance can be improved by adding edges.


title: Characterization of Majorana-Ising phase transition in a helical liquid system

abstract: We map an interacting helical liquid system, coupled to an external magnetic field and s-wave superconductor, to an XYZ spin system, and it undergoes Majorana-Ising transition by tuning of parameters. In the Majorana state, lowest excitation gap decays exponentially with system size, and the system has degenerate ground state in the thermodynamic limit. On the contrary, the gap opens in the Ising phase even in the thermodynamic limit. We also study other criteria to characterize the transition, such as edge spin correlation with its neighbor $C(r=1)$, local susceptibility $\chi_i$, superconducting order parameter of edge spin $P(r=1)$, and longitudinal structure factor $S(k)$. The ground state degeneracy and three other criteria lead to the same critical value of parameters for Majorana-Ising phase transition in the thermodynamic limit. We study, for the first time, the entanglement spectrum of the reduced density matrix of the helical liquid system. The system shows finite Schmidt gap and non-degeneracy of the entanglement spectrum in the Ising limit. The Schmidt gap closes in the Majorana state, and all the eigenvalues are either doubly or multiply degenerate.


title: Kurt Lewin, psychological constructs and sources of brain cognitive activity

abstract: Understanding mind-brain-environment relations is one of the key topics in psychology. Kurt Lewin, inspired by theoretical physics, tried to establish topological and vector psychology analyzing patterns of interaction between the individual and her/his environment. The time is ripe to reformulate his ambitious goals, searching for ways to interpret objectively measured brain processes in terms of suitable psychological constructs. Connecting cognitive and social psychology constructs to neurophenomics, as it is done now in psychiatry, should ground them in physical reality.


title: Towards Reverse-Engineering Black-Box Neural Networks

abstract: Many deployed learned models are black boxes: given input, returns output. Internal information about the model, such as the architecture, optimisation procedure, or training data, is not disclosed explicitly as it might contain proprietary information or make the system more vulnerable. This work shows that such attributes of neural networks can be exposed from a sequence of queries. This has multiple implications. On the one hand, our work exposes the vulnerability of black-box neural networks to different types of attacks -- we show that the revealed internal information helps generate more effective adversarial examples against the black box model. On the other hand, this technique can be used for better protection of private content from automatic recognition models using adversarial examples. Our paper suggests that it is actually hard to draw a line between white box and black box models.


title: Cross section measurement of $t$-channel single top quark production in pp collisions at $\sqrt{s}$ = 13 TeV

abstract: Single top quarks in the $t$ channel are produced though the electroweak force and are therefore an excellent way to probe the electroweak sector of the standard model with top quark physics. The recent cross section measurement of single top $t$-channel production from the CMS collaboration is presented in this poster. The analyzed data was taken during the LHC Run II in 2015 at a center-of-mass energy of $13\,\textrm{TeV}$. A multivariate classifier is used to distinguish signal and background processes and the cross section is then extracted using a binned maximum-likelihood fit.


title: The triplet photoproduction on a free electron as a possible way to search for a dark photon

abstract: The process of the triplet production on a free electron, $\gamma e^-\to e^+e^-e^-$, has been investigated as a reaction where a dark photon, $A'$, is produced as a virtual state with subsequent decay into a $e^+e^-$-pair. This effect arises due to the so-called kinetic mixing and is characterized by the small parameter $\epsilon$ describing the coupling strength relative to the electric charge e. The search of $A'$ in this process has advantage because the background to the $A'$ signal is pure QED. This QED background is described by eight Feynman diagrams taking into account the identity of final electrons. As concern $A'$, we leave its contribution in Compton-like diagrams only since, in this case, the virtual dark photon is time-like and its propagator has the Breit-Wigner form. So, near the resonance $A'$ can manifest itself. The contribution of $A'$ in Borsellino diagrams is negligible since, in this case, the virtual dark photon is space-like, the $A'$ propagator does not peak and effect is proportional at least to $\epsilon^2$. We calculate the distributions over the invariant masses of the both produced $e^+e^-$ pairs and search for the kinematical region where the Compton-like diagrams contribution is not suppressed as compared with the Borsellino one. We estimate what value of the parameter $\epsilon$, as a function of the dark photon mass, can be obtained at given number of the measured events.


title: Particle-hole symmetry for composite fermions: An emergent symmetry in the fractional quantum Hall effect

abstract: The particle-hole (PH) symmetry of {\em electrons} is an exact symmetry of the electronic Hamiltonian confined to a specific Landau level, and its interplay with the formation of composite fermions has attracted much attention of late. This article investigates an emergent symmetry in the fractional quantum Hall effect, namely the PH symmetry of {\em composite fermions}, which relates states at composite fermion filling factors $\nu^*=n+\bar{\nu}$ and $\nu^*=n+1-\bar{\nu}$, where the integer $n$ is the $\Lambda$ level index and $0\leq \bar{\nu}\leq 1$. Detailed calculations using the microscopic theory of composite fermions demonstrate that for low lying $\Lambda$ levels (small $n$): (i) the 2-body interaction between composite-fermion particles is very similar, apart from a constant additive term and an overall scale factor, to that between composite-fermion holes in the same $\Lambda$ level; and (ii) the 3-body interaction for composite fermions is an order of magnitude smaller than the 2-body interaction. Taken together, these results imply an approximate PH symmetry for composite fermions in low $\Lambda$ levels, which is also supported by exact diagonalization studies and available experiments. This symmetry, which relates states at electron filling factors $\nu={n+\bar{\nu}\over 2(n+\bar{\nu})\pm 1}$ and $\nu={n+1-\bar{\nu}\over 2(n+1-\bar{\nu})\pm 1}$, is not present in the original Hamiltonian and owes its existence entirely to the formation of composite fermions. With increasing $\Lambda$ level index, the 2-body and 3-body pseudopotentials become comparable, but at the same time they both diminish in magnitude, indicating that the interaction between composite fermions becomes weak as we approach $\nu=1/2$.


title: Quantum Reference Frames via Transition Amplitudes in Timeless Quantum Gravity

abstract: We propose an algorithm of extracting Schr\"odinger theories under all viable physical time from the Einstein-Hilbert path integral, formulated as the timeless transition amplitudes $\hat{\mathbb{P}}:\mathbb{K} \to \mathbb{K}^*$ between the boundary states in a kinematic Hilbert space $\mathbb{K}$. Each of these Schr\"odinger theories refers to a certain set of quantum degrees of freedom in $\mathbb{K}$ as a background, with their given values specifying moments of the physical time. Restricted to these specified background values, the relevant elements of $\hat{\mathbb{P}}$ are transformed by the algorithm into the unitary propagator of a corresponding reduced phase space Schr\"odinger theory. The algorithm embodies the fundamental principle of quantum Cauchy surfaces, such that all the derived Schr\"odinger theories emerge from one timeless canonical theory defined by $\hat{\mathbb{P}}$ as a rigging map, via the relational Dirac observables referring to the corresponding backgrounds. We demonstrate its application to a FRW loop quantum cosmological model with a massless Klein-Gordon scalar field. Recovering the famous singularity-free quantum gravitational dynamics with the background of the scalar field, we also obtain in another reference frame a modified Klein-Gordon field quantum dynamics with the background of the spatial (quantum) geometry.


title: 3D Common-Refinement Method for Non-Matching Meshes in Partitioned Variational Fluid-Structure Analysis

abstract: We present a three-dimensional (3D) common-refinement method for non-matching meshes between discrete non-overlapping subdomains of incompressible fluid and nonlinear hyperelastic structure. To begin, we first investigate the accuracy of common-refinement method (CRM) to satisfy traction equilibrium condition along the fluid-elastic interface with non-matching meshes. We systematically assess the accuracy of CRM against the matching grid solution by varying grid mismatch between the fluid and solid meshes over a cylindrical tubular elastic body. We demonstrate second-order accuracy of CRM through uniform refinements of fluid and solid meshes along the interface. We then extend the error analysis to transient data transfer across non-matching meshes between fluid and solid solvers. We show that the common-refinement discretization across non-matching fluid-structure grids yields accurate transfer of the physical quantities across the fluid-solid interface. We next solve a 3D benchmark problem of a cantilevered hyperelastic plate behind a circular bluff body and verify the accuracy of coupled solutions with respect to the available solution in the literature. By varying the solid interface resolution, we generate various non-matching grid ratios and quantify the accuracy of CRM for the nonlinear structure interacting with a laminar flow. We illustrate that the CRM with the partitioned NIFC treatment is stable for low solid-to-fluid density ratio and non-matching meshes. Finally, we demonstrate the 3D parallel implementation of common-refinement with NIFC scheme for a realistic engineering problem of drilling riser undergoing complex vortex-induced vibration with strong added mass effects.


title: Water Optical Nonlinearity: Explaining Anomalously Large Electro-Optic Coefficients in Poled Silica Fibres

abstract: An explanation is offered for the large anomalous electro-optic (e.o.) effect reported by Fujiwara in 1994. It is based on the large e.o. coefficient of ordered water at an interface measured in recent years. The concept of water-based photonics is introduced, suggesting that liquid states of matter can allow ready shaping and exploitation of many processes in ways not previously considered.


title: Multimodal Signal Processing and Learning Aspects of Human-Robot Interaction for an Assistive Bathing Robot

abstract: We explore new aspects of assistive living on smart human-robot interaction (HRI) that involve automatic recognition and online validation of speech and gestures in a natural interface, providing social features for HRI. We introduce a whole framework and resources of a real-life scenario for elderly subjects supported by an assistive bathing robot, addressing health and hygiene care issues. We contribute a new dataset and a suite of tools used for data acquisition and a state-of-the-art pipeline for multimodal learning within the framework of the I-Support bathing robot, with emphasis on audio and RGB-D visual streams. We consider privacy issues by evaluating the depth visual stream along with the RGB, using Kinect sensors. The audio-gestural recognition task on this new dataset yields up to 84.5%, while the online validation of the I-Support system on elderly users accomplishes up to 84% when the two modalities are fused together. The results are promising enough to support further research in the area of multimodal recognition for assistive social HRI, considering the difficulties of the specific task. Upon acceptance of the paper part of the data will be publicly available.


title: LAMN in a class of parametric models for null recurrent diffusion

abstract: We study statistical models for one-dimensional diffusions which are recurrent null. A first parameter in the drift is the principal one, and determines regular varying rates of convergence for the score and the information process. A finite number of other parameters, of secondary importance, introduces additional flexibility for the modelization of the drift, and does not perturb the null recurrent behaviour. Under time-continuous observation we obtain local asymptotic mixed normality (LAMN), state a local asymptotic minimax bound, and specify asymptotically optimal estimators.


title: Improvement of heavy-heavy current for calculation of $\bar{B}\to D^{(*)}\ell\bar{\nu}$ form factors using Oktay-Kronfeld heavy quarks

abstract: The CKM matrix element $|V_{cb}|$ can be extracted by combining data from experiments with lattice QCD results for the semileptonic form factors for the $\bar{B}\to D^{(*)} \ell \bar{\nu}$ decays. The Oktay-Kronfeld (OK) action was designed to reduce heavy-quark discretization errors to below $1\%$, or through $\mathcal{O}(\lambda^3)$ in HQET power counting. Here we describe recent progress on bottom-to-charm currents improved to the same order in HQET as the OK action, and correct formerly reported results of our matching calculations, in which the operator basis was incomplete.


title: Optical wireless link between a nanoscale antenna and a transducing rectenna

abstract: Initiated as a cable-replacement solution, short-range wireless power transfer has rapidly become ubiquitous in the development of modern high-data throughput networking in centimeter to meter accessibility range. Wireless technology is now penetrating a higher level of system integration for chip-to-chip and on-chip radiofrequency interconnects. However, standard CMOS integrated millimeter-wave antennas have typical size commensurable with the operating wavelength, and are thus an unrealistic solution for downsizing transmitters and receivers to the micrometer and nanometer scale. In this letter, we demonstrate a light-in and electrical-signal-out, on-chip wireless near infrared link between a 200 nm optical antenna and a sub-nanometer rectifying antenna converting the transmitted optical energy into direct current (d.c.). The co-integration of subwavelength optical functional devices with an electronic transduction offers a disruptive solution to interface photons and electrons at the nanoscale for on-chip wireless optical interconnects.


title: A unified approach to solving some inverse problems for evolution equations by using observability inequalities

abstract: We survey some of our recent results on inverse problems for evolution equations. The goal is to provide a unified approach to solve various types of evolution equations. The inverse problems we consider consist in determining unknown coefficients from boundary measurements by varying initial conditions. Based on observability inequalities and a special choice of initial conditions, we provide uniqueness and stability estimates for the recovery of volume and boundary lower order coefficients in wave and heat equations. Some of the results presented here are slightly improved from their original versions.


title: Earthquake precursors in the light of peroxy defects theory: critical review of systematic observations

abstract: The starting point of the present review is to acknowledge that there are innumerable reports of non-seismic types of earthquake precursory phenomena that are intermittent and seem not to occur systematically, while associated reports are not widely accepted by the geoscience community at large because no one could explain their origins. We review a unifying theory for a solid-state mechanism, based on decades of research bridging semi-conductor physics, chemistry and rock physics. A synthesis has emerged that all pre-earthquake phenomena could trace back to one fundamental physical process: the activation of electronic charges (electrons and positive holes) in rocks subjected to ever-increasing tectonic stresses prior to any major seismic activity, via the rupture of peroxy bonds. In the second part of the review, we critically examine satellite and ground station data, recorded before past large earthquakes, as they have been claimed to provide evidence that precursory signals tend to become measurable days, sometimes weeks before the disasters. We review some of the various phenomena that can be directly predicted by the peroxy defect theory , namely, radon gas emanations, corona discharges, thermal infrared emissions, air ionization, ion and electron content in the ionosphere, and electro-magnetic anomalies. Our analysis demonstrates the need for further systematic investigations, in particular with strong continuous statistical testing of the relevance and confidence of the precursors. Only then, the scientific community will be able to assess and improve the performance of earthquake forecasts.


title: Observation of Intrinsic Half-metallic Behavior of CrO$_2$ (100) Epitaxial Films by Bulk-sensitive Spin-resolved PES

abstract: We have investigated the electronic states and spin polarization of half-metallic ferromagnet CrO$_2$ (100) epitaxial films by bulk-sensitive spin-resolved photoemission spectroscopy with a focus on non-quasiparticle (NQP) states derived from electron-magnon interactions. We found that the averaged values of the spin polarization are approximately 100% and 40% at 40 K and 300 K, respectively. This is consistent with the previously reported result [H. Fujiwara et al., Appl. Phys. Lett. 106, 202404 (2015).]. At 100 K, peculiar spin depolarization was observed at the Fermi level ($E_{F}$), which is supported by theoretical calculations predicting NQP states. This suggests the possible appearance of NQP states in CrO$_2$. We also compare the temperature dependence of our spin polarizations with that of the magnetization.


title: On the Outage Probability Conjecture for MIMO Channels

abstract: Multiple-Input-Multiple-Output (MIMO) communication systems have seen wide application due to its performance benefits such as multiplexing gain. For MIMO systems with non-ergodic Gaussian channel, a conjecture regarding its outage probability has been proposed by Telatar in [1]. This conjecture has been proved for the special single-output case, and is in general assumed to be true. In this work, we analyze the special Two-Input-Multiple-Output (TIMO) case theoretically, and provide a counter-example to the conjecture. The counter-example is verified both theoretically and by numerical experiments. We also present a theoretical analysis for general MIMO case, including a method for calculation. This result rejects the decades-long conjecture and provides interesting insight into the symmetry of MIMO systems.


title: High speed error correction for continuous-variable quantum key distribution with multi-edge type LDPC code

abstract: Error correction is a significant step in postprocessing of continuous-variable quantum key distribution system, which is used to make two distant legitimate parties share identical corrected keys. We propose an experiment demonstration of high speed error correction with multi-edge type low-density parity check (MET-LDPC) codes based on graphic processing unit (GPU). GPU supports to calculate the messages of MET-LDPC codes simultaneously and decode multiple codewords in parallel. We optimize the memory structure of parity check matrix and the belief propagation decoding algorithm to reduce computational complexity. Our results show that GPU-based decoding algorithm greatly improves the error correction speed. For the three typical code rate, i.e., 0.1, 0.05 and 0.02, when the block length is $10^6$ and the iteration number are 100, 150 and 200, the average error correction speed can be respectively achieved to 30.39Mbits/s (over three times faster than previous demonstrations), 21.23Mbits/s and 16.41Mbits/s with 64 codewords decoding in parallel, which supports high-speed real-time continuous-variable quantum key distribution system.


title: Entanglement Structure: Entanglement Partitioning in Multipartite Systems and Its Experimental Detection Using Optimizable Witnesses

abstract: Creating large-scale entanglement lies at the heart of many quantum information processing protocols and the investigation of fundamental physics. For multipartite quantum systems, it is crucial to identify not only the presence of entanglement but also its detailed structure. This is because in a generic experimental situation with sufficiently many subsystems involved, the production of so-called genuine multipartite entanglement remains a formidable challenge. Consequently, focusing exclusively on the identification of this strongest type of entanglement may result in an all or nothing situation where some inherently quantum aspects of the resource are overlooked. On the contrary, even if the system is not genuinely multipartite entangled, there may still be many-body entanglement present in the system. An identification of the entanglement structure may thus provide us with a hint about where imperfections in the setup may occur, as well as where we can identify groups of subsystems that can still exhibit strong quantum-information-processing capabilities. However, there is no known efficient methods to identify the underlying entanglement structure. Here, we propose two complementary families of witnesses for the identification of such structures. They are based on the detection of entanglement intactness and entanglement depth, each requires only the implementation of solely two local measurements. Our method is also robust against noises and other imperfections, as reflected by our experimental implementation of these tools to verify the entanglement structure of five different eight-photon entangled states. We demonstrate how their entanglement structure can be precisely and systematically inferred from the experimental data. In achieving this goal, we also illustrate how the same set of data can be classically postprocessed to learn the most about the measured system.


title: Lattice theory of torsion classes: Beyond $\tau$-tilting theory

abstract: The aim of this paper is to establish a lattice theoretical framework to study the partially ordered set $\operatorname{\mathsf{tors}} A$ of torsion classes over a finite-dimensional algebra $A$. We show that $\operatorname{\mathsf{tors}} A$ is a complete lattice which enjoys very strong properties, as bialgebraicity and complete semidistributivity. Thus its Hasse quiver carries the important part of its structure, and we introduce the brick labelling of its Hasse quiver and use it to study lattice congruences of $\operatorname{\mathsf{tors}} A$. In particular, we give a representation-theoretical interpretation of the so-called forcing order, and we prove that $\operatorname{\mathsf{tors}} A$ is completely congruence uniform. When $I$ is a two-sided ideal of $A$, $\operatorname{\mathsf{tors}} (A/I)$ is a lattice quotient of $\operatorname{\mathsf{tors}} A$ which is called an algebraic quotient, and the corresponding lattice congruence is called an algebraic congruence. The second part of this paper consists in studying algebraic congruences. We characterize the arrows of the Hasse quiver of $\operatorname{\mathsf{tors}} A$ that are contracted by an algebraic congruence in terms of the brick labelling. In the third part, we study in detail the case of preprojective algebras $\Pi$, for which $\operatorname{\mathsf{tors}} \Pi$ is the Weyl group endowed with the weak order. In particular, we give a new, more representation theoretical proof of the isomorphism between $\operatorname{\mathsf{tors}} k Q$ and the Cambrian lattice when $Q$ is a Dynkin quiver. We also prove that, in type $A$, the algebraic quotients of $\operatorname{\mathsf{tors}} \Pi$ are exactly its Hasse-regular lattice quotients.


title: Calculation of $\bar B \rightarrow D^\ast \ell \bar \nu$ form factor at zero recoil using the Oktay-Kronfeld action

abstract: We present the first preliminary results for the semileptonic form factor $h_{A_1}(w=1)/\rho_{A_j}$ at zero recoil for the $\bar B \rightarrow D^\ast \ell \bar \nu$ decay using lattice QCD with four flavors of sea quarks. We use the HISQ staggered action for the light valence and sea quarks (the MILC HISQ configurations), and the Oktay-Kronfeld (OK) action for the heavy valence quarks.


title: Extremal Banach-Mazur distance between a symmetric convex body and an arbitrary convex body on the plane

abstract: We prove that if $K, L \subset \mathbb{R}^2$ are convex bodies such that $L$ is symmetric and the Banach-Mazur distance between $K$ and $L$ is equal to $2$, then $K$ is a triangle.


title: Performance Analysis of Trial and Error Algorithms

abstract: Model-free decentralized optimizations and learning are receiving increasing attention from theoretical and practical perspectives. In particular, two fully decentralized learning algorithms, namely Trial and Error (TEL) and Optimal Dynamical Learning (ODL), are very appealing for a broad class of games. In fact, ODL has the property to spend a high proportion of time in an optimum state that maximizes the sum of utility of all players. And the TEL has the property to spend a high proportion of time in an optimum state that maximizes the sum of utility of all players if there is a Pure Nash Equilibrium (PNE), otherwise, it spends a high proportion of time in an optimum state that maximizes a tradeoff between the sum of utility of all players and a predefined stability function. On the other hand, estimating the mean fraction of time spent in the optimum state (as well as the mean time duration to reach it) is challenging due to the high complexity and dimension of the inherent Markov Chains. In this paper, under some specific system model, an evaluation of the above performance metrics is provided by proposing an approximation of the considered Markov chains, which allows overcoming the problem of high dimensionality. A comparison between the two algorithms is then performed which allows a better understanding of their performances.


title: Fusible HSTs and the randomized k-server conjecture

abstract: We exhibit an $O((\log k)^6)$-competitive randomized algorithm for the $k$-server problem on any metric space. It is shown that a potential-based algorithm for the fractional $k$-server problem on hierarchically separated trees (HSTs) with competitive ratio $f(k)$ can be used to obtain a randomized algorithm for any metric space with competitive ratio $f(k)^2 O((\log k)^2)$. Employing the $O((\log k)^2)$-competitive algorithm for HSTs from our joint work with Bubeck, Cohen, Lee, and M\k{a}dry (2017) yields the claimed bound. The best previous result independent of the geometry of the underlying metric space is the $2k-1$ competitive ratio established for the deterministic work function algorithm by Koutsoupias and Papadimitriou (1995). Even for the special case when the underlying metric space is the real line, the best known competitive ratio was $k$. Since deterministic algorithms can do no better than $k$ on any metric space with at least $k+1$ points, this establishes that for every metric space on which the problem is non-trivial, randomized algorithms give an exponential improvement over deterministic algorithms.


title: Simultaneous Block-Sparse Signal Recovery Using Pattern-Coupled Sparse Bayesian Learning

abstract: In this paper, we consider the block-sparse signals recovery problem in the context of multiple measurement vectors (MMV) with common row sparsity patterns. We develop a new method for recovery of common row sparsity MMV signals, where a pattern-coupled hierarchical Gaussian prior model is introduced to characterize both the block-sparsity of the coefficients and the statistical dependency between neighboring coefficients of the common row sparsity MMV signals. Unlike many other methods, the proposed method is able to automatically capture the block sparse structure of the unknown signal. Our method is developed using an expectation-maximization (EM) framework. Simulation results show that our proposed method offers competitive performance in recovering block-sparse common row sparsity pattern MMV signals.


title: HyperNetworks with statistical filtering for defending adversarial examples

abstract: Deep learning algorithms have been known to be vulnerable to adversarial perturbations in various tasks such as image classification. This problem was addressed by employing several defense methods for detection and rejection of particular types of attacks. However, training and manipulating networks according to particular defense schemes increases computational complexity of the learning algorithms. In this work, we propose a simple yet effective method to improve robustness of convolutional neural networks (CNNs) to adversarial attacks by using data dependent adaptive convolution kernels. To this end, we propose a new type of HyperNetwork in order to employ statistical properties of input data and features for computation of statistical adaptive maps. Then, we filter convolution weights of CNNs with the learned statistical maps to compute dynamic kernels. Thereby, weights and kernels are collectively optimized for learning of image classification models robust to adversarial attacks without employment of additional target detection and rejection algorithms. We empirically demonstrate that the proposed method enables CNNs to spontaneously defend against different types of attacks, e.g. attacks generated by Gaussian noise, fast gradient sign methods (Goodfellow et al., 2014) and a black-box attack(Narodytska & Kasiviswanathan, 2016).


title: Double Kodaira fibrations with small signature

abstract: Kodaira fibrations are surfaces of general type with a non-isotrivial fibration, which are differentiable fibre bundles. They are known to have positive signature divisible by $4$. Examples are known only with signature 16 and more. We review approaches to construct examples of low signature which admit two independent fibrations. Special attention is paid to ramified covers of product of curves which we analyse by studying the monodromy action for bundles of punctured curves. As a by-product we obtain a classification of all fix-point-free automorphisms on curves of genus at most $9$.


title: Disrupted asteroid P/2016 G1. II. Follow-up observations from the Hubble Space Telescope

abstract: After the early observations of the disrupted asteroid P/2016 G1 with the 10.4m Gran Telescopio Canarias (GTC), and the modeling of the dust ejecta, we have performed a follow-up observational campaign of this object using the Hubble Space Telescope (HST) during two epochs (June 28 and July 11, 2016). The analysis of these HST images with the same model inputs obtained from the GTC images revealed a good consistency with the predicted evolution from the GTC images, so that the model is applicable to the whole observational period from late April to early July 2016. This result confirms that the resulting dust ejecta was caused by a relatively short-duration event with onset about 350 days before perihelion, and spanning about 30 days (HWHM). For a size distribution of particles with a geometric albedo of 0.15, having radii limits of 1 $\mu$m and 1 cm, and following a power-law with index --3.0, the total dust mass ejected is $\sim$2$\times$10$^7$ kg. As was the case with the GTC observations, no condensations in the images that could be attributed to a nucleus or fragments released after the disruption event were found. However, the higher limiting magnitude reachable with the HST images in comparison with those from GTC allowed us to impose a more stringent upper limit to the observed fragments of $\sim$30 m.


title: The Green Bank Ammonia Survey: Unveiling the Dynamics of the Barnard 59 star-forming Clump

abstract: Understanding the early stages of star formation is a research field of ongoing development, both theoretically and observationally. In this context, molecular data have been continuously providing observational constraints on the gas dynamics at different excitation conditions and depths in the sources. We have investigated the Barnard 59 core, the only active site of star formation in the Pipe Nebula, to achieve a comprehensive view of the kinematic properties of the source. These information were derived by simultaneously fitting ammonia inversion transition lines (1,1) and (2,2). Our analysis unveils the imprint of protostellar feedback, such as increasing line widths, temperature and turbulent motions in our molecular data. Combined with complementary observations of dust thermal emission, we estimate that the core is gravitationally bound following a virial analysis. If the core is not contracting, another source of internal pressure, most likely the magnetic field, is supporting it against gravitational collapse and limits its star formation efficiency.


title: Competing forces in liquid metal electrodes and batteries

abstract: Liquid metal batteries are proposed for low-cost grid scale energy storage. During their operation, solid intermetallic phases often form in the cathode and are known to limit the capacity of the cell. Fluid flow in the liquid electrodes can enhance mass transfer and reduce the formation of localized intermetallics, and fluid flow can be promoted by careful choice of the locations and topology of a battery's electrical connections. In this context we study four phenomena that drive flow: Rayleigh-B\'enard convection, internally heated convection, electro-vortex flow, and swirl flow, in both experiment and simulation. In experiments, we use ultrasound Doppler velocimetry (UDV) to measure the flow in a eutectic PbBi electrode at 160{\deg}C and subject to all four phenomena. In numerical simulations, we isolate the phenomena and simulate each separately using OpenFOAM. Comparing simulated velocities to experiments via a UDV beam model, we find that all four phenomena can enhance mass transfer in LMBs. We explain the flow direction, describe how the phenomena interact, and propose dimensionless numbers for estimating their mutual relevance. A brief discussion of electrical connections summarizes the engineering implications of our work.


title: Independently Interpretable Lasso: A New Regularizer for Sparse Regression with Uncorrelated Variables

abstract: Sparse regularization such as $\ell_1$ regularization is a quite powerful and widely used strategy for high dimensional learning problems. The effectiveness of sparse regularization has been supported practically and theoretically by several studies. However, one of the biggest issues in sparse regularization is that its performance is quite sensitive to correlations between features. Ordinary $\ell_1$ regularization can select variables correlated with each other, which results in deterioration of not only its generalization error but also interpretability. In this paper, we propose a new regularization method, "Independently Interpretable Lasso" (IILasso). Our proposed regularizer suppresses selecting correlated variables, and thus each active variable independently affects the objective variable in the model. Hence, we can interpret regression coefficients intuitively and also improve the performance by avoiding overfitting. We analyze theoretical property of IILasso and show that the proposed method is much advantageous for its sign recovery and achieves almost minimax optimal convergence rate. Synthetic and real data analyses also indicate the effectiveness of IILasso.


title: Thickness driven topological quantum phase transition and experimental evidence of Dirac semimetal state in Cr-doped Bi2Se3

abstract: In this report, we demonstrate that the energy gap in Cr-doped Bi2Se3 closes and reopens in oscillatory fashion with increasing sample thickness indicating the topological quantum phase transition driven by the quantum finite size effect. The pattern of the oscillation provides an evidence that Cr-doped Bi2Se3 can have a Dirac semimetal state depending on the sample thickness and Cr-content. This resolves the puzzle of non-magnetic gap opening at the Dirac point of topological insulators. An energy gap can be opened due to the quantum finite size confinement of the bands in Dirac semimetal state. In addition, our room temperature ARPES measurements revealed a topological quantum phase transition between x = 0.06 and x = 0.08 in 7 quintuple layers Bi2-xCrxSe3 without ferromagnetism.


title: Stellar Inversion Techniques

abstract: Stellar seismic inversions have proved to be a powerful technique for probing the internal structure of stars, and paving the way for a better understanding of the underlying physics by revealing some of the shortcomings in current stellar models. In this lecture, we provide an introduction to this topic by explaining kernel-based inversion techniques. Specifically, we explain how various kernels are obtained from the pulsation equations, and describe inversion techniques such as the Regularised Least-Squares (RLS) and Optimally Localised Averages (OLA) methods.


title: Language properties and Grammar of Parallel and Series Parallel Languages

abstract: In this paper we have defined the language theoretical properties of Parallel languages and series parallel languages. Parallel languages and Series parallel languages play vital roles in parallel processing and many applications in computer programming. We have defined regular expressions and context free grammar for parallel and series parallel languages based on sequential languages [2]. We have also discussed the recognizability of parallel and series parallel languages using regular expression and regular grammar.


title: Adaptive Beam-Frequency Allocation Algorithm with Position Uncertainty for Millimeter-Wave MIMO Systems

abstract: Envisioned for fifth generation (5G) systems, millimeter-wave (mmWave) communications are under very active research worldwide. Although pencil beams with accurate beamtracking may boost the throughput of mmWave systems, this poses great challenges in the design of radio resource allocation for highly mobile users. In this paper, we propose a joint adaptive beam-frequency allocation algorithm that takes into account the position uncertainty inherent to high mobility and/or unstable users as, e.g., Unmanned Aerial Vehicles (UAV), for whom this is a major problem. Our proposed method provides an optimized beamwidth selection under quality of service (QoS) requirements for maximizing system proportional fairness, under user position uncertainty. The rationale of our scheme is to adapt the beamwidth such that the best trade-off among system performance (narrower beam) and robustness to uncertainty (wider beam) is achieved. Simulation results show that the proposed method largely enhances the system performance compared to reference algorithms, by an appropriate adaptation of the mmWave beamwidths, even under severe uncertainties and imperfect channel state information (CSIs).


title: Electroweak phase transition and entropy release in the early universe

abstract: It is shown that the vacuum-like energy of the Higgs potential at non-zero temperatures leads, in the course of the cosmological expansion, to a small but non-negligible rise of the entropy density in the comoving volume. This increase is calculated in the frameworks of the minimal standard model. The result can have a noticeable effect on the outcome of baryo-through-leptogenesis.


title: Low field nuclear polarization using Nitrogen Vacancy centers in diamonds

abstract: It was recently demonstrated that bulk nuclear polarization can be obtained using Nitrogen Vacancy (NV) color centers in diamonds, even at ambient conditions. This is based on the optical polarization of the NV electron spin, and using several polarization transfer methods. One such method is the NOVEL sequence, where a spin-locked sequence is applied on the NV spin, with a microwave power equal to the nuclear precession frequency. This was performed at relatively high fields, to allow for both polarization transfer and noise decoupling. As a result, this scheme requires accurate magnetic field alignment in order preserve the NV properties. Such a requirement may be undesired or impractical in many practical scenareios. Here we present a new sequence, termed the refocused NOVEL, which can be used for polarization transfer (and detection) even at low fields. Numerical simulations are performed, taking into account both the spin Hamiltonian and spin-decoherence, and we show that, under realistic parameters, it can outperform the NOVEL sequence.


title: On Codes over $\mathbb{Z}_{p^2}$ and its Covering Radius

abstract: This paper gives lower and upper bounds on the covering radius of codes over $\mathbb{Z}_{p^2}$ with respect to Lee distance. We also determine the covering radius of various Repetition codes over $\mathbb{Z}_{p^2}.$


title: Evaluation of Croatian Word Embeddings

abstract: Croatian is poorly resourced and highly inflected language from Slavic language family. Nowadays, research is focusing mostly on English. We created a new word analogy corpus based on the original English Word2vec word analogy corpus and added some of the specific linguistic aspects from Croatian language. Next, we created Croatian WordSim353 and RG65 corpora for a basic evaluation of word similarities. We compared created corpora on two popular word representation models, based on Word2Vec tool and fastText tool. Models has been trained on 1.37B tokens training data corpus and tested on a new robust Croatian word analogy corpus. Results show that models are able to create meaningful word representation. This research has shown that free word order and the higher morphological complexity of Croatian language influences the quality of resulting word embeddings.


title: Homogeneous $2$-shifts

abstract: The classification of homogeneous scalar weighted shifts is known. Recently, Kor\'{a}nyi obtained a large class of inequivalent irreducible homogeneous bi-lateral $2$-by-$2$ block shifts. In this paper, we construct two distinct classes of examples not in the list of Kor\'{a}nyi. It is then shown that these new examples of irreducible homogeneous bi-lateral $2$-by-$2$ block shifts, together with the ones found earlier by Kor\'{a}nyi, account for every unitarily inequivalent irreducible homogeneous bi-lateral $2$-by-$2$ block shift.


title: Directed Graph Minors and Serial-Parallel Width

abstract: Graph minors are a primary tool in understanding the structure of undirected graphs, with many conceptual and algorithmic implications. We propose new variants of \emph{directed graph minors} and \emph{directed graph embeddings}, by modifying familiar definitions. For the class of 2-terminal directed acyclic graphs (TDAGs) our two definitions coincide, and the class is closed under both operations. The usefulness of our directed minor operations is demonstrated by characterizing all TDAGs with serial-parallel width at most $k$; a class of networks known to guarantee bounded negative externality in nonatomic routing games. Our characterization implies that a TDAG has serial-parallel width of $1$ if and only if it is a directed series-parallel graph. We also study the computational complexity of finding a directed minor and computing the serial-parallel width.


title: The SU(2)-character variety of the closed surface of genus 2

abstract: We study the symplectic geometry of the SU(2)-representation variety of the compact oriented surface of genus 2. We use the Goldman flows to identify subsets of the moduli space with corresponding subsets of $\mathbb P^3(\mathbb C)$. We also define and study two antisymplectic involutions on the moduli space and their fixed point sets.


title: Bondi mass with a cosmological constant

abstract: The mass loss of an isolated gravitating system due to energy carried away by gravitational waves with a cosmological constant $\Lambda\in\R$ was recently worked out, using the Newman-Penrose-Unti approach. In that same article, an expression for the Bondi mass of the isolated system, $M_\Lambda$, for the $\Lambda>0$ case was proposed. The stipulated mass $M_\Lambda$ would ensure that in the absence of any incoming gravitational radiation from elsewhere, the emitted gravitational waves must carry away a positive-definite energy. That suggested quantity however, introduced a $\Lambda$-correction term to the Bondi mass $M_B$ (where $M_B$ is the usual Bondi mass for asymptotically flat spacetimes) which would involve not just information on the state of the system at that moment, but ostensibly also its past history. In this paper, we derive the identical mass-loss equation using an integral formula on a hypersurface formulated by Frauendiener based on the Nester-Witten identity, and argue that one may adopt a generalisation of the Bondi mass with $\Lambda\in\R$ \emph{without any correction}, viz. $M_\Lambda=M_B$ for any $\Lambda\in\R$. Furthermore with $M_\Lambda=M_B$, we show that for \emph{purely quadrupole gravitational waves} given off by the isolated system (i.e. when the "Bondi news" $\sigma^o$ comprises only the $l=2$ components of the "spherical harmonics with spin-weight 2"), the energy carried away is \emph{manifestly positive-definite} for the $\Lambda>0$ case. For a general $\sigma^o$ having higher multipole moments, this perspicuous property in the $\Lambda>0$ case still holds if those $l>2$ contributions are weak --- more precisely, if they satisfy any of the inequalities given in this paper.


title: Scaling solutions in the derivative expansion

abstract: Scalar field theories with $\mathbb{Z}_{2}$-symmetry are the traditional playground of critical phenomena. In this work these models are studied using functional renormalization group (FRG) equations at order $\partial^2$ of the derivative expansion and, differently from previous approaches, the spike plot technique is employed to find the relative scaling solutions in two and three dimensions. The anomalous dimension of the first few universality classes in $d=2$ is given and the phase structure predicted by conformal field theory is recovered (without the imposition of conformal invariance), while in $d=3$ a refined view of the standard Wilson-Fisher fixed point is found. Our study enlightens the strength of shooting techniques in studying FRG equations, suggesting them as candidates to investigate strongly non-perturbative theories even in more complex cases.


title: Baryon number violation and novel canonical anti-commutation relations

abstract: The possible neutron-antineutron oscillation is described by an effective quadratic Lagrangian analogous to the BCS theory. It is shown that the conventional equal-time anti-commutation relations of the neutron variable $n(t,\vec{x})$ are modified by the baryon number violating terms. This is established by the Bjorken--Johnson--Low prescription and also by the canonical quantization combined with equations of motion. This novel canonical behavior can give rise to an important physical effect, which is illustrated by analyzing the Lagrangian that violates the baryon number but gives rise to the degenerate effective Majorana fermions and thus no neutron-antineutron oscillation. Technically, this model is neatly treated using a relativistic analogue of the Bogoliubov transformation.


title: Computational Complexity Aspects of Point Visibility Graphs

abstract: A point visibility graph is a graph induced by a set of points in the plane where the vertices of the graph represent the points in the point set and two vertices are adjacent if and only if no other point from the point set lies on the line segment between the two corresponding points. The set of all point visibility graphs form a graph class which is examined from a computational complexity perspective in this paper. We show NP-hardness for several classic graph problems on point visibility graphs such as Feedback Vertex Set, Longest Induced Path, Bisection and $\mathcal{F}$-free Vertex Deletion (for certain sets $\mathcal{F}$). Furthermore, we consider the complexity of the Dominating Set problem on point visibility graphs of points on a grid.


title: Imprints of local lightcone projection effects on the galaxy bispectrum. III Relativistic corrections from nonlinear dynamical evolution on large-scales

abstract: The galaxy bispectrum is affected on equality scales and above by relativistic observational effects, at linear and nonlinear order. These lightcone effects include local contributions from Doppler and gravitational potential terms, as well as integrated contributions like lensing, together with all the couplings at nonlinear order. We recently presented the correction to the galaxy bispectrum from all local lightcone effects up to second order in perturbations, using a plane-parallel approximation. Here we update our previous result by including the effects from relativistic nonlinear dynamical evolution. We show that these dynamical effects make a significant contribution to the projection effects.


title: Performance Analysis of NOMA in Training Based Multiuser MIMO Systems

abstract: This paper considers the use of NOMA in multiuser MIMO systems in practical scenarios where CSI is acquired through pilot signaling. A new NOMA scheme that uses shared pilots is proposed. Achievable rate analysis is carried out for different pilot signaling schemes including both uplink and downlink pilots. The achievable rate performance of the proposed NOMA scheme with shared pilot within each group is compared with the traditional orthogonal access scheme with orthogonal pilots. Our proposed scheme is a generalization of the orthogonal scheme, and can be reduced to the orthogonal scheme when appropriate power allocation parameters are chosen. Numerical results show that when downlink CSI is available at the users, our proposed NOMA scheme outperforms orthogonal schemes. However with more groups of users present in the cell, it is preferable to use multi-user beamforming in stead of NOMA.


title: A Raman-Heterodyne Study of the Hyperfine Interaction of the Optically-Excited State $^5$D$_0$ of Eu$^{3+}$:Y$_2$SiO$_5$

abstract: The spin coherence time of $^{151}$Eu$^{3+}$ which substitutes the yttrium at site 1 in Y$_2$SiO$_5$ crystal has been extended to 6 hours in a recent work [\textit{Nature} \textbf{517}, 177 (2015)]. To make this long-lived spin coherence useful for optical quantum memory applications, we experimentally characterize the hyperfine interaction of the optically-excited state $^5$D$_0$ using Raman-heterodyne-detected nuclear magnetic resonance. The effective spin Hamiltonians for excited and ground state are fitted based on the experimental spectra obtained in 200 magnetic fields with various orientations. To show the correctness of the fitted parameters and potential application in quantum memory protocols, we also characterize the ground-state hyperfine interaction and predict the critical magnetic field which produces the 6-hour-long coherence time. The complete energy level structure for both the $^7$F$_0$ ground state and $^5$D$_0$ excited state at the critical magnetic field are obtained. These results enable the design of quantum memory protocols and the optimization of optical pumping strategy for realization of photonic quantum memory with hour-long lifetime.


title: Profile Matching Across Unstructured Online Social Networks: Threats and Countermeasures

abstract: In this work, we propose a profile matching (or deanonymization) attack for unstructured online social networks (OSNs) in which similarity in graphical structure cannot be used for profile matching. We consider different attributes that are publicly shared by users. Such attributes include both obvious identifiers such as the user name and non-obvious identifiers such as interest similarity or sentiment variation between different posts of a user in different platforms. We study the effect of using different combinations of these attributes to the profile matching in order to show the privacy threat in an extensive way. Our proposed framework mainly relies on machine learning techniques and optimization algorithms. We evaluate the proposed framework on two real-life datasets that are constructed by us. Our results indicate that profiles of the users in different OSNs can be matched with high probability by only using publicly shared attributes and without using the underlying graphical structure of the OSNs. We also propose possible countermeasures to mitigate this threat in the expense of reduction in the accuracy (or utility) of the attributes shared by the users. We formulate the tradeoff between the privacy and profile utility of the users as an optimization problem and show how slight changes in the profiles of the users would reduce the success of the attack. We believe that this work will be a valuable step to build a privacy-preserving tool for users against profile matching attacks between OSNs.


title: On Z2Z4[\xi]-Skew Cyclic Codes

abstract: Z2Z4-additive codes have been defined as a subgroup of Z2^{r} x Z4^{s} in [5] where Z2, Z4 are the rings of integers modulo 2 and 4 respectively and r and s positive integers. In this study, we define a new family of codes over the set Z2^{r}[\bar{\xi}] x Z4^{s}[\xi] where \xi is the root of a monic basic primitive polynomial in Z4[x]. We give the standard form of the generator and parity-check matrices of codes over Z2^{r}[\bar{\xi}] x Z4^{s}[\xi] and also we introduce skew cyclic codes and their spanning sets over this set.


title: Valence, exchange interaction, and location of Mn in polycrystalline Mn(x)Ga(1-x)N (x<0.04)

abstract: We present an experimental study for polycrystalline samples of the diluted magnetic semiconductor Mn(x)Ga(1-x)N (x<0.04) in order to address some of the existing controversial issues. Different techniques were used to characterize the electronic, magnetic, and structural properties of the samples, and inelastic neutron scattering was employed to determine the magnetic excitations associated with Mn monomers and dimers. Our main conclusions are as follows: (i) The valence of the Mn ions is 2+. (ii) The Mn(2+) ions experience a substantial single-ion axial anisotropy with parameter D=0.027(3) meV. (iii) Nearest-neighbor Mn(2+) ions are coupled antiferromagnetically. The exchange parameter J= 0.140(7) meV is independent of the Mn content x, i.e., there is no evidence for hole-induced modifications of J towards a potentially high Curie temperature postulated in the literature.


title: Dual Virtual Element Methods for Discrete Fracture Matrix Models

abstract: The accurate description of fluid flow and transport in fractured porous media is of paramount importance to capture the macroscopic behaviour of an oil reservoir, a geothermal system, or a CO2 sequestration site, to name few applications. The construction of accurate simulation model for flow in fractures is challenging due to the high ratios between a fracture's length and width, which makes modeling by lower-dimensional manifolds a natural option. In this paper we present a mixed-dimensional Darcy problem able to describe pressure and Darcy velocity in all the dimensions, i.e. in the rock matrix, in the fractures, and in their intersections. Moreover, we present a mixed-dimensional transport problem which, given the Darcy velocity, describes coupled advection and diffusion of a passive scalar into the fractured porous media. The approach can handle both conducting and blocking fractures. Our computational grids are created by coarsening of simplex tessellations that conform to the fractures surfaces. An accurate choice of the discrete approximation of the previous model, by virtual finite element and finite volume, allows us to simulate complex problem with a good balance in term of accuracy and computational cost. We illustrate the performance of our method by comparing to benchmark studies for two-dimensional fractured porous media, as well as a complex three-dimensional fracture geometry.


title: Traveling Wave Profiles for a Follow-the-Leader Model for Traffic Flow with Rough Road Condition

abstract: We study a Follow-the-Leader (FtL) ODE model for traffic flow with rough road condition, and analyze stationary traveling wave profiles where the solutions of the FtL model trace along, near the jump in the road condition. We derive a discontinuous delay differential equation (DDDE) for these profiles. For various cases, we obtain results on existence, uniqueness and local stability of the profiles. The results here offer an alternative approximation, possibly more realistic than the classical vanishing viscosity approach, to the conservation law with discontinuous flux for traffic flow.


title: Game Theoretic Semi-Distributed D2D Resource Allocation Underlaying an LTE Network

abstract: To devise D2D resource allocation algorithms in underlay D2D communications the channel state information (CSI) between the D2D transmitters and the BS and the D2D receiver CSI (DCSI-R) needs to be transmitted to the BS. However, this increases the control overhead and power wastage which increases with a fast fading channel since the CSI needs to be transmitted in every time slot. Most of the existing works assume DCSI-R availability at the BS. However, a few works assume its unavailability and determine the Nash equilibrium which may not be Pareto optimal. We address this problem and within a game theoretic framework propose a suboptimal semi-distributed D2D resource allocation algorithm. We consider the channel to exhibit path loss. Our goal is to maximize the social utility of the D2D users while meeting their utility requirements and the signal-to-interference-plus-noise ratio (SINR) requirements of the CUs to reach a Pareto optimal solution. Next, we consider shadowing, fast fading and mobility of CUs and propose another algorithm which is a modification of our first proposed algorithm. Through simulations we observe that the first algorithm does not perform well practically but the second algorithm is very robust to channel randomness and CU mobility.


title: A mixed EIM-SVD tensor decomposition for bivariate functions

abstract: In this paper we present a mixed EIM-SVD tensor decomposition for bivariate functions. This method is composed, as its name suggests, of two main steps. The first one, provides an approximate representation of a function $f$ in separate form by the use of a Tensor Empirical Interpolation Method (TEIM). The second phase consists in applying the Singular Value Decomposition (SVD) with low-rank truncation to the separate form of $f$ resulting from the first phase. Error estimates of the developed TEIM as well as truncated SVD decomposition are derived. Numerical experiments confirm that the decomposition techniques are efficient in terms of stability and accuracy.


title: Linear inviscid damping and enhanced dissipation for the Kolmogorov flow

abstract: In this paper, we prove the linear inviscid damping and voticity depletion phenomena for the linearized Euler equations around the Kolmogorov flow. These results confirm Bouchet and Morita's predictions based on numerical analysis. By using the wave operator method introduced by Li, Wei and Zhang, we solve Beck and Wayne's conjecture on the optimal enhanced dissipation rate for the 2-D linearized Navier-Stokes equations around the bar state called Kolmogorov flow. The same dissipation rate is proved for the Navier-Stokes equations if the initial velocity is included in a basin of attraction of the Kolmogorov flow with the size of $\nu^{\frac 23+}$, here $\nu$ is the viscosity coefficient.


title: DCSYNTH: Guided Reactive Synthesis with Soft Requirements for Robust Controller and Shield Synthesis

abstract: DCSYNTH is a tool for the synthesis of controllers from safety and bounded liveness requirements given in interval temporal logic QDDC. It investigates the role of soft requirements (with priorities) in obtaining high quality controllers. A QDDC formula specifies past time properties. In DCSYNTH synthesis, hard requirements must be invariantly satisfied whereas soft requirements may be satisfied "as much as possible" in a best effort manner by the controller. Soft requirements provide an invaluable ability to guide the controller synthesis. In the paper, using DCSYNTH, we show the application of soft requirements in obtaining robust controllers with various specifiable notions of robustness. We also show the use of soft requirements to specify and synthesize efficient runtime enforcement shields which can correct burst errors. Finally, we discuss the use of soft requirements in improving the latency of controlled system.


title: Chemical Evolution of Turbulent Multiphase Molecular Clouds

abstract: Molecular clouds are essentially made up of atomic and molecular hydrogen, which in spite of being the simplest molecule in the ISM plays a key role in the chemical evolution of molecular clouds. Since its formation time is very long, the H2 molecules can be transported by the turbulent motions within the cloud toward low density and warm regions, where its enhanced abundance can boost the abundances of molecules with high endothermicities. We present high resolution simulations where we include the evolution of the molecular gas under the effect of the dynamics, and we analyze its impact on the abundance of CH+.


title: Unsteady wave pattern generation by water striders

abstract: We perform an experimental and theoretical study of the wave pattern generated by the leg strokes of water striders during a propulsion cycle. Using the synthetic Schlieren method, we are able to measure the dynamic response of the free surface accurately. In order to match experimental conditions, we extend B\"uhler's theory of impulsive forcing (\cite{buhler}) to finite depth. We demonstrate the improved ability of this approach to reproduce the experimental findings, once the observed continuous forcing and hence non-zero temporal and spatial extent of the leg strokes is also taken into account.


title: How to identify zero modes for improved staggered fermions

abstract: We present results of the eigenvalue spectrum for the staggered Dir\"ac operator obtained using a modified Lanczos algorithm. We identify zero modes and non-zero modes. We derive the chiral Ward identity derived from the conserved $U(1)_A$ symmetry, and check it numerically. This is the first step toward construction of an improved method to identify zero modes reliably with staggered fermions.


title: Identity involving symmetric sums of regularized multiple zeta-star values

abstract: An identity involving symmetric sums of regularized multiple zeta-star values of harmonic type was proved by Hoffman. In this paper, we prove an identity of shuffle type. We use Bell polynomials appearing in the study of set partitions to prove the identity.


title: Isogeometric Analysis Simulation of TESLA Cavities Under Uncertainty

abstract: In the design of electromagnetic devices the accurate representation of the geometry plays a crucial role in determining the device performance. For accelerator cavities, in particular, controlling the frequencies of the eigenmodes is important in order to guarantee the synchronization between the electromagnetic field and the accelerated particles. The main interest of this work is in the evaluation of eigenmode sensitivities with respect to geometrical changes using Monte Carlo simulations and stochastic collocation. The choice of an IGA approach for the spatial discretization allows for an exact handling of the domains and their deformations, guaranteeing, at the same time, accurate and highly regular solutions.


title: Wro\'nskian factorizations and Broadhurst-Mellit determinant formulae

abstract: Drawing on Vanhove's contributions to mixed Hodge structures for Feynman integrals in two-di\-men\-sion\-al quantum field theory, we compute two families of determinants whose entries are Bessel moments. Via explicit factorizations of certain Wro\'nskian determinants, we verify two recent conjectures proposed by Broadhurst and Mellit, concerning determinants of arbitrary sizes. With some extensions to our methods, we also relate two more determinants of Broadhurst--Mellit to the logarithmic Mahler measures of certain polynomials.


title: Polarization phenomena in process $e^++e^-\rightarrow N+\bar N+\gamma $

abstract: The emission of the hard photon by the initial state is considered. The nucleon polarization and the differential cross sections for some experimental conditions have been calculated. The case of the emission of the collinear (with respect to the direction of the electron beam momentum) photon is considered separately. The differential cross section, the nucleon polarization, the correlation coefficients for both polarized nucleons (provided the electron beam is unpolarized or longitudinally polarized), the transfer polarization from the longitudinally polarized electron beam to the nucleon have been calculated. The photon energy distribution for the reaction $e^+e^-\to h_1h_2\gamma $, where $h_1 $ and $h_2$ are some hadrons for the case of the collinear photon, emitted in the initial state, has been calculated. As $h_1h_2$ final state we considered some channels, namely: two spinless mesons (for example, $\pi^+\pi^-, K^+K^-$), two spin--one particles (for example, $\rho^+\rho^-, d\bar d$), the $\pi a_1(1260)$ and $\Delta(1232)\bar N$ channels. The photon energy distributions are calculated in terms of the form factors of the $\gamma^*\to h_1h_2$ transition ($\gamma^*$ is the virtual photon).


title: Off-shell $t\bar{t}j$ production and top quark mass studies at the LHC

abstract: Precision studies of the properties of the top quark represent a cornerstone of the LHC physics program. In this contribution we focus on the production of $t\bar{t}$ pairs in association with one hard jet and in particular on its connection with precision measurements of the top quark mass at the LHC. We report a summary of a full calculation of the process $pp \to e^+\nu_e\mu^-\bar{\nu}_\mu b \bar{b}j$ at NLO QCD accuracy, which describes $t\bar{t}j$ production with leptonic decays beyond the Narrow Width Approximation (NWA), and discuss the impact of the off-shell effects through comparisons with NWA. Finally we explore the sensitivity of $t\bar{t}j$ in the context of top-quark mass extraction with the template method, considering two benchmark observables as case studies.