title: Holographic bulk reconstruction beyond (super)gravity

abstract: We outline a holographic recipe to reconstruct $\alpha'$ corrections to AdS (quantum) gravity from an underlying CFT in the strictly planar limit ($N\rightarrow\infty$). Assuming that the boundary CFT can be solved in principle to all orders of the 't Hooft coupling $\lambda$, for scalar primary operators, the $\lambda^{-1}$ expansion of the conformal dimensions can be mapped to higher curvature corrections of the dual bulk scalar field action. Furthermore, for the metric pertubations in the bulk, the AdS/CFT operator-field isomorphism forces these corrections to be of the Lovelock type. We demonstrate this by reconstructing the coefficient of the leading Lovelock correction, aka the Gauss-Bonnet term in a bulk AdS gravity action using the expression of stress-tensor two-point function up to sub-leading order in $\lambda^{-1}$.


title: Standardized Cumulants of Flow Harmonic Fluctuations

abstract: The distribution of flow harmonics in heavy ion experiment can be characterized by standardized cumulants. We first model the ellipticity and power parameters of the elliptic-power distribution by employing MC-Glauber model. Then we use the elliptic-power distribution together with the hydrodynamic linear response approximation to study the two dimensional standardized cumulants of elliptic and triangular flow ($v_2$ and $v_3$) distribution. For the second harmonic, it turns out that finding two dimensional cumulants in terms of $2q$-particle correlation functions $c_2\{2q\}$ is limited to the skewness. We also show that $c_3\{2\}$, $c_3\{4\}$, and $c_3\{6\}$, are related to the second, fourth, and sixth standardized cumulants of the $v_3$ distribution, respectively. The cumulant $c_{n}\{2q\}$ can be also written in terms of $v_n\{2q\}$. Specifically, $-(v_3\{4\}/v_3\{2\})^4$ turns out to be the kurtosis of the $v_3$ event-by-event fluctuation distribution. We introduce a new parametrization for the distribution $p(v_3)$ with $v_3\{2\}$, kurtosis and sixth-order standardized cumulant being its free parameters. Compared to the Gaussian distribution, it indicates a more accurate fit with experimental results. Finally, we compare the kurtosis obtained from simulation with that of extracted from experimental data for the $v_3$ distribution.


title: Isomer-Dependent Fragmentation Dynamics of Inner-Shell Photoionized Difluoroiodobenzene

abstract: The fragmentation dynamics of 2,6- and 3,5-difluoroiodobenzene after iodine 4$d$ inner-shell photoionization with soft X-rays are studied using coincident electron and ion momentum imaging. By analyzing the momentum correlation between iodine and fluorine cations in three-fold ion coincidence events, we can distinguish the two isomers experimentally. Classical Coulomb explosion simulations are in overall agreement with the experimentally determined fragment ion kinetic energies and momentum correlations and point toward different fragmentation mechanisms and time scales. While most three-body fragmentation channels show clear evidence for sequential fragmentation on a time scale larger than the rotational period of the fragments, the breakup into iodine and fluorine cations and a third charged co-fragment appears to occur within a few hundred femtoseconds -- a time scale larger than the rotational period of the fragments, the breakup in other channels appears to occur within a few hundred femtoseconds.


title: A Time Hierarchy Theorem for the LOCAL Model

abstract: The celebrated Time Hierarchy Theorem for Turing machines states, informally, that more problems can be solved given more time. The extent to which a time hierarchy-type theorem holds in the distributed LOCAL model has been open for many years. It is consistent with previous results that all natural problems in the LOCAL model can be classified according to a small constant number of complexities, such as $O(1),O(\log^* n), O(\log n), 2^{O(\sqrt{\log n})}$, etc. In this paper we establish the first time hierarchy theorem for the LOCAL model and prove that several gaps exist in the LOCAL time hierarchy. 1. We define an infinite set of simple coloring problems called Hierarchical $2\frac{1}{2}$-Coloring}. A correctly colored graph can be confirmed by simply checking the neighborhood of each vertex, so this problem fits into the class of locally checkable labeling (LCL) problems. However, the complexity of the $k$-level Hierarchical $2\frac{1}{2}$-Coloring problem is $\Theta(n^{1/k})$, for $k\in\mathbb{Z}^+$. The upper and lower bounds hold for both general graphs and trees, and for both randomized and deterministic algorithms. 2. Consider any LCL problem on bounded degree trees. We prove an automatic-speedup theorem that states that any randomized $n^{o(1)}$-time algorithm solving the LCL can be transformed into a deterministic $O(\log n)$-time algorithm. Together with a previous result, this establishes that on trees, there are no natural deterministic complexities in the ranges $\omega(\log^* n)$---$o(\log n)$ or $\omega(\log n)$---$n^{o(1)}$. 3. We expose a gap in the randomized time hierarchy on general graphs. Any randomized algorithm that solves an LCL problem in sublogarithmic time can be sped up to run in $O(T_{LLL})$ time, which is the complexity of the distributed Lovasz local lemma problem, currently known to be $\Omega(\log\log n)$ and $O(\log n)$.


title: Statistical Analysis of Time-Variant Channels in Diffusive Mobile Molecular Communications

abstract: In this paper, we consider a diffusive mobile molecular communication (MC) system consisting of a pair of mobile transmitter and receiver nano-machines suspended in a fluid medium, where we model the mobility of the nano-machines by Brownian motion. The transmitter and receiver nano-machines exchange information via diffusive signaling molecules. Due to the random movements of the transmitter and receiver nano-machines, the statistics of the channel impulse response (CIR) change over time. We introduce a statistical framework for characterization of the impulse response of time-variant MC channels. In particular, we derive closed-form analytical expressions for the mean and the autocorrelation function of the impulse response of the channel. Given the autocorrelation function, we define the coherence time of the time-variant MC channel as a metric that characterizes the variations of the impulse response. Furthermore, we derive an analytical expression for evaluation of the expected error probability of a simple detector for the considered system. In order to investigate the impact of CIR decorrelation over time, we compare the performances of a detector with perfect channel state information (CSI) knowledge and a detector with outdated CSI knowledge. The accuracy of the proposed analytical expression is verified via particle-based simulation of the Brownian motion.


title: Complexity of the Fourier transform on the Johnson graph

abstract: The set $X$ of $k$-subsets of an $n$-set has a natural graph structure where two $k$-subsets are connected if and only if the size of their intersection is $k-1$. This is known as the Johnson graph. The symmetric group $S_n$ acts on the space of complex functions on $X$ and this space has a multiplicity-free decomposition as sum of irreducible representations of $S_n$, so it has a well-defined Gelfand-Tsetlin basis up to scalars. The Fourier transform on the Johnson graph is defined as the change of basis matrix from the delta function basis to the Gelfand-Tsetlin basis. The direct application of this matrix to a generic vector requires $\binom{n}{k}^2$ arithmetic operations. We show that --in analogy with the classical Fast Fourier Transform on the discrete circle-- this matrix can be factorized as a product of $n-1$ orthogonal matrices, each one with at most two nonzero elements in each column. This factorization shows that the number of arithmetic operations required to apply this matrix to a generic vector is bounded above by $2(n-1) \binom{n}{k}$. As a consequence, we show that the problem of computing all the weights of the irreducible components of a given function can be solved in $O(n \binom{n}{k})$ operations, improving the previous bound $O(k^2 \binom{n}{k})$ when $k$ asymptotically dominates $\sqrt{n}$ in a non-uniform model of computation. The same improvement is achieved for the problem of computing the isotypic projection onto a single component. The proof is based on the construction of $n-1$ intermediate bases, each one parametrized by certain pairs composed by a standard Young tableau and a word. The parametrization of each basis is obtained via the Robinson-Schensted insertion algorithm.


title: A Reinforcement Learning Approach to Weaning of Mechanical Ventilation in Intensive Care Units

abstract: The management of invasive mechanical ventilation, and the regulation of sedation and analgesia during ventilation, constitutes a major part of the care of patients admitted to intensive care units. Both prolonged dependence on mechanical ventilation and premature extubation are associated with increased risk of complications and higher hospital costs, but clinical opinion on the best protocol for weaning patients off of a ventilator varies. This work aims to develop a decision support tool that uses available patient information to predict time-to-extubation readiness and to recommend a personalized regime of sedation dosage and ventilator support. To this end, we use off-policy reinforcement learning algorithms to determine the best action at a given patient state from sub-optimal historical ICU data. We compare treatment policies from fitted Q-iteration with extremely randomized trees and with feedforward neural networks, and demonstrate that the policies learnt show promise in recommending weaning protocols with improved outcomes, in terms of minimizing rates of reintubation and regulating physiological stability.


title: Crystallization via tubing microfluidics permits both in situ and ex situ X-ray diffraction

abstract: We used a microfluidic platform to address the problems of obtaining diffraction quality crystals and crystal handling during transfer to the X-ray diffractometer. We optimize crystallization conditions of a pharmaceutical protein and collect X-ray data both in situ and ex situ.


title: Quality of Service of an Asynchronous Crash-Recovery Leader Election Algorithm

abstract: In asynchronous distributed systems it is very hard to assess if one of the processes taking part in a computation is operating correctly or has failed. To overcome this problem, distributed algorithms are created using unreliable failure detectors that capture in an abstract way timing assumptions necessary to assess the operating status of a process. One particular type of failure detector is a leader election, that indicates a single process that has not failed. The unreliability of these failure detectors means that they can make mistakes, however if they are to be used in practice there must be limits to the eventual behavior of these detectors. These limits are defined as the quality of service (QoS) provided by the detector. Many works have tackled the problem of creating failure detectors with predictable QoS, but only for crash-stop processes and synchronous systems. This paper presents and analyzes the behavior of a new leader election algorithm named NFD-L for the asynchronous crash-recovery failure model that is efficient in terms of its use of stable memory and message exchanges.


title: On the Unique Ergodicity of Quadratic Differentials and the Orientation Double Cover

abstract: We construct an example of a uniquely ergodic measured foliation on a surface such that the associated translation flow on the orientation double cover is minimal but not uniquely ergodic. We then prove a geometric criterion for the horizontal foliation of a quadratic differential to be uniquely ergodic. The second theorem generalizes a result of Trevi\~no for the horizontal flow on a translation surface, as well as Masur's criterion for unique ergodicity of the horizontal foliation.


title: k-Majority Digraphs and the Hardness of Voting with a Constant Number of Voters

abstract: Many hardness results in computational social choice make use of the fact that every directed graph may be induced as the pairwise majority relation of some preference profile. However, this fact requires a number of voters that is almost linear in the number of alternatives. It is therefore unclear whether these results remain intact when the number of voters is bounded, as is, for example, typically the case in search engine aggregation settings. In this paper, we provide a systematic study of majority digraphs for a constant number of voters resulting in analytical, experimental, and complexity-theoretic insights. First, we characterize the set of digraphs that can be induced by two and three voters, respectively, and give sufficient conditions for larger numbers of voters. Second, we present a surprisingly efficient implementation via SAT solving for computing the minimal number of voters that is required to induce a given digraph and experimentally evaluate how many voters are required to induce the majority digraphs of real-world and generated preference profiles. Finally, we leverage our sufficient conditions to show that the winner determination problem of various well-known voting rules remains hard even when there is only a small constant number of voters. In particular, we show that Kemeny's rule is hard to evaluate for 7 voters, while previous methods could only establish such a result for constant even numbers of voters.


title: Efficient Gender Classification Using a Deep LDA-Pruned Net

abstract: Many real-time tasks, such as human-computer interaction, require fast and efficient facial gender classification. Although deep CNN nets have been very effective for a multitude of classification tasks, their high space and time demands make them impractical for personal computers and mobile devices without a powerful GPU. In this paper, we develop a 16-layer, yet lightweight, neural network which boosts efficiency while maintaining high accuracy. Our net is pruned from the VGG-16 model starting from the last convolutional (conv) layer where we find neuron activations are highly uncorrelated given the gender. Through Fisher's Linear Discriminant Analysis (LDA), we show that this high decorrelation makes it safe to discard directly last conv layer neurons with high within-class variance and low between-class variance. Combined with either Support Vector Machines (SVM) or Bayesian classification, the reduced CNNs are capable of achieving comparable (or even higher) accuracies on the LFW and CelebA datasets than the original net with fully connected layers. On LFW, only four Conv5_3 neurons are able to maintain a comparably high recognition accuracy, which results in a reduction of total network size by a factor of 70X with a 11 fold speedup. Comparisons with a state-of-the-art pruning method as well as two smaller nets in terms of accuracy loss and convolutional layers pruning rate are also provided.


title: Symmetries and multipeakon solutions for the modified two-component Camassa-Holm system

abstract: Compared with the two-component Camassa-Holm system, the modified two-component Camassa-Holm system introduces a regularized density which makes possible the existence of solutions of lower regularity, and in particular of multipeakon solutions. In this paper, we derive a new pointwise invariant for the modified two-component Camassa-Holm system. The derivation of the invariant uses directly the symmetry of the system, following the classical argument of Noether's theorem. The existence of the multipeakon solutions can be directly inferred from this pointwise invariant. This derivation shows the strong connection between symmetries and the existence of special solutions. The observation also holds for the scalar Camassa-Holm equation and, for comparison, we have also included the corresponding derivation. Finally, we compute explicitly the solutions obtained for the peakon-antipeakon case. We observe the existence of a periodic solution which has not been reported in the literature previously. This case shows the attractive effect that the introduction of an elastic potential can have on the solutions.


title: Photon and dilepton observables: An experimental overview

abstract: Dilepton and direct photon measurements in heavy ion collisions provide access to the early stages of the collision. Dilepton continuum measurements at SPS and RHIC show an excess consistent with broadening of the rho meson spectral function as a result of hadronic interactions. Direct photon measurements at RHIC and the LHC show an excess of low $p_{T}$ photons over the expected yield. This excess has a large azimuthal anisotropy with respect to the collision plane. Understanding the direct photon excess and its anisotropy has become an outstanding question in the field of heavy ion physics. This proceeding consists of a summary of new dilepton and direct photon experimental results shown at the 2017 International Conference on Ultrarelativistic Nucleus-Nucleus Collisions and presents them in the context of our current understanding of these electromagentic probes.


title: Hydrodynamic ablation of protoplanetary disks via supernovae

abstract: We present three-dimensional simulations of a protoplanetary disk subject to the effect of a nearby (0.3pc distant) supernova, using a time-dependent flow from a one dimensional numerical model of the supernova remnant (SNR), in addition to constant peak ram pressure simulations. Simulations are performed for a variety of disk masses and inclination angles. We find disk mass-loss rates that are typically 1e-7 to 1e-6 Msol/yr (but peak near 1e-5 Msol/yr during the "instantaneous" stripping phase) and are sustained for around 200 yr. Inclination angle has little effect on the mass loss unless the disk is close to edge-on. Inclined disks also strip asymmetrically with the trailing edge ablating more easily. Since the interaction lasts less than one outer rotation period, there is not enough time for the disk to restore its symmetry, leaving the disk asymmetrical after the flow has passed. Of the low-mass disks considered, only the edge-on disk is able to survive interaction with the SNR (with 50% of its initial mass remaining). At the end of the simulations, disks that survive contain fractional masses of SN material up to 5e-6. This is too low to explain the abundance of short-lived radionuclides in the early solar system, but a larger disk and the inclusion of radiative cooling might allow the disk to capture a higher fraction of SN material.


title: A Broadband DLCZ Quantum Memory in Room-Temperature Atoms

abstract: Quantum memory capable of stopping flying photons and storing their quantum coherence is essential for scalable quantum technologies. A room-temperature broadband quantum memory will enable the implementation of large-scale quantum systems for real-life applications. Due to either intrinsic high noises or short lifetime, it is still challenging to find a room-temperature broadband quantum memory beyond conceptual demonstration. Here, we present a far-off-resonance Duan-Lukin-Cirac-Zoller (FORD) protocol and demonstrate the broadband quantum memory in room-temperature atoms. We observe a low unconditional noise level of $10^{-4}$ and a cross-correlation up to 28. A strong violation of Cauchy-Schwarz inequality indicates high-fidelity generation and preservation of non-classical correlation. Furthermore, the achieved cross-correlation in room-temperature atoms exceeds the key boundary of 6 above which quantum correlation is able to violate Bell's inequality. Our results open up the door to an entirely new realm of memory-enabled quantum applications at ambient conditions.


title: GEM Foil Quality Assurance For The ALICE TPC Upgrade

abstract: The ALICE (A Large Ion Collider Experiment) experiment at the Large Hadron Collider (LHC) at CERN is dedicated to heavy ion physics to explore the structure of strongly interacting matter. The Time Projection Chamber (TPC) of ALICE is a tracking detector located in the central region of the experiment. It offers excellent tracking capabilities as well as particle identification. After the second long shutdown (LS2) the LHC will run at substantially higher luminosities. To be able to increase the data acquisition rate by a factor of 100, the ALICE TPC experiment has to replace the Multi-Wire Proportional Chamber (MWPC) -based readout chambers. The MWPC are operated with gating grid that limits the rate to O(kHz). The new ReadOut Chamber (ROC) design is based on Gas Electron Multiplier (GEM) technology operating in continuous mode. The current GEM productions scheme foresees the production of more than 800 GEM foils of different types. To fulfill the requirements on the performance of the GEM TPC readout, necessitates thorough Quality Assurance (QA) measures. The QA scheme, developed by the ALICE collaboration, will be presented in detail.


title: Finding Euclidean Distance to a Convex Cone Generated by a Large Number of Discrete Points

abstract: In this paper, we study the problem of finding the Euclidean distance to a convex cone generated by a set of discrete points in $\mathbb{R}^n_+$. In particular, we are interested in problems where the discrete points are the set of feasible solutions of some binary linear programming constraints. This problem has applications in manufacturing, machine learning, clustering, pattern recognition, and statistics. Our problem is a high-dimensional constrained optimization problem. We propose a Frank-Wolfe based algorithm to solve this non-convex optimization problem with a convex-noncompact feasible set. Our approach consists of two major steps: presenting an equivalent convex optimization problem with a non-compact domain, and finding a compact-convex set that includes the iterates of the algorithm. We discuss the convergence property of the proposed approach. Our numerical work shows the effectiveness of this approach.


title: High Resolution Valley Spectroscopy of Si Quantum Dots

abstract: We study an accumulation mode Si/SiGe double quantum dot (DQD) containing a single electron that is dipole coupled to microwave photons in a superconducting cavity. Measurements of the cavity transmission reveal dispersive features due to the DQD valley states in Si. The occupation of the valley states can be increased by raising temperature or applying a finite source-drain bias across the DQD, resulting in an increased signal. Using cavity input-output theory and a four-level model of the DQD, it is possible to efficiently extract valley splittings and the inter- and intra-valley tunnel couplings.


title: Constraining spatial variations of the fine-structure constant in symmetron models

abstract: We introduce a methodology to test models with spatial variations of the fine-structure constant $\alpha$, based on the calculation of the angular power spectrum of these measurements. This methodology enables comparisons of observations and theoretical models through their predictions on the statistics of the $\alpha$ variation. Here we apply it to the case of symmetron models. We find no indications of deviations from the standard behavior, with current data providing an upper limit to the strength of the symmetron coupling to gravity ($\log{\beta^2}<-0.9$) when this is the only free parameter, and not able to constrain the model when also the symmetry breaking scale factor $a_{SSB}$ is free to vary.


title: Settling the query complexity of non-adaptive junta testing

abstract: We prove that any non-adaptive algorithm that tests whether an unknown Boolean function $f: \{0, 1\}^n\to \{0, 1\}$ is a $k$-junta or $\epsilon$-far from every $k$-junta must make $\widetilde{\Omega}(k^{3/2} / \epsilon)$ many queries for a wide range of parameters $k$ and $\epsilon$. Our result dramatically improves previous lower bounds from [BGSMdW13, STW15], and is essentially optimal given Blais's non-adaptive junta tester from [Blais08], which makes $\widetilde{O}(k^{3/2})/\epsilon$ queries. Combined with the adaptive tester of [Blais09] which makes $O(k\log k + k /\epsilon)$ queries, our result shows that adaptivity enables polynomial savings in query complexity for junta testing.


title: Two-Dimensional Homogeneous Fermi Gases

abstract: We report on the experimental realization of homogeneous two-dimensional (2D) Fermi gases trapped in a box potential. In contrast to harmonically trapped gases, these homogeneous 2D systems are ideally suited to probe local as well as non-local properties of strongly interacting manybody systems. As a first measurement, we use a local probe to extract the equation of state (EOS) of a non-interacting Fermi gas. We then perform matter wave focusing to extract its momentum distribution and directly observe Pauli blocking in a near unity occupation of momentum states. Finally, we measure the momentum distribution of strongly interacting homogeneous 2D gases in the crossover between attractively interacting fermions and deeply-bound bosonic molecules.


title: Seven Years of Imaging the Global Heliosphere with IBEX

abstract: The Interstellar Boundary Explorer (IBEX) has now operated in space for 7 years and returned nearly continuous observations that have led to scientific discoveries and reshaped our entire understanding of the outer heliosphere and its interaction with the local interstellar medium. Here we extend prior work, adding the 2014-2015 data for the first time, and examine, validate, initially analyze, and provide a complete 7-year set of Energetic Neutral Atom (ENA) observations from ~0.1 to 6 keV. The data, maps, and documentation provided here represent the 10th major release of IBEX data and include improvements to various prior corrections to provide the citable reference for the current version of IBEX data. We are now able to study time variations in the outer heliosphere and interstellar interaction over more than half a solar cycle. We find that the Ribbon has evolved differently than the globally distributed flux (GDF), with a leveling off and partial recovery of ENAs from the GDF, owing to solar wind output flattening and recovery. The Ribbon has now also lost its latitudinal ordering, which reflects the breakdown of solar minimum solar wind conditions and exhibits a greater time delay than for the surrounding GDF. Together, the IBEX observations strongly support a secondary ENA source for the Ribbon, and we suggest that this be adopted as the nominal explanation of the Ribbon going forward.


title: An Optical/near-infrared investigation of HD 100546 b with the Gemini Planet Imager and MagAO

abstract: We present H band spectroscopic and Halpha photometric observations of HD 100546 obtained with GPI and MagAO. We detect H band emission at the location of the protoplanet HD 100546b, but show that choice of data processing parameters strongly affects the morphology of this source. It appears point-like in some aggressive reductions, but rejoins an extended disk structure in the majority of the others. Furthermore, we demonstrate that this emission appears stationary on a timescale of 4.6 yrs, inconsistent at the 2sigma level with a Keplerian clockwise orbit at 59 au in the disk plane. The H band spectrum of the emission is inconsistent with any type of low effective temperature object or accreting protoplanetary disk. It strongly suggests a scattered light origin, as it is consistent with the spectrum of the star and the spectra extracted at other locations in the disk. A non detection at the 5sigma level of HD 100546b in differential Halpha imaging places an upper limit, assuming the protoplanet lies in a gap free of extinction, on the accretion luminosity and accretion rate of 1.7E-4 Lsun and MMdot<6.4E-7Mjup^2/yr for 1Rjup. These limits are comparable to the accretion luminosity and rate of TTauri-stars or LkCa 15b. Taken together, these lines of evidence suggest that the H band source at the location of HD 100546b is not emitted by a planetary photosphere or an accreting circumplanetary disk but is a disk feature enhanced by the PSF subtraction process. This non-detection is consistent with the non-detection in the K band reported in an earlier study but does not exclude the possibility that HD 100546b is deeply embedded.


title: The Green Bank Ammonia Survey (GAS): First Results of NH3 mapping the Gould Belt

abstract: We present an overview of the first data release (DR1) and first-look science from the Green Bank Ammonia Survey (GAS). GAS is a Large Program at the Green Bank Telescope to map all Gould Belt star-forming regions with $A_V \gtrsim 7$ mag visible from the northern hemisphere in emission from NH$_3$ and other key molecular tracers. This first release includes the data for four regions in Gould Belt clouds: B18 in Taurus, NGC 1333 in Perseus, L1688 in Ophiuchus, and Orion A North in Orion. We compare the NH$_3$ emission to dust continuum emission from Herschel, and find that the two tracers correspond closely. NH$_3$ is present in over 60\% of lines-of-sight with $A_V \gtrsim 7$ mag in three of the four DR1 regions, in agreement with expectations from previous observations. The sole exception is B18, where NH$_3$ is detected toward ~ 40\% of lines-of-sight with $A_V \gtrsim 7$ mag. Moreover, we find that the NH$_3$ emission is generally extended beyond the typical 0.1 pc length scales of dense cores. We produce maps of the gas kinematics, temperature, and NH$_3$ column densities through forward modeling of the hyperfine structure of the NH$_3$ (1,1) and (2,2) lines. We show that the NH$_3$ velocity dispersion, ${\sigma}_v$, and gas kinetic temperature, $T_K$, vary systematically between the regions included in this release, with an increase in both the mean value and spread of ${\sigma}_v$ and $T_K$ with increasing star formation activity. The data presented in this paper are publicly available.


title: Control Improvisation

abstract: We formalize and analyze a new problem in formal language theory termed control improvisation. Given a specification language, the problem is to produce an improviser, a probabilistic algorithm that randomly generates words in the language, subject to two additional constraints: the satisfaction of a quantitative soft constraint, and the exhibition of a specified amount of randomness. Control improvisation has many applications, including for example systematically generating random test vectors satisfying format constraints or preconditions while being similar to a library of seed inputs. Other applications include robotic surveillance, machine improvisation of music, and randomized variants of the supervisory control problem. We describe a general framework for solving the control improvisation problem, and use it to give efficient algorithms for several practical classes of instances with finite automaton and context-free grammar specifications. We also provide a detailed complexity analysis, establishing #P-hardness of the problem in many other cases. For these intractable cases, we show how symbolic techniques based on Boolean satisfiability (SAT) solvers can be used to find approximate solutions. Finally, we discuss an extension of control improvisation to multiple soft constraints that is useful in some applications.


title: Computing with Networks of Nonlinear Mechanical Oscillators

abstract: As it is getting increasingly difficult to achieve gains in the density and power efficiency of microelectronic computing devices because of lithographic techniques reaching fundamental physical limits, new approaches are required to maximize the benefits of distributed sensors, micro-robots or smart materials. Biologically-inspired devices, such as artificial neural networks, can process information with a high level of parallelism to efficiently solve difficult problems, even when implemented using conventional microelectronic technologies. We describe a mechanical device, which operates in a manner similar to artificial neural networks, to solve efficiently two difficult benchmark problems (computing the parity of a bit stream, and classifying spoken words). The device consists in a network of masses coupled by linear springs and attached to a substrate by non-linear springs, thus forming a network of anharmonic oscillators. As the masses can directly couple to forces applied on the device, this approach combines sensing and computing functions in a single power-efficient device with compact dimensions.


title: The Hierarchical Distribution of the Young Stellar Clusters in Six Local Star Forming Galaxies

abstract: We present a study of the hierarchical clustering of the young stellar clusters in six local (3--15 Mpc) star-forming galaxies using Hubble Space Telescope broad band WFC3/UVIS UV and optical images from the Treasury Program LEGUS (Legacy ExtraGalactic UV Survey). We have identified 3685 likely clusters and associations, each visually classified by their morphology, and we use the angular two-point correlation function to study the clustering of these stellar systems. We find that the spatial distribution of the young clusters and associations are clustered with respect to each other, forming large, unbound hierarchical star-forming complexes that are in general very young. The strength of the clustering decreases with increasing age of the star clusters and stellar associations, becoming more homogeneously distributed after ~40--60 Myr and on scales larger than a few hundred parsecs. In all galaxies, the associations exhibit a global behavior that is distinct and more strongly correlated from compact clusters. Thus, populations of clusters are more evolved than associations in terms of their spatial distribution, traveling significantly from their birth site within a few tens of Myr whereas associations show evidence of disruption occurring very quickly after their formation. The clustering of the stellar systems resembles that of a turbulent interstellar medium that drives the star formation process, correlating the components in unbound star-forming complexes in a hierarchical manner, dispersing shortly after formation, suggestive of a single, continuous mode of star formation across all galaxies.


title: Minima of multi-Higgs potentials with triplets of $\Delta(3n^2)$ and $\Delta(6n^2)$

abstract: We analyse the minima of scalar potentials for multi-Higgs models where the scalars are arranged as either one triplet or two triplets of the discrete symmetries $A_4$, $S_4$, $\Delta(27)$, $\Delta(54)$, as well as $\Delta(3n^2)$ and $\Delta(6n^2)$ with $n>3$. The results should be useful for both multi-Higgs models involving electroweak doublets and multi-flavon models involving electroweak singlets, where in both cases the fields transform as triplets under some non-Abelian discrete symmetry.


title: Incorporating an Optical Clock into a Time Scale

abstract: This paper discusses how to build a time scale with an intermittently-operated optical clock. In particular, it gives suggestions on how long and how often to run an optical clock. It also explores the benefits of having an optical clock in a time scale, by comparing with the current UTC(NIST) performance and the time scale with a continuously-operated Cs fountain.


title: A combinatorial result on asymptotic independence relations for random matrices with non-commutative entries

abstract: The paper gives a general condition on permutations, condition under which a semicircular matrix is free independent, or asymptotically free independent from the semicircular matrix obtained by permuting its entries. In particular, it is shown that semicircular matrices are asymptotically free from their transposes, a result similar to the case of Gaussian random matrices. There is also an analysis of asymptotic second order relations between semicircular matrices and their transposes, with results not very similar to the commutative (i.e. Gaussian random matrices) framework. The paper also presents an application of the main results to the study of Gaussian random matrices and furthermore it is shown that the same condition as in the case of semicircular matrices gives Boolean independence, or asymptotic Boolean independence when applied to Bernoulli matrices.


title: Trajectory Planning Under Vehicle Dimension Constraints Using Sequential Linear Programming

abstract: This paper presents a spatial-based trajectory planning method for automated vehicles under actuator, obstacle avoidance, and vehicle dimension constraints. Starting from a nonlinear kinematic bicycle model, vehicle dynamics are transformed to a road-aligned coordinate frame with path along the road centerline replacing time as the dependent variable. Space-varying vehicle dimension constraints are linearized around a reference path to pose convex optimization problems. Such constraints do not require to inflate obstacles by safety-margins and therefore maximize performance in very constrained environments. A sequential linear programming (SLP) algorithm is motivated. A linear program (LP) is solved at each SLP-iteration. The relation between LP formulation and maximum admissible traveling speeds within vehicle tire friction limits is discussed. The proposed method is evaluated in a roomy and in a tight maneuvering driving scenario, whereby a comparison to a semi-analytical clothoid-based path planner is given. Effectiveness is demonstrated particularly for very constrained environments, requiring to account for constraints and planning over the entire obstacle constellation space.


title: Good Features to Correlate for Visual Tracking

abstract: During the recent years, correlation filters have shown dominant and spectacular results for visual object tracking. The types of the features that are employed in these family of trackers significantly affect the performance of visual tracking. The ultimate goal is to utilize robust features invariant to any kind of appearance change of the object, while predicting the object location as properly as in the case of no appearance change. As the deep learning based methods have emerged, the study of learning features for specific tasks has accelerated. For instance, discriminative visual tracking methods based on deep architectures have been studied with promising performance. Nevertheless, correlation filter based (CFB) trackers confine themselves to use the pre-trained networks which are trained for object classification problem. To this end, in this manuscript the problem of learning deep fully convolutional features for the CFB visual tracking is formulated. In order to learn the proposed model, a novel and efficient backpropagation algorithm is presented based on the loss function of the network. The proposed learning framework enables the network model to be flexible for a custom design. Moreover, it alleviates the dependency on the network trained for classification. Extensive performance analysis shows the efficacy of the proposed custom design in the CFB tracking framework. By fine-tuning the convolutional parts of a state-of-the-art network and integrating this model to a CFB tracker, which is the top performing one of VOT2016, 18% increase is achieved in terms of expected average overlap, and tracking failures are decreased by 25%, while maintaining the superiority over the state-of-the-art methods in OTB-2013 and OTB-2015 tracking datasets.


title: Deep Clustering via Joint Convolutional Autoencoder Embedding and Relative Entropy Minimization

abstract: Image clustering is one of the most important computer vision applications, which has been extensively studied in literature. However, current clustering methods mostly suffer from lack of efficiency and scalability when dealing with large-scale and high-dimensional data. In this paper, we propose a new clustering model, called DEeP Embedded RegularIzed ClusTering (DEPICT), which efficiently maps data into a discriminative embedding subspace and precisely predicts cluster assignments. DEPICT generally consists of a multinomial logistic regression function stacked on top of a multi-layer convolutional autoencoder. We define a clustering objective function using relative entropy (KL divergence) minimization, regularized by a prior for the frequency of cluster assignments. An alternating strategy is then derived to optimize the objective by updating parameters and estimating cluster assignments. Furthermore, we employ the reconstruction loss functions in our autoencoder, as a data-dependent regularization term, to prevent the deep embedding function from overfitting. In order to benefit from end-to-end optimization and eliminate the necessity for layer-wise pretraining, we introduce a joint learning framework to minimize the unified clustering and reconstruction loss functions together and train all network layers simultaneously. Experimental results indicate the superiority and faster running time of DEPICT in real-world clustering tasks, where no labeled data is available for hyper-parameter tuning.


title: Invariant Manifolds for Non-differentiable Operators

abstract: A general invariant manifold theorem is needed to study the topological classes of smooth dynamical systems. These classes are often invariant under renormalization. The classical invariant manifold theorem cannot be applied, because the renormalization operator for smooth systems is not differentiable and sometimes does not have an attractor. Examples are the renormalization operator for general smooth dynamics, such as unimodal dynamics, circle dynamics, Cherry dynamics, Lorenz dynamics, H\'enon dynamics, etc. A general method to construct invariant manifolds of non-differentiable non-linear operators is presented. An application is that the $\mathcal C^{4+\epsilon}$ Fibonacci Cherry maps form a $\mathcal C^1$ codimension one manifold.


title: Stochastic comparisons of series and parallel systems with heterogeneous components

abstract: In this paper, we discuss stochastic comparisons of parallel systems with independent heterogeneous exponentiated Nadarajah-Haghighi (ENH) components in terms of the usual stochastic order, dispersive order, convex transform order and the likelihood ratio order. In the presence of the Archimedean copula, we study stochastic comparison of series dependent systems in terms of the usual stochastic order.


title: Dissipation modulated Kelvin probe force microscopy method

abstract: We review a new implementation of Kelvin probe force microscopy (KPFM) in which the dissipation signal of frequency modulation atomic force microscopy (FM-AFM) is used for dc bias voltage feedback (D-KPFM). The dissipation arises from an oscillating electrostatic force that is coherent with the tip oscillation, which is caused by applying the ac voltage between the tip and sample. The magnitude of the externally induced dissipation is found to be proportional to the effective dc bias voltage, which is the difference between the applied dc voltage and the contact potential difference. Two different implementations of D-KPFM are presented. In the first implementation, the frequency of the applied ac voltage, $f_\mathrm{el}$, is chosen to be the same as the tip oscillation ($f_\mathrm{el} = f_\mathrm{m}$: $1\omega$D-KPFM). In the second one, the ac voltage frequency, $f_\mathrm{el}$, is chosen to be twice the tip oscillation frequency ($f_\mathrm{el}= 2 f_\mathrm{m}$: $2\omega$D-KPFM). In $1\omega$D-KPFM, the dissipation is proportional to the electrostatic force, which enables the use of a small ac voltage amplitude even down to $\approx 10$\,mV. In $2\omega$D-KPFM, the dissipation is proportional to the electrostatic force gradient, which results in the same potential contrast as that obtained by FM-KPFM. D-KPFM features a simple implementation with no lock-in amplifier and faster scanning as it requires no low frequency modulation. The use of a small ac voltage amplitude in $1\omega$D-KPFM is of great importance in characterizing of technically relevant materials in which their electrical properties can be disturbed by the applied electric field. $2\omega$D-KPFM is useful when more accurate potential measurement is required. The operations in $1\omega$ and $2\omega$D-KPFM can be switched easily to take advantage of both features at the same location on a sample.


title: Solar Neutrino Spectroscopy

abstract: More than forty years after the first detection of neutrinos from the Sun, the spectroscopy of solar neutrinos has proven to be an on-going success story. The long-standing puzzle about the observed solar neutrino deficit has been resolved by the discovery of neutrino flavor oscillations. Today's experiments have been able to solidify the standard MSW-LMA oscillation scenario by performing precise measurements over the whole energy range of the solar neutrino spectrum. This article reviews the enabling experimental technologies: On the one hand mutli-kiloton-scale water Cherenkov detectors performing measurements in the high-energy regime of the spectrum, on the other end ultrapure liquid-scintillator detectors that allow for a low-threshold analysis. The current experimental results on the fluxes, spectra and time variation of the different components of the solar neutrino spectrum will be presented, setting them in the context of both neutrino oscillation physics and the hydrogen fusion processes embedded in the Standard Solar Model. Finally, the physics potential of state-of-the-art detectors and a next-generation of experiments based on novel techniques will be assessed in the context of the most interesting open questions in solar neutrino physics: a precise measurement of the vacuum-matter transition curve of electron-neutrino oscillation probability that offers a definitive test of the basic MSW-LMA scenario or the appearance of new physics; and a first detection of neutrinos from the CNO cycle that will provide new information on solar metallicity and stellar physics.


title: Domain percolation in a quenched ferromagnetic spinor condensate

abstract: We show that the easy-axis (EA) magnetic domains formed in a quenched ferromagnetic spinor condensate are described by percolation theory. We introduce a generalized spin rotation to vary the proportion of positive and negative EA domains, allowing us to explore domain percolation. Using simulations we investigate the finite-size scaling behaviour to extract the correlation length critical exponent and the transition point. We analyse the sensitivity of our results to the early-time dynamics of the system, the quadratic Zeeman energy, and the threshold condition used to define the positive (percolating) domains.


title: Rate-Splitting to Mitigate Residual Transceiver Hardware Impairments in Massive MIMO Systems

abstract: Rate-Splitting (RS) has recently been shown to provide significant performance benefits in various multi-user transmission scenarios. In parallel, the huge degrees-of-freedom provided by the appealing massive Multiple-Input Multiple-Output (MIMO) necessitate the employment of inexpensive hardware, being more prone to hardware imperfections, in order to be a cost-efficient technology. Hence, in this work, we focus on a realistic massive Multiple-Input Single-Output (MISO) Broadcast Channel (BC) hampered by the inevitable hardware impairments. We consider a general experimentally validated model of hardware impairments, accounting for the presence of \textit{multiplicative distortion} due to phase noise, \textit{additive distortion noise} and \textit{thermal noise amplification}. Under both scenarios with perfect and imperfect channel state information at the transmitter (CSIT), we analyze the potential robustness of RS to each separate hardware imperfection. We analytically assess the sum-rate degradation due to hardware imperfections. Interestingly, in the case of imperfect CSIT, we demonstrate that RS is a robust strategy for multiuser MIMO in the presence of phase and amplified thermal noise, since its sum-rate does not saturate at high signal-to-noise ratio (SNR), contrary to conventional techniques. On the other hand, the additive impairments always lead to a sum-rate saturation at high SNR, even after the application of RS. However, RS still enhances the performance. Furthermore, as the number of users increases, the gains provided by RS decrease not only in ideal conditions, but in practical conditions with RTHIs as well.


title: Assessing theoretical uncertainties in fission barriers of superheavy nuclei

abstract: Theoretical uncertainties in the predictions of inner fission barrier heights in superheavy elements have been investigated in a systematic way for a set of state-of-the-art covariant energy density functionals which represent major classes of the functionals used in covariant density functional theory. They differ in basic model assumptions and fitting protocols. Both systematic and statistical uncertainties have been quantified where the former turn out to be larger. Systematic uncertainties are substantial in superheavy elements and their behavior as a function of proton and neutron numbers contains a large random component. The benchmarking of the functionals to the experimental data on fission barriers in the actinides allows to reduce the systematic theoretical uncertainties for the inner fission barriers of unknown superheavy elements. However, even then they on average increase on moving away from the region where benchmarking has been performed. In addition, a comparison with the results of non-relativistic approaches is performed in order to define full systematic theoretical uncertainties over the state-of-the-art models. Even for the models benchmarked in the actinides, the difference in the inner fission barrier height of some superheavy elements reaches $5-6$ MeV. This uncertainty in the fission barrier heights will translate into huge (many tens of the orders of magnitude) uncertainties in the spontaneous fission half-lives.


title: The lost proof of Fermat's last theorem

abstract: This work contains two papers: the first published in 2022 and entitled "On the nature of some Euler's double equations equivalent to Fermat's last theorem" provides a marvellous proof through the so-called discordant forms of appropriate Euler's double equations, which could have entered in a not very narrow margin and the second instead published in 2024 and entitled "Some Diophantus-Fermat double equations equivalent to Frey's elliptic curve" provides the possible proof, which Fermat has not published in detail, but which uses the characteristic of all right-angled triangles with sides equal to whole numbers, or the famous Pythagorean identity. Some explanations in session(III) are provided: the first makes evident the nature of the "proof a' la Fermat" and the subsequent sessions clarify the direct and interesting connection of the two elementary proofs and it is necessary if you want to understand how two different elementary proofs of Fermat's Last Theorem are possible. It must be observed that those proofs must in no way be interpreted as a sort of absurd revenge of elementary number theory over more modern analytic and algebraic treatments.The author himself has added a section in which he connects his concepts with some of those used by Wiles in his complex demonstration.This implies that, to a certain extent, Wiles' demonstration inspired the author of those works. Ultimately in this paper we will illustrate how only thanks to some of Euler's discoveries was it possible to shed light on the so-called too narrow margin never written by Fermat. For this reason we will also provide some details on an article that was the real inspiration for achieving these results (see Last Conclusions).


title: Oxygen Isotope Effect Resulting from Polaron-induced Superconductivity in Cuprates

abstract: The planar oxygen isotope effect coefficient measured as a function of hole doping in the Pr- and La-doped YBa2Cu3O7 (YBCO) and the Ni-doped La1.85Sr0.15CuO4 (LSCO) superconductors quantitatively and qualitatively follows the form originally proposed by Kresin and Wolf, which was derived for polarons perpendicular to the superconducting planes. Interestingly, the inverse oxygen isotope effect coefficient at the pseudogap temperature also follows the same formula. These findings allow the conclusion that the superconductivity in YBCO and LSCO results from polarons or rather bipolarons in the CuO2 plane. The original formula, proposed for the perpendicular direction only, is obviously more generally valid and accounts for the superconductivity in the CuO2 planes.


title: Solution of heliospheric propagation: unveiling the local interstellar spectra of cosmic ray species

abstract: Local interstellar spectra (LIS) for protons, helium and antiprotons are built using the most recent experimental results combined with the state-of-the-art models for propagation in the Galaxy and heliosphere. Two propagation packages, GALPROP and HelMod, are combined to provide a single framework that is run to reproduce direct measurements of cosmic ray (CR) species at different modulation levels and at both polarities of the solar magnetic field. To do so in a self-consistent way, an iterative procedure was developed, where the GALPROP LIS output is fed into HelMod that provides modulated spectra for specific time periods of selected experiments to compare with the data; the HelMod parameters optimization is performed at this stage and looped back to adjust the LIS using the new GALPROP run. The parameters were tuned with the maximum likelihood procedure using an extensive data set of proton spectra from 1997-2015. The proposed LIS accommodate both the low energy interstellar CR spectra measured by Voyager 1 and the high energy observations by BESS, Pamela, AMS-01, and AMS-02 made from the balloons and near-Earth payloads; it also accounts for Ulysses counting rate features measured out of the ecliptic plane. The found solution is in a good agreement with proton, helium, and antiproton data by AMS-02, BESS, and PAMELA in the whole energy range.


title: Beam Energy Dependence of Dielectron Production in Au+Au Collisions from STAR at RHIC

abstract: Enabled by the addition of a TOF detector system in 2010, the first phase of the Beam Energy Scan (BES-I) at RHIC allows STAR to conduct an unprecedented energy-dependent study of dielectron production within a homogeneous experimental environment, and hence close the wide gap in the QCD phase diagram between SPS and top RHIC energies. This thesis concentrates on the understanding of the LMR enhancement regarding its $M_{ee}$, $p_{T}$ and energy dependence. It studies dielectron production in Au+Au collisions at beam energies of 19.6, 27, 39, and 62.4 GeV with sufficient statistics. In conjunction with the published STAR results at top RHIC energy, this thesis presents results on the first comprehensive energy-dependent study of dielectron production. The comparison of $M_{ee}$- and $p_{T}$-spectra with cocktail simulations of hadronic sources reveals a sizeable and steadily increasing excess yield in the LMR at all beam energies. The scenario of broadened in-medium $\rho$ spectral functions proves to not only serve well as dominating underlying source but also to be universal in nature since it quantitatively and qualitatively explains the LMR enhancements from SPS to top RHIC energies. It shows that most of the enhancement is governed by interactions of the $\rho$ meson with thermal resonance excitations in the late(r)-stage hot and dense hadronic phase. This conclusion is supported by the energy-dependent measurement of integrated LMR excess yields and enhancement factors. The former do not exhibit a strong dependence on beam energy as expected from the approximately constant total baryon density above 20 GeV, and the latter show agreement with the CERES measurement at SPS energy. The consistency in excess yields and agreement with model calculations over the wide RHIC energy regime makes a strong case for LMR enhancements on the order of a factor 2-3.


title: A Monte Carlo approach to computing stiffness matrices arising in polynomial chaos approximations

abstract: We use a Monte Carlo method to assemble finite element matrices for polynomial Chaos approximations of elliptic equations with random coefficients. In this approach, all required expectations are approximated by a Monte Carlo method. The resulting methodology requires dealing with sparse block-diagonal matrices instead of block-full matrices. This leads to the solution of a coupled system of elliptic equations where the coupling is given by a Kronecker product matrix involving polynomial evaluation matrices. This generalizes the Classical Monte Carlo approximation and Collocation method for approximating functionals of solutions of these equations.


title: Identifying First-person Camera Wearers in Third-person Videos

abstract: We consider scenarios in which we wish to perform joint scene understanding, object tracking, activity recognition, and other tasks in environments in which multiple people are wearing body-worn cameras while a third-person static camera also captures the scene. To do this, we need to establish person-level correspondences across first- and third-person videos, which is challenging because the camera wearer is not visible from his/her own egocentric video, preventing the use of direct feature matching. In this paper, we propose a new semi-Siamese Convolutional Neural Network architecture to address this novel challenge. We formulate the problem as learning a joint embedding space for first- and third-person videos that considers both spatial- and motion-domain cues. A new triplet loss function is designed to minimize the distance between correct first- and third-person matches while maximizing the distance between incorrect ones. This end-to-end approach performs significantly better than several baselines, in part by learning the first- and third-person features optimized for matching jointly with the distance measure itself.


title: Global stability of almost periodic solutions of monotone sweeping processes and their response to non-monotone perturbations

abstract: We develop a theory which allows making qualitative conclusions about the dynamics of both monotone and non-monotone Moreau sweeping processes. Specifically, we first prove that any sweeping processes with almost periodic monotone right-hand-sides admits a globally exponentially stable almost periodic solution. And then we describe the extent to which such a globally stable solution persists under non-monotone perturbations.


title: STAR Results from Au + Au Fixed-Target Collisions at sqrt(s_NN) = 4.5 GeV

abstract: We present results from STAR's first dedicated fixed-target run conducted in 2015 with Au + Au collisions at sqrt(s_NN) = 4.5 GeV. Directed flow of protons and lambdas, elliptic flow of identified hadrons, HBT radii, as well as pion, K^0_s, and Lambda spectra are compared with previous results from the AGS. These results demonstrate that STAR has good event reconstruction and particle identification capabilities in the fixed-target configuration. The implications of these results on future STAR fixed-target runs are discussed.


title: Gas rotation, shocks and outflow within the inner 3 kpc of the radio galaxy 3C 33

abstract: We present optical integral field spectroscopy $-$ obtained with the Gemini Multi-Object Spectrograph $-$ of the inner $4.0 \times 5.8$ kpc$^2$ of the narrow line radio galaxy 3C 33 at a spatial resolution of 0.58 kpc. The gas emission shows three brightest structures: a strong knot of nuclear emission and two other knots at $\approx 1.4$ kpc south-west and north-east of the nucleus along the ionization axis. We detect two kinematic components in the emission lines profiles, with a "broader component" (with velocity dispersion $\sigma > 150$ km s$^{-1}$) being dominant within a $\sim$ 1 kpc wide strip ("the nuclear strip") running from the south-east to the north-west, perpendicular to the radio jet, and a narrower component ($\sigma < 100$ km s$^{-1}$) dominating elsewhere. Centroid velocity maps reveal a rotation pattern with velocity amplitudes reaching $\sim \pm 350$ km s$^{-1}$ in the region dominated by the narrow component, while residual blueshifts and redshifts relative to rotation are observed in the nuclear strip, where we also observe the highest values of the [N II]/H{\alpha}, [S II]/H{\alpha} and [O I]/H{\alpha} line ratios, and an increase of the gas temperature ($\sim 18000$ K), velocity dispersion and electron density ($\sim 500$ cm$^{-3}$). We interpret these residuals and increased line ratios as due to a lateral expansion of the ambient gas in the nuclear strip due to shocks produced by the passage of the radio jet. The effect of this expansion in the surrounding medium is very small, as its estimated kinetic power represents only $2.6 - 3.0 \times 10^{-5}$ of the AGN bolometric luminosity. A possible signature of inflow is revealed by an increase in the [O I]/H{\alpha} ratio values and velocity dispersions in the shape of two spiral arms extending to 2.3 kpc north-east and south-west from the nucleus.


title: Trace and extension theorems for Sobolev-type functions in metric spaces

abstract: Trace classes of Sobolev-type functions in metric spaces are subject of this paper. In particular, functions on domains whose boundary has an upper codimension-$\theta$ bound are considered. Based on a Poincar\'e inequality, existence of a Borel measurable trace is proven whenever the power of integrability of the "gradient" exceeds $\theta$. The trace $T$ is shown to be a compact operator mapping a Sobolev-type space on a domain into a Besov space on the boundary. Sufficient conditions for $T$ to be surjective are found and counterexamples showing that surjectivity may fail are also provided. The case when the exponent of integrability of the "gradient" is equal to $\theta$, i.e., the codimension of the boundary, is also discussed. Under some additional assumptions, the trace lies in $L^\theta$ on the boundary then. Essential sharpness of these extra assumptions is illustrated by an example.


title: Space Telescope and Optical Reverberation Mapping Project. VII. Understanding the UV anomaly in NGC 5548 with X-Ray Spectroscopy

abstract: During the Space Telescope and Optical Reverberation Mapping Project (STORM) observations of NGC 5548, the continuum and emission-line variability became de-correlated during the second half of the 6-month long observing campaign. Here we present Swift and Chandra X-ray spectra of NGC 5548 obtained as a part of the campaign. The Swift spectra show that excess flux (relative to a power-law continuum) in the soft X-ray band appears before the start of the anomalous emission-line behavior, peaks during the period of the anomaly, and then declines. This is a model-independent result suggesting that the soft excess is related to the anomaly. We divide the Swift data into on- and off-anomaly spectra to characterize the soft excess via spectral fitting. The cause of the spectral differences is likely due to a change in the intrinsic spectrum rather than being due to variable obscuration or partial covering. The Chandra spectra have lower signal-to-noise ratios, but are consistent with Swift data. Our preferred model of the soft excess is emission from an optically thick, warm Comptonizing corona, the effective optical depth of which increases during the anomaly. This model simultaneously explains all the three observations: the UV emission line flux decrease, the soft-excess increase, and the emission line anomaly.


title: ADN: An Information-Centric Networking Architecture for the Internet of Things

abstract: Forwarding data by name has been assumed to be a necessary aspect of an information-centric redesign of the current Internet architecture that makes content access, dissemination, and storage more efficient. The Named Data Networking (NDN) and Content-Centric Networking (CCNx) architectures are the leading examples of such an approach. However, forwarding data by name incurs storage and communication complexities that are orders of magnitude larger than solutions based on forwarding data using addresses. Furthermore, the specific algorithms used in NDN and CCNx have been shown to have a number of limitations. The Addressable Data Networking (ADN) architecture is introduced as an alternative to NDN and CCNx. ADN is particularly attractive for large-scale deployments of the Internet of Things (IoT), because it requires far less storage and processing in relaying nodes than NDN. ADN allows things and data to be denoted by names, just like NDN and CCNx do. However, instead of replacing the waist of the Internet with named-data forwarding, ADN uses an address-based forwarding plane and introduces an information plane that seamlessly maps names to addresses without the involvement of end-user applications. Simulation results illustrate the order of magnitude savings in complexity that can be attained with ADN compared to NDN.


title: The $\Sigma_2$ theory of $\mathscr{D}_h(\leq_h \mathcal{O})$ as an uppersemilattice with least and greatest element is decidable

abstract: We establish the decidability of the $\Sigma_2$ theory of $\mathscr{D}_h(\leq_h \mathcal{O})$, the hyperarithmetic degrees below Kleene's $\mathcal{O}$, in the language of uppersemilattices with least and greatest element. This requires a new kind of initial-segment result and a new extension of embeddings result both in the hyperarithmetic setting.


title: Spectral Evidence for an Inner Carbon-Rich Circumstellar Dust Belt in the Young HD36546 A-Star System

abstract: Using the NASA/IRTF SpeX & BASS spectrometers we have obtained novel 0.7 - 13 um observations of the newly imaged HD36546 debris disk system. The SpeX spectrum is most consistent with the photospheric emission expected from an Lstar ~ 20 Lsun, solar abundance A1.5V star with little/no extinction and excess emission from circumstellar dust detectable beyond 4.5 um. Non-detections of CO emission lines and accretion signatures point to the gas poor circumstellar environment of a very old transition disk. Combining the SpeX and BASS spectra with archival WISE/AKARI/IRAS/Herschel photometery, we find an outer cold dust belt at ~135K and 20 - 40 AU from the primary, likely coincident with the disk imaged by Subaru (Currie et al. 2017), and a new second inner belt with temperature ~570K and an unusual, broad SED maximum in the 6 - 9 um region, tracing dust at 1.1 - 2.2 AU. An SED maximum at 6 - 9 um has been reported in just two other A-star systems, HD131488 and HD121191, both of ~10 Myr age (Melis et al. 2013). From Spitzer, we have also identified the ~12 Myr old A7V HD148567 system as having similar 5 - 35 um excess spectral features (Mittal et al. 2015). The Spitzer data allows us to rule out water emission and rule in carbonaceous materials - organics, carbonates, SiC - as the source of the 6 - 9 um excess. Assuming a common origin for the 4 young Astar systems' disks, we suggest they are experiencing an early era of carbon-rich planetesimal processing.


title: Examples in the entropy theory of countable group actions

abstract: Kolmogorov-Sinai entropy is an invariant of measure-preserving actions of the group of integers that is central to classification theory. There are two recently developed invariants, sofic entropy and Rokhlin entropy, that generalize classical entropy to actions of countable groups. These new theories have counterintuitive properties such as factor maps that increase entropy. This survey article focusses on examples, many of which have not appeared before, that highlight the differences and similarities with classical theory.


title: Graph Invariants with Connections to the Feynman Period in $\phi^4$ Theory

abstract: Feynman diagrams in $\phi^4$ theory have as their underlying structure 4-regular graphs. In particular, any 4-point $\phi^4$ graph can be uniquely derived from a 4-regular graph by deleting a vertex. The Feynman period is a simplified version of the Feynman integral, and is of special interest, as it maintains much of the important number theoretic information from the Feynman integral. It is also of structural interest, as it is known to be preserved by a number of graph theoretic operations. In particular, the vertex deleted in constructing the 4-point graph does not affect the Feynman period, and it is invariant under planar duality and the Schnetz twist, an operation that redirects edges incident to a 4-vertex cut. Further, a 4-regular graph may be produced by a 3-sum operation on triangles in two 4-regular graphs. The Feynman period of this graph with a vertex deleted is equal to the product of the Feynman periods of the two smaller graphs with one vertex deleted each. These operations currently explain all known instances of non-isomorphic 4-point $\phi^4$ graphs with equal periods. With this in mind, other graph invariants that are preserved by these operations for 4-point $\phi^4$ graphs are of interest, as they may provide insight into the Feynman period. In this thesis the extended graph permanent is introduced; an infinite sequence of residues from prime order finite fields. It is shown that this sequence is preserved by these three operations, and has a product property. Additionally, computational techniques will be established, and an alternate interpretation will be presented as the point count of a novel graph polynomial. Further, the previously existing $c_2$ invariant and Hepp bound are examined, two graph invariants that are conjectured to be preserved by these graph operations. A combinatorial approach to the $c_2$ invariant is introduced.


title: Verification of Concurrent Engineering Software Using CSM Models

abstract: An engineering design process may involve software modules that can executed concurrently. Concurrent modules can be very easily subject to some synchronization errors. This paper discusses verification process for such engineering software. We present a method for verification that requires several steps. First, the state diagram models are constructed that describe the design iterations and interactions with the designer. Next, the state diagram models are transformed into concurrent state machines (CSM). After that, the CSM models are analyzed in order to verify their correctness. In this phase, the modifications are performed in necessary. In the last phase the code is generated. The tools to support our method can be called new concurrent CASE tools. Using these tools the engineering software can be created that is verified for correctness in respect to concurrent execution.


title: Model order reduction for stochastic dynamical systems with continuous symmetries

abstract: Stochastic dynamical systems with continuous symmetries arise commonly in nature and often give rise to coherent spatio-temporal patterns. However, because of their random locations, these patterns are not well captured by current order reduction techniques and a large number of modes is typically necessary for an accurate solution. In this work, we introduce a new methodology for efficient order reduction of such systems by combining (i) the method of slices, a symmetry reduction tool, with (ii) any standard order reduction technique, resulting in efficient mixed symmetry-dimensionality reduction schemes. In particular, using the Dynamically Orthogonal (DO) equations in the second step, we obtain a novel nonlinear Symmetry-reduced Dynamically Orthogonal (SDO) scheme. We demonstrate the performance of the SDO scheme on stochastic solutions of the 1D Korteweg-de Vries and 2D Navier-Stokes equations.

categories: physics.comp-ph math.DS physics.data-an physics.flu-dyn


title: On the Berezin transforms on line bundles over the complex Hyperbolic spaces

abstract: We define a generalized Berezin transforms on line bundle over the complex hyperbolic space and we give it as a functions of the G-invariant laplacian on the line bundles.


title: Price Inequalities and Betti Number Growth on Manifolds without Conjugate Points

abstract: We derive Price inequalities for harmonic forms on manifolds without conjugate points and with a negative Ricci upper bound. The techniques employed in the proof work particularly well for manifolds of non-positive sectional curvature, and in this case we prove a strengthened Price inequality. We employ these inequalities to study the asymptotic behavior of the Betti numbers of coverings of Riemannian manifolds without conjugate points. Finally, we give a vanishing result for $L^{2}$-Betti numbers of closed manifolds without conjugate points.


title: Symmetry and the Geometric Phase in Ultracold Hydrogen-Exchange Reactions

abstract: Quantum reactive scattering calculations are reported for the ultracold hydrogen-exchange reaction and its non-reactive atom-exchange isotopic counterparts, proceeding from excited rotational states. It is shown that while the geometric phase (GP) does not necessarily control the reaction to all final states one can always find final states where it does. For the isotopic counterpart reactions these states can be used to make a measurement of the GP effect by separately measuring the even and odd symmetry contributions, which experimentally requires nuclear-spin final-state resolution. This follows from symmetry considerations that make the even and odd identical-particle exchange symmetry wavefunctions which include the GP locally equivalent to the opposite symmetry wavefunctions which do not. This equivalence reflects the important role discrete symmetries play in ultracold chemistry generally and highlights the key role ultracold reactions can play in understanding fundamental aspects of chemical reactivity.


title: Controlling and Stabilizing a Rigid Formation Using a Few Agents

abstract: We show in this paper that a small subset of agents of a formation of n agents in Euclidean space can control the position and orientation of the entire formation. We consider here formations tasked with maintaining inter-agent distances at prescribed values. It is known that when the inter-agent distances specified can be realized as the edges of a rigid graph, there is a finite number of possible configurations of the agents that satisfy the distance constraints, up to rotations and translations of the entire formation. We show here that under mild conditions on the type of control used by the agents, a subset of them forming a clique can work together to control the position and orientation of the formation as a whole. Mathematically, we investigate the effect of certain allowable perturbations of a nominal dynamics of the formation system. In particular, we show that any such perturbation leads to a rigid motion of the entire formation. Furthermore, we show that the map which assigns to a perturbation the infinitesimal generator of the corresponding rigid motion is locally surjective.


title: Mechanisms of irreversible decoherence in solids

abstract: Refocalization sequences in Nuclear Magnetic Resonance (NMR) can in principle reverse the coherent evolution under the secular dipolar Hamiltonian of a closed system. We use this experimental strategy to study the effect of irreversible decoherence on the signal amplitude attenuation in a single crystal hydrated salt where the nuclear spin system consists in the set of hydration water proton spins having a strong coupling within each pair and a much weaker coupling with other pairs. We study the experimental response of attenuation times with temperature, crystal orientation with respect to the external magnetic field and rf pulse amplitudes. We find that the observed attenuation of the refocalized signals can be explained by two independent mechanisms: (a) evolution under the non-secular terms of the reversion Hamiltonian, and (b) an intrinsic mechanism having the attributes of irreversible decoherence induced by the coupling with a quantum environment. To characterize (a) we compare the experimental data with the numerical calculation of the refocalized NMR signal of an artificial, closed spin system. To describe (b) we use a model for the irreversible adiabatic decoherence of spin-pairs coupled with a phonon bath which allows evaluating an upper bound for the decoherence times. This model accounts for both the observed dependence of the decoherence times on the eigenvalues of the spin-environment Hamiltonian, and the independence on the sample temperature. This result, then, supports the adiabatic decoherence induced by the dipole-phonon coupling as the explanation for the observed irreversible decay of reverted NMR signals in solids.


title: Stability and Fluctuations in a Simple Model of Phonetic Category Change

abstract: In spoken languages, speakers divide up the space of phonetic possibilities into different regions, corresponding to different phonemes. We consider a simple exemplar model of how this division of phonetic space varies over time among a population of language users. In the particular model we consider, we show that, once the system is initialized with a given set of phonemes, that phonemes do not become extinct: all phonemes will be maintained in the system for all time. This is in contrast to what is observed in more complex models. Furthermore, we show that the boundaries between phonemes fluctuate and we quantitatively study the fluctuations in a simple instance of our model. These results prepare the ground for more sophisticated models in which some phonemes go extinct or new phonemes emerge through other processes.


title: $N$ identical particles and one particle to entangle them all

abstract: In quantum information W states are a central class of multipartite entangled states because of their robustness against noise and use in many quantum processes. Their generation however remains a demanding task whose difficulty increases with the number of particles. We report a simple scalable conceptual scheme where a single particle in an ancilla mode works as entanglement catalyst of W state for other $N$ separated identical particles. A crucial novel aspect of the scheme, which exploits basically spatial indistinguishability, is its universality, being applicable without essential changes to both bosons and fermions. Our proposal represents a new paradigm within experimental preparation of many-particle entanglement based on quantum indistinguishability.


title: SwellShark: A Generative Model for Biomedical Named Entity Recognition without Labeled Data

abstract: We present SwellShark, a framework for building biomedical named entity recognition (NER) systems quickly and without hand-labeled data. Our approach views biomedical resources like lexicons as function primitives for autogenerating weak supervision. We then use a generative model to unify and denoise this supervision and construct large-scale, probabilistically labeled datasets for training high-accuracy NER taggers. In three biomedical NER tasks, SwellShark achieves competitive scores with state-of-the-art supervised benchmarks using no hand-labeled training data. In a drug name extraction task using patient medical records, one domain expert using SwellShark achieved within 5.1% of a crowdsourced annotation approach -- which originally utilized 20 teams over the course of several weeks -- in 24 hours.


title: Shared processor scheduling

abstract: We study the shared processor scheduling problem with a single shared processor where a unit time saving (weight) obtained by processing a job on the shared processor depends on the job. A polynomial-time optimization algorithm has been given for the problem with equal weights in the literature. This paper extends that result by showing an $O(n \log n)$ optimization algorithm for a class of instances in which non-decreasing order of jobs with respect to processing times provides a non-increasing order with respect to weights --- this instance generalizes the unweighted case of the problem. This algorithm also leads to a $\frac{1}{2}$-approximation algorithm for the general weighted problem. The complexity of the weighted problem remains open.


title: Charm Physics and CKM

abstract: An overview of the most important progresses in charm physics since the last CKM Workshop (2014) is presented. Due emphasis is given to the experimental measurements directly related to the CKM matrix.


title: Hard Mixtures of Experts for Large Scale Weakly Supervised Vision

abstract: Training convolutional networks (CNN's) that fit on a single GPU with minibatch stochastic gradient descent has become effective in practice. However, there is still no effective method for training large CNN's that do not fit in the memory of a few GPU cards, or for parallelizing CNN training. In this work we show that a simple hard mixture of experts model can be efficiently trained to good effect on large scale hashtag (multilabel) prediction tasks. Mixture of experts models are not new (Jacobs et. al. 1991, Collobert et. al. 2003), but in the past, researchers have had to devise sophisticated methods to deal with data fragmentation. We show empirically that modern weakly supervised data sets are large enough to support naive partitioning schemes where each data point is assigned to a single expert. Because the experts are independent, training them in parallel is easy, and evaluation is cheap for the size of the model. Furthermore, we show that we can use a single decoding layer for all the experts, allowing a unified feature embedding space. We demonstrate that it is feasible (and in fact relatively painless) to train far larger models than could be practically trained with standard CNN architectures, and that the extra capacity can be well used on current datasets.


title: Retrograde Accretion Disks in High-Mass Be/X-ray Binaries

abstract: We have compiled a comprehensive library of all X-ray observations of Magellanic pulsars carried out by {\it XMM-Newton}, {\it Chandra}, and {\it RXTE} in the period 1997-2014. In this work, we use the data from 53 high-mass Be/X-ray binaries in the Small Magellanic Cloud to demonstrate that the distribution of spin-period derivatives vs. spin periods of spinning-down pulsars is not at all different than that of the accreting spinning-up pulsars. The inescapable conclusion is that the up and down samples were drawn from the same continuous parent population, therefore Be/X-ray pulsars that are spinning down over periods spanning 18 years are in fact accreting from retrograde disks. The presence of prograde and retrograde disks in roughly equal numbers supports a new evolutionary scenario for Be/X-ray pulsars in their spin period-period derivative diagram.


title: Quantum information density scaling and qubit operation time constraints of CMOS silicon based quantum computer architectures

abstract: Even the quantum simulation of simple molecules such as Fe$_2$S$_2$ requires more than 10$^6$ qubits. In order to assess such a multimillion scale of identical qubits and control lines, the silicon platform seems to be one of the most indicated routes as it provides the capability of nanometric, serial and industrial quality fabrication. The maximum amount of quantum information per unit surface and the consequent space constraints on qubit operations are key parameters towards fault-tolerant quantum information processing (QIP) with Si qubits. Such maximum density of quantum information is expressed for the compact exchange-only Si double quantum dot qubit architecture as a function of the CMOS technology node. The size scale optimizing both physical qubit operation time and quantum error correction (QEC) requirements is assessed by reviewing the physical and technological constraints. We determine the workable operation frequency range of a Si-CMOS quantum processor to be within 1 and 100 GHz, which limits its feasibility only to the most advanced nodes. The compatibility with classical control circuitry is discussed, focusing on the cryogenic CMOS operation required to bring the classical controller as close as possible to the quantum processor and to enable interfacing thousands of qubits on the same chip. The operation time range prospected for cryogenic control electronics is found to be compatible with the qubit operation time. By combining the forecast of technology development with operation time and classical circuitry constraints, we derive a maximum quantum information density for logical qubits of 2.8 and 4 Mqb/cm$^2$ for the 10-nm and 7-nm technology nodes respectively for the Steane code. The density is one and two orders of magnitude less for surface and concatenated codes respectively. Such values provide a benchmark for the development of Si-based fault tolerant QIP.


title: Reduced-order Description of Transient Instabilities and Computation of Finite-Time Lyapunov Exponents

abstract: High-dimensional chaotic dynamical systems can exhibit strongly transient features. These are often associated with instabilities that have finite-time duration. Because of the finite-time character of these transient events, their detection through infinite-time methods, e.g. long term averages, Lyapunov exponents or information about the statistical steady-state, is not possible. Here we utilize a recently developed framework, the Optimally Time-Dependent (OTD) modes, to extract a time-dependent subspace that spans the modes associated with transient features associated with finite-time instabilities. As the main result, we prove that the OTD modes, under appropriate conditions, converge exponentially fast to the eigendirections of the Cauchy--Green tensor associated with the most intense finite-time instabilities. Based on this observation, we develop a reduced-order method for the computation of finite-time Lyapunov exponents (FTLE) and vectors. In high-dimensional systems, the computational cost of the reduced-order method is orders of magnitude lower than the full FTLE computation. We demonstrate the validity of the theoretical findings on two numerical examples.


title: q-deformations of statistical mechanical systems and motives over finite fields

abstract: We consider q-deformations of Witt rings, based on geometric operations on zeta functions of motives over finite fields, and we use these deformations to construct q-analogs of the Bost-Connes quantum statistical mechanical system. We show that the q-deformations obtained in this way can be related to Habiro ring constructions of analytic functions over the field with one element and to categorifications of Bost-Connes systems.


title: Facially Dual Complete (Nice) cones and lexicographic tangents

abstract: We study the boundary structure of closed convex cones, with a focus on facially dual complete (nice) cones. These cones form a proper subset of facially exposed convex cones, and they behave well in the context of duality theory for convex optimization. Using the well-known and commonly used concept of tangent cones in nonlinear optimization, we introduce some new notions for exposure of faces of convex sets. Based on these new notions, we obtain a necessary condition and a sufficient condition for a cone to be facially dual complete. In our sufficient condition, we utilize a new notion called lexicographic tangent cones (these are a family of cones obtained from a recursive application of the tangent cone concept). Lexicographic tangent cones are related to Nesterov's lexicographic derivatives and to the notion of subtransversality in the context of variational analysis.


title: NormFace: L2 Hypersphere Embedding for Face Verification

abstract: Thanks to the recent developments of Convolutional Neural Networks, the performance of face verification methods has increased rapidly. In a typical face verification method, feature normalization is a critical step for boosting performance. This motivates us to introduce and study the effect of normalization during training. But we find this is non-trivial, despite normalization being differentiable. We identify and study four issues related to normalization through mathematical analysis, which yields understanding and helps with parameter settings. Based on this analysis we propose two strategies for training using normalized features. The first is a modification of softmax loss, which optimizes cosine similarity instead of inner-product. The second is a reformulation of metric learning by introducing an agent vector for each class. We show that both strategies, and small variants, consistently improve performance by between 0.2% to 0.4% on the LFW dataset based on two models. This is significant because the performance of the two models on LFW dataset is close to saturation at over 98%. Codes and models are released on https://github.com/happynear/NormFace


title: Robust Multi-view Pedestrian Tracking Using Neural Networks

abstract: In this paper, we present a real-time robust multi-view pedestrian detection and tracking system for video surveillance using neural networks which can be used in dynamic environments. The proposed system consists of two phases: multi-view pedestrian detection and tracking. First, pedestrian detection utilizes background subtraction to segment the foreground blob. An adaptive background subtraction method where each of the pixel of input image models as a mixture of Gaussians and uses an on-line approximation to update the model applies to extract the foreground region. The Gaussian distributions are then evaluated to determine which are most likely to result from a background process. This method produces a steady, real-time tracker in outdoor environment that consistently deals with changes of lighting condition, and long-term scene change. Second, the Tracking is performed at two phases: pedestrian classification and tracking the individual subject. A sliding window is applied on foreground binary image to select an input window which is used for selecting the input image patches from actually input frame. The neural networks is used for classification with PHOG features. Finally, a Kalman filter is applied to calculate the subsequent step for tracking that aims at finding the exact position of pedestrians in an input image. The experimental result shows that the proposed approach yields promising performance on multi-view pedestrian detection and tracking on different benchmark datasets.


title: DNA Hairpin Gate: A Renewable DNA Seesaw Motif Using Hairpins

abstract: In 2011 the DNA seesaw gate motif was introduced. It is a powerful feed-forward DNA nanodevice that can perform digital logic computations. The landmark of that work managed to evaluate moderately large Boolean circuits by cascading multiple DNA seesaw gates. Although the design is robust in solution and scalable, it is designed for one time use and is not reusable. This prevents pursuing important applications such as feedback and sequential digital circuits. We present a novel design for DNA nanodevices that can perform digital logic computations and are furthermore renewable. First, we modified the prior DNA seesaw gate motif into a hairpin. We call the resulting motif a DNA hairpin-seesaw gate. We show the feed-forward digital computation reaction imitates the seesaw gate motif. Second, we added a reporting phase that provides increased scalability to our device. Third, we designed input and fuel extracting hairpins that when added, initiate a renewing process. This results in a renewed functional gate, in its original configuration, which is able to make a new logical computation with new inputs. Finally, we introduced a renewable two-input Boolean logic OR gate. After calculating the output of a certain input set, the circuit is restored and a new set of inputs is introduced to compute the new output. We provide experimental fluorescent data on three repeated rounds of executions of our hairpin gate motif and its restoration, indicating gradual loss of response. Finally, we calculated rate constants of our experimental data by fitting it to a second order reaction model using maximum likelihood estimation method.


title: Photo-Induced Bandgap Renormalization Governs the Ultrafast Response of Single-Layer MoS2

abstract: Transition metal dichalcogenides (TMDs) are emerging as promising two-dimensional (2d) semiconductors for optoelectronic and flexible devices. However, a microscopic explanation of their photophysics -- of pivotal importance for the understanding and optimization of device operation -- is still lacking. Here we use femtosecond transient absorption spectroscopy, with pump pulse tunability and broadband probing, to monitor the relaxation dynamics of single-layer MoS2 over the entire visible range, upon photoexcitation of different excitonic transitions. We find that, irrespective of excitation photon energy, the transient absorption spectrum shows the simultaneous bleaching of all excitonic transitions and corresponding red-shifted photoinduced absorption bands. First-principle modeling of the ultrafast optical response reveals that a transient bandgap renormalization, caused by the presence of photo-excited carriers, is primarily responsible for the observed features. Our results demonstrate the strong impact of many-body effects in the transient optical response of TMDs even in the low-excitation-density regime.


title: Electronic Structure Evolution during the Growth of Graphene Nanoribbons on Au(110)

abstract: Surface-assisted polymerization of molecular monomers into extended chains can be used as the seed of graphene nanoribbon (GNR) formation, resulting from a subsequent cyclo-dehydrogenation process. By means of valence-band photoemission and ab-initio density-functional theory (DFT) calculations, we investigate the evolution of molecular states from monomer 10,10'-dibromo-9,9'bianthracene (DBBA) precursors to polyanthryl polymers, and eventually to GNRs, as driven by the Au(110) surface. The molecular orbitals and the energy level alignment at the metal-organic interface are studied in depth for the DBBA precursors deposited at room temperature. On this basis, we can identify a spectral fingerprint of C-Au interaction in both DBBA single-layer and polymerized chains obtained upon heating. Furthermore, DFT calculations help us evidencing that GNRs interact more strongly than DBBA and polyanthryl with the Au(110) substrate, as a result of their flatter conformation.


title: Recalibration: A post-processing method for approximate Bayesian computation

abstract: A new recalibration post-processing method is presented to improve the quality of the posterior approximation when using Approximate Bayesian Computation (ABC) algorithms. Recalibration may be used in conjunction with existing post-processing methods, such as regression-adjustments. In addition, this work extends and strengthens the links between ABC and indirect inference algorithms, allowing more extensive use of misspecified auxiliary models in the ABC context. The method is illustrated using simulated examples to demonstrate the effects of recalibration under various conditions, and through an application to an analysis of stereological extremes both with and without the use of auxiliary models. Code to implement recalibration post-processing is available in the R package, abctools.


title: Quantum Codes from Linear Codes over Finite Chain Rings

abstract: In this paper, we provide two methods of constructing quantum codes from linear codes over finite chain rings. The first one is derived from the Calderbank-Shor-Steane (CSS) construction applied to self-dual codes over finite chain rings. The second construction is derived from the CSS construction applied to Gray images of the linear codes over finite chain ring $\mathbb{F}_{p^{2m}}+u\mathbb{F}_{p^{2m}}$. The good parameters of quantum codes from cyclic codes over finite chain rings are obtained.


title: Optimal domain spaces in Orlicz-Sobolev embeddings

abstract: We deal with Orlicz-Sobolev embeddings in open subsets of $\mathbb{R}^n$. A necessary and sufficient condition is established for the existence of an optimal, i.e. largest possible, Orlicz-Sobolev space continuously embedded into a given Orlicz space. Moreover, the optimal Orlicz-Sobolev space is exhibited whenever it exists. Parallel questions are addressed for Orlicz-Sobolev embeddings into Orlicz spaces with respect to a Frostman measure, and, in particular, for trace embeddings on the boundary.


title: Removing visual bias in filament identification: a new goodness-of-fit measure

abstract: Different combinations of input parameters to filament identification algorithms, such as Disperse and FilFinder, produce numerous different output skeletons. The skeletons are a one pixel wide representation of the filamentary structure in the original input image. However, these output skeletons may not necessarily be a good representation of that structure. Furthermore, a given skeleton may not be as good a representation as another. Previously there has been no mathematical `goodness-of-fit' measure to compare output skeletons to the input image. Thus far this has been assessed visually, introducing visual bias. We propose the application of the mean structural similarity index (MSSIM) as a mathematical goodness-of-fit measure. We describe the use of the MSSIM to find the output skeletons most mathematically similar to the original input image (the optimum, or `best', skeletons) for a given algorithm, and independently of the algorithm. This measure makes possible systematic parameter studies, aimed at finding the subset of input parameter values returning optimum skeletons. It can also be applied to the output of non-skeleton based filament identification algorithms, such as the Hessian matrix method. The MSSIM removes the need to visually examine thousands of output skeletons, and eliminates the visual bias, subjectivity, and limited reproducibility inherent in that process, representing a major improvement on existing techniques. Importantly, it also allows further automation in the post-processing of output skeletons, which is crucial in this era of `big data'.