title: Single-Shot Refinement Neural Network for Object Detection

abstract: For object detection, the two-stage approach (e.g., Faster R-CNN) has been achieving the highest accuracy, whereas the one-stage approach (e.g., SSD) has the advantage of high efficiency. To inherit the merits of both while overcoming their disadvantages, in this paper, we propose a novel single-shot based detector, called RefineDet, that achieves better accuracy than two-stage methods and maintains comparable efficiency of one-stage methods. RefineDet consists of two inter-connected modules, namely, the anchor refinement module and the object detection module. Specifically, the former aims to (1) filter out negative anchors to reduce search space for the classifier, and (2) coarsely adjust the locations and sizes of anchors to provide better initialization for the subsequent regressor. The latter module takes the refined anchors as the input from the former to further improve the regression and predict multi-class label. Meanwhile, we design a transfer connection block to transfer the features in the anchor refinement module to predict locations, sizes and class labels of objects in the object detection module. The multi-task loss function enables us to train the whole network in an end-to-end way. Extensive experiments on PASCAL VOC 2007, PASCAL VOC 2012, and MS COCO demonstrate that RefineDet achieves state-of-the-art detection accuracy with high efficiency. Code is available at https://github.com/sfzhang15/RefineDet


title: The arithmetic local Nori fundamental group

abstract: In this paper we introduce the local Nori fundamental group scheme of a reduced scheme or algebraic stack over a perfect field $k$. We give particular attention to the case of fields: to any field extension $K/k$ we attach a pro-local group scheme over $k$. We show how this group has many analogies, but also some crucial differences, with the absolute Galois group. We propose two conjectures, analogous to the classical Neukirch-Uchida Theorem and Abhyankar Conjecture, providing some evidence in their favor. Finally we show that the local fundamental group of a normal variety is a quotient of the local fundamental group of an open, of its generic point (as it happens for the \'etale fundamental group) and even of any smooth neighborhood.


title: The Cultural Evolution of National Constitutions

abstract: We explore how ideas from infectious disease and genetics can be used to uncover patterns of cultural inheritance and innovation in a corpus of 591 national constitutions spanning 1789 - 2008. Legal "Ideas" are encoded as "topics" - words statistically linked in documents - derived from topic modeling the corpus of constitutions. Using these topics we derive a diffusion network for borrowing from ancestral constitutions back to the US Constitution of 1789 and reveal that constitutions are complex cultural recombinants. We find systematic variation in patterns of borrowing from ancestral texts and "biological"-like behavior in patterns of inheritance with the distribution of "offspring" arising through a bounded preferential-attachment process. This process leads to a small number of highly innovative (influential) constitutions some of which have yet to have been identified as so in the current literature. Our findings thus shed new light on the critical nodes of the constitution-making network. The constitutional network structure reflects periods of intense constitution creation, and systematic patterns of variation in constitutional life-span and temporal influence.


title: Dimension of generic self-affine sets with holes

abstract: Let $(\Sigma, \sigma)$ be a dynamical system, and let $U\subset \Sigma$. Consider the survivor set \[ \Sigma_U=\{x\in \Sigma\mid \sigma^n(x)\notin U\textrm{for all}n\} \] of points that never enter the subset $U$. We study the size of this set in the case when $\Sigma$ is the symbolic space associated to a self-affine set $\Lambda$, calculating the dimension of the projection of $\Sigma_U$ as a subset of $\Lambda$ and finding an asymptotic formula for the dimension in terms of the K\"aenm\"aki measure of the hole as the hole shrinks to a point. Our results hold when the set $U$ is a cylinder set in two cases: when the matrices defining $\Lambda$ are diagonal, and when they are such that the pressure is differentiable at its zero point, and the K\"aenm\"aki measure is a strong-Gibbs measure.


title: The Newman--Shapiro problem

abstract: We give a negative answer to the Newman--Shapiro problem on weighted approximation for entire functions formulated in 1966 and motivated by the theory of operators on the Fock space. There exists a function in the Fock space such that its exponential multiples do not approximate some entire multiples in the space. Furthermore, we establish several positive results under different restrictions on the function in question.


title: Shift-invariant Spaces with Countably Many Mutually Orthogonal Generators on the Heisenberg group

abstract: Let $E(\mathscr{A})$ denote the shift-invariant space associated with a countable family $\mathscr{A}$ of functions in $L^{2}(\mathbb{H}^{n})$ with mutually orthogonal generators, where $\mathbb{H}^{n}$ denotes the Heisenberg group. The characterizations for the collection $E(\mathscr{A})$ to be orthonormal, Bessel sequence, Parseval frame and so on are obtained in terms of the group Fourier transform of the Heisenberg group. These results are derived using such type of results which were proved for twisted shift-invariant spaces and characterized in terms of Weyl transform. In the last section of the paper, some results on oblique dual of the left translates of a single function $\varphi$ is discussed in the context of principal shift-invariant space $V(\varphi)$.


title: The Riemannian Hebbarkeitss\"atze for pseudorigid spaces

abstract: We prove Riemann's theorems on extensions of functions over certain mixed characteristic analytic adic spaces, first introduced by Johansson and Newton. We use these results to reprove a theorem of de Jong identifying global sections of an $\mathcal{O}_K$-flat normal formal scheme, locally formally of finite type over $\mathcal{O}_K$, with locally powerbounded sections over the generic fibre.


title: A Study Concerning the Electronic Conductivity in Eumelanin Thin Films

abstract: This work presents conclusive observations about the long lasting topic of eumelanins' electronic vs. ionic conduction, allowing to access unprecedented conductivity of this mammal pigment. Key strengths of the study include, the easy eumelanin thin film fabrication protocol based on solvent free and high vacuum annealing technology; the first achievement of eumelanin conductivity up to 10^2 S/cm, an exceptional increase of over nine order of magnitude with respect to commonly recorded values; decisive demonstration of the electronic nature of charge transport in eumelanins. Overall these elements provide the reversal of the long lasting paradigm attributing a key role to water in eumelanin electrical conductivity, opening - thanks to the conductivity level achieved - to a completely new perspective for the eumelanin exploitation in organic electronics and bioelectronics.


title: ALMA observations of Elias 2-24: a protoplanetary disk with multiple gaps in the Ophiuchus Molecular Cloud

abstract: We present ALMA 1.3 mm continuum observations at 0.2" (25 au) resolution of Elias 2-24, one of the largest and brightest protoplanetary disks in the Ophiuchus Molecular Cloud, and report the presence of three partially resolved concentric gaps located at ~20, 52, and 87 au from the star. We perform radiative transfer modeling of the disk to constrain its surface density and temperature radial profile and place the disk structure in the context of mechanisms capable of forming narrow gaps such as condensation fronts and dynamical clearing by actively forming planets. In particular, we estimate the disk temperature at the locations of the gaps to be 23, 15, and 12 K (at 20, 52, and 87 au respectively), very close to the expected snow-lines of CO (23-28 K) and N2 (12-15 K). Similarly, by assuming that the widths of the gaps correspond to 4-8 x the Hill radii of forming planets (as suggested by numerical simulations), we estimate planet masses in the range of 0.2-1.5 M_Jup, 1.0-8.0 M_Jup, and 0.02-0.15 M_Jup for the inner, middle, and outer gap, respectively. Given the surface density profile of the disk, the amount of "missing mass" at the location of each one of these gaps (between 4 and 20 M_Jup) is more than sufficient to account for the formation of such planets.


title: Open problem on $\sigma$-invariant

abstract: Let $G$ be a graph of order $n$ with $m$ edges. Also let $\mu_1\geq \mu_2\geq \cdots\geq \mu_{n-1}\geq \mu_n=0$ be the Laplacian eigenvalues of graph $G$ and let $\sigma=\sigma(G)$ $(1\leq \sigma\leq n)$ be the largest positive integer such that $\mu_{\sigma}\geq \frac{2m}{n}$. In this paper, we prove that $\mu_2(G)\geq \frac{2m}{n}$ for almost all graphs. Moreover, we characterize the extremal graphs for any graphs. Finally, we provide the answer to Problem 3 in \cite{KMT}, that is, the characterization of all graphs with $\sigma=1$.


title: Aggregated Load and Generation Equivalent Circuit Models with Semi-Empirical Data Fitting

abstract: In this paper we propose a semi-empirical modeling framework for aggregated electrical load and generation using an equivalent circuit formulation. The proposed models are based on complex rectangular voltage and current state variables that provide a generalized form for accurately representing any transmission and distribution components. The model is based on the split equivalent circuit formulation that was previously shown to unify power flow, three phase power flow, harmonic power flow, and transient analyses. Importantly, this formulation establishes variables that are analytical and are compatible with model fitting and machine learning approaches. The parameters for the proposed semi-empirical load and generation models are synthesized from measurement data and can enable real-time simulations for time varying aggregated loads and generation.


title: Automatic link extraction: The good, the bad and the ugly in software ecosystem mining

abstract: This abstract presents the automatic link extraction pitfalls based on our experience on manually investigating links in the RubyGems package manager metadata. This work can lead in automating the link extraction approach so as to avoid these pitfalls and produce more complete datasets to be used by researchers when they investigate the multi-platform evolution of software ecosystems.


title: Collective gradient sensing in fish schools

abstract: Throughout the animal kingdom, animals frequently benefit from living in groups. Models of collective behaviour show that simple local interactions are sufficient to generate group morphologies found in nature (swarms, flocks and mills). However, individuals also interact with the complex noisy environment in which they live. In this work, we experimentally investigate the group performance in navigating a noisy light gradient of two unrelated freshwater species: golden shiners (Notemigonus crysoleucas) and rummy nose tetra (Hemigrammus bleheri). We find that tetras outperform shiners due to their innate individual ability to sense the environmental gradient. Using numerical simulations, we examine how group performance depends on the relative weight of social and environmental information. Our results highlight the importance of balancing of social and environmental information to promote optimal group morphologies and performance.


title: PT-symmetric eigenvalues for homogeneous potentials

abstract: We consider one-dimensional Schr\"odinger equations with homogeneous potential, under appropriate PT-symmetric boundary conditions. We prove the phenomenon which was discovered by Bender and Boettcher by numerical computation: as the degree of the potential changes, the real spectrum suddenly becomes non-real in the sense that all but finitely many eigenvalues become non-real. We find the limit arguments of these non-real eigenvalues as they tend to infinity.


title: Analytical description of optical vortex beams generated by discretized vortex producing lenses

abstract: Discretized vortex-producing lenses programmed on low performance spatial light modulators have been used for the generation of optical vortices. However, the description of these vortices has been supported only by numerical simulations. In this work, a general analytical treatment (any topological charge - any discretization levels) for the propagation of a Gaussian beam through a discretized vortex-producing lens is presented. The resulting field could be expressed as a sum of Kummer beams with different amplitudes and topological charges focalized at different planes, whose characteristics of formation can be modified by tuning the parameters of the setup. Likewise, vortex lines are analyzed to understand the mechanism of formation of observed topological charges, which appear in specific planes. Conservation of the topological charge is demonstrated. Theoretical predictions are supported by experiments.


title: Optimal Stopping for Interval Estimation in Bernoulli Trials

abstract: We propose an optimal sequential methodology for obtaining confidence intervals for a binomial proportion $\theta$. Assuming that an i.i.d. random sequence of Benoulli($\theta$) trials is observed sequentially, we are interested in designing a)~a stopping time $T$ that will decide when is the best time to stop sampling the process, and b)~an optimum estimator $\hat{\theta}_{T}$ that will provide the optimum center of the interval estimate of $\theta$. We follow a semi-Bayesian approach, where we assume that there exists a prior distribution for $\theta$, and our goal is to minimize the average number of samples while we guarantee a minimal coverage probability level. The solution is obtained by applying standard optimal stopping theory and computing the optimum pair $(T,\hat{\theta}_{T})$ numerically. Regarding the optimum stopping time component $T$, we demonstrate that it enjoys certain very uncommon characteristics not encountered in solutions of other classical optimal stopping problems. Finally, we compare our method with the optimum fixed-sample-size procedure but also with existing alternative sequential schemes.


title: Effect of inverse magnetic catalysis on conserved charge fluctuations in hadron resonance gas model

abstract: The effect of inverse magnetic catalysis (IMC) has been observed on the conserved charge fluctuations and the correlations along the chemical freeze-out curve in a hadron resonance gas model. The fluctuations and the correlations have been compared with and without charge conservations. The charge conservation plays an important role in the calculation of the fluctuations at nonzero magnetic field and for the fluctuations in the strange charge at zero magnetic field. The charge conservation diminishes the correlations $\chi_{BS}$ and $\chi_{QB}$, but enhances the correlation $\chi_{QS}$. The baryonic fluctuations (2nd order) at $B = 0.25$ ${GeV}^2$ increases more than two times compared to $B = 0$ at higher $\mu_{B}$. The fluctuations have been compared at nonzero magnetic field along the freeze-out curve i.e along fitted parameters of the chemical freeze-out temperature and chemical potentials, with the fluctuations at nonzero magnetic field along the freeze-out curve with the IMC effect, and the results are very different with the IMC effect. This is clearly seen in the products of different moments ${{\sigma}^2}/{M}$ and $S\sigma$ of net-kaon distribution.


title: The Two-fold Role of Observables in Classical and Quantum Kinematics

abstract: Observables have a dual nature in both classical and quantum kinematics: they are at the same time \emph{quantities}, allowing to separate states by means of their numerical values, and \emph{generators of transformations}, establishing relations between different states. In this work, we show how this two-fold role of observables constitutes a key feature in the conceptual analysis of classical and quantum kinematics, shedding a new light on the distinguishing feature of the quantum at the kinematical level. We first take a look at the algebraic description of both classical and quantum observables in terms of Jordan-Lie algebras and show how the two algebraic structures are the precise mathematical manifestation of the two-fold role of observables. Then, we turn to the geometric reformulation of quantum kinematics in terms of K\"ahler manifolds. A key achievement of this reformulation is to show that the two-fold role of observables is the constitutive ingredient defining what an observable is. Moreover, it points to the fact that, from the restricted point of view of the transformational role of observables, classical and quantum kinematics behave in exactly the same way. Finally, we present Landsman's general framework of Poisson spaces with transition probability, which highlights with unmatched clarity that the crucial difference between the two kinematics lies in the way the two roles of observables are related to each other.

categories: physics.hist-ph math-ph math.MP quant-ph


title: Joint User Scheduling and Beam Selection Optimization for Beam-Based Massive MIMO Downlinks

abstract: In beam-based massive multiple-input multiple-output systems, signals are processed spatially in the radio-frequency (RF) front-end and thereby the number of RF chains can be reduced to save hardware cost, power consumptions and pilot overhead. Most existing work focuses on how to select, or design analog beams to achieve performance close to full digital systems. However, since beams are strongly correlated (directed) to certain users, the selection of beams and scheduling of users should be jointly considered. In this paper, we formulate the joint user scheduling and beam selection problem based on the Lyapunov-drift optimization framework and obtain the optimal scheduling policy in a closed-form. For reduced overhead and computational cost, the proposed scheduling schemes are based only upon statistical channel state information. Towards this end, asymptotic expressions of the downlink broadcast channel capacity are derived. To address the weighted sum rate maximization problem in the Lyapunov optimization, an algorithm based on block coordinated update is proposed and proved to converge to the optimum of the relaxed problem. To further reduce the complexity, an incremental greedy scheduling algorithm is also proposed, whose performance is proved to be bounded within a constant multiplicative factor. Simulation results based on widely-used spatial channel models are given. It is shown that the proposed schemes are close to optimal, and outperform several state-of-the-art schemes.


title: A comparative study on nonlocal diffusion operators related to the fractional Laplacian

abstract: In this paper, we study four nonlocal diffusion operators, including the fractional Laplacian, spectral fractional Laplacian, regional fractional Laplacian, and peridynamic operator. These operators represent the infinitesimal generators of different stochastic processes, and especially their differences on a bounded domain are significant. We provide extensive numerical experiments to understand and compare their differences. We find that these four operators collapse to the classical Laplace operator as \alpha \to 2. The eigenvalues and eigenfunctions of these four operators are different, and the k-th (for k \in N) eigenvalue of the spectral fractional Laplacian is always larger than those of the fractional Laplacian and regional fractional Laplacian. For any \alpha \in (0, 2), the peridynamic operator can provide a good approximation to the fractional Laplacian, if the horizon size \delta is sufficiently large. We find that the solution of the peridynamic model converges to that of the fractional Laplacian model at a rate of O(\delta^{-\alpha}). In contrast, although the regional fractional Laplacian can be used to approximate the fractional Laplacian as \alpha \to 2, it generally provides inconsistent result from that of the fractional Laplacian if \alpha \ll 2. Moreover, some conjectures are made from our numerical results, which could contribute to the mathematics analysis on these operators.


title: 2D condensate of electrons and holes in ultrathin MoTe$_2$ photocells

abstract: The electron-hole liquid, which features a macroscopic population of correlated electrons and holes, may offer a path to room temperature semiconductor devices that harness collective electronic phenomena. We report on the gas-to-liquid phase transition of electrons and holes in ultrathin molybdenum ditelluride photocells revealed through multi-parameter dynamic photoresponse microscopy (MPDPM). By combining rich visualization with comprehensive analysis of very large data sets acquired through MPDPM, we find that ultrafast laser excitation at a graphene-MoTe$_2$-graphene interface leads to the abrupt formation of ring-like spatial patterns in the photocurrent response as a function of increasing optical power at T = 297 K. These patterns, together with extreme sublinear power dependence and picosecond-scale photocurrent dynamics, provide strong evidence for the formation of a two-dimensional electron-hole condensate.


title: Gazing into the Abyss: Real-time Gaze Estimation

abstract: Gaze and face tracking algorithms have traditionally battled a compromise between computational complexity and accuracy; the most accurate neural net algorithms cannot be implemented in real time, but less complex real-time algorithms suffer from higher error. This project seeks to better bridge that gap by improving on real-time eye and facial recognition algorithms in order to develop accurate, real-time gaze estimation with an emphasis on minimizing training data and computational complexity. Our goal is to use eye and facial recognition techniques to enable users to perform limited tasks based on gaze and facial input using only a standard, low-quality web cam found in most modern laptops and smart phones and the limited computational power and training data typical of those scenarios. We therefore identified seven promising, fundamentally different algorithms based on different user features and developed one outstanding, one workable, and one honorable mention gaze tracking pipelines that match the performance of modern gaze trackers while using no training data.


title: Shifted tableaux crystals

abstract: We introduce coplactic raising and lowering operators $E'_i$, $F'_i$, $E_i$, and $F_i$ on shifted skew semistandard tableaux. We show that the primed operators and unprimed operators each independently form type A Kashiwara crystals (but not Stembridge crystals) on the same underlying set and with the same weight functions. When taken together, the result is a new kind of `doubled crystal' structure that recovers the combinatorics of type B Schubert calculus: the highest-weight elements of our crystals are precisely the shifted Littlewood-Richardson tableaux, and their generating functions are the (skew) Schur $Q$-functions. We give local axioms for these crystals, which closely resemble the Stembridge axioms for type A. Finally, we give a new criterion for such tableaux to be ballot.


title: Superlinear Lower Bounds for Distributed Subgraph Detection

abstract: In the distributed subgraph-freeness problem, we are given a graph $H$, and asked to determine whether the network graph contains $H$ as a subgraph or not. Subgraph-freeness is an extremely local problem: if the network had no bandwidth constraints, we could detect any subgraph $H$ in $|H|$ rounds, by having each node of the network learn its entire $|H|$-neighborhood. However, when bandwidth is limited, the problem becomes harder. Upper and lower bounds in the presence of congestion have been established for several classes of subgraphs, including cycles, trees, and more complicated subgraphs. All bounds shown so far have been linear or sublinear. We show that the subgraph-freeness problem is not, in general, solvable in linear time: for any $k \geq 2$, there exists a subgraph $H_k$ such that $H_k$-freeness requires $\Omega( n^{2-1/k} / (Bk) )$ rounds to solve. Here $B$ is the bandwidth of each communication link. The lower bound holds even for diameter-3 subgraphs and diameter-3 network graphs. In particular, taking $k = \Theta(\log n)$, we obtain a lower bound of $\Omega(n^2 / (B \log n))$.


title: Nucleosynthesis of transuranium nuclides under conditions of Mike, Par and Barbell thermonuclear explosions

abstract: The creation of transuranium nuclides under pulsed neutron fluxes of thermonuclear explosions is investigated within the kinetic model of the astrophysical r process, taking into account the time dependence of the external parameters and the processes accompanying the beta decay of neutron-rich nuclei. Time-dependent neutron fluxes in the interval ~ 10e-6 s were modeled within the framework of the developed adiabatic binary model. The probabilities of beta-delayed processes were calculated on the base of the microscopic theory of finite Fermi systems. Calculations of transuranium nuclides yields Y(A) are made for three experimental USA thermonuclear explosions "Mike" (YM), "Par" (YP) and "Barbel" (YB). The root-mean-square deviations of the calculations compare to the experimental data (r.m.s.) are 91% for YM, 33% for YP, 29% for YB , which are significantly lower than for other known calculations. The exponential approximation of the experimental dependences Y(A) is carried out and the obtained values of r.m.s are equal to 56%, 86.8% and 60.2% for YM, YP and YB correspondingly, which is better or comparable with other calculations. An even-odd anomaly in the observed yields of heavy nuclei is explained by the predominant influence of processes accompanying the beta decay of heavy neutron-excess isotopes.


title: Run, skeleton, run: skeletal model in a physics-based simulation

abstract: In this paper, we present our approach to solve a physics-based reinforcement learning challenge "Learning to Run" with objective to train physiologically-based human model to navigate a complex obstacle course as quickly as possible. The environment is computationally expensive, has a high-dimensional continuous action space and is stochastic. We benchmark state of the art policy-gradient methods and test several improvements, such as layer normalization, parameter noise, action and state reflecting, to stabilize training and improve its sample-efficiency. We found that the Deep Deterministic Policy Gradient method is the most efficient method for this environment and the improvements we have introduced help to stabilize training. Learned models are able to generalize to new physical scenarios, e.g. different obstacle courses.


title: Linearization of nonlinear connections on vector and affine bundles, and some applications

abstract: A linear connection is associated to a nonlinear connection on a vector bundle by a linearization procedure. Our definition is intrinsic in terms of vector fields on the bundle. For a connection on an affine bundle our procedure can be applied after homogenization and restriction. Several applications in Classical Mechanics are provided.


title: A product topology convergence scheme for finding a function that it's values are common fixed points of a family of representations

abstract: In this paper, using a family of representations of nonexpansive mappings, we introduce an algorithm in a product space $E^{I}$ consisting of all functions from a nonempty set $I$ to a Banach space $E$. Then we prove the product topology convergence of the proposed algorithm to an element of $E^{I}$ such that it's values are the common fixed points of the representations of the family.


title: Laser patterned polymer/nanotube composite electrodes for nanowire transistors on flexible substrates

abstract: Fabrication techniques such as laser patterning offer excellent potential for low cost and large area device fabrication. Conductive polymers can be used to replace expensive metallic inks such as silver and gold nanoparticles for printing technology. Electrical conductivity of the polymers can be improved by blending with carbon nanotubes. In this work, formulations of acid functionalised multiwall carbon nanotubes (f-MWCNT) and poly (ethylenedioxythiophene) [PEDOT]: polystyrene sulphonate [PSS] were processed, and thin films were prepared on plastic substrates. Conductivity of PEDOT: PSS increased almost four orders of magnitude after adding f-MWCNT. Work function of PEDOT:PSS/f-MWCNT films was ~ 0.5eV higher as compared to the work function of pure PEDOT:PSS films, determined by Kelvin probe method. Field-effect transistors source-drain electrodes were prepared on PET plastic substrates where PEDOT:PSS/f-MWCNT were patterned using laser ablation at 44mJ/pulse energy to define 36 micron electrode separation. Silicon nanowires were deposited using dielectrophoresis alignment technique to bridge the PEDOT:PSS/f-MWCNT laser patterned electrodes. Finally, top-gated nanowire field effect transistors were completed by depositing parylene C as polymer gate dielectric and gold as the top-gate electrode. Transistor characteristics showed p-type conduction with excellent gate electrode coupling, with an ON/OFF ratio of ~ 200. Thereby, we demonstrate the feasibility of using high workfunction, printable PEDOT:PSS/MWCNT composite inks for patterning source/drain electrodes for nanowire transistors on flexible substrates.


title: The Bayes Lepski's Method and Credible Bands through Volume of Tubular Neighborhoods

abstract: For a general class of priors based on random series basis expansion, we develop the Bayes Lepski's method to estimate unknown regression function. In this approach, the series truncation point is determined based on a stopping rule that balances the posterior mean bias and the posterior standard deviation. Equipped with this mechanism, we present a method to construct adaptive Bayesian credible bands, where this statistical task is reformulated into a problem in geometry, and the band's radius is computed based on finding the volume of certain tubular neighborhood embedded on a unit sphere. We consider two special cases involving B-splines and wavelets, and discuss some interesting consequences such as the uncertainty principle and self-similarity. Lastly, we show how to program the Bayes Lepski stopping rule on a computer, and numerical simulations in conjunction with our theoretical investigations concur that this is a promising Bayesian uncertainty quantification procedure.


title: Stability Inequalities for Lawson Cones

abstract: We prove stability inequalities for Lawson cones $M_{kh}$ with $$(k,h),(h,k)\in\{(3,5),(2,7),(2,8),(2,9),(2,10),(2,11)\}.$$ This extends the results of G. De. Philippis and F. Maggi to all area-minimizing Lawson cones.


title: A new proof of the competitive exclusion principle in the chemostat

abstract: We give an new proof of the well-known competitive exclusion principle in the chemostat model with $n$ species competing for a single resource, for any set of increasing growth functions. The proof is constructed by induction on the number of the species, after being ordered. It uses elementary analysis and comparisons of solutions of ordinary differential equations.


title: Deep Gaussian Mixture Models

abstract: Deep learning is a hierarchical inference method formed by subsequent multiple layers of learning able to more efficiently describe complex relationships. In this work, Deep Gaussian Mixture Models are introduced and discussed. A Deep Gaussian Mixture model (DGMM) is a network of multiple layers of latent variables, where, at each layer, the variables follow a mixture of Gaussian distributions. Thus, the deep mixture model consists of a set of nested mixtures of linear models, which globally provide a nonlinear model able to describe the data in a very flexible way. In order to avoid overparameterized solutions, dimension reduction by factor models can be applied at each layer of the architecture thus resulting in deep mixtures of factor analysers.


title: Computational Results for Extensive-Form Adversarial Team Games

abstract: We provide, to the best of our knowledge, the first computational study of extensive-form adversarial team games. These games are sequential, zero-sum games in which a team of players, sharing the same utility function, faces an adversary. We define three different scenarios according to the communication capabilities of the team. In the first, the teammates can communicate and correlate their actions both before and during the play. In the second, they can only communicate before the play. In the third, no communication is possible at all. We define the most suitable solution concepts, and we study the inefficiency caused by partial or null communication, showing that the inefficiency can be arbitrarily large in the size of the game tree. Furthermore, we study the computational complexity of the equilibrium-finding problem in the three scenarios mentioned above, and we provide, for each of the three scenarios, an exact algorithm. Finally, we empirically evaluate the scalability of the algorithms in random games and the inefficiency caused by partial or null communication.


title: Koszul duality between Betti and Cohomology numbers in Calabi-Yau case

abstract: Let $X$ be a smooth projective Calabi-Yau variety and $L$ a Koszul line bundle on $X$. We show that for Betti numbers of a maximal Cohen-Macaulay module over the homogeneous coordinate ring $A$ of $X$ there are formulas similar to the formulas for cohomology number. This similarity is realized via the box-product resolution of the diagonal $\Delta_X \subset X \times X$.


title: Chaotic motions in the restricted four body problem via Devaney's saddle-focus homoclinic tangle theorem

abstract: We prove the existence of chaotic motions in a planar restricted four body problem, establishing that the system is not integrable. The idea of the proof is to verify the hypotheses of a topological forcing theorem. The forcing theorem applies to two freedom Hamiltonian systems where the stable and unstable manifolds of a saddle-focus equilibrium intersect transversally in the energy level set of the equilibrium. We develop a mathematically rigorous computer assisted argument which verifies the hypotheses of the forcing theorem, and we implement our approach for the restricted four body problem. The method is constructive and works far from any perturbative regime and for non-equal masses. Being constructive, our argument results in useful byproducts like information about the locations of transverse connecting orbits, quantitative information about the invariant manifolds, and upper/lower bounds on transport times.


title: Exact solutions of scalar bosons in the presence of the Aharonov-Bohm and Coulomb potentials in the gravitational field of topological defects

abstract: In this paper, we analyzed the relativistic quantum motion of a charged scalar particles in the presence of a Aharonov Bohm and Coulomb potentials in the spacetimes produced by an idealized cosmic strings and global monopoles.


title: Spin-orbit coupling and magnetic field dependence of carriers states in a self-assembled quantum dot

abstract: In this work I investigate the influence of spin-orbit coupling on the magnetic field dependence of carrier states in a self-assembled quantum dot. I calculate the hole energy levels using the 6, 8 and 14 band k.p model. Through a detailed study within these models, I extract the information about the impact of various spin-orbital coupling channels in the hole p-shell. I also show that complicated magnetic field dependence of the hole p-shell resulting from numerical simulations, can be very well fitted using a phenomenological model. I compare the electron and hole g-factors calculated within 8 and 14 band k.p models and show that these methods give reasonably good agreement.


title: Interleaver Design for Deep Neural Networks

abstract: We propose a class of interleavers for a novel deep neural network (DNN) architecture that uses algorithmically pre-determined, structured sparsity to significantly lower memory and computational requirements, and speed up training. The interleavers guarantee clash-free memory accesses to eliminate idle operational cycles, optimize spread and dispersion to improve network performance, and are designed to ease the complexity of memory address computations in hardware. We present a design algorithm with mathematical proofs for these properties. We also explore interleaver variations and analyze the behavior of neural networks as a function of interleaver metrics.


title: On numbers, germs, and transseries

abstract: Germs of real-valued functions, surreal numbers, and transseries are three ways to enrich the real continuum by infinitesimal and infinite quantities. Each of these comes with naturally interacting notions of ordering and derivative. The category of $H$-fields provides a common framework for the relevant algebraic structures. We give an exposition of our results on the model theory of $H$-fields, and we report on recent progress in unifying germs, surreal numbers, and transseries from the point of view of asymptotic differential algebra.


title: Average-case Approximation Ratio of Scheduling without Payments

abstract: Apart from the principles and methodologies inherited from Economics and Game Theory, the studies in Algorithmic Mechanism Design typically employ the worst-case analysis and approximation schemes of Theoretical Computer Science. For instance, the approximation ratio, which is the canonical measure of evaluating how well an incentive-compatible mechanism approximately optimizes the objective, is defined in the worst-case sense. It compares the performance of the optimal mechanism against the performance of a truthful mechanism, for all possible inputs. In this paper, we take the average-case analysis approach, and tackle one of the primary motivating problems in Algorithmic Mechanism Design -- the scheduling problem [Nisan and Ronen 1999]. One version of this problem which includes a verification component is studied by [Koutsoupias 2014]. It was shown that the problem has a tight approximation ratio bound of (n+1)/2 for the single-task setting, where n is the number of machines. We show, however, when the costs of the machines to executing the task follow any independent and identical distribution, the average-case approximation ratio of the mechanism given in [Koutsoupias 2014] is upper bounded by a constant. This positive result asymptotically separates the average-case ratio from the worst-case ratio, and indicates that the optimal mechanism for the problem actually works well on average, although in the worst-case the expected cost of the mechanism is Theta(n) times that of the optimal cost.


title: On Flat Pseudo-Euclidean Nilpotent Lie Algebras

abstract: A flat pseudo-Euclidean Lie algebra is a real Lie algebra with a non degenerate symmetric bilinear form and a left symmetric product whose the commutator is the Lie bracket and such that the left multiplications are skew-symmetric. We show that the center of a flat pseudo-Euclidean nilpotent Lie algebra of signature $(2,n-2)$ must be degenerate and all flat pseudo-Euclidean nilpotent Lie algebras of signature $(2,n-2)$ can be obtained by using the double extension process from flat Lorentzian nilpotent Lie algebras. We show also that the center of a flat pseudo-Euclidean 2-step nilpotent Lie algebra is degenerate and all these Lie algebras are obtained by using a sequence of double extension from an abelian Lie algebra. In particular, we determine all flat pseudo-Euclidean 2-step nilpotent Lie algebras of signature $(2,n-2)$. The paper contains also some examples in low dimension.


title: Macdonald-positive specializations of the algebra of symmetric functions: Proof of the Kerov conjecture

abstract: We prove the classification of homomorphisms from the algebra of symmetric functions to $\mathbb{R}$ with non-negative values on Macdonald symmetric functions $P_{\lambda}$, that was conjectured by S.V. Kerov in 1992.


title: Robust Synthetic Control

abstract: We present a robust generalization of the synthetic control method for comparative case studies. Like the classical method, we present an algorithm to estimate the unobservable counterfactual of a treatment unit. A distinguishing feature of our algorithm is that of de-noising the data matrix via singular value thresholding, which renders our approach robust in multiple facets: it automatically identifies a good subset of donors, overcomes the challenges of missing data, and continues to work well in settings where covariate information may not be provided. To begin, we establish the condition under which the fundamental assumption in synthetic control-like approaches holds, i.e. when the linear relationship between the treatment unit and the donor pool prevails in both the pre- and post-intervention periods. We provide the first finite sample analysis for a broader class of models, the Latent Variable Model, in contrast to Factor Models previously considered in the literature. Further, we show that our de-noising procedure accurately imputes missing entries, producing a consistent estimator of the underlying signal matrix provided $p = \Omega( T^{-1 + \zeta})$ for some $\zeta > 0$; here, $p$ is the fraction of observed data and $T$ is the time interval of interest. Under the same setting, we prove that the mean-squared-error (MSE) in our prediction estimation scales as $O(\sigma^2/p + 1/\sqrt{T})$, where $\sigma^2$ is the noise variance. Using a data aggregation method, we show that the MSE can be made as small as $O(T^{-1/2+\gamma})$ for any $\gamma \in (0, 1/2)$, leading to a consistent estimator. We also introduce a Bayesian framework to quantify the model uncertainty through posterior probabilities. Our experiments, using both real-world and synthetic datasets, demonstrate that our robust generalization yields an improvement over the classical synthetic control method.


title: Node Profiles of Symmetric Digital Search Trees: Concentration Properties

abstract: We give a detailed asymptotic analysis of the profiles of random symmetric digital search trees, which are in close connection with the performance of the search complexity of random queries in such trees. While the expected profiles have been analyzed for several decades, the analysis of the variance turns out to be very difficult and challenging, and requires the combination of several different analytic techniques, including Mellin and Laplace transforms, analytic de-Poissonization, and Laplace convolutions. Our results imply concentration of the profiles in the range where the mean tends to infinity. Moreover, we also obtain a two-point concentration for the distributions of the height and the saturation level.


title: Quantum Critical Transition and Kondo Screening of Magnetic Moments in Graphene

abstract: In normal metals, the magnetic moment of impurity spins disappears below a characteristic Kondo temperature, TK, where coupling with the conduction-band electrons produces an entangled state that screens the local moment. In contrast, moments embedded in insulators remain unscreened at all temperatures. This raises the question about the fate of magnetic moments in intermediate, pseudogap systems, such as graphene. In these systems theory predicts a quantum phase-transition at a critical coupling strength which separates a local magnetic-moment phase from a Kondo screened phase. However, attempts to experimentally confirm these predictions and their intriguing consequences such as the ability to electrostatically control magnetic moments, have thus far been elusive. Here we report the observation of Kondo screening and the quantum phase-transition between screened and unscreened phases of vacancy magnetic-moments in graphene. Using scanning tunneling microscopy (STM), spectroscopy (STS) and numerical renormalization group (NRG) calculations, we identified Kondo screening by its spectroscopic signature and mapped the phase-transition as a function of coupling strength and chemical potential. We show that this transition makes it possible to turn the magnetic-moment on and off electrostatically through a gate voltage or mechanically through variations in local curvature.


title: Wetting properties of structured interfaces composed of surface-attached spherical nanoparticles

abstract: The influence of the external pressure and surface energy on the wetting transition at nanotextured interfaces is studied using molecular dynamics and continuum simulations. The surface roughness of the composite interface is introduced via an array of spherical nanoparticles with controlled wettability. We find that in the absence of an external pressure, the liquid interface is flat and its location relative to the solid substrate is determined by the particle size and the local contact angle. With increasing pressure on the liquid film, the interface becomes more curved and the three-phase contact line is displaced along the spherical surface but remains stable due to re-entrant geometry. It is demonstrated that the results of molecular dynamics simulations for the critical pressure of the Cassie-Baxter wetting state agree well with the estimate of the critical pressure obtained by numerical minimization of the interfacial energy.

categories: cond-mat.soft cond-mat.mtrl-sci physics.comp-ph physics.flu-dyn


title: An extension to the theory of controlled Lagrangians using the Helmholtz conditions

abstract: The Helmholtz conditions are necessary and sufficient conditions for a system of second order differential equations to be variational, that is, equivalent to a system of Euler-Lagrange equations for a regular Lagrangian. On the other hand, matching conditions are sufficient conditions for a class of controlled systems to be variational for a Lagrangian function of a prescribed type, known as the controlled Lagrangian. Using the Helmholtz conditions we are able to recover the matching conditions from [8]. Furthermore we can derive new matching conditions for a particular class of mechanical systems. It turns out that for this class of systems we obtain feedback controls that only depend on the configuration variables. We test this new strategy for the inverted pendulum on a cart and for the inverted pendulum on an incline.


title: New massive members of Cygnus OB2

abstract: The Cygnus complex is one of the most powerful star forming regions at a close distance from the Sun (~1.4 kpc). Its richest OB association Cygnus OB2 is known to harbor many tens of O-type stars and hundreds of B-type stars, providing a large homogeneous population of OB stars that can be analyzed. Many studies of its massive population have been developed in the last decades, although the total number of OB stars is still incomplete. Our aim is to increase the sample of O and B members of Cygnus OB2 and its surroundings by spectroscopically classifying 61 candidates as possible OB-type members of Cygnus OB2. We have obtained new blue intermediate-resolution spectra suitable for spectral classification of the 61 candidates in Cygnus OB2 and surroundings. We thus performed a spectral classification of the sample using He I-II and metal lines rates, as well as the Marxist Ghost Buster (MGB) software for O-type stars and the IACOB standards catalog for B-type stars. Out of the 61 candidates, we have classified 42 stars as new massive OB-type stars, earlier than B3, in Cygnus OB2 and surroundings, including 11 O-type stars. The other candidates are discarded as they display later spectral types inconsistent with membership in the association. However, the magnitude cutoff and dust extinction introduce an incompleteness. Many O and early B stars at B > 16 mag are still undiscovered in the region. Finally, we have studied the age and extinction distribution of our sample within the region, placing them in the Hertzsprung-Russell Diagram using different stellar models in order to assess age uncertainties. Massive star formation in Cygnus OB2 seems to have proceeded from lower to higher Galactic longitudes, regardless of the details of the models used. The correlation between age and Galactic longitude previously found in the region is now confirmed.


title: Integrality of noetherian Grothendieck categories

abstract: We introduce the notion of integrality of Grothendieck categories as a simultaneous generalization of the primeness of noncommutative noetherian rings and the integrality of locally noetherian schemes. Two different spaces associated to a Grothendieck category yield respective definitions of integrality, and we prove the equivalence of these definitions using a Grothendieck-categorical version of Gabriel's correspondence, which originally related indecomposable injective modules and prime two-sided ideals for noetherian rings. The generalization of prime two-sided ideals is also used to classify locally closed localizing subcategories. As an application of the main results, we develop a theory of singular objects in a Grothendieck category and deduce Goldie's theorem on the existence of the quotient ring as its consequence.


title: Wasan geometry with the division by 0

abstract: Results in Wasan geometry of tangents circles can still be considered in a singular case by the division by 0.


title: A novel total variation model based on kernel functions and its application

abstract: The total variation (TV) model and its related variants have already been proposed for image processing in previous literature. In this paper a novel total variation model based on kernel functions is proposed. In this novel model, we first map each pixel value of an image into a Hilbert space by using a nonlinear map, and then define a coupled image of an original image in order to construct a kernel function. Finally, the proposed model is solved in a kernel function space instead of in the projecting space from a nonlinear map. For the proposed model, we theoretically show under what conditions the mapping image is in the space of bounded variation when the original image is in the space of bounded variation. It is also found that the proposed model further extends the generalized TV model and the information from three different channels of color images can be fused by adopting various kernel functions. A series of experiments on some gray and color images are carried out to demonstrate the effectiveness of the proposed model.


title: Relaxation dynamics of closed diffusive systems with infinitesimal Langmuir kinetics

abstract: We consider the asymmetric simple exclusion process with Langmuir kinetics in the closed boundary condition. We analytically obtain the exact stationary state and a series of excited states of the system in the limit where Langmuir kinetics is infinitesimally small. Based on this result, we propose an analytical formula for the time evolutions of physical quantities of the system.


title: Vologodsky integration on curves with semi-stable reduction

abstract: We prove that the Vologodsky integral of a mermorphic one-form on a curve over a $p$-adic field with semi-stable reduction restrict to Coleman integrals on the rigid subdomains reducing to the components of the smooth part of the special fiber and that on the connecting annuli the differences of these Coleman integrals form a harmonic cochain on the edges of the dual graph of the special fiber. This determines the Vologodsky integral completely. We analyze the behavior of the integral on the connecting annuli and we explain the results in the case of a Tate elliptic curve.


title: A generalization of an inequality of Lech relating multiplicity and colength

abstract: We study conjectured generalizations of a formula of Lech which relates the multiplicity of a finite colength ideal in an equicharacteristic local ring to its colength, and prove one of these generalizations involving the multiplicity of the maximal ideal times the finite colength ideal. We also propose a Lech-type formula that relates multiplicity and the number of generators. We prove the conjecture in dimension three and establish a weaker result in full generality.


title: Approximating geodesics via random points

abstract: Given a `cost' functional $F$ on paths $\gamma$ in a domain $D\subset\mathbb{R}^d$, in the form $F(\gamma) = \int_0^1 f(\gamma(t),\dot\gamma(t))dt$, it is of interest to approximate its minimum cost and geodesic paths. Let $X_1,\ldots, X_n$ be points drawn independently from $D$ according to a distribution with a density. Form a random geometric graph on the points where $X_i$ and $X_j$ are connected when $0<|X_i - X_j|<\epsilon$, and the length scale $\epsilon=\epsilon_n$ vanishes at a suitable rate. For a general class of functionals $F$, associated to Finsler and other distances on $D$, using a probabilistic form of Gamma convergence, we show that the minimum costs and geodesic paths, with respect to types of approximating discrete `cost' functionals, built from the random geometric graph, converge almost surely in various senses to those corresponding to the continuum cost $F$, as the number of sample points diverges. In particular, the geodesic path convergence shown appears to be among the first results of its kind.


title: How the Experts Do It: Assessing and Explaining Agent Behaviors in Real-Time Strategy Games

abstract: How should an AI-based explanation system explain an agent's complex behavior to ordinary end users who have no background in AI? Answering this question is an active research area, for if an AI-based explanation system could effectively explain intelligent agents' behavior, it could enable the end users to understand, assess, and appropriately trust (or distrust) the agents attempting to help them. To provide insights into this question, we turned to human expert explainers in the real-time strategy domain, "shoutcaster", to understand (1) how they foraged in an evolving strategy game in real time, (2) how they assessed the players' behaviors, and (3) how they constructed pertinent and timely explanations out of their insights and delivered them to their audience. The results provided insights into shoutcasters' foraging strategies for gleaning information necessary to assess and explain the players; a characterization of the types of implicit questions shoutcasters answered; and implications for creating explanations by using the patterns


title: Piecewise Stationary Modeling of Random Processes Over Graphs With an Application to Traffic Prediction

abstract: Stationarity is a key assumption in many statistical models for random processes. With recent developments in the field of graph signal processing, the conventional notion of wide-sense stationarity has been extended to random processes defined on the vertices of graphs. It has been shown that well-known spectral graph kernel methods assume that the underlying random process over a graph is stationary. While many approaches have been proposed, both in machine learning and signal processing literature, to model stationary random processes over graphs, they are too restrictive to characterize real-world datasets as most of them are non-stationary processes. In this paper, to well-characterize a non-stationary process over graph, we propose a novel model and a computationally efficient algorithm that partitions a large graph into disjoint clusters such that the process is stationary on each of the clusters but independent across clusters. We evaluate our model for traffic prediction on a large-scale dataset of fine-grained highway travel times in the Dallas--Fort Worth area. The accuracy of our method is very close to the state-of-the-art graph based deep learning methods while the computational complexity of our model is substantially smaller.


title: A systematic framework to discover pattern for web spam classification

abstract: Web spam is a big problem for search engine users in World Wide Web. They use deceptive techniques to achieve high rankings. Although many researchers have presented the different approach for classification and web spam detection still it is an open issue in computer science. Analyzing and evaluating these websites can be an effective step for discovering and categorizing the features of these websites. There are several methods and algorithms for detecting those websites, such as decision tree algorithm. In this paper, we present a systematic framework based on CHAID algorithm and a modified string matching algorithm (KMP) for extract features and analysis of these websites. We evaluated our model and other methods with a dataset of Alexa Top 500 Global Sites and Bing search engine results in 500 queries.


title: On the elastic anatomy of heterogeneous fractures in rock

abstract: This study examines the feasibility of the full-field ultrasonic characterization of fractures in rock. To this end, a slab-like specimen of granite is subjected to in-plane, O(10$^4$Hz) excitation while monitoring the induced 2D wavefield by a Scanning Laser Doppler Vibrometer (SLDV) with sub-centimeter spatial resolution. Upon suitable filtering and interpolation, the observed wavefield is verified to conform with the plane-stress approximation and used to: (i) compute the maps of elastic modulus in the specimen (before and after fracturing) via a rudimentary application of the principle of elastography; (ii) reconstruct the fracture geometry; (iii) expose the fracture's primal (traction-displacement jump) contact behavior, and (iv) identify its profiles of shear and normal specific stiffness. Through the use of full-field ultrasonic data, the approach provides an unobscured, high-resolution insight into the fracture's contact behavior, foreshadowing in-depth laboratory exploration of interdependencies between the fracture geometry, aperture, interphase properties, and its seismic characteristics.


title: p-adic heights and Vologodsky integration

abstract: We extend the result of a previous work to the case of curves with semi-stable reduction. In this case, one can replace Coleman integration by Vologodsky integration to extend the Coleman-Gross definition of a $p$-adic height pairing. we show that this pairing still equals the one defined by Nekovar.


title: Ultrahigh lattice thermal conductivity in topological semimetal TaN caused by large acoustic-optical gap

abstract: Topological semimetal may have potential applications like topological qubits, spintronics and quantum computations. Efficient heat dissipation is a key factor for the reliability and stability of topological semimetal-based nano-electronics devices, which is closely related to high thermal conductivity. In this work, the elastic properties and lattice thermal conductivity of TaN are investigated by first-principles calculations and the linearized phonon Boltzmann equation within the single-mode relaxation time approximation (RTA). According to the calculated bulk modulus, shear modulus and $C_{44}$, TaN can be regarded as a potential incompressible and hard material. The room-temperature lattice thermal conductivity is predicted to be 838.62 $\mathrm{W m^{-1} K^{-1}}$ along a axis and 1080.40 $\mathrm{W m^{-1} K^{-1}}$ along c axis, showing very strong anisotropy. It is found that the lattice thermal conductivity of TaN is several tens of times higher than one of other topological semimetal, such as TaAs, MoP and ZrTe, which is due to very longer phonon lifetimes for TaN than other topological semimetal. The very different atomic masses of Ta and N atoms lead to a very large acoustic-optical band gap, and then prohibits the scattering between acoustic and optical phonon modes, which gives rise to very long phonon lifetimes. Based on mass difference factor, the WC and WN can be regarded as potential candidates with ultrahigh lattice thermal conductivity. Calculated results show that isotope scattering has little effect on lattice thermal conductivity, and that phonon with mean free path(MFP) larger than 20 (80) $\mathrm{\mu m}$ at 300 K has little contribution to the total lattice thermal conductivity. This work implies that TaN-based nano-electronics devices may be more stable and reliable due to efficient heat dissipation.


title: BPGrad: Towards Global Optimality in Deep Learning via Branch and Pruning

abstract: Understanding the global optimality in deep learning (DL) has been attracting more and more attention recently. Conventional DL solvers, however, have not been developed intentionally to seek for such global optimality. In this paper we propose a novel approximation algorithm, BPGrad, towards optimizing deep models globally via branch and pruning. Our BPGrad algorithm is based on the assumption of Lipschitz continuity in DL, and as a result it can adaptively determine the step size for current gradient given the history of previous updates, wherein theoretically no smaller steps can achieve the global optimality. We prove that, by repeating such branch-and-pruning procedure, we can locate the global optimality within finite iterations. Empirically an efficient solver based on BPGrad for DL is proposed as well, and it outperforms conventional DL solvers such as Adagrad, Adadelta, RMSProp, and Adam in the tasks of object recognition, detection, and segmentation.


title: A dearth of small particles in the transiting material around the white dwarf WD 1145+017

abstract: White dwarf WD 1145+017 is orbited by several clouds of dust, possibly emanating from actively disintegrating bodies. These dust clouds reveal themselves through deep, broad, and evolving transits in the star's light curve. Here, we report two epochs of multi-wavelength photometric observations of WD 1145+017, including several filters in the optical, K$_\mathrm{s}$ and 4.5 $\mu$m bands in 2016 and 2017. The observed transit depths are different at these wavelengths. However, after correcting for excess dust emission at K$_\mathrm{s}$ and 4.5 $\mu$m, we find the transit depths for the white dwarf itself are the same at all wavelengths, at least to within the observational uncertainties of $\sim$5%-10%. From this surprising result, and under the assumption of low optical depth dust clouds, we conclude that there is a deficit of small particles (with radii $s \lesssim$ 1.5 $\mu$m) in the transiting material. We propose a model wherein only large particles can survive the high equilibrium temperature environment corresponding to 4.5 hr orbital periods around WD 1145+017, while small particles sublimate rapidly. In addition, we evaluate dust models that are permitted by our measurements of infrared emission.


title: Systems of sets of lengths of Puiseux monoids

abstract: In this paper we study the system of sets of lengths of non-finitely generated atomic Puiseux monoids (a Puiseux monoid is an additive submonoid of $\mathbb{Q}_{\ge 0}$). We begin by presenting a BF-monoid $M$ with full system of sets of lengths, which means that for each subset $S$ of $\mathbb{Z}_{\ge 2}$ there exists an element $x \in M$ whose set of lengths $\mathsf{L}(x)$ is $S$. It is well known that systems of sets of lengths do not characterize numerical monoids. Here, we prove that systems of sets of lengths do not characterize non-finitely generated atomic Puiseux monoids. In a recent paper, Geroldinger and Schmid found the intersection of systems of sets of lengths of numerical monoids. Motivated by this, we extend their result to the setting of atomic Puiseux monoids. Finally, we relate the sets of lengths of the Puiseux monoid $P = \langle 1/p \mid p \ \text{is prime} \rangle$ with the Goldbach's conjecture; in particular, we show that $\mathsf{L}(2)$ is precisely the set of Goldbach's numbers.


title: On the semi-continuity problem of normalized volumes of singularities

abstract: We show that in any $\mathbb{Q}$-Gorenstein flat family of klt singularities, normalized volumes can only jump down at countably many subvarieties. A quick consequence is that smooth points have the largest normalized volume among all klt singularities. Using an alternative characterization of K-semistability developed by Li, Xu and the author, we show that K-semistability is a very generic or empty condition in any $\mathbb{Q}$-Gorenstein flat family of log Fano pairs.


title: The Strength of Multi-row Aggregation Cuts for Sign-pattern Integer Programs

abstract: In this paper, we study the strength of aggregation cuts for sign-pattern integer programs (IPs). Sign-pattern IPs are a generalization of packing IPs and are of the form $\{x\in \mathbb{Z}^n_+\ | \ Ax\le b\}$ where for a given column $j$, $A_{ij}$ is either non-negative for all $i$ or non-positive for all $i$. Our first result is that the aggregation closure for such sign-pattern IPs can be 2-approximated by the original 1-row closure. This generalizes a result for packing IPs. On the other hand, unlike in the case of packing IPs, we show that the multi-row aggregation closure cannot be well approximated by the original multi-row closure. Therefore for these classes of integer programs general aggregated multi-row cutting planes can perform significantly better than just looking at cuts from multiple original constraints.


title: Cyclone: High Availability for Persistent Key Value Stores

abstract: Persistent key value stores are an important component of many distributed data serving solutions with innovations targeted at taking advantage of growing flash speeds. Unfortunately their performance is hampered by the need to maintain and replicate a write ahead log to guarantee availability in the face of machine and storage failures. Cyclone is a replicated log plug-in for key value stores that systematically addresses various sources of this bottleneck. It uses a small amount of non-volatile memory directly addressable by the CPU - such as in the form of NVDIMMs or Intel 3DXPoint - to remove block oriented IO devices such as SSDs from the critical path for appending to the log. This enables it to address network overheads using an implementation of the RAFT consensus protocol that is designed around a userspace network stack to relieve the CPU of the burden of data copies. Finally, it provides a way to efficiently map the commutativity in key-value store APIs to the parallelism available in commodity NICs. Cyclone is able to replicate millions of small updates per second using only commodity 10 gigabit ethernet adapters. As a practical application, we use it to improve the performance (and availability) of RocksDB, a popular persistent key value store by an order of magnitude when compared to its own write ahead log without replication.


title: Coding of geodesics on some modular surfaces and applications to odd and even continued fractions

abstract: The connection between geodesics on the modular surface $\operatorname{PSL}(2,{\mathbb Z})\backslash {\mathbb H}$ and regular continued fractions, established by Series, is extended to a connection between geodesics on $\Gamma\backslash {\mathbb H}$ and odd and grotesque continued fractions, where $\Gamma\cong {\Bbb Z}_3 \ast {\Bbb Z}_3$ is the index two subgroup of $\operatorname{PSL}(2,{\mathbb Z})$ generated by the order three elements $\left( \begin{smallmatrix} 0 & -1 \\ 1 & 1 \end{smallmatrix} \right)$ and $\left( \begin{smallmatrix} 0 & 1 \\ -1 & 1 \end{smallmatrix} \right)$, having an ideal quadrilateral as fundamental domain. A similar connection between geodesics on $\Theta\backslash {\mathbb H}$ and even continued fractions is discussed in our framework, where $\Theta$ denotes the Theta subgroup of $\operatorname{PSL}(2,{\mathbb Z})$ generated by $\left( \begin{smallmatrix} 0 & -1 \\ 1 & 0 \end{smallmatrix} \right)$ and $\left( \begin{smallmatrix} 1 & 2 \\ 0 & 1 \end{smallmatrix} \right)$.


title: The Near-infrared Optimal Distances Method Applied to Galactic Classical Cepheids Tightly Constrains Mid-infrared Period--Luminosity Relations

abstract: Classical Cepheids are well-known and widely used distance indicators. As distance and extinction are usually degenerate, it is important to develop suitable methods to robustly anchor the distance scale. Here, we introduce a near-infrared (near-IR) optimal distance method to determine both the extinction values of and distances to a large sample of 288 Galactic classical Cepheids. The overall uncertainty in the derived distances is less than 4.9%. We compare our newly determined distances to the Cepheids in our sample with previously published distances to the same Cepheids with Hubble Space Telescope parallax measurements and distances based on the IR surface brightness method, Wesenheit functions, and the main-sequence fitting method. The systematic deviations in the distances determined here with respect to those of previous publications is less than 1-2%. Hence, we constructed Galactic mid-IR period-luminosity (PL) relations for classical Cepheids in the four Wide-Field Infrared Survey Explorer (WISE) bands (W1, W2, W3, and W4) and the four Spitzer Space Telescope bands ([3.6], [4.5], [5.8] and [8.0]). Based on our sample of hundreds of Cepheids, the WISE PL relations have been determined for the first time; their dispersion is approximately 0.10 mag. Using the currently most complete sample, our Spitzer PL relations represent a significant improvement in accuracy, especially in the [3.6] band which has the smallest dispersion (0.066 mag). In addition, the average mid-IR extinction curve for Cepheids has been obtained: A_W1/A_Ks=0.560, A_W2/A_Ks=0.479, A_W3/A_Ks=0.507, A_W4/A_Ks=0.406, A_[3.6]/A_Ks=0.481, A_[4.5]/A_Ks=0.469, A_[5.8]/A_Ks=0.427, and A_[8.0]/A_Ks=0.427 mag.


title: Neural correlates of flow using auditory evoked potential suppression

abstract: "Flow" is a hyper-engaged state of consciousness most commonly described in athletics, popularly termed "being in the zone." Quantitative research into flow has been hampered by the disruptive nature of gathering subjective reports. Here we show that a passive probe (suppression of Auditory Evoked Potential in EEG) that allowed our participants to remain engaged in a first-person shooting game while we continually tracked the depth of their immersion corresponded with the participants' subjective experiences, and with their objective performance levels. Comparing this time-varying record of flow against the overall EEG record, we identified neural correlates of flow in the anterior cingulate cortex and the temporal pole. These areas displayed increased beta band activity, mutual connectivity, and feedback connectivity with primary motor cortex. These results corroborate the notion that the flow state is an objective and quantifiable state of consciousness, which we identify and characterize across subjective, behavioral and neural measures.


title: Intelligent Word Embeddings of Free-Text Radiology Reports

abstract: Radiology reports are a rich resource for advancing deep learning applications in medicine by leveraging the large volume of data continuously being updated, integrated, and shared. However, there are significant challenges as well, largely due to the ambiguity and subtlety of natural language. We propose a hybrid strategy that combines semantic-dictionary mapping and word2vec modeling for creating dense vector embeddings of free-text radiology reports. Our method leverages the benefits of both semantic-dictionary mapping as well as unsupervised learning. Using the vector representation, we automatically classify the radiology reports into three classes denoting confidence in the diagnosis of intracranial hemorrhage by the interpreting radiologist. We performed experiments with varying hyperparameter settings of the word embeddings and a range of different classifiers. Best performance achieved was a weighted precision of 88% and weighted recall of 90%. Our work offers the potential to leverage unstructured electronic health record data by allowing direct analysis of narrative clinical notes.


title: Learning from Synthetic Data: Addressing Domain Shift for Semantic Segmentation

abstract: Visual Domain Adaptation is a problem of immense importance in computer vision. Previous approaches showcase the inability of even deep neural networks to learn informative representations across domain shift. This problem is more severe for tasks where acquiring hand labeled data is extremely hard and tedious. In this work, we focus on adapting the representations learned by segmentation networks across synthetic and real domains. Contrary to previous approaches that use a simple adversarial objective or superpixel information to aid the process, we propose an approach based on Generative Adversarial Networks (GANs) that brings the embeddings closer in the learned feature space. To showcase the generality and scalability of our approach, we show that we can achieve state of the art results on two challenging scenarios of synthetic to real domain adaptation. Additional exploratory experiments show that our approach: (1) generalizes to unseen domains and (2) results in improved alignment of source and target distributions.


title: How much is my car worth? A methodology for predicting used cars prices using Random Forest

abstract: Cars are being sold more than ever. Developing countries adopt the lease culture instead of buying a new car due to affordability. Therefore, the rise of used cars sales is exponentially increasing. Car sellers sometimes take advantage of this scenario by listing unrealistic prices owing to the demand. Therefore, arises a need for a model that can assign a price for a vehicle by evaluating its features taking the prices of other cars into consideration. In this paper, we use supervised learning method namely Random Forest to predict the prices of used cars. The model has been chosen after careful exploratory data analysis to determine the impact of each feature on price. A Random Forest with 500 Decision Trees were created to train the data. From experimental results, the training accuracy was found out to be 95.82%, and the testing accuracy was 83.63%. The the model can predict the price of cars accurately by choosing the most correlated features.


title: Resonance enhancement of two photon absorption by magnetically trapped atoms in strong rf-fields

abstract: Applying a many mode Floquet formalism for magnetically trapped atoms interacting with a polychromatic rf-field, we predict a large two photon transition probability in the atomic system of cold $^{87}Rb$ atoms. The physical origin of this enormous increase in the two photon transition probability is due to the formation of avoided crossings between eigen-energy levels originating from different Floquet sub-manifolds and redistribution of population in the resonant intermediate levels to give rise to the resonance enhancement effect. Other exquisite features of the studied atom-field composite system include the splitting of the generated avoided crossings at the strong field strength limit and a periodic variation of the single and two photon transition probabilities with the mode separation frequency of the polychromatic rf-field. This work can find applications to characterize properties of cold atom clouds in the magnetic traps using rf-spectroscopy techniques.


title: Refractionless propagation of discretized light

abstract: Light refraction, i.e. the bending of the path of a light wave at the interface between two different dielectric media, is ubiquitous in optics. Refraction arises from the different speed of light and is unavoidable in continuous media according to Snell's Law. Here we show rather counterintuitively that omnidirectional refractionless propagation can be observed for discretized light crossing a tilted interface separating two homogeneous waveguide lattices.


title: Iterative approximation of common attractive points of further generalized hybrid mappings

abstract: Our purpose in this paper is (i) to introduce the concept of further generalized hybrid mappings (ii) to introduce the concept of common attractive points (CAP) (iii) to write and use Picard-Mann iterative process for two mappings. We approximate common attractive points of further generalized hybrid mappings by using iterative process due to Khan <cite>SHK</cite> generalized to the case of two mappings in Hilbert spaces without closedness assumption. Our results are generalizations and improvements of several results in the literature in different ways.


title: Wrist Sensor Fusion Enables Robust Gait Quantification Across Walking Scenarios

abstract: Quantifying step abundance via single wrist-worn accelerometers is a common approach for encouraging active lifestyle and tracking disease status. Nonetheless, step counting accuracy can be hampered by fluctuations in walking pace or demeanor. Here, we assess whether the use of various sensor fusion techniques, each combining bilateral wrist accelerometer data, may increase step count robustness. By collecting data from 27 healthy subjects, we find that high-level step fusion leads to substantially improved accuracy across diverse walking scenarios. Gait cycle analysis illustrates that wrist devices can recurrently detect steps proximal to toe-off events. Collectively, our study suggests that dual-wrist sensor fusion may enable robust gait quantification in free-living environments.


title: Oblique propagation of electrostatic waves in a magnetized EPI plasma

abstract: A theoretical investigation is carried out to understand the basic features of nonlinear propagation of heavy ion-acoustic (HIA) waves subjected to an external magnetic field in an electron-positron-ion (EPI) plasma which consists of cold magnetized positively charged heavy ion fluids, and superthermal distributed electrons and positrons. In the nonlinear regime, the Korteweg-de Vries (K-dV) and modified K-dV(MK-dV) equations describing the propagation of HIA waves are derived. The latter admits a solitary wave solution with both positive and negative potentials (for K-dV equation) and only positive potential (for mK-dV equation) in the weak amplitude limit. It is observed that the effects of external magnetic field (obliqueness), superthermal electrons and positrons, different plasma species concentration, heavy ion dynamics and temperature ratio significantly modify the basic features of solitary waves (SWs). The application of the results in a magnetized EPI plasma, which occurs in many astrophysical objects (e.g., pulsars, cluster explosions, and active galactic nuclei) is briefly discussed.


title: MIT Advanced Vehicle Technology Study: Large-Scale Naturalistic Driving Study of Driver Behavior and Interaction with Automation

abstract: For the foreseeble future, human beings will likely remain an integral part of the driving task, monitoring the AI system as it performs anywhere from just over 0% to just under 100% of the driving. The governing objectives of the MIT Autonomous Vehicle Technology (MIT-AVT) study are to (1) undertake large-scale real-world driving data collection that includes high-definition video to fuel the development of deep learning based internal and external perception systems, (2) gain a holistic understanding of how human beings interact with vehicle automation technology by integrating video data with vehicle state data, driver characteristics, mental models, and self-reported experiences with technology, and (3) identify how technology and other factors related to automation adoption and use can be improved in ways that save lives. In pursuing these objectives, we have instrumented 23 Tesla Model S and Model X vehicles, 2 Volvo S90 vehicles, 2 Range Rover Evoque, and 2 Cadillac CT6 vehicles for both long-term (over a year per driver) and medium term (one month per driver) naturalistic driving data collection. Furthermore, we are continually developing new methods for analysis of the massive-scale dataset collected from the instrumented vehicle fleet. The recorded data streams include IMU, GPS, CAN messages, and high-definition video streams of the driver face, the driver cabin, the forward roadway, and the instrument cluster (on select vehicles). The study is on-going and growing. To date, we have 122 participants, 15,610 days of participation, 511,638 miles, and 7.1 billion video frames. This paper presents the design of the study, the data collection hardware, the processing of the data, and the computer vision algorithms currently being used to extract actionable knowledge from the data.


title: Lieb-Robinson Bound at Finite Temperature

abstract: The Lieb-Robinson bound shows that the speed of propagating information in a nonrelativistic quantum lattice system is bounded by a finite velocity, which entails the clustering of correlations. In this paper, we extend the Lieb-Robinson bound to quantum systems at finite temperature by calculating the dynamical correlation function at nonzero temperature for systems whose interactions are respectively short-range, exponentially-decaying and long-range. We introduce a simple way of counting the clusters in a cluster expansion by using the combinatoric generating functions of graphs. Limitations and possible applications of the obtained bound are also discussed.


title: Studies of no light scalar hair behaviors for compact reflecting stars in a box

abstract: We study condensation of scalar fields around compact reflecting stars in a box. We propose no light scalar hair behaviors that the neutral compact star cannot support the existence of small single positive mass scalar field in it's exterior spacetime for very general self-interacting potentials. Moreover, we find that this no light scalar hair property can be violated by including an additional Maxwell field coupled to the scalar field in a charged compact reflecting star background.


title: Estimating the flux of the 14.4 keV solar axions

abstract: In this paper we present a calculation of the expected flux of the mono-energetic 14.4 keV solar axions emitted by the M1 type nuclear transition of $^{57}$Fe in the Sun. These axions can be detected, e.g., by inverse coherent Bragg-Primakoff conversion in single-crystal TeO$_2$ bolometers. The ingredients of this calculation are i) the axion nucleon coupling, estimated in several popular axion models and ii)the nuclear spin matrix elements involving realistic shell model calculations with both proton and neutron excitations. For the benefit of the experiments we have also calculated the branching ratio involving axion and photon emission


title: Photocatalytic Behavior of Fluorinated Rutile TiO$_2$(110) Surface: Understanding from the Band Model

abstract: Surface fluorination of TiO$_2$ (F-TiO$_2$) has complicate photocatalytic behavior in degradation of organic compounds. This work attempts to establish an elegant scenario based on the band model to understand this behavior. Density functional theory (DFT) calculations show that fluorination of the rutile TiO$_2$(110) surface (F-TiO$_2$${110}$) results in the falling of band edges. The falling of valence band edge (VBE) facilitates production of free $\cdot$OH radicals, whereas the falling of conduction band edge (CBE) lowers the reducing power of photo-electrons and inhibits reductive reactions mediated by them. As a result, the photo-electrons are built up in the conduction band which depresses photo-holes in the valence band to produce $\cdot$OH radicals due to the requirement of electrical neutrality and thus leads to a low degradation rate of organic compounds. Even though, our model suggests a route to improve the degradation efficiency, by introducing a scavenger of photo-electrons to promote formation of $\cdot$OH radicals.


title: Ferroelectric Ferrimagnetic LiFe$_2$F$_6$: Charge Ordering Mediated Magnetoelectricity

abstract: Trirutile-type LiFe$_2$F$_6$ is a charge-ordered material with Fe$^{2+}$/Fe$^{3+}$ configuration. Here its physical properties, including magnetism, electronic structure, phase transition, and charge ordering, are studied theoretically. On one hand, the charge ordering leads to improper ferroelectricity with a large polarization. On the other hand, its magnetic ground state can be tuned from the antiferromagnetic to ferrimagnetic by moderate compressive strain. Thus, LiFe$_2$F$_6$ can be a rare multiferroic with both large magnetization and polarization. Most importantly, since the charge ordering is the common ingredient for both ferroelectricity and magnetization, the net magnetization may be fully switched by flipping the polarization, rendering intrinsically strong magnetoelectric effect and desirable function.


title: Asymmetrical interaction induced real spectra and exceptional points in a non-Hermitian Hamiltonian

abstract: Non-Hermitian systems with parity-time symmetry have been developed rapidly and hold great promise for future applications. Unlike most existing works considering the symmetry of the free energy terms (e.g., gain-loss system), in this paper, we report that a realizable non-Hermitian interaction between two quantum resonances can also have a real spectrum after the exceptional point. That phenomenon is similar with that in the gain-loss system so that the non-Hermitian interaction can be an excellent substitute for quantum gain. Such a non-Hermitian interaction can be realized in designed optomechanics, and we find that its dynamics are in accordance with those of normal gain system as expected. As examples, the phase transition near the exceptional point and the induced chaos in weak nonlinear coupling are shown and analyzed for an intuitive visual. Our results provide a platform for realizing parity-time symmetry devices and studying properties of non-Hermitian quantum mechanics.


title: Enhanced Group Sparse Beamforming for Green Cloud-RAN: A Random Matrix Approach

abstract: Group sparse beamforming is a general framework to minimize the network power consumption for cloud radio access networks (Cloud-RANs), which, however, suffers high computational complexity. In particular, a complex optimization problem needs to be solved to obtain the remote radio head (RRH) ordering criterion in each transmission block, which will help to determine the active RRHs and the associated fronthaul links. In this paper, we propose innovative approaches to reduce the complexity of this key step in group sparse beamforming. Specifically, we first develop a smoothed $\ell_p$-minimization approach with the iterative reweighted-$\ell_2$ algorithm to return a Karush-Kuhn-Tucker (KKT) point solution, as well as enhancing the capability of inducing group sparsity in the beamforming vectors. By leveraging the Lagrangian duality theory, we obtain closed-form solutions at each iteration to reduce the computational complexity. The well-structured solutions provide the opportunities to apply the large-dimensional random matrix theory to derive deterministic approximations for the RRH ordering criterion. Such an approach helps to guide the RRH selection only based on the statistical channel state information (CSI), which does not require frequent update, thereby significantly reducing the computation overhead. Simulation results shall demonstrate the performance gains of the proposed $\ell_p$-minimization approach, as well as the effectiveness of the large system analysis based framework for computing RRH ordering criterion.


title: Toward electrodynamics of unconventional phases of dilute nuclear matter

abstract: The phase diagram of isospin-asymmetrical nuclear matter may feature a number of unconventional phases, which include the translationally and rotationally symmetric, but isospin-asymmetrical BCS condensate, the current-carrying Larkin-Ovchinnikov-Fulde-Ferrell (LOFF) phase, and the heterogeneous phase-separated phase. Because the Cooper pairs of the condensate carry a single unit of charge, these phases are charged superconductors and respond to electromagnetic gauge fields by either forming domains (type-I superconductivity) or quantum vortices (type-II superconductivity). We evaluate the Ginzburg-Landau (GL) parameter across the phase diagram and find that the unconventional phases of isospin-asymmetrical nuclear matter are good type-II superconductors and should form Abrikosov vortices with twice the quantum of magnetic flux. We also find that the LOFF phase at the boundary of the transition to the type-I state, with the GL parameter being close to the critical value $1/\sqrt{2}$.

categories: nucl-th astro-ph.HE cond-mat.quant-gas cond-mat.supr-con


title: Measurement of $^{144}\rm{Pr}$ beta-spectrum with Si(Li) detectors for the purpose of determining the spectrum of electron antineutrinos

abstract: Here we present the specifications of the newly developed beta-spectrometer based on thick full absorption Si(Li) detector. The spectrometer can be used for precision measurements of various beta-spectra, namely for the beta-spectrum shape study of $^{144}$Pr, which is considered to be the most promising anti-neutrino source for sterile neutrino searches.


title: Numerical-experimental observation of shape bistability of red blood cells flowing in a microchannel

abstract: Red blood cells flowing through capillaries assume a wide variety of different shapes owing to their high deformability. Predicting the realized shapes is a complex field as they are determined by the intricate interplay between the flow conditions and the membrane mechanics. In this work we construct the shape phase diagram of a single red blood cell with a physiological viscosity ratio flowing in a microchannel. We use both experimental in-vitro measurements as well as 3D numerical simulations to complement the respective other one. Numerically, we have easy control over the initial starting configuration and natural access to the full 3D shape. With this information we obtain the phase diagram as a function of initial position, starting shape and cell velocity. Experimentally, we measure the occurrence frequency of the different shapes as a function of the cell velocity to construct the experimental diagram which is in good agreement with the numerical observations. Two different major shapes are found, namely croissants and slippers. Notably, both shapes show coexistence at low (<1 mm/s) and high velocities (>3 mm/s) while in-between only croissants are stable. This pronounced bistability indicates that RBC shapes are not only determined by system parameters such as flow velocity or channel size, but also strongly depend on the initial conditions.


title: Heavy inertial particles in turbulent flows gain energy slowly but lose it rapidly

abstract: We present an extensive numerical study of the time irreversibility of the dynamics of heavy inertial particles in three-dimensional, statistically homogeneous and isotropic turbulent flows. We show that the probability density function (PDF) of the increment, $W(\tau)$, of a particle's energy over a time-scale $\tau$ is non-Gaussian, and skewed towards negative values. This implies that, on average, particles gain energy over a period of time that is longer than the duration over which they lose energy. We call this $\textit{slow gain}$ and $\textit{fast loss}$. We find that the third moment of $W(\tau)$ scales as $\tau^3$, for small values of $\tau$. We show that the PDF of power-input $p$ is negatively skewed too; we use this skewness ${\rm Ir}$ as a measure of the time-irreversibility and we demonstrate that it increases sharply with the Stokes number ${\rm St}$, for small ${\rm St}$; this increase slows down at ${\rm St} \simeq 1$. Furthermore, we obtain the PDFs of $t^+$ and $t^-$, the times over which $p$ has, respectively, positive or negative signs, i.e., the particle gains or loses energy. We obtain from these PDFs a direct and natural quantification of the the slow-gain and fast-loss of the particles, because these PDFs possess exponential tails, whence we infer the characteristic loss and gain times $t_{\rm loss}$ and $t_{\rm gain}$, respectively; and we obtain $t_{\rm loss} < t_{\rm gain}$, for all the cases we have considered. Finally, we show that the slow-gain in energy of the particles is equally likely in vortical or strain-dominated regions of the flow; in contrast, the fast-loss of energy occurs with greater probability in the latter than in the former.


title: Classification of the maximal subalgebras of exceptional Lie algebras over fields of good characteristic

abstract: Let $G$ be an exceptional simple algebraic group over an algebraically closed field $k$ and suppose that the characteristic $p$ of $k$ is a good prime for $G$. In this paper we classify the maximal Lie subalgebras $\mathfrak{m}$ of the Lie algebra $\mathfrak{g}={\rm Lie}(G)$. Specifically, we show that one of the following holds: $\mathfrak{m}={\rm Lie}(M)$ for some maximal connected subgroup $M$ of $G$, or $\mathfrak{m}$ is a maximal Witt subalgebra of $\mathfrak{g}$, or $\mathfrak{m}$ is a maximal $\it{\mbox{exotic semidirect product}}$. The conjugacy classes of maximal connected subgroups of G are known thanks to the work of Seitz, Testerman and Liebeck--Seitz. All maximal Witt subalgebras of $\mathfrak{g}$ are $G$-conjugate and they occur when $G$ is not of type ${\rm E}_6$ and $p-1$ coincides with the Coxeter number of $G$. We show that there are two conjugacy classes of maximal exotic semidirect products in $\mathfrak{g}$, one in characteristic $5$ and one in characteristic $7$, and both occur when $G$ is a group of type ${\rm E}_7$.


title: Sequential Randomized Matrix Factorization for Gaussian Processes: Efficient Predictions and Hyper-parameter Optimization

abstract: This paper presents a sequential randomized lowrank matrix factorization approach for incrementally predicting values of an unknown function at test points using the Gaussian Processes framework. It is well-known that in the Gaussian processes framework, the computational bottlenecks are the inversion of the (regularized) kernel matrix and the computation of the hyper-parameters defining the kernel. The main contributions of this paper are two-fold. First, we formalize an approach to compute the inverse of the kernel matrix using randomized matrix factorization algorithms in a streaming scenario, i.e., data is generated incrementally over time. The metrics of accuracy and computational efficiency of the proposed method are compared against a batch approach based on use of randomized matrix factorization and an existing streaming approach based on approximating the Gaussian process by a finite set of basis vectors. Second, we extend the sequential factorization approach to a class of kernel functions for which the hyperparameters can be efficiently optimized. All results are demonstrated on two publicly available datasets.


title: Spin-order-induced multiferroicity in LiCuFe2(VO4)3 and disorder effects in NaCuFe2(VO4)3

abstract: Mixed spin chain compounds, ACuFe2(VO4)3 (A= Li,Na), reach magnetically ordered state at TN ~ 11 K (Li) or ~ 9 K (Na) and experience further transformation of magnetic order at T* ~ 7 K (Li) or ~ 5 K (Na), evidenced in magnetic susceptibility chi and specific heat Cp measurements. While no anomaly has been detected in dielectric property of NaCuFe2(VO4)3, the step-like feature precedes a sharp peak in permittivity epsilon at TN in LiCuFe2(VO4)3. These data suggest the spin-order-induced ferroelectricity in Li compound and no such thing in Na compound. On the contrary, the Moessbauer spectroscopy study suggests similarly wide distribution of hyperfine field in between T* and TN for both the compounds. The first principles calculations also provide similar values for magnetic exchange interaction parameters in both compounds. These observations lead us to conclude on the crucial role of alkali metals mobility within the channels of the crystal structure needed to be considered in explaining the improper multiferroicity in one compound and its absence in other.


title: Order, disorder and phase transitions in quantum many body systems

abstract: In this paper, I give an overview of some selected results in quantum many body theory, lying at the interface between mathematical quantum statistical mechanics and condensed matter theory. In particular, I discuss some recent results on the universality of transport coefficients in lattice models of interacting electrons, with specific focus on the independence of the quantum Hall conductivity from the electron-electron interaction. In this context, the exchange of ideas between mathematical and theoretical physics proved particularly fruitful, and helped in clarifying the role played by quantum conservation laws (Ward Identities), together with the decay properties of the Euclidean current-current correlation functions, on the interaction-independence of the conductivity.


title: Design and realization of a sputter deposition system for the \textit{in situ-} and \textit{in operando-}use in polarized neutron reflectometry experiments

abstract: We report on the realization of a sputter deposition system for the in situ- and in operando-use in polarized neutron reflectometry experiments. Starting with the scientific requirements, which define the general design considerations, the external limitations and boundaries imposed by the available space at a neutron beamline and by the neutron and vacuum compatibility of the used materials, are assessed. The relevant aspects are then accounted for in the realization of our highly mobile deposition system, which was designed with a focus on a quick and simple installation and removability at the beamline. Apart from the general design, the in-vacuum components, the auxiliary equipment and the remote control via a computer, as well as relevant safety aspects are presented in detail.