title: Fixpoint Semantics and Optimization of Recursive Datalog Programs with Aggregates

abstract: A very desirable Datalog extension investigated by many researchers in the last thirty years consists in allowing the use of the basic SQL aggregates min, max, count and sum in recursive rules. In this paper, we propose a simple comprehensive solution that extends the declarative least-fixpoint semantics of Horn Clauses, along with the optimization techniques used in the bottom-up implementation approach adopted by many Datalog systems. We start by identifying a large class of programs of great practical interest in which the use of min or max in recursive rules does not compromise the declarative fixpoint semantics of the programs using those rules. Then, we revisit the monotonic versions of count and sum aggregates proposed in (Mazuran et al. 2013b) and named, respectively, mcount and msum. Since mcount, and also msum on positive numbers, are monotonic in the lattice of set-containment, they preserve the fixpoint semantics of Horn Clauses. However, in many applications of practical interest, their use can lead to inefficiencies, that can be eliminated by combining them with max, whereby mcount and msum become the standard count and sum. Therefore, the semantics and optimization techniques of Datalog are extended to recursive programs with min, max, count and sum, making possible the advanced applications of superior performance and scalability demonstrated by BigDatalog (Shkapsky et al. 2016) and Datalog-MC (Yang et al. 2017). This paper is under consideration for acceptance in TPLP.


title: Stochastic Heat Engine Powered By Active Dissipation

abstract: Thermodynamics of nanoscale devices is an active area of research. Despite their noisy surrounding they often produce mechanical work (e.g. micro-heat engines), display rectified Brownian motion (e.g. molecular motors). This invokes research in terms of experimentally quantifiable thermodynamic efficiencies. Here, a Brownian particle is driven by a harmonic confinement with time-periodic contraction and expansion. The system produces work by being alternately (time-periodically) connected to baths with different dissipations. We analyze the system theoretically using stochastic thermodynamics. Averages of thermodynamic quantities like work, heat, efficiency, entropy are found analytically for long cycle times. Simulations are also performed in various cycle-times. They show excellent agreement with analytical calculations in the long cycle time limit. Distributions of work, efficiency, and large deviation function for efficiency are studied using simulations. We believe that the experimental realization of our model is possible.


title: Exploiting Convolutional Representations for Multiscale Human Settlement Detection

abstract: We test this premise and explore representation spaces from a single deep convolutional network and their visualization to argue for a novel unified feature extraction framework. The objective is to utilize and re-purpose trained feature extractors without the need for network retraining on three remote sensing tasks i.e. superpixel mapping, pixel-level segmentation and semantic based image visualization. By leveraging the same convolutional feature extractors and viewing them as visual information extractors that encode different image representation spaces, we demonstrate a preliminary inductive transfer learning potential on multiscale experiments that incorporate edge-level details up to semantic-level information.


title: Group classification of charged particle motion in stationary electromagnetic fields

abstract: In this paper we classify in terms of Lie point symmetries the three-dimensional nonrelativistic motion of charged particles in arbitrary time-independent electromagnetic fields. The classification is made on the ground of equivalence transformations, and, when the system is nonlinear and particularly for inhomogeneous and curved magnetic fields, it is also complete. Using the homogeneous Maxwell's equations as auxiliary conditions for consistency, in which case the system amounts to a Lagrangian of three degrees of freedom with velocity-dependent potentials, the equivalence group stays the same. Therefore, instead of the actual fields, the potentials are equally employed and their gauge invariance results in an infinite-dimensional equivalence algebra, which nevertheless projects to finite-dimensional symmetry algebras. Subsequently, optimal systems of equivalence subalgebras are obtained that lead to one-, two- and three-parameter extended symmetry groups, besides the obvious time translations. Finally, based on symmetries of Noether type, aspects of complete integrability are discussed, as well.


title: Hashed Binary Search Sampling for Convolutional Network Training with Large Overhead Image Patches

abstract: Very large overhead imagery associated with ground truth maps has the potential to generate billions of training image patches for machine learning algorithms. However, random sampling selection criteria often leads to redundant and noisy-image patches for model training. With minimal research efforts behind this challenge, the current status spells missed opportunities to develop supervised learning algorithms that generalize over wide geographical scenes. In addition, much of the computational cycles for large scale machine learning are poorly spent crunching through noisy and redundant image patches. We demonstrate a potential framework to address these challenges specifically, while evaluating a human settlement detection task. A novel binary search tree sampling scheme is fused with a kernel based hashing procedure that maps image patches into hash-buckets using binary codes generated from image content. The framework exploits inherent redundancy within billions of image patches to promote mostly high variance preserving samples for accelerating algorithmic training and increasing model generalization.


title: On the new wave behavior to the longitudinal wave quation in a magneto-electro-elastic circular rod

abstract: With the aid of the symbolic computations software; Wolfram Mathematica 9, the powerful sine-Gordon expansion method is used in examining the analytical solution of the longitudinal wave equation in a magneto-electro-elastic circular rod. Sine-Gordon expansion method is based on the well-known sine-Gordon equation and a wave transformation. The longitudinal wave equation is an equation that arises in mathematical physics with dispersion caused by the transverse Poisson's effect in a magneto-electro-elastic circular rod. We successfully get some solutions with the complex, trigonometric and hyperbolic function structure. We present the numerical simulations of all the obtained solutions by choosing appropriate values of the parameters. We give the physical meanings of some of the obtained analytical solutions which significantly explain some practical physical problems.


title: Analysis of etching at a solid-solid interface

abstract: We present a method to derive an analytical expression for the roughness of an eroded surface whose dynamics are ruled by cellular automaton. Starting from the automaton, we obtain the time evolution of the height average and height variance (roughness). We apply this method to the etching model in 1 + 1 dimensions, and then we obtain the roughness exponent. Using this in conjunction with the Galilean invariance we obtain the other exponents, which perfectly match the numerical results obtained from simulations. These exponents are exact, and they are the same as those exhibited by the Kardar-Parisi-Zhang (KPZ) model for this dimension. Therefore, our results provide proof for the conjecture that the etching and KPZ models belong to the same universality class. Moreover, the method is general, and it can be applied to other cellular automata models.


title: An outlook on self-assessment of homework assignments in higher mathematics education

abstract: We discuss first experiences with a new variant of self-assessment in higher mathematics education. In our setting, the students of the course have to mark a part of their homework assignments themselves and they receive the corresponding credit without that any later changes are carried out by the teacher. In this way we seek to correct the imbalance between student-centered learning arrangements and assessment concepts that keep the privilege to grade (or mark) completely with the teacher. We present results in the form of student feedback from a course on functional analysis for 3rd and 4th year students. Moreover we analyze marking results from two courses on real analysis. Here, we compare tasks marked by the teacher and tasks marked by the students.


title: Insight into High-order Harmonic Generation from Solids: The Contributions of the Bloch Wave-packets Moving on the Group and Phase Velocities

abstract: We study numerically the Bloch electron wavepacket dynamics in periodic potentials to simulate laser-solid interactions. We introduce a new perspective in the coordinate space combined with the motion of the Bloch electron wavepackets moving at group and phase velocities under the laser fields. This model interprets the origins of the two contributions (intra- and interband transitions) of the high-order harmonic generation (HHG) by investigating the local and global behavior of the wavepackets. It also elucidates the underlying physical picture of the HHG intensity enhancement by means of carrier-envelope phase (CEP), chirp and inhomogeneous fields. It provides a deep insight into the emission of high-order harmonics from solids. This model is instructive for experimental measurements and provides a new avenue to distinguish mechanisms of the HHG from solids in diffrent laser fields.


title: Searches for transverse momentum dependent flow vector fluctuations in Pb-Pb and p-Pb collisions at the LHC

abstract: The measurement of azimuthal correlations of charged particles is presented for Pb-Pb collisions at $\sqrt{s_{\rm NN}}=$ 2.76 TeV and p-Pb collisions at $\sqrt{s_{\rm NN}}=$ 5.02 TeV with the ALICE detector at the CERN Large Hadron Collider. These correlations are measured for the second, third and fourth order flow vector in the pseudorapidity region $|\eta|<0.8$ as a function of centrality and transverse momentum $p_{\rm T}$ using two observables, to search for evidence of $p_{\rm T}$-dependent flow vector fluctuations. For Pb-Pb collisions at 2.76 TeV, the measurements indicate that $p_{\rm T}$-dependent fluctuations are only present for the second order flow vector. Similar results have been found for p-Pb collisions at 5.02 TeV. These measurements are compared to hydrodynamic model calculations with event-by-event geometry fluctuations in the initial state to constrain the initial conditions and transport properties of the matter created in Pb-Pb and p-Pb collisions.


title: Learning Fashion Compatibility with Bidirectional LSTMs

abstract: The ubiquity of online fashion shopping demands effective recommendation services for customers. In this paper, we study two types of fashion recommendation: (i) suggesting an item that matches existing components in a set to form a stylish outfit (a collection of fashion items), and (ii) generating an outfit with multimodal (images/text) specifications from a user. To this end, we propose to jointly learn a visual-semantic embedding and the compatibility relationships among fashion items in an end-to-end fashion. More specifically, we consider a fashion outfit to be a sequence (usually from top to bottom and then accessories) and each item in the outfit as a time step. Given the fashion items in an outfit, we train a bidirectional LSTM (Bi-LSTM) model to sequentially predict the next item conditioned on previous ones to learn their compatibility relationships. Further, we learn a visual-semantic space by regressing image features to their semantic representations aiming to inject attribute and category information as a regularization for training the LSTM. The trained network can not only perform the aforementioned recommendations effectively but also predict the compatibility of a given outfit. We conduct extensive experiments on our newly collected Polyvore dataset, and the results provide strong qualitative and quantitative evidence that our framework outperforms alternative methods.


title: Bandwidth broadening of X-ray free electron laser with the natural gradient of planar undulator

abstract: Besides the target to pursue the narrow bandwidth X-ray pulses, the large bandwidth free-electron laser pulses are also strongly demanded to satisfy a wide range of scientific user experiments. In this paper, using the transversely tilt beam enabled by deflecting cavity and/or corrugated structure, the potential of large bandwidth X-ray free-electron lasers generation with the natural gradient of the planar undulator are discussed. Theoretical predictions and numerical simulations demonstrated that X-ray bandwidth exceeding 5% can be observed with the optimized free-electron laser parameters.


title: Growth exponents of the etching model in high dimensions

abstract: In this work we generalize the etching model (Mello et al 2001 Phys. Rev. E 63 041113) to d + 1 dimensions. The dynamic exponents of this model are compatible with those of the Kardar-Parisi-Zhang universality class. We investigate the roughness dynamics with surfaces up to d=6. We show that the data from all substrate lengths and for all dimensions can be collapsed into one common curve. We determine the dynamic exponents as a function of the dimension. Moreover, our results suggest that d=4 is not an upper critical dimension for the etching model, and that it fulfills the Galilean invariance.


title: Finding structure in the dark: coupled dark energy, weak lensing, and the mildly nonlinear regime

abstract: We reexamine interactions between the dark sectors of cosmology, with a focus on robust constraints that can be obtained using only mildly nonlinear scales. While it is well known that couplings between dark matter and dark energy can be constrained to the percent level when including the full range of scales probed by future optical surveys, calibrating matter power spectrum emulators to all possible choices of potentials and couplings requires many computationally expensive n-body simulations. Here we show that lensing and clustering of galaxies in combination with the Cosmic Microwave Background (CMB) is capable of probing the dark sector coupling to the few percent level for a given class of models, using only linear and quasi-linear Fourier modes. These scales can, in principle, be described by semi-analytical techniques such as the effective field theory of large-scale structure.


title: Quantized Fields \`a la Clifford and Unification

abstract: It is shown that the generators of Clifford algebras behave as creation and annihilation operators for fermions and bosons. They can create extended objects, such as strings and branes, and can induce curved metric of our spacetime. At a fixed point, we consider the Clifford algebra $Cl(8)$ of the 8-dimensional phase space, and show that one quarter of the basis elements of $Cl(8)$ can represent all known particles of the first generation of the Standard model, whereas the other three quarters are invisible to us and can thus correspond to dark matter.


title: Going Higher in First-Order Quantifier Alternation Hierarchies on Words

abstract: We investigate quantifier alternation hierarchies in first-order logic on finite words. Levels in these hierarchies are defined by counting the number of quantifier alternations in formulas. We prove that one can decide membership of a regular language in the levels $\mathcal{B}{\Sigma}_2$ (finite boolean combinations of formulas having only one alternation) and ${\Sigma}_3$ (formulas having only two alternations and beginning with an existential block). Our proofs work by considering a deeper problem, called separation, which, once solved for lower levels, allows us to solve membership for higher levels.


title: An Iterative BP-CNN Architecture for Channel Decoding

abstract: Inspired by recent advances in deep learning, we propose a novel iterative BP-CNN architecture for channel decoding under correlated noise. This architecture concatenates a trained convolutional neural network (CNN) with a standard belief-propagation (BP) decoder. The standard BP decoder is used to estimate the coded bits, followed by a CNN to remove the estimation errors of the BP decoder and obtain a more accurate estimation of the channel noise. Iterating between BP and CNN will gradually improve the decoding SNR and hence result in better decoding performance. To train a well-behaved CNN model, we define a new loss function which involves not only the accuracy of the noise estimation but also the normality test for the estimation errors, i.e., to measure how likely the estimation errors follow a Gaussian distribution. The introduction of the normality test to the CNN training shapes the residual noise distribution and further reduces the BER of the iterative decoding, compared to using the standard quadratic loss function. We carry out extensive experiments to analyze and verify the proposed framework. The iterative BP-CNN decoder has better BER performance with lower complexity, is suitable for parallel implementation, does not rely on any specific channel model or encoding method, and is robust against training mismatches. All of these features make it a good candidate for decoding modern channel codes.


title: Analytic model for electromagnetic fields in the bubble regime of plasma wakefield in non-uniform plasmas

abstract: Based on a model of plasma wakefield in the strongly nonlinear (bubble) regime, we develop a lowest-order perturbation theory for the components of electromagnetic fields inside and outside the bubble using the assumption of small thickness of the electron sheath on the boundary of the bubble. Unlike previous models, we derive simple explicit expressions for the components of electromagnetic fields not only in the vicinity of the center of the bubble, but in the whole volume of the bubble (including areas of driving or accelerated bunches) as well as outside it. Moreover, we apply the results to the case of radially non-uniform plasma and, in particular, to plasma with a hollow channel. The obtained results are verified with 3D particle-in-cell (PIC) simulations which show good correspondence to our model.


title: Network analysis of Japanese global business using quasi-exhaustive micro-data for Japanese overseas subsidiaries

abstract: Network analysis techniques remain rarely used for understanding international management strategies. Our paper highlights their value as research tool in this field of social science using a large set of micro-data (20,000) to investigate the presence of networks of subsidiaries overseas. The research question is the following: to what extent did/do global Japanese business networks mirror organizational models existing in Japan? In particular, we would like to assess how much the links building such business networks are shaped by the structure of big-size industrial conglomerates of firms headquartered in Japan, also described as HK. The major part of the academic community in the fields of management and industrial organization considers that formal links can be identified among firms belonging to HK. Miwa and Ramseyer (Miwa and Ramseyer 2002; Ramseyer 2006) challenge this claim and argue that the evidence supporting the existence of HK is weak. So far, quantitative empirical investigation has been conducted exclusively using data for firms incorporated in Japan. Our study tests the Miwa-Ramseyer hypothesis (MRH) at the global level using information on the network of Japanese subsidiaries overseas. The results obtained lead us to reject the MRH for the global dataset, as well as for subsets restricted to the two main regions/countries of destination of Japanese foreign investment. The results are robust to the weighting of the links, with different specifications, and are observed in most industrial sectors. The global Japanese network became increasingly complex during the late 20th century as a consequence of increase in the number of Japanese subsidiaries overseas but the key features of the structure remained rather stable. We draw implications of these findings for academic research in international business and for professionals involved in corporate strategy.


title: Cycles on Shimura varieties via geometric Satake

abstract: We construct (cohomological) correspondences between mod $p$ fibers of different Shimura varieties and describe the fibers of these correspondences by studying irreducible components of affine Deligne-Lusztig varieties. In particular, in the case of correspondences from a Shimura set to a Shimura variety, we obtain a description of the basic Newton stratum of the latter, and show that the irreducible components of the basic Newton stratum generate all the Tate classes in the middle cohomology of the Shimura variety, under a certain genericity condition. Along the way, we also determine the set of irreducible components of the affine Deligne-Lusztig variety associated to an unramified twisted conjugacy class.


title: Multifractal finite-size scaling at the Anderson transition in the unitary symmetry class

abstract: We use multifractal finite-size scaling to perform a high-precision numerical study of the critical properties of the Anderson localization-delocalization transition in the unitary symmetry class, considering the Anderson model including a random magnetic flux. We demonstrate the scale invariance of the distribution of wavefunction intensities at the critical point and study its behavior across the transition. Our analysis, involving more than $4\times10^6$ independently generated wavefunctions of system sizes up to $L^3=150^3$, yields accurate estimates for the critical exponent of the localization length, $\nu=1.446 (1.440,1.452)$, the critical value of the disorder strength and the multifractal exponents.


title: Necessary and sufficient conditions for consistent root reconstruction in Markov models on trees

abstract: We establish necessary and sufficient conditions for consistent root reconstruction in continuous-time Markov models with countable state space on bounded-height trees. Here a root state estimator is said to be consistent if the probability that it returns to the true root state converges to 1 as the number of leaves tends to infinity. We also derive quantitative bounds on the error of reconstruction. Our results answer a question of Gascuel and Steel and have implications for ancestral sequence reconstruction in a classical evolutionary model of nucleotide insertion and deletion.

categories: math.PR cs.IT math.IT math.ST q-bio.PE stat.TH


title: Simple labeled graph $C^*$-algebras are associated to disagreeable labeled spaces

abstract: By a labeled graph $C^*$-algebra we mean a $C^*$-algebra associated to a labeled space $(E,\mathcal L,\mathcal E)$ consisting of a labeled graph $(E,\mathcal L)$ and the smallest normal accommodating set $\mathcal E$ of vertex subsets. Every graph $C^*$-algebra $C^*(E)$ is a labeled graph $C^*$-algebra and it is well known that $C^*(E)$ is simple if and only if the graph $E$ is cofinal and satisfies Condition (L). Bates and Pask extend these conditions of graphs $E$ to labeled spaces, and show that if a set-finite and receiver set-finite labeled space $(E,\mathcal L, \mathcal E)$ is cofinal and disagreeable, then its $C^*$-algebra $C^*(E,\mathcal L, \mathcal E)$ is simple. In this paper, we show that the converse is also true.


title: Toric Cycles in the Complement of a Complex Curve in $(\mathbb{C}^{\times})^2$

abstract: The amoeba of a complex curve in the 2-dimensional complex torus is its image under the projection onto the real subspace in the logarithmic scale. The complement to an amoeba is a disjoint union of connected components that are open and convex. A toric cycle is a 2-cycle in the complement to a curve associated with a component of the complement to an amoeba. We prove homological independence of toric cycles in the complement to a complex algebraic curve with amoeba of maximal area.


title: Self-synchronization Phenomena in the Lugiato-Lefever Equation

abstract: The damped driven nonlinear Schr\"odinger equation (NLSE) has been used to understand a range of physical phenomena in diverse systems. Studying this equation in the context of optical hyper-parametric oscillators in anomalous-dispersion dissipative cavities, where NLSE is usually referred to as the Lugiato-Lefever equation (LLE), we are led to a new, reduced nonlinear oscillator model which uncovers the essence of the spontaneous creation of sharply peaked pulses in optical resonators. We identify attracting solutions for this model which correspond to stable cavity solitons and Turing patterns, and study their degree of stability. The reduced model embodies the fundamental connection between mode synchronization and spatiotemporal pattern formation, and represents a novel class of self-synchronization processes in which coupling between nonlinear oscillators is governed by energy and momentum conservation.


title: Extremely large magnetoresistance and Kohler's rule in PdSn4: a complete study of thermodynamic, transport and band structure properties

abstract: The recently discovered material PtSn$_4$ is known to exhibit extremely large magnetoresistance (XMR) that also manifests Dirac arc nodes on the surface. PdSn$_4$ is isostructure to PtSn$_4$ with same electron count. We report on the physical properties of high quality single crystals of PdSn$_4$ including specific heat, temperature and magnetic field dependent resistivity and magnetization, and electronic band structure properties obtained from angle resolved photoemission spectroscopy (ARPES). We observe that PdSn$_4$ has physical properties that are qualitatively similar to those of PtSn$_4$, but find also pronounced differences. Importantly, the Dirac arc node surface state of PtSn$_4$ is gapped out for PdSn$_4$. By comparing these similar compounds, we address the origin of the extremely large magnetoresistance in PdSn$_4$ and PtSn$_4$; based on detailed analysis of the magnetoresistivity, $\rho(H,T)$, we conclude that neither carrier compensation nor the Dirac arc node surface state are primary reason for the extremely large magnetoresistance. On the other hand, we find that surprisingly Kohler's rule scaling of the mangnetoresistance, which describes a self-similarity of the field induced orbital electronic motion across different length scales and is derived for a simple electronic response of metals to applied in a magnetic field is obeyed over the full range of temperatures and field strengths that we explore.


title: Monte Carlo Simulation of Charge Transport in Graphene (Simulazione Monte Carlo per il trasporto di cariche nel grafene)

abstract: Simulations of charge transport in graphene are presented by implementing a recent method published on the paper: V. Romano, A. Majorana, M. Coco, "DSMC method consistent with the Pauli exclusion principle and comparison with deterministic solutions for charge transport in graphene", Journal of Computational Physics 302 (2015) 267-284. After an overview of the most important aspects of the semiclassical transport model for the dynamics of electrons in monolayer graphene, it is made a comparison in computational time between MATLAB and Fortran implementations of the algorithms. Therefore it is studied the case of graphene on substrates which it is produced original results by introducing models for the distribution of distances between graphene's atoms and impurities. Finally simulations, by choosing different kind of substrates, are done. ----- Le simulazioni per il trasporto di cariche nel grafene sono presentate implementando un recente metodo pubblicato nell'articolo: V. Romano, A. Majorana, M. Coco, "DSMC method consistent with the Pauli exclusion principle and comparison with deterministic solutions for charge transport in graphene", Journal of Computational Physics 302 (2015) 267-284. Dopo una panoramica sugli aspetti pi\`u importanti del modello di trasporto semiclassico per la dinamica degli elettroni nel grafene sospeso, \`e stato effettuato un confronto del tempo computazionale tra le implementazioni MATLAB e Fortran dell'algoritmo. Inoltre \`e stato anche studiato il caso del grafene su substrato su cui sono stati prodotti dei risultati originali considerando dei modelli per la distribuzione delle distanze tra gli atomi del grafene e le impurezze. Infine sono state effettuate delle simulazioni scegliendo substrati di diversa natura.


title: Properties and comparison of some Kriging sub-model aggregation methods

abstract: Kriging is a widely employed technique, in particular for computer experiments, in machine learning or in geostatistics. An important challenge for Kriging is the computational burden when the data set is large. This article focuses on a class of methods aiming at decreasing this computational cost, consisting in aggregating Kriging predictors based on smaller data subsets. It proves that aggregation methods that ignore the covariancebetween sub-models can yield an inconsistent final Kriging prediction. In contrast, a theoretical study of the nested Kriging method shows additional attractive properties for it: First, this predictor is consistent, second it can be interpreted as an exact conditional distribution for a modified process and third, the conditional covariances given the observations can be computed efficiently. This article also includes a theoretical and numerical analysis of how the assignment of the observation points to the sub-models can affect the prediction ability of the aggregated model. Finally, the nested Kriging method is extended to measurement errors and to universal Kriging.


title: A random rule model of surface growth

abstract: Stochastic models of surface growth are usually based on randomly choosing a substrate site to perform iterative steps, as in the etching model [1]. In this paper I modify the etching model to perform sequential, instead of random, substrate scan. The randomicity is introduced not in the site selection but in the choice of the rule to be followed in each site. The change positively affects the study of dynamic and asymptotic properties, by reducing the finite size ef- fect and the short-time anomaly and by increasing the saturation time. It also has computational benefits: better use of the cache memory and the possibility of parallel implementation.


title: C^\infty smoothing for weak solutions of the inhomogeneous Landau equation

abstract: We consider the spatially inhomogeneous Landau equation with initial data that is bounded by a Gaussian in the velocity variable. In the case of moderately soft potentials, we show that weak solutions immediately become smooth and remain smooth as long as the mass, energy, and entropy densities remain under control. For very soft potentials, we obtain the same conclusion with the additional assumption that a sufficiently high moment of the solution in the velocity variable remains bounded. Our proof relies on the iteration of local Schauder-type estimates.


title: Statistically consistent and computationally efficient inference of ancestral DNA sequences in the TKF91 model under dense taxon sampling

abstract: In evolutionary biology, the speciation history of living organisms is represented graphically by a phylogeny, that is, a rooted tree whose leaves correspond to current species and branchings indicate past speciation events. Phylogenies are commonly estimated from molecular sequences, such as DNA sequences, collected from the species of interest. At a high level, the idea behind this inference is simple: the further apart in the Tree of Life are two species, the greater is the number of mutations to have accumulated in their genomes since their most recent common ancestor. In order to obtain accurate estimates in phylogenetic analyses, it is standard practice to employ statistical approaches based on stochastic models of sequence evolution on a tree. For tractability, such models necessarily make simplifying assumptions about the evolutionary mechanisms involved. In particular, commonly omitted are insertions and deletions of nucleotides -- also known as indels. Properly accounting for indels in statistical phylogenetic analyses remains a major challenge in computational evolutionary biology. Here we consider the problem of reconstructing ancestral sequences on a known phylogeny in a model of sequence evolution incorporating nucleotide substitutions, insertions and deletions, specifically the classical TKF91 process. We focus on the case of dense phylogenies of bounded height, which we refer to as the taxon-rich setting, where statistical consistency is achievable. We give the first polynomial-time ancestral reconstruction algorithm with provable guarantees under constant rates of mutation. Our algorithm succeeds when the phylogeny satisfies the "big bang" condition, a necessary and sufficient condition for statistical consistency in this context.


title: PAC-Bayes and Domain Adaptation

abstract: We provide two main contributions in PAC-Bayesian theory for domain adaptation where the objective is to learn, from a source distribution, a well-performing majority vote on a different, but related, target distribution. Firstly, we propose an improvement of the previous approach we proposed in Germain et al. (2013), which relies on a novel distribution pseudodistance based on a disagreement averaging, allowing us to derive a new tighter domain adaptation bound for the target risk. While this bound stands in the spirit of common domain adaptation works, we derive a second bound (introduced in Germain et al., 2016) that brings a new perspective on domain adaptation by deriving an upper bound on the target risk where the distributions' divergence-expressed as a ratio-controls the trade-off between a source error measure and the target voters' disagreement. We discuss and compare both results, from which we obtain PAC-Bayesian generalization bounds. Furthermore, from the PAC-Bayesian specialization to linear classifiers, we infer two learning algorithms, and we evaluate them on real data.


title: The Utility of Phase Models in Studying Neural Synchronization

abstract: Synchronized neural spiking is associated with many cognitive functions and thus, merits study for its own sake. The analysis of neural synchronization naturally leads to the study of repetitive spiking and consequently to the analysis of coupled neural oscillators. Coupled oscillator theory thus informs the synchronization of spiking neuronal networks. A crucial aspect of coupled oscillator theory is the phase response curve (PRC), which describes the impact of a perturbation to the phase of an oscillator. In neural terms, the perturbation represents an incoming synaptic potential which may either advance or retard the timing of the next spike. The phase response curves and the form of coupling between reciprocally coupled oscillators defines the phase interaction function, which in turn predicts the synchronization outcome (in-phase versus anti-phase) and the rate of convergence. We review the two classes of PRC and demonstrate the utility of the phase model in predicting synchronization in reciprocally coupled neural models. In addition, we compare the rate of convergence for all combinations of reciprocally coupled Class I and Class II oscillators. These findings predict the general synchronization outcomes of broad classes of neurons under both inhibitory and excitatory reciprocal coupling.


title: A Multi-Armed Bandit Approach for Online Expert Selection in Markov Decision Processes

abstract: We formulate a multi-armed bandit (MAB) approach to choosing expert policies online in Markov decision processes (MDPs). Given a set of expert policies trained on a state and action space, the goal is to maximize the cumulative reward of our agent. The hope is to quickly find the best expert in our set. The MAB formulation allows us to quantify the performance of an algorithm in terms of the regret incurred from not choosing the best expert from the beginning. We first develop the theoretical framework for MABs in MDPs, and then present a basic regret decomposition identity. We then adapt the classical Upper Confidence Bounds algorithm to the problem of choosing experts in MDPs and prove that the expected regret grows at worst at a logarithmic rate. Lastly, we validate the theory on a small MDP.


title: The resonant state at filling factor {\nu} = 1/2 in chiral fermionic ladders

abstract: Helical liquids have been experimentally detected in both nanowires and ultracold atomic chains as the result of strong spin-orbit interactions. In both cases the inner degrees of freedom can be considered as an additional space dimension, providing an interpretation of these systems as synthetic ladders, with artificial magnetic fluxes determined by the spin-orbit terms. In this work, we characterize the helical state which appears at filling $\nu=1/2$: this state is generated by a gap arising in the spin sector of the corresponding Luttinger liquid and it can be interpreted as the one-dimensional (1D) limit of a fractional quantum Hall state of bosonic pairs of fermions. We study its main features, focusing on entanglement properties and correlation functions. The techniques developed here provide a key example for the study of similar quasi-1D systems beyond the semiclassical approximation commonly adopted in the description of the Laughlin-like states.


title: Enumeration of Self-Dual Cyclic Codes of some Specific Lengths over Finite Fields

abstract: Self-dual cyclic codes form an important class of linear codes. It has been shown that there exists a self-dual cyclic code of length $n$ over a finite field if and only if $n$ and the field characteristic are even. The enumeration of such codes has been given under both the Euclidean and Hermitian products. However, in each case, the formula for self-dual cyclic codes of length $n$ over a finite field contains a characteristic function which is not easily computed. In this paper, we focus on more efficient ways to enumerate self-dual cyclic codes of lengths $2^\nu p^r$ and $2^\nu p^rq^s$, where $\nu$, $r$, and $s$ are positive integers. Some number theoretical tools are established. Based on these results, alternative formulas and efficient algorithms to determine the number of self-dual cyclic codes of such lengths are provided.


title: Particle-like Structure of Lie algebras

abstract: If a Lie algebra structure g on a vector space is the sum of a family of mutually compatible Lie algebra structures g_i's, we say that g is simply assembled from the g_i's. Repeating this procedure with a number of Lie algebras, themselves simply assembled from the g_i's, one obtains a Lie algebra assembled in two steps from the g_i's, and so on. We describe the process of modular disassembling of a Lie algebra into a unimodular and a non-unimodular part. We then study two inverse questions: which Lie algebras can be assembled from a given family of Lie algebras, and from which Lie algebras can a given Lie algebra be assembled? We develop some basic assembling and disassembling techniques that constitute the elements of a new approach to the general theory of Lie algebras. The main result of our theory is that any finite-dimensional Lie algebra over an algebraically closed field of characteristic zero or over R can be assembled in a finite number of steps from two elementary constituents, which we call dyons and triadons. Up to an abelian summand, a dyon is a Lie algebra structure isomorphic to the non-abelian 2-dimensional Lie algebra, while a triadon is isomorphic to the 3-dimensional Heisenberg Lie algebra. As an example, we describe constructions of classical Lie algebras from triadons.


title: An independent axiomatisation for free short-circuit logic

abstract: Short-circuit evaluation denotes the semantics of propositional connectives in which the second argument is evaluated only if the first argument does not suffice to determine the value of the expression. Free short-circuit logic is the equational logic in which compound statements are evaluated from left to right, while atomic evaluations are not memorised throughout the evaluation, i.e., evaluations of distinct occurrences of an atom in a compound statement may yield different truth values. We provide a simple semantics for free SCL and an independent axiomatisation. Finally, we discuss evaluation strategies, some other SCLs, and side effects.


title: Physiological Aging as an Infinitesimally Ratcheted Random Walk

abstract: The distribution of a population throughout the physiological age of the individuals is very relevant information in population studies. It has been modeled by the Langevin and the Fokker- Planck equations. A major problem with these equations is that they allow the physiological age to move back in time. This paper proposes an Infinitesimally ratcheted random walk as a way to solve that problem. Two mathematical representations are proposed. One of them uses a non-local scalar field. The other one is local, but involves a multi-component field of speed states. These two formulations are compared to each other and to the Fokker-Planck equation. The relevant properties are discussed. The dynamics of the mean and variance of the population age resulting from the two proposed formulations are obtained.


title: Grounding Spatio-Semantic Referring Expressions for Human-Robot Interaction

abstract: The human language is one of the most natural interfaces for humans to interact with robots. This paper presents a robot system that retrieves everyday objects with unconstrained natural language descriptions. A core issue for the system is semantic and spatial grounding, which is to infer objects and their spatial relationships from images and natural language expressions. We introduce a two-stage neural-network grounding pipeline that maps natural language referring expressions directly to objects in the images. The first stage uses visual descriptions in the referring expressions to generate a candidate set of relevant objects. The second stage examines all pairwise relationships between the candidates and predicts the most likely referred object according to the spatial descriptions in the referring expressions. A key feature of our system is that by leveraging a large dataset of images labeled with text descriptions, it allows unrestricted object types and natural language referring expressions. Preliminary results indicate that our system outperforms a near state-of-the-art object comprehension system on standard benchmark datasets. We also present a robot system that follows voice commands to pick and place previously unseen objects.


title: Submodular Mini-Batch Training in Generative Moment Matching Networks

abstract: This article was withdrawn because (1) it was uploaded without the co-authors' knowledge or consent, and (2) there are allegations of plagiarism.


title: Circular Networks from Distorted Metrics

abstract: Trees have long been used as a graphical representation of species relationships. However complex evolutionary events, such as genetic reassortments or hybrid speciations which occur commonly in viruses, bacteria and plants, do not fit into this elementary framework. Alternatively, various network representations have been developed. Circular networks are a natural generalization of leaf-labeled trees interpreted as split systems, that is, collections of bipartitions over leaf labels corresponding to current species. Although such networks do not explicitly model specific evolutionary events of interest, their straightforward visualization and fast reconstruction have made them a popular exploratory tool to detect network-like evolution in genetic datasets. Standard reconstruction methods for circular networks, such as Neighbor-Net, rely on an associated metric on the species set. Such a metric is first estimated from DNA sequences, which leads to a key difficulty: distantly related sequences produce statistically unreliable estimates. This is problematic for Neighbor-Net as it is based on the popular tree reconstruction method Neighbor-Joining, whose sensitivity to distance estimation errors is well established theoretically. In the tree case, more robust reconstruction methods have been developed using the notion of a distorted metric, which captures the dependence of the error in the distance through a radius of accuracy. Here we design the first circular network reconstruction method based on distorted metrics. Our method is computationally efficient. Moreover, the analysis of its radius of accuracy highlights the important role played by the maximum incompatibility, a measure of the extent to which the network differs from a tree.


title: Random Bit Quadrature and Approximation of Distributions on Hilbert Spaces

abstract: We study the approximation of expectations $\E(f(X))$ for Gaussian random elements $X$ with values in a separable Hilbert space $H$ and Lipschitz continuous functionals $f \colon H \to \R$. We consider restricted Monte Carlo algorithms, which may only use random bits instead of random numbers. We determine the asymptotics (in some cases sharp up to multiplicative constants, in the other cases sharp up to logarithmic factors) of the corresponding $n$-th minimal error in terms of the decay of the eigenvalues of the covariance operator of $X$. It turns out that, within the margins from above, restricted Monte Carlo algorithms are not inferior to arbitrary Monte Carlo algorithms, and suitable random bit multilevel algorithms are optimal. The analysis of this problem leads to a variant of the quantization problem, namely, the optimal approximation of probability measures on $H$ by uniform distributions supported by a given, finite number of points. We determine the asymptotics (up to multiplicative constants) of the error of the best approximation for the one-dimensional standard normal distribution, for Gaussian measures as above, and for scalar autonomous SDEs.


title: Evaporation/Antievaporation and energy conditions in alternative gravity

abstract: We discuss the evaporation and antievaporation instabilities of Nariai solution in extended theories of gravity. These phenomena were explicitly shown in several different extensions of General Relativity, suggesting that a universal cause is behind them. We show that evaporation and antievaporation are originated from deformations of energy conditions on the Nariai horizon. Energy conditions get new contributions from the extra propagating degrees of freedom, which can provide extra focalizing or antifocalizing terms in the Raychanduri equation. We also show two explicit examples in $f(R)$-gravity and Gauss-Bonnet gravity.


title: Topological aspects of group $C^*$-algebras

abstract: We discuss basic topological properties of unitary dual spaces of nilpotent Lie groups, using some ideas from operator algebras and their noncommutative dimension theory. The general results are illustrated by many examples.


title: Halftone Image Watermarking by Content Aware Double-sided Embedding Error Diffusion

abstract: In this paper, we carry out a performance analysis from a probabilistic perspective to introduce the EDHVW methods' expected performances and limitations. Then, we propose a new general error diffusion based halftone visual watermarking (EDHVW) method, Content aware Double-sided Embedding Error Diffusion (CaDEED), via considering the expected watermark decoding performance with specific content of the cover images and watermark, different noise tolerance abilities of various cover image content and the different importance levels of every pixel (when being perceived) in the secret pattern (watermark). To demonstrate the effectiveness of CaDEED, we propose CaDEED with expectation constraint (CaDEED-EC) and CaDEED-NVF&IF (CaDEED-N&I). Specifically, we build CaDEED-EC by only considering the expected performances of specific cover images and watermark. By adopting the noise visibility function (NVF) and proposing the importance factor (IF) to assign weights to every embedding location and watermark pixel, respectively, we build the specific method CaDEED-N&I. In the experiments, we select the optimal parameters for NVF and IF via extensive experiments. In both the numerical and visual comparisons, the experimental results demonstrate the superiority of our proposed work.


title: Controllable Continuous evolution of electronic states in a single quantum ring

abstract: Intense terahertz laser field is shown to have a profound effect on the electronic and optical properties of quantum rings, where the isotropic and anisotropic quantum rings can now be treated on equal footing. We have demonstrated that in isotropic quantum rings the laser field creates irregular AB oscillations that are usually expected in anisotropic rings. Further, we have shown for the first time that intense laser fields can restore the {\it isotropic} physical properties in anisotropic quantum rings. In principle, all types of anisotropies (structural, effective masses, defects, etc.) can evolve as in isotropic rings, in our present approach. Most importantly, we have found a continuous evolution of the energy spectra and intraband optical characteristics of structurally anisotropic quantum rings to those of isotropic rings, in a controlled manner, with the help of a laser field.


title: Properties of open and hidden charm mesons in light quark matter

abstract: In this work we study the implications of light-quark pionic matter at finite temperatures on the properties of open and hidden charm mesons. The meson-meson interactions are described by means of a chiral unitary approach accounting for coupled channels effects. The in-medium Lippmann-Schwinger Equations, which consider the change in self-energy that the mesons acquire from interacting with the surrounding pionic matter, are solved self-consistently, and the spectral functions of the mesons in the hot pion bath are obtained. It is observed that the charmed mesons develop a quite substantial pion-induced width, being of several tens at a temperature of 150 MeV. The $J/\Psi$ meson stays narrow, but its pionic width at 150 MeV, found to be around 0.1 MeV, is already larger that its vacuum width.


title: Robust Bayesian Optimization with Student-t Likelihood

abstract: Bayesian optimization has recently attracted the attention of the automatic machine learning community for its excellent results in hyperparameter tuning. BO is characterized by the sample efficiency with which it can optimize expensive black-box functions. The efficiency is achieved in a similar fashion to the learning to learn methods: surrogate models (typically in the form of Gaussian processes) learn the target function and perform intelligent sampling. This surrogate model can be applied even in the presence of noise; however, as with most regression methods, it is very sensitive to outlier data. This can result in erroneous predictions and, in the case of BO, biased and inefficient exploration. In this work, we present a GP model that is robust to outliers which uses a Student-t likelihood to segregate outliers and robustly conduct Bayesian optimization. We present numerical results evaluating the proposed method in both artificial functions and real problems.


title: Energy-Efficient Data Transfer Algorithms for HTTP-Based Services

abstract: According to recent statistics, more than 1 zettabytes of data is moved over the Internet annually, which consumes several terawatt hours of electricity, and costs billions of US dollars to the world economy. HTTP protocol is used in the majority of these data transfers, accounting for 70% of the global Internet traffic. We claim that HTTP transfers, and the services based on HTTP, can become more energy efficient without any performance degradation by application-level tuning of certain protocol parameters. In this paper, we analyze several application-level parameters that affect the throughput and energy consumption in HTTP data transfers, such as the level of parallelism, concurrency, and pipelining. We introduce SLA-based algorithms which can decide the best combination of these parameters based on user-defined energy efficiency and performance criteria. Our experimental results show that up to 80% energy savings can be achieved at the client and server hosts during HTTP data transfers and the end-to-end data throughput can be increased at the same time.


title: Sciunits: Reusable Research Objects

abstract: Science is conducted collaboratively, often requiring knowledge sharing about computational experiments. When experiments include only datasets, they can be shared using Uniform Resource Identifiers (URIs) or Digital Object Identifiers (DOIs). An experiment, however, seldom includes only datasets, but more often includes software, its past execution, provenance, and associated documentation. The Research Object has recently emerged as a comprehensive and systematic method for aggregation and identification of diverse elements of computational experiments. While a necessary method, mere aggregation is not sufficient for the sharing of computational experiments. Other users must be able to easily recompute on these shared research objects. In this paper, we present the sciunit, a reusable research object in which aggregated content is recomputable. We describe a Git-like client that efficiently creates, stores, and repeats sciunits. We show through analysis that sciunits repeat computational experiments with minimal storage and processing overhead. Finally, we provide an overview of sharing and reproducible cyberinfrastructure based on sciunits gaining adoption in the domain of geosciences.


title: Simulation and analysis of ${\gamma}$-Ni cellular growth during laser powder deposition of Ni-based superalloys

abstract: Cellular or dendritic microstructures that result as a function of additive manufacturing solidification conditions in a Ni-based melt pool are simulated in the present work using three-dimensional phase-field simulations. A macroscopic thermal model is used to obtain the temperature gradient $G$ and the solidification velocity $V$ which are provided as inputs to the phase-field model. We extract the cell spacings, cell core compositions, and cell tip as well as mushy zone temperatures from the simulated microstructures as a function of $V$. Cell spacings are compared with different scaling laws that correlate to the solidification conditions and approximated by $G^{-m}V^{-n}$. Cell core compositions are compared with the analytical solutions of a dendrite growth theory and found to be in good agreement. Through analysis of the mushy zone, we extract a characteristic bridging plane, where the primary $\gamma$ phase coalesces across the intercellular liquid channels at a $\gamma$ fraction between 0.6 and 0.7. The temperature and the $\gamma$ fraction in this plane are found to decrease with increasing $V$. The simulated microstructural features are significant as they can be used as inputs for the simulation of subsequent heat treatment processes.


title: Choosing Smartly: Adaptive Multimodal Fusion for Object Detection in Changing Environments

abstract: Object detection is an essential task for autonomous robots operating in dynamic and changing environments. A robot should be able to detect objects in the presence of sensor noise that can be induced by changing lighting conditions for cameras and false depth readings for range sensors, especially RGB-D cameras. To tackle these challenges, we propose a novel adaptive fusion approach for object detection that learns weighting the predictions of different sensor modalities in an online manner. Our approach is based on a mixture of convolutional neural network (CNN) experts and incorporates multiple modalities including appearance, depth and motion. We test our method in extensive robot experiments, in which we detect people in a combined indoor and outdoor scenario from RGB-D data, and we demonstrate that our method can adapt to harsh lighting changes and severe camera motion blur. Furthermore, we present a new RGB-D dataset for people detection in mixed in- and outdoor environments, recorded with a mobile robot. Code, pretrained models and dataset are available at http://adaptivefusion.cs.uni-freiburg.de


title: The Dirichlet-to-Neumann operator for divergence form problems

abstract: We present a way of defining the Dirichlet-to-Neumann operator on general Hilbert spaces using a pair of operators for which each one's adjoint is formally the negative of the other. In particular, we define an abstract analogue of trace spaces and are able to give meaning to the Dirichlet-to-Neumann operator of divergence form operators perturbed by a bounded potential in cases where the boundary of the underlying domain does not allow for a well-defined trace. Moreover, a representation of the Dirichlet-to-Neumann operator as a first-order system of partial differential operators is provided. Using this representation, we address convergence of the Dirichlet-to-Neumann operators in the case that the appropriate reciprocals of the leading coefficients converge in the weak operator topology. We also provide some extensions to the case where the bounded potential is not coercive and consider resolvent convergence.


title: Integral-field kinematics and stellar populations of early-type galaxies out to three half-light radii

abstract: We observed twelve nearby HI -detected early-type galaxies (ETGs) of stellar mass $\sim 10^{10}M\odot \leq M_* \leq \sim 10^{11}M\odot$ with the Mitchell Integral-Field Spectrograph, reaching approximately three half-light radii in most cases. We extracted line-of-sight velocity distributions for the stellar and gaseous components. We find little evidence of transitions in the stellar kinematics of the galaxies in our sample beyond the central effective radius, with centrally fast-rotating galaxies remaining fast-rotating and centrally slow-rotating galaxies likewise remaining slow-rotating. This is consistent with these galaxies having not experienced late dry major mergers; however, several of our objects have ionised gas that is misaligned with respect to their stars, suggesting some kind of past interaction. We extract Lick index measurements of the commonly-used H$\beta$, Fe5015, Mg\, b, Fe5270 and Fe5335 absorption features, and we find most galaxies to have flat H$\beta$ gradients and negative Mg, b gradients. We measure gradients of age, metallicity and abundance ratio for our galaxies using spectral fitting, and for the majority of our galaxies find negative age and metallicity gradients. We also find the stellar mass-to-light ratios to decrease with radius for most of the galaxies in our sample. Our results are consistent with a view in which intermediate-mass ETGs experience mostly quiet evolutionary histories, but in which many have experienced some kind of gaseous interaction in recent times.


title: Deep borehole disposal of nuclear waste: US perspective

abstract: Radioactive waste disposal in deep boreholes may be more "ready" than disposal in mined geologic repositories since mankind has greater experience operating small deep holes - boreholes, than big shallow holes - mines. There are several thousand precedents for constructing >2 km deep boreholes and several hundred precedents for disposing long-lived wastes in boreholes. Borehole disposal is likely to be faster, cheaper, and more flexible than mined disposal, while also offering greater long-term isolation. Isolation would rely on the great depth, water density gradients, and reducing conditions to prevent vertical movement of waste up the borehole.


title: On certain families of planar patterns and fractals

abstract: This survey article is dedicated to some families of fractals that were introduced and studied during the last decade, more precisely, families of Sierpi\'nski carpets: limit net sets, generalised Sierpi\'nski carpets and labyrinth fractals. We give a unifying approach of these fractals and several of their topological and geometrical properties, by using the framework of planar patterns.


title: Engineering Er3+ placement and emission through chemically-synthesized self-aligned SiC:Ox nanowire photonic crystal structures

abstract: High precision placement and integration of color centers in a silicon-based nanosystem, such as a nanowire (NW) array, exhibiting high integration functionality and high photoluminescence (PL) yield can serve as a critical building block towards the practical realization of devices in the emerging field of quantum technologies. Herein, we report on an innovative synthesis route for realizing ultrathin silicon carbide (SiC) NW arrays doped with and without oxygen (SiC:Ox), and also erbium (Er). The arrays of the deterministically positioned NWs are grown in a self-aligned manner through chemical-vapor-deposition (CVD). A key enabler of this synthesis route is that SiC:Ox NW photonic crystal (PC) nanostructures are engineered with tailored geometry in precise locations during nanofabrication. These ultrathin NW PC structures not only facilitate the on-demand positioning of Er3+ ions but are pivotal in engineering the emission properties of these color centers. Through a combinational and systematic micro-PL (uPL) and power-dependence PL (PDPL) spectroscopy, PC architecture geometry effects on Er3+-related 1538 nm emission, which is the telecommunication wavelength used in optical fibers, were studied. Approximately 60-fold and 30-fold enhancements for, respectively, the room-temperature Er3+ PL emission and lifetime in the NW PC sample were observed compared to its thin-film analog. Furthermore, the 1538 nm emission in SiC:Ox NW PC was found to be modulated linearly with the PC lattice periodicity of the structure. The observed characteristics reveal the efficient Er3+-emission extraction from the technologically-friendly SiC:Ox NW PC structures.


title: A Point Process Model for Generating Biofilms with Realistic Microstructure and Rheology

abstract: Biofilms are communities of bacteria that exhibit a multitude of multiscale biomechanical behaviors. Recent experimental advances have lead to characterizations of these behaviors in terms of measurements of the viscoelastic moduli of biofilms grown in bioreactors and the fracture and fragmentation properties of biofilms. These properties are macroscale features of biofilms; however, a previous work by our group has shown that heterogeneous microscale features are critical in predicting biofilm rheology. In this paper we use tools from statistical physics to develop a generative statistical model of the positions of bacteria in biofilms. We show through simulation that the macroscopic mechanical properties of biofilms depend on the choice of microscale spatial model. Our key finding is that a biologically inspired model of the locations of bacteria in a biofilm is critical to the simulation of biofilms with realistic in silico mechanical properties and statistical characteristics.


title: Skeleton-Based Human Action Recognition with Global Context-Aware Attention LSTM Networks

abstract: Human action recognition in 3D skeleton sequences has attracted a lot of research attention. Recently, Long Short-Term Memory (LSTM) networks have shown promising performance in this task due to their strengths in modeling the dependencies and dynamics in sequential data. As not all skeletal joints are informative for action recognition, and the irrelevant joints often bring noise which can degrade the performance, we need to pay more attention to the informative ones. However, the original LSTM network does not have explicit attention ability. In this paper, we propose a new class of LSTM network, Global Context-Aware Attention LSTM (GCA-LSTM), for skeleton based action recognition. This network is capable of selectively focusing on the informative joints in each frame of each skeleton sequence by using a global context memory cell. To further improve the attention capability of our network, we also introduce a recurrent attention mechanism, with which the attention performance of the network can be enhanced progressively. Moreover, we propose a stepwise training scheme in order to train our network effectively. Our approach achieves state-of-the-art performance on five challenging benchmark datasets for skeleton based action recognition.


title: Analysis of blow-ups for the double obstacle problem in dimension two

abstract: In this article we study a normalised double obstacle problem with polynomial obstacles $ p^1\leq p^2$ under the assumption that $ p^1(x)=p^2(x)$ iff $ x=0$. In dimension two we give a complete characterisation of blow-up solutions depending on the coefficients of the polynomials $p^1, p^2$. In particular, we see that there exists a new type of blow-ups, that we call double-cone solutions since the coincidence sets $\{u=p^1\}$ and $\{u=p^2\}$ are cones with a common vertex. We prove the uniqueness of blow-up limits, and analyse the regularity of the free boundary in dimension two. In particular we show that if the solution to the double obstacle problem has a double-cone blow-up limit at the origin, then locally the free boundary consists of four $C^{1,\gamma}$-curves, meeting at the origin. In the end we give an example of a three-dimensional double-cone solution.


title: On the structure of radial solutions for some quasilinear elliptic equations

abstract: In this paper we study entire radial solutions for the quasilinear $p$-Laplace equation $\Delta_p u + k(x) f(u) = 0$ where $k$ is a radial positive weight and the nonlinearity behaves e.g. as $f(u)=u|u|^{q-2}-u|u|^{Q-2}$ with $q<Q$. In particular we focus our attention on solutions (positive and sign changing) which are infinitesimal at infinity, thus providing an extension of a previous result by Tang (2001).


title: Transitioning between Convolutional and Fully Connected Layers in Neural Networks

abstract: Digital pathology has advanced substantially over the last decade however tumor localization continues to be a challenging problem due to highly complex patterns and textures in the underlying tissue bed. The use of convolutional neural networks (CNNs) to analyze such complex images has been well adopted in digital pathology. However in recent years, the architecture of CNNs have altered with the introduction of inception modules which have shown great promise for classification tasks. In this paper, we propose a modified "transition" module which learns global average pooling layers from filters of varying sizes to encourage class-specific filters at multiple spatial resolutions. We demonstrate the performance of the transition module in AlexNet and ZFNet, for classifying breast tumors in two independent datasets of scanned histology sections, of which the transition module was superior.


title: Sizing up the population of gamma-ray binaries

abstract: Gamma-ray binaries are thought to be composed of a young pulsar in orbit around a massive O or Be star, with their gamma-ray emission powered by pulsar spindown. The number of such systems in our Galaxy is not known. We aim to estimate the total number of gamma-ray binaries in our Galaxy and to evaluate the prospects for new detections in the GeV and TeV energy range, taking into account that their gamma-ray emission is modulated on the orbital period. We model the population of gamma-ray binaries and evaluate the fraction of detected systems in surveys with the Fermi-LAT (GeV), HESS, HAWC and CTA (TeV) using observation-based and synthetic template lightcurves. The detected fraction depends more on the orbit-average flux than on the lightcurve shape. Our best estimate for the number of gamma-ray binaries is 101$_{-52}^{+89}$ systems. A handful of discoveries are expected by pursuing the Fermi-LAT survey. Discoveries in TeV surveys are less likely. However, this depends on the relative amounts of power emitted in GeV and TeV domains. There could be as many as $\approx$200 HESS J0632+057-like systems with a high ratio of TeV to GeV emission compared to other gamma-ray binaries. Statistics allow for as many as three discoveries in five years of HAWC observations and five discoveries in the first two years of the CTA Galactic Plane survey. Continued Fermi-LAT observations are favoured over ground-based TeV surveys to find new gamma-ray binaries. Gamma-ray observations are most sensitive to short orbital period systems with a high spindown pulsar power. Radio pulsar surveys (SKA) are likely to be more efficient in detecting long orbital period systems, providing a complementary probe into the gamma-ray binary population.


title: Modeling temporal treatment effects with zero inflated semi-parametric regression models: the case of local development policies in France

abstract: A semi-parametric approach is proposed to estimate the variation along time of the effects of two distinct public policies that were devoted to boost rural development in France over the same period of time. At a micro data level, it is often observed that the dependent variable, such as local employment, does not vary along time, so that we face a kind of zero inflated phenomenon that cannot be dealt with a continuous response model. We introduce a mixture model which combines a mass at zero and a continuous response. The suggested zero inflated semi-parametric statistical approach relies on the flexibility and modularity of additive models with the ability of panel data to deal with selection bias and to allow for the estimation of dynamic treatment effects. In this multiple treatment analysis, we find evidence of interesting patterns of temporal treatment effects with relevant nonlinear policy effects. The adopted semi-parametric modeling also offers the possibility of making a counterfactual analysis at an individual level. The methodology is illustrated and compared with parametric linear approaches on a few municipalities for which the mean evolution of the potential outcomes is estimated under the different possible treatments.


title: Ultraviolet light curves of Gaia16apd in superluminous supernova models

abstract: Observations of Gaia16apd revealed extremely luminous ultraviolet emission among superluminous supernovae (SLSNe). Using radiation hydrodynamics simulations we perform a comparison of UV light curves, color temperatures and photospheric velocities between the most popular SLSN models: pair-instability supernova, magnetar and interaction with circumstellar medium. We find that the interaction model is the most promising to explain the extreme UV luminosity of Gaia16apd. The differences in late-time UV emission and in color evolution found between the models can be used to link an observed SLSN event to the most appropriate model. Observations at UV wavelengths can be used to clarify the nature of SLSNe and more attention should be paid to them in future follow-up observations.


title: Augmented Lagrangian Functions for Cone Constrained Optimization: the Existence of Global Saddle Points and Exact Penalty Property

abstract: In the article we present a general theory of augmented Lagrangian functions for cone constrained optimization problems that allows one to study almost all known augmented Lagrangians for cone constrained programs within a unified framework. We develop a new general method for proving the existence of global saddle points of augmented Lagrangian functions, called the localization principle. The localization principle unifies, generalizes and sharpens most of the known results on existence of global saddle points, and, in essence, reduces the problem of the existence of saddle points to a local analysis of optimality conditions. With the use of the localization principle we obtain first necessary and sufficient conditions for the existence of a global saddle point of an augmented Lagrangian for cone constrained minimax problems via both second and first order optimality conditions. In the second part of the paper, we present a general approach to the construction of globally exact augmented Lagrangian functions. The general approach developed in this paper allowed us not only to sharpen most of the existing results on globally exact augmented Lagrangians, but also to construct first globally exact augmented Lagrangian functions for equality constrained optimization problems, for nonlinear second order cone programs and for nonlinear semidefinite programs. These globally exact augmented Lagrangians can be utilized in order to design new superlinearly (or even quadratically) convergent optimization methods for cone constrained optimization problems.


title: Insulator to Metal Transition in WO$_3$ Induced by Electrolyte Gating

abstract: Tungsten oxide and its associated bronzes (compounds of tungsten oxide and an alkali metal) are well known for their interesting optical and electrical characteristics. We have modified the transport properties of thin WO$_3$ films by electrolyte gating using both ionic liquids and polymer electrolytes. We are able to tune the resistivity of the gated film by more than five orders of magnitude, and a clear insulator-to-metal transition is observed. To clarify the doping mechanism, we have performed a series of incisive operando experiments, ruling out both a purely electronic effect (charge accumulation near the interface) and oxygen-related mechanisms. We propose instead that hydrogen intercalation is responsible for doping WO$_3$ into a highly conductive ground state and provide evidence that it can be described as a dense polaronic gas.


title: Radiation dominated particle and plasma dynamics

abstract: We consider the general problem of charged particle motion in a strong electromagnetic field of arbitrary configuration and find a universal behaviour: for sufficiently high field strengths, the radiation losses lead to a general tendency of the charge to move along the direction that locally yields zero lateral acceleration. The relativistic motion along such a direction results in no radiation losses, according to both classical and quantum descriptions of radiation reaction. We show that such a radiation-free direction (RFD) exists at each point of an arbitrary electromagnetic field, while the time-scale of approaching this direction decreases with the increase of field strength. Thus, in the case of a sufficiently strong electromagnetic field, at each point of space, the charges mainly move and form currents along local RFD, while the deviation of their motion from RFD can be calculated in order to account for their incoherent emission. This forms a general description of particle, and therefore plasma, dynamics in strong electromagnetic fields, the latter can be generated by state-of-the-art lasers or in astrophysical environments.


title: Nonlocal quasinormal modes for arbitrarily shaped three-dimensional plasmonic resonators

abstract: Nonlocal effects have been shown to be responsible for a variety of non-trivial optical effects in small-size plasmonic nanoparticles, beyond classical electrodynamics. However, it is not clear whether optical mode descriptions can be applied to such extreme confinement regimes. Here, we present a powerful and intuitive quasinormal mode description of the nonlocal optical response for three-dimensional plasmonic nanoresonators. The nonlocal hydrodynamical model and a generalized nonlocal optical response model for plasmonic nanoresonators are used to construct an intuitive modal theory and to compare to the local Drude model response theory. Using the example of a gold nanorod, we show how an efficient quasinormal mode picture is able to accurately capture the blueshift of the resonances, the higher damping rates in plasmonic nanoresonators, and the modified spatial profile of the plasmon quasinormal modes, even at the single mode level. We exemplify the use of this theory by calculating the Purcell factors of single quantum emitters, the electron energy-loss spectroscopy spatial maps, as well as the Mollow triplet spectra of field-driven quantum dots with and without nonlocal effects for different size nanoresonators. Our nonlocal quasinormal mode theory offers a reliable and efficient technique to study both classical and quantum optical problems in nanoplasmonics.


title: Two exercises of Comtet and two identities of Ruehr

abstract: A question proposed by Kimura and proved by Ruehr, Kimura and others in 1980 states that for any function $f$ continuous on $[-\frac{1}{2}, \frac{3}{2}]$ one has $$ \int_{-1/2}^{3/2} f(3x^2 - 2x^3) dx = 2 \int_0^1 f(3x^2 - 2x^3) dx. $$ In his proof Ruehr indicates, without giving an explicit proof, that this identity, applied to $f(t) = t^n$, implies two identities involving binomial sums, namely (after correction of a misprint) $$ \sum_{0 \leq j \leq n} 3^j {3n-j \choose 2n} = \sum_{0 \leq j \leq 2n} (-3)^j {3n-j \choose n} \ \ \mbox{and} \ \ \sum_{0 \leq j \leq n} 2^j {3n+1 \choose n-j} = \sum_{0 \leq j \leq 2n} (-4)^j {3n+1 \choose n+1+j}. $$ Using two identities given in a book of Comtet we provide an easy explicit way of deducing these identities from the above equality between integrals. Our derivation shows a link with the incomplete beta function, the binomial distribution law, the negative binomial distribution law, and a lemma used in a proof of a very weak form of the $(3x+1)$-conjecture.


title: Absolute intersection motive

abstract: The purpose of this article is to define and study the notion of absolute intersection motive.


title: The TESS-HERMES survey Data Release 1: high-resolution spectroscopy of the TESS southern continuous viewing zone

abstract: The Transiting Exoplanet Survey Satellite (TESS) will provide high precision time-series photometry for millions of stars with at least a half-hour cadence. Of particular interest are the circular regions of 12-degree radius centered around the ecliptic poles that will be observed continuously for a full year. Spectroscopic stellar parameters are desirable to characterize and select suitable targets for TESS, whether they are focused on exploring exoplanets, stellar astrophysics, or Galactic archaeology. Here, we present spectroscopic stellar parameters ($T_{\rm eff}$, $\log g$, [Fe/H], $v \sin i$, $v_{\rm micro}$) for about 16,000 dwarf and subgiant stars in TESS' southern continuous viewing zone. For almost all the stars, we also present Bayesian estimates of stellar properties including distance, extinction, mass, radius, and age using theoretical isochrones. Stellar surface gravity and radius are made available for an additional set of roughly 8,500 red giants. All our target stars are in the range $10<V<13.1$. Among them, we identify and list 227 stars belonging to the Large Magellanic Cloud. The data were taken using the the High Efficiency and Resolution Multi-Element Spectrograph (HERMES, R $\sim 28,000$) at the Anglo-Australian Telescope as part of the TESS-HERMES survey. Comparing our results with the TESS Input Catalog (TIC) shows that the TIC is generally efficient in separating dwarfs and giants, but it has flagged more than hundred cool dwarfs ($T_{\rm eff}< 4800$ K) as giants, which ought to be high-priority targets for the exoplanet search. The catalog can be accessed via http://www.physics.usyd.edu.au/tess-hermes/ , or at MAST via https://archive.stsci.edu/prepds/tess-hermes/ .

categories: astro-ph.SR astro-ph.EP astro-ph.GA astro-ph.IM


title: AirCode: Unobtrusive Physical Tags for Digital Fabrication

abstract: We present AirCode, a technique that allows the user to tag physically fabricated objects with given information. An AirCode tag consists of a group of carefully designed air pockets placed beneath the object surface. These air pockets are easily produced during the fabrication process of the object, without any additional material or postprocessing. Meanwhile, the air pockets affect only the scattering light transport under the surface, and thus are hard to notice to our naked eyes. But, by using a computational imaging method, the tags become detectable. We present a tool that automates the design of air pockets for the user to encode information. AirCode system also allows the user to retrieve the information from captured images via a robust decoding algorithm. We demonstrate our tagging technique with applications for metadata embedding, robotic grasping, as well as conveying object affordances.


title: The Digital Flynn Effect: Complexity of Posts on Social Media Increases over Time

abstract: Parents and teachers often express concern about the extensive use of social media by youngsters. Some of them see emoticons, undecipherable initialisms and loose grammar typical for social media as evidence of language degradation. In this paper, we use a simple measure of text complexity to investigate how the complexity of public posts on a popular social networking site changes over time. We analyze a unique dataset that contains texts posted by 942, 336 users from a large European city across nine years. We show that the chosen complexity measure is correlated with the academic performance of users: users from high-performing schools produce more complex texts than users from low-performing schools. We also find that complexity of posts increases with age. Finally, we demonstrate that overall language complexity of posts on the social networking site is constantly increasing. We call this phenomenon the digital Flynn effect. Our results may suggest that the worries about language degradation are not warranted.


title: Field patterns: a new type of wave with infinitely degenerate band structure

abstract: Field pattern materials (FP-materials) are space-time composites with PT-symmetry in which the one-dimensional- spatial distribution of the constituents changes in time in such a special manner to give rise to a new type of waves, which we call field pattern waves (FP-waves) [G. W. Milton and O. Mattei, Proc. R. Soc. A 473, 20160819 (2017), O. Mattei and G. W. Milton, arXiv:1705.00539 (2017)]. Specifically, due to the special periodic space-time geometry of these materials, when an instantaneous disturbance propagates through the system, the branching of the characteristic lines at the space-time interfaces between phases does not lead to a chaotic cascade of disturbances but concentrates on an orderly pattern of disturbances: this is the field pattern. By applying Bloch-Floquet theory we find that the dispersion diagrams associated with these FP-materials are infinitely degenerate: associated with each point on the dispersion diagram is an infinite space of Bloch functions, a basis for which are generalized functions each concentrated on a field pattern, paramaterized by a variable that we call the launch parameter. The dynamics separates into independent dynamics on the different field patterns, each with the same dispersion relation.


title: Characteristic Formulation for Metric $f(R)$ Gravity

abstract: In recent years, the Characteristic formulation of numerical relativity has found increasing use in the extraction of gravitational radiation from numerically generated spacetimes. In this paper, we formulate the Characteristic initial value problem for $f(R)$ gravity. We consider, in particular, the vacuum field equations of Metric $f(R)$ gravity in the Jordan frame, without utilising the dynamical equivalence with scalar-tensor theories. We present the full hierarchy of non-linear hypersurface and evolution equations necessary for numerical implementation in both tensorial and eth forms. Furthermore, we specialise the resulting equations to situations where the spacetime is almost Minkowski and almost Schwarszchild using standard linearization techniques. We obtain analytic solutions for the dominant $\ell=2$ mode and show that they satisfy the concomitant constraints. These results are ideally suited as testbed solutions for numerical codes. Finally, we point out that the Characteristic formulation can be used as a complementary analytic tool to the $1+1+2$ semi-tetrad formulation.


title: Next-to-next-to-leading-order QCD corrections to hadronic width of pseudoscalar quarkonium

abstract: We compute the next-to-next-to-leading order (NNLO) QCD corrections to the hadronic decay rates of the pseudoscalar quarkonia, at the lowest order in velocity expansion. The validity of NRQCD factorization for inclusive quarkonium decay process, for the first time, is verified to relative order $\alpha_s^2$. As a byproduct, the renormalization group equation (RGE) of the leading NRQCD 4-fermion operator ${\cal O}_1({}^1S_0)$ is also deduced to this perturbative order. By incorporating this new piece of correction together with available relativistic corrections, we find that there exists severe tension between the state-of-the-art NRQCD predictions and the measured $\eta_c$ hadronic width, and in particular the branching fraction of $\eta_c\to \gamma\gamma$. NRQCD appears to be capable of accounting for $\eta_b$ hadronic decay to a satisfactory degree, and our most refined prediction is ${\rm Br}(\eta_b\to \gamma\gamma) = (4.8\pm 0.7)\times 10^{-5}$.


title: ExGUtils: A python package for statistical analysis with the ex-gaussian probability density

abstract: The study of reaction times and their underlying cognitive processes is an important field in Psychology. Reaction times are usually modeled through the ex-Gaussian distribution, because it provides a good fit to multiple empirical data. The complexity of this distribution makes the use of computational tools an essential element in the field. Therefore, there is a strong need for efficient and versatile computational tools for the research in this area. In this manuscript we discuss some mathematical details of the ex-Gaussian distribution and apply the ExGUtils package, a set of functions and numerical tools, programmed for python, developed for numerical analysis of data involving the ex-Gaussian probability density. In order to validate the package, we present an extensive analysis of fits obtained with it, discuss advantages and differences between the least squares and maximum likelihood methods and quantitatively evaluate the goodness of the obtained fits (which is usually an overlooked point in most literature in the area). The analysis done allows one to identify outliers in the empirical datasets and criteriously determine if there is a need for data trimming and at which points it should be done.


title: Generation of the Complete Four-dimensional Bell Basis

abstract: The Bell basis is a distinctive set of maximally entangled two-particle quantum states that forms the foundation for many quantum protocols such as teleportation, dense coding and entanglement swapping. While the generation, manipulation, and measurement of two-level quantum states is well understood, the same is not true in higher dimensions. Here we present the experimental generation of a complete set of Bell states in a four-dimensional Hilbert space, comprising of 16 orthogonal entangled Bell-like states encoded in the orbital angular momentum of photons. The states are created by the application of generalized high-dimensional Pauli gates on an initial entangled state. Our results pave the way for the application of high-dimensional quantum states in complex quantum protocols such as quantum dense coding.


title: Massless spinning particle and null-string on $AdS_d$: projective-space approach

abstract: Massless spinning particle and tensionless string models on $AdS_d$ background in the projective-space realization are proposed as constrained Hamiltonian systems. Various forms of particle and string Lagrangians are derived and classical mechanics is studied including the Lax-type representation of the equations of motion. After that transition to the quantum theory is discussed. Analysis of potential anomalies in the tensionless string model necessitates introduction of ghosts and BRST charge. It is shown that quantum BRST charge is nilpotent for any $d$ if coordinate-momentum ordering for the phase-space bosonic variables, Weyl ordering for the fermions and $cb$ ($\gamma\beta$) ordering for ghosts is chosen, while conformal reparametrizations and space-time dilatations turn out to be anomalous for the ordering in terms of positive and negative Fourier modes of the phase-space variables and ghosts.


title: Rate distortion theory, metric mean dimension and measure theoretic entropy

abstract: We prove a variational principle for the metric mean dimension analog to the one in [LT]. Instead of using the rate distortion function we use the function $h_\mu(\epsilon,T,\delta)$ that is closely related to the entropy $h_\mu(T)$ of $\mu$. Our formulation has the advantage of being, in the authors opinion, more natural when doing computations. As a corollary we obtain a proof of the standard variational principle. We also obtain some relations between the rate distortion function with our function $\tilde{h}_\mu(\epsilon,T,\delta)$, a modification of $h_\mu(\epsilon,T,\delta)$ when replacing the dynamical metrics with the average dynamical metrics. Using our methods we also reprove the main result in [LT]. We will explain how to construct homeomorphisms on closed manifolds with maximal metric mean dimension. We end this paper with some questions that naturally arise from this work.


title: On the initial regime of pre-big bang cosmology

abstract: The production of a background of super-horizon curvature perturbations with the appropriate (red) spectrum needed to trigger the cosmic anisotropies observed on large scales is associated, in the context of pre-big bang inflation, with a phase of growing string coupling. The extension towards the past of such a phase is not limited in time by the dynamical backreaction of the quantum perturbations of the cosmological geometry and of its sources. A viable, slightly red spectrum of scalar perturbations can thus be the output of an asymptotic, perturbative regime which is well compatible with an initial string-vacuum state satisfying the postulate of "Asymptotic Past Triviality".


title: On the distance between homotopy classes in $W^{1/p,p}({\mathbb S}^1;{\mathbb S}^1)$

abstract: For every $p\in(1,\infty)$ there is a natural notion of topological degree for maps in $W^{1/p,p}({\mathbb S}^1;{\mathbb S}^1)$ which allows us to write that space as a disjoint union of classes, $W^{1/p,p}({\mathbb S}^1;{\mathbb S}^1)=\bigcup_{d\in{\mathbb Z}}\mathcal{E}_d$. For every pair $d_1,d_2\in {\mathbb Z}$, we show that the distance $\text{Dist}_{W^{1/p,p}}({\mathcal E}_{d_1}, {\mathcal E}_{d_2}):=\sup_{f\in{\mathcal E}_{d_1}}\ \inf_{g\in{\mathcal E}_{d_2}}\ d_{W^{1/p,p}}(f, g)$ equals the minimal $W^{1/p,p}$-energy in $\mathcal{E}_{d_1-d_2}$. In the special case $p=2$ we deduce from the latter formula an explicit value: $\text{Dist}_{W^{1/2,2}}({\mathcal E}_{d_1}, {\mathcal E}_{d_2})=2\pi|d_2-d_1|^{1/2}$.


title: Migration barriers for surface diffusion on a rigid lattice: challenges and solutions

abstract: Atomistic rigid lattice Kinetic Monte Carlo is an efficient method for simulating nano-objects and surfaces at timescales much longer than those accessible by molecular dynamics. A laborious part of constructing any Kinetic Monte Carlo model is, however, to calculate all migration barriers that are needed to give the probabilities for any atom jump event to occur in the simulations. One of the common methods of barrier calculations is Nudged Elastic Band. The number of barriers needed to fully describe simulated systems is typically between hundreds of thousands and millions. Calculations of such a large number of barriers of various processes is far from trivial. In this paper, we will discuss the challenges arising during barriers calculations on a surface and present a systematic and reliable tethering force approach to construct a rigid lattice barrier parameterization of face-centred and body-centred cubic metal lattices. We have produced several different barrier sets for Cu and for Fe that can be used for KMC simulations of processes on arbitrarily rough surfaces. The sets are published as Data in Brief articles and available for the use.


title: Exponential Sums and Riesz energies

abstract: We bound an exponential sum that appears in the study of irregularities of distribution (the low-frequency Fourier energy of the sum of several Dirac measures) by geometric quantities: a special case is that for all $\left\{ x_1, \dots, x_N\right\} \subset \mathbb{T}^2$, $X \geq 1$ and a universal $c>0$ $$ \sum_{i,j=1}^{N}{ \frac{X^2}{1 + X^4 \|x_i -x_j\|^4}} \lesssim \sum_{k \in \mathbb{Z}^2 \atop \|k\| \leq X}{ \left| \sum_{n=1}^{N}{ e^{2 \pi i \left\langle k, x_n \right\rangle}}\right|^2} \lesssim \sum_{i,j=1}^{N}{ X^2 e^{-c X^2\|x_i -x_j\|^2}}.$$ Since this exponential sum is intimately tied to rather subtle distribution properties of the points, we obtain nonlocal structural statements for near-minimizers of the Riesz-type energy. In the regime $X \gtrsim N^{1/2}$ both upper and lower bound match for maximally-separated point sets satisfying $\|x_i -x_j\| \gtrsim N^{-1/2}$.


title: The contribution of scalars to ${\cal N}=4$ SYM amplitudes II: Young tableaux, asymptotic factorisation and strong coupling

abstract: We disentangle the contribution of scalars to the OPE series of null polygonal Wilson loops/MHV gluon scattering amplitudes in multicolour ${\cal N}=4$ SYM. In specific, we develop a systematic computation of the $SO(6)$ matrix part of the Wilson loop by means of Young tableaux (with several examples too). Then, we use a peculiar factorisation property (when a group of rapidities becomes large) to deduce an explicit polar form. Furthermore, we emphasise the advantages of expanding the logarithm of the Wilson loop in terms of 'connected functions' as we apply this procedure to find an explicit strong coupling expansion (definitively proving that the leading order can prevail on the classical $AdS_5$ string contribution).


title: Ask Me Anything: A Conversational Interface to Augment Information Security Workers

abstract: Security products often create more problems than they solve, drowning users in alerts without providing the context required to remediate threats. This challenge is compounded by a lack of experienced personnel and security tools with complex interfaces. These interfaces require users to become domain experts or rely on repetitive, time consuming tasks to turn this data deluge into actionable intelligence. In this paper we present Artemis, a conversational interface to endpoint detection and response (EDR) event data. Artemis leverages dialog to drive the automation of complex tasks and reduce the need to learn a structured query language. Designed to empower inexperienced and junior security workers to better understand their security environment, Artemis provides an intuitive platform to ask questions of alert data as users are guided through triage and hunt workflows. In this paper, we will discuss our user-centric design methodology, feedback from user interviews, and the design requirements generated upon completion of our study. We will also present core functionality, findings from scenario-based testing, and future research for the Artemis platform.


title: Estimation of Inverse Weibull Distribution Under Type-I Hybrid Censoring

abstract: The hybrid censoring is a mixture of Type I and Type II censoring schemes. This paper presents the statistical inferences of the Inverse Weibull distribution when the data are Type-I hybrid censored. First we consider the maximum likelihood estimators of the unknown parameters. It is observed that the maximum likelihood estimators can not be obtained in closed form. We further obtain the Bayes estimators and the corresponding highest posterior density credible intervals of the unknown parameters under the assumption of independent gamma priors using the importance sampling procedure. We also compute the approximate Bayes estimators using Lindley's approximation technique. We have performed a simulation study and a real data analysis in order to compare the proposed Bayes estimators with the maximum likelihood estimators.


title: Implicitly disentangled renormalization

abstract: We propose a new implementation of real-space renormalization group (RG) transformations for quantum states on a lattice. Key to this approach is the removal of short-ranged entanglement, similar to Vidal's entanglement renormalization (ER), which allows a proper RG flow to be achieved. However, our proposal only uses operators that act locally within each block, such that the use of disentanglers acting across block boundaries is not required. By avoiding the use of disentanglers we argue many tensor network algorithms for studying quantum many-body systems can be significantly improved. The effectiveness of this RG approach is demonstrated through application to the ground state of a 1D system at criticality, which is shown to reach a scale-invariant fixed point.


title: Thermodynamic limits for optomechanical systems with conservative potentials

abstract: The mechanical force from light -- radiation pressure -- provides an intrinsic nonlinear interaction. Consequently, optomechanical systems near their steady state, such as the canonical optical spring, can display non-analytic behavior as a function of external parameters. This non-analyticity, a key feature of thermodynamic phase transitions, suggests that there could be an effective thermodynamic description of optomechanical systems. Here we explicitly define the thermodynamic limit for optomechanical systems and derive a set of sufficient constraints on the system parameters as the mechanical system grows large. As an example, we show how these constraints can be satisfied in a system with $\mathbb{Z}_2$ symmetry and derive a free energy, allowing us to characterize this as an equilibrium phase transition.


title: Finitistic Properties of High Complexity

abstract: We use fast-growing finite and infinite sequences of natural numbers and more complicated constructs to define models of hypercomputation and interpret non-arithmetic predicates, with the strongest extensions reaching full second order arithmetical truth and beyond. Since the predicates are interpreted using properties of certain natural finite structures, they are arguably finitistic.