title: Characterization and Improvement of the Thermal Stability of TES Bolometers

abstract: We study the mechanism of instability in transition edge sensor (TES) bolometers used for ground based observations of the Cosmic Microwave Background (CMB) at 270GHz. The instability limits the range of useful operating resistances of the TES down to $\approx$ 50% of $R_n$, and due to variations in detector properties and optical loading within a column of multiplexed detectors, limits the effective on sky yield. Using measurements of the electrical impedance of the detectors, we show the instability is due to the increased bolometer leg $G$ for higher-frequency detection inducing decoupling of the palladium-gold heat capacity from the thermistor. We demonstrate experimentally that the limiting thermal resistance is due to the small cross sectional area of the silicon nitride bolometer island, and so is easily fixed by layering palladium-gold over an oxide protected TES. The resulting detectors can be biased down to a resistance $\approx$10% of $R_n$.


title: What Can This Robot Do? Learning from Appearance and Experiments

abstract: When presented with an unknown robot (subject) how can an autonomous agent (learner) figure out what this new robot can do? The subject's appearance can provide cues to its physical as well as cognitive capabilities. Seeing a humanoid can make one wonder if it can kick balls, climb stairs or recognize faces. What if the learner can request the subject to perform these tasks? We present an approach to make the learner build a model of the subject at a task based on the latter's appearance and refine it by experimentation. Apart from the subject's inherent capabilities, certain extrinsic factors may affect its performance at a task. Based on the subject's appearance and prior knowledge about the task a learner can identify a set of potential factors, a subset of which we assume are controllable. Our approach picks values of controllable factors to generate the most informative experiments to test the subject at. Additionally, we present a metric to determine if a factor should be incorporated in the model. We present results of our approach on modeling a humanoid robot at the task of kicking a ball. Firstly, we show that actively picking values for controllable factors, even in noisy experiments, leads to faster learning of the subject's model for the task. Secondly, starting from a minimal set of factors our metric identifies the set of relevant factors to incorporate in the model. Lastly, we show that the refined model better represents the subject's performance at the task.


title: Ordered field property for zero-sum stochastic games

abstract: We consider a finite state, finite action, zero-sum stochastic games with data defining the game lying in the ordered field of algebraic numbers. In both the discounted and the limiting average versions of these games we prove that the value vector also lies in the same field of algebraic numbers. In a prescribed sense, our results settle a problem that has remained open since, at least, 1991.


title: Ab Initio Study of the Early Stage of Si Epitaxy on the Chlorinated Si(100) Surface

abstract: The homoepitaxial growth of Si on Si(100) covered by a resist mask is a necessary technological step for the fabrication of donor-based quantum devices with scanning tunneling microscope lithography. In the present work, the chlorine monolayer is selected as the resist. Using density functional theory, we investigated the adsorption of a single silicon atom on Si(100)-2$\times$1-Cl as the starting process of Si epitaxy. The incorporation of a silicon atom under a Cl monolayer proved to be the most energetically favorable process. Our results show that chlorine segregates on the surface during Si deposition and does not incorporate into homoepitaxial layers. In addition, we found that SiCl$_2^{\ast}$, SiCl$_3^{\ast}$, and SiCl$_4^{\ast}$ clusters can be formed above a Si(100)-2$\times$1-Cl surface while Si is adsorbed. SiCl$_2^{\ast}$ clusters are bound weakly to the substrate, and their desorption leaves the silicon surface free of chlorine. To check whether the Si epitaxy is possible on the chlorine resist, we compare our results with the well-studied case of a hydrogen resist. We find the two processes to be similar; moreover, epitaxy on chlorine resist appears to have an advantage.


title: Ergodicity of some classes of cellular automata subject to noise

abstract: Cellular automata (CA) are dynamical systems on symbolic configurations on the lattice. They are also used as models of massively parallel computers. As dynamical systems, one would like to understand the effect of small random perturbations on the dynamics of CA. As models of computation, they can be used to study the reliability of computation against noise. We consider various families of CA (nilpotent, permutive, gliders, CA with a spreading symbol, surjective, algebraic) and prove that they are highly unstable against noise, meaning that they forget their initial conditions under slightest positive noise. This is manifested as the ergodicity of the resulting probabilistic CA. The proofs involve a collection of different techniques (couplings, entropy, Fourier analysis), depending on the dynamical properties of the underlying deterministic CA and the type of noise.


title: Permutation Modules associated to the Hyperoctahedron and Group Actions

abstract: We investigate the permutation modules associated to the set of $k$-dimensional faces of the hyperoctahedron in dimension $n$, denoted $H^{n}.$ For any $k\leq n$ such a module can be defined over an arbitrary field $F$, it is called a face module of $H^{n}$ over $F.$ We describe a spectral decomposition of such face modules into submodules and show that these submodules are irreducible under the hyperoctahedral group $B_{n}.$ The same method can be used to describe the exact relationship between the face modules in any two dimensions $0\leq t\leq k\leq n.$ Applications of this technique include a rank formula for the rank of the incidence matrix of $t$-dimensional versus $k$-dimensional faces of $H^{n}$ and a characterization of $(t,k,\ell)$-designs on $H^{n}.$ We also prove an orbit theorem for subgroups of the hyperoctahedral group on the set of faces of $H^{n}.$ The decomposition method is elementary, mostly characteristic free and does not involve the representation theory of automorphism groups. It is therefore quite general and can be used to decompose permutation modules associated to other geometries.


title: Energy emission from high curvature region and its backreation

abstract: A strong gravity naked singular region can give important clues towards understanding classical as well as spontaneous nature of General Relativity. We propose here a model for energy emission from a naked singular region in a self-similar dust spacetime by gluing two self-similar dust solutions at the Cauchy horizon. The energy is defined and evaluated as a surface energy of a null hypersurface, the null shell. Also included are scenarios of spontaneous creation or disappearance of a singularity, end of inflation, black hole formation and bubble nucleation. Our examples investigated here explicitly show that one can model unlimitedly luminous and energetic objects in the framework of General Relativity.


title: On averages of sums over regular integers modulo $n$

abstract: In this paper, we provide formulas for partial sums of weighted averages over regular integers modulo $n$ of the $\gcd$-sum function with any arithmetic function. Many interesting applications of the results are also given.


title: Neutron Diffraction Study on Single-crystalline UAu${_2}$Si$_2$

abstract: Magnetic structure of tetragonal UAu$_2$Si$_2$ was investigated by single-crystal neutron diffraction experiments. Below $T_{\rm N}$ = 20 K it orders antiferromagnetically with a propagation vector of $k = (2/3, 0, 0)$ and magnetic moments of uranium ions pointing along the tetragonal $c$-axis. Weak signs of the presence of a ferromagnetic component of magnetic moment were traced out.Taking into account a group theory calculation and experimental results of magnetization and $^{29}$Si-NMR, the magnetic structure is determined to be a squared-up antiferromagnetic structure, with a stacking sequence ($+ + -$) of the ferromagnetic $ac$-plane sheets along the $a$-axis. This result highlights similar magnetic correlations in UAu$_2$Si$_2$ and isostructural URu$_2$Si$_2$.


title: Taylor expansion in linear logic is invertible

abstract: Each Multiplicative Exponential Linear Logic (MELL) proof-net can be expanded into a differential net, which is its Taylor expansion. We prove that two different MELL proof-nets have two different Taylor expansions. As a corollary, we prove a completeness result for MELL: We show that the relational model is injective for MELL proof-nets, i.e. the equality between MELL proof-nets in the relational model is exactly axiomatized by cut-elimination.


title: Enhancing the performance of a safe controller via supervised learning for truck lateral control

abstract: Correct-by-construction techniques, such as control barrier functions (CBFs), can be used to guarantee closed-loop safety by acting as a supervisor of an existing or legacy controller. However, supervisory-control intervention typically compromises the performance of the closed-loop system. On the other hand, machine learning has been used to synthesize controllers that inherit good properties from a training dataset, though safety is typically not guaranteed due to the difficulty of analyzing the associated neural network. In this paper, supervised learning is combined with CBFs to synthesize controllers that enjoy good performance with provable safety. A training set is generated by trajectory optimization that incorporates the CBF constraint for an interesting range of initial conditions of the truck model. A control policy is obtained via supervised learning that maps a feature representing the initial conditions to a parameterized desired trajectory. The learning-based controller is used as the performance controller and a CBF-based supervisory controller guarantees safety. A case study of lane keeping for articulated trucks shows that the controller trained by supervised learning inherits the good performance of the training set and rarely requires intervention by the CBF supervisor


title: Fast Monte-Carlo Localization on Aerial Vehicles using Approximate Continuous Belief Representations

abstract: Size, weight, and power constrained platforms impose constraints on computational resources that introduce unique challenges in implementing localization algorithms. We present a framework to perform fast localization on such platforms enabled by the compressive capabilities of Gaussian Mixture Model representations of point cloud data. Given raw structural data from a depth sensor and pitch and roll estimates from an on-board attitude reference system, a multi-hypothesis particle filter localizes the vehicle by exploiting the likelihood of the data originating from the mixture model. We demonstrate analysis of this likelihood in the vicinity of the ground truth pose and detail its utilization in a particle filter-based vehicle localization strategy, and later present results of real-time implementations on a desktop system and an off-the-shelf embedded platform that outperform localization results from running a state-of-the-art algorithm on the same environment.


title: BiLipschitz embeddings of spheres into jet space Carnot groups not admitting Lipschitz extensions

abstract: For all $k,n\ge 1$, we construct a biLipschitz embedding of $\mathbb{S}^n$ into the jet space Carnot group $J^k(\mathbb{R}^n)$ that does not admit a Lipschitz extension to $\mathbb{B}^{n+1}$. Let $f:\mathbb{B}^n\to \mathbb{R}$ be a smooth, positive function with $k^{th}$-order derivatives that are approximately linear near $\partial \mathbb{B}^n$. The embedding is given by taking the jet of $f$ on the upper hemisphere and the jet of $-f$ on the lower hemisphere, where we view $\mathbb{S}^n$ as two copies of $\mathbb{B}^n$. To prove the lack of a Lipschitz extension, we apply a factorization result of Wenger and Young for $n=1$ and modify an argument of Rigot and Wenger for $n\ge 2$.


title: An Optical and Infrared Time-Domain Study of the Supergiant Fast X-ray Transient Candidate IC 10 X-2

abstract: We present an optical and infrared (IR) study of IC 10 X-2, a high-mass X-ray binary in the galaxy IC 10. Previous optical and X-ray studies suggest X-2 is a Supergiant Fast X-ray Transient: a large-amplitude (factor of $\sim$ 100), short-duration (hours to weeks) X-ray outburst on 2010 May 21. We analyze R- and g-band light curves of X-2 from the intermediate Palomar Transient Factory taken between 2013 July 15 and 2017 Feb 14 show high-amplitude ($\gtrsim$ 1 mag), short-duration ($\lesssim8$ d) flares and dips ($\gtrsim$ 0.5 mag). Near-IR spectroscopy of X-2 from Palomar/TripleSpec show He I, Paschen-$\gamma$, and Paschen-$\beta$ emission lines with similar shapes and amplitudes as those of luminous blue variables (LBVs) and LBV candidates (LBVc). Mid-IR colors and magnitudes from Spitzer/IRAC photometry of X-2 resemble those of known LBV/LBVcs. We suggest that the stellar companion in X-2 is an LBV/LBVc and discuss possible origins of the optical flares. Dips in the optical light curve are indicative of eclipses from optically thick clumps formed in the winds of the stellar counterpart. Given the constraints on the flare duration ($0.02 - 0.8$ d) and the time between flares ($15.1\pm7.8$ d), we estimate the clump volume filling factor in the stellar winds, $f_V$, to be $0.01 < f_V < 0.71$, which overlaps with values measured from massive star winds. In X-2, we interpret the origin of the optical flares as the accretion of clumps formed in the winds of an LBV/LBVc onto the compact object.


title: Graph-Sparse Logistic Regression

abstract: We introduce Graph-Sparse Logistic Regression, a new algorithm for classification for the case in which the support should be sparse but connected on a graph. We val- idate this algorithm against synthetic data and benchmark it against L1-regularized Logistic Regression. We then explore our technique in the bioinformatics context of proteomics data on the interactome graph. We make all our experimental code public and provide GSLR as an open source package.


title: Hauser-Feshbach fission fragment de-excitation with calculated macroscopic-microscopic mass yields

abstract: The Hauser-Feshbach statistical model is applied to the de-excitation of primary fission fragments using input mass yields calculated with macroscopic-microscopic models of the potential energy surface. We test the sensitivity of the prompt fission observables to the input mass yields for two important reactions, $^{235}$U$(n_\mathrm{th},f)$ and $^{239}$Pu$(n_\mathrm{th},f)$, for which good experimental data exist. General traits of the mass yields, such as the location of the peaks and their widths, can impact both the prompt neutron and $\gamma$-ray multiplicities, as well as their spectra. Specifically, we use several mass yields to determine a linear correlation between the calculated prompt neutron multiplicity $\bar{\nu}$ and the average heavy-fragment mass $\langle A_h\rangle$ of the input mass yields $\partial\bar{\nu}/\partial\langle A_h\rangle = \pm 0.1\,n/f/\mathrm{u}$. The mass peak width influences the correlation between the total kinetic energy of the fission fragments and the total number of prompt neutrons emitted $\bar{\nu}_T(\mathrm{TKE})$. Typical biases on prompt particle observables from using calculated mass yields instead of experimental ones are: $\delta \bar{\nu} = 4\%$ for the average prompt neutron multiplicity, $\delta \bar{M}_\gamma = 1\%$ for the average prompt $\gamma$-ray multiplicity, $\delta \bar{\epsilon}_n^\mathrm{LAB} = 1\%$ for the average outgoing neutron energy, $\delta \bar{\epsilon}_\gamma = 1\%$ for the average $\gamma$-ray energy, and $\delta \langle\mathrm{TKE}\rangle = 0.4\%$ for the average total kinetic energy of the fission fragments.


title: Data Clustering using a Hybrid of Fuzzy C-Means and Quantum-behaved Particle Swarm Optimization

abstract: Fuzzy clustering has become a widely used data mining technique and plays an important role in grouping, traversing and selectively using data for user specified applications. The deterministic Fuzzy C-Means (FCM) algorithm may result in suboptimal solutions when applied to multidimensional data in real-world, time-constrained problems. In this paper the Quantum-behaved Particle Swarm Optimization (QPSO) with a fully connected topology is coupled with the Fuzzy C-Means Clustering algorithm and is tested on a suite of datasets from the UCI Machine Learning Repository. The global search ability of the QPSO algorithm helps in avoiding stagnation in local optima while the soft clustering approach of FCM helps to partition data based on membership probabilities. Clustering performance indices such as F-Measure, Accuracy, Quantization Error, Intercluster and Intracluster distances are reported for competitive techniques such as PSO K-Means, QPSO K-Means and QPSO FCM over all datasets considered. Experimental results indicate that QPSO FCM provides comparable and in most cases superior results when compared to the others.


title: A Decidable Fragment of Second Order Logic With Applications to Synthesis

abstract: We propose a fragment of many-sorted second order logic called EQSMT and show that checking satisfiability of sentences in this fragment is decidable. EQSMT formulae have an $\exists^*\forall^*$ quantifier prefix (over variables, functions and relations) making EQSMT conducive for modeling synthesis problems. Moreover, EQSMT allows reasoning using a combination of background theories provided that they have a decidable satisfiability problem for the $\exists^*\forall^*$ FO-fragment (e.g., linear arithmetic). Our decision procedure reduces the satisfiability of EQSMT formulae to satisfiability queries of $\exists^*\forall^*$ formulae of each individual background theory, allowing us to use existing efficient SMT solvers supporting $\exists^*\forall^*$ reasoning for these theories; hence our procedure can be seen as effectively quantified SMT (EQSMT) reasoning. Errata: We have modified the transformation step-2 (page 9) to correct for a slight error. Also, the description above Theorem 10 is different from the published version.


title: Inverse Reinforce Learning with Nonparametric Behavior Clustering

abstract: Inverse Reinforcement Learning (IRL) is the task of learning a single reward function given a Markov Decision Process (MDP) without defining the reward function, and a set of demonstrations generated by humans/experts. However, in practice, it may be unreasonable to assume that human behaviors can be explained by one reward function since they may be inherently inconsistent. Also, demonstrations may be collected from various users and aggregated to infer and predict user's behaviors. In this paper, we introduce the Non-parametric Behavior Clustering IRL algorithm to simultaneously cluster demonstrations and learn multiple reward functions from demonstrations that may be generated from more than one behaviors. Our method is iterative: It alternates between clustering demonstrations into different behavior clusters and inverse learning the reward functions until convergence. It is built upon the Expectation-Maximization formulation and non-parametric clustering in the IRL setting. Further, to improve the computation efficiency, we remove the need of completely solving multiple IRL problems for multiple clusters during the iteration steps and introduce a resampling technique to avoid generating too many unlikely clusters. We demonstrate the convergence and efficiency of the proposed method through learning multiple driver behaviors from demonstrations generated from a grid-world environment and continuous trajectories collected from autonomous robot cars using the Gazebo robot simulator.


title: Existence and large time behaviour of finite points blow-up solutions of the fast diffusion equation

abstract: Let $\Omega\subset\R^n$ be a smooth bounded domain and let $a_1,a_2,\dots,a_{i_0}\in\Omega$, $\widehat{\Omega}=\Omega\setminus\{a_1,a_2,\dots,a_{i_0}\}$ and $\widehat{R^n}=\R^n\setminus\{a_1,a_2,\dots,a_{i_0}\}$. We prove the existence of solution $u$ of the fast diffusion equation $u_t=\Delta u^m$, $u>0$, in $\widehat{\Omega}\times (0,\infty)$ ($\widehat{R^n}\times (0,\infty)$ respectively) which satisfies $u(x,t)\to\infty$ as $x\to a_i$ for any $t>0$ and $i=1,\cdots,i_0$, when $0<m<\frac{n-2}{n}$, $n\geq 3$, and the initial value satisfies $0\le u_0\in L^p_{loc}(\2{\Omega}\setminus\{a_1,\cdots,a_{i_0}\})$ ($u_0\in L^p_{loc}(\widehat{R^n})$ respectively) for some constant $p>\frac{n(1-m)}{2}$ and $u_0(x)\ge \lambda_i|x-a_i|^{-\gamma_i}$ for $x\approx a_i$ and some constants $\gamma_i>\frac{2}{1-m},\lambda_i>0$, for all $i=1,2,\dots,i_0$. We also find the blow-up rate of such solutions near the blow-up points $a_1,a_2,\dots,a_{i_0}$, and obtain the asymptotic large time behaviour of such singular solutions. More precisely we prove that if $u_0\ge\mu_0$ on $\widehat{\Omega}$ ($\widehat{R^n}$, respectively) for some constant $\mu_0>0$ and $\gamma_1>\frac{n-2}{m}$, then the singular solution $u$ converges locally uniformly on every compact subset of $\widehat{\Omega}$ (or $\widehat{R^n}$ respectively) to infinity as $t\to\infty$. If $u_0\ge\mu_0$ on $\widehat{\Omega}$ ($\widehat{R^n}$, respectively) for some constant $\mu_0>0$ and satisfies $\lambda_i|x-a_i|^{-\gamma_i}\le u_0(x)\le \lambda_i'|x-a_i|^{-\gamma_i'}$ for $x\approx a_i$ and some constants $\frac{2}{1-m}<\gamma_i\le\gamma_i'<\frac{n-2}{m}$, $\lambda_i>0$, $\lambda_i'>0$, $i=1,2,\dots,i_0$, we prove that $u$ converges in $C^2(K)$ for any compact subset $K$ of $\2{\Omega}\setminus\{a_1,a_2,\dots,a_{i_0}\}$ (or $\widehat{R^n}$ respectively) to a harmonic function as $t\to\infty$.


title: Giant Enhancement of Intrinsic Spin Hall Conductivity in $\beta$ Tungsten via Substitutional Doping

abstract: A key challenge in manipulating the magnetization in heavy-metal/ferromagnetic bilayers via the spin-orbit torque is to identify materials that exhibit an efficient charge-to-spin current conversion. Ab initio electronic structure calculations reveal that the intrinsic spin Hall conductivity (SHC) for pristine $\beta$-W is about sixty percent larger than that of $\alpha$-W. More importantly, we demonstrate that the SHC of $\beta$-W can be enhanced via Ta alloying. This is corroborated by spin Berry curvature calculations of W$_{1-x}$Ta$_x$ ($x$ $\sim$ 12.5%) alloys which show a giant enhancement of spin Hall angle of up to $\approx$ $-0.5$. The underlying mechanism is the synergistic behavior of the SHC and longitudinal conductivity with Fermi level position. These findings, not only pave the way for enhancing the intrinsic spin Hall effect in $\beta$-W, but also provide new guidelines to exploit substitutional alloying to tailor the spin Hall effect in various materials.


title: New and Improved Algorithms for Unordered Tree Inclusion

abstract: The tree inclusion problem is, given two node-labeled trees $P$ and $T$ (the ``pattern tree'' and the ``target tree''), to locate every minimal subtree in $T$ (if any) that can be obtained by applying a sequence of node insertion operations to $P$. Although the ordered tree inclusion problem is solvable in polynomial time, the unordered tree inclusion problem is NP-hard. The currently fastest algorithm for the latter is a classic algorithm by Kilpel\"{a}inen and Mannila from 1995 that runs in $O(2^{2d} mn)$ time, where $m$ and $n$ are the sizes of the pattern and target trees, respectively, and $d$ is the degree of the pattern tree. Here, we develop a new algorithm that runs in $O(2^{d} mn^2)$ time, improving the exponential factor from $2^{2d}$ to $2^d$ by considering a particular type of ancestor-descendant relationships that is suitable for dynamic programming. We also study restricted variants of the unordered tree inclusion problem.


title: Decoupling of magnetism and electric transport in single-crystal (Sr1-xAx)2IrO4 (A = Ca or Ba)

abstract: We report a systematical structural, transport and magnetic study of Ca or Ba doped Sr2IrO4single crystals. Isoelectronically substituting Ca2+ (up to 15%) or Ba2+ (up to 4%) ion for the Sr2+ ion provides no additional charge carriers but effectively changes the lattice parameters in Sr2IrO4. In particular, 15% Ca doping considerably reduces the c-axis and the unit cell by nearly 0.45% and 1.00 %, respectively. These significant, anisotropic compressions in the lattice parameters conspicuously cause no change in the N\'eel temperature which remains at 240 K, but drastically reduces the electrical resistivity by up to five orders of magnitude or even precipitates a sharp insulator-to-metal transition at lower temperatures, i.e. the vanishing insulating state accompanies an unchanged N\'eel temperature in (Sr1-xAx)2IrO4. This observation brings to light an intriguing difference between chemical pressure and applied pressure, the latter of which does suppress the long-range magnetic order in Sr2IrO4. This difference reveals the importance of the Ir1-O2-Ir1 bond angle and homogenous volume compression in determining the magnetic ground state. All results, along with a comparison drawn with results of Tb and La doped Sr2IrO4, underscore that the magnetic transition plays a nonessential role in the formation of the charge gap in the spin-orbit-tuned iridate.


title: Two-Scalar Turbulent Rayleigh-Benard Convection: Numerical Simulations and Unifying Theory

abstract: We conduct direct numerical simulations for turbulent Rayleigh-B\'{e}nard (RB) convection, driven simultaneously by two scalar components (say, temperature and salt concentration) with different molecular diffusivities, and measure the respective fluxes and the Reynolds number. To account for the results, we generalize the Grossmann-Lohse theory for traditional RB convections~(Grossmann and Lohse, J. Fluid Mech., 407, 27-56; Phys. Rev. Lett., 86, 3316-3319; Stevens et al., J. Fluid Mech., 730, 295-308) to this two-scalar turbulent convection. Our numerical results suggest that the generalized theory can successfully predict the overall trends for the fluxes of two scalars and the Reynolds number. In fact, for most of the parameters explored here, the theory can even predict the absolute values of the fluxes and the Reynolds number with good accuracy. The current study extends the generality of the Grossmann-Lohse theory in the area of the buoyancy-driven convection flows.


title: Bounding the composition length of primitive permutation groups and completely reducible linear groups

abstract: We obtain upper bounds on the composition length of a finite permutation group in terms of the degree and the number of orbits, and analogous bounds for primitive, quasiprimitive and semiprimitive groups. Similarly, we obtain upper bounds on the composition length of a finite completely reducible linear group in terms of some of its parameters. In almost all cases we show that the bounds are sharp, and describe the extremal examples.


title: Maximally almost periodic groups and respecting properties

abstract: For a Tychonoff space $X$, denote by $\mathfrak{P}$ the family of topological properties $\mathcal{P}$ of being a convergent sequence or being a compact, sequentially compact, countably compact, pseudocompact and functionally bounded subset of $X$, respectively. A maximally almost periodic $(MAP$) group $G$ respects $\mathcal{P}$ if $\mathcal{P}(G)=\mathcal{P}(G^+)$, where $G^+$ is the group $G$ endowed with the Bohr topology. We study relations between different respecting properties from $\mathfrak{P}$ and show that the respecting convergent sequences (=the Schur property) is the weakest one among the properties of $\mathfrak{P}$. We characterize respecting properties from $\mathfrak{P}$ in wide classes of $MAP$ topological groups including the class of metrizable $MAP$ abelian groups. Every real locally convex space (lcs) is a quotient space of an lcs with the Schur property, and every locally quasi-convex (lqc) abelian group is a quotient group of an lqc abelian group with the Schur property. It is shown that a reflexive group $G$ has the Schur property or respects compactness iff its dual group $G^\wedge$ is $c_0$-barrelled or $g$-barrelled, respectively. We prove that a locally quasi-convex abelian $k_\omega$-group respects all properties $\mathcal{P}\in\mathfrak{P}$. As an application of the obtained results we show that (1) the space $C_k(X)$ is a reflexive group for every separable metrizable space $X$, and (2) a reflexive abelian group of finite exponent is a Mackey group.


title: Confidence regions for neutrino oscillation parameters from double-Chooz data

abstract: In this work, an independent and detailed statistical analysis of the double-Chooz experiment is performed. To have a thorough understanding of the implications of the double-Chooz data on both oscillation parameters $\sin^{2}(2\theta_{13})$ and $\Delta m^2_{31}$, we decided to analyze the data corresponding to the Far detector, with no additional restriction. By doing this, confidence regions and best fit values are obtained for ($\sin^{2}(2\theta_{13}),\Delta m^2_{31}$). This analysis yields an out-of-order $\Delta m^2_{31}$ minimum, which has already been mentioned in previous works, and it is corrected with the inclusion of additional restrictions. With such restrictions it is obtained that $\sin ^{2}(2 \theta _{13})=0{.}084_{-0{.}028}^{+0{.}030}$ and $\Delta m^2_{31}=2.444^{+0.187}_{-0.215} \times 10^{-3}$ eV$^2$/c$^4$. Our analysis allows us to study the effects of the so called "spectral bump" around 5 MeV, it is observed that a variation of this spectral bump may be able to move the $\Delta m^2_{31}$ best fit value, in such a way that $\Delta m^2_{31}$ takes the order of magnitude of the MINOS value. Finally, and with the intention of understanding the effects of the preliminary Near detector data, we performed two different analyses, aiming to eliminate the effects of the energy bump. As a consequence, it is found that unlike the Far Detector analysis, the Near detector data may be able to fully determine both oscillation parameters by itself, resulting in, $\sin^2(2\theta_{13}) = 0.095 \pm 0.053$ and $\Delta m^{2}_{31} = 2.63^{+0.98}_{-1.15} \times 10^{-3} \text{eV}^2 / \text{c}^4$. The later analyses represent an improvement with respect to previous works, where additional constraints for $\Delta m^2_{31}$ were necessary.


title: The rolling and slipping of droplets on superhydrophobic surfaces

abstract: The leaves of many plants are superhydrophobic, a property that may have evolved to clean the leaves by encouraging water droplets to bead up and roll off. Superhydrophobic surfaces can also exhibit reduced friction and liquids flowing over such surfaces have been found to slip in apparent violations of the classical no-slip boundary condition. Here we introduce slip into a model for rolling droplets on superhydrophobic surfaces and investigate under what conditions slip might be important for the steady state motion. In particular, we examine three limiting cases where dissipation in the rolling droplet is dominated by viscous dissipation, surface friction, or contact line friction. We find that in molecular dynamics simulations of droplets on ideal superhydrophobic surfaces with large effective slip lengths, contact line dissipation dominates droplet motion. However, on real leaves, droplet motion is likely to be dominated by viscous shear, and slip, for the most part, can be neglected.


title: Strong and Weak Solutions to the Hasegawa-Mima Equation with Periodic Boundary Conditions

abstract: The two dimensional Hasegawa-Mima (HM) equation $$ -\Delta u_t+u_t = \{u,\Delta u\} + ku_y$$ describes the time evolution of drift waves in magnetically-confined plasma. Several authors have treated the HM equation theoretically and numerically, with difficulties arising when handling the non-linear Poisson's bracket $\{u,\Delta u\}:=u_x\Delta u_u-u_y\Delta u_x $. In this paper, we introduce a new decoupling approach that avoids the Poisson's bracket term by reformulating the HM equation as a system of two linear PDEs, a solution of which is a pair $(u,w)$ such that $$(HM)\,\,\,\left\{\begin{array}{lll} w_t + \vec{V}(u) \cdot \nabla w = ku_y\\ -\Delta u+u=w, \\ \end{array}\right.$$ where $\vec{V}(u)= -u_y \vec{\textbf{i}} + u_x \vec{\textbf{j}}$ is a divergence-free vector field. Based on this coupled hyperbolic-elliptic system, we derive several variational frames, all propitious for finding weak solutions with spacial periodic boundary conditions and lower regularity assumptions on the initial data. More precisely, for initial data $u_0 \in H_P^2(\Omega)$ with $w_0:=(I-\Delta) u_0 \in L^2(\Omega)$, we prove the existence of a weak solution that is global in time. And for initial data $u_0 \in H_P^3(\Omega)$ with $w_0:=(I-\Delta) u_0 \in H_P^1(\Omega) \cap L^\infty(\Omega)$, we prove the existence of a unique strong solution that is local in time. Our proofs are based on the existence of fixed-point ordered pairs $\{u_N,w_N\}$ that solve Petrov-Galerkin HM systems, constructed using spacial Fourier basis. Through appropriate a-priori estimates combined with compactness arguments, we reach when $N\to\infty$ limit point solutions $(u,w)$ to the (HM) system.


title: Dynamically tunable metamaterial analogue of electromagnetically induced transparency with graphene in the terahertz regime

abstract: A novel mechanism to realize dynamically tunable electromagnetically induced transparency (EIT) analogue in the terahertz (THz) regime is proposed. By putting the electrically controllable monolayer graphene under the dark resonator, the amplitude of the EIT resonance in the metal-based metamaterial can be modulated substantially via altering the Fermi level of graphene. The amplitude modulation can be attributed to the change in the damping rate of the dark mode caused by the recombination effect of the conductive graphene. This work provides an alternative way to achieve tunable slow light effect and has potential applications in THz wireless communications.


title: Targeted Backdoor Attacks on Deep Learning Systems Using Data Poisoning

abstract: Deep learning models have achieved high performance on many tasks, and thus have been applied to many security-critical scenarios. For example, deep learning-based face recognition systems have been used to authenticate users to access many security-sensitive applications like payment apps. Such usages of deep learning systems provide the adversaries with sufficient incentives to perform attacks against these systems for their adversarial purposes. In this work, we consider a new type of attacks, called backdoor attacks, where the attacker's goal is to create a backdoor into a learning-based authentication system, so that he can easily circumvent the system by leveraging the backdoor. Specifically, the adversary aims at creating backdoor instances, so that the victim learning system will be misled to classify the backdoor instances as a target label specified by the adversary. In particular, we study backdoor poisoning attacks, which achieve backdoor attacks using poisoning strategies. Different from all existing work, our studied poisoning strategies can apply under a very weak threat model: (1) the adversary has no knowledge of the model and the training set used by the victim system; (2) the attacker is allowed to inject only a small amount of poisoning samples; (3) the backdoor key is hard to notice even by human beings to achieve stealthiness. We conduct evaluation to demonstrate that a backdoor adversary can inject only around 50 poisoning samples, while achieving an attack success rate of above 90%. We are also the first work to show that a data poisoning attack can create physically implementable backdoors without touching the training process. Our work demonstrates that backdoor poisoning attacks pose real threats to a learning system, and thus highlights the importance of further investigation and proposing defense strategies against them.


title: A nonparametric copula approach to conditional Value-at-Risk

abstract: Value-at-Risk and its conditional allegory, which takes into account the available information about the economic environment, form the centrepiece of the Basel framework for the evaluation of market risk in the banking sector. In this paper, a new nonparametric framework for estimating this conditional Value-at-Risk is presented. A nonparametric approach is particularly pertinent as the traditionally used parametric distributions have been shown to be insufficiently robust and flexible in most of the equity-return data sets observed in practice. The method extracts the quantile of the conditional distribution of interest, whose estimation is based on a novel estimator of the density of the copula describing the dynamic dependence observed in the series of returns. Real-world back-testing analyses demonstrate the potential of the approach, whose performance may be superior to its industry counterparts.


title: L\"ubeck's classification of representations of finite simple groups of Lie type and the inverse Galois problem for some orthogonal groups

abstract: In this paper we prove that for each integer of the form $n=4\varpi$ (where $\varpi$ is a prime between $17$ and $73$) at least one of the following groups: $P\Omega^+_n(\mathbb{F}_{\ell^s})$, $PSO^+_n(\mathbb{F}_{\ell^s})$, $PO_n^+(\mathbb{F}_{\ell^s})$ or $PGO^+_n(\mathbb{F}_{\ell^s})$ is a Galois group of $\mathbb{Q}$ for almost all primes $\ell$ and infinitely many integers $s > 0$. This is achieved by making use of the classification of small degree representations of finite simple groups of Lie type in defining characteristic of F. L\"ubeck and a previous result of the author on the image of the Galois representations attached to RAESDC automorphic representations of $GL_n(\mathbb{A}_\mathbb{Q})$.


title: Stability of ferromagnetism in many-electron systems

abstract: We construct a model-independent framework describing stabilities of ferromagnetism in strongly correlated electron systems; Our description relies on the operator theoretic correlation inequalities. Within the new framework, we reinterpret the Marshall-Lieb-Mattis theorem and Lieb\rq{}s theorem; in addition, from the new perspective, we prove that Lieb\rq{}s theorem still holds true even if the electron-phonon and electron-photon interactions are taken into account. We also examine the Nagaoka-Thouless theorem and its stabilities. These examples verify the effectiveness of our new viewpoint.


title: On Joint Functional Calculus For Ritt Operators

abstract: In this paper, we study joint functional calculus for commuting $n$-tuple of Ritt operators. We provide an equivalent characterisation of boundedness for joint functional calculus for Ritt operators on $L^p$-spaces, $1< p<\infty$. We also investigate joint similarity problem and joint bounded functional calculus on non-commutative $L^p$-spaces for $n$-tuple of Ritt operators. We get our results by proving a suitable multivariable transfer principle between sectorial and Ritt operators as well as an appropriate joint dilation result in a general setting.


title: On the strong effective coupling, glueball and meson ground states

abstract: The phenomena of strong running coupling and hadron mass generating have been studied in the framework of a QCD-inspired relativistic model of quark-gluon interaction with infrared confined propagators. We derived a meson mass equation and revealed a specific new behaviour of the mass-dependent strong coupling $\hat\alpha_s(M)$ defined in the time-like region. A new infrared freezing point $\hat\alpha_s(0)=1.03198$ at origin has been found and it did not depend on the confinement scale $\Lambda>0$. Independent and new estimates on the scalar glueball mass, 'radius' and gluon condensate value have been performed. The spectrum of conventional mesons have been calculated by introducing a minimal set of parameters: the masses of constituent quarks and $\Lambda$. The obtained values are in good agreement with the latest experimental data with relative errors less than 1.8 percent. Accurate estimates of the leptonic decay constants of pseudoscalar and vector mesons have been performed.


title: Soft modes and strain redistribution in continuous models of amorphous plasticity: the Eshelby paradigm, and beyond?

abstract: The deformation of disordered solids relies on swift and localised rearrangements of particles. The inspection of soft vibrational modes can help predict the locations of these rearrangements, while the strain that they actually redistribute mediates collective effects. Here, we study soft modes and strain redistribution in a two-dimensional continuous mesoscopic model based on a Ginzburg-Landau free energy for perfect solids, supplemented with a plastic disorder potential that accounts for shear softening and rearrangements. Regardless of the disorder strength, our numerical simulations show soft modes that are always sharply peaked at the softest point of the material (unlike what happens for the depinning of an elastic interface). Contrary to widespread views, the deformation halo around this peak does not always have a quadrupolar (Eshelby-like) shape. Instead, for finite and narrowly-distributed disorder, it looks like a fracture, with a strain field that concentrates along some easy directions. These findings are rationalised with analytical calculations in the case where the plastic disorder is confined to a point-like `impurity'. In this case, we unveil a continuous family of elastic propagators, which are identical for the soft modes and for the equilibrium configurations. This family interpolates between the standard quadrupolar propagator and the fracture-like one as the anisotropy of the elastic medium is increased. Therefore, we expect to see a fracture-like propagator when extended regions on the brink of failure have already softened along the shear direction and thus rendered the material anisotropic, but not failed yet. We speculate that this might be the case in carefully aged glasses just before macroscopic failure.


title: Conditions for Solvability in Chemical Reaction Networks at Quasi-Steady-State

abstract: The quasi-steady-state assumption (QSSA) is an approximation that is widely used in chemistry and chemical engineering to simplify reaction mechanisms. The key step in the method requires a solution by radicals of a system of multivariate polynomials. However, Pantea, Gupta, Rawlings, and Craciun showed that there exist mechanisms for which the associated polynomials are not solvable by radicals, and hence reduction by QSSA is not possible. In practice, however, reduction by QSSA always succeeds. To provide some explanation for this phenomenon, we prove that solvability is guaranteed for a class of common chemical reaction networks. In the course of establishing this result, we examine the question of when it is possible to ensure that there are finitely many (quasi) steady states. We also apply our results to several examples, in particular demonstrating the minimality of the nonsolvable example presented by Pantea, Gupta, Rawlings, and Craciun.


title: Properties of Two-Temperature Dissipative Accretion Flow Around Black Holes

abstract: We study the properties of two-temperature accretion flow around a non-rotating black hole in presence of various dissipative processes where pseudo-Newtonian potential is adopted to mimic the effect of general relativity. The flow encounters energy loss by means of radiative processes acted on the electrons and at the same time, flow heats up as a consequence of viscous heating effective on ions. We assumed that the flow is exposed with the stochastic magnetic fields which leads to Synchrotron emission of electrons and these emissions are further strengthen by Compton scattering. We obtain the two-temperature global accretion solutions in terms of dissipation parameters, namely, viscosity ($\alpha$) and accretion rate (${\dot m}$), and find for the first time in the literature that such solutions may contain standing shock waves. Solutions of this kind are multi-transonic in nature as they simultaneously pass through both inner critical point ($x_{\rm in}$) and outer critical point ($x_{\rm out}$) before crossing the black hole horizon. We calculate the properties of shock induced global accretion solutions in terms of the flow parameters. We further show that two-temperature shocked accretion flow is not a discrete solution, instead such solution exists for wide range of flow parameters. We identify the effective domain of the parameter space for standing shock and observe that parameter space shrinks as the dissipation is increased. Since the post-shock region is hotter due to the effect of shock compression, it naturally emits hard X-rays and therefore, the two-temperature shocked accretion solution has the potential to explain the spectral properties of the black hole sources.


title: Configurational forces in electronic structure calculations using Kohn-Sham density functional theory

abstract: We derive the expressions for configurational forces in Kohn-Sham density functional theory, which correspond to the generalized variational force computed as the derivative of the Kohn-Sham energy functional with respect to the position of a material point $\textbf{x}$. These configurational forces that result from the inner variations of the Kohn-Sham energy functional provide a unified framework to compute atomic forces as well as stress tensor for geometry optimization. Importantly, owing to the variational nature of the formulation, these configurational forces inherently account for the Pulay corrections. The formulation presented in this work treats both pseudopotential and all-electron calculations in single framework, and employs a local variational real-space formulation of Kohn-Sham DFT expressed in terms of the non-orthogonal wavefunctions that is amenable to reduced-order scaling techniques. We demonstrate the accuracy and performance of the proposed configurational force approach on benchmark all-electron and pseudopotential calculations conducted using higher-order finite-element discretization. To this end, we examine the rates of convergence of the finite-element discretization in the computed forces and stresses for various materials systems, and, further, verify the accuracy from finite-differencing the energy. Wherever applicable, we also compare the forces and stresses with those obtained from Kohn-Sham DFT calculations employing plane-wave basis (pseudopotential calculations) and Gaussian basis (all-electron calculations). Finally, we verify the accuracy of the forces on large materials systems involving a metallic aluminum nanocluster containing 666 atoms and an alkane chain containing 902 atoms, where the Kohn-Sham electronic ground state is computed using a reduced-order scaling subspace projection technique (P. Motamarri and V. Gavini, Phys. Rev. B 90, 115127).


title: Can axial U(1) anomaly disappear at high temperature?

abstract: In our recent study of two-flavor lattice QCD using chiral fermions, we find strong suppression of axial U(1) anomaly above the critical temperature of chiral phase transition. Our simulation data also indicate suppression of topological susceptibility. In this talk, we present both of our theoretical and numerical evidence for disappearance of axial U(1) anomaly, emphasizing the importance of controlling lattice chiral symmetry violation, which is enhanced at high temperature.


title: Quantum Abelian Yang-Mills Theory on Riemannian Manifolds with Boundary

abstract: We quantize abelian Yang-Mills theory on Riemannian manifolds with boundaries in any dimension. The quantization proceeds in two steps. First, the classical theory is encoded into an axiomatic form describing solution spaces associated to manifolds. Second, the quantum theory is constructed from the classical axiomatic data in a functorial manner. The target is general boundary quantum field theory, a TQFT-type axiomatic formulation of quantum field theory.


title: Rectilinear Link Diameter and Radius in a Rectilinear Polygonal Domain

abstract: We study the computation of the diameter and radius under the rectilinear link distance within a rectilinear polygonal domain of $n$ vertices and $h$ holes. We introduce a \emph{graph of oriented distances} to encode the distance between pairs of points of the domain. This helps us transform the problem so that we can search through the candidates more efficiently. Our algorithm computes both the diameter and the radius in $\min \{\,O(n^\omega), O(n^2 + nh \log h + \chi^2)\,\}$ time, where $\omega<2.373$ denotes the matrix multiplication exponent and $\chi\in \Omega(n)\cap O(n^2)$ is the number of edges of the graph of oriented distances. We also provide a faster algorithm for computing the diameter that runs in $O(n^2 \log n)$ time.


title: Rectilinear Crossings in Complete Balanced d-Partite d-Uniform Hypergraphs

abstract: In this paper, we study the embedding of a complete balanced $d$-partite $d$-uniform hypergraph with all its $nd$ vertices represented as points in general position in $\mathbb{R}^d$ and each hyperedge drawn as a convex hull of $d$ corresponding vertices. We assume that the set of vertices is partitioned into $d$ disjoint sets, each of size $n$, such that each of the vertices in a hyperedge is from a different set. Two hyperedges are said to be crossing if they are vertex disjoint and contain a common point in their relative interiors. Using the Generalized Colored Tverberg Theorem, we observe that such an embedding of a complete balanced $d$-partite $d$-uniform hypergraph with $nd$ vertices contains $\Omega\left((8/3)^{d/2}\right){\left({n/2}\right)^d{\left((n-1)/2\right)}^d}$ crossing pairs of hyperedges for sufficiently large $n$ and $d$. Using the Gale Transform and the Ham-Sandwich Theorem, we improve this lower bound to $ \Omega\left(2^{d}\right){\left({n/2}\right)^d{\left((n-1)/2\right)}^d}$ for sufficiently large $n$ and $d$.


title: Inhomogeneity Induced and Appropriately Parameterized Semilocal Exchange and Correlation Energy Functionals in Two-Dimensions

abstract: The construction of meta generalized gradient approximations based on the density matrix expansion (DME) is considered as one of the most accurate technique to design semilocal exchange energy functionals in two-dimensional density functional formalism. The exchange holes modeled using DME possess unique features that make it a superior entity. Parameterized semilocal exchange energy functionals based on the DME are proposed. The use of different forms of the momentum and flexible parameters is to subsume the non-uniform effects of the density in the newly constructed semilocal functionals. In addition to the exchange functionals, a suitable correlation functional is also constructed by working upon the local correlation functional developed for 2D homogeneous electron gas (2D-HEG). The non-local effects are induced into the correlation functional by a parametric form of one of the newly constructed exchange energy functionals. The proposed functionals are applied to the parabolic quantum dots with a varying number of confined electrons and the confinement strength. The results obtained with the aforementioned functionals are quite satisfactory which indicates why these are suitable for two-dimensional quantum systems.


title: Topological susceptibility in 2+1-flavor QCD with chiral fermions

abstract: We compute the topological susceptibility $\chi_t$ of 2+1-flavor lattice QCD with dynamical M\"obius domain-wall fermions, whose residual mass is kept at 1 MeV or smaller. In our analysis, we focus on the fluctuation of the topological charge density in a "slab" sub-volume of the simulated lattice, as proposed by Bietenholz et al. The quark mass dependence of our results agrees well with the prediction of the chiral perturbation theory, from which the chiral condensate is extracted. Combining the results for the pion mass $M_\pi$ and decay constant $F_\pi$, we obtain $\chi_t$ = 0.227(02)(11)$M_\pi^2 F_\pi^2$ at the physical point, where the first error is statistical and the second is systematic.


title: Glycine Zwitterion Stabilized by Four Water Molecules

abstract: We performed plane wave density functional theory calculations to survey the potential energy surface of neutral glycine (GlyNE) and its zwitterion (GlyZW) solvated by up to four water molecules. Our previous conformation study of Gly suggests inadequacy of the commonly used local basis function sets in dealing with a high-energy isomer, such as Gly. We find the potential energy surface of GlyNE and GlyZW smoother than usually was thought and without many local minima. Two water molecules can create a local minimum around GlyZW. With three water molecules, the energy difference between GlyNE and GlyZW is reduced to a mere 27 meV with an energy barrier of 115 meV from GlyNE. GlyZW becomes energetically more stable by 122 meV when solvated by four water molecules. Water molecules become catalysts in the tautomerization and sometimes engage in a switching transfer of a proton over the water bridge. Our results are consistent with experimental findings that the effective hydration number of Gly is 3 ~ 4.


title: The Ericsson Nano-Brownian Engine in the Quantum Domain

abstract: We examine here a hitherto unchartered Ericsson motor, operating in the quantum domain. The engine is a nanoscopic system of an electron trapped in a two-dimensional parabolic well and further subjected to an external magnetic field in the third direction. The quantum-coherent cyclotron motion of the electron is de-cohered due to strong interaction with a dissipative quantum heat bath.The calculation employs two different approaches - exact functional integral representation of the partition function and quantum Langevin equations for the operators of the system. Though in equilibrium, both the approaches yield equivalent expressions for the efficiency, the Langevin method opens up further avenues for investigating time dependent properties of the nano motor.


title: Study of the rare decays $B_(s,d)^*$ arrow $l^+ l^-$ in Z' model

abstract: The rare decays $B_{(s,d)}^*\to l^+ l^-$ are important to probe the flavour sector of the standard model and to search new physics beyond the SM. Unlike pseudoscalar B meson, the leptonic decays of vector $ B_(s,d)^*$ mesons are not chirally supressed which compensates for their short lifetimes, and results significant branching ratios. In this paper, we estimate the branching ratios of $B_{(s,d)}^*\to l^+ l^-$ $(l=e,\mu)$ rare decays in Z' model which is an extension of the SM with an extra U(1)' gauge symmetry. We find that the branching ratios are increased from their corresponding standard model values and vary with the mass of $Z'$ boson. Lower is the mass of $Z'$ boson, higher is the branching ratio.


title: Towards Comfortable Cycling: A Practical Approach to Monitor the Conditions in Cycling Paths

abstract: This is a no brainer. Using bicycles to commute is the most sustainable form of transport, is the least expensive to use and are pollution-free. Towns and cities have to be made bicycle-friendly to encourage their wide usage. Therefore, cycling paths should be more convenient, comfortable, and safe to ride. This paper investigates a smartphone application, which passively monitors the road conditions during cyclists ride. To overcome the problems of monitoring roads, we present novel algorithms that sense the rough cycling paths and locate road bumps. Each event is detected in real time to improve the user friendliness of the application. Cyclists may keep their smartphones at any random orientation and placement. Moreover, different smartphones sense the same incident dissimilarly and hence report discrepant sensor values. We further address the aforementioned difficulties that limit such crowd-sourcing application. We evaluate our sensing application on cycling paths in Singapore, and show that it can successfully detect such bad road conditions.


title: Two-stage fourth-order accurate time discretizations for 1D and 2D special relativistic hydrodynamics

abstract: This paper studies the two-stage fourth-order accurate time discretization \cite{LI-DU:2016} and applies it to special relativistic hydrodynamical equations. It is shown that new two-stage fourth-order accurate time discretizations can be proposed. With the aid of the direct Eulerian GRP (generalized Riemann problem) methods \cite{Yang-He-Tang:2011,Yang-Tang:2012} and the analytical resolution of the local "quasi 1D" GRP, the two-stage fourth-order accurate time discretizations are successfully implemented for the 1D and 2D special relativistic hydrodynamical equations. Several numerical experiments demonstrate the performance and accuracy as well as robustness of our schemes.


title: Anscombe's Model for Sequential Clinical Trials Revisited

abstract: In Anscombe's classical model, the objective is to find the optimal sequential rule for learning about the difference between two alternative treatments and subsequently selecting the superior one. The population for which the procedure is optimised has size $N$ and includes both the patients in the trial and those which are treated with the chosen alternative after the trial. We review earlier work on this problem and give a detailed treatment of the problem itself. In particular, while previous work has mainly focused on the case of conjugate normal priors for the incremental effect, we demonstrate how to handle the problem for priors of a general form. We also discuss methods for numerical solutions and the practical implications of the results for the regulation of clinical trials. Two extensions of the model are proposed and analysed. The first breaks the symmetry of the treatments, giving one the role of the current standard being administered in parallel with the trial. We show how certain asymptotic results due to Chernoff can be adapted to this asymmetric case. The other extension assumes that $N$ is a random variable instead of a known constant.


title: Persistent Homology Guided Force-Directed Graph Layouts

abstract: Graphs are commonly used to encode relationships among entities, yet their abstractness makes them difficult to analyze. Node-link diagrams are popular for drawing graphs, and force-directed layouts provide a flexible method for node arrangements that use local relationships in an attempt to reveal the global shape of the graph. However, clutter and overlap of unrelated structures can lead to confusing graph visualizations. This paper leverages the persistent homology features of an undirected graph as derived information for interactive manipulation of force-directed layouts. We first discuss how to efficiently extract 0-dimensional persistent homology features from both weighted and unweighted undirected graphs. We then introduce the interactive persistence barcode used to manipulate the force-directed graph layout. In particular, the user adds and removes contracting and repulsing forces generated by the persistent homology features, eventually selecting the set of persistent homology features that most improve the layout. Finally, we demonstrate the utility of our approach across a variety of synthetic and real datasets.


title: Finite field restriction estimates for the paraboloid in high even dimensions

abstract: We prove that the finite field Fourier extension operator for the paraboloid is bounded from $L^2\to L^r$ for $r\geq \frac{2d+4}{d}$ in even dimensions $d\ge 8$, which is the optimal $L^2$ estimate. For $d=6$ we obtain the optimal range $r> \frac{2d+4}{d}=8/3$, apart from the endpoint. For $d=4$ we improve the prior range of $r>16/5=3.2$ to $r\geq 28/9=3.111\ldots$, compared to the conjectured range of $r\geq3$. The key new ingredient is improved additive energy estimates for subsets of the paraboloid.


title: A Short Proof of H\"older Continuity for Functions in DeGiorgi Classes

abstract: The goal of this note is to give an alternative proof of local H\"older continuity for functions in DeGiorgi classes based on an idea of Moser.


title: Quantum-correlated photons from semiconductor cavity polaritons

abstract: Over the past decade, exciton-polaritons in semiconductor microcavities have attracted a great deal of interest as a driven-dissipative quantum fluid. These systems offer themselves as a versatile platform for performing Hamiltonian simulations with light, as well as for experimentally realizing nontrivial out-of-equilibrium phase transitions. In addition, polaritons exhibit a sizeable mutual interaction strength that opens up a whole range of possibilities in the context of quantum state generation. While squeezed light emission from polaritons has been reported previously, the granular nature of polaritons has not been observed to date. The latter capability is particularly attractive for realizing strongly correlated many-body quantum states of light on scalable arrays of coupled cavities. Here we demonstrate that by optically confining polaritons to a very small effective mode volume, one can reach the weak blockade regime, in which the nonlinearity turns strong enough to become significant at the few particle level, and thus produce a non-negligible antibunching in the emitted photons statistics. Our results act as a door opener for accessing the newly emerging field of quantum polaritonics, and as a proof of principle that optically confined exciton-polaritons can be considered as a realistic, new strategy to generate single photons.


title: Special unipotent representations of real classical groups: construction and unitarity

abstract: Let $G$ be a real classical group (including the real metaplectic group). We consider a nilpotent adjoint orbit $\check{\mathcal O}$ of $\check G$, the Langlands dual of $G$ (or the metaplectic dual of $G$ when $G$ is a real metaplectic group). We classify all special unipotent representations of $G$ attached to $\check{\mathcal O}$, in the sense of Arthur and Barbasch-Vogan. When $\check{\mathcal O}$ has good parity in the sense of Moeglin, we construct all such representations of $G$ via the method of theta lifting. As a consequence of the construction and the classification, we conclude that all special unipotent representations of $G$ are unitarizable, as predicted by the Arthur-Barbasch-Vogan conjecture. We also determine precise structure of the associated cycles of special unipotent representations of $G$. The paper is the second in a series of two papers on the classification of special unipotent representations of real classical groups.


title: Anomalous refraction phenomena in a transparent slab

abstract: An exact formulation of the propagation of a monochromatic wave packet impinging upon a transparent, homogeneous, isotropic and parallel slab at oblique incidence is presented. Approximate formulas are derived for low divergence Gaussian light beams. These formulas show the presence of anomalous refraction phenomena at any slab thickness, including negative refraction and flat lensing effects, induced by the reflection on the rear face.


title: A Workload-Specific Memory Capacity Configuration Approach for In-Memory Data Analytic Platforms

abstract: We propose WSMC, a workload-specific memory capacity configuration approach for the Spark workloads, which guides users on the memory capacity configuration with the accurate prediction of the workload's memory requirement under various input data size and parameter settings.First, WSMC classifies the in-memory computing workloads into four categories according to the workloads' Data Expansion Ratio. Second, WSMC establishes a memory requirement prediction model with the consideration of the input data size, the shuffle data size, the parallelism of the workloads and the data block size. Finally, for each workload category, WSMC calculates the shuffle data size in the prediction model in a workload-specific way. For the ad-hoc workload, WSMC can profile its Data Expansion Ratio with small-sized input data and decide the category that the workload falls into. Users can then determine the accurate configuration in accordance with the corresponding memory requirement prediction.Through the comprehensive evaluations with SparkBench workloads, we found that, contrasting with the default configuration, configuration with the guide of WSMC can save over 40% memory capacity with the workload performance slight degradation (only 5%), and compared to the proper configuration found out manually, the configuration with the guide of WSMC leads to only 7% increase in the memory waste with the workload's performance slight improvement (about 1%)


title: First-principles investigation of polarization and ion conduction mechanisms in hydroxyapatite

abstract: We report first-principles simulation of polarization mechanisms in hydroxyapatite to explain the underlying mechanism behind the reported ion conductivities and polarization under electrical poling at elevated temperatures. It is found that ion conduction occurs mainly in the column of OH$^-$ ions along the $c$-axis through a combination of the flipping of OH$^-$ ions, exchange of proton vacancies between OH$^-$ ions, and the hopping of the OH$^-$ vacancy. The calculated activation energies are consistent with those found in conductivity measurements and thermally stimulated depolarization current measurements.


title: Safe Policy Search with Gaussian Process Models

abstract: We propose a method to optimise the parameters of a policy which will be used to safely perform a given task in a data-efficient manner. We train a Gaussian process model to capture the system dynamics, based on the PILCO framework. Our model has useful analytic properties, which allow closed form computation of error gradients and estimating the probability of violating given state space constraints. During training, as well as operation, only policies that are deemed safe are implemented on the real system, minimising the risk of failure.


title: Theory of a Carbon-Nanotube Polarization Switch

abstract: Recently, it was suggested that the polarization dependence of light absorption to a single-walled carbon nanotube is altered by carrier doping. We specify theoretically the doping level at which the polarization anisotropy is reversed by plasmon excitation. The plasmon energy is mainly determined by the diameter of a nanotube, because pseudospin makes the energy independent of the details of the band structure. We find that the effect of doping on the Coulomb interaction appears through the screened exchange energy, which can be observed as changes in the absorption peak positions. Our results strongly suggest the possibility that oriented nanotubes function as a polarization switch.


title: CoDraw: Collaborative Drawing as a Testbed for Grounded Goal-driven Communication

abstract: In this work, we propose a goal-driven collaborative task that combines language, perception, and action. Specifically, we develop a Collaborative image-Drawing game between two agents, called CoDraw. Our game is grounded in a virtual world that contains movable clip art objects. The game involves two players: a Teller and a Drawer. The Teller sees an abstract scene containing multiple clip art pieces in a semantically meaningful configuration, while the Drawer tries to reconstruct the scene on an empty canvas using available clip art pieces. The two players communicate with each other using natural language. We collect the CoDraw dataset of ~10K dialogs consisting of ~138K messages exchanged between human players. We define protocols and metrics to evaluate learned agents in this testbed, highlighting the need for a novel "crosstalk" evaluation condition which pairs agents trained independently on disjoint subsets of the training data. We present models for our task and benchmark them using both fully automated evaluation and by having them play the game live with humans.


title: Study on a Poisson's Equation Solver Based On Deep Learning Technique

abstract: In this work, we investigated the feasibility of applying deep learning techniques to solve Poisson's equation. A deep convolutional neural network is set up to predict the distribution of electric potential in 2D or 3D cases. With proper training data generated from a finite difference solver, the strong approximation capability of the deep convolutional neural network allows it to make correct prediction given information of the source and distribution of permittivity. With applications of L2 regularization, numerical experiments show that the predication error of 2D cases can reach below 1.5\% and the predication of 3D cases can reach below 3\%, with a significant reduction in CPU time compared with the traditional solver based on finite difference methods.


title: Magic squares with all subsquares of possible orders based on extended Langford sequences

abstract: A magic square of order $n$ with all subsquares of possible orders (ASMS$(n)$) is a magic square which contains a general magic square of each order $k\in\{3, 4, \cdots, n-2\}$. Since the conjecture on the existence of an ASMS was proposed in 1994, much attention has been paid but very little is known except for few sporadic examples. A $k$-extended Langford sequence of defect $d$ and length $m$ is equivalent to a partition of $\{1,2,\cdots,2m+1\}\backslash\{k\}$ into differences $\{d,\cdots,d+m-1\}$. In this paper, a construction of ASMS based on extended Langford sequence is established. As a result, it is shown that there exists an ASMS$(n)$ for $n\equiv\pm3\pmod{18}$, which gives a partial answer to Abe's conjecture on ASMS.


title: Design of Quantum Annealing Machine for Prime Factoring

abstract: We propose a prime factoring machine operated in a frame work of quantum annealing (QA). The idea is inverse operation of a quantum-mechanically reversible multiplier implemented with QA-based Boolean logic circuits. We designed the QA machine on an application-specific-annealing-computing architecture which efficiently increases available hardware budgets at the cost of restricted functionality. The circuits are to be implemented and fabricated by using superconducting integrated circuit technology. We propose a three-dimensional packaging scheme of a qubit-chip / interposer / package-substrate structure for realizing practically-large scale QA systems.

categories: quant-ph cond-mat.mes-hall cond-mat.supr-con cs.ET


title: Chip-Level Electromigration Reliability Evaluation with Multiple On-Die Variation Effects

abstract: In this paper, we briefly introduce physical foundations of electromigration (EM) and present a few classical EMrelated theories. We discuss physical parameters affecting EM wire lifetime and we introduce some background related to the existing EM physical simulators. In our work, for EM physical simulation we adopt the atomic concentration balance-based model. We discuss the simulation setup and results. We present a variation-aware electromigration (EM) analysis tool for power grid wires. The tool considers process variations caused by the chemical-mechanical polishing (CMP) and edge placement error (EPE). It uses a compact model that features critical region extraction and variation coefficient calculation.


title: The edge-Hosoya polynomial of benzenoid chains

abstract: The Hosoya polynomial is a well known vertex-distance based polynomial, closely correlated to the Wiener index and the hyper-Wiener index, which are widely used molecular-structure descriptors. In the present paper we consider the edge version of the Hosoya polynomial. For a connected graph $G$ let $d_e(G,k)$ be the number of (unordered) edge pairs at distance $k$. Then the edge-Hosoya polynomial of $G$ is $H_e(G,x) = \sum_{k \geq 0} d(G,k)x^k$. We investigate the edge-Hosoya polynomial of important chemical graphs known as benzenoid chains and derive the recurrence relations for them. These recurrences are then solved for linear benzenoid chains, which are also called polyacenes.


title: The rationality problem for conic bundles

abstract: This expository paper is concerned with the rationality problems for three-dimensional algebraic varieties with a conic bundle structure. We discuss the main methods of this theory. We sketch the proofs of certain principal results, and present some recent achievements. Many open problems are also stated.


title: The semigroup generated by the Dirichlet Laplacian of fractional order

abstract: In the whole space $\mathbb R^d$, linear estimates for heat semi-group in Besov spaces are well established, which are estimates of $L^p$-$L^q$ type, maximal regularity, e.t.c. This paper is concerned with such estimates for semi-group generated by the Dirichlet Laplacian of fractional order in terms of the Besov spaces on an arbitrary open set of $\mathbb R^d$.


title: New classification method of volcanic ash samples using statistically determined grain types

abstract: We developed a method to classify volcanic ash samples by introducing statistically determined grain types. Using more than 10,000 numbers of automatically measured grain data (parameters of grain shape and transparency) and the cluster analysis, we made grain types without human eyes. By components of the grain type in each samples, we classified samples from types of basaltic monogenetic volcanoes: 1) Funabara scoria cone, Izu Peninsula, Japan (magmatic eruption origin); 2) Nippana tuff ring, Miyakejima, Japan (phreatomagmatic eruption origin); and 3) rootless cones in Myvatn, Iceland (rootless eruption origin). We tested two cases; using grain shape parameters only, and both of grain shape parameters and transparency values. It is found that the sample classification is more consistent with their eruption style in the case of using both parameters of grain shape and transparency. By sampling several layers of an outcrop, this procedure can be used to interpret changes in eruption/fragmentation style during a volcanic event. Furthermore, this procedure might be applicable to other aims such as sedimentology and planetary science.


title: Effects of Disorder on the Pressure-Induced Mott Transition in $\kappa$-BEDT-TTF)$_2$Cu[N(CN)$_2$]Cl

abstract: We present a study of the influence of disorder on the Mott metal-insulator transition for the organic charge-transfer salt $\kappa$-(BEDT-TTF)$_2$Cu[N(CN)$_2$]Cl. To this end, disorder was introduced into the system in a controlled way by exposing the single crystals to x-ray irradiation. The crystals were then fine-tuned across the Mott transition by the application of continuously controllable He-gas pressure at low temperatures. Measurements of the thermal expansion and resistance show that the first-order character of the Mott transition prevails for low irradiation doses achieved by irradiation times up to 100 h. For these crystals with a moderate degree of disorder, we find a first-order transition line which ends in a second-order critical endpoint, akin to the pristine crystals. Compared to the latter, however, we observe a significant reduction of both, the critical pressure $p_c$ and the critical temperature $T_c$. This result is consistent with the theoretically-predicted formation of a soft Coulomb gap in the presence of strong correlations and small disorder. Furthermore, we demonstrate, similar to the observation for the pristine sample, that the Mott transition after 50 h of irradiation is accompanied by sizable lattice effects, the critical behavior of which can be well described by mean-field theory. Our results demonstrate that the character of the Mott transition remains essentially unchanged at a low disorder level. However, after an irradiation time of 150 h, no clear signatures of a discontinuous metal-insulator transition could be revealed anymore. These results suggest that, above a certain disorder level, the metal-insulator transition becomes a smeared first-order transition with some residual hysteresis.


title: Exact relations between homoclinic and periodic orbit actions in chaotic systems

abstract: Homoclinic and unstable periodic orbits in chaotic systems play central roles in various semiclassical sum rules. The interferences between terms are governed by the action functions and Maslov indices. In this article, we identify geometric relations between homoclinic and unstable periodic orbits, and derive exact formulae expressing the periodic orbit classical actions in terms of corresponding homoclinic orbit actions plus certain phase space areas. The exact relations provide a basis for approximations of the periodic orbit actions as action differences between homoclinic orbits with well-estimated errors. This make possible the explicit study of relations between periodic orbits, which results in an analytic expression for the action differences between long periodic orbits and their shadowing decomposed orbits in the cycle expansion.


title: Massive neutron stars and $\Lambda$-hypernuclei in relativistic mean field models

abstract: Based on relativistic mean field (RMF) models, we study finite $\Lambda$-hypernuclei and massive neutron stars. The effective $N$-$N$ interactions PK1 and TM1 are adopted, while the $N$-$\Lambda$ interactions are constrained by reproducing the binding energy of $\Lambda$-hyperon at $1s$ orbit of $^{40}_{\Lambda}$Ca. It is found that the $\Lambda$-meson couplings follow a simple relation, indicating a fixed $\Lambda$ potential well for symmetric nuclear matter at saturation densities, i.e., around $V_{\Lambda} = -29.786$ MeV. With those interactions, a large mass range of $\Lambda$-hypernuclei can be well described. Furthermore, the masses of PSR J1614-2230 and PSR J0348+0432 can be attained adopting the $\Lambda$-meson couplings $g_{\sigma\Lambda}/g_{\sigma N}\gtrsim 0.73$, $g_{\omega\Lambda}/g_{\omega N}\gtrsim 0.80$ for PK1 and $g_{\sigma\Lambda}/g_{\sigma N}\gtrsim 0.81$, $g_{\omega\Lambda}/g_{\omega N}\gtrsim 0.90$ for TM1, respectively. This resolves the Hyperon Puzzle without introducing any additional degrees of freedom.


title: Holoscopic 3D Micro-Gesture Database for Wearable Device Interaction

abstract: With the rapid development of augmented reality (AR) and virtual reality (VR) technology, human-computer interaction (HCI) has been greatly improved for gaming interaction of AR and VR control. The finger micro-gesture is one of the important interactive methods for HCI applications such as in the Google Soli and Microsoft Kinect projects. However, the progress in this research is slow due to the lack of high quality public available database. In this paper, holoscopic 3D camera is used to capture high quality micro-gesture images and a new unique holoscopic 3D micro-gesture (HoMG) database is produced. The principle of the holoscopic 3D camera is based on the fly viewing system to see the objects. HoMG database recorded the image sequence of 3 conventional gestures from 40 participants under different settings and conditions. For the purpose of micro-gesture recognition, HoMG has a video subset with 960 videos and a still image subset with 30635 images. Initial micro-gesture recognition on both subsets has been conducted using traditional 2D image and video features and popular classifiers and some encouraging performance has been achieved. The database will be available for the research communities and speed up the research in this area.


title: Predictions on three-particle azimuthal correlations in proton-proton collisions

abstract: The ridge signal, which is long-ranged in rapidity, in the di-hadron correlations in high-multiplicity p-p and p-A collisions opened up a whole new research area in high-energy QCD. Although the ridge had been observed in A-A collisions and interpreted as a result of the radial flow of quark-gluon plasma, it had not appeared until recently in the data of small collision systems such as p-p and p-A, nor had it been predicted theoretically or seen in the event generators. There are two competing approaches that attempt to explain the systematics of the di-hadron ridge signal; hydrodynamics and gluon saturation physics (color glass condensate/glasma). In this work, we present predictions for the transverse momentum and rapidity dependence of the three-particle correlation function within the gluon saturation physics. Tri-hadron correlations can be measured, and the data can possibly rule out one of the two alternative approaches.


title: The three-pion decays of the $a_1(1260)$

abstract: We investigate the decay of $a^+_1(1260) \to \pi^+ \pi^+ \pi^-$ with the assumption that the $a_1(1260)$ is dynamically generated from the coupled channel $\rho \pi$ and $\bar{K}K^*$ interactions. In addition to the tree level diagrams that proceed via $a^+_1(1260) \to \rho^0 \pi^+ \to \pi^+\pi^+ \pi^-$, we take into account also the final state interactions of $\pi\pi \to \pi \pi$ and $K \bar{K} \to \pi \pi$. We calculate the invariant $\pi^+ \pi^-$ mass distribution and also the total decay width of $a^+_1(1260) \to \pi^+ \pi^+ \pi^-$ as a function of the mass of $a_1(1260)$. The calculated total decay width of $a_1(1260)$ is significantly different from other model calculations and tied to the dynamical nature of the $a_1(1260)$ resonance. The future experimental observations could test of model calculations and would provide vary valuable information on the relevance of the $\rho \pi$ component in the $a_1(1260)$ wave function.


title: A survey on the lace expansion for the nearest-neighbor models on the BCC lattice

abstract: The aim of this survey is to explain, in a self-contained and relatively beginner-friendly manner, the lace expansion for the nearest-neighbor models of self-avoiding walk and percolation that converges in all dimensions above 6 and 9, respectively. To achieve this, we consider a $d$-dimensional version of the body-centered cubic (BCC) lattice, on which it is extremely easy to enumerate various random-walk quantities. Also, we choose a particular set of bootstrapping functions, by which a notoriously complicated part of the lace-expansion analysis becomes rather transparent.


title: Soft Seeded SSL Graphs for Unsupervised Semantic Similarity-based Retrieval

abstract: Semantic similarity based retrieval is playing an increasingly important role in many IR systems such as modern web search, question-answering, similar document retrieval etc. Improvements in retrieval of semantically similar content are very significant to applications like Quora, Stack Overflow, Siri etc. We propose a novel unsupervised model for semantic similarity based content retrieval, where we construct semantic flow graphs for each query, and introduce the concept of "soft seeding" in graph based semi-supervised learning (SSL) to convert this into an unsupervised model. We demonstrate the effectiveness of our model on an equivalent question retrieval problem on the Stack Exchange QA dataset, where our unsupervised approach significantly outperforms the state-of-the-art unsupervised models, and produces comparable results to the best supervised models. Our research provides a method to tackle semantic similarity based retrieval without any training data, and allows seamless extension to different domain QA communities, as well as to other semantic equivalence tasks.


title: Inplane anisotropy of longitudinal thermal conductivities and weak localization of magnons in a disordered spiral magnet

abstract: We demonstrate the inplane anisotropy of longitudinal thermal conductivities and the weak localization of magnons in a disordered screw-type spiral magnet on a square lattice. We consider a disordered spin system, described by a spin Hamiltonian for the antiferromagnetic Heisenberg interaction and the Dzyaloshinsky-Moriya interaction with the mean-field type potential of impurities. We derive longitudinal thermal conductivities for the disordered screw-type spiral magnet in the weak-localization regime by using the linear-response theory with the linear-spin-wave approximation and performing perturbation calculations. We show that the inplane longitudinal thermal conductivities are anisotropic due to the Dzyaloshinsky-Moriya interaction. This anisotropy may be useful for experimentally estimating the magnitude of a ratio of the Dzyaloshinsky-Moriya interaction to the Heisenberg interaction. We also show that the main correction term gives a logarithmic suppression with the length scale due to the critical back scattering. This suggests that the weak localization of magnons is ubiquitous for the disordered two-dimensional magnets having global time-reversal symmetry. We finally discuss several implications for further research.


title: Thermal runaway in two-dimensional complex plasma crystals

abstract: The full melting of a two-dimensional plasma crystal was induced in a principally stable monolayer by localized laser stimulation. Two distinct behaviors of the crystal after laser stimulation were observed depending on the amount of injected energy: (i) below a well-defined threshold, the laser melted area recrystallized; (ii) above the threshold, it expanded outwards in a similar fashion to mode-coupling instability induced melting, rapidly destroying the crystalline order of the whole complex plasma monolayer. The reported experimental observations are due to the fluid mode-coupling instability which can pump energy into the particle monolayer at a rate surpassing the heat transport and damping rates in the energetic localized melted spot, resulting in its further growth. This behavior exhibits remarkable similarities with impulsive spot heating and thermal runaway (explosion) in ordinary reactive matter.


title: The exploding gradient problem demystified - definition, prevalence, impact, origin, tradeoffs, and solutions

abstract: Whereas it is believed that techniques such as Adam, batch normalization and, more recently, SeLU nonlinearities "solve" the exploding gradient problem, we show that this is not the case in general and that in a range of popular MLP architectures, exploding gradients exist and that they limit the depth to which networks can be effectively trained, both in theory and in practice. We explain why exploding gradients occur and highlight the *collapsing domain problem*, which can arise in architectures that avoid exploding gradients. ResNets have significantly lower gradients and thus can circumvent the exploding gradient problem, enabling the effective training of much deeper networks. We show this is a direct consequence of the Pythagorean equation. By noticing that *any neural network is a residual network*, we devise the *residual trick*, which reveals that introducing skip connections simplifies the network mathematically, and that this simplicity may be the major cause for their success.


title: On the reducibility of geometric constraint graphs

abstract: Geometric modeling by constraints, whose applications are of interest to communities from various fields such as mechanical engineering, computer aided design, symbolic computation or molecular chemistry, is now integrated into standard modeling tools. In this discipline, a geometric form is specified by the relations that the components of this form must verify instead of explicitly specifying these components. The purpose of the resolution is to deduce the form satisfying all these constraints. Various methods have been proposed to solve this problem. We will focus on the so-called graph-based or graph-based methods with application to the two-dimensional space.


title: Pure-connection gravity and anisotropic singularities

abstract: In four space-time dimensions, there exists a special infinite-parameter family of chiral modified gravity theories. They are most properly described by a connection field, with space-time metric being a secondary and derived concept. All these theories have the same number of degrees of freedom as general relativity, which is the only parity-invariant member of this family. Modifications of general relativity can be arranged so as to become important in regions with large curvature. In this paper we review how a certain simple modification of this sort can resolve the Schwarzschild black-hole and Kasner anisotropic singularities of general relativity. In the corresponding solutions, the fundamental connection field is regular in space-time.


title: Estimation of the gravitational wave polarizations from a non template search

abstract: Gravitational wave astronomy is just beginning, after the recent success of the four direct detections of binary black hole (BBH) mergers, the first observation from a binary neutron star inspiral and with the expectation of many more events to come. Given the possibility to detect waves from not perfectly modeled astrophysical processes, it is fundamental to be ready to calculate the polarization waveforms in the case of searches using non-template algorithms. In such case, the waveform polarizations are the only quantities that contain direct information about the generating process. We present the performance of a new valuable tool to estimate the inverse solution of gravitational wave transient signals, starting from the analysis of the signal properties of a non-template algorithm that is open to a wider class of gravitational signals not covered by template algorithms. We highlight the contributions to the wave polarization associated with the detector response, the sky localization and the polarization angle of the source. In this paper we present the performances of such method and its implications by using two main classes of transient signals, resembling the limiting case for most simple and complicated morphologies. Performances are encouraging, for the tested waveforms: the correlation between the original and the reconstructed waveforms spans from better than 80% for simple morphologies to better than 50% for complicated ones. For a not-template search this results can be considered satisfactory to reconstruct the astrophysical progenitor.


title: Invariant Synthesis for Incomplete Verification Engines

abstract: We propose a framework for synthesizing inductive invariants for incomplete verification engines, which soundly reduce logical problems in undecidable theories to decidable theories. Our framework is based on the counter-example guided inductive synthesis principle (CEGIS) and allows verification engines to communicate non-provability information to guide invariant synthesis. We show precisely how the verification engine can compute such non-provability information and how to build effective learning algorithms when invariants are expressed as Boolean combinations of a fixed set of predicates. Moreover, we evaluate our framework in two verification settings, one in which verification engines need to handle quantified formulas and one in which verification engines have to reason about heap properties expressed in an expressive but undecidable separation logic. Our experiments show that our invariant synthesis framework based on non-provability information can both effectively synthesize inductive invariants and adequately strengthen contracts across a large suite of programs.


title: When is weakly almost periodic equivalent to uniformly almost periodic for semiflows?

abstract: Let $\pi\colon T\times X\rightarrow X$ be a semiflow on a compact Hausdorff space $X$ with phase semigroup $T$. This paper provides us with some conditions under which \textsl{weakly almost periodic} is equivalent to \textsl{uniformly almost periodic} or to \textsl{equicontinuous} for $(T,X,\pi)$.


title: Data release of UV to submm broadband fluxes for simulated galaxies from the EAGLE project

abstract: We present dust-attenuated and dust emission fluxes for sufficiently resolved galaxies in the EAGLE suite of cosmological hydrodynamical simulations, calculated with the SKIRT radiative transfer code. The post-processing procedure includes specific components for star formation regions, stellar sources, and diffuse dust, and takes into account stochastic heating of dust grains to obtain realistic broad-band fluxes in the wavelength range from ultraviolet to sub-millimeter. The mock survey includes nearly half a million simulated galaxies with stellar masses above 10^8.5 solar masses across six EAGLE models. About two thirds of these galaxies, residing in 23 redshift bins up to z=6, have a sufficiently resolved metallic gas distribution to derive meaningful dust attenuation and emission, with the important caveat that the same dust properties were used at all redshifts. These newly released data complement the already publicly available information about the EAGLE galaxies, which includes intrinsic properties derived by aggregating the properties of the smoothed particles representing matter in the simulation. We further provide an open source framework of Python procedures for post-processing simulated galaxies with the radiative transfer code SKIRT. The framework allows any third party to calculate synthetic images, SEDs, and broadband fluxes for EAGLE galaxies, taking into account the effects of dust attenuation and emission.


title: What can we learn on supernova neutrino spectra with water Cherenkov detectors?

abstract: We investigate the precision with which the supernova neutrino spectra can be reconstructed in water Cherenkov detectors, in particular the large scale Hyper-Kamiokande and Super-Kamiokande. To this aim, we consider quasi-thermal neutrino spectra modified by the Mikheev-Smirnov-Wolfenstein effect for the case of normal ordering. We perform three 9 degrees of freedom likelihood analyses including first inverse-beta decay only, then the combination of inverse beta decay and elastic scattering on electrons and finally a third analysis that also includes neutral scattering neutrino-oxygen events. A tenth parameter is added in the analyses to account for the theoretical uncertainty on the neutral current neutrino-oxygen cross section. By assuming a 100\% efficiency in Hyper-Kamiokande, we show that one can reconstruct the electron antineutrino average energy and pinching parameter with an accuracy of $\sim2\%$ and $\sim7\%$ percent respectively, while the antineutrino integrated luminosity can be pinned down at $\sim3\%$ percent level. As for the muon and tau neutrinos, the average energy and the integrated luminosity can be measured with $\sim7\%$ precision. These results represent a significant improvement with respect Super-Kamiokande, particularly for the pinching parameter defining the electron antineutrino spectra. As for electron neutrinos, the determination of the emission parameters requires the addition of supplementary detection channels.


title: Some aspects of diffracted waves formation at RHEED on a reconstructed crystal face

abstract: The evolution of RHEED reflexes intensity during reconstructed transitions characterizes (often implicitly) reconstructed surface state peculiarities. The approaches of a correct RHEED data interpretation, aimed at obtaining information about reconstructed transitions kinetics, are considered in the present work. In particular, the nature of RHEED reflexes formation, depending on such parameters as the average size of reconstructed domains and number of such domains per area unit, is analyzed within the kinematic approximation of the diffraction theory. This geometrical description is a convenient and effective (productive) way of analyzing reconstructed transitions mechanisms and parameters. The transformation of the functional dependence between the measured values (RHEED reflexes intensity picture) and the degree of surface coverage by reconstruction domains, at a change of these domains average size and distribution density, is shown. This work provides the community with a useful framework for such type of theoretical studies.


title: Transfer Learning for OCRopus Model Training on Early Printed Books

abstract: A method is presented that significantly reduces the character error rates for OCR text obtained from OCRopus models trained on early printed books when only small amounts of diplomatic transcriptions are available. This is achieved by building from already existing models during training instead of starting from scratch. To overcome the discrepancies between the set of characters of the pretrained model and the additional ground truth the OCRopus code is adapted to allow for alphabet expansion or reduction. The character set is now capable of flexibly adding and deleting characters from the pretrained alphabet when an existing model is loaded. For our experiments we use a self-trained mixed model on early Latin prints and the two standard OCRopus models on modern English and German Fraktur texts. The evaluation on seven early printed books showed that training from the Latin mixed model reduces the average amount of errors by 43% and 26%, respectively compared to training from scratch with 60 and 150 lines of ground truth, respectively. Furthermore, it is shown that even building from mixed models trained on data unrelated to the newly added training and test data can lead to significantly improved recognition results.