title: Weighted estimates for positive operators and Doob maximal operators on filtered measure spaces

abstract: We characterize strong type and weak type inequalities with two weights for positive operators on filtered measure spaces. These estimates are probabilistic analogues of two-weight inequalities for positive operators associated to the dyadic cubes in $\mathbb R^n$ due to Lacey, Sawyer and Uriarte-Tuero \cite{LaSaUr}. Several mixed bounds for the Doob maximal operator on filtered measure spaces are also obtained. In fact, Hyt\"{o}nen-P\'{e}rez type and Lerner-Moen type norm estimates for Doob maximal operator are established. Our approaches are mainly based on the construction of principal sets.


title: An automatic regularization method: An application for 3D X-ray micro-CT reconstruction using sparse data

abstract: X-ray tomography is a reliable tool for determining the inner structure of 3D object with penetrating X-rays. However, traditional reconstruction methods such as FDK require dense angular sampling in the data acquisition phase leading to long measurement times, especially in X-ray micro-tomography to obtain high resolution scans. Acquiring less data using greater angular steps is an obvious way for speeding up the process and avoiding the need to save huge data sets available memory. However, computing 3D reconstruction from such a sparsely sampled dataset is very sensitive to measurement noise and modelling errors. An automatic regularization method is proposed for robust reconstruction, based on enforcing sparsity in the three-dimensional shearlet transform domain. The inputs of the algorithm are the projection data and {\it a priori} known expected degree of sparsity, denoted $0<{\mathcal C}_{pr}\leq 1$. The number ${\mathcal C}_{pr}$ can be calibrated from a few dense-angle reconstructions and fixed. Human subchondral bone samples were tested and morphometric parameters of the bone reconstructions were then analyzed using standard metrics. The proposed method is shown to outperform the baseline algorithm (FDK) in the case of sparsely collected data. The number of X-ray projections can be reduced up to 10\% of the total amount while retaining the quality of the reconstruction images and of the morphometric paramaters.


title: Efficient Noisy Optimisation with the Sliding Window Compact Genetic Algorithm

abstract: The compact genetic algorithm is an Estimation of Distribution Algorithm for binary optimisation problems. Unlike the standard Genetic Algorithm, no cross-over or mutation is involved. Instead, the compact Genetic Algorithm uses a virtual population represented as a probability distribution over the set of binary strings. At each optimisation iteration, exactly two individuals are generated by sampling from the distribution, and compared exactly once to determine a winner and a loser. The probability distribution is then adjusted to increase the likelihood of generating individuals similar to the winner. This paper introduces two straightforward variations of the compact Genetic Algorithm, each of which lead to a significant improvement in performance. The main idea is to make better use of each fitness evaluation, by ensuring that each evaluated individual is used in multiple win/loss comparisons. The first variation is to sample $n>2$ individuals at each iteration to make $n(n-1)/2$ comparisons. The second variation only samples one individual at each iteration but keeps a sliding history window of previous individuals to compare with. We evaluate methods on two noisy test problems and show that in each case they significantly outperform the compact Genetic Algorithm, while maintaining the simplicity of the algorithm.


title: Acoustic Impedance Calculation via Numerical Solution of the Inverse Helmholtz Problem

abstract: Assigning homogeneous boundary conditions, such as acoustic impedance, to the thermoviscous wave equations (TWE) derived by transforming the linearized Navier-Stokes equations (LNSE) to the frequency domain yields a so-called Helmholtz solver, whose output is a discrete set of complex eigenfunction and eigenvalue pairs. The proposed method -- the inverse Helmholtz solver (iHS) -- reverses such procedure by returning the value of acoustic impedance at one or more unknown impedance boundaries (IBs) of a given domain via spatial integration of the TWE for a given real-valued frequency with assigned conditions on other boundaries. The iHS procedure is applied to a second-order spatial discretization of the TWEs derived on an unstructured grid with staggered grid arrangement. The momentum equation only is extended to the center of each IB face where pressure and velocity components are co-located and treated as unknowns. One closure condition considered for the iHS is the assignment of the surface gradient of pressure phase over the IBs, corresponding to assigning the shape of the acoustic waveform at the IB. The iHS procedure is carried out independently for each frequency in order to return the complete broadband complex impedance distribution at the IBs in any desired frequency range. The iHS approach is first validated against Rott's theory for both inviscid and viscous, rectangular and circular ducts. The impedance of a geometrically complex toy cavity is then reconstructed and verified against companion full compressible unstructured Navier-Stokes simulations resolving the cavity geometry and one-dimensional impedance test tube calculations based on time-domain impedance boundary conditions (TDIBC). The iHS methodology is also shown to capture thermoacoustic effects, with reconstructed impedance values quantitatively in agreement with thermoacoustic growth rates.


title: The rotational shear in pre-collapse cores of massive stars

abstract: We evolve stellar models to study the rotational profiles of the pre-explosion cores of single massive stars that are progenitors of core collapse supernovae (CCSNe), and find large rotational shear above the iron core that might play an important role in the jet feedback explosion mechanism by amplifying magnetic fields before and after collapse. Initial masses of 15 Mo and 30 Mo and various values of the initial rotation velocity are considered, as well as a reduced mass-loss rate along the evolution and the effect of core-envelope coupling through magnetic fields. We find that the rotation profiles just before core collapse differ between models, but share the following properties. (1) There are narrow zones of very large rotational shear adjacent to convective zones. (2) The rotation rate of the inner core is slower than required to form a Keplerian accretion disk. (3) The outer part of the core and the envelope have non-negligible specific angular momentum compared to the last stable orbit around a black hole (BH). Our results suggest the feasibility of magnetic field amplification which might aid a jet-driven explosion leaving behind a neutron star. Alternatively, if the inner core fails in exploding the star, an accretion disk from the outer parts of the core might form and lead to a jet-driven CCSN which leaves behind a BH.


title: Structured Attentions for Visual Question Answering

abstract: Visual attention, which assigns weights to image regions according to their relevance to a question, is considered as an indispensable part by most Visual Question Answering models. Although the questions may involve complex relations among multiple regions, few attention models can effectively encode such cross-region relations. In this paper, we demonstrate the importance of encoding such relations by showing the limited effective receptive field of ResNet on two datasets, and propose to model the visual attention as a multivariate distribution over a grid-structured Conditional Random Field on image regions. We demonstrate how to convert the iterative inference algorithms, Mean Field and Loopy Belief Propagation, as recurrent layers of an end-to-end neural network. We empirically evaluated our model on 3 datasets, in which it surpasses the best baseline model of the newly released CLEVR dataset by 9.5%, and the best published model on the VQA dataset by 1.25%. Source code is available at https: //github.com/zhuchen03/vqa-sva.


title: Measuring Catastrophic Forgetting in Neural Networks

abstract: Deep neural networks are used in many state-of-the-art systems for machine perception. Once a network is trained to do a specific task, e.g., bird classification, it cannot easily be trained to do new tasks, e.g., incrementally learning to recognize additional bird species or learning an entirely different task such as flower recognition. When new tasks are added, typical deep neural networks are prone to catastrophically forgetting previous tasks. Networks that are capable of assimilating new information incrementally, much like how humans form new memories over time, will be more efficient than re-training the model from scratch each time a new task needs to be learned. There have been multiple attempts to develop schemes that mitigate catastrophic forgetting, but these methods have not been directly compared, the tests used to evaluate them vary considerably, and these methods have only been evaluated on small-scale problems (e.g., MNIST). In this paper, we introduce new metrics and benchmarks for directly comparing five different mechanisms designed to mitigate catastrophic forgetting in neural networks: regularization, ensembling, rehearsal, dual-memory, and sparse-coding. Our experiments on real-world images and sounds show that the mechanism(s) that are critical for optimal performance vary based on the incremental training paradigm and type of data being used, but they all demonstrate that the catastrophic forgetting problem has yet to be solved.


title: Volatility Spillovers and Heavy Tails: A Large t-Vector AutoRegressive Approach

abstract: Volatility is a key measure of risk in financial analysis. The high volatility of one financial asset today could affect the volatility of another asset tomorrow. These lagged effects among volatilities - which we call volatility spillovers - are studied using the Vector AutoRegressive (VAR) model. We account for the possible fat-tailed distribution of the VAR model errors using a VAR model with errors following a multivariate Student t-distribution with unknown degrees of freedom. Moreover, we study volatility spillovers among a large number of assets. To this end, we use penalized estimation of the VAR model with t-distributed errors. We study volatility spillovers among energy, biofuel and agricultural commodities and reveal bidirectional volatility spillovers between energy and biofuel, and between energy and agricultural commodities.


title: Learning for Active 3D Mapping

abstract: We propose an active 3D mapping method for depth sensors, which allow individual control of depth-measuring rays, such as the newly emerging solid-state lidars. The method simultaneously (i) learns to reconstruct a dense 3D occupancy map from sparse depth measurements, and (ii) optimizes the reactive control of depth-measuring rays. To make the first step towards the online control optimization, we propose a fast prioritized greedy algorithm, which needs to update its cost function in only a small fraction of pos- sible rays. The approximation ratio of the greedy algorithm is derived. An experimental evaluation on the subset of the KITTI dataset demonstrates significant improve- ment in the 3D map accuracy when learning-to-reconstruct from sparse measurements is coupled with the optimization of depth-measuring rays.


title: A note on the Sylvester equation over max-plus algebra

abstract: It is known that the solvability of a Sylvester equation over max-plus algebra can be determined in polynomial time by verifying its principal solution. A succinct representation of the principal solution is presented, with a more accurate computational complexity, for a Sylvester equation over max-plus algebra.


title: Importance of initial and final state effects for azimuthal correlations in p+Pb collisions

abstract: We investigate the relative importance of initial and final state effects on azimuthal correlations of gluons in low and high multiplicity p+Pb collisions. To achieve this, we couple Yang-Mills dynamics of pre-equilibrium gluon fields (IP-GLASMA) to a perturbative QCD based parton cascade for the final state evolution (BAMPS) on an event-by-event basis. We find that signatures of both the initial state correlations and final state interactions are seen in azimuthal correlation observables, such as $v_2\left\lbrace2PC\right\rbrace(p_T)$, their strength depending on the event multiplicity and transverse momentum. Initial state correlations dominate $v_2\left\lbrace2PC\right\rbrace(p_T)$ in low multiplicity events for transverse momenta $p_T>2~{\rm GeV}$. While final state interactions are dominant in high multiplicity events, initial state correlations affect $v_2\left\lbrace2PC\right\rbrace(p_T)$ for $p_T>2~{\rm GeV}$ as well as the pT integrated $v_2\left\lbrace2PC\right\rbrace$.


title: A Crossing Lemma for Jordan Curves

abstract: If two Jordan curves in the plane have precisely one point in common, and there they do not properly cross, then the common point is called a {\em touching point}. The main result of this paper is a Crossing Lemma for simple curves: Let $X$ and $T$ stand for the sets of intersection points and touching points, respectively, in a family of $n$ simple curves in the plane, no three of which pass through the same point. If $|T|>cn$, for some fixed constant $c>0$, then we prove that $|X|=\Omega(|T|(\log\log(|T|/n))^{1/504})$. In particular, if $|T|/n\rightarrow\infty$, then the number of intersection points is much larger than the number of touching points. As a corollary, we confirm the following long-standing conjecture of Richter and Thomassen: The total number of intersection points between $n$ pairwise intersecting simple closed (i.e., Jordan) curves in the plane, no three of which pass through the same point, is at least $(1-o(1))n^2$.


title: String-Inspired Special Grand Unification

abstract: We discuss a grand unified theory (GUT) based on an $SO(32)$ GUT gauge group broken to its subgroups including a special subgroup. In the $SO(32)$ GUT on six-dimensional (6D) orbifold space $M^4\times T^2/\mathbb{Z}_2$, one generation of the SM fermions can be embedded into a 6D bulk Weyl fermion in the $SO(32)$ vector representation. We show that for a three generation model, all the 6D and 4D gauge anomalies in the bulk and on the fixed points are canceled out without exotic chiral fermions at low energies.


title: The discrete moment problem with nonconvex shape constraints

abstract: The discrete moment problem is a foundational problem in distribution-free robust optimization, where the goal is to find a worst-case distribution that satisfies a given set of moments. This paper studies the discrete moment problems with additional "shape constraints" that guarantee the worst case distribution is either log-concave or has an increasing failure rate. These classes of shape constraints have not previously been studied in the literature, in part due to their inherent nonconvexities. Nonetheless, these classes of distributions are useful in practice. We characterize the structure of optimal extreme point distributions by developing new results in reverse convex optimization, a lesser-known tool previously employed in designing global optimization algorithms. We are able to show, for example, that an optimal extreme point solution to a moment problem with $m$ moments and log-concave shape constraints is piecewise geometric with at most $m$ pieces. Moreover, this structure allows us to design an exact algorithm for computing optimal solutions in a low-dimensional space of parameters. Moreover, We describe a computational approach to solving these low-dimensional problems, including numerical results for a representative set of instances.


title: On differential polynomial rings over locally nilpotent rings

abstract: Let $\delta$ be a derivation of a locally nilpotent ring $R$. Then the differential polynomial ring $R[X; \delta]$ cannot be mapped onto a ring with a non-zero idempotent. This answers a recent question by Greenfeld, Smoktunowicz and Ziembowski.


title: Experimental Observation of a Generalized Thouless Pump with a Single Spin

abstract: Adiabatic cyclic modulation of a one-dimensional periodic potential will result in quantized charge transport, which is termed the Thouless pump. In contrast to the original Thouless pump restricted by the topology of the energy band, here we experimentally observe a generalized Thouless pump that can be extensively and continuously controlled. The extraordinary features of the new pump originate from interband coherence in nonequilibrium initial states, and this fact indicates that a quantum superposition of different eigenstates individually undergoing quantum adiabatic following can also be an important ingredient unavailable in classical physics. The quantum simulation of this generalized Thouless pump in a two-band insulator is achieved by applying delicate control fields to a single spin in diamond. The experimental results demonstrate all principal characteristics of the generalized Thouless pump. Because the pumping in our system is most pronounced around a band-touching point, this work also suggests an alternative means to detect quantum or topological phase transitions.


title: Flag Bott manifolds and the toric closure of a generic orbit associated to a generalized Bott manifold

abstract: To a direct sum of holomorphic line bundles, we can associate two fibrations, whose fibers are, respectively, the corresponding full flag manifold and the corresponding projective space. Iterating these procedures gives, respectively, a flag Bott tower and a generalized Bott tower. It is known that a generalized Bott tower is a toric manifold. However a flag Bott tower is not toric in general but we show that it is a GKM manifold, and we also show that for a given generalized Bott tower we can find the associated flag Bott tower so that the closure of a generic torus orbit in the latter is a blow-up of the former along certain invariant submanifolds. We use GKM theory together with toric geometric arguments.


title: Time evolution of an unstable quantum system

abstract: After reviewing the description of an unstable state in the framework of Lee Hamiltonians (valid both for Quantum Mechanics (QM) and Quantum Field Theory (QFT)), we consider some theoretical aspects of non-exponential decays: the case of two decay channels, the broadening of the energy spectrum at short times, the effect of an imperfect measurement, the link to QFT, and the decay of an unstable moving particle with definite momentum. All the presented effects were not confirmed in experiments, hence are at the present stage predictions.


title: Correlation-driven Lifshitz transition at the emergence of the pseudogap phase in the two-dimensional Hubbard model

abstract: We study the relationship between the pseudogap and Fermi-surface topology in the two-dimensional Hubbard model by means of the cellular dynamical mean-field theory. We find two possible mean-field metallic solutions on a broad range of interaction, doping and frustration: a conventional renormalized metal and an unconventional pseudogap metal. At half-filling, the conventional metal is more stable and displays an interaction-driven Mott metal-insulator transition. However, for large interaction and small doping, region that is relevant for cuprates, the pseudogap phase becomes the ground state. By increasing doping, we show that a first-order transition from the pseudogap to the conventional metal is tight to a change of the Fermi surface from hole to electron like, unveiling a correlation-driven mechanism for a Lifshitz transition. This explains the puzzling link between pseudogap phase and Fermi surface topology which has been pointed out in recent experiments.


title: A new process-based vertical advection/diffusion theoretical model of ocean heat uptake

abstract: The vertical upwelling/diffusion model (VUDM) has historically played a key role in shaping our ideas about how the heat balance is achieved in the ocean. Its has been and is still widely used in many applications ranging from the estimation of transfer coefficients to the parameterisation of ocean heat uptake in Simple Climate Models (SCMs). Its conceptual value as a realistic theoretical model of the ocean heat balance has become increasingly unclear over the years however, because: 1) the different ways in which upwelling has been linked to high-latitude deep water formation and downgradient diffusion linked to vertical/diapycnal mixing have remained imprecise and somewhat ad-hoc so far; 2) other effects such as isopycnal mixing, density-compensated temperature anomalies, meso-scale eddy-induced advection and the depth-varying ocean area have all be demonstrated to affect actual ocean heat uptake as well, but their incorporation into existing VUDM frameworks has been problematic. In this paper, a new process-based vertical advection/diffusion theoretical model of ocean heat uptake is constructed that resolve all above difficulties. This new model is obtained by coarse-graining the full three-dimensional advection/diffusion for potential temperature carried by ocean climate models, by using the same isopycnal analysis as in the theory of ocean water masses. The resulting model describes the temporal evolution of the isopycnally-averaged thickness-weighted potential temperature in terms of an effective velocity that depends uniquely on the surface heating conditionally integrated in density classes, an effective diapycnal diffusivity controlled by isoneutral and dianeutral mixing, and an additional term linked to the meridional transport of density-compensated temperature anomalies by the diabatic residual overturning circulation.


title: An Insight on the Ratio of Transmission of Motion (RoToM) and its Relation to the Centroidal Inertia Matrix

abstract: This paper analyses the dynamic response of a robot when subject to an external force that is applied to its Center of Mass (CoM). The Ratio of Transmission of Motion (RoToM) is proposed as a novel indicator of what part of the applied force generates motion, and what part is dissipated by the passive forces due to mechanical constraints. It depends on the configuration of the robot and on the direction of the force, and is always between 0 and 1. Extending this concept, a transmissibility ellipsoid is used to describe the behavior of the robot given a certain configuration, and varying the direction of the applied force. Another physical measure that is related to the transmissibility ellipsoid is the transmissibility index: it provides an indication on how similarly the system behaves when subject to forces coming from different directions. The presented analysis aims to provide a deeper insight on the centroidal dynamics of a robot, and on its dependence on the configuration. It can be beneficial for developing whole-body controllers of redundant robots for e.g., reducing the effort in terms of joint torques to compensate for gravity, and more in general for designing interaction control architectures.


title: Variational principles for amenable metric mean dimensions

abstract: In this paper, we prove variational principles between metric mean dimension and rate distortion function for countable discrete amenable group actions which extend recently results by Lindenstrauss and Tsukamoto.


title: Finite subgraphs of an extension graph

abstract: Let $\Gamma$ be a finite graph and let $\Gamma^{\mathrm{e}}$ be its extension graph. We inductively define a sequence $\{\Gamma_i\}$ of finite induced subgraphs of $\Gamma^{\mathrm{e}}$ through successive applications of an operation called "doubling along a star". Then we show that every finite induced subgraph of $\Gamma^{\mathrm{e}}$ is isomorphic to an induced subgraph of some $\Gamma_i$.


title: On the cardinality of the manifold set

abstract: We study the cardinality of the set of manifolds homotopy equivalent to a given manifold M and compare it to the cardinality of the structure set of M.


title: Analysis of parametrically driven exchange-type (iSWAP) and two-photon (bSWAP) interactions between superconducting qubits

abstract: A current bottleneck for quantum computation is the realization of high-fidelity two-qubit quantum operations between two and more quantum bits in arrays of coupled qubits. Gates based on parametrically driven tunable couplers offer a convenient method to entangle multiple qubits by selectively activating different interaction terms in the effective Hamiltonian. Here, we study theoretically and experimentally a superconducting qubit setup with two transmon qubits connected via a capacitively coupled tunable bus. We develop a time-dependent Schrieffer-Wolff transformation and derive analytic expressions for exchange-interaction gates swapping excitations between the qubits (iSWAP) and for two-photon gates creating and annihilating simultaneous two-qubit excitations (bSWAP). We find that the bSWAP gate is generally slower than the more commonly used iSWAP gate, but features favorable scalability properties with less severe frequency crowding effects, which typically degrade the fidelity in multi-qubit setups. Our theoretical results are backed by experimental measurements as well as exact numerical simulations including the effects of higher transmon levels and dissipation.


title: MoPS: A Modular Protection Scheme for Long-Term Storage

abstract: Current trends in technology, such as cloud computing, allow outsourcing the storage, backup, and archiving of data. This provides efficiency and flexibility, but also poses new risks for data security. It in particular became crucial to develop protection schemes that ensure security even in the long-term, i.e. beyond the lifetime of keys, certificates, and cryptographic primitives. However, all current solutions fail to provide optimal performance for different application scenarios. Thus, in this work, we present MoPS, a modular protection scheme to ensure authenticity and integrity for data stored over long periods of time. MoPS does not come with any requirements regarding the storage architecture and can therefore be used together with existing archiving or storage systems. It supports a set of techniques which can be plugged together, combined, and migrated in order to create customized solutions that fulfill the requirements of different application scenarios in the best possible way. As a proof of concept we implemented MoPS and provide performance measurements. Furthermore, our implementation provides additional features, such as guidance for non-expert users and export functionalities for external verifiers.


title: Face distributions of embeddings of complete graphs

abstract: A longstanding open question of Archdeacon and Craft asks whether every complete graph has a minimum genus embedding with at most one nontriangular face. We exhibit such an embedding for each complete graph except $K_8$, the complete graph on 8 vertices, and we go on to prove that no such embedding can exist for this graph. Our approach also solves a more general problem, giving a complete characterization of the possible face distributions (i.e. the numbers of faces of each length) realizable by minimum genus embeddings of each complete graph. We also tackle analogous questions for nonorientable and maximum genus embeddings.


title: The Extrinsic Primitive Torsion Problem

abstract: Let $P_k$ be the subgroup generated by $k$th powers of primitive elements in $F_r$, the free group of rank $r$. We show that $F_2/P_k$ is finite if and only if $k$ is $1$, $2$, or $3$. We also fully characterize $F_2/P_k$ for $k = 2,3,4$. In particular, we give a faithful nine dimensional representation of $F_2/P_4$ with infinite image.


title: On the compatibility of the IceCube results with an universal neutrino spectrum

abstract: There is mounting evidence that the IceCube findings cannot be described simply invoking a single power-law spectrum for cosmic neutrinos. We discuss which are the minimal modifications of the spectrum that are required by the existing observations and we obtain a universal cosmic neutrino spectrum, i.e. valid for all neutrino flavors. Our approach to such task can be outlined in three points: 1) we rely on the throughgoing muon analysis above 200 TeV and on the high-energy starting events (HESE) analysis below this energy, requiring the continuity of the spectrum; 2) we assume that cosmic neutrinos are subject to three-flavor neutrino oscillations in vacuum; 3) we make no assumption on the astrophysical mechanism of production, except for no tau neutrino component at the source. We test our model using the information provided by HESE shower-like events and by the lack of double pulses and resonant events. We find that a two power-law spectrum is compatible with all observations. The model agrees with the standard picture of pion decay as a source of neutrinos, and indicates a slight preference for a pgamma mechanism of production. We discuss the tension between the HESE and the throughgoing muons datasets around few tens TeV, focussing on the angular distributions of the spectra. The expected number of smoking-gun signatures of nu-tau induced events (referred to as double pulses) is quantified: in the baseline model we predict 0.65 double pulse events in 5.7 years. Uncertainties in the predictions are quantified.


title: Global existence of weak even solutions for an isotropic Landau equation with Coulomb potential

abstract: In this manuscript we consider an isotropic modification for the Landau equation with Coulomb potential in three space dimensions. Global in time existence of weak solutions for even initial data is shown by employing a time semi-discretization of the equation, an entropy inequality and a uniform estimate for the second moment of the solution to the discretized problem. Moreover, under an additional condition that has to be satisfied uniformly over time, uniform boundedness of the solution is proved, with bounds depending solely on the mass, second moment and entropy of the solution. A byproduct of our analysis is a proof of improved regularity for weak solutions to the Landau equation with Coulomb potential.


title: Extraction of Airways with Probabilistic State-space Models and Bayesian Smoothing

abstract: Segmenting tree structures is common in several image processing applications. In medical image analysis, reliable segmentations of airways, vessels, neurons and other tree structures can enable important clinical applications. We present a framework for tracking tree structures comprising of elongated branches using probabilistic state-space models and Bayesian smoothing. Unlike most existing methods that proceed with sequential tracking of branches, we present an exploratory method, that is less sensitive to local anomalies in the data due to acquisition noise and/or interfering structures. The evolution of individual branches is modelled using a process model and the observed data is incorporated into the update step of the Bayesian smoother using a measurement model that is based on a multi-scale blob detector. Bayesian smoothing is performed using the RTS (Rauch-Tung-Striebel) smoother, which provides Gaussian density estimates of branch states at each tracking step. We select likely branch seed points automatically based on the response of the blob detection and track from all such seed points using the RTS smoother. We use covariance of the marginal posterior density estimated for each branch to discriminate false positive and true positive branches. The method is evaluated on 3D chest CT scans to track airways. We show that the presented method results in additional branches compared to a baseline method based on region growing on probability images.


title: A review for an isotropic Landau model

abstract: We consider the equation $u_t = \mbox{Div}(a[u]\nabla u - u\nabla a[u])$, $-\Delta a = u$. This model has attracted some attention in the recents years and several results are available in the literature. We review recent results on existence and smoothness of solutions and explain the open problems.


title: Field dependence of non-reciprocal magnons in chiral MnSi

abstract: Spin waves in chiral magnetic materials are strongly influenced by the Dzyaloshinskii-Moriya interaction resulting in intriguing phenomena like non-reciprocal magnon propagation and magnetochiral dichroism. Here, we study the non-reciprocal magnon spectrum of the archetypical chiral magnet MnSi and its evolution as a function of magnetic field covering the field-polarized and conical helix phase. Using inelastic neutron scattering, the magnon energies and their spectral weights are determined quantitatively after deconvolution with the instrumental resolution. In the field-polarized phase the imaginary part of the dynamical susceptibility $\chi''(\varepsilon, {\bf q})$ is shown to be asymmetric with respect to wavevectors ${\bf q}$ longitudinal to the applied magnetic field ${\bf H}$, which is a hallmark of chiral magnetism. In the helimagnetic phase, $\chi''(\varepsilon, {\bf q})$ becomes increasingly symmetric with decreasing ${\bf H}$ due to the formation of helimagnon bands and the activation of additional spinflip and non-spinflip scattering channels. The neutron spectra are in excellent quantitative agreement with the low-energy theory of cubic chiral magnets with a single fitting parameter being the damping rate of spin waves.


title: Multimodal Classification for Analysing Social Media

abstract: Classification of social media data is an important approach in understanding user behavior on the Web. Although information on social media can be of different modalities such as texts, images, audio or videos, traditional approaches in classification usually leverage only one prominent modality. Techniques that are able to leverage multiple modalities are often complex and susceptible to the absence of some modalities. In this paper, we present simple models that combine information from different modalities to classify social media content and are able to handle the above problems with existing techniques. Our models combine information from different modalities using a pooling layer and an auxiliary learning task is used to learn a common feature space. We demonstrate the performance of our models and their robustness to the missing of some modalities in the emotion classification domain. Our approaches, although being simple, can not only achieve significantly higher accuracies than traditional fusion approaches but also have comparable results when only one modality is available.


title: Aktuelle Entwicklungen in der Automatischen Musikverfolgung

abstract: In this paper we present current trends in real-time music tracking (a.k.a. score following). Casually speaking, these algorithms "listen" to a live performance of music, compare the audio signal to an abstract representation of the score, and "read" along in the sheet music. In this way at any given time the exact position of the musician(s) in the sheet music is computed. Here, we focus on the aspects of flexibility and usability of these algorithms. This comprises work on automatic identification and flexible tracking of the piece being played as well as current approaches based on Deep Learning. The latter enables direct learning of correspondences between complex audio data and images of the sheet music, avoiding the complicated and time-consuming definition of a mid-level representation. ----- Diese Arbeit befasst sich mit aktuellen Entwicklungen in der automatischen Musikverfolgung durch den Computer. Es handelt sich dabei um Algorithmen, die einer musikalischen Auff\"uhrung "zuh\"oren", das aufgenommene Audiosignal mit einer (abstrakten) Repr\"asentation des Notentextes vergleichen und sozusagen in diesem mitlesen. Der Algorithmus kennt also zu jedem Zeitpunkt die Position der Musiker im Notentext. Neben der Vermittlung eines generellen \"Uberblicks, liegt der Schwerpunkt dieser Arbeit auf der Beleuchtung des Aspekts der Flexibilit\"at und der einfacheren Nutzbarkeit dieser Algorithmen. Es wird dargelegt, welche Schritte get\"atigt wurden (und aktuell get\"atigt werden) um den Prozess der automatischen Musikverfolgung einfacher zug\"anglich zu machen. Dies umfasst Arbeiten zur automatischen Identifikation von gespielten St\"ucken und deren flexible Verfolgung ebenso wie aktuelle Ans\"atze mithilfe von Deep Learning, die es erlauben Bild und Ton direkt zu verbinden, ohne Umwege \"uber abstrakte und nur unter gro{\ss}em Zeitaufwand zu erstellende Zwischenrepr\"asentationen.


title: Anti-de Sitter strictly GHC-regular groups which are not lattices

abstract: For $d=4, 5, 6, 7, 8$, we exhibit examples of $\mathrm{AdS}^{d,1}$ strictly GHC-regular groups which are not quasi-isometric to the hyperbolic space $\mathbb{H}^d$, nor to any symmetric space. This provides a negative answer to Question 5.2 in [9A12] and disproves Conjecture 8.11 of Barbot-M\'erigot [BM12]. We construct those examples using the Tits representation of well-chosen Coxeter groups. On the way, we give an alternative proof of Moussong's hyperbolicity criterion [Mou88] for Coxeter groups built on Danciger-Gu\'eritaud-Kassel [DGK17] and find examples of Coxeter groups $W$ such that the space of strictly GHC-regular representations of $W$ into $\mathrm{PO}_{d,2}(\mathbb{R})$ up to conjugation is disconnected.


title: Reallocating and Resampling: A Comparison for Inference

abstract: Simulation-based inference plays a major role in modern statistics, and often employs either reallocating (as in a randomization test) or resampling (as in bootstrapping). Reallocating mimics random allocation to treatment groups, while resampling mimics random sampling from a larger population; does it matter whether the simulation method matches the data collection method? Moreover, do the results differ for testing versus estimation? Here we answer these questions in a simple setting by exploring the distribution of a sample difference in means under a basic two group design and four different scenarios: true random allocation, true random sampling, reallocating, and resampling. For testing a sharp null hypothesis, reallocating is superior in small samples, but reallocating and resampling are asymptotically equivalent. For estimation, resampling is generally superior, unless the effect is truly additive. Moreover, these results hold regardless of whether the data were collected by random sampling or random allocation.


title: Virtual orbital many-body expansions: A possible route towards the full configuration interaction limit

abstract: In the present letter, it is demonstrated how full configuration interaction (FCI) results in extended basis sets may be obtained to within sub-kJ/mol accuracy by decomposing the energy in terms of many-body expansions in the virtual orbitals of the molecular system at hand. This extension of the FCI application range lends itself to two unique features of the current approach, namely that the total energy calculation can be performed entirely within considerably reduced orbital subspaces and may be so by means of embarrassingly parallel programming. Facilitated by a rigorous and methodical screening protocol and further aided by expansion points different from the Hartree-Fock solution, all-electron numerical results are reported for H$_2$O in polarized core-valence basis sets ranging from double-$\zeta$ (10 $e$, 28 $o$) to quadruple-$\zeta$ (10 $e$, 144 $o$) quality.


title: The Core Label Order of a Congruence-Uniform Lattice

abstract: We investigate the alternate order on a congruence-uniform lattice $\mathcal{L}$ as introduced by N. Reading, which we dub the core label order of $\mathcal{L}$. When $\mathcal{L}$ can be realized as a poset of regions of a simplicial hyperplane arrangement, the core label order is always a lattice. For general $\mathcal{L}$, however, this fails. We provide an equivalent characterization for the core label order to be a lattice. As a consequence we show that the property of the core label order being a lattice is inherited to lattice quotients. We use the core label order to characterize the congruence-uniform lattices that are Boolean lattices, and we investigate the connection between congruence-uniform lattices whose core label orders are lattices and congruence-uniform lattices of biclosed sets.


title: Linear Convergence of a Frank-Wolfe Type Algorithm over Trace-Norm Balls

abstract: We propose a rank-$k$ variant of the classical Frank-Wolfe algorithm to solve convex optimization over a trace-norm ball. Our algorithm replaces the top singular-vector computation ($1$-SVD) in Frank-Wolfe with a top-$k$ singular-vector computation ($k$-SVD), which can be done by repeatedly applying $1$-SVD $k$ times. Alternatively, our algorithm can be viewed as a rank-$k$ restricted version of projected gradient descent. We show that our algorithm has a linear convergence rate when the objective function is smooth and strongly convex, and the optimal solution has rank at most $k$. This improves the convergence rate and the total time complexity of the Frank-Wolfe method and its variants.


title: Effects of turbulence, resistivity and boundary conditions on helicoidal flow collimation: consequences for the Von-K\'arm\'an-Sodium dynamo experiment

abstract: We present hydrodynamic and magneto-hydrodynamic simulations of a liquid sodium flow using the compressible MHD code PLUTO to investigate the magnetic field regeneration in the Von-Karman-Sodium dynamo experiment. The aim of the study is to analyze the influence of the fluid resistivity and turbulence level on the collimation by helicoidal motions of a remnant magnetic field. We use a simplified cartesian geometry to represent the flow dynamics in the vicinity of one cavity of a multi-blades impeller inspired by those used in the Von-Karman-Sodium (VKS) experiment. We perform numerical simulations with kinetic Reynolds numbers up to 1000 for magnetic Prandtl numbers between 30 and 0.1. Our study shows that perfect ferromagnetic walls favour enhanced collimation of flow and magnetic fields even if the turbulence degree of the model increases. The location of the helicoidal coherent vortex in between the blades changes with the impinging velocity. It becomes closer to the upstream blade and impeller base if the flow incident angle is analogous to the TM73 impeller configuration rotating in the unscooping direction. This result is also obtained at higher kinetic Reynolds numbers when the helicoidal vortex undergoes a precessing motion, leading to a reinforced effect in the vortex evolution and in the magnetic field collimation when using again perfect ferromagnetic boundary conditions. We estimate the efficiency of a hypothetical dynamo loop occurring in the vicinity of the impeller and discuss the relevance of our findings in the context of mean field dynamo theory.


title: Adaptive Estimation of Nonparametric Geometric Graphs

abstract: This article studies the recovery of graphons when they are convolution kernels on compact (symmetric) metric spaces. This case is of particular interest since it covers the situation where the probability of an edge depends only on some unknown nonparametric function of the distance between latent points, referred to as Nonparametric Geometric Graphs (NGG). In this setting, adaptive estimation of NGG is possible using a spectral procedure combined with a Goldenshluger-Lepski adaptation method. The latent spaces covered by our framework encompass (among others) compact symmetric spaces of rank one, namely real spheres and projective spaces. For these latter, explicit computations of the eigen-basis and of the model complexity can be achieved, leading to quantitative non-asymptotic results. The time complexity of our method scales cubicly in the size of the graph and exponentially in the regularity of the graphon. Hence, this paper offers an algorithmically and theoretically efficient procedure to estimate smooth NGG. As a by product, this paper shows a non-asymptotic concentration result on the spectrum of integral operators defined by symmetric kernels (not necessarily positive).


title: Two-Phase Learning for Weakly Supervised Object Localization

abstract: Weakly supervised semantic segmentation and localiza- tion have a problem of focusing only on the most important parts of an image since they use only image-level annota- tions. In this paper, we solve this problem fundamentally via two-phase learning. Our networks are trained in two steps. In the first step, a conventional fully convolutional network (FCN) is trained to find the most discriminative parts of an image. In the second step, the activations on the most salient parts are suppressed by inference conditional feedback, and then the second learning is performed to find the area of the next most important parts. By combining the activations of both phases, the entire portion of the tar- get object can be captured. Our proposed training scheme is novel and can be utilized in well-designed techniques for weakly supervised semantic segmentation, salient region detection, and object location prediction. Detailed experi- ments demonstrate the effectiveness of our two-phase learn- ing in each task.


title: Analysis of Alfven Eigenmodes destabilization by energetic particles in TJ-II using a Landau-closure model

abstract: Alfven Eigenmodes (AE) can be destabilized by energetic particles in neutral beam injection (NBI) heated plasmas through inverse Landau damping and couplings with gap modes in the shear Alfven continua. We describe the linear evolution of the poloidal flux and the toroidal component of the vorticity in a full 3D system using the reduced MHD equations, density and parallel velocity moments for the energetic particles as well as the geodesic acoustic wave dynamics. A closure relation adds the Landau damping and resonant destabilization effects in the model. We apply the model to study the Alfven modes stability in TJ-II, performing a parametric analysis in a range of realistic values of energetic particle $\beta$ (beta_f), ratios of thermal/Alfven velocities (Vth/VA0), energetic particle density profiles and toroidal modes (n) including toroidal and helical couplings. The study predicts a large helical coupling between different toroidal modes and the destabilization of helical Alfven Eigenmodes (HAE) with frequencies similar to the AE activity measured in TJ-II, between 50 - 400 kHz. The analysis has also revealed the destabilization of GAE (Global Alfven Eigenmodes), TAE (Toroidal Alfven Eigenmodes) and EPM (Energetic Particle Modes). For the modes considered here, optimized TJ-II operations require a iota profile in the range of [0.845, 0.979] to stabilize AEs in the inner and middle plasma. AEs in the plasma periphery cannot be fully stabilized, although for a configuration with iota = [0.945, 1.079], only n=7,11,15 AE are unstable with a growth rate 4 times smaller compared to the standard iota = [1.54,1.68] case and a frequency of 100 kHz. We reproduce the frequency sweeping evolution of the AE frequency observed in TJ-II as the iota profile is varied. The AE frequency sweeping is caused by consecutive changes of the instability dominant modes between different helical families.


title: Gerbes over posets and twisted C*-dynamical systems

abstract: A base $\Delta$ generating the topology of a space $M$ becomes a partially ordered set (poset), when ordered under inclusion of open subsets. Given a precosheaf over $\Delta$ of fixed-point spaces (typically C*-algebras) under the action of a group $G$, in general one cannot find a precosheaf of $G$-spaces having it as fixed-point precosheaf. Rather one gets a gerbe over $\Delta$, that is, a "twisted precosheaf" whose twisting is encoded by a cocycle with coefficients in a suitable 2-group. We give a notion of holonomy for a gerbe, in terms of a non-abelian cocycle over the fundamental group $\pi_1(M)$. At the C*-algebraic level, holonomy leads to a general notion of twisted C*-dynamical system, based on a generic 2-group instead of the usual adjoint action on the underlying C*-algebra. As an application of these notions, we study presheaves of group duals (DR-presheaves) and prove that the dual object of a DR-presheaf is a group gerbe over $\Delta$. It is also shown that any section of a DR-presheaf defines a twisted action of $\pi_1(M)$ on a Cuntz algebra.


title: Stellar Recipes for Axion Hunters

abstract: There are a number of observational hints from astrophysics which point to the existence of stellar energy losses beyond the ones accounted for by neutrino emission. These excessive energy losses may be explained by the existence of a new sub-keV mass pseudoscalar Nambu--Goldstone boson with tiny couplings to photons, electrons, and nucleons. An attractive possibility is to identify this particle with the axion -- the hypothetical pseudo Nambu--Goldstone boson predicted by the Peccei--Quinn solution to the strong CP problem. We explore this possibility in terms of a DFSZ-type axion and of a KSVZ-type axion/majoron, respectively. Both models allow a good global fit to the data, prefering an axion mass around 10 meV. We show that future axion experiments -- the fifth force experiment ARIADNE and the helioscope IAXO -- can attack the preferred mass range from the lower and higher end, respectively. An axion in this mass range can also be the main constituent of dark matter.


title: Synthetic dimensions in ultracold molecules: quantum strings and membranes

abstract: Synthetic dimensions alter one of the most fundamental properties in nature, the dimension of space. They allow, for example, a real three-dimensional system to act as effectively four-dimensional. Driven by such possibilities, synthetic dimensions have been engineered in ongoing experiments with ultracold matter. We show that rotational states of ultracold molecules can be used as synthetic dimensions extending to many - potentially hundreds of - synthetic lattice sites. Microwaves coupling rotational states drive fully controllable synthetic inter-site tunnelings, enabling, for example, topological band structures. Interactions leads to even richer behavior: when molecules are frozen in a real space lattice with uniform synthetic tunnelings, dipole interactions cause the molecules to aggregate to a narrow strip in the synthetic direction beyond a critical interaction strength, resulting in a quantum string or a membrane, with an emergent condensate that lives on this string or membrane. All these phases can be detected using measurements of rotational state populations.


title: Constructing Neutron Stars with a Gravitational Higgs Mechanism

abstract: In scalar-tensor theories, spontaneous scalarization is a phase transition that can occur in ultra-dense environments such as neutron stars. The scalar field develops a non-trivial configuration once the stars exceeds a compactness threshold. We recently pointed out that, if the scalar exhibits some additional coupling to matter, it could give rise to significantly different microphysics in these environments. In this work we study, at the non-perturbative level, a toy model in which the photon is given a large mass when spontaneous scalarization occurs. Our results demonstrate clearly the effectiveness of spontaneous scalarization as a Higgs-like mechanism in neutron stars.


title: Layouts for Plane Graphs on Constant Number of Tracks

abstract: A \emph{$k$-track} layout of a graph consists of a vertex $k$ colouring, and a total order of each vertex colour class, such that between each pair of colour classes no two edges cross. A \emph{$k$-queue} layout of a graph consists of a total order of the vertices, and a partition of the edges into $k$ sets such that no two edges that are in the same set are nested with respect to the vertex ordering. The \emph{track number} (\emph{queue number}) of a graph $G$, is the minimum $k$ such that $G$ has a $k$-track ($k$-queue) layout. This paper proves that every $n$-vertex plane graph has constant-bound track and queue numbers. The result implies that every plane has a 3D crossing-free straight-line grid drawing in $O(n)$ volume. The proof utilizes a novel graph partition technique.


title: Small data global solutions for the Camassa-Choi equations

abstract: We consider solutions to the Cauchy problem for an internal-wave model derived by Camassa-Choi in a paper in Journal of Fluid Mechanics (1996). This model is a natural generalization of the Benjamin-Ono and Intermediate Long Wave equations in the case of weak transverse effects. We prove the existence and long-time dynamics of global solutions from small, smooth, spatially localized initial data on $\mathbb{R}^2$.


title: Rectifiability of the singular set of multiple valued energy minimizing harmonic maps

abstract: In this paper we study the singular set of Dirichlet-minimizing $Q$-valued maps from $\mathbb{R}^m$ into a smooth compact manifold $\mathcal{N}$ without boundary. Similarly to what happens in the case of single valued minimizing harmonic maps, we show that this set is always $(m-3)$-rectifiable with uniform Minkowski bounds. Moreover, as opposed to the single valued case, we prove that the target $\mathcal{N}$ being non-positively curved but not simply connected does not imply continuity of the map.


title: Constraints on Spatially Oscillating Sub-mm Forces from the Stanford Levitated Microsphere Experiment Data

abstract: A recent analysis by one of the authors\cite{Perivolaropoulos:2016ucs} has indicated the presence of a $2\sigma$ signal of spatially oscillating new force residuals in the torsion balance data of the Washington experiment. We extend that study and analyse the data of the Stanford Optically Levitated Microsphere Experiment (SOLME) \cite{Rider:2016xaq} (kindly provided by the authors of \cite{Rider:2016xaq}) searching for sub-mm spatially oscillating new force signals. We find a statistically significant oscillating signal for a force residual of the form $F(z)=\alpha \; cos(\frac{2\pi}{\lambda}\; z +c)$ where $z$ is the distance between the macroscopic interacting masses (levitated microsphere and cantilever). The best fit parameter values are $\alpha=(1.1 \pm 0.4)\times 10^{-17}N$, $\lambda=(35.2\pm 0.6)\mu m$. Monte Carlo simulation of the SOLME data under the assumption of zero force residuals has indicated that the statistical significance of this signal is at about $2\sigma$ level. Private communication with members of the SOLME group has indicated that this previously unnoticed signal is most probably due to a systematic effect (diffraction of non-Gaussian tails of the laser beam). Thus it can only be useful as an upper bound of the amplitude of new spatially oscillating forces on sub-mm scales. Assuming gravitational origin emerging from a fundamental modification of the Newtonian potential of the form $V_{eff}(r)=-G\frac{M}{r}(1+\alpha_O \cos(\frac{2\pi}{\lambda}\; r+\theta))\equiv V_{N}(r)+V_{osc}(r)$, we evaluate the source integral and obtain a bound $\alpha_O < 10^7$ for $\lambda \simeq 35 \mu m$. Thus, we get no useful constraints on the modified gravity parameter $\alpha_O$. However, the constraints on the general phenomenological parameter $\alpha$ can be useful in constraining other fifth force models related to dark energy (chameleon oscillating potentials etc).


title: Preliminary results of Ion Backflow study for a single GEM detector

abstract: Gaseous detectors are used in both low energy and high energy physics experiments. The present day gaseous detectors, i.e., the Micro-Pattern gaseous detectors (MPGD) are more efficient and fast. Gas Electron multiplier (GEM) is quite well know among the MPGD members. The MPGDs are also being used in other applications like tomography/imaging, moreover, recently, hybridization of two different kinds of MPGD is another emerging subject of R\&D. Ion feedback is an intrinsic drawback of the gaseous detectors. However, it is not a big issue where the event rate is not very high, or the drift volume is not too large. Here, we are showing a simple experimental technique to find the ion feedback of a single GEM foil. This can address the experiments/applications where a single GEM foil is employed.


title: Wirtinger-based Exponential Stability for Time-Delay Systems

abstract: This paper deals with the exponential stabilization of a time-delay system with an average of the state as the output. A general stability theorem with a guaranteed exponential decay-rate based on a Wirtinger-based inequality is provided. Variations of this theorem for synthesis of a controller or for an observer-based control is derived. Some numerical comparisons are proposed with existing theorems of the literature and comparable results are obtained but with an extension to stabilization.


title: Chirality induced Interface Currents in the Chalker Coddington Model

abstract: We study transport properties of a Chalker-Coddington type model in the plane which presents asymptotically pure anti-clockwise rotation on the left and clockwise rotation on the right. We prove delocalisation in the sense that the absolutely continuous spectrum covers the whole unit circle. The result is of topological nature and independent of the details of the model.


title: Disorder-induced topological phase transitions on Lieb lattices

abstract: Motivated by the very recent experimental realization of electronic Lieb lattices and research interest on topological states of matter, we study the topological phase transitions driven by Anderson disorder on spin-orbit coupled Lieb lattices in the presence of spin-independent and dependent potentials. By combining the numerical transport and self-consistent Born approximation methods, we found that both time-reversal invariant and broken Lieb lattices can host disorder-induced gapful topological phases, including the quantum spin Hall insulator (QSHI) and quantum anomalous Hall insulator (QAHI) phases. For the time-reversal invariant case, this disorder can induce a topological phase transition directly from normal insulator (NI) to the QSHI. While for the time-reversal broken case, the disorder can induce either a QAHI-QSHI phase transition or a NI-QAHI-QSHI phase transition. Remarkably, the time-reversal broken QSHI phase can be induced by Anderson disorder on the spin-orbit coupled Lieb lattices without time-reversal symmetry.


title: KNN Ensembles for Tweedie Regression: The Power of Multiscale Neighborhoods

abstract: Very few K-nearest-neighbor (KNN) ensembles exist, despite the efficacy of this approach in regression, classification, and outlier detection. Those that do exist focus on bagging features, rather than varying k or bagging observations; it is unknown whether varying k or bagging observations can improve prediction. Given recent studies from topological data analysis, varying k may function like multiscale topological methods, providing stability and better prediction, as well as increased ensemble diversity. This paper explores 7 KNN ensemble algorithms combining bagged features, bagged observations, and varied k to understand how each of these contribute to model fit. Specifically, these algorithms are tested on Tweedie regression problems through simulations and 6 real datasets; results are compared to state-of-the-art machine learning models including extreme learning machines, random forest, boosted regression, and Morse-Smale regression. Results on simulations suggest gains from varying k above and beyond bagging features or samples, as well as the robustness of KNN ensembles to the curse of dimensionality. KNN regression ensembles perform favorably against state-of-the-art algorithms and dramatically improve performance over KNN regression. Further, real dataset results suggest varying k is a good strategy in general (particularly for difficult Tweedie regression problems) and that KNN regression ensembles often outperform state-of-the-art methods. These results for k-varying ensembles echo recent theoretical results in topological data analysis, where multidimensional filter functions and multiscale coverings provide stability and performance gains over single-dimensional filters and single-scale covering. This opens up the possibility of leveraging multiscale neighborhoods and multiple measures of local geometry in ensemble methods.


title: Bayesian Joint Modeling of Multiple Brain Functional Networks

abstract: Brain function is organized in coordinated modes of spatio-temporal activity (functional networks) exhibiting an intrinsic baseline structure with variations under different experimental conditions. Existing approaches for uncovering such network structures typically do not explicitly model shared and differential patterns across networks, thus potentially reducing the detection power. We develop an integrative modeling approach for jointly modeling multiple brain networks across experimental conditions. The proposed Bayesian Joint Network Learning approach develops flexible priors on the edge probabilities involving a common intrinsic baseline structure and differential effects specific to individual networks. Conditional on these edge probabilities, connection strengths are modeled under a Bayesian spike and slab prior on the off-diagonal elements of the inverse covariance matrix. The model is fit under a posterior computation scheme based on Markov chain Monte Carlo. Numerical simulations illustrate that the proposed joint modeling approach has increased power to detect true differential edges while providing adequate control on false positives and achieving greater accuracy in the estimation of edge strengths compared to existing methods. An application of the method to fMRI Stroop task data provides unique insights into brain network alterations between cognitive conditions which existing graphical modeling techniques failed to reveal.


title: Estimation of the infinitesimal generator by square-root approximation

abstract: For the analysis of molecular processes, the estimation of time-scales, i.e., transition rates, is very important. Estimating the transition rates between molecular conformations is -- from a mathematical point of view -- an invariant subspace projection problem. A certain infinitesimal generator acting on function space is projected to a low-dimensional rate matrix. This projection can be performed in two steps. First, the infinitesimal generator is discretized, then the invariant subspace is approxi-mated and used for the subspace projection. In our approach, the discretization will be based on a Voronoi tessellation of the conformational space. We will show that the discretized infinitesimal generator can simply be approximated by the geometric average of the Boltzmann weights of the Voronoi cells. Thus, there is a direct correla-tion between the potential energy surface of molecular structures and the transition rates of conformational changes. We present results for a 2d-diffusion process and Alanine dipeptide.


title: T-Crowd: Effective Crowdsourcing for Tabular Data

abstract: Crowdsourcing employs human workers to solve computer-hard problems, such as data cleaning, entity resolution, and sentiment analysis. When crowdsourcing tabular data, e.g., the attribute values of an entity set, a worker's answers on the different attributes (e.g., the nationality and age of a celebrity star) are often treated independently. This assumption is not always true and can lead to suboptimal crowdsourcing performance. In this paper, we present the T-Crowd system, which takes into consideration the intricate relationships among tasks, in order to converge faster to their true values. Particularly, T-Crowd integrates each worker's answers on different attributes to effectively learn his/her trustworthiness and the true data values. The attribute relationship information is also used to guide task allocation to workers. Finally, T-Crowd seamlessly supports categorical and continuous attributes, which are the two main datatypes found in typical databases. Our extensive experiments on real and synthetic datasets show that T-Crowd outperforms state-of-the-art methods in terms of truth inference and reducing the cost of crowdsourcing.


title: Time-space Finite Element Adaptive AMG for Multi-term Time Fractional Advection Diffusion Equations

abstract: In this study we construct a time-space finite element (FE) scheme and furnish cost-efficient approximations for one-dimensional multi-term time fractional advection diffusion equations on a bounded domain $\Omega$. Firstly, a fully discrete scheme is obtained by the linear FE method in both temporal and spatial directions, and many characterizations on the resulting matrix are established. Secondly, the condition number estimation is proved, an adaptive algebraic multigrid (AMG) method is further developed to lessen computational cost and analyzed in the classical framework. Finally, some numerical experiments are implemented to reach the saturation error order in the $L^2(\Omega)$ norm sense, and present theoretical confirmations and predictable behaviors of the proposed algorithm.


title: Self-intersection local times for generalized grey Brownian motion in higher dimensions

abstract: We prove that the self-intersection local times for generalized grey Brownian motion $B^{\beta,\alpha}$ in arbitrary dimension $d$ is a well defined object in a suitable distribution space for $d\alpha<2$.


title: Coverings of foliation algebras

abstract: This article is devoted to the geometric construction which states a natural correspondence between topological coverings of a foliated manifolds and noncommutative coverings of the operator algebras. However this correspondence is not one to one because there are noncommutaive coverings of foliations which do not comply with discussed in this article construction.


title: Revival of Raman Coherence of Trapped Atoms

abstract: We perform Raman spectroscopy of optically trapped non interacting \Rb atoms, and observe revivals of the atomic coherence at integer multiples of the trap period. The effect of coherence control methods such as echo and dynamical decoupling is investigated experimentally, analytically and numerically, along with the effect of the anharmonicity of the trapping potential. The latter is shown to be responsible for incompleteness of the revivals. Coherent Raman control of trapped atoms can be useful in the context of free-oscillation atom intefrerometry and spatial multi-mode quantum memory.


title: Classical Homomorphic Encryption for Quantum Circuits

abstract: We present the first leveled fully homomorphic encryption scheme for quantum circuits with classical keys. The scheme allows a classical client to blindly delegate a quantum computation to a quantum server: an honest server is able to run the computation while a malicious server is unable to learn any information about the computation. We show that it is possible to construct such a scheme directly from a quantum secure classical homomorphic encryption scheme with certain properties. Finally, we show that a classical homomorphic encryption scheme with the required properties can be constructed from the learning with errors problem.


title: Analysis of Spreading Speeds with an Application to Cellular Neural Networks

abstract: In this paper, we focus on some properties of the spreading speeds which can be estimated by linear operators approach, such as the sign, the continuity and a limiting case which admits no spreading phenomenon. These theoretical results are well applied to study the effect of templates on propagation speeds for cellular neural networks (CNNs), which admit three kinds of propagating phenomenon.


title: Nuclear matter fourth-order symmetry energy in non-relativistic mean-field models

abstract: Based on systematic analyses of several popular non-relativistic energy density functionals with mean-field approximation, we estimate the value of the fourth-order symmetry energy $E_{\text{sym,4}}(\rho)$ at nuclear normal density $\rho_0$ and its density dependence, and explore the correlation between $E_{\text{sym,4}}(\rho_0)$ and other macroscopic quantities of nuclear matter properties. We use the empirical values of some nuclear macroscopic quantities to construct model parameter sets by Monte Carlo method for the conventional Skyrme-Hartree-Fock (SHF) model, the extended Skyrme-Hartree-Fock (eSHF) model, the Gogny-Hartree-Fock (GHF) model, and the momentum-dependent interaction (MDI) model. The value of $E_{\text{sym,4}}(\rho_0)$ is estimated to be $1.02\pm0.49$ MeV for the SHF model, $1.02\pm0.50$ MeV for the eSHF model, $0.70\pm0.60$ MeV for the GHF model, and $0.74\pm0.63$ MeV for the MDI model. Moreover, our results indicate that the density dependence of $E_{\text{sym,4}}(\rho)$ is model dependent, especially at higher densities. Furthermore, we find that the $E_{\text{sym},4}(\rho_0)$ has strong positive (negative) correlation with isoscalar (isovector) nucleon effective mass $m_{s,0}^*$ ($m_{v,0}^*$) at $\rho_0$. In particular, for the SHF and eSHF models, the $E_{\text{sym,4}}(\rho)$ is completely determined by the isoscalar and isovector nucleon effective masses $m_{s}^*(\rho)$ and $m_{v}^*(\rho)$, and the analytical expression is given. In the mean-field models, the magnitude of $ E_{\text{sym,4}}(\rho_0)$ is generally less than $2$ MeV, and its density dependence depends on models, especially at higher densities. $ E_{\text{sym,4}}(\rho_0)$ is strongly correlated with $m_{s,0}^*$ and $m_{v,0}^*$.


title: Martin boundary covers Floyd boundary

abstract: For finitely supported random walks on finitely generated groups $G$ we prove that the identity map on $G$ extends to a continuous equivariant surjection from the Martin boundary to the Floyd boundary, with preimages of conical points being singletons. This yields new results for relatively hyperbolic groups. Our key estimate relates the Green and Floyd metrics, generalizing results of Ancona for random walks on hyperbolic groups and of Karlsson for quasigeodesics. We then apply these techniques to obtain some results concerning the harmonic measure on the limit sets of geometrically finite isometry groups of Gromov hyperbolic spaces. .


title: On global solutions of the random Hamilton-Jacobi equations and the KPZ problem

abstract: In this paper, we discuss possible qualitative approaches to the problem of KPZ universality. Throughout the paper, our point of view is based on the geometrical and dynamical properties of minimisers and shocks forming interlacing tree-like structures. We believe that the KPZ universality can be explained in terms of statistics of these structures evolving in time. The paper is focussed on the setting of the random Hamilton--Jacobi equations. We formulate several conjectures concerning global solutions and discuss how their properties are connected to the KPZ scalings in dimension 1+1. In the case of general viscous Hamilton--Jacobi equations with non-quadratic Hamiltonians, we define generalised directed polymers. We expect that their behaviour is similar to the behaviour of classical directed polymers, and present arguments in favour of this conjecture. We also define a new renormalisation transformation defined in purely geometrical terms and discuss conjectural properties of the corresponding fixed points. Most of our conjectures are widely open, and supported by only partial rigorous results for particular models.


title: Simulation Tools for Detector and Instrument Design

abstract: The high performance requirements at the European Spallation Source have been driving the technological advances on the neutron detector front. Now more than ever is it important to optimize the design of detectors and instruments, to fully exploit the ESS source brilliance. Most of the simulation tools the neutron scattering community has at their disposal target the instrument optimization until the sample position, with little focus on detectors. The ESS Detector Group has extended the capabilities of existing detector simulation tools to bridge this gap. An extensive software framework has been developed, enabling efficient and collaborative developments of required simulations and analyses -- based on the use of the Geant4 Monte Carlo toolkit, but with extended physics capabilities where relevant (like for Bragg diffraction of thermal neutrons in crystals). Furthermore, the MCPL (Monte Carlo Particle Lists) particle data exchange file format, currently supported for the primary Monte Carlo tools of the community (McStas, Geant4 and MCNP), facilitates the integration of detector simulations with existing simulations of instruments using these software packages. These means offer a powerful set of tools to tailor the detector and instrument design to the instrument application.


title: MonoPerfCap: Human Performance Capture from Monocular Video

abstract: We present the first marker-less approach for temporally coherent 3D performance capture of a human with general clothing from monocular video. Our approach reconstructs articulated human skeleton motion as well as medium-scale non-rigid surface deformations in general scenes. Human performance capture is a challenging problem due to the large range of articulation, potentially fast motion, and considerable non-rigid deformations, even from multi-view data. Reconstruction from monocular video alone is drastically more challenging, since strong occlusions and the inherent depth ambiguity lead to a highly ill-posed reconstruction problem. We tackle these challenges by a novel approach that employs sparse 2D and 3D human pose detections from a convolutional neural network using a batch-based pose estimation strategy. Joint recovery of per-batch motion allows to resolve the ambiguities of the monocular reconstruction problem based on a low dimensional trajectory subspace. In addition, we propose refinement of the surface geometry based on fully automatically extracted silhouettes to enable medium-scale non-rigid alignment. We demonstrate state-of-the-art performance capture results that enable exciting applications such as video editing and free viewpoint video, previously infeasible from monocular video. Our qualitative and quantitative evaluation demonstrates that our approach significantly outperforms previous monocular methods in terms of accuracy, robustness and scene complexity that can be handled.


title: Exact and "exact" formulae in the theory of composites

abstract: The effective properties of composites and review literature on the methods of Rayleigh, Natanzon--Filshtinsky, functional equations and asymptotic approaches are outlined. In connection with the above methods and new recent publications devoted to composites, we discuss the terms "analytical formula, approximate solution, closed form solution, asymptotic formula" etc... frequently used in applied mathematics and engineering in various contexts. Though mathematicians give rigorous definitions of exact form solution the term "exact solution" continues to be used too loosely and its attributes are lost. In the present paper, we give examples of misleading usage of such a term.


title: Electroweak Vacuum Collapse induced by Vacuum Fluctuations of the Higgs Field around Evaporating Black Holes

abstract: In this paper, we discuss the Higgs vacuum stability around evaporating black holes. We provide a new approach to investigate the false vacuum decay around the black hole and clearly show how vacuum fluctuations of the Higgs induce a gravitational collapse of the vacuum. Furthermore, we point out that the backreaction of the Hawking radiation can not be ignored and the gravitational vacuum decay is exponentially suppressed. However, a large number of the evaporating (or evaporated) primordial black holes threaten the existence of the Universe and we obtain a new upper bound on the evaporating PBH abundance from the vacuum stability. Finally, we show that the high-order corrections of the BSM or QG would not destabilize the Higgs potential, otherwise even a single evaporating black hole triggers a collapse of the electroweak vacuum.


title: STARDATA: A StarCraft AI Research Dataset

abstract: We release a dataset of 65646 StarCraft replays that contains 1535 million frames and 496 million player actions. We provide full game state data along with the original replays that can be viewed in StarCraft. The game state data was recorded every 3 frames which ensures suitability for a wide variety of machine learning tasks such as strategy classification, inverse reinforcement learning, imitation learning, forward modeling, partial information extraction, and others. We use TorchCraft to extract and store the data, which standardizes the data format for both reading from replays and reading directly from the game. Furthermore, the data can be used on different operating systems and platforms. The dataset contains valid, non-corrupted replays only and its quality and diversity was ensured by a number of heuristics. We illustrate the diversity of the data with various statistics and provide examples of tasks that benefit from the dataset. We make the dataset available at https://github.com/TorchCraft/StarData . En Taro Adun!


title: Inference on a New Class of Sample Average Treatment Effects

abstract: We derive new variance formulas for inference on a general class of estimands of causal average treatment effects in a Randomized Control Trial (RCT). We generalize Robins (1988) and show that when the estimand of interest is the Sample Average Treatment Effect of the Treated (SATT or SATC for controls), a consistent variance estimator exists. Although these estimands are equal to the Sample Average Treatment Effect (SATE) in expectation, potentially large differences in both accuracy and coverage can occur by the change of estimand, even asymptotically. Inference on the SATE, even using a conservative confidence interval, provides incorrect coverage of the SATT or SATC. We derive the variance and limiting distribution of a new and general class of estimands---any mixing between SATT and SATC---for which the SATE is a specific case. We demonstrate the applicability of the new theoretical results using Monte-Carlo simulations and an empirical application with hundreds of online experiments with an average sample size of approximately one hundred million observations per experiment. An R package, estCI, that implements all the proposed estimation procedures is available.


title: Asymptotic stability of shear-flow solutions to incompressible viscous free boundary problems with and without surface tension

abstract: This paper concerns the dynamics of a layer of incompressible viscous fluid lying above a rigid plane and with an upper boundary given by a free surface. The fluid is subject to a constant external force with a horizontal component, which arises in modeling the motion of such a fluid down an inclined plane, after a coordinate change. We consider the problem both with and without surface tension for horizontally periodic flows. This problem gives rise to shear-flow equilibrium solutions, and the main thrust of this paper is to study the asymptotic stability of the equilibria in certain parameter regimes. We prove that there exists a parameter regime in which sufficiently small perturbations of the equilibrium at time $t=0$ give rise to global-in-time solutions that return to equilibrium exponentially in the case with surface tension and almost exponentially in the case without surface tension. We also establish a vanishing surface tension limit, which connects the solutions with and without surface tension.


title: Phase Transition in the Maximal Influence Problem: When Do We Need Optimization?

abstract: Considerable efforts were made in recent years in devising optimization algorithms for influence maximization in networks. Here we ask: "When do we need optimization?" We use results from statistical mechanics and direct simulations on ER networks, small-world networks, power-law networks and a dataset of real-world networks to characterize the parameter-space region where optimization is required. We show that in both synthetic and real-world networks this optimization region is due to a well known physical phase transition of the network, and that it vanishes as a power-law with the network size. We then show that also from a utility-maximization perspective (when considering the costs of the optimization process), for large networks standard optimization is profitable only in a vanishing parameter region near the phase transition. Finally, we introduce a novel constant-time optimization approach, and demonstrate it through a simple algorithm that manages to give similar results to standard optimization methods in terms of the influenced-set size, while improving the results in terms of the net utility.

categories: cs.SI cond-mat.stat-mech cs.DS physics.data-an physics.soc-ph


title: Lewis meets Brouwer: constructive strict implication

abstract: C. I. Lewis invented modern modal logic as a theory of "strict implication". Over the classical propositional calculus one can as well work with the unary box connective. Intuitionistically, however, the strict implication has greater expressive power than the box and allows to make distinctions invisible in the ordinary syntax. In particular, the logic determined by the most popular semantics of intuitionistic K becomes a proper extension of the minimal normal logic of the binary connective. Even an extension of this minimal logic with the "strength" axiom, classically near-trivial, preserves the distinction between the binary and the unary setting. In fact, this distinction and the strong constructive strict implication itself has been also discovered by the functional programming community in their study of "arrows" as contrasted with "idioms". Our particular focus is on arithmetical interpretations of the intuitionistic strict implication in terms of preservativity in extensions of Heyting's Arithmetic.


title: A Time-Spectral Method for Initial-Value Problems Using a Novel Spatial Subdomain Scheme

abstract: We analyse a new subdomain scheme for a time-spectral method for solving initial boundary value problems. Whilst spectral methods are commonplace for spatially dependent systems, finite difference schemes are typically applied for the temporal domain. The Generalized Weighted Residual Method (GWRM) is a fully spectral method in that it spectrally decomposes all specified domains, including the temporal domain, with multivariate Chebyshev polynomials. The Common Boundary-Condition method (CBC) is a spatial subdomain scheme that solves the physical equations independently from the global connection of subdomains. It is here evaluated against two finite difference methods. For the linearised Burger equation the CBC-GWRM is $\sim30\%$ faster and $\sim50\%$ more memory efficient than the semi implicit Crank-Nicolson method at a maximum error $\sim10^{-5}$. For a forced wave equation the CBC-GWRM manages to average efficiently over the small time-scale in the entire temporal domain. The CBC-GWRM is also applied to the linearised ideal magnetohydrodynamic (MHD) equations for a screw pinch equilibrium. The growth rate of the most unstable mode was efficiently computed with an error $<0.1\%$.


title: Joint diamonds and Laver diamonds

abstract: The concept of jointness for guessing principles, specifically $\diamondsuit_\kappa$ and various Laver diamonds, is introduced. A family of guessing sequences is joint if the elements of any given sequence of targets may be simultaneously guessed by the members of the family. While equivalent in the case of $\diamondsuit_\kappa$, joint Laver diamonds are nontrivial new objects. We give equiconsistency results for most of the large cardinals under consideration and prove sharp separations between joint Laver diamonds of different lengths in the case of $\theta$-supercompact cardinals.


title: Rank modulation codes for DNA storage

abstract: Synthesis of DNA molecules offers unprecedented advances in storage technology. Yet, the microscopic world in which these molecules reside induces error patterns that are fundamentally different from their digital counterparts. Hence, to maintain reliability in reading and writing, new coding schemes must be developed. In a reading technique called shotgun sequencing, a long DNA string is read in a sliding window fashion, and a profile vector is produced. It was recently suggested by Kiah et al. that such a vector can represent the permutation which is induced by its entries, and hence a rank-modulation scheme arises. Although this interpretation suggests high error tolerance, it is unclear which permutations are feasible, and how to produce a DNA string whose profile vector induces a given permutation. In this paper, by observing some necessary conditions, an upper bound for the number of feasible permutations is given. Further, a technique for deciding the feasibility of a permutation is devised. By using insights from this technique, an algorithm for producing a considerable number of feasible permutations is given, which applies to any alphabet size and any window length.


title: Fundamental diagram of urban rail transit considering train-passenger interaction

abstract: Urban rail transit often operates with high service frequencies to serve heavy passenger demand during rush hours. Such operations can be delayed by two types of congestion: train congestion and passenger congestion, both of which interact with each other. This delay is problematic for many transit systems, since it can be amplified due to the interaction. However, there are no tractable models describing them; and it makes difficult to analyze management strategies of congested transit systems in general and tractable ways. To fill this gap, this article proposes simple yet physical and dynamic model of urban rail transit. First, a fundamental diagram of transit system (i.e., theoretical relation among train-flow, train-density, and passenger-flow) is analytically derived considering the aforementioned physical interaction. Then, a macroscopic model of transit system for dynamic transit assignment is developed based on the fundamental diagram. Finally, accuracy of the macroscopic model is investigated by comparing to microscopic simulation. The proposed models would be useful for mathematical analysis on management strategies of urban rail transit systems, in a similar way that the macroscopic fundamental diagram of urban traffic did.


title: The conception of reality in Quantum Mechanics

abstract: Disputes on the foundations of Quantum Mechanics often involve the conception of reality, without a clear definition on which aspect of this broad concept of reality one refers. We provide an overview of conceptions of reality in classical physics, in philosophy of science and in Quantum Mechanics and its interpretations and analyse their differences and subtleties. Structural realism as conception in philosophy of science will turn out to be a promising candidate to settle old problems regarding the conception of reality in Quantum Mechanics. We amend the analysis of three main interpretations and their relation to structural realism by three well-known informational approaches in the interpretations of Quantum Mechanics. Last we propose an additional class of structural realism supported by QBism.


title: Heuristic parameter choice in Tikhonov method from minimizers of the quasi-optimality function

abstract: We consider choice of the regularization parameter in Tikhonov method in the case of the unknown noise level of the data. From known heuristic parameter choice rules often the best results were obtained in the quasi-optimality criterion where the parameter is chosen as the global minimizer of the quasi-optimality function. In some problems this rule fails, the error of the Tikhonov approximation is very large. We prove, that one of the local minimizers of the quasi-optimality function is always a good regularization parameter. We propose an algorithm for finding a proper local minimizer of the quasi-optimality function.


title: 8th CERN - Latin-American School of High-Energy Physics

abstract: The CERN-Latin-American School of High-Energy Physics is intended to give young physicists an introduction to the theoretical aspects of recent advances in elementary particle physics. These proceedings contain lecture notes on the Standard Model of electroweak interactions, flavour physics, neutrino physics, Higgs physics, new physics beyond the standard model, quantum chromodynamics under extreme conditions, cosmology, an introduction to experimental facilities at the high-energy frontier, and practical statistics for particle physicists.


title: Reverse Engineering Human Mobility in Large-scale Natural Disasters

abstract: Delay/Disruption-Tolerant Networks (DTNs) have been around for more than a decade and have especially been proposed to be used in scenarios where communication infrastructure is unavailable. In such scenarios, DTNs can offer a best-effort communication service by exploiting user mobility. Natural disasters are an important application scenario for DTNs when the cellular network is destroyed by natural forces. To assess the performance of such networks before deployment, we require appropriate knowledge of human mobility. In this paper, we address this problem by designing, implementing, and evaluating a novel mobility model for large-scale natural disasters. Due to the lack of GPS traces, we reverse-engineer human mobility of past natural disasters (focusing on 2010 Haiti earthquake and 2013 Typhoon Haiyan) by leveraging knowledge of 126 experts from 71 Disaster Response Organizations (DROs). By means of simulation-based experiments, we compare and contrast our mobility model to other well-known models, and evaluate their impact on DTN performance. Finally, we make our source code available to the public.


title: Periodic $p$-adic Gibbs measures of $q$-states Potts model on Cayley tree: The chaos implies the vastness of $p$-adic Gibbs measures

abstract: We study the set of $p$-adic Gibbs measures of the $q$-states Potts model on the Cayley tree of order three. We prove the vastness of the periodic $p$-adic Gibbs measures for such model by showing the chaotic behavior of the correspondence Potts--Bethe mapping over $\mathbb{Q}\_p$ for $p\equiv 1 \ (\rm{mod} \ 3)$. In fact, for $0 < |\theta-1|\_p < |q|\_p^2 < 1$, there exists a subsystem that isometrically conjugate to the full shift on three symbols. Meanwhile, for $0 < |q|\_p^2 \leq |\theta-1|\_p < |q|\_p < 1$, there exists a subsystem that isometrically conjugate to a subshift of finite type on $r$ symbols where $r \geq 4$. However, these subshifts on $r$ symbols are all topologically conjugate to the full shift on three symbols. The $p$-adic Gibbs measures of the same model for the cases $p=2,3$ and the corresponding Potts--Bethe mapping are also discussed.Furthermore, for $0 < |\theta-1|\_p < |q|\_p < 1,$ we remark that the Potts--Bethe mapping is not chaotic when $p=2,\ p=3$ and $p\equiv 2 \ (\rm{mod} \ 3)$ and we could not conclude the vastness of the periodic $p$-adic Gibbs measures. In a forthcoming paper with the same title, we will treat the case $0 < |q|\_p \leq |\theta-1|\_p < 1$ for all $p$.


title: Axiomatic Characterization of Data-Driven Influence Measures for Classification

abstract: We study the following problem: given a labeled dataset and a specific datapoint x, how did the i-th feature influence the classification for x? We identify a family of numerical influence measures - functions that, given a datapoint x, assign a numeric value phi_i(x) to every feature i, corresponding to how altering i's value would influence the outcome for x. This family, which we term monotone influence measures (MIM), is uniquely derived from a set of desirable properties, or axioms. The MIM family constitutes a provably sound methodology for measuring feature influence in classification domains; the values generated by MIM are based on the dataset alone, and do not make any queries to the classifier. While this requirement naturally limits the scope of our framework, we demonstrate its effectiveness on data.


title: Total positivity, Grassmannian and modified Bessel functions

abstract: A rectangular matrix is called totally positive, if all its minors are positive. A point of a real Grassmanian manifold $G_{l,m}$ of $l$-dimensional subspaces in $\mathbb R^m$ is called strictly totally positive, if one can normalize its Pl\"ucker coordinates to make all of them positive. The totally positive matrices and the subsets of strictly totally positive points in Grassmanian manifolds arise in many domains of mathematics, mechanics and physics. F.R.Gantmacher and M.G.Krein considered totally positive matrices in the context of classical mechanics. Total positivity was used for construction of solutions of the Kadomtsev-Petviashvili (KP) partial differential equation by T.M.Malanyuk, M.Boiti, F.Pemperini, A.Pogrebkov, Y.Kodama, L.Williams. Different problems of mathematics, mechanics and physics led to constructions of totally positive matrices due to many mathematicians, including F.R. Gantmacher, M.G.Krein, I.J.Schoenberg, S.Karlin, A.E.Postnikov and ourselves. In our case totally positive matrices were constructed for solution of problems on model of the overdamped Josephson effect in superconductivity and double confluent Heun equations. In our previous paper we have proved that certain determinants formed by modified Bessel functions of the first kind are positive on the positive semi-axis. In the present paper we give a new result: a construction of multidimensional families of totally positive matrices formed by values of modified Bessel functions with non-negative integer indices. Their columns are numerated by the indices of the modified Bessel functions, and their rows are numerated by their arguments.


title: Electron-Impact Multiple Ionization Cross Sections for Atoms and Ions of Helium through Zinc

abstract: We have compiled a set of electron-impact multiple ionization (EIMI) cross sections for astrophysically relevant ions. EIMI can have a significant effect on the ionization balance of non-equilibrium plasmas. For example, it can be important if there is a rapid change in the electron temperature or if there is a non-thermal electron energy distribution, such as a kappa distribution. Cross sections for EIMI are needed in order to account for these processes in plasma modeling and for spectroscopic interpretation. Here, we describe our comparison of proposed semiempirical formulae to the available experimental EIMI cross section data. Based on this comparison, we have interpolated and extrapolated fitting parameters to systems that have not yet been measured. A tabulation of the fit parameters is provided for 3466 EIMI cross sections. We also highlight some outstanding issues that remain to be resolved.


title: Dynamic Elastoresistivity Evidence for Slow Nematic Fluctuations in BaFe$_2$As$_2$

abstract: An instrumentation problem with the signal acquisition at high frequencies was discovered and we no longer believe that the experimental data presented in the manuscript, showing a frequency enhancement of the elastoresistivity, are correct. After correcting the problem, the elastoresistivity data is frequency independent in the range investigated. Therefore, the authors have withdrawn this submission. We would like to thank Alex Hristov, Johanna Palmstrom, Josh Straquadine and Ian Fisher (Stanford) for the kind discussions and assistance we received which helped us identify these problems.


title: Exact solutions of infinite dimensional total-variation regularized problems

abstract: We study the solutions of infinite dimensional linear inverse problems over Banach spaces. The regularizer is defined as the total variation of a linear mapping of the function to recover, while the data fitting term is a near arbitrary convex function. The first contribution is about the solu-tion's structure: we show that under suitable assumptions, there always exist an m-sparse solution, where m is the number of linear measurements of the signal. Our second contribution is about the computation of the solution. While most existing works first discretize the problem, we show that exacts solutions of the infinite dimensional problem can be obtained by solving two consecutive finite dimensional convex programs. These results extend recent advances in the understanding of total-variation reg-ularized problems.


title: M\"obius Moduli for Fingerprint Orientation Fields

abstract: We propose a novel fingerprint descriptor, namely M\"obius moduli, measuring local deviation of orientation fields (OF) of fingerprints from conformal fields, and we propose a method to robustly measure them, based on tetraquadrilaterals to approximate a conformal modulus locally with one due to a M\"obius transformation. Conformal fields arise by the approximation of fingerprint OFs given by zero pole models, which are determined by the singular points and a rotation. This approximation is very coarse, e.g. for fingerprints with no singular points (arch type), the zero-pole model's OF has parallel lines. Quadratic differential (QD) models, which are obtained from zero-pole models by adding suitable singularities outside the observation window, approximate real fingerprints much better. For example, for arch type fingerprints, parallel lines along the distal joint change slowly into circular lines around the nail furrow. Still, QD models are not fully realistic because, for example along the central axis of arch type fingerprints, ridge line curvatures usually first increase and then decrease again. It is impossible to model this with QDs, which, due to complex analyticity, also produce conformal fields only. In fact, as one of many applications of the new descriptor, we show, using histograms of curvature and conformality index (log of the absolute value of the M\"obius modulus), that local deviation from conformality in fingerprints occurs systematically at high curvature which is not reflected by state of the art fingerprint models as are used, for instance, in the well known synthetic fingerprint generation tool SFinGe and these differences robustely discriminate real prints from SFinGe's synthetic prints.