title: Magnetic Hopfions in the Faddeev-Skyrme-Maxwell model

abstract: We construct new solutions of the Faddeev-Skyrme-Maxwell model, which represent Hopf solitons coupled to magnetic fluxes. It turns out that coupling to the magnetic field allows for transmutations of the solitons, however, the results depend both on the type of the vacuum boundary condition and on the strength of the gauge coupling. It is shown that the structure of the magnetic fluxes of a gauged Hopfion is governed by the preimages of the points $\phi_3=\pm 1$.


title: Trade Network Reconstruction and Simulation with Changes in Trade Policy

abstract: The interdependent nature of the global economy has become stronger with increases in international trade and investment. We propose a new model to reconstruct the international trade network and associated cost network by maximizing entropy based on local information about inward and outward trade. We show that the trade network can be successfully reconstructed using the proposed model. In addition to this reconstruction, we simulated structural changes in the international trade network caused by changing trade tariffs in the context of the government's trade policy. The simulation for the FOOD category shows that import of FOOD from the U.S. to Japan increase drastically by halving the import cost. Meanwhile, the simulation for the MACHINERY category shows that exports from Japan to the U.S. decrease drastically by doubling the export cost, while exports to the EU increased.


title: Non rationalit\'e stable sur les corps quelconques

abstract: This is a survey on (lack of) stable rationality over arbitrary fields (including algebraically closed fields). Topics addressed include: Rationality and unirationality, R-equivalence on rational points, Chow groups of zero-cycles, Galois action on the Picard group, Brauer group, higher unramified cohomology, global differentials, specialisation method (via R-equivalence), geometrically rational surfaces, cubic hypersurfaces.


title: Design and construction of a high resolution, portable and low-cost positioner by a star tracking system

abstract: In normal observation procedures, the position of the observer is specified by GPS and celestial positions of an object will be calculated. But in some situations, like small zenith angle FOVs, GPS doesn't work. Therefore in this study, the work is investigated in reverse of usual procedures. Comparison between the local position of a few stars in a typical picture and their reference positions in J2000 is used for determining our location coordinates. Longitude, Latitude and North direction are determined by the procedure. The stars are identified using their unique patterns with neighbor stars. The direction of the sky photography is determined by a designed inclinometer which is harmonious to a camera. For the purpose, it was corrected atmospheric refraction effect, relativistic aberration. It was used half seconds exposure time images to obtain the best results. Therefore this positioning system is used to obtain longitude and latitude with an accuracy of less than 0.503 and 0.816 arc-minutes respectively. Total weight of the system is 4.7 kg, which makes it quite portable.


title: GamePad: A Learning Environment for Theorem Proving

abstract: In this paper, we introduce a system called GamePad that can be used to explore the application of machine learning methods to theorem proving in the Coq proof assistant. Interactive theorem provers such as Coq enable users to construct machine-checkable proofs in a step-by-step manner. Hence, they provide an opportunity to explore theorem proving with human supervision. We use GamePad to synthesize proofs for a simple algebraic rewrite problem and train baseline models for a formalization of the Feit-Thompson theorem. We address position evaluation (i.e., predict the number of proof steps left) and tactic prediction (i.e., predict the next proof step) tasks, which arise naturally in tactic-based theorem proving.


title: Production of dark-matter bound states in the early universe by three-body recombination

abstract: The small-scale structure problems of the universe can be solved by self-interacting dark matter that becomes strongly interacting at low energy. A particularly predictive model for the self-interactions is resonant short-range interactions with an S-wave scattering length that is much larger than the range. The velocity dependence of the cross section in such a model provides an excellent fit to self-interaction cross sections inferred from dark-matter halos of galaxies and clusters of galaxies if the dark-matter mass is about 19 GeV and the scattering length is about 17 fm. Such a model makes definite predictions for the few-body physics of weakly bound clusters of the dark-matter particles. The formation of the two-body bound cluster is a bottleneck for the formation of larger bound clusters. We calculate the production of two-body bound clusters by three-body recombination in the early universe under the assumption that the dark matter particles are identical bosons, which is the most favorable case. If the dark-matter mass is 19 GeV and the scattering length is 17 fm, the fraction of dark matter in the form of two-body bound clusters can increase by as much as 4 orders of magnitude when the dark-matter temperature falls below the binding energy, but its present value remains less than 10^(-6). The present fraction can be increased to as large as 10^(-3) by relaxing the constraints from small-scale structure and decreasing the mass of the dark matter particle.

categories: hep-ph astro-ph.CO hep-ex nucl-ex nucl-th


title: Between Progress and Potential Impact of AI: the Neglected Dimensions

abstract: We reframe the analysis of progress in AI by incorporating into an overall framework both the task performance of a system, and the time and resource costs incurred in the development and deployment of the system. These costs include: data, expert knowledge, human oversight, software resources, computing cycles, hardware and network facilities, and (what kind of) time. These costs are distributed over the life cycle of the system, and may place differing demands on different developers and users. The multidimensional performance and cost space we present can be collapsed to a single utility metric that measures the value of the system for different stakeholders. Even without a single utility function, AI advances can be generically assessed by whether they expand the Pareto surface. We label these types of costs as neglected dimensions of AI progress, and explore them using four case studies: Alpha* (Go, Chess, and other board games), ALE (Atari games), ImageNet (Image classification) and Virtual Personal Assistants (Siri, Alexa, Cortana, and Google Assistant). This broader model of progress in AI will lead to novel ways of estimating the potential societal use and impact of an AI system, and the establishment of milestones for future progress.


title: Transient spin current under a thermal switch

abstract: In this work, we explore the possibility of enhancing a spin current under a thermal switch, i.e., connecting the central transport region to two leads in individual thermal equilibrium abruptly. Using the nonequilibrium Green's function method for the transient spin current, we obtain a closed-form solution, which is applicable in the whole nonlinear quantum transport regime with a significant reduction of computational complexity. Furthermore, we perform a model calculation on a single-level quantum dot with Lorentzian linewidth. It shows that the transient spin current may vary spatially, causing spin accumulation or depletion in the central region. Moreover, general enhancement of the spin current in the transient regime is observed. In particular, the in-plane components of the transient spin current may increase by 2-3 orders of magnitude compared to the steady-state thermoelectric spin current under a temperature difference of 30 K. Our research demonstrates that ultrafast enhancement of spin currents can be effectively achieved by thermal switches.


title: $SU(3)_C\times SU(2)_L\times U(1)_Y\left( \times U(1)_X \right)$ as a symmetry of division algebraic ladder operators

abstract: We demonstrate a model which captures certain attractive features of $SU(5)$ theory, while providing a possible escape from proton decay. In this paper we show how ladder operators arise from the division algebras $\mathbb{R}$, $\mathbb{C}$, $\mathbb{H}$, and $\mathbb{O}$. From the $SU(n)$ symmetry of these ladder operators, we then demonstrate a model which has much structural similarity to Georgi and Glashow's $SU(5)$ grand unified theory. However, in this case, the transitions leading to proton decay are expected to be blocked, given that they coincide with presumably forbidden transformations which would incorrectly mix distinct algebraic actions. As a result, we find that we are left with $G_{sm} = SU(3)_C\times SU(2)_L\times U(1)_Y / \mathbb{Z}_6$. Finally, we point out that if $U(n)$ ladder symmetries are used in place of $SU(n)$, it may then be possible to find this same $G_{sm}=SU(3)_C\times SU(2)_L\times U(1)_Y / \mathbb{Z}_6$, together with an extra $U(1)_X$ symmetry, related to $B-L$.


title: Anomalous cumulative inertia in human behaviour

abstract: Human behaviour is dictated by past experiences via cumulative inertia (CI): the longer a certain behaviour has been going on, the less likely changes becomes. This is a well-known sociological phenomenon observed in employment, residence, addiction, criminal activity, wars, etc. Fundamentally, these all exhibit a growing resistance to change over time. However, quantifying the strength of this inertia is an ongoing challenge. Here we uncover anomalous cumulative inertia (ACI), ubiquitous across human behavioural patterns, with a much stronger memory dependence than previously anticipated. The behaviours undergo substantially stronger inertia, invalidating classical predictions for recovery, reconciliation, or rehabilitation times. We propose alternative models for predictions of continued anomalous behaviour, and provide means of identifying whether such behaviour is present. The result is a paradigm shift in our understanding of human activity from burstiness to inertia. Our results demonstrate how non-equilibrium models using fractional calculus aptly describe resistance to behavioural change, and produce novel predictions for e.g. rehabilitation of convicted individuals. The presence of anomalous cumulative inertia qualitatively affects the predictions which can be made for behavioural change, and thus forecasts which of these are more or less changeable. These findings are critically important for e.g. recidivism studies and public policy making, by determining more successful intervention strategies and populations where these interventions are most likely to succeed.


title: Possible Association of Two Stellar Bowshocks with Unidentified Fermi Sources

abstract: The bowshocks of runaway stars had been theoretically proposed as gamma-ray sources. However, this hypothesis has not been confirmed by observations up to date. In this paper, we present two runaway stars (Lambda Cephei and LS 2355) whose bowshocks are coincident with the unidentified Fermi gamma-ray sources 3FLG J2210.1+5925 and 3FGL J1128.7-6232, respectively. After performing a cross-correlation between different catalogues at distinct wavelengths, we found that these bowshocks are the most peculiar objects in the Fermi position ellipses. Then, we computed the inverse Compton emission and fitted the Fermi data in order to test the viability of both runaway stars as potential counterparts of the two high-energy sources. We obtained very reasonable values for the fitted parameters of both stars. We also evaluated the possibility for the source 3FGL J1128.7-6232, which is positionally coincident with an HII region, to be the result of background cosmic-rays protons interacting with the matter of the cloud, as well as the probability of a pure chance association. We conclude that the gamma rays from these Fermi sources might be produced in the bowshocks of the considered runaway stars. In such a case, these would be the first sources of this class ever detected at gamma rays.


title: Multiplex Communities and the Emergence of International Conflict

abstract: Advances in community detection reveal new insights into multiplex and multilayer networks. Less work, however, investigates the relationship between these communities and outcomes in social systems. We leverage these advances to shed light on the relationship between the cooperative mesostructure of the international system and the onset of interstate conflict. We detect communities based upon weaker signals of affinity expressed in United Nations votes and speeches, as well as stronger signals observed across multiple layers of bilateral cooperation. Communities of diplomatic affinity display an expected negative relationship with conflict onset. Ties in communities based upon observed cooperation, however, display no effect under a standard model specification and a positive relationship with conflict under an alternative specification. These results align with some extant hypotheses but also point to a paucity in our understanding of the relationship between community structure and behavioral outcomes in networks.


title: AP18-OLR Challenge: Three Tasks and Their Baselines

abstract: The third oriental language recognition (OLR) challenge AP18-OLR is introduced in this paper, including the data profile, the tasks and the evaluation principles. Following the events in the last two years, namely AP16-OLR and AP17-OLR, the challenge this year focuses on more challenging tasks, including (1) short-duration utterances, (2) confusing languages, and (3) open-set recognition. The same as the previous events, the data of AP18-OLR is also provided by SpeechOcean and the NSFC M2ASR project. Baselines based on both the i-vector model and neural networks are constructed for the participants' reference. We report the baseline results on the three tasks and demonstrate that the three tasks are truly challenging. All the data is free for participants, and the Kaldi recipes for the baselines have been published online.


title: Observation of the signatures of sub-resolution defects in two-dimensional superconductors with scanning SQUID

abstract: The diamagnetic susceptibility of a superconductor is directly related to its superfluid density. Mutual inductance is a highly sensitive method for characterizing thin films; however, in traditional mutual inductance measurements, the measured response is a non-trivial average over the area of the mutual inductance coils, which are typically of millimeter size. Here we image localized, isolated features in the diamagnetic susceptibility of {\delta}-doped SrTiO3, the 2-DES at the interface between LaAlO3 and SrTiO3, and Nb superconducting thin film systems using scanning superconducting quantum interference device susceptometry, with spatial resolution as fine as 0.7 {\mu}m. We show that these features can be modeled as locally suppressed superfluid density, with a single parameter that characterizes the strength of each feature. This method provides a systematic means of finding and quantifying submicron defects in two-dimensional superconductors.


title: The sets of Dirichlet non-improvable numbers vs well-approximable numbers

abstract: Let $\Psi :[1,\infty )\rightarrow \mathbb{R}_{+}$ be a non-decreasing function, $a_{n}(x)$ the $n$'{th} partial quotient of $x$ and $q_{n}(x)$ the denominator of the $n$'{th} convergent. The set of $\Psi $-Dirichlet non-improvable numbers \begin{equation*} G(\Psi ):=\Big\{x\in \lbrack 0,1):a_{n}(x)a_{n+1}(x)\,>\,\Psi \big(q_{n}(x) \big)\ \mathrm{for\ infinitely\ many}\ n\in \mathbb{N}\Big\}, \end{equation*} is related with the classical set of $1/q^{2}\Psi (q)$-approximable numbers $ \mathcal{K}(\Psi )$ in the sense that $\mathcal{K}(3\Psi )\subset G(\Psi )$. Both of these sets enjoy the same $s$-dimensional Hausdorff measure criterion for $s\in (0,1)$. We prove that the set $G(\Psi )\setminus \mathcal{K}(3\Psi )$ is uncountable by proving that its Hausdorff dimension is the same as that for the sets $\mathcal{K}(\Psi )$ and $G(\Psi)$. This gives an affirmative answer to a question raised by Hussain-Kleinbock-Wadleigh-Wang (2018).


title: From Classical Superposition of Waves to Quantum Interference: Three Level Quantum System for Two Entangled Photons

abstract: Properties and applications of a plasmonic cross-shaped nano-antenna is presented and compared to those of array of holes. A simple analytical model based on the superposition of waves are proposed and compared to the numerical results. A direct consequence of unequal path for two orthogonal surface waves leads to a coherent quantum interferometer with interesting properties. Mechanism behind the rotating surface charge densities and consequently, the formation of rotating resultant dipole moments is identified and the concept of Dipole-SPP-LSP-Stokes coupling is introduced. All of which leads to the most significant findings (a) foundation of a three-level quantum system for entangled photons, based on the polarization states of the transmitted light and (b) further encapsulation of the three-level quantum system into a continuous orthonormal set of pure quantum states (c) an inference on the nonexistence of spin in a single photon, hence the requirement of two photons to create such spin states.


title: Analytical solutions of the geodesic equation in the space-time of a black hole surrounded by perfect fluid in Rastall theory

abstract: In this paper, we investigate the geodesic motion of massive and massless test particles in the vicinity of a black hole space-time surrounded by perfect fluid (quintessence, dust, radiation, cosmological constant and phantom) in Rastall theory. We obtain the full set of analytical solutions of the geodesic equation of motion in the space-time of this black hole. For all cases of perfect fluid, we consider some different values of Rastall coupling constant $k\lambda$ so that the equations of motion have integer powers of $\tilde{r}$ and also can be solved analytically. These analytical solutions are presented in the form of elliptic and also hyperelliptic functions. In addition, using obtained analytical solution and also figures of effective potential and $L-E^2$ diagrams, we plot some examples of possibles orbits. moreover we use of the angular momentum, conserved energy, electrical charge and also Rastall parameter, to classify the different types of the possible gained orbits. Moreover, we show that when Rastall field structure constant becomes zero ($N=0$) our results are consistent with the analysis of a Reissner-Nordstr\"om black hole, however when both Rastall geometric parameter and electric charge vanish $(N=Q=0)$, the metric and results are same as analysis of a Schwarzschild black hole.


title: Nonlinear Kinetics on Lattices based on the Kinetic Interaction Principle

abstract: Master equations define the dynamics that govern the time evolution of various physical processes on lattices. In the continuum limit, master equations lead to Fokker-Planck partial differential equations that represent the dynamics of physical systems in continuous spaces. Over the last few decades, nonlinear Fokker-Planck equations have become very popular in condensed matter physics and in statistical physics. Numerical solutions of these equations require the use of discretization schemes. However, the discrete evolution equation obtained by the discretization of a Fokker-Planck partial differential equation depends on the specific discretization scheme. In general, the discretized form is different from the master equation that has generated the respective Fokker-Planck equation in the continuum limit. Therefore, the knowledge of the master equation associated with a given Fokker-Planck equation is extremely important for the correct numerical integration of the latter, since it provides a unique, physically motivated discretization scheme. This paper shows that the Kinetic Interaction Principle (KIP) that governs the particle kinetics of many body systems, introduced in [G. Kaniadakis, Physica A, 296, 405 (2001)], univocally defines a very simple master equation that in the continuum limit yields the nonlinear Fokker-Planck equation in its most general form.


title: Could Inelastic Interactions Induce Quantum Probabilistic Transitions?

abstract: What are quantum entities? Is the quantum domain deterministic or probabilistic? Orthodox quantum theory (OQT) fails to answer these two fundamental questions. As a result of failing to answer the first question, OQT is very seriously defective: it is imprecise, ambiguous, ad hoc, non-explanatory, inapplicable to the early universe, inapplicable to the cosmos as a whole, and such that it is inherently incapable of being unified with general relativity. It is argued that probabilism provides a very natural solution to the quantum wave/particle dilemma and promises to lead to a fully micro-realistic, testable version of quantum theory that is free of the defects of OQT. It is suggested that inelastic interactions may induce quantum probabilistic transitions.


title: Unitary Extension Principle for Nonuniform Wavelet Frames in $L^2(\mathbb{R})$

abstract: We study the construction of nonuniform tight wavelet frames for the Lebesgue space $L^2(\mathbb{R})$, where the related translation set is not necessary a group. The main purpose of this paper is to prove the unitary extension principle (UEP) and the oblique extension principle (OEP) for construction of multi-generated nonuniform tight wavelet frames for $L^2(\mathbb{R})$. Some examples are also given to illustrate the results.


title: R\'enyi entropies of generic thermodynamic macrostates in integrable systems

abstract: We study the behaviour of R\'enyi entropies in a generic thermodynamic macrostate of an integrable model. In the standard quench action approach to quench dynamics, the R\'enyi entropies may be derived from the overlaps of the initial state with Bethe eigenstates. These overlaps fix the driving term in the thermodynamic Bethe ansatz (TBA) formalism. We show that this driving term can be also reconstructed starting from the macrostate's particle densities. We then compute explicitly the stationary R\'enyi entropies after the quench from the dimer and the tilted N\'eel state in XXZ spin chains. For the former state we employ the overlap TBA approach, while for the latter we reconstruct the driving terms from the macrostate. We discuss in full details the limits that can be analytically handled and we use numerical simulations to check our results against the large time limit of the entanglement entropies.

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


title: Topologically induced transparency in a two-phase metamaterial

abstract: It is theoretically and numerically demonstrated that a mixture of two topologically distinct material phases is characterized by an anomalous "transparency window" in a spectral range wherein the individual material phases are strongly reflecting. In particular, it is shown that a metamaterial formed by a metallic wire grid embedded in a magnetized plasma may support the propagation of waves with long wavelengths, notwithstanding the components, when taken separately, completely block the electromagnetic radiation. The effect is explained in terms of the topological properties of the magnetoplasmon. Furthermore, it is highlighted that some naturally available materials may be regarded as a mixture of two topologically distinct phases, and hence may be as well characterized by a similar anomalous transparency effect.


title: Increased critical temperature $T_c$ in the ideal anisotropic boson gas

abstract: A finite thermal anisotropy, if maintained for times longer than thermal relaxation times, may have a positive effect on the critical temperature in Bose-Einstein condensation of a dilute boson gas not in thermal equilibrium or quasi-particle fermi fluid consisting of spin-compensated electron pairs. It raises the transition temperature while increasing the condensate density.


title: Fast Rigid 3D Registration Solution: A Simple Method Free of SVD and Eigen-Decomposition

abstract: A novel solution is obtained to solve the rigid 3D registration problem, motivated by previous eigen-decomposition approaches. Different from existing solvers, the proposed algorithm does not require sophisticated matrix operations e.g. singular value decomposition or eigenvalue decomposition. Instead, the optimal eigenvector of the point cross-covariance matrix can be computed within several iterations. It is also proven that the optimal rotation matrix can be directly computed for cases without need of quaternion. The simple framework provides very easy approach of integer-implementation on embedded platforms. Simulations on noise-corrupted point clouds have verified the robustness and computation speed of the proposed method. The final results indicate that the proposed algorithm is accurate, robust and owns over $60\% \sim 80\%$ less computation time than representatives. It has also been applied to real-world applications for faster relative robotic navigation.


title: A Novel Framework for Recurrent Neural Networks with Enhancing Information Processing and Transmission between Units

abstract: This paper proposes a novel framework for recurrent neural networks (RNNs) inspired by the human memory models in the field of cognitive neuroscience to enhance information processing and transmission between adjacent RNNs' units. The proposed framework for RNNs consists of three stages that is working memory, forget, and long-term store. The first stage includes taking input data into sensory memory and transferring it to working memory for preliminary treatment. And the second stage mainly focuses on proactively forgetting the secondary information rather than the primary in the working memory. And finally, we get the long-term store normally using some kind of RNN's unit. Our framework, which is generalized and simple, is evaluated on 6 datasets which fall into 3 different tasks, corresponding to text classification, image classification and language modelling. Experiments reveal that our framework can obviously improve the performance of traditional recurrent neural networks. And exploratory task shows the ability of our framework of correctly forgetting the secondary information.


title: On the Morita equivalence class of a finitely presented algebra

abstract: In this note we discuss Morita equivalence classes of arbitrary finitely presented algebras


title: DAQN: Deep Auto-encoder and Q-Network

abstract: The deep reinforcement learning method usually requires a large number of training images and executing actions to obtain sufficient results. When it is extended a real-task in the real environment with an actual robot, the method will be required more training images due to complexities or noises of the input images, and executing a lot of actions on the real robot also becomes a serious problem. Therefore, we propose an extended deep reinforcement learning method that is applied a generative model to initialize the network for reducing the number of training trials. In this paper, we used a deep q-network method as the deep reinforcement learning method and a deep auto-encoder as the generative model. We conducted experiments on three different tasks: a cart-pole game, an atari game, and a real-game with an actual robot. The proposed method trained efficiently on all tasks than the previous method, especially 2.5 times faster on a task with real environment images.


title: Squeeze-and-Excitation on Spatial and Temporal Deep Feature Space for Action Recognition

abstract: Spatial and temporal features are two key and complementary information for human action recognition. In order to make full use of the intra-frame spatial characteristics and inter-frame temporal relationships, we propose the Squeeze-and-Excitation Long-term Recurrent Convolutional Networks (SE-LRCN) for human action recognition. The Squeeze and Excitation operations are used to implement the feature recalibration. In SE-LRCN, Squeeze-and-Excitation ResNet-34 (SE-ResNet-34) network is adopted to extract spatial features to enhance the dependencies and importance of feature channels of pixel granularity. We also propose the Squeeze-and-Excitation Long Short-Term Memory (SE-LSTM) network to model the temporal relationship, and to enhance the dependencies and importance of feature channels of frame granularity. We evaluate the proposed model on two challenging benchmarks, HMDB51 and UCF101, and the proposed SE-LRCN achieves the competitive results with the state-of-the-art.


title: On an Exact Penalty Result and New Constraint Qualifications for Mathematical Programs with Vanishing Constraints

abstract: In this paper, the mathematical programs with vanishing constraints or MPVC are considered. We prove that an MPVC-tailored penalty function, introduced in [5], is still exact under a very weak and new constraint qualification. Most importantly, this constraint qualification is shown to be strictly stronger than MPVC-Abadie constraint qualification.


title: Mechanically Induced Thermal Breakdown in Magnetic Shuttle Structures

abstract: A theory of a thermally induced single-electron "shuttling" instability in a magnetic nanomechanical device subject to an external magnetic field is presented in the Coulomb blockade regime of electron transport. The model magnetic shuttle device considered comprises a movable metallic grain suspended between two magnetic leads, which are kept at different temperatures and assumed to be fully spin polarized with antiparallel magnetizations. For a given temperature difference shuttling is found to occur for a region of external magnetic fields between a lower and an upper critical field strength, which separate the shuttling regime from normal small-amplitude "vibronic" regimes. We find that (i) the upper critical magnetic field saturates to a constant value in the high temperature limit and that the shuttle instability domain expands with a decrease of the temperature, (ii) the lower critical magnetic field depends not only on the temperature independent phenomenological friction coefficient used in the model but also on intrinsic friction (which vanishes in the high temperature limit) caused by magnetic exchange forces and electron tunneling between the quantum dot and the leads. The feasibility of using thermally driven magnetic shuttle systems to harvest thermal breakdown phenomena is discussed.


title: An infinitely generated self-similar set with positive Lebesgue measure and empty interior

abstract: Peres and Solomyak asked the question: Do there exist self-similar sets with positive Lebesgue measure and empty interior? This question was answered in the affirmative by Cs\"{o}rnyei et al. They gave a parameterised family of iterated function systems for which almost all of the corresponding self-similar sets satisfied the required properties. They do not however provide an explicit example. Motivated by a desire to construct an explicit example, we in this paper provide an explicit construction of an infinitely generated self-similar set with positive Lebesgue measure and empty interior.


title: A remark on a theorem by C. Amiot

abstract: C. Amiot has classified the connected triangulated k-categories with finitely many isoclasses of indecomposables satisfying suitable hypotheses. We remark that her proof shows that these triangulated categories are determined by their underlying k-linear categories. We observe that if the connectedness assumption is dropped, the triangulated categories are still determined by their underlying k-categories together with the action of the suspension functor on the set of isoclasses of indecomposables.


title: Angular analysis of the decay B$^+$ $\to$ K$^+\mu^+\mu^-$ in proton-proton collisions at $\sqrt{s} =$ 8 TeV

abstract: The angular distribution of the flavor-changing neutral current decay B$^+$ $\to$ K$^+\mu^+\mu^-$ is studied in proton-proton collisions at a center-of-mass energy of 8 TeV. The analysis is based on data collected with the CMS detector at the LHC, corresponding to an integrated luminosity of 20.5 fb$^{-1}$. The forward-backward asymmetry $A_{\mathrm{FB}}$ of the dimuon system and the contribution $F_{\mathrm{H}}$ from the pseudoscalar, scalar, and tensor amplitudes to the decay width are measured as a function of the dimuon mass squared. The measurements are consistent with the standard model expectations.


title: Quality-Assured Synchronized Task Assignment in Crowdsourcing

abstract: With the rapid development of crowdsourcing platforms that aggregate the intelligence of Internet workers, crowdsourcing has been widely utilized to address problems that require human cognitive abilities. Considering great dynamics of worker arrival and departure, it is of vital importance to design a task assignment scheme to adaptively select the most beneficial tasks for the available workers. In this paper, in order to make the most efficient utilization of the worker labor and balance the accuracy of answers and the overall latency, we a) develop a parameter estimation model that assists in estimating worker expertise, question easiness and answer confidence; b) propose a \textit{quality-assured synchronized task assignment scheme} that executes in batches and maximizes the number of potentially completed questions (MCQ) within each batch. We prove that MCQ problem is NP-hard and present two greedy approximation solutions to address the problem. The effectiveness and efficiency of the approximation solutions are further evaluated through extensive experiments on synthetic and real datasets. The experimental results show that the accuracy and the overall latency of the MCQ approaches outperform the existing online task assignment algorithms in the synchronized task assignment scenario.


title: On Minrank and Forbidden Subgraphs

abstract: The minrank over a field $\mathbb{F}$ of a graph $G$ on the vertex set $\{1,2,\ldots,n\}$ is the minimum possible rank of a matrix $M \in \mathbb{F}^{n \times n}$ such that $M_{i,i} \neq 0$ for every $i$, and $M_{i,j}=0$ for every distinct non-adjacent vertices $i$ and $j$ in $G$. For an integer $n$, a graph $H$, and a field $\mathbb{F}$, let $g(n,H,\mathbb{F})$ denote the maximum possible minrank over $\mathbb{F}$ of an $n$-vertex graph whose complement contains no copy of $H$. In this paper we study this quantity for various graphs $H$ and fields $\mathbb{F}$. For finite fields, we prove by a probabilistic argument a general lower bound on $g(n,H,\mathbb{F})$, which yields a nearly tight bound of $\Omega(\sqrt{n}/\log n)$ for the triangle $H=K_3$. For the real field, we prove by an explicit construction that for every non-bipartite graph $H$, $g(n,H,\mathbb{R}) \geq n^\delta$ for some $\delta = \delta(H)>0$. As a by-product of this construction, we disprove a conjecture of Codenotti, Pudl\'ak, and Resta. The results are motivated by questions in information theory, circuit complexity, and geometry.


title: Pressure-induced enhancement of non-polar to polar transition temperature in metallic LiOsO$_3$

abstract: LiOsO$_3$ undergoes a continuous transition from a centrosymmetric $R\bar{3}c$ structure to a polar $R3c$ structure at $T_s=140$~K. By combining transport measurements and first-principles calculations, we find that $T_s$ is enhanced by applied pressure, and it reaches a value of $\sim$250~K at $\sim$6.5~GPa. The enhancement is due to the fact that the polar $R3c$ structure of LiOsO$_3$ has a smaller volume than the centrosymmetric $R\bar{3}c$ structure. Pressure generically favors the structure with the smallest volume, and therefore further stabilizes the polar $R3c$ structure over the $R\bar{3}c$ structure, leading to the increase in $T_s$.


title: Binary Classification with Karmic, Threshold-Quasi-Concave Metrics

abstract: Complex performance measures, beyond the popular measure of accuracy, are increasingly being used in the context of binary classification. These complex performance measures are typically not even decomposable, that is, the loss evaluated on a batch of samples cannot typically be expressed as a sum or average of losses evaluated at individual samples, which in turn requires new theoretical and methodological developments beyond standard treatments of supervised learning. In this paper, we advance this understanding of binary classification for complex performance measures by identifying two key properties: a so-called Karmic property, and a more technical threshold-quasi-concavity property, which we show is milder than existing structural assumptions imposed on performance measures. Under these properties, we show that the Bayes optimal classifier is a threshold function of the conditional probability of positive class. We then leverage this result to come up with a computationally practical plug-in classifier, via a novel threshold estimator, and further, provide a novel statistical analysis of classification error with respect to complex performance measures.


title: Driven Widom-Rowlinson lattice gas

abstract: In the Widom-Rowlinson lattice gas, two particle species (A, B) diffuse freely via particle-hole exchange, subject to both on-site exclusion and prohibition of A-B nearest-neighbor pairs. As an athermal system, the overall densities are the only control parameters. As the densities increase, an entropically driven phase transition occurs, leading to ordered states with A- and B-rich domains separated by hole-rich interfaces. Using Monte Carlo simulations, we analyze the effect of imposing a drive on this system, biasing particle moves along one direction. Our study parallels that for a driven Ising lattice gas -- the Katz-Lebowitz-Spohn (KLS) model, which displays atypical collective behavior, e.g., structure factors with discontinuity singularities and ordered states with domains only parallel to the drive. Here, other novel features emerge, including structure factors with kink singularities (best fitted to |q|), maxima at non-vanishing wavevector values, oscillating correlation functions, and ordering into multiple striped domains perpendicular to the drive, with a preferred wavelength depending on density and drive intensity. Moreover, the (hole-rich) interfaces between the domains are statistically rough (whether driven or not), in sharp contrast with those in the KLS model, in which the drive suppresses interfacial roughness. Defining a novel order parameter (to account for the emergence of multistripe states), we map out the phase diagram in the density-drive plane and present preliminary evidence for a critical phase in this driven lattice gas.


title: Categories of frame-completions and join-specifications

abstract: Given a poset $P$, a join-specification $\mathcal U$ for $P$ is a set of subsets of $P$ whose joins are all defined. The set $\mathcal I_{\mathcal U}$ of downsets closed under joins of sets in $\mathcal U$ forms a complete lattice, and is, in a sense, the free $\mathcal U$-join preserving join-completion of $P$. The main aim of this paper is to address two questions. First, given a join-specification $\mathcal U$, when is $\mathcal I_{\mathcal U}$ a frame? And second, given a poset $P$, what is the structure of its set of frame-generating join-specifications? To answer the first question we provide a number of equivalent conditions, and we use these to investigate the second. In particular, we show that the set of frame-generating join-specifications for $P$ forms a complete lattice ordered by inclusion, and we describe its meet and join operations. We do the same for the set of `maximal' such join-specifications, for a natural definition of `maximal'. We also define functors from these lattices, considered as categories, into a suitably defined category of frame-completions of $P$, and construct right adjoints for them.


title: Analysis of superresolution via 3D structured illumination intensity correlation microscopy

abstract: Intensity correlation microscopy (ICM), which is prominently known through antibunching microscopy or super-resolution optical fluctuation imaging (SOFI), provides superresolution through a correlation analysis of antibunching of independent quantum emitters or temporal fluctuations of blinking fluorophores. For correlation order $m$ the PSF in the signal is effectively taken to the $m$th power, and is thus directly shrunk by the factor $\sqrt{m}$. Combined with deconvolution a close to linear resolution improvement of factor $m$ can be obtained. Yet, analysis of high correlation orders is challenging, what limits the achievable resolutions. Here we propose to use three dimensional structured illumination along with $m$th-order correlation analysis to obtain an enhanced scaling of up to $m+m=2m$. Including the stokes shift or plasmonic sub-wavelength illumination enhancements beyond $2m$ can be achieved. Hence, resolutions far below the diffraction limit in full 3D imaging can potentially be achieved already with low correlation orders. Since ICM operates in the linear regime our approach may be particularly promising for enhancing the resolution in biological imaging at low illumination levels.


title: Streamer Blowout Coronal Mass Ejections: Their Properties and Relation to the Coronal Magnetic Field Structure

abstract: We present a comprehensive analysis of a particular class of coronal mass ejection (CME) event, called streamer-blowout CME (SBOs). The events are characterized by a gradual swelling of the overlying streamer, lasting hours to days, followed by a slow, wide CME, generally exhibiting a 3-part structure, which leaves the streamer significantly depleted in its wake. We identify 909 SBO events in the LASCO/C2 observations between 1996 and 2015. The average blowout lasts for 40.5 hours but the evacuation can take days for some events. SBO-CMEs are wider and more massive than the average CME. Their properties generally vary during and between solar cycles. Their minimum (maximum) monthly occurrence rate of one (six) events in cycle 23 has doubled in cycle 24---a probable manifestation of the weaker global fields in the current cycle. The locations of SBOs follow the tilt of the global dipole (but not from 2014 onwards), do not correlate with sunspot numbers and exhibit flux rope morphology at a much higher rate (61%) than regular CMEs (40%). We propose that these characteristics are consistent with SBOs arising from extended polarity inversion lines outside active regions (e.g. quiet sun and polar crown filaments) through the release, via reconnection, of magnetic energy, likely accumulated via differential rotation.


title: The R-Process Alliance: Discovery of the first metal-poor star with a combined r- and s-process element signature

abstract: We present a high-resolution (R~35,000), high signal-to-noise (S/N>200) Magellan/MIKE spectrum of the star RAVE J094921.8-161722, a bright (V=11.3) metal-poor red giant star with [Fe/H] = -2.2, identified as a carbon-enhanced metal-poor (CEMP) star from the RAVE survey. We report its detailed chemical abundance signature of light fusion elements and heavy neutron-capture elements. We find J0949-1617 to be a CEMP star with s-process enhancement that must have formed from gas enriched by a prior r-process event. Light neutron-capture elements follow a low-metallicity s-process pattern, while the heavier neutron-capture elements above Eu follow an r-process pattern. The Pb abundance is high, in line with an s-process origin. Thorium is also detected, as expected from an r-process origin, as Th is not produced in the s-process. We employ nucleosynthesis model predictions that take an initial r-process enhancement into account, and then determine the mass transfer of carbon and s-process material from a putative more massive companion onto the observed star. The resulting abundances agree well with the observed pattern. We conclude that J0949-1617 is the first bonafide CEMP-r+s star identified. This class of objects has previously been suggested to explain stars with neutron-capture element patterns that originate from neither the r- or s-process alone. We speculate that J0949-1617 formed in an environment similar to those of ultra-faint dwarf galaxies like Tucana III and Reticulum II, which were enriched in r-process elements by one or multiple neutron star mergers at the earliest times.a


title: Osmosis through a Semi-permeable Membrane: a Consistent Approach to Interactions

abstract: The movement of ionic solutions is an essential part of biology and technology. Fluidics, from nano- to micro- to microfluidics, is a burgeoning area of technology which is all about the movement of ionic solutions, on various scales. Many cells, tissues, and organs of animals and plants depend on osmosis, as the movement of fluids is called in biology. Indeed, the movement of fluids through channel proteins (that have a hole down their middle) is fluidics on an atomic scale. Ionic fluids are complex fluids, with energy stored in many ways. Ionic fluids flow driven by gradients of concentration, chemical and electrical potential, and hydrostatic pressure. Each flow is classically described by its own field theory, independent of the others, but of course, in reality every gradient drives every kind of flow to a varying extent. Combining field equations is tricky and so the theory of complex fluids derives the equations, rather than assumes their interactions. When field equations are derived, rather than assumed, their variables are consistent. That is to say all variables satisfy all equations under all conditions with one set of parameters. Here we treat a classical osmotic cell in this spirit, using a sharp interface method to derive boundary conditions consistent with all flows and fields. We allow volume to change with concentration, since changes of volume are a property of ionic solutions known to all who make them in the laboratory. We consider flexible and inflexible membranes. We show how to combine the energetics of the membrane with the energetics of the surrounding complex fluids. The results seem general but need application to specific situations of technological, biological and experimental importance before the consequences of consistency can be understood.


title: An analog of perfect numbers involving the unitary totient function

abstract: We shall give some results for an integer divisible by its unitary totient.


title: Quantum Transfiguration of Kruskal Black Holes

abstract: We present a new effective description of macroscopic Kruskal black holes that incorporates corrections due to quantum geometry effects of loop quantum gravity. It encompasses both the `interior' region that contains classical singularities and the `exterior' asymptotic region. Singularities are naturally resolved by the quantum geometry effects of loop quantum gravity, and the resulting quantum extension of the full Kruskal space-time is free of all the known limitations of previous investigations [1-11] of the Schwarzschild interior. We compare and contrast our results with these investigations and also with the expectations based on the AdS/CFT duality [12].


title: MRPC with eco-friendly gas

abstract: The Multigap Resistive Plate Chambers (MRPC) are used as a timing detector in several particle physics and cosmic ray experiments. The gas mixture of MRPC at current experiments is a mixture containing $\rm C_2F_4H_2$ and in some cases $\rm SF_6$. $\rm C_2F_4H_2$ and $\rm SF_6$ have a Global Warming Potential (GWP) of 1430 and 23900 respectively, therefore they are classified as greenhouse gases. The studies to reduce the amount of emission of the greenhouse gas in high energy experiments are underway; the present contribution has been performed as part of this effort. The results have been obtained from the beam test of a small MRPC which has 6 gaps of 220 $\mu$m and an sensitive area of 20 $\times$ 20 cm$^2$. It has been operated with the ecological HFO-1234ze gas ($\rm C_3F_4H_2$), and with the $\rm C_2F_4H_2/SF_6$ mixture. We have found that the ecological gas can substitute for the $\rm C_2F_4H_2$-based gas mixture without significantly compromising the current level of performance.


title: Signal and Noise Statistics Oblivious Orthogonal Matching Pursuit

abstract: Orthogonal matching pursuit (OMP) is a widely used algorithm for recovering sparse high dimensional vectors in linear regression models. The optimal performance of OMP requires \textit{a priori} knowledge of either the sparsity of regression vector or noise statistics. Both these statistics are rarely known \textit{a priori} and are very difficult to estimate. In this paper, we present a novel technique called residual ratio thresholding (RRT) to operate OMP without any \textit{a priori} knowledge of sparsity and noise statistics and establish finite sample and large sample support recovery guarantees for the same. Both analytical results and numerical simulations in real and synthetic data sets indicate that RRT has a performance comparable to OMP with \textit{a priori} knowledge of sparsity and noise statistics.


title: Some Properties and Applications of Non-trivial Divisor Functions

abstract: The $j$th divisor function $d_j$, which counts the ordered factorisations of a positive integer into $j$ positive integer factors, is a very well-known arithmetic function; in particular, $d_2(n)$ gives the number of divisors of $n$. However, the $j$th non-trivial divisor function $c_j$, which counts the ordered proper factorisations of a positive integer into $j$ factors, each of which is greater than or equal to 2, is rather less well-studied. We also consider associated divisor functions $c_j^{(r)}$, whose definition is motivated by the sum-over divisors recurrence for $d_j$. After reviewing properties of $d_j$, we study analogous properties of $c_j$ and $c_j^{(r)}$, specifically regarding their Dirichlet series and generating functions, as well as representations in terms of binomial coefficient sums and hypergeometric series. We also express their ratios as binomial coefficient sums and hypergeometric series, and find explicit Dirichlet series and Euler products in some cases. As an illustrative application of the non-trivial and associated divisor functions, we show how they can be used to count principal reversible square matrices of the type considered by Ollerenshaw and Br\'ee, and hence sum-and-distance systems of integers.


title: Viscous profiles in models of collective movements with negative diffusivities

abstract: In this paper we consider an advection-diffusion equation, in one space dimension, whose diffusivity can be negative. Such equations arise in particular in the modeling of vehicular traffic flows or crowds dynamics, where a negative diffusivity simulates aggregation phenomena. We focus on traveling-wave solutions that connect two states whose diffusivity has different signs; under some geometric conditions we prove the existence, uniqueness (in a suitable class of solutions avoiding plateaus) and sharpness of the corresponding profiles. Such results are then extended to the case of end states where the diffusivity is positive but it becomes negative in some interval between them. Also the vanishing-viscosity limit is considered. At last, we provide and discuss several examples of diffusivities that change sign and show that our conditions are satisfied for a large class of them in correspondence of real data.


title: Some notes on the robustness of k-coherence and k-entanglement

abstract: We show that two related measures of k-coherence, called the standard and generalized robustness of k-coherence, are equal to each other when restricted to pure states. As a direct application of the result, we establish an equivalence between two analogous measures of Schmidt rank k-entanglement for all pure states. This answers conjectures raised in the literature regarding the evaluation of the quantifiers, and facilitates an efficient quantification of pure-state resources by introducing computable closed-form expressions for the two measures.


title: Optical Response of Finite-Thickness Ultrathin Plasmonic Films

abstract: We discuss the optical response peculiarities for ultrathin plasmonic films of finite lateral size. Due to their plasma frequency spatial dispersion caused by the spatial confinement of the electron motion, the film dielectric permittivity tensor is spatially dispersive as well and so nonlocal. Such a confinement induced nonlocality can result in peculiar magneto-optical effects. For example, the frequency dependence of the magnetic permeability of the film exhibits a sharp resonance structure shifting to the red as the film aspect ratio increases. The properly tuned ultrathin plasmonic films of finite lateral size can feature the negative refraction effect in the IR frequency range. We discuss how to control these magneto-optical properties and show that they can be tuned by adjusting the film chemical composition, plasmonic material quality, the aspect ratio, and the surroundings of the film.


title: Experimental demonstration of topological waveguiding in elastic plates with local resonators

abstract: It is recent that the emergence of topological insulators in condensed matter physics has inspired analogous wave phenomena in mechanical systems, mostly in the setting of discrete lattice models. Here we report a numerical and experimental demonstration of topological waveguiding in a continuum plate. We take a ubiquitous design of a bolted elastic plate and show that such a design allows us to invoke the pseudo-spin Hall effect at remarkably low frequencies. We harness the complex interaction of the bolts and the plate to show the existence of a pair of double Dirac cones near the resonant frequency of the bolt. The manipulation of bolted patterns results in the opening of multiple topological bandgaps, including a complete bandgap that forbids all plate modes. We demonstrate that inside this bandgap, the interface between two topologically distinct zones can guide flexural waves crisply around sharp bends.


title: Scraping and Preprocessing Commercial Auction Data for Fraud Classification

abstract: In the last three decades, we have seen a significant increase in trading goods and services through online auctions. However, this business created an attractive environment for malicious moneymakers who can commit different types of fraud activities, such as Shill Bidding (SB). The latter is predominant across many auctions but this type of fraud is difficult to detect due to its similarity to normal bidding behaviour. The unavailability of SB datasets makes the development of SB detection and classification models burdensome. Furthermore, to implement efficient SB detection models, we should produce SB data from actual auctions of commercial sites. In this study, we first scraped a large number of eBay auctions of a popular product. After preprocessing the raw auction data, we build a high-quality SB dataset based on the most reliable SB strategies. The aim of our research is to share the preprocessed auction dataset as well as the SB training (unlabelled) dataset, thereby researchers can apply various machine learning techniques by using authentic data of auctions and fraud.


title: Properties of solutions of the "naive" functional Schroedinger equation for QCD

abstract: In this paper we consider the simplest functional Schroedinger equation of a quantum field theory (in particular QCD) and study its solutions. We observe that the solutions to this equation must possess a number of properties. Its Taylor coefficients are multivalued functions with rational and logarithmic branchings and essential singularities of exponential type. These singularities occur along a locus defined by polynomial equations. The conditions we find define a class of functions that generalizes to multiple dimensions meromorphic functions with finite Nevanlinna type. We note that in perturbation theory these functions have local asymptotics that is given by multidimensional confluent hypergeometric functions in the sense of Gelfand-Kapranov-Zelevinsky.


title: Ultra-low damping insulating magnetic thin films get perpendicular

abstract: A magnetic material combining low losses and large Perpendicular Magnetic Anisotropy (PMA) is still a missing brick in the magnonic and spintronic fields. We report here on the growth of ultrathin Bismuth doped Y$_{3}$Fe$_{5}$O$_{12}$ (BiYIG) films on Gd$_{3}$Ga$_{5}$O$_{12}$ (GGG) and substituted GGG (sGGG) (111) oriented substrates. A fine tuning of the PMA is obtained using both epitaxial strain and growth induced anisotropies. Both spontaneously in-plane and out-of-plane magnetized thin films can be elaborated. Ferromagnetic Resonance (FMR) measurements demonstrate the high dynamic quality of these BiYIG ultrathin films, PMA films with Gilbert damping values as low as 3 10$^{-4}$ and FMR linewidth of 0.3 mT at 8 GHz are achieved even for films that do not exceed 30 nm in thickness. Moreover, we measure Inverse Spin Hall Effect (ISHE) on Pt/BiYIG stacks showing that the magnetic insulator$'$s surface is transparent to spin current making it appealing for spintronic applications.


title: Topological complexity of configuration spaces of fully articulated graphs and banana graphs

abstract: In this paper we determine the topological complexity of configuration spaces of graphs which are not necessarily trees, which is a crucial assumption in previous results. We do this for two very different classes of graphs: fully articulated graphs and banana graphs. We also complete the computation in the case of trees to include configuration spaces with any number of points, extending a proof of Farber. At the end we show that an unordered configuration space on a graph does not always have the same topological complexity as the corresponding ordered configuration space (not even when they are both connected). Surprisingly, in our counterexamples the topological complexity of the unordered configuration space is in fact smaller than for the ordered one.


title: Flavourful Axion Phenomenology

abstract: We present a comprehensive discussion of the phenomenology of flavourful axions, including both standard Peccei-Quinn (PQ) axions, associated with the solution to the strong $CP$ problem, and non-standard axion-like particles (ALPs). We give the flavourful axion-fermion and axion-photon couplings and calculate the branching ratios of heavy meson ($K$, $D$, $B$) decays involving a flavourful axion. We also calculate the mixing between axions and heavy mesons $ K^0 $, $ D^0 $, $ B^0 $ and $ B_s^0 $, which affects the meson oscillation probability and mass difference. Mixing also contributes to meson decays into axions and axion decays into two photons, and may be relevant for ALPs. We discuss charged lepton flavour-violating decays involving final state axions of the form $\ell_1 \to \ell_2 a (\gamma) $, as well as $ \mu \to eee $ and $ \mu-e $ conversion. Finally we describe the phenomenology of a particular "A to Z" Pati-Salam model, in which PQ symmetry arises accidentally due to discrete flavour symmetry. Here all axion couplings are fixed by a fit to flavour data, leading to sharp predictions and correlations between flavour-dependent observables.


title: Capacity of Single-Server Single-Message Private Information Retrieval with Coded Side Information

abstract: This paper considers the problem of single-server single-message private information retrieval with coded side information (PIR-CSI). In this problem, there is a server storing a database, and a user which knows a linear combination of a subset of messages in the database as a side information. The number of messages contributing to the side information is known to the server, but the indices and the coefficients of these messages are unknown to the server. The user wishes to download a message from the server privately, i.e., without revealing which message it is requesting, while minimizing the download cost. In this work, we consider two different settings for the PIR-CSI problem depending on the demanded message being or not being one of the messages contributing to the side information. For each setting, we prove an upper bound on the maximum download rate as a function of the size of the database and the size of the side information, and propose a protocol that achieves the rate upper-bound.


title: Morse-Smale flow, Milnor metric, and dynamical zeta function

abstract: We introduce a Milnor metric on the determinant line of the cohomology of the underlying closed manifold with coefficients in a flat vector bundle, by means of interactions between the fixed points and the closed orbits of a Morse-Smale flow. This allows us to generalise the notion of the absolute value at zero point of the Ruelle dynamical zeta function, even in the case where this value is not well defined in the classical sense. We give a formula relating the Milnor metric and the Ray-Singer metric. An essential ingredient of our proof is Bismut-Zhang's Theorem.


title: Locally Interpretable Models and Effects based on Supervised Partitioning (LIME-SUP)

abstract: Supervised Machine Learning (SML) algorithms such as Gradient Boosting, Random Forest, and Neural Networks have become popular in recent years due to their increased predictive performance over traditional statistical methods. This is especially true with large data sets (millions or more observations and hundreds to thousands of predictors). However, the complexity of the SML models makes them opaque and hard to interpret without additional tools. There has been a lot of interest recently in developing global and local diagnostics for interpreting and explaining SML models. In this paper, we propose locally interpretable models and effects based on supervised partitioning (trees) referred to as LIME-SUP. This is in contrast with the KLIME approach that is based on clustering the predictor space. We describe LIME-SUP based on fitting trees to the fitted response (LIM-SUP-R) as well as the derivatives of the fitted response (LIME-SUP-D). We compare the results with KLIME and describe its advantages using simulation and real data.


title: Robust Seriation and Applications to Cancer Genomics

abstract: The seriation problem seeks to reorder a set of elements given pairwise similarity information, so that elements with higher similarity are closer in the resulting sequence. When a global ordering consistent with the similarity information exists, an exact spectral solution recovers it in the noiseless case and seriation is equivalent to the combinatorial 2-SUM problem over permutations, for which several relaxations have been derived. However, in applications such as DNA assembly, similarity values are often heavily corrupted, and the solution of 2-SUM may no longer yield an approximate serial structure on the elements. We introduce the robust seriation problem and show that it is equivalent to a modified 2-SUM problem for a class of similarity matrices modeling those observed in DNA assembly. We explore several relaxations of this modified 2-SUM problem and compare them empirically on both synthetic matrices and real DNA data. We then introduce the problem of seriation with duplications, which is a generalization of Seriation motivated by applications to cancer genome reconstruction. We propose an algorithm involving robust seriation to solve it, and present preliminary results on synthetic data sets.


title: Estimating Local Daytime Population Density from Census and Payroll Data

abstract: Daytime population density reflects where people commute and spend their waking hours. It carries significant weight as urban planners and engineers site transportation infrastructure and utilities, plan for disaster recovery, and assess urban vitality. Various methods with various drawbacks exist to estimate daytime population density across a metropolitan area, such as using census data, travel diaries, GPS traces, or publicly available payroll data. This study estimates the San Francisco Bay Area's tract-level daytime population density from US Census and LEHD LODES data. Estimated daytime densities are substantially more concentrated than corresponding nighttime population densities, reflecting regional land use patterns. We conclude with a discussion of biases, limitations, and implications of this methodology.


title: Ill-posed Estimation in High-Dimensional Models with Instrumental Variables

abstract: This paper is concerned with inference about low-dimensional components of a high-dimensional parameter vector $\beta^0$ which is identified through instrumental variables. We allow for eigenvalues of the expected outer product of included and excluded covariates, denoted by $M$, to shrink to zero as the sample size increases. We propose a novel estimator based on desparsification of an instrumental variable Lasso estimator, which is a regularized version of 2SLS with an additional correction term. This estimator converges to $\beta^0$ at a rate depending on the mapping properties of $M$ captured by a sparse link condition. Linear combinations of our estimator of $\beta^0$ are shown to be asymptotically normally distributed. Based on consistent covariance estimation, our method allows for constructing confidence intervals and statistical tests for single or low-dimensional components of $\beta^0$. In Monte-Carlo simulations we analyze the finite sample behavior of our estimator.


title: Sufficient Conditions for Idealised Models to Have No Adversarial Examples: a Theoretical and Empirical Study with Bayesian Neural Networks

abstract: We prove, under two sufficient conditions, that idealised models can have no adversarial examples. We discuss which idealised models satisfy our conditions, and show that idealised Bayesian neural networks (BNNs) satisfy these. We continue by studying near-idealised BNNs using HMC inference, demonstrating the theoretical ideas in practice. We experiment with HMC on synthetic data derived from MNIST for which we know the ground-truth image density, showing that near-perfect epistemic uncertainty correlates to density under image manifold, and that adversarial images lie off the manifold in our setting. This suggests why MC dropout, which can be seen as performing approximate inference, has been observed to be an effective defence against adversarial examples in practice; We highlight failure-cases of non-idealised BNNs relying on dropout, suggesting a new attack for dropout models and a new defence as well. Lastly, we demonstrate the defence on a cats-vs-dogs image classification task with a VGG13 variant.


title: Evidence of a first-order smectic -- hexatic transition and its proximity to tricritical point in smectic films

abstract: Experimental and theoretical studies of a smectic-hexatic transition in freely suspended films of 54COOBC compound are presented. X-ray investigations revealed a discontinuous first-order transition into the hexatic phase. Moreover, the temperature region of two phase coexistence near the phase transition point diminishes with film thickness. The coexistence width dependence on film thickness was derived on the basis of the Landau mean-field theory in the vicinity of the tricritical point (TCP). Close to TCP the surface hexatic ordering penetrates anomalously deep into the film interior.


title: A Stochastic Geometry Analysis of Energy Harvesting in Large Scale Wireless Networks

abstract: In this paper, the theoretical sustainable capacity of wireless networks with radio frequency (RF) energy harvesting is analytically studied. Specifically, we consider a large scale wireless network where base stations (BSs) and low power wireless devices are deployed by homogeneous Poisson point process (PPP) with different spatial densities. Wireless devices exploit the downlink transmissions from the BSs for either information delivery or energy harvesting. Generally, a BS schedules downlink transmission to wireless devices. The scheduled device receives the data information while other devices harvest energy from the downlink signals. The data information can be successfully received by the scheduled device only if the device has sufficient energy for data processing, i.e., the harvested energy is larger than a threshold. Given the densities of BSs and users, we apply stochastic geometry to analyze the expected number of users per cell and the successful information delivery probability of a wireless device, based on which the total network throughput can be derived. It is shown that the maximum network throughput per cell can be achieved under the optimal density of BSs. Extensive simulations validate the analysis.


title: Aperiodicity, rotational tiling spaces and topological space groups

abstract: We study the rotational structures of aperiodic tilings in Euclidean space of arbitrary dimension using topological methods. Classical topological approaches to the study of aperiodic patterns have largely concentrated just on translational structures, studying an associated space, the continuous hull, here denoted $\Omega_t$. In this article we consider two further spaces $\Omega_r$ and $\Omega_G$ (the rotational hulls) which capture the full rigid motion properties of the underlying patterns. The rotational hull $\Omega_r$ is shown to be a matchbox manifold which contains $\Omega_t$ as a sub-matchbox manifold. We develop new S-MLD invariants derived from the homotopical and cohomological properties of these spaces demonstrating their computational as well as theoretical utility. We compute these invariants for a variety of examples, including a class of 3-dimensional aperiodic patterns, as well as for the space of periodic tessellations of $\mathbb{R}^3$ by unit cubes. We show that the classical space group of symmetries of a periodic pattern may be recovered as the fundamental group of our space $\Omega_G$. Similarly, for those patterns associated to quasicrystals, the crystallographers' aperiodic space group may be recovered as a quotient of our fundamental invariant.


title: Rejection Sampling for Tempered Levy Processes

abstract: We extend the idea of tempering stable Levy processes to tempering more general classes of Levy processes. We show that the original process can be decomposed into the sum of the tempered process and an independent point process of large jumps. We then use this to set up a rejection sampling algorithm for sampling from the tempered process. A small scale simulation study is given to help understand the performance of this algorithm.


title: Optimal Clustering under Uncertainty

abstract: Classical clustering algorithms typically either lack an underlying probability framework to make them predictive or focus on parameter estimation rather than defining and minimizing a notion of error. Recent work addresses these issues by developing a probabilistic framework based on the theory of random labeled point processes and characterizing a Bayes clusterer that minimizes the number of misclustered points. The Bayes clusterer is analogous to the Bayes classifier. Whereas determining a Bayes classifier requires full knowledge of the feature-label distribution, deriving a Bayes clusterer requires full knowledge of the point process. When uncertain of the point process, one would like to find a robust clusterer that is optimal over the uncertainty, just as one may find optimal robust classifiers with uncertain feature-label distributions. Herein, we derive an optimal robust clusterer by first finding an effective random point process that incorporates all randomness within its own probabilistic structure and from which a Bayes clusterer can be derived that provides an optimal robust clusterer relative to the uncertainty. This is analogous to the use of effective class-conditional distributions in robust classification. After evaluating the performance of robust clusterers in synthetic mixtures of Gaussians models, we apply the framework to granular imaging, where we make use of the asymptotic granulometric moment theory for granular images to relate robust clustering theory to the application.


title: Hybrid Data-Sharing and Compression Strategy for Downlink Cloud Radio Access Network

abstract: This paper studies transmission strategies for the downlink of a cloud radio access network, in which the base stations are connected to a centralized cloud-computing based processor with digital fronthaul or backhaul links. We provide a system-level performance comparison of two fundamentally different strategies, namely the data-sharing strategy and the compression strategy, that differ in the way the fronthaul/backhaul is utilized. It is observed that the performance of both strategies depends crucially on the available fronthaul or backhaul capacity. When the fronthaul/backhaul capacity is low, the datasharing strategy performs better, while under moderate-to-high fronthaul/backhaul capacity, the compression strategy is superior. Using insights from such a comparison, we propose a novel hybrid strategy, combining the data-sharing and compression strategies, that allows for better control over the fronthaul/backhaul capacity utilization. An optimization framework for the hybrid strategy is proposed. Numerical evidence demonstrates the performance gain of the hybrid strategy.


title: Emotion Detection in Text: a Review

abstract: In recent years, emotion detection in text has become more popular due to its vast potential applications in marketing, political science, psychology, human-computer interaction, artificial intelligence, etc. Access to a huge amount of textual data, especially opinionated and self-expression text also played a special role to bring attention to this field. In this paper, we review the work that has been done in identifying emotion expressions in text and argue that although many techniques, methodologies, and models have been created to detect emotion in text, there are various reasons that make these methods insufficient. Although, there is an essential need to improve the design and architecture of current systems, factors such as the complexity of human emotions, and the use of implicit and metaphorical language in expressing it, lead us to think that just re-purposing standard methodologies will not be enough to capture these complexities, and it is important to pay attention to the linguistic intricacies of emotion expression.


title: Inhomogeneous Charge Distribution Across Gold Nanoclusters Measured by Scattered Low Energy Alkali Ions

abstract: The neutralization of low energy Na$^+$ and Li$^+$ ions scattered from Au nanoclusters formed by deposition onto oxide surfaces decreases as the cluster size increases. An explanation for this behavior is provided here, which is based on the notion that the atoms in the clusters are not uniformly charged, but that the edge atoms are positively charged while the center atoms are nearly neutral. This leads to upward pointing dipoles at the edge atoms that increase the neutralization probability of alkali ions scattered from those atoms. As the clusters increase in size, the number of edge atoms relative to the number of center atoms decreases, so that that the average neutralization also decreases. Calculations employing this model are compared to experimental data and indicate good agreement if the strengths of the dipoles at the edge atoms are assumed to decrease with cluster size. This model also explains differences in the neutralization probabilities of scattered Na$^+$ and Li$^+$.


title: A Geometric Approach for Real-time Monitoring of Dynamic Large Scale Graphs: AS-level graphs illustrated

abstract: The monitoring of large dynamic networks is a major chal- lenge for a wide range of application. The complexity stems from properties of the underlying graphs, in which slight local changes can lead to sizable variations of global prop- erties, e.g., under certain conditions, a single link cut that may be overlooked during monitoring can result in splitting the graph into two disconnected components. Moreover, it is often difficult to determine whether a change will propagate globally or remain local. Traditional graph theory measure such as the centrality or the assortativity of the graph are not satisfying to characterize global properties of the graph. In this paper, we tackle the problem of real-time monitoring of dynamic large scale graphs by developing a geometric approach that leverages notions of geometric curvature and recent development in graph embeddings using Ollivier-Ricci curvature [47]. We illustrate the use of our method by consid- ering the practical case of monitoring dynamic variations of global Internet using topology changes information provided by combining several BGP feeds. In particular, we use our method to detect major events and changes via the geometry of the embedding of the graph.


title: Control of Hierarchical Networks by Coupling to an External Chaotic System

abstract: We explore the behaviour of chaotic oscillators in hierarchical networks coupled to an external chaotic system whose intrinsic dynamics is dissimilar to the other oscillators in the network. Specifically, each oscillator couples to the mean-field of the oscillators below it in the hierarchy, and couples diffusively to the oscillator above it in the hierarchy. We find that coupling to one dissimilar external system manages to suppress the chaotic dynamics of all the oscillators in the network at sufficiently high coupling strength. This holds true irrespective of whether the connection to the external system is direct or indirect through oscillators at another level in the hierarchy. Investigating the synchronization properties show that the oscillators have the same steady state at a particular level of hierarchy, whereas the steady state varies across different hierarchical levels. We quantify the efficacy of control by estimating the fraction of random initial states that go to fixed points, a measure analogous to basin stability. These quantitative results indicate the easy controllability of hierarchical networks of chaotic oscillators by an external chaotic system, thereby suggesting a potent method that may help design control strategies.


title: AutoRally An open platform for aggressive autonomous driving

abstract: This article presents AutoRally, a 1$:$5 scale robotics testbed for autonomous vehicle research. AutoRally is designed for robustness, ease of use, and reproducibility, so that a team of two people with limited knowledge of mechanical engineering, electrical engineering, and computer science can construct and then operate the testbed to collect real world autonomous driving data in whatever domain they wish to study. Complete documentation to construct and operate the platform is available online along with tutorials, example controllers, and a driving dataset collected at the Georgia Tech Autonomous Racing Facility. Offline estimation algorithms are used to determine parameters for physics-based dynamics models using an adaptive limited memory joint state unscented Kalman filter. Online vehicle state estimation using a factor graph optimization scheme and a convolutional neural network for semantic segmentation of drivable surface are presented. All algorithms are tested with real world data from the fleet of six AutoRally robots at the Georgia Tech Autonomous Racing Facility tracks, and serve as a demonstration of the robot$'$s capabilities.


title: Polymorph selection during crystallization of a model colloidal fluid with a free energy landscape containing a metastable solid

abstract: The free energy landscape responsible for crystallization can be complex even for relatively simple systems like hard sphere and charged stabilized colloids. In this work, using hard-core repulsive Yukawa model, which is known to show complex phase behavior consisting of fluid, FCC and BCC phases, we studied the interplay between the free energy landscape and polymorph selection during crystallization. When the stability of the BCC phase with respect to the fluid phase is gradually increased by changing the temperature and pressure at a fixed fluid-FCC stability, the final phase formed by crystallization is found to undergo a switch from the FCC to the BCC phase, even though FCC remains thermodynamically the most stable phase. We further show that the nature of local bond-orientational order parameter fluctuations in the metastable fluid phase as well as the composition of the critical cluster depend delicately on the free energy landscape, and play a decisive role in the polymorph selection during crystallization.


title: Datacenter RPCs can be General and Fast

abstract: It is commonly believed that datacenter networking software must sacrifice generality to attain high performance. The popularity of specialized distributed systems designed specifically for niche technologies such as RDMA, lossless networks, FPGAs, and programmable switches testifies to this belief. In this paper, we show that such specialization is not necessary. eRPC is a new general-purpose remote procedure call (RPC) library that offers performance comparable to specialized systems, while running on commodity CPUs in traditional datacenter networks based on either lossy Ethernet or lossless fabrics. eRPC performs well in three key metrics: message rate for small messages; bandwidth for large messages; and scalability to a large number of nodes and CPU cores. It handles packet loss, congestion, and background request execution. In microbenchmarks, one CPU core can handle up to 10 million small RPCs per second, or send large messages at 75 Gbps. We port a production-grade implementation of Raft state machine replication to eRPC without modifying the core Raft source code. We achieve 5.5 microseconds of replication latency on lossy Ethernet, which is faster than or comparable to specialized replication systems that use programmable switches, FPGAs, or RDMA.


title: Nonlocal Neural Networks, Nonlocal Diffusion and Nonlocal Modeling

abstract: Nonlocal neural networks have been proposed and shown to be effective in several computer vision tasks, where the nonlocal operations can directly capture long-range dependencies in the feature space. In this paper, we study the nature of diffusion and damping effect of nonlocal networks by doing spectrum analysis on the weight matrices of the well-trained networks, and then propose a new formulation of the nonlocal block. The new block not only learns the nonlocal interactions but also has stable dynamics, thus allowing deeper nonlocal structures. Moreover, we interpret our formulation from the general nonlocal modeling perspective, where we make connections between the proposed nonlocal network and other nonlocal models, such as nonlocal diffusion process and Markov jump process.


title: Plasmons in ballistic nanostructures with stubs: transmission line approach

abstract: The plasma wave instabilities in ballistic Field Effect Transistors (FETs) have a promise of developing sensitive THz detectors and efficient THz sources. One of the difficulties in achieving efficient resonant plasmonic detection and generation is assuring proper boundary conditions at the contacts and at the heterointerfaces and tuning the plasma velocity. We propose using the tunable narrow channel regions of an increased width, which we call "stubs" for optimizing the boundary conditions and for controlling the plasma velocity. We developed a compact model for THz plasmonic devices using the transmission line (TL) analogy. The mathematics of the problem is similar to the mathematics of a TL with a stub. We applied this model to demonstrate that the stubs could effectively control the boundary conditions and/or the conditions at interfaces. We derived and solved the dispersion equation for the device with the stubs and showed that periodic or aperiodic systems of stubs allow for slowing down the plasma waves in a controllable manner in a wide range. Our results show that the stub designs provide a way to achieve the optimum boundary conditions and could also be used for multi finger structures - stub plasmonic crystals - yielding better performance of THz electronic detectors, modulators, mixers, frequency multipliers and sources.


title: Deep Pepper: Expert Iteration based Chess agent in the Reinforcement Learning Setting

abstract: An almost-perfect chess playing agent has been a long standing challenge in the field of Artificial Intelligence. Some of the recent advances demonstrate we are approaching that goal. In this project, we provide methods for faster training of self-play style algorithms, mathematical details of the algorithm used, various potential future directions, and discuss most of the relevant work in the area of computer chess. Deep Pepper uses embedded knowledge to accelerate the training of the chess engine over a "tabula rasa" system such as Alpha Zero. We also release our code to promote further research.


title: Mayer-Vietoris property for relative symplectic cohomology

abstract: In this paper, we construct a Hamiltonian Floer theory based invariant called relative symplectic cohomology, which assigns a module over the Novikov ring to compact subsets of closed symplectic manifolds. We show the existence of restriction maps, and prove some basic properties. Our main contribution is to identify a natural geometric situation in which relative symplectic cohomology of two subsets satisfy the Mayer-Vietoris property. This is tailored to work under certain integrability assumptions, the weakest of which introduces a new geometric object called a barrier - roughly, a one parameter family of rank 2 coisotropic submanifolds. The proof uses a deformation argument in which the topological energy zero (i.e. constant) Floer solutions are the main actors.


title: Hierarchical Attention-Based Recurrent Highway Networks for Time Series Prediction

abstract: Time series prediction has been studied in a variety of domains. However, it is still challenging to predict future series given historical observations and past exogenous data. Existing methods either fail to consider the interactions among different components of exogenous variables which may affect the prediction accuracy, or cannot model the correlations between exogenous data and target data. Besides, the inherent temporal dynamics of exogenous data are also related to the target series prediction, and thus should be considered as well. To address these issues, we propose an end-to-end deep learning model, i.e., Hierarchical attention-based Recurrent Highway Network (HRHN), which incorporates spatio-temporal feature extraction of exogenous variables and temporal dynamics modeling of target variables into a single framework. Moreover, by introducing the hierarchical attention mechanism, HRHN can adaptively select the relevant exogenous features in different semantic levels. We carry out comprehensive empirical evaluations with various methods over several datasets, and show that HRHN outperforms the state of the arts in time series prediction, especially in capturing sudden changes and sudden oscillations of time series.


title: Excessive Backlog Probabilities of Two Parallel Queues

abstract: Let $X$ be the constrained random walk on ${\mathbb Z}_+^2$ with increments $(1,0)$, $(-1,0)$, $(0,1)$ and $(0,-1)$; $X$ represents, at arrivals and service completions, the lengths of two queues working in parallel whose service and interarrival times are exponentially distributed with arrival rates $\lambda_i$ and service rates $\mu_i$, $i=1,2$; we assume $\lambda_i < \mu_i$, $i=1,2$, i.e., $X$ is assumed stable. Without loss of generality we assume $\rho_1 =\lambda_1/\mu_1 \ge \rho_2 = \lambda_2/\mu_2$. Let $\tau_n$ be the first time $X$ hits the line $\partial A_n = \{x \in {\mathbb Z}^2:x(1)+x(2) = n \}$. Let $Y$ be the same random walk as $X$ but only constrained on $\{y \in {\mathbb Z}^2: y(2)=0\}$ and its jump probabilities for the first component reversed. Let $\partial B =\{y \in {\mathbb Z}^2: y(1) = y(2) \}$ and let $\tau$ be the first time $Y$ hits $\partial B$. The probability $p_n = P_x(\tau_n < \tau_0)$ is a key performance measure of the queueing system represented by $X$ (probability of overflow of a shared buffer during system's first busy cycle). Stability of $X$ implies $p_n$ decays exponentially in $n$ when the process starts off $\partial A_n.$ We show that, for $x_n= \lfloor nx \rfloor$, $x \in {\mathbb R}_+^2$, $x(1)+x(2) \le 1$, $x(1) > 0$, $P_{(n-x_n(1),x_n(2))}( \tau < \infty)$ approximates $P_{x_n}(\tau_n < \tau_0)$ with exponentially vanishing relative error. Let $r = (\lambda_1 + \lambda_2)/(\mu_1 + \mu_2)$; for $r^2 < \rho_2$ and $\rho_1 \neq \rho_2$, we construct a class of harmonic functions from single and conjugate points on a characteristic surface of $Y$ with which $P_y(\tau < \infty)$ can be approximated with bounded relative error. For $r^2 = \rho_1 \rho_2$, we obtain $P_y(\tau < \infty) = r^{y(1)-y(2)} +\frac{r(1-r)}{r-\rho_2}\left( \rho_1^{y(1)} - r^{y(1)-y(2)} \rho_1^{y(2)}\right).$


title: Synthesis methods for reversible circuits consisting of NOT, CNOT and 2-CNOT gates (Ph.D. thesis)

abstract: In this paper, reversible circuits consisting of NOT, CNOT and 2-CNOT gates are studied. Several asymptotically optimal by the order of magnitude synthesis methods are described. Some circuit's complexity reduction approaches are considered. Implementation of discrete logarithm within a reversible circuit is discussed. The main conclusion in the paper is that the usage of additional inputs (additional memory) in reversible circuits almost always allow to reduce their complexity, depth and weight.


title: Opacity Effects on Pulsations of A-Type Stars

abstract: The effects of opacities in driving pulsations and extending the pulsation instability region for B-type stars (SPB and $\beta$ Cep variables) have recently been explored by, e.g., Walczak et al. 2015, 2017, Daszynska-Daszkiewicz et al. 2017; Moravveji 2016, and Cugier 2014. For these stars, the pulsations are driven by the opacity bump of Fe-group elements at around 200,000 K in the stellar envelope. For $\delta$ Scuti pulsations in A-type stars, pulsations are driven instead by the $\kappa$ effect in the second helium ionization region at around 50,000 K. Opacity modifications investigated for B-type stars may also have an effect on the structure of A-type stars and the instability region. Studies of the pulsation instability region for A-type stars show that other factors also influence the pulsations, for example, helium abundance and diffusive settling. Here we explore some of these effects, focusing on modeling of A-type stars. We compare results using the new LANL OPLIB vs. LLNL OPAL opacities for the AGSS09 solar abundance mixture. We comment on prospects for using BRITE observations of A-type stars to constrain opacities.


title: Some coefficient sequences related to the descent polynomial

abstract: The descent polynomial of a finite $I\subseteq \mathbb{Z}^+$ is the polynomial $d(I,n)$, for which the evaluation at $n>\max(I)$ is the number of permutations on $n$ elements, such that $I$ is the set of indices where the permutation is descending. In this paper we will prove some conjectures concerning coefficient sequences of $d(I,n)$. As a corollary we will describe some zero-free regions for the descent polynomial.


title: Fast Exact Univariate Kernel Density Estimation

abstract: This paper presents new methodology for computationally efficient kernel density estimation. It is shown that a large class of kernels allows for exact evaluation of the density estimates using simple recursions. The same methodology can be used to compute density derivative estimates exactly. Given an ordered sample the computational complexity is linear in the sample size. Combining the proposed methodology with existing approximation methods results in extremely fast density estimation. Extensive experimentation documents the effectiveness and efficiency of this approach compared with the existing state-of-the-art.


title: Radiation Transport Through Super-Eddington Stellar Winds

abstract: We present results of simulations to assess the feasibility of modeling outflows from massive stars using the Los Alamos 3-D radiation hydrodynamics code Cassio developed for inertial confinement fusion (ICF) applications. We find that a 1-D stellar envelope simulation relaxes into hydrostatic equilibrium using computing resources that would make the simulation tractable in 2-D. We summarize next steps to include more physics fidelity and model the response to a large and abrupt energy deposition at the base of the envelope.


title: Stress Test Evaluation for Natural Language Inference

abstract: Natural language inference (NLI) is the task of determining if a natural language hypothesis can be inferred from a given premise in a justifiable manner. NLI was proposed as a benchmark task for natural language understanding. Existing models perform well at standard datasets for NLI, achieving impressive results across different genres of text. However, the extent to which these models understand the semantic content of sentences is unclear. In this work, we propose an evaluation methodology consisting of automatically constructed "stress tests" that allow us to examine whether systems have the ability to make real inferential decisions. Our evaluation of six sentence-encoder models on these stress tests reveals strengths and weaknesses of these models with respect to challenging linguistic phenomena, and suggests important directions for future work in this area.


title: Exploring F-Sensitivity for Non-Autonomous Systems

abstract: We study some stronger forms of sensitivity, namely, F-sensitivity and weakly F-sensitivity for non-autonomous discrete dynamical systems. We obtain a condition under which these two forms of sensitivity are equivalent. We also justify the difference between F-sensitivity and some other stronger forms of sensitivity through examples. We explore the relation between the F-sensitivity of the non-autonomous system (X, f1;infinity) and autonomous system (X, f), where fn is a sequence of continuous functions converging uniformly to f. We also study the F-sensitivity of a non-autonomous system (X, f1;infinity), generated by a finite family of maps F = f1, f2, : : : , fk and give an example showing that such non-autonomous systems can be F-sensitive, even when none of the maps in the family F is F-sensitive.


title: Fission Dynamics of 240Pu from Saddle-to-Scission and Beyond

abstract: Calculations are presented for the time evolution of $^{240}$Pu from the proximity of the outer saddle point until the fission fragments are well separated, using the time-dependent density functional theory extended to superfluid systems. We have tested three families of nuclear energy density functionals and found that all functionals exhibit a similar dynamics: the collective motion is highly dissipative and with little trace of inertial dynamics, due to the one-body dissipation mechanism alone. This finding justifies the validity of using the overdamped collective motion approach and to some extent the main assumptions in statistical models of fission. This conclusion is robust with respect to the nuclear energy density functional used. The configurations and interactions left out of the present theory framework only increase the role of the dissipative couplings. An unexpected finding is varying the pairing strength within a quite large range has only minor effects on the dynamics. We find notable differences in the excitation energy sharing between the fission fragments in the cases of spontaneous and induced fission. With increasing initial excitation energy of the fissioning nucleus more excitation energy is deposited in the heavy fragment, in agreement with experimental data on average neutron multiplicities.


title: When photons are lying about where they have been

abstract: The past of the photon in a nested Mach-Zehnder interferometer with an inserted Dove prism is analyzed. It is argued that the Dove prism does not change the past of the photon. Alonso and Jordan correctly point out that an experiment by Danan et al. demonstrating the past of the photon in nested interferometer will show different results when the Dove prism is inserted. The reason, however, is not that the past is changed, but that the experimental demonstration becomes incorrect. The explanation of a signal from the place in which the photon was (almost) not present is given. Bohmian trajectory of the photon is specified.


title: NLP-assisted software testing: A systematic mapping of the literature

abstract: Context: To reduce manual effort of extracting test cases from natural-language requirements, many approaches based on Natural Language Processing (NLP) have been proposed in the literature. Given the large amount of approaches in this area, and since many practitioners are eager to utilize such techniques, it is important to synthesize and provide an overview of the state-of-the-art in this area. Objective: Our objective is to summarize the state-of-the-art in NLP-assisted software testing which could benefit practitioners to potentially utilize those NLP-based techniques. Moreover, this can benefit researchers in providing an overview of the research landscape. Method: To address the above need, we conducted a survey in the form of a systematic literature mapping (classification). After compiling an initial pool of 95 papers, we conducted a systematic voting, and our final pool included 67 technical papers. Results: This review paper provides an overview of the contribution types presented in the papers, types of NLP approaches used to assist software testing, types of required input requirements, and a review of tool support in this area. Some key results we have detected are: (1) only four of the 38 tools (11%) presented in the papers are available for download; (2) a larger ratio of the papers (30 of 67) provided a shallow exposure to the NLP aspects (almost no details). Conclusion: This paper would benefit both practitioners and researchers by serving as an "index" to the body of knowledge in this area. The results could help practitioners utilizing the existing NLP-based techniques; this in turn reduces the cost of test-case design and decreases the amount of human resources spent on test activities. After sharing this review with some of our industrial collaborators, initial insights show that this review can indeed be useful and beneficial to practitioners.