title: BeatCoin: Leaking Private Keys from Air-Gapped Cryptocurrency Wallets

abstract: Cryptocurrency wallets store the wallets private key(s), and hence, are a lucrative target for attackers. With possession of the private key, an attacker virtually owns all of the currency in the compromised wallet. Managing cryptocurrency wallets offline, in isolated ('air-gapped') computers, has been suggested in order to secure the private keys from theft. Such air-gapped wallets are often referred to as 'cold wallets.' In this paper, we show how private keys can be exfiltrated from air-gapped wallets. In the adversarial attack model, the attacker infiltrates the offline wallet, infecting it with malicious code. The malware can be preinstalled or pushed in during the initial installation of the wallet, or it can infect the system when removable media (e.g., USB flash drive) is inserted into the wallet's computer in order to sign a transaction. These attack vectors have repeatedly been proven feasible in the last decade (e.g., [1],[2],[3],[4],[5],[6],[7],[8],[9],[10]). Having obtained a foothold in the wallet, an attacker can utilize various air-gap covert channel techniques (bridgeware [11]) to jump the airgap and exfiltrate the wallets private keys. We evaluate various exfiltration techniques, including physical, electromagnetic, electric, magnetic, acoustic, optical, and thermal techniques. This research shows that although cold wallets provide a high degree of isolation, it is not beyond the capability of motivated attackers to compromise such wallets and steal private keys from them. We demonstrate how a 256-bit private key (e.g., bitcoin's private keys) can be exfiltrated from an offline, air-gapped wallet of a fictional character named Satoshi within a matter of seconds


title: A constrained regression model for an ordinal response with ordinal predictors

abstract: A regression model is proposed for the analysis of an ordinal response variable depending on a set of multiple covariates containing ordinal and potentially other variables. The proportional odds model (McCullagh (1980)) is used for the ordinal response, and constrained maximum likelihood estimation is used to account for the ordinality of covariates. Ordinal predictors are coded by dummy variables. The parameters associated to the categories of the ordinal predictor(s) are constrained, enforcing them to be monotonic (isotonic or antitonic). A decision rule is introduced for classifying the ordinal predictors' monotonicity directions, also providing information whether observations are compatible with both or no monotonicity direction. In addition, a monotonicity test for the parameters of any ordinal predictor is proposed. The monotonicity constrained model is proposed together with three estimation methods and compared to the unconstrained one based on simulations. The model is applied to real data explaining a 10-Points Likert scale quality of life self-assessment variable from ordinal and other predictors.


title: Comments regarding William Herschel April 1787 report of an erupting volcano on the moon: were these observations the manifestation of Impact Melt, produced by a meteorite from the Lyrid meteor shower?

abstract: We consider that the report by William Herschel on April 19 and 20, 1787, about an erupting volcano on the moon were really the observations of impact melt, produced by a meteorite from the Lyrid meteor shower. According to our investigation the probably resulting crater of this event is a lunar cold spot, with coordinates similar to those given in Herschel report, and we also argue that this impact has very young characteristics.


title: On discovery of extra four new dispersive SH-waves in magnetoelectroelastic plates

abstract: The study of this theoretical work definitely adds extra four new dispersive shear-horizontal waves propagating in the transversely isotropic piezoelectromagnetic (PEM) plates of class 6 mm. In this study, the following mechanical, electrical, and magnetic boundary conditions at both the upper and lower free surfaces of the PEM plate are exploited: the mechanically free surface, continuity of both the electrical and magnetic inductions, and continuity of both the electrical and magnetic potentials. The obtained dispersion relations were also graphically studied and compared with previous results. Some interesting peculiarities were also discussed. It is well-known that the plate waves are frequently used for nondestructive testing and evaluation of thin films, further miniaturization of different technical devices based on PEM smart materials, and constitution of new technical devices such as filters, sensors, delay lines, switches, lab-on-a-chip, etc.


title: A characterization for fractional integral and its commutators in Orlicz and generalized Orlicz-Morrey spaces on spaces of homogeneous type

abstract: In this paper, we investigate the boundedness of maximal operator and its commutators in generalized Orlicz-Morrey spaces on the spaces of homogeneous type. As an application of this boundedness, we give necessary and sufficient condition for the Adams type boundedness of fractional integral and its commutators in these spaces. We also discuss criteria for the boundedness of these operators in Orlicz spaces.


title: Unidirectional Loop Metamaterials (ULM) as Magnetless Artificial Ferrimagnetic Materials: Principles and Applications

abstract: This paper presents an overview of Unidirectional Loop Metamaterial (ULM) structures and applications. Mimicking electron spin precession in ferrites using loops with unidirectional loads (typically transistors), the ULM exhibits all the fundamental properties of ferrite materials, and represents the only existing magnetless ferrimagnetic medium. We present here an extended explanation of ULM physics and unified description of its component and system applications.


title: Seismic response of the Mars Curiosity Rover: Implications for future planetary seismology

abstract: Seismic measurements are an important tool for exploration of planetary interiors, but may not be included in missions due to perceived complexity in placement of sensitive instruments on the surface. To help address this concern, we assess the fidelity of recordings of ground motion by an instrument placed on the deck of the engineering model of the Mars Science Laboratory compared with an identical instrument placed on the ground directly beneath. Comparison of the recordings reveals clear recordings of teleseismic earthquakes on both instruments. The transfer function between the instruments demonstrates the deck instrument is affected by resonance frequencies of the lander, and does not faithfully record ground motion at these frequencies or higher. In addition, additional decoherence is observed near 1 Hz during periods of strong airflow due to air conditioning cycling. However, excellent coherence and a transfer function near 1 can be observed in the important seismic band between 2 and 30 seconds at all times and extending up to the lander resonances during the night time when air conditioning was not running. This suggests a deck-mounted seismic instrument may be able to provide valuable science return without requiring additional deployment complexity.


title: On the incorrectness of the proof of the Gibbs theorem on the entropy of a mixture of ideal gases, which was given by J. W. Gibbs

abstract: There is the Gibbs theorem in thermodynamics, according to which the entropy of the mixture of ideal gases is equal to the sum of the entropies of the components of the mixture. J. W. Gibbs proved this by a mathematical derivation from the beginnings of thermodynamics and the laws of ideal gases, in particular Dalton's law. This message shows that this proof is mathematically incorrect. It is also shown that the Gibbs theorem cannot be derived mathematically from Dalton's law.


title: Homogenization of Halide Distribution and Carrier Dynamics in Alloyed Organic-Inorganic Perovskites

abstract: Perovskite solar cells have shown remarkable efficiencies beyond 22%, through organic and inorganic cation alloying. However, the role of alkali-metal cations is not well-understood. By using synchrotron-based nano-X-ray fluorescence and complementary measurements, we show that when adding RbI and/or CsI the halide distribution becomes homogenous. This homogenization translates into long-lived charge carrier decays, spatially homogenous carrier dynamics visualized by ultrafast microscopy, as well as improved photovoltaic device performance. We find that Rb and K phase-segregate in highly concentrated aggregates. Synchrotron-based X-ray-beam-induced current and electron-beam-induced current of solar cells show that Rb clusters do not contribute to the current and are recombination active. Our findings bring light to the beneficial effects of alkali metal halides in perovskites, and point at areas of weakness in the elemental composition of these complex perovskites, paving the way to improved performance in this rapidly growing family of materials for solar cell applications.


title: On the 4-girth-thickness of the line graph of the complete graph

abstract: The $g$-girth-thickness $\theta(g,G)$ of a graph $G$ is the minimum number of planar subgraphs of girth at least $g$ whose union is $G$. In this note, we give the $4$-girth-thickness $\theta(4,L(K_n))$ of the line graph of the complete graph $L(K_n)$ when $n$ is even. We also give the minimum number of subgraphs of $L(K_n)$, which are of girth at least $4$ and embeddable on the projective plane, whose union is $L(K_n)$.


title: Partitioned Factors in Christoffel and Sturmian Words

abstract: Borel and Reutenauer (2006) showed, \emph{inter alia}, that a word $w$ of length $n>1$ is conjugate to a Christoffel word if and only if for $k=0,1, \dots , n-1$, $w$ has $k+1$ distinct circular factors of length $k$. Sturmian words are the infinite counterparts to Christoffel words, characterized as aperiodic but of minimal complexity, i.e., for all $n \in \mathbb{N}$ there are $n+1$ factors of length $n$. Berth\'{e} (1996) showed that the factors of a given length in the Sturmian case have at most three frequencies (probabilities). In this paper we extend to results on factors of both Christoffel words and Sturmian words under fixed partitionings (decompositions of factors of length $m$ into concatenations of words whose lengths are given by a composition of $m$ into $k$ components). Any factor of a Sturmian word (respectively, circular factor of a Christoffel word) thus partitioned into $k$ elements belongs to one of $k+1$ equivalence classes (varieties). We show how to compute the sizes of the equivalence classes determined by a composition in the case of Christoffel word, and show how to compute the frequencies of the classes in the case of Sturmian words. A version of the finitary case was proved in a very different context (expressed in musical and number-theoretical terms) by Clough and Myerson (1985, 1986); we use their terminology, \emph{variety} and \emph{multiplicity}.


title: Vertically constrained Motzkin-like paths inspired by bobbin lace

abstract: Inspired by a new mathematical model for bobbin lace, this paper considers finite lattice paths formed from the set of step vectors $\mathfrak{A}=$$\{\rightarrow,$ $\nearrow,$ $\searrow,$ $\uparrow,$ $\downarrow\}$ with the restriction that vertical steps $(\uparrow, \downarrow)$ cannot be consecutive. The set $\mathfrak{A}$ is the union of the well known Motzkin step vectors $\mathfrak{M}=$$\{\rightarrow,$ $\nearrow,$ $\searrow\}$ with the vertical steps $\{\uparrow, \downarrow\}$. An explicit bijection $\phi$ between the exhaustive set of vertically constrained paths formed from $\mathfrak{A}$ and a bisection of the paths generated by $\mathfrak{M}$ is presented. In a similar manner, paths with the step vectors $\mathfrak{B}=$$\{\nearrow,$ $\searrow,$ $\uparrow,$ $\downarrow\}$, the union of Dyck step vectors and constrained vertical steps, are examined. We show, using the same $\phi$ mapping, that there is a bijection between vertically constrained $\mathfrak{B}$ paths and the subset of Motzkin paths avoiding horizontal steps at even indices. Generating functions are derived to enumerate these vertically constrained, partially directed paths when restricted to the half and quarter-plane. Finally, we extend Schr\"{o}der and Delannoy step sets in a similar manner and find a bijection between these paths and a subset of Schr\"{o}der paths that are smooth (do not change direction) at a regular horizontal interval.


title: Non-equilibrium Thermodynamics of a Resistance Element

abstract: This paper describes the thermal characterization of a coaxial calculable resistor, part of traceability chain of the capacitance unit to the quantum Hall effect, in construction at Inmetro. The realization of the capacitance unit (farad) is related to the QHE by a calculable coaxial resistor, and three low-uncertainty coaxial bridges: the two-terminal and the four-terminal bridges, already in operation at Inmetro; and the quadrature bridge, in final stage of construction.


title: Looping of a long chain polymer in solution: Simple derivation for exact solution for a delta function sink

abstract: A simple analytical method for solving intra-molecular reactions of polymer chain in dilute solution is formulated. The physical problem of looping can be modeled mathematically with the use of a Smoluchowski-like equation with a Dirac delta function sink of finite strength. Here we have proposed a very simple method of solution. The solution is expressed in terms of Laplace Transform of the Green's function for end-to-end motion of the polymer in absence of the sink. We have used two different rate constants, the long term rate constant and the average rate constant. The average rate constant and long term rate constant varies with several parameters such as length of the polymer (N), bond length (b) and the relaxation time ${\tau_R}$. Our results are in agreement with that produced by more general and detailed method.


title: Identification of Potential Hazardous Events for an Unmanned Protective Vehicle

abstract: The project Automated Unmanned Protective Vehicle for Highway Hard Shoulder Road Works (aFAS) aims to develop an unmanned protective vehicle to reduce the risk of injuries due to crashes for road workers. To ensure functional safety during operation in public traffic the system shall be developed following the ISO 26262 standard. After defining the functional range in the item definition, a hazard analysis and risk assessment has to be done. The ISO 26262 standard gives hints how to process this step and demands a systematic way to identify system hazards. Best practice standards provide systematic ways for hazard identification, but lack applicability for automated vehicles due to the high variety and number of different driving situations even with a reduced functional range. This contribution proposes a new method to identify hazardous events for a system with a given functional description. The method utilizes a skill graph as a functional model of the system and an overall definition of a scene for automated vehicles to identify potential hazardous events. An adapted Hazard and Operability Analysis approach is used to identify system malfunctions. A combination of all methods results in operating scenes with potential hazardous events. These can be assessed afterwards towards their criticality. A use case example is taken from the current development phase of the project aFAS.


title: Investigating the dispersion state of alumina suspensions: contribution of Cryo-FEGSEM characterizations

abstract: We illustrate in this paper the interest of cryo scanning electron microscopy (cryo-FEGSEM) to investigate the stability of alumina suspensions. The stability is investigated through viscosity, zeta potential, total organic carbon measurements and cryo-FEGSEM observations. We focus on two examples: the effect of the quantity of ammonium polyacrylate as dispersant and the effect of its chain length on alumina particles dispersion with a solid content of 32vol%. In the first example for some suspensions we measure values of viscosity or zeta potential too similar to discriminate the best state of dispersion. To overcome this problem we directly observe the suspensions with Cryo-FEGSEM. We take advantage of the recent developments of the technique, which provide now extremely high cooling rates and ensure that the freezing step does not induce observations artifacts related to the formation of ice. This technique provides an accurate vision of particles dispersion, agglomeration in ceramic suspensions and it is possible to visualize the excess of dispersant. In the second example the longer dispersant appears to be the more effective to obtain the best state of dispersion. Through both examples, we demonstrate that to have the best interpretation of results it is useful to combine direct observations by Cryo-FEGSEM and the usual properties measurements.


title: Life, the universe, and everything - 42 fundamental questions

abstract: In The Hitchhiker's Guide to the Galaxy, by Douglas Adams, the Answer to the Ultimate Question of Life, the Universe, and Everything is found to be 42 -- but the meaning of this is left open to interpretation. We take it to mean that there are 42 fundamental questions which must be answered on the road to full enlightenment, and we attempt a first draft (or personal selection) of these ultimate questions, on topics ranging from the cosmological constant and origin of the universe to the origin of life and consciousness.


title: Longest Common Substring Made Fully Dynamic

abstract: In the longest common substring (LCS) problem, we are given two strings $S$ and $T$, each of length at most $n$, and we are asked to find a longest string occurring as a fragment of both $S$ and $T$. This is a classical and well-studied problem in computer science with a known $\mathcal{O}(n)$-time solution. In the fully dynamic version of the problem, edit operations are allowed in either of the two strings, and we are asked to report an LCS after each such operation. We present the first solution to this problem that requires sublinear time per edit operation. In particular, we show how to return an LCS in $\tilde{\mathcal{O}}(n^{2/3})$ time (or $\tilde{\mathcal{O}}(\sqrt{n})$ time if edits are allowed in only one of the two strings) after each operation using $\tilde{\mathcal{O}}(n)$ space. This line of research was recently initiated by the authors [SPIRE 2017] in a somewhat restricted dynamic variant. An $\tilde{\mathcal{O}}(n)$-sized data structure that returns an LCS of the two strings after a single edit operation (that is reverted afterwards) in $\tilde{\mathcal{O}}(1)$ time was presented. At CPM 2018, three papers studied analogously restricted dynamic variants of problems on strings. We show that our techniques can be used to obtain fully dynamic algorithms for several classical problems on strings, namely, computing the longest repeat, the longest palindrome and the longest Lyndon substring of a string. The only previously known sublinear-time dynamic algorithms for problems on strings were obtained for maintaining a dynamic collection of strings for comparison queries and for pattern matching with the most recent advances made by Gawrychowski et al. [SODA 2018] and by Clifford et al. [STACS 2018].


title: StreamBED: Training Citizen Scientists to Make Qualitative Judgments Using Embodied Virtual Reality Training

abstract: Environmental citizen science frequently relies on experience-based assessment, however volunteers are not trained to make qualitative judgments. Embodied learning in virtual reality (VR) has been explored as a way to train behavior, but has not fully been considered as a way to train judgment. This preliminary research explores embodied learning in VR through the design, evaluation, and redesign of StreamBED, a water quality monitoring training environment that teaches volunteers to make qualitative assessments by exploring, assessing and comparing virtual watersheds.


title: goSLP: Globally Optimized Superword Level Parallelism Framework

abstract: Modern microprocessors are equipped with single instruction multiple data (SIMD) or vector instruction sets which allow compilers to exploit superword level parallelism (SLP), a type of fine-grained parallelism. Current SLP auto-vectorization techniques use heuristics to discover vectorization opportunities in high-level language code. These heuristics are fragile, local and typically only present one vectorization strategy that is either accepted or rejected by a cost model. We present goSLP, a novel SLP auto-vectorization framework which solves the statement packing problem in a pairwise optimal manner. Using an integer linear programming (ILP) solver, goSLP searches the entire space of statement packing opportunities for a whole function at a time, while limiting total compilation time to a few minutes. Furthermore, goSLP optimally solves the vector permutation selection problem using dynamic programming. We implemented goSLP in the LLVM compiler infrastructure, achieving a geometric mean speedup of 7.58% on SPEC2017fp, 2.42% on SPEC2006fp and 4.07% on NAS benchmarks compared to LLVM's existing SLP auto-vectorizer.


title: Non-commutative DKP equation and pair creation in curved space-time

abstract: This study is about the application of the non-commutativity on the DKP equation up to first order in $\theta $ for the process of pair-creation of bosons from vacuum in (1+1) curved space-time. The density of particles created in the vacuum can be calculated with the help of the Bogoliubov transformations. The non-commutative density of created particles is found to decrease as $\frac{1% }{\sqrt{\theta }}\sim \Lambda _{NC},$, so that the rate of particle creation increases whenever a non-commutativity parameter is small and this corresponds to the spirit of quantum mechanics.


title: Bi-lobed Shape of Comet 67P from a Collapsed Binary

abstract: The Rosetta spacecraft observations revealed that the nucleus of comet 67P/Churyumov-Gerasimenko consists of two similarly sized lobes connected by a narrow neck. Here we evaluate the possibility that 67P is a collapsed binary. We assume that the progenitor of 67P was a binary and consider various physical mechanisms that could have brought the binary components together, including small-scale impacts and gravitational encounters with planets. We find that 67P could be a primordial body (i.e., not a collisional fragment) if the outer planetesimal disk lasted <10 Myr before it was dispersed by migrating Neptune. The probability of binary collapse by impact is 30% for tightly bound binaries. Most km-class binaries become collisionally dissolved. Roughly 10% of the surviving binaries later evolve to become contact binaries during the disk dispersal, when bodies suffer gravitational encounters to Neptune. Overall, the processes described in this work do not seem to be efficient enough to explain the large fraction (~67%) of bi-lobed cometary nuclei inferred from spacecraft imaging.


title: Inertial, corrected, primal-dual proximal splitting

abstract: We study inertial versions of primal-dual proximal splitting, also known as the Chambolle--Pock method. Our starting point is the preconditioned proximal point formulation of this method. By adding correctors corresponding to the anti-symmetric part of the relevant monotone operator, using a FISTA-style gap unrolling argument, we are able to derive gap estimates instead of merely ergodic gap estimates. Moreover, based on adding a diagonal component to this corrector, we are able to combine strong convexity based acceleration with inertial acceleration. We test our proposed method on image processing and inverse problems problems, obtaining convergence improvements for sparse Fourier inversion and Positron Emission Tomography.


title: "It was Colonel Mustard in the Study with the Candlestick": Using Artifacts to Create An Alternate Reality Game-The Unworkshop

abstract: Workshops are used for academic social networking, but connections can be superficial and result in few enduring collaborations. This unworkshop offers a novel interactive format to create deep connections, peer- learning, and produces a technology-enhanced experience. Participants will generate interactive technological artifacts before the unworkshop, which will be used together and orchestrated at the unworkshop to engage all participants in an alternate reality game set in local places at the conference.


title: Bayesian Updating and Uncertainty Quantification using Sequential Tempered MCMC with the Rank-One Modified Metropolis Algorithm

abstract: Bayesian methods are critical for quantifying the behaviors of systems. They capture our uncertainty about a system's behavior using probability distributions and update this understanding as new information becomes available. Probabilistic predictions that incorporate this uncertainty can then be made to evaluate system performance and make decisions. While Bayesian methods are very useful, they are often computationally intensive. This necessitates the development of more efficient algorithms. Here, we discuss a group of population Markov Chain Monte Carlo (MCMC) methods for Bayesian updating and system reliability assessment that we call Sequential Tempered MCMC (ST-MCMC) algorithms. These algorithms combine 1) a notion of tempering to gradually transform a population of samples from the prior to the posterior through a series of intermediate distributions, 2) importance resampling, and 3) MCMC. They are a form of Sequential Monte Carlo and include algorithms like Transitional Markov Chain Monte Carlo and Subset Simulation. We also introduce a new sampling algorithm called the Rank-One Modified Metropolis Algorithm (ROMMA), which builds upon the Modified Metropolis Algorithm used within Subset Simulation to improve performance in high dimensions. Finally, we formulate a single algorithm to solve combined Bayesian updating and reliability assessment problems to make posterior assessments of system reliability. The algorithms are then illustrated by performing prior and posterior reliability assessment of a water distribution system with unknown leaks and demands.


title: An Envelope for Davis-Yin Splitting and Strict Saddle Point Avoidance

abstract: It is known that operator splitting methods based on Forward Backward Splitting (FBS), Douglas-Rachford Splitting (DRS), and Davis-Yin Splitting (DYS) decompose a difficult optimization problems into simpler subproblems under proper convexity and smoothness assumptions. In this paper, we identify an envelope (an objective function) whose gradient descent iteration under a variable metric coincides with DYS iteration. This result generalizes the Moreau envelope for proximal-point iteration and the envelopes for FBS and DRS iterations identified by Patrinos, Stella, and Themelis. Based on the new envelope and the Stable-Center Manifold Theorem, we further show that, when FBS or DRS iterations start from random points, they avoid all strict saddle points with probability one. This results extends the similar results by Lee et al. from gradient descent to splitting methods.


title: Splitting tessellations in spherical spaces

abstract: The concept of splitting tessellations and splitting tessellation processes in spherical spaces of dimension $d\geq 2$ is introduced. Expectations, variances and covariances of spherical curvature measures induced by a splitting tessellation are studied using tools from spherical integral geometry. Also the spherical pair-correlation function of the $(d-1)$-dimensional Hausdorff measure is computed explicitly and compared to its analogue for Poisson great hypersphere tessellations. Finally, the typical cell distribution and the distribution of the typical spherical maximal face of any dimension $k\in\{1,\ldots,d-1\}$ are expressed as mixtures of the related distributions of Poisson great hypersphere tessellations. This in turn is used to determine the expected length and the precise birth time distribution of the typical maximal spherical segment of a splitting tessellation.


title: Statistical Estimation of Conditional Shannon Entropy

abstract: The new estimates of the conditional Shannon entropy are introduced in the framework of the model describing a discrete response variable depending on a vector of d factors having a density w.r.t. the Lebesgue measure in R^d. Namely, the mixed-pair model (X,Y) is considered where X and Y take values in R^d and an arbitrary finite set, respectively. Such models include, for instance, the famous logistic regression. In contrast to the well-known Kozachenko -- Leonenko estimates of unconditional entropy the proposed estimates are constructed by means of the certain spacial order statistics (or k-nearest neighbor statistics where k=k_n depends on amount of observations n) and a random number of i.i.d. observations contained in the balls of specified random radii. The asymptotic unbiasedness and L^2-consistency of the new estimates are established under simple conditions. The obtained results can be applied to the feature selection problem which is important, e.g., for medical and biological investigations.


title: Probing condensed matter physics with magnetometry based on nitrogen-vacancy centres in diamond

abstract: The magnetic fields generated by spins and currents provide a unique window into the physics of correlated-electron materials and devices. Proposed only a decade ago, magnetometry based on the electron spin of nitrogen-vacancy (NV) defects in diamond is emerging as a platform that is excellently suited for probing condensed matter systems: it can be operated from cryogenic temperatures to above room temperature, has a dynamic range spanning from DC to GHz, and allows sensor-sample distances as small as a few nanometres. As such, NV magnetometry provides access to static and dynamic magnetic and electronic phenomena with nanoscale spatial resolution. Pioneering work focused on proof-of-principle demonstrations of its nanoscale imaging resolution and magnetic field sensitivity. Now, experiments are starting to probe the correlated-electron physics of magnets and superconductors and to explore the current distributions in low-dimensional materials. In this Review, we discuss the application of NV magnetometry to the exploration of condensed matter physics, focusing on its use to study static and dynamic magnetic textures, and static and dynamic current distributions.


title: The NASA/IPAC Teacher Archive Research Program (NITARP)

abstract: NITARP, the NASA/IPAC Teacher Archive Research Program, partners small groups of predominantly high school educators with research astronomers for a year-long research project. This paper presents a summary of how NITARP works and the lessons learned over the last 13 years. The program lasts a calendar year, January to January, and involves three ~week-long trips: to the American Astronomical Society (AAS) winter meeting, to Caltech in the summer (with students), and back to a winter AAS meeting (with students) to present their results. Because NITARP has been running since 2009, and its predecessor ran from 2005-2008, there have been many lessons learned over the last 13 years that have informed the development of the program. The most critical is that scientists must see their work with the educators on their team as a partnership of equals who have specialized in different professions. NITARP teams appear to function most efficiently with approximately 5 people: a mentor astronomer, a mentor teacher (who has been through the program before), and 3 new educators. Educators are asked to step into the role of learner and develop their question-asking skills as they work to develop an understanding of a subject in which they will not have command of all the information and processes needed. Critical to the success of each team is the development of communication skills and fluid plan of action to keep the lines of communication open. This program has allowed more than 100 educators to present more than 60 total science posters at the AAS.


title: Central Limit Model Checking

abstract: We consider probabilistic model checking for continuous-time Markov chains (CTMCs) induced from Stochastic Reaction Networks (SRNs) against a fragment of Continuous Stochastic Logic (CSL) extended with reward operators. Classical numerical algorithms for CSL model checking based on uniformisation are limited to finite CTMCs and suffer from the state sapce explosion problem. On the other hand, approximate techniques such as mean-field approximations and simulations combined with statistical inference are more scalable, but can be time consuming and do not support the full expressiveness of CSL. In this paper we employ a continuous-space approximation of the CTMC in terms of a Gaussian process based on the Central Limit Approximation (CLA), also known as the Linear Noise Approximation (LNA), whose solution requires solving a number of differential equations that is quadratic in the number of species and independent of the population size. We then develop efficient and scalable approximate model checking algorithms on the resulting Gaussian process, where we restrict the target regions for probabilistic reachability to convex polytopes. This allows us to derive an abstraction in terms of a time-inhomogeneous discrete-time Markov chain (DTMC), whose dimension is independent of the number of species, on which model checking is performed. Using results from probability theory, we prove the convergence in distribution of our algorithms to the corresponding measures on the original CTMC. We implement the techniques and, on a set of examples, demonstrate that they allow us to overcome the state space explosion problem, while still correctly characterizing the stochastic behaviour of the system. Our methods can be used for formal analysis of a wide range of distributed stochastic systems, including biochemical systems, sensor networks and population protocols.


title: Proof of the Gorenstein Interval Conjecture in low socle degree

abstract: Roughly ten years ago, the following "Gorenstein Interval Conjecture" (GIC) was proposed: Whenever $(1,h_1,\dots,h_i,\dots,h_{e-i},\dots,h_{e-1},1)$ and $(1,h_1,\dots,h_i+\alpha,\dots,h_{e-i}+\alpha,\dots,h_{e-1},1)$ are both Gorenstein Hilbert functions for some $\alpha \geq 2$, then $(1,h_1,\dots,h_i+\beta,\dots,h_{e-i}+\beta,\dots,h_{e-1},1)$ is also Gorenstein, for all $\beta =1,2,\dots,\alpha -1$. Since an explicit characterization of which Hilbert functions are Gorenstein is widely believed to be hopeless, the GIC, if true, would at least provide the existence of a strong, and very natural, structural property for such basic functions in commutative algebra. Before now, very little progress was made on the GIC. The main goal of this note is to prove the case $e\le 5$, in arbitrary codimension. Our arguments will be in part constructive, and will combine several different tools of commutative algebra and classical algebraic geometry.


title: B-L Model with ${\bf S}_{3}$ Symmetry: Nearest Neighbor Interaction Textures and Broken $\mu\leftrightarrow\tau$ Symmetry

abstract: We make a scalar extension of the B-L gauge model where the ${\bf S}_{3}$ non-abelian discrete group drives mainly the Yukawa sector. Motived by the large and small hierarchies among the quark and active neutrino masses respectively, the quark and lepton families are not treated on the same footing under the assignment of the discrete group. As a consequence, the Nearest Neighbor Interactions (NNI) textures appear in the quark sector, leading to the CKM mixing matrix, whereas in the lepton sector, a soft breaking of the $\mu \leftrightarrow \tau$ symmetry in the effective neutrino mass that comes from type I see-saw mechanism, provides a non-maximal atmospheric angle and a non-zero reactor angle.


title: Authentic Research in the Classroom for Teachers and Students

abstract: With the advent of research-grade robotic telescopes (and professional archives) coupled with the wide availability of the Internet in schools, getting high-quality data in the classroom has become much easier than ever before. Robotic telescopes (and archives) have revolutionized what is possible to accomplish in the confines of a high school classroom. Especially in the context of new science standards in the US, schools need to be moving towards more project-based learning and incorporating more authentic scientific inquiry, so demand for programs such as this is only expected to grow. This contribution highlights a few of the programs that incorporate authentic research in the classroom, via teachers and/or students. I also point out some recurring themes among these programs and suggest a funnel as a way to think about the 'ecosystem' of projects getting astronomical data into the hands of teachers, students, and the public.


title: Discovery of Driving Patterns by Trajectory Segmentation

abstract: Telematics data is becoming increasingly available due to the ubiquity of devices that collect data during drives, for different purposes, such as usage based insurance (UBI), fleet management, navigation of connected vehicles, etc. Consequently, a variety of data-analytic applications have become feasible that extract valuable insights from the data. In this paper, we address the especially challenging problem of discovering behavior-based driving patterns from only externally observable phenomena (e.g. vehicle's speed). We present a trajectory segmentation approach capable of discovering driving patterns as separate segments, based on the behavior of drivers. This segmentation approach includes a novel transformation of trajectories along with a dynamic programming approach for segmentation. We apply the segmentation approach on a real-word, rich dataset of personal car trajectories provided by a major insurance company based in Columbus, Ohio. Analysis and preliminary results show the applicability of approach for finding significant driving patterns.


title: Can Eye Movement Data Be Used As Ground Truth For Word Embeddings Evaluation?

abstract: In recent years a certain success in the task of modeling lexical semantics was obtained with distributional semantic models. Nevertheless, the scientific community is still unaware what is the most reliable evaluation method for these models. Some researchers argue that the only possible gold standard could be obtained from neuro-cognitive resources that store information about human cognition. One of such resources is eye movement data on silent reading. The goal of this work is to test the hypothesis of whether such data could be used to evaluate distributional semantic models on different languages. We propose experiments with English and Russian eye movement datasets (Provo Corpus, GECO and Russian Sentence Corpus), word vectors (Skip-Gram models trained on national corpora and Web corpora) and word similarity datasets of Russian and English assessed by humans in order to find the existence of correlation between embeddings and eye movement data and test the hypothesis that this correlation is language independent. As a result, we found that the validity of the hypothesis being tested could be questioned.


title: A machine learning model for identifying cyclic alternating patterns in the sleeping brain

abstract: Electroencephalography (EEG) is a method to record the electrical signals in the brain. Recognizing the EEG patterns in the sleeping brain gives insights into the understanding of sleeping disorders. The dataset under consideration contains EEG data points associated with various physiological conditions. This study attempts to generalize the detection of particular patterns associated with the Non-Rapid Eye Movement (NREM) sleep cycle of the brain using a machine learning model. The proposed model uses additional feature engineering to incorporate sequential information for training a classifier to predict the occurrence of Cyclic Alternating Pattern (CAP) sequences in the sleep cycle, which are often associated with sleep disorders.


title: Higher Derivations of Finitary Incidence Algebras

abstract: Let $P$ be a partially ordered set, $R$ a commutative unital ring and $FI(P,R)$ the finitary incidence algebra of $P$ over $R$. We prove that each $R$-linear higher derivation of $FI(P,R)$ decomposes into the product of an inner higher derivation of $FI(P,R)$ and the higher derivation of $FI(P,R)$ induced by a higher transitive map on the set of segments of $P$.


title: Mass concentration and characterization of finite time blow-up solutions for the nonlinear Schr\"odinger equation with inverse-square potential

abstract: We consider the $L^2$-critical NLS with inverse-square potential $$ i \partial_t u +\Delta u + c|x|^{-2} u = -|u|^{\frac{4}{d}} u, \quad u(0) = u_0, \quad (t,x) \in \mathbb{R}^+ \times \mathbb{R}^d, $$ where $d\geq 3$ and $c\ne 0$ satisfies $c<\lambda(d) := \left(\frac{d-2}{2}\right)^2$. Using a refined compactness lemma, we extend the mass concentration of finite time blow-up solutions established in the attractive case by the first author in [Bensouilah] to $c<\lambda(d)$. By means of a simple and short limiting profile theorem, we get the same classification result obtained by Csobo and Genoud in [CsoboGenoud] for $0<c<\lambda(d)$. It also enables us to extend the classification to $c<\lambda(d)$.


title: The Phone Walkers: A study of human dependence on inactive mobile devices

abstract: The development of mobile phones has largely increased human interactions. Whilst the use of these devices for communication has received significant attention, there has been little analysis of more passive interactions. Through census data on casual social groups, this work suggests a clear pattern of mobile phones being carried in people's hands, without the person using it (that is, not looking at it). Moreover, this study suggests that when individuals join members of the opposite sex there is a clear tendency to stop holding mobile phones whilst walking. Although it is not clear why people hold their phones whilst walking in such large proportions (38% of solitary women, and 31% of solitary men), we highlight several possible explanation for holding the device, including the need to advertise status and affluence, to maintain immediate connection with friends and family, and to mitigate feelings related to anxiety and security.


title: Space rocks and optimising scanning electron channelling contrast

abstract: Forescatter electron imaging is a popular microscopy technique, especially for scanning electron microscopes equipped with an electron backscatter diffraction detector. In principal, this method enables qualitative imaging of microstructure but quantitative assessment can be limited due to limited information about the contrast afforded. In this work, we explore forescatter electron imaging and demonstrate that imaging can be optimised for topographic, phase, and subtle orientation contrast imaging through appropriate sample and detector positioning. We demonstrate the relationship between imaging modes using systematic variation in detector positioning and compare this with pseudo-forescatter electron images, obtained from image analysis of diffraction patterns, to explore and confirm image contrast modes. We demonstrate these contrast mechanisms on a map obtained from a sample of the Gibeon meteorite.


title: $\mathcal{H}_2$ Pseudo-Optimal Reduction of Structured DAEs by Rational Interpolation

abstract: In this contribution, we extend the concept of $\mathcal{H}_2$ inner product and $\mathcal{H}_2$ pseudo-optimality to dynamical systems modeled by differential-algebraic equations (DAEs). To this end, we derive projected Sylvester equations that characterize the $\mathcal{H}_2$ inner product in terms of the matrices of the DAE realization. Using this result, we extend the $\mathcal{H}_2$ pseudo-optimal rational Krylov algorithm for ordinary differential equations to the DAE case. This algorithm computes the globally optimal reduced-order model for a given subspace of $\mathcal{H}_2$ defined by poles and input residual directions. Necessary and sufficient conditions for $\mathcal{H}_2$ pseudo-optimality are derived using the new formulation of the $\mathcal{H}_2$ inner product in terms of tangential interpolation conditions. Based on these conditions, the cumulative reduction procedure combined with the adaptive rational Krylov algorithm, known as CUREd SPARK, is extended to DAEs. Important properties of this procedure are that it guarantees stability preservation and adaptively selects interpolation frequencies and reduced order. Numerical examples are used to illustrate the theoretical discussion. Even though the results apply in theory to general DAEs, special structures will be exploited for numerically efficient implementations.


title: Detecting Syntactic Features of Translated Chinese

abstract: We present a machine learning approach to distinguish texts translated to Chinese (by humans) from texts originally written in Chinese, with a focus on a wide range of syntactic features. Using Support Vector Machines (SVMs) as classifier on a genre-balanced corpus in translation studies of Chinese, we find that constituent parse trees and dependency triples as features without lexical information perform very well on the task, with an F-measure above 90%, close to the results of lexical n-gram features, without the risk of learning topic information rather than translation features. Thus, we claim syntactic features alone can accurately distinguish translated from original Chinese. Translated Chinese exhibits an increased use of determiners, subject position pronouns, NP + 'de' as NP modifiers, multiple NPs or VPs conjoined by a Chinese specific punctuation, among other structures. We also interpret the syntactic features with reference to previous translation studies in Chinese, particularly the usage of pronouns.


title: Siamese Generative Adversarial Privatizer for Biometric Data

abstract: State-of-the-art machine learning algorithms can be fooled by carefully crafted adversarial examples. As such, adversarial examples present a concrete problem in AI safety. In this work we turn the tables and ask the following question: can we harness the power of adversarial examples to prevent malicious adversaries from learning identifying information from data while allowing non-malicious entities to benefit from the utility of the same data? For instance, can we use adversarial examples to anonymize biometric dataset of faces while retaining usefulness of this data for other purposes, such as emotion recognition? To address this question, we propose a simple yet effective method, called Siamese Generative Adversarial Privatizer (SGAP), that exploits the properties of a Siamese neural network to find discriminative features that convey identifying information. When coupled with a generative model, our approach is able to correctly locate and disguise identifying information, while minimally reducing the utility of the privatized dataset. Extensive evaluation on a biometric dataset of fingerprints and cartoon faces confirms usefulness of our simple yet effective method.


title: Switchable Temporal Propagation Network

abstract: Videos contain highly redundant information between frames. Such redundancy has been extensively studied in video compression and encoding, but is less explored for more advanced video processing. In this paper, we propose a learnable unified framework for propagating a variety of visual properties of video images, including but not limited to color, high dynamic range (HDR), and segmentation information, where the properties are available for only a few key-frames. Our approach is based on a temporal propagation network (TPN), which models the transition-related affinity between a pair of frames in a purely data-driven manner. We theoretically prove two essential factors for TPN: (a) by regularizing the global transformation matrix as orthogonal, the "style energy" of the property can be well preserved during propagation; (b) such regularization can be achieved by the proposed switchable TPN with bi-directional training on pairs of frames. We apply the switchable TPN to three tasks: colorizing a gray-scale video based on a few color key-frames, generating an HDR video from a low dynamic range (LDR) video and a few HDR frames, and propagating a segmentation mask from the first frame in videos. Experimental results show that our approach is significantly more accurate and efficient than the state-of-the-art methods.


title: Analyzing and Characterizing User Intent in Information-seeking Conversations

abstract: Understanding and characterizing how people interact in information-seeking conversations is crucial in developing conversational search systems. In this paper, we introduce a new dataset designed for this purpose and use it to analyze information-seeking conversations by user intent distribution, co-occurrence, and flow patterns. The MSDialog dataset is a labeled dialog dataset of question answering (QA) interactions between information seekers and providers from an online forum on Microsoft products. The dataset contains more than 2,000 multi-turn QA dialogs with 10,000 utterances that are annotated with user intent on the utterance level. Annotations were done using crowdsourcing. With MSDialog, we find some highly recurring patterns in user intent during an information-seeking process. They could be useful for designing conversational search systems. We will make our dataset freely available to encourage exploration of information-seeking conversation models.


title: Randomization Tests to Assess Covariate Balance When Designing and Analyzing Matched Datasets

abstract: Causal analyses for observational studies are often complicated by covariate imbalances among treatment groups, and matching methodologies alleviate this complication by finding subsets of treatment groups that exhibit covariate balance. It is widely agreed upon that covariate balance can serve as evidence that a matched dataset approximates a randomized experiment, but what kind of experiment does a matched dataset approximate? In this work, we develop a randomization test for the hypothesis that a matched dataset approximates a particular experimental design, such as complete randomization, block randomization, or rerandomization. Our test can incorporate any experimental design, and it allows for a graphical display that puts several designs on the same univariate scale, thereby allowing researchers to pinpoint which design -- if any -- is most appropriate for a matched dataset. After researchers determine a plausible design, we recommend a randomization-based approach for analyzing the matched data, which can incorporate any design and treatment effect estimator. Through simulation, we find that our test can frequently detect violations of randomized assignment that harm inferential results. Furthermore, through simulation and a real application in political science, we find that matched datasets with high levels of covariate balance tend to approximate balance-constrained designs like rerandomization, and analyzing them as such can lead to precise causal analyses. However, assuming a precise design should be proceeded with caution, because it can harm inferential results if there are still substantial biases due to remaining imbalances after matching. Our approach is implemented in the randChecks R package, available on CRAN.


title: Remarks on global dimensions of fusion categories

abstract: We give a nontrivial lower bound for global dimension of a spherical fusion category.


title: Spectral approximation of convolution operator

abstract: We develop a unified framework for constructing matrix approximations to the convolution operator of Volterra type defined by functions that are approximated using classical orthogonal polynomials on $[-1, 1]$. The numerically stable algorithms we propose exploit recurrence relations and symmetric properties satisfied by the entries of these convolution matrices. Laguerre-based convolution matrices that approximate Volterra convolution operator defined by functions on $[0, \infty]$ are also discussed for the sake of completeness.


title: Complex multiplication and Brauer groups of K3 surfaces

abstract: We study K3 surfaces with complex multiplication following the classical work of Shimura on CM abelian varieties. After we translate the problem in terms of the arithmetic of the CM field and its id\`{e}les, we proceed to study some abelian extensions that arise naturally in this context. We then make use of our computations to determine the fields of moduli of K3 surfaces with CM and to classify their Brauer groups. More specifically, we provide an algorithm that given a number field $K$ and a CM number field $E$, returns a finite lists of groups which contains $\mathrm{Br}(\overline{X})^{G_K}$ for any K3 surface $X/K$ that has CM by the ring of integers of $E$. We run our algorithm when $E$ is a quadratic imaginary field (a condition that translates into $X$ having maximal Picard rank) generalizing similar computations already appearing in the literature.


title: Asymptotic Floquet states of a periodically driven spin-boson system in the nonperturbative coupling regime

abstract: As a paradigmatic model of open quantum system, the spin-boson model is widely used in theoretical and experimental investigations. Beyond the weak coupling limit, the spin dynamics can be described by a time-nonlocal generalized master equation with a memory kernel accounting for the dissipative effects induced by the bosonic environment. When the spin is additionally modulated by an external time-periodic electromagnetic field, the interplay between dissipation and modulations yields a spectrum of nontrivial asymptotic states, especially in the regime of nonlinear response. Here we implement a method for the evaluation of Floquet dynamics in non-Markovian systems [L. Magazz\`u et al., Phys. Rev. A 96, 042103 (2017)] to find these strongly non-equilibrium states.


title: Low-frequency vibrational modes of stable glasses

abstract: We numerically study the evolution of the vibrational density of states $D(\omega)$ of zero-temperature glasses when their kinetic stability is varied over an extremely broad range, ranging from poorly annealed glasses obtained by instantaneous quenches from above the onset temperature, to ultrastable glasses obtained by quenching systems thermalised below the experimental glass temperature. The low-frequency part of the density of states splits between extended and quasi-localized modes. Extended modes exhibit a boson peak crossing over to Debye behaviour ($D(\omega) \sim \omega^2$) at low-frequency, with a strong correlation between the two regimes. Quasi-localized modes instead obey $D(\omega) \sim \omega^4$, irrespective of the glass stability. However, the prefactor of this quartic law becomes smaller in more stable glasses, and the corresponding modes become more localized and sparser. Our work is the first numerical observation of quasi-localized modes in a regime relevant to experiments, and it establishes a direct connection between glass stability and soft vibrational motion in amorphous solids.


title: Real-Time Stochastic Predictive Control for Hybrid Vehicle Energy Management

abstract: This work presents three computational methods for real time energy management in a hybrid hydraulic vehicle (HHV) when driver behavior and vehicle route are not known in advance. These methods, implemented in a receding horizon control (aka model predictive control) framework, are rather general and can be applied to systems with nonlinear dynamics subject to a Markov disturbance. State and input constraints are considered in each method. A mechanism based on the steady state distribution of the underlying Markov chain is developed for planning beyond a finite horizon in the HHV energy management problem. Road elevation information is forecasted along the horizon and then merged with the statistical model of driver behavior to increase accuracy of the horizon optimization. The characteristics of each strategy are compared and the benefit of learning driver behavior is analyzed through simulation on three drive cycles, including one real world drive cycle. A simulation is designed to explicitly demonstrate the benefit of adapting the Markov chain to real time driver behavior. Experimental results demonstrate the real time potential of the primary algorithm when implemented on a processor with limited computational resources.


title: Acylindrically hyperbolic groups with exotic properties

abstract: We prove that every countable family of countable acylindrically hyperbolic groups has a common finitely generated acylindrically hyperbolic quotient. As an application, we obtain an acylindrically hyperbolic group $Q$ with strong fixed point properties: $Q$ has property $FL^p$ for all $p\in [1, +\infty)$, and every action of $Q$ on a finite dimensional contractible topological space has a fixed point. In addition, $Q$ has other properties which are rather unusual for groups exhibiting "hyperbolic-like" behaviour. E.g., $Q$ is not uniformly non-amenable and has finite generating sets with arbitrary large balls consisting of torsion elements.


title: Towards Robotic Feeding: Role of Haptics in Fork-based Food Manipulation

abstract: Autonomous feeding is challenging because it requires manipulation of food items with various compliance, sizes, and shapes. To understand how humans manipulate food items during feeding and to explore ways to adapt their strategies to robots, we collected a rich dataset of human trajectories by asking them to pick up food and feed it to a mannequin. From the analysis of the collected haptic and motion signals, we demonstrate that humans adapt their control policies to accommodate to the compliance and shape of the food item being acquired. We propose a taxonomy of manipulation strategies for feeding to highlight such policies. As a first step to generate compliance-dependent policies, we propose a set of classifiers for compliance-based food categorization from haptic and motion signals. We compare these human manipulation strategies with fixed position-control policies via a robot. Our analysis of success and failure cases of human and robot policies further highlights the importance of adapting the policy to the compliance of a food item.


title: Misfit strain-induced buckling for transition-metal dichalcogenide lateral heterostructures: a molecular dynamics study

abstract: Molecular dynamics simulations are performed to investigate the misfit strain-induced buckling of the transition-metal dichalcogenide (TMD) lateral heterostructures, denoted by the seamless epitaxial growth of different TMDs along the in-plane direction. The Stillinger-Weber potential is utilized to describe both the interaction for each TMD and the coupling between different TMDs, i.e., MX2 (with M=Mo, W and X=S, Se, Te). It is found that the misfit strain can induce strong buckling of the free-standing TMD lateral heterostructures of large area, resulting from the TMDs' atomic-thick nature. The buckling phenomenon occurs in a variety of TMD lateral heterostructures of different compositions and in various patterns. Our findings raise a fundamental mechanical challenge for the structural stability of the free-standing TMD lateral heterostructures.


title: Modulation Sensitive Search for Non-Virialized Dark-Matter Axions

abstract: Non-virialized dark-matter axions may be present in the Milky Way halo in the form of low-velocity-dispersion flows. The Axion Dark Matter eXperiment performed a search for the conversion of these axions into microwave photons using a resonant cavity immersed in a strong, static magnetic field. The spread of photon energy in these measurements was measured at spectral resolutions of the order of 1 Hz and below. If the energy variation were this small, the frequency modulation of any real axion signal due to the orbital and rotational motion of the Earth would become non-negligible. Conservative estimates of the expected signal modulation were made and used as a guide for the search procedure. The photon frequencies covered by this search are 812$-$852 and 858$-$892 MHz, which correspond to an axion mass of 3.36$-$3.52 and 3.55$-$3.69 {\mu}eV. No axion signal was found, and limits were placed on the maximum local density of non-virialized axions of these masses.


title: A Call for Clarity in Reporting BLEU Scores

abstract: The field of machine translation faces an under-recognized problem because of inconsistency in the reporting of scores from its dominant metric. Although people refer to "the" BLEU score, BLEU is in fact a parameterized metric whose values can vary wildly with changes to these parameters. These parameters are often not reported or are hard to find, and consequently, BLEU scores between papers cannot be directly compared. I quantify this variation, finding differences as high as 1.8 between commonly used configurations. The main culprit is different tokenization and normalization schemes applied to the reference. Pointing to the success of the parsing community, I suggest machine translation researchers settle upon the BLEU scheme used by the annual Conference on Machine Translation (WMT), which does not allow for user-supplied reference processing, and provide a new tool, SacreBLEU, to facilitate this.


title: Unique flow features of the silent southern Boobook owl wake during flapping flight

abstract: The mechanisms associated with an owls ability to fly silently have been the subject of scientific interest for many decades and a source of inspiration in the context of reducing noise in both flapping and non-flapping flight. Here, we characterize the near wake dynamics and associated flow structures that are produced by flying owls. The goal is to shed light on unique flow features that result from the owls wing morphology and its motion during forward flapping flight. We study the wake of the southern boobook owl (Ninox boobook); a mid-sized owl, which shares the common feature of stealthy flight. Three individual owls were flown, separately, in a climatic avian wind tunnel at their comfortable speed. The velocity field in the wake was sampled using long-duration highspeed Particle Image Velocimetry (PIV) while the wings kinematics were imaged simultaneously using high speed video. The time series of velocity maps that were acquired over several consecutive wingbeat cycles enable us to characterize the wake patterns and associate them with the various phases of the wingbeat cycle. Results reveal that the owls wake is significantly different compared with other birds (western sandpiper, Calidris mauri; European starling, Strunus vulgaris). The near wake of the owl did not exhibit any apparent shedding of organized vortices. Instead, a more chaotic wake pattern is observed, in which the characteristic scales of vorticity (associated with turbulence) are substantially smaller in comparison to other birds. Estimating the pressure field developed in the wake depicts that the owl reduces the pressure to approximately zero. It is therefore conjectured that owls manipulate the near wake to suppress the aeroacoustic signal by controlling the size of vortices generated in its wake, which are associated with noise reduction through suppression of the pressure field


title: Rapid behavioral transitions produce chaotic mixing by a planktonic microswimmer

abstract: Despite their vast morphological diversity, many invertebrates have similar larval forms characterized by ciliary bands, innervated arrays of beating cilia that facilitate swimming and feeding. Hydrodynamics suggests that these bands should tightly constrain the behavioral strategies available to the larvae; however, their apparent ubiquity suggests that these bands also confer substantial adaptive advantages. Here, we use hydrodynamic techniques to investigate "blinking," an unusual behavioral phenomenon observed in many invertebrate larvae in which ciliary bands across the body rapidly change beating direction and produce transient rearrangement of the local flow field. Using a general theoretical model combined with quantitative experiments on starfish larvae, we find that the natural rhythm of larval blinking is hydrodynamically optimal for inducing strong mixing of the local fluid environment due to transient streamline crossing, thereby maximizing the larvae's overall feeding rate. Our results are consistent with previous hypotheses that filter feeding organisms may use chaotic mixing dynamics to overcome circulation constraints in viscous environments, and it suggests physical underpinnings for complex neurally-driven behaviors in early-divergent animals.

categories: physics.flu-dyn cond-mat.soft physics.bio-ph q-bio.CB


title: Neural-Brane: Neural Bayesian Personalized Ranking for Attributed Network Embedding

abstract: Network embedding methodologies, which learn a distributed vector representation for each vertex in a network, have attracted considerable interest in recent years. Existing works have demonstrated that vertex representation learned through an embedding method provides superior performance in many real-world applications, such as node classification, link prediction, and community detection. However, most of the existing methods for network embedding only utilize topological information of a vertex, ignoring a rich set of nodal attributes (such as, user profiles of an online social network, or textual contents of a citation network), which is abundant in all real-life networks. A joint network embedding that takes into account both attributional and relational information entails a complete network information and could further enrich the learned vector representations. In this work, we present Neural-Brane, a novel Neural Bayesian Personalized Ranking based Attributed Network Embedding. For a given network, Neural-Brane extracts latent feature representation of its vertices using a designed neural network model that unifies network topological information and nodal attributes; Besides, it utilizes Bayesian personalized ranking objective, which exploits the proximity ordering between a similar node-pair and a dissimilar node-pair. We evaluate the quality of vertex embedding produced by Neural-Brane by solving the node classification and clustering tasks on four real-world datasets. Experimental results demonstrate the superiority of our proposed method over the state-of-the-art existing methods.


title: New charm resonances and $J/\psi$ interactions in a hadron gas

abstract: In relativistic heavy ion collisions, after the quark gluon plasma (QGP) phase there is a hadron gas (HG) phase. In both phases $J/\psi$ may be formed and destroyed. In this note we study the $J/\psi$ interactions with other mesons in the hadron gas phase. Making use of effective field Lagrangians we obtain the cross sections for the production and absorption processes. With respect to the existing calculations, the improvements introduced here are the inclusion of $K$ and $K^*$'s in the effective Lagrangian approach and the inclusion of processes involving the new exotic charmonium states $Z_c(3900)$ and $Z_c(4025)$. We conclude that the interactions between $J/\psi$ and all the considered mesons reduce the original $J/\psi$ abundance ( determined at the end of the quark gluon plasma phase ) by 20 \% and 24 \% in RHIC and LHC collisions respectively. Consequently, any really significant change in the $J/\psi$ abundance comes from dissociation and regeneration processes in the QGP phase.


title: Enhanced group classification of nonlinear diffusion-reaction equations with gradient-dependent diffusion

abstract: We carry out the enhanced group classification of a class of (1+1)-dimensional nonlinear diffusion-reaction equations with gradient-dependent diffusivity using the two-step version of the method of furcate splitting. For simultaneously finding the equivalence groups of an unnormalized class of differential equations and a collection of its subclasses, we suggest an optimized version of the direct method. The optimization includes the preliminary study of admissible transformations within the entire class and the successive splitting of the corresponding determining equations with respect to arbitrary elements and their derivatives depending on auxiliary constraints associated with each of required subclasses. In the course of applying the suggested technique to subclasses of the class under consideration, we construct, for the first time, a nontrivial example of finite-dimensional effective generalized equivalence group. Using the method of Lie reduction and the generalized separation of variables, exact solutions of some equations under consideration are found.


title: Fundamentals of spreading processes in single and multilayer complex networks

abstract: Spreading processes have been largely studied in the literature, both analytically and by means of large-scale numerical simulations. These processes mainly include the propagation of diseases, rumors and information on top of a given population. In the last two decades, with the advent of modern network science, we have witnessed significant advances in this field of research. Here we review the main theoretical and numerical methods developed for the study of spreading processes on complex networked systems. Specifically, we formally define epidemic processes on single and multilayer networks and discuss in detail the main methods used to perform numerical simulations. Throughout the review, we classify spreading processes (disease and rumor models) into two classes according to the nature of time: (i) continuous-time and (ii) cellular automata approach, where the second one can be further divided into synchronous and asynchronous updating schemes. Our revision includes the heterogeneous mean-field, the quenched-mean field, and the pair quenched mean field approaches, as well as their respective simulation techniques, emphasizing similarities and differences among the different techniques. The content presented here offers a whole suite of methods to study epidemic-like processes in complex networks, both for researchers without previous experience in the subject and for experts.


title: Query-Efficient Black-Box Attack Against Sequence-Based Malware Classifiers

abstract: In this paper, we present a generic, query-efficient black-box attack against API call-based machine learning malware classifiers. We generate adversarial examples by modifying the malware's API call sequences and non-sequential features (printable strings), and these adversarial examples will be misclassified by the target malware classifier without affecting the malware's functionality. In contrast to previous studies, our attack minimizes the number of malware classifier queries required. In addition, in our attack, the attacker must only know the class predicted by the malware classifier; attacker knowledge of the malware classifier's confidence score is optional. We evaluate the attack effectiveness when attacks are performed against a variety of malware classifier architectures, including recurrent neural network (RNN) variants, deep neural networks, support vector machines, and gradient boosted decision trees. Our attack success rate is around 98% when the classifier's confidence score is known and 64% when just the classifier's predicted class is known. We implement four state-of-the-art query-efficient attacks and show that our attack requires fewer queries and less knowledge about the attacked model's architecture than other existing query-efficient attacks, making it practical for attacking cloud-based malware classifiers at a minimal cost.


title: Elliptic stable envelope for Hilbert scheme of points in the plane

abstract: We find an explicit formula for the elliptic stable envelope in the case of the Hilbert scheme of points on a complex plane. The formula has a structure of a sum over trees in Young diagrams. In the limit we obtain the formulas for the stable envelope in equivariant $K$-theory (with arbitrary slope) and equivariant cohomology.


title: Giant magnetic response of a two-dimensional antiferromagnet

abstract: A fundamental difference between antiferromagnets and ferromagnets is the lack of linear coupling to a uniform magnetic field due to the staggered order parameter. Such coupling is possible via the Dzyaloshinskii-Moriya (DM) interaction but at the expense of reduced antiferromagnetic (AFM) susceptibility due to the canting-induced spin anisotropy. We solve this long-standing problem with a top-down approach that utilizes spin-orbit coupling in the presence of a hidden SU(2) symmetry. We demonstrate giant AFM responses to sub-Tesla external fields by exploiting the extremely strong two-dimensional critical fluctuations preserved under a symmetry-invariant exchange anisotropy, which is built into a square-lattice artificially synthesized as a superlattice of SrIrO3 and SrTiO3. The observed field-induced logarithmic increase of the ordering temperature enables highly efficient control of the AFM order. As antiferromagnets promise to afford switching speed and storage security far beyond ferromagnets, our symmetry-invariant approach unleashes the great potential of functional antiferromagnets.


title: COBAIN: generalized 3D radiative transfer code for contact binary atmospheres

abstract: Contact binary stars have been known to have a peculiar and somewhat mysterious hydro- and thermodynamical structure since their discovery, which directly affects the radiation distribution in their atmospheres. Over the past several decades, however, observational data of contact binaries have been modeled through a simplified approach, involving the artificial concatenation of the two components of the contact envelope and populating their respective surfaces with either blackbody atmospheres or plane-parallel model atmospheres of single stars. We show the implications this approach has on the reliability of the system parameter values and propose a method to overcome these issues with a new generalized radiative transfer code, COBAIN (COntact Binary Atmospheres with INterpolation). The basic principles of COBAIN are outlined and their application to different geometries and polytropic stellar structures is discussed. We present initial tests on single non-rotating, uniformly rotating and differentially rotating stars, as well as on simplified polytropic structural models of contact binaries. We briefly discuss the final goal of this ambitious project, which is the computation of model atmosphere tables under the correct assumptions for contact binary stars, to be used in modern binary star analysis codes.


title: Towards an Unsupervised Entrainment Distance in Conversational Speech using Deep Neural Networks

abstract: Entrainment is a known adaptation mechanism that causes interaction participants to adapt or synchronize their acoustic characteristics. Understanding how interlocutors tend to adapt to each other's speaking style through entrainment involves measuring a range of acoustic features and comparing those via multiple signal comparison methods. In this work, we present a turn-level distance measure obtained in an unsupervised manner using a Deep Neural Network (DNN) model, which we call Neural Entrainment Distance (NED). This metric establishes a framework that learns an embedding from the population-wide entrainment in an unlabeled training corpus. We use the framework for a set of acoustic features and validate the measure experimentally by showing its efficacy in distinguishing real conversations from fake ones created by randomly shuffling speaker turns. Moreover, we show real world evidence of the validity of the proposed measure. We find that high value of NED is associated with high ratings of emotional bond in suicide assessment interviews, which is consistent with prior studies.


title: Local Gradient Optimization of Modular Entangling Sequences

abstract: Implementation of logical entangling gates is an important step towards realizing a quantum computer. We use a gradient-based optimization approach to find single-qubit rotations which can be interleaved between applications of a noisy nonlocal gate to dramatically suppress arbitrary logical errors, while steering the evolution operator towards the perfectly entangling subset of SU(4) gates. The modularity of the approach allows for application to any two-qubit system, regardless of the Hamiltonian or details of the experimental implementation. This approach is effective for both quasi-static and time-dependent $1/f^{\alpha}$ noise. We also show how the fidelity of the final operation depends on both the fidelity of the local rotations and the noise strength.


title: The Mass and Absorption Columns of Galactic Gaseous Halos II -- The High Ionization State Ions

abstract: The high ionization-state ions trace the hot gases in the universe, of which gaseous halos around galaxies are a major contributor. Following Qu & Bregman (2018), we calculate the gaseous halo contribution to the observed column density distributions for these ions by convolving the gaseous halo model with the observed stellar mass function. The predicted column density distribution reproduces the general shape of the observed column density distribution -- a broken power law with the break point at $\log N=14.0$ for {\OVI}. Our modeling suggests that the high column density systems originate from galaxies for which the virial temperature matches the temperature of the ionization fraction peak. Specifically, this mass range is $\log M_\star=8.5-10$ for {\OVI}, $\log M_\star=9.5-10.5$ for {\NeVIII}, and higher for higher ionization state ions (assuming $T_{\rm max}=2T_{\rm vir}$). A comparison with the observed {\OVI} column density distribution prefers a large radius model, where the maximum radius is twice the virial radius. This model may be in conflict with the more poorly defined {\NeVIII} column density distribution, suggesting further observations are warranted. The redshift evolution of the high column density systems is dominated by the change of the cosmic star formation rate, which decreases from $z=1.0$ to the local universe. Some differences at lower columns between our models and observations indicate that absorption by the intra-group (cluster) medium and intergalactic medium are also contributors to the total column density distributions.


title: A comparative study of Compact Objects using 3 models: Walecka Model, PAL Model, and M.I.T. Bag Model

abstract: Compact objects are the name used to classify the following objects: white dwarf, neutron star and black holes. In addition to them, some authors have suggested that in the core of a neutron star we may have the quarks u,d,s and c. In this work we investigate the structure of neutron star and strange star, described by the Tolman-Openheimer-Volkof equations. For the neutron star, we used the relativistic EoS from Walecka's model and the non-relativistic EoS PAL model. For the strange star, we used the M.I.T. bag model. We obtain results for the mass-radius relation and then we compared ours results with the actual pulsar data recently observed PSR J1614-2230 with a mass $1.97\pm 0.04\ M_{\odot}$.


title: $\text{Co}_{25}\text{Fe}_{75}$ Thin Films with Ultralow Total Damping

abstract: We measure the dynamic properties of $\text{Co}_{25}\text{Fe}_{75}$ thin films grown by dc magnetron sputtering. Using ferromagnetic resonance spectroscopy, we demonstrate an ultralow total damping parameter in the out-of-plane configuration of < 0.0013, whereas for the in-plane configuration we find a minimum total damping of < 0.0020. In both cases, we observe low inhomogeneous linewidth broadening in macroscopic films. We observe a minimum full-width half-maximum linewidth of 1 mT at 10 GHz resonance frequency for a 12 nm thick film. We characterize the morphology and structure of these films as a function of seed layer combinations and find large variation of the qualitative behavior of the in-plane linewidth vs. resonance frequency. Finally, we use wavevector-dependent Brillouin light scattering spectroscopy to characterize the spin-wave dispersion at wave vectors up to 23 $\mu \text{m}^{-1}$.


title: Price and Performance of Cloud-hosted Virtual Network Functions: Analysis and Future Challenges

abstract: The concept of Network Function Virtualization (NFV) has been introduced as a new paradigm in the recent few years. NFV offers a number of benefits including significantly increased maintainability and reduced deployment overhead. Several works have been done to optimize deployment (also called embedding) of virtual network functions (VNFs). However, no work to date has looked into optimizing the selection of cloud instances for a given VNF and its specific requirements. In this paper, we evaluate the performance of VNFs when embedded on different Amazon EC2 cloud instances. Specifically, we evaluate three VNFs (firewall, IDS, and NAT) in terms of arrival packet rate, resources utilization, and packet loss. Our results indicate that performance varies across instance types, departing from the intuition of "you get what you pay for" with cloud instances. We also find out that CPU is the critical resource for the tested VNFs, although their peak packet processing capacities differ considerably from each other. Finally, based on the obtained results, we identify key research challenges related to VNF instance selection and service chain provisioning.


title: Quantum Sampling and Entropic Uncertainty

abstract: In this paper, we show an interesting connection between a quantum sampling technique and quantum uncertainty. Namely, we use the quantum sampling technique, introduced by Bouman and Fehr, to derive a novel entropic uncertainty relation based on smooth min entropy, the binary Shannon entropy of an observed outcome, and the probability of failure of a classical sampling strategy. We then show two applications of our new relation. First, we use it to develop a simple proof of a version of the Maassen and Uffink uncertainty relation. Second, we show how it may be applied to quantum random number generation.


title: Two-time correlators for propagating squeezed microwave in transients

abstract: We analyze two-time correlators as the most natural characteristic of a propagating quadrature-squeezed field in the transient regime. The considered system is a parametrically driven resonator with a time-dependent drive. Using a semiclassical approach derived from the input-output theory, we develop a technique for calculation of the two-time correlators, which are directly related to fluctuations of the measured integrated signal. While in the steady state the correlators are determined by three parameters (as for the phase-space ellipse describing a squeezed state), four parameters are necessary in the transient regime. The formalism can be generalized to weakly nonlinear resonators with additional coherent drive. We focus on squeezed microwave fields relevant to the measurement of superconducting qubits; however, our formalism is also applicable to optical systems. The results can be readily verified experimentally.


title: Face Recognition: Primates in the Wild

abstract: We present a new method of primate face recognition, and evaluate this method on several endangered primates, including golden monkeys, lemurs, and chimpanzees. The three datasets contain a total of 11,637 images of 280 individual primates from 14 species. Primate face recognition performance is evaluated using two existing state-of-the-art open-source systems, (i) FaceNet and (ii) SphereFace, (iii) a lemur face recognition system from literature, and (iv) our new convolutional neural network (CNN) architecture called PrimNet. Three recognition scenarios are considered: verification (1:1 comparison), and both open-set and closed-set identification (1:N search). We demonstrate that PrimNet outperforms all of the other systems in all three scenarios for all primate species tested. Finally, we implement an Android application of this recognition system to assist primate researchers and conservationists in the wild for individual recognition of primates.


title: A Tight 4/3 Approximation for Capacitated Vehicle Routing in Trees

abstract: Given a set of clients with demands, the Capacitated Vehicle Routing problem is to find a set of tours that collectively cover all client demand, such that the capacity of each vehicle is not exceeded and such that the sum of the tour lengths is minimized. In this paper, we provide a 4/3-approximation algorithm for Capacitated Vehicle Routing on trees, improving over the previous best-known approximation ratio of $(\sqrt{41}-1)/4$ by Asano et al., while using the same lower bound. Asano et al. show that there exist instances whose optimal cost is 4/3 times this lower bound. Notably, our 4/3 approximation ratio is therefore tight for this lower bound, achieving the best-possible performance.


title: TASI Lectures on Geometric Tools for String Compactifications

abstract: In this work we provide a self-contained and modern introduction to some of the tools, obstacles and open questions arising in string compactifications. Techniques and current progress are illustrated in the context of smooth heterotic string compactifications to 4-dimensions. Progress is described on bounding and enumerating possible string backgrounds and their properties. We provide an overview of constructions, partial classifications, and moduli problems associated to Calabi-Yau manifolds and holomorphic bundles over them.


title: Generalized Kohn-Sham iteration on Banach spaces

abstract: A detailed account of the Kohn-Sham algorithm from quantum chemistry, formulated rigorously in the very general setting of convex analysis on Banach spaces, is given here. Starting from a Levy-Lieb-type functional, its convex and lower semi-continuous extension is regularized to obtain differentiability. This extra layer allows to rigorously introduce, in contrast to the common unregularized approach, a well-defined Kohn-Sham iteration scheme. Convergence in a weak sense is then proven. This generalized formulation is applicable to a wide range of different density-functional theories and possibly even to models outside of quantum mechanics.

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


title: Towards Dependable Deep Convolutional Neural Networks (CNNs) with Out-distribution Learning

abstract: Detection and rejection of adversarial examples in security sensitive and safety-critical systems using deep CNNs is essential. In this paper, we propose an approach to augment CNNs with out-distribution learning in order to reduce misclassification rate by rejecting adversarial examples. We empirically show that our augmented CNNs can either reject or classify correctly most adversarial examples generated using well-known methods ( >95% for MNIST and >75% for CIFAR-10 on average). Furthermore, we achieve this without requiring to train using any specific type of adversarial examples and without sacrificing the accuracy of models on clean samples significantly (< 4%).


title: Fermi Surface and Carriers Compensation of pyrite-type PtBi$_{2}$ Revealed by Quantum Oscillations

abstract: Large non-saturating magnetoresistance has been observed in various materials and electron-hole compensation has been regarded as one of the main mechanisms. Here we present a detailed study of the angle-dependent Shubnikov -de Haas effect on large magnetoresistance material pyrite-type PtBi$_{2}$, which allows us to experimentally reconstruct its Fermi-surface structure and extract the physical properties of each pocket. We find its Fermi surface contains four types of pockets in the Brillouin zone: three ellipsoid-like hole pockets $\alpha$ with C$_4$ symmetry located on the edges (M points), one intricate electron pocket $\beta$ merged from four ellipsoids along [111] located on the corners (R points), two smooth and cambered octahedrons $\gamma$ (electron) and $\delta$ (hole) on the center ($\Gamma$ point). The deduced carrier densities of electrons and holes from the volume of pockets prove carrier compensation. This compensation at low temperatures is also supported by fitting the field dependence of Hall and magnetoresistance at different temperatures. We conclude that the compensation is the main mechanism for the large non-saturating magnetoresistance in pyrite-type PtBi$_{2}$. We found the hole pockets {\alpha} may contribute major mobility because of their light masses and anisotropy to relatively avoid large-angle scattering at low temperature. This may be a common feature of semimetals with large magnetoresistance. The found sub-quadratic magnetoresistance in high field is probably due to field-dependent mobilities, another feature of semimetals under high magnetic fields.


title: Block-Structure Based Time-Series Models For Graph Sequences

abstract: Although the computational and statistical trade-off for modeling single graphs, for instance, using block models is relatively well understood, extending such results to sequences of graphs has proven to be difficult. In this work, we take a step in this direction by proposing two models for graph sequences that capture: (a) link persistence between nodes across time, and (b) community persistence of each node across time. In the first model, we assume that the latent community of each node does not change over time, and in the second model we relax this assumption suitably. For both of these proposed models, we provide statistically and computationally efficient inference algorithms, whose unique feature is that they leverage community detection methods that work on single graphs. We also provide experimental results validating the suitability of our models and methods on synthetic and real instances.


title: Interpretations of galactic center gamma-ray excess confronting the PandaX-II constraints on dark matter-neutron spin-dependent scatterings in the NMSSM

abstract: The Weakly Interacting Massive Particle (WIMP) has been one of the most attractive candidates for Dark Matter (DM), and the lightest neutralino ($\widetilde{\chi}^0_1$) in the Next-to-Minimal Supersymmetric Standard Model (NMSSM) is an interesting realization of WIMP. The Galactic Center Excess (GCE) can be explained by WIMP DM annihilations in the sky. In this work we consider the $Z_3$-NMSSM where the singlet $S$ and Singlino $\widetilde{S}^0$ components play important roles in the Higgs and DM sector. Guided by our analytical arguments, we perform a numerical scan over the NMSSM parameter space for the GCE explanation by considering various observables such as the Standard Model (SM) Higgs data measured by the ATLAS and CMS experiments, and the $B$-physics observables $BR(B_s\rightarrow X_s\gamma)$ and $BR(B_s\rightarrow \mu^+\mu^-)$. We find that the correlation between the coupling $C_{A_1 b\bar{b}}$ in $\langle \sigma_{b\bar{b}} v \rangle _{0}$ and the coupling $C_{Z \widetilde{\chi}^0_1 \widetilde{\chi}^0_1}$ in DM-neutron Spin Dependent (SD) scattering rate $\sigma^{SD}_{\widetilde{\chi}^0_1-N}$ makes all samples we obtain for GCE explanation get excluded by the PandaX-II results. Although the DM resonant annihilation scenarios may be beyond the reach of our analytical approximations and scan strategy, the aforementioned correlation can be a reasonable motivation for future experiments such as PandaX-nT to further test the NMSSM interpretation of GCE.


title: SimpleQuestions Nearly Solved: A New Upperbound and Baseline Approach

abstract: The SimpleQuestions dataset is one of the most commonly used benchmarks for studying single-relation factoid questions. In this paper, we present new evidence that this benchmark can be nearly solved by standard methods. First we show that ambiguity in the data bounds performance on this benchmark at 83.4%; there are often multiple answers that cannot be disambiguated from the linguistic signal alone. Second we introduce a baseline that sets a new state-of-the-art performance level at 78.1% accuracy, despite using standard methods. Finally, we report an empirical analysis showing that the upperbound is loose; roughly a third of the remaining errors are also not resolvable from the linguistic signal. Together, these results suggest that the SimpleQuestions dataset is nearly solved.


title: On-chip multi-stage optical delay based on cascaded Brillouin light storage

abstract: Storing and delaying optical signals plays a crucial role in data centers, phased array antennas, communication and future computing architectures. Here, we show a delay scheme based on cascaded Brillouin light storage, that achieves multi-stage delay at arbitrary positions within a photonic integrated circuit. Importantly these multiple resonant transfers between the optical and acoustic domain are controlled solely via external optical control pulses, allowing cascading of the delay without the need of aligning multiple structural resonances along the optical circuit.


title: Large fluctuations of the KPZ equation in a half-space

abstract: We investigate the short-time regime of the KPZ equation in $1+1$ dimensions and develop a unifying method to obtain the height distribution in this regime, valid whenever an exact solution exists in the form of a Fredholm Pfaffian or determinant. These include the droplet and stationary initial conditions in full space, previously obtained by a different method. The novel results concern the droplet initial condition in a half space for several Neumann boundary conditions: hard wall, symmetric, and critical. In all cases, the height probability distribution takes the large deviation form $P(H,t) \sim \exp( - \Phi(H)/\sqrt{t})$ for small time. We obtain the rate function $\Phi(H)$ analytically for the above cases. It has a Gaussian form in the center with asymmetric tails, $|H|^{5/2}$ on the negative side, and $H^{3/2}$ on the positive side. The amplitude of the left tail for the half-space is found to be half the one of the full space. As in the full space case, we find that these left tails remain valid at all times. In addition, we present here (i) a new Fredholm Pfaffian formula for the solution of the hard wall boundary condition and (ii) two Fredholm determinant representations for the solutions of the hard wall and the symmetric boundary respectively.

categories: cond-mat.stat-mech cond-mat.dis-nn math-ph math.MP math.PR


title: Extreme & High Synchrotron Peaked Blazars at the limit of Fermi-LAT detectability: the $\gamma$-ray spectrum of 1BIGB sources

abstract: We present the 1-100 GeV spectral energy distribution for a population of 148 high-synchrotron-peaked blazars (HSPs) recently detected with Fermi-LAT as part of the First Brazil-ICRANet Gamma-ray Blazar catalogue (1BIGB). Most of the 1BIGB sources do not appear in previous Fermi-LAT catalogues and their gamma-ray spectral properties are presented here for the first time, representing a significant new extension of the gamma-ray blazar population. Since our sample was originally selected from an excess signal in the 0.3-500 GeV band, the sources stand out as promising TeV blazar candidates, potentially in reach of the forthcoming very-high-energy (VHE) gamma-ray observatory, CTA. The flux estimates presented here are derived considering PASS8 data, integrating over more than 9 years of Fermi-LAT observations. We also review the full broadband fit between 0.3-500 GeV presented in the original 1BIGB paper for all sources, updating the power-law parameters with currently available Fermi-LAT dataset. The importance of these sources in the context of VHE population studies with both current instruments and the future CTA is evaluated. To do so, we select a subsample of 1BIGB sources and extrapolate their gamma-ray SEDs to the highest energies, properly accounting for absorption due to the extragalactic background light. We compare those extrapolations to the published CTA sensitivity curves and estimate their detectability by CTA. Two notable sources from our sample, namely 1BIGB J224910.6-130002 and 1BIGB J194356.2+211821, are discussed in greater detail. All gamma-ray SEDs, which are shown here for the first time, are made publicly available via the Brazilian Science Data Center (BSDC) service, maintained at CBPF, in Rio de Janeiro.


title: Decays and spectrum of bottom and bottom strange mesons

abstract: The strong decay amplitudes and radiative partial widths of orbital and radially excited states of $B$ and $B_s$ mesons are presented. These results are obtained with a nonrelativistic potential quark model, the nonrelativistic reduction of the electromagnetic transition operator, and the "$^3P_0$" model of strong decays. The predictions are compared to experiment where possible and assignments for the recently discovered states, $B_1(5721)$, $B_2^*(5747)$, $B_J(5840)$, $B_J(5970)$, $B_{s1}(5830)$, and $B_{s2}^*(5840)$, are made.


title: Optimized Deployment of Network Function for Resource Pooling Switch

abstract: The disadvantages of the combination of traditional switches and middleboxes have being exposed under the condition of increasingly various network function demands,such as function flexibility, performance scalability and resource utilization. To solve this problem, we design Resource Pooling Switch Architecture (RPSA), which separates some non-essential functions from line card and allocate them in Network Function Pool (NFP) to provide flexible services for data plane in the form of Service Function Chains (SFC). As the performance of the whole system could be decided by whether function deployment is reasonable or not, we purpose heuristic algorithm called Modified Fiduccia-Mattheyses based Two Phase Algorithm (MFMTP) to optimize the deployment of functions. The simulation results show that this algorithm performs well in throughput and convergence.