title: Decision Procedure for Entailment of Symbolic Heaps with Arrays

abstract: This paper gives a decision procedure for the validity of en- tailment of symbolic heaps in separation logic with Presburger arithmetic and arrays. The correctness of the decision procedure is proved under the condition that sizes of arrays in the succedent are not existentially bound. This condition is independent of the condition proposed by the CADE-2017 paper by Brotherston et al, namely, one of them does not imply the other. For improving efficiency of the decision procedure, some techniques are also presented. The main idea of the decision procedure is a novel translation of an entailment of symbolic heaps into a formula in Presburger arithmetic, and to combine it with an external SMT solver. This paper also gives experimental results by an implementation, which shows that the decision procedure works efficiently enough to use.


title: The locality of quantum subsystems III: A 'subsystem compatible' interpretation of quantum mechanics

abstract: A local description of quantum subsystems can be used to construct ontologies of the full quantum predictions. This paper communicates one possible way to do so. A retrocausal interpretation of quantum mechanics where the de Broglie-Bohm particles are the retrocausal agents is developed. This interpretation is constrained to be compatible with the existence of a local realist description of quantum subsystems.


title: Optimal and Scalable Caching for 5G Using Reinforcement Learning of Space-time Popularities

abstract: Small basestations (SBs) equipped with caching units have potential to handle the unprecedented demand growth in heterogeneous networks. Through low-rate, backhaul connections with the backbone, SBs can prefetch popular files during off-peak traffic hours, and service them to the edge at peak periods. To intelligently prefetch, each SB must learn what and when to cache, while taking into account SB memory limitations, the massive number of available contents, the unknown popularity profiles, as well as the space-time popularity dynamics of user file requests. In this work, local and global Markov processes model user requests, and a reinforcement learning (RL) framework is put forth for finding the optimal caching policy when the transition probabilities involved are unknown. Joint consideration of global and local popularity demands along with cache-refreshing costs allow for a simple, yet practical asynchronous caching approach. The novel RL-based caching relies on a Q-learning algorithm to implement the optimal policy in an online fashion, thus enabling the cache control unit at the SB to learn, track, and possibly adapt to the underlying dynamics. To endow the algorithm with scalability, a linear function approximation of the proposed Q-learning scheme is introduced, offering faster convergence as well as reduced complexity and memory requirements. Numerical tests corroborate the merits of the proposed approach in various realistic settings.


title: Intra-Cluster Autonomous Coverage Optimization For Dense LTE-A Networks

abstract: Self Organizing Networks (SONs) are considered as vital deployments towards upcoming dense cellular networks. From a mobile carrier point of view, continuous coverage optimization is critical for better user perceptions. The majority of SON contributions introduce novel algorithms that optimize specific performance metrics. However, they require extensive processing delays and advanced knowledge of network statistics that may not be available. In this work, a progressive Autonomous Coverage Optimization (ACO) method combined with adaptive cell dimensioning is proposed. The proposed method emphasizes the fact that the effective cell coverage is a variant on actual user distributions. ACO algorithm builds a generic Space-Time virtual coverage map per cell to detect coverage holes in addition to limited or extended coverage conditions. Progressive levels of optimization are followed to timely resolve coverage issues with maintaining optimization stability. Proposed ACO is verified under both simulations and practical deployment in a pilot cluster for a worldwide mobile carrier. Key Performance Indicators show that proposed ACO method significantly enhances system coverage and performance.


title: Joint User Selection and Energy Minimization for Ultra-Dense Multi-channel C-RAN with Incomplete CSI

abstract: This paper provides a unified framework to deal with the challenges arising in dense cloud radio access networks (C-RAN), which include huge power consumption, limited fronthaul capacity, heavy computational complexity, unavailability of full channel state information (CSI), etc. Specifically, we aim to jointly optimize the remote radio head (RRH) selection, user equipment (UE)-RRH associations and beam-vectors to minimize the total network power consumption (NPC) for dense multi-channel downlink C-RAN with incomplete CSI subject to per-RRH power constraints, each UE's total rate requirement, and fronthaul link capacity constraints. This optimization problem is NP-hard. In addition, due to the incomplete CSI, the exact expression of UEs' rate expression is intractable. We first conservatively replace UEs' rate expression with its lower-bound. Then, based on the successive convex approximation (SCA) technique and the relationship between the data rate and the mean square error (MSE), we propose a single-layer iterative algorithm to solve the NPC minimization problem with convergence guarantee. In each iteration of the algorithm, the Lagrange dual decomposition method is used to derive the structure of the optimal beam-vectors, which facilitates the parallel computations at the Baseband unit (BBU) pool. Furthermore, a bisection UE selection algorithm is proposed to guarantee the feasibility of the problem. Simulation results show the benefits of the proposed algorithms and the fact that a limited amount of CSI is sufficient to achieve performance close to that obtained when perfect CSI is possessed.


title: Materia oscura escalar compleja (parte I): la versi\'on hidrodin\'amica

abstract: In this work we use the Euler hydrodynamic equations of fluids to study a model of galactic halos minimally coupled to a complex scalar field, which in the Newtonian limit they become the Schr\"odinger-Poisson system. Applying a Madelung transformation, this system of equations takes the form of hydrodynamics equations, where there are a self-interacting potential and a kind of quantum potential that depends non-linearly on the density of the fluid. In this theoretical framework we analyze the Jeans' instability, which is useful for finding the scale length of perturbations of the scalar field that will form structures. In other words, perturbations of the scalar field with lengths less than this threshold length, can not lead to the formation of galactic structures. We also show that this scalar field hydrodynamic system has vorticity.


title: Effects of tunnelling and asymmetry for system-bath models of electron transfer

abstract: We apply the newly derived nonadiabatic golden-rule instanton theory to asymmetric models describing electron-transfer in solution. The models go beyond the usual spin-boson description and have anharmonic free-energy surfaces with different values for the reactant and product reorganization energies. The instanton method gives an excellent description of the behaviour of the rate constant with respect to asymmetry for the whole range studied. We derive a general formula for an asymmetric version of Marcus theory based on the classical limit of the instanton and find that this gives significant corrections to the standard Marcus theory. A scheme is given to compute this rate based only on equilibrium simulations. We also compare the rate constants obtained by the instanton method with its classical limit to study the effect of tunnelling and other quantum nuclear effects. These quantum effects can increase the rate constant by orders of magnitude.


title: What does 2D geometric information really tell us about 3D face shape?

abstract: A face image contains geometric cues in the form of configurational information and contours that can be used to estimate 3D face shape. While it is clear that 3D reconstruction from 2D points is highly ambiguous if no further constraints are enforced, one might expect that the face-space constraint solves this problem. We show that this is not the case and that geometric information is an ambiguous cue. There are two sources for this ambiguity. The first is that, within the space of 3D face shapes, there are flexibility modes that remain when some parts of the face are fixed. The second occurs only under perspective projection and is a result of perspective transformation as camera distance varies. Two different faces, when viewed at different distances, can give rise to the same 2D geometry. To demonstrate these ambiguities, we develop new algorithms for fitting a 3D morphable model to 2D landmarks or contours under either orthographic or perspective projection and show how to compute flexibility modes for both cases. We show that both fitting problems can be posed as a separable nonlinear least squares problem and solved efficiently. We demonstrate both quantitatively and qualitatively that the ambiguity is present in reconstructions from geometric information alone but also in reconstructions from a state-of-the-art CNN-based method.


title: Unemployment: Study of Causes and Possible Solutions

abstract: The following measures against unemployment are proposed: In the short term, to promote greater income for the poorest sectors. It is shown that this can be paid with the resulting increased production, without losing income to the other economic agents. In the mid term, the creation of ad-hoc companies for investment in projects profitable but long lasting. And in the long run, the abandonment of the competitive models. As these proposals go against current ideas (liberalisation, labour market flexibility, free market, etc.), the statements are rigorously demonstrated, even at the risk of making the lecture harder. Part 1 explores the problem and uses a simple model and others heuristic arguments to create familiarity with macroeconomic models. Part 2 is a simplified summary of Macroeconomic Theory textbook. It serves as a review to the reader whose knowledge in economy are out of date, or as a first approximation to the topic if he or she does not have them. In the light of the theory, economic policies are evaluated for the Argentine case in the 90's. The work accepts the Keynesian explanation of unemployment (insufficient demand), but we disagree on its solution (public expenditure). Finally, in Part 3 we elaborate and justify the proposals.


title: The local Gan-Gross-Prasad conjecture for $U(n+1) \times U(n)$ : a non-generic case

abstract: The local Gan-Gross-Prasad conjecture of unitary groups, which is now settled by the works of Plessis, Gan and Ichino, says that for a pair of generic $L$-parameters of $(U(n+1),U(n))$, there is a unique pair of representations in their associated Vogan $L$-packets which produces the Bessel model. In this paper, we examined the conjecture for a pair of $L$-parameters of $\big(U(n+1), U(n)\big)$ as fixing a special non-generic parameter of $U(n+1)$ and varing tempered $L$-parameters of $U(n)$. We observed that there still exist a Gan-Gross-Prasad type formulae depending on the choice of $L$-parameter of $U(n)$.


title: Analyzing {\gamma}-rays of the Galactic Center with Deep Learning

abstract: We present a new method to interpret the $\gamma$-ray data of our inner Galaxy as measured by the Fermi Large Area Telescope (Fermi LAT). We train and test convolutional neural networks with simulated Fermi-LAT images based on models tuned to real data. We use this method to investigate the origin of an excess emission of GeV $\gamma$-rays seen in previous studies. Interpretations of this excess include $\gamma$ rays created by the annihilation of dark matter particles and $\gamma$ rays originating from a collection of unresolved point sources, such as millisecond pulsars. Our new method allows precise measurements of the contribution and properties of an unresolved population of $\gamma$-ray point sources in the interstellar diffuse emission model.


title: Annealed scaling for a charged polymer in dimensions two and higher

abstract: This paper considers an undirected polymer chain on $\mathbb{Z}^d$, $d \geq 2$, with i.i.d.\ random charges attached to its constituent monomers. Each self-intersection of the polymer chain contributes an energy to the interaction Hamiltonian that is equal to the product of the charges of the two monomers that meet. The joint probability distribution for the polymer chain and the charges is given by the Gibbs distribution associated with the interaction Hamiltonian. The object of interest is the \emph{annealed free energy} per monomer in the limit as the length $n$ of the polymer chain tends to infinity. We show that there is a critical curve in the parameter plane spanned by the charge bias and the inverse temperature separating an \emph{extended phase} from a \emph{collapsed phase}. We derive the scaling of the critical curve for small and for large charge bias and the scaling of the annealed free energy for small inverse temperature, which are both anomalous. We show that in a subset of the collapsed phase the polymer chain is \emph{subdiffusive}, namely, on scale $(n/\log n)^{1/(d+2)}$ it moves like a Brownian motion conditioned to stay inside a ball with a deterministic radius and a randomly shifted center. We expect this scaling to hold throughout the collapsed phase. We further expect that in the extended phase the polymer chain scales like a weakly self-avoiding walk. Proofs are based on a detailed analysis for simple random walk of the downward large deviations of the self-intersection local time and the upward large deviations of the range. Part of our scaling results are rough, and we formulate conjectures under which they can be sharpened. The existence of the free energy remains an open problem, which we are able to settle in a subset of the collapsed phase for a subclass of charge distributions.


title: A rule based algorithm for detecting negative words in Persian

abstract: In this paper, we present a novel method for detecting negative words in Persian. We first used an algorithm to an exceptions list which was later modified by hand. We then used the mentioned lists and a Persian polarity corpus in our rule based algorithm to detect negative words.


title: Inelastic losses in radiofrequency-dressed traps for ultracold atoms

abstract: We calculate the rates of inelastic collisions for ultracold alkali-metal atoms in radiofrequency-dressed traps, using coupled-channel scattering calculations on accurate potential energy surfaces. We identify an rf-induced loss mechanism that does not exist in the absence of rf radiation. This mechanism is not suppressed by a centrifugal barrier in the outgoing channel, and can be much faster than spin relaxation, which is centrifugally suppressed. We explore the dependence of the rf-induced loss rate on singlet and triplet scattering lengths, hyperfine splittings and the strength of the rf field. We interpret the results in terms of an adiabatic model of the collision dynamics, and calculate the corresponding nonadiabatic couplings. The loss rate can vary by 10 orders of magnitude as a function of singlet and triplet scattering lengths. $^{87}$Rb is a special case, where several factors combine to reduce rf-induced losses; as a result, they are slow compared to spin-relaxation losses. For most other alkali-metal pairs, rf-induced losses are expected to be much faster and may dominate.


title: Systematic errors in estimation of gravitational-wave candidate significance

abstract: The statistical significance of a candidate gravitational-wave (GW) event is crucial to the prospects for a confirmed detection, or for its selection as a candidate for follow-up electromagnetic observation. To determine the significance of a GW candidate, a ranking statistic is evaluated and compared to an empirically-estimated background distribution, yielding a false alarm probability or p-value. The reliability of this background estimate is limited by the number of background samples and by the fact that GW detectors cannot be shielded from signals, making it impossible to identify a pure background data set. Different strategies have been proposed: in one method, all samples, including potential signals, are included in the background estimation, whereas in another method, coincidence removal is performed in order to exclude possible signals from the estimated background. Here we report on a mock data challenge, performed prior to the first detections of GW signals by Advanced LIGO, to compare these two methods. The all-samples method is found to be self-consistent in terms of the rate of false positive detection claims, but its p-value estimates are systematically conservative and subject to higher variance. Conversely, the coincidence-removal method yields a mean-unbiased estimate of the p-value but sacrifices self-consistency. We provide a simple formula for the uncertainty in estimate significance and compare it to mock data results. Finally, we discuss the use of different methods in claiming the detection of GW signals.


title: The locality of quantum subsystems II: A 'local sum-over-paths' ontology for quantum subsystems

abstract: Subsystems of entangled quantum systems are not traditionally described in a local way. This paper begins to address the issue by constructing an explicit local hidden variable theory for quantum subsystems. The interpretation is based on a modified sum-over-paths approach, where the paths of the subsystem obtain information about the external system during interactions. The interpretation utilizes the conception that there is a dissociation between the tensor product structure of wavefunctions and information flow into quantum subsystems.


title: Towards a Holistic Integration of Spreadsheets with Databases: A Scalable Storage Engine for Presentational Data Management

abstract: Spreadsheet software is the tool of choice for interactive ad-hoc data management, with adoption by billions of users. However, spreadsheets are not scalable, unlike database systems. On the other hand, database systems, while highly scalable, do not support interactivity as a first-class primitive. We are developing DataSpread, to holistically integrate spreadsheets as a front-end interface with databases as a back-end datastore, providing scalability to spreadsheets, and interactivity to databases, an integration we term presentational data management (PDM). In this paper, we make a first step towards this vision: developing a storage engine for PDM, studying how to flexibly represent spreadsheet data within a database and how to support and maintain access by position. We first conduct an extensive survey of spreadsheet use to motivate our functional requirements for a storage engine for PDM. We develop a natural set of mechanisms for flexibly representing spreadsheet data and demonstrate that identifying the optimal representation is NP-Hard; however, we develop an efficient approach to identify the optimal representation from an important and intuitive subclass of representations. We extend our mechanisms with positional access mechanisms that don't suffer from cascading update issues, leading to constant time access and modification performance. We evaluate these representations on a workload of typical spreadsheets and spreadsheet operations, providing up to 20% reduction in storage, and up to 50% reduction in formula evaluation time.


title: RC-positivity, rational connectedness and Yau's conjecture

abstract: In this paper, we introduce a concept of RC-positivity for Hermitian holomorphic vector bundles and prove that, if $E$ is an RC-positive vector bundle over a compact complex manifold $X$, then for any vector bundle $A$, there exists a positive integer $c_A=c(A,E)$ such that $$H^0(X,\mathrm{Sym}^{\otimes \ell}E^*\otimes A^{\otimes k})=0$$ for $\ell\geq c_A(k+1)$ and $k\geq 0$. Moreover, we obtain that, on a compact K\"ahler manifold $X$, if $\Lambda^p T_X$ is RC-positive for every $1\leq p\leq \dim X$, then $X$ is projective and rationally connected. As applications, we show that if a compact K\"ahler manifold $(X,\omega)$ has positive holomorphic sectional curvature, then $\Lambda^p T_X$ is RC-positive and $H_{\bar\partial}^{p,0}(X)=0$ for every $1\leq p\leq \dim X$, and in particular, we establish that $X$ is a projective and rationally connected manifold, which confirms a conjecture of Yau([57, Problem 47]).


title: A Deterministic Nonsmooth Frank Wolfe Algorithm with Coreset Guarantees

abstract: We present a new Frank-Wolfe (FW) type algorithm that is applicable to minimization problems with a nonsmooth convex objective. We provide convergence bounds and show that the scheme yields so-called coreset results for various Machine Learning problems including 1-median, Balanced Development, Sparse PCA, Graph Cuts, and the $\ell_1$-norm-regularized Support Vector Machine (SVM) among others. This means that the algorithm provides approximate solutions to these problems in time complexity bounds that are not dependent on the size of the input problem. Our framework, motivated by a growing body of work on sublinear algorithms for various data analysis problems, is entirely deterministic and makes no use of smoothing or proximal operators. Apart from these theoretical results, we show experimentally that the algorithm is very practical and in some cases also offers significant computational advantages on large problem instances. We provide an open source implementation that can be adapted for other problems that fit the overall structure.


title: Topology and strong four fermion interactions in four dimensions

abstract: We study massless fermions interacting through a particular four fermion term in four dimensions. Exact symmetries prevent the generation of bilinear fermion mass terms. We determine the structure of the low energy effective action for the auxiliary field needed to generate the four fermion term and find it has an novel structure that admits topologically non-trivial defects with non-zero Hopf invariant. We show that fermions propagating in such a background pick up a mass without breaking symmetries. Furthermore pairs of such defects experience a logarithmic interaction. We argue that a phase transition separates a phase where these defects proliferate from a broken phase where they are bound tightly. We conjecture that by tuning one additional operator the broken phase can be eliminated with a single BKT-like phase transition separating the massless from massive phases.


title: What caused what? A quantitative account of actual causation using dynamical causal networks

abstract: Actual causation is concerned with the question "what caused what?" Consider a transition between two states within a system of interacting elements, such as an artificial neural network, or a biological brain circuit. Which combination of synapses caused the neuron to fire? Which image features caused the classifier to misinterpret the picture? Even detailed knowledge of the system's causal network, its elements, their states, connectivity, and dynamics does not automatically provide a straightforward answer to the "what caused what?" question. Counterfactual accounts of actual causation based on graphical models, paired with system interventions, have demonstrated initial success in addressing specific problem cases in line with intuitive causal judgments. Here, we start from a set of basic requirements for causation (realization, composition, information, integration, and exclusion) and develop a rigorous, quantitative account of actual causation that is generally applicable to discrete dynamical systems. We present a formal framework to evaluate these causal requirements that is based on system interventions and partitions, and considers all counterfactuals of a state transition. This framework is used to provide a complete causal account of the transition by identifying and quantifying the strength of all actual causes and effects linking the two consecutive system states. Finally, we examine several exemplary cases and paradoxes of causation and show that they can be illuminated by the proposed framework for quantifying actual causation.


title: Concurrent intersection point of magnetization and magneto-conductivity curves in strongly fluctuating superconductors

abstract: The thermal fluctuations contribution to magnetization and magneto-conductivity of type II layered superconductor is calculated in the framework of Lawrence-Doniach model. For numerous high temperature cuprate superconductors, it was discovered that the magnetization dependence on temperature in wide range of fields exhibits an intersection point at a temperature slightly below $T_{c}$. We notice a similar intersection point of the magneto-conductivity curves at the approximate same temperature. The phenomenon is explained by strong (non-gaussian) thermal fluctuations with interactions treated using a self-consistent theory. All higher Landau levels should be included. Dimensionality of the fluctuations is defined and the 2D-3D dimensional crossover is the key for the existence of intersection points.


title: Simple polytopes without small separators, II: Thurston's bound

abstract: We show that there are simple 4-dimensional polytopes with n vertices such that all separators of the graph have size at least $\Omega(n/\log n)$. This establishes a strong form of a claim by Thurston, for which the construction and proof had been lost. We construct the polytopes by cutting off the vertices and then the edges of a particular type of neighborly cubical polytopes. The graphs of simple polytopes thus obtained are 4-regular; they contain 3-regular "cube-connected cycle graphs" as minors of spanning subgraphs.


title: Direct observation of domain wall surface tension by deflating or inflating a magnetic bubble

abstract: The surface energy of a magnetic Domain Wall (DW) strongly affects its static and dynamic behaviours. However, this effect was seldom directly observed and many related phenomena have not been well understood. Moreover, a reliable method to quantify the DW surface energy is still missing. Here, we report a series of experiments in which the DW surface energy becomes a dominant parameter. We observed that a semicircular magnetic domain bubble could spontaneously collapse under the Laplace pressure induced by DW surface energy. We further demonstrated that the surface energy could lead to a geometrically induced pinning when the DW propagates in a Hall cross or from a nanowire into a nucleation pad. Based on these observations, we developed two methods to quantify the DW surface energy, which could be very helpful to estimate intrinsic parameters such as Dzyaloshinskii-Moriya Interactions (DMI) or exchange stiffness in magnetic ultra-thin films.


title: WordSup: Exploiting Word Annotations for Character based Text Detection

abstract: Imagery texts are usually organized as a hierarchy of several visual elements, i.e. characters, words, text lines and text blocks. Among these elements, character is the most basic one for various languages such as Western, Chinese, Japanese, mathematical expression and etc. It is natural and convenient to construct a common text detection engine based on character detectors. However, training character detectors requires a vast of location annotated characters, which are expensive to obtain. Actually, the existing real text datasets are mostly annotated in word or line level. To remedy this dilemma, we propose a weakly supervised framework that can utilize word annotations, either in tight quadrangles or the more loose bounding boxes, for character detector training. When applied in scene text detection, we are thus able to train a robust character detector by exploiting word annotations in the rich large-scale real scene text datasets, e.g. ICDAR15 and COCO-text. The character detector acts as a key role in the pipeline of our text detection engine. It achieves the state-of-the-art performance on several challenging scene text detection benchmarks. We also demonstrate the flexibility of our pipeline by various scenarios, including deformed text detection and math expression recognition.


title: D3NOC: Dynamic Data-Driven Network On Chip in Photonic Electronic Hybrids

abstract: In this paper, we present a reconfigurable hybrid Photonic-Plasmonic Network-on-Chip (NoC) based on the Dynamic Data Driven Application System (DDDAS) paradigm. In DDDAS computations and measurements form a dynamic closed feedback loop in which they tune one another in response to changes in the environment. Our proposed system enables dynamic augmentation of a base electrical mesh topology with an optical express bus during the run-time. In addition, the measurement process itself adjusts to the environment. In order to achieve lower latencies, lower dynamic power, and higher throughput, we take advantage of a Configurable Hybrid Photonic Plasmonic Interconnect (CHyPPI) for our reconfigurable connections. We evaluate the performance and power of our system against kernels from NAS Parallel Benchmark (NPB) in addition to some synthetically generated traffic. In comparison to a 16x16 base electrical mesh, D3NOC shows up to 89% latency and 67% dynamic power net improvements beyond overhead-corrected performance. It should be noted that the design-space of NoC reconfiguration is vast and the goal of this study is not design-space exploration. Our goal is to show the potentials of adaptive dynamic measurements when coupled with other reconfiguration techniques in the NoC context.


title: Weighted Persistent Homology

abstract: In this paper we develop the theory of weighted persistent homology. In 1990, Robert J. Dawson was the first to study in depth the homology of weighted simplicial complexes. We generalize the definitions of weighted simplicial complex and the homology of weighted simplicial complex to allow weights in an integral domain $R$. Then we study the resulting weighted persistent homology. We show that weighted persistent homology can tell apart filtrations that ordinary persistent homology does not distinguish. For example, if there is a point considered as special, weighted persistent homology can tell when a cycle containing the point is formed or has disappeared.


title: Hunting electromagnetic counterparts of gravitational-wave events using the Zwicky Transient Facility

abstract: Detections of coalescing binary black holes by LIGO have opened a new window of transient astronomy. With increasing sensitivity of LIGO and participation of the Virgo detector in Cascina, Italy, we expect to soon detect coalescence of compact binary systems with one or more neutron stars. These are the prime targets for electromagnetic follow-up of gravitational wave triggers, which holds enormous promise of rich science. However, hunting for electromagnetic counterparts of gravitational wave events is a non-trivial task due to the sheer size of the error regions, which could span hundreds of square degrees. The Zwicky Transient facility (ZTF), scheduled to begin operation in 2017, is designed to cover such large sky-localization areas. In this work, we present the strategies of efficiently tiling the sky to facilitate the observation of the gravitational wave error regions using ZTF. To do this we used simulations consisting of 475 binary neutron star coalescences detected using a mix of two- and three-detector networks. Our studies reveal that, using two overlapping sets of ZTF tiles and a (modified) ranked-tiling algorithm, we can cover the gravitational-wave sky-localization regions with half as many pointings as a simple contour-covering algorithm. We then incorporated the ranked-tiling strategy to study our ability to observe the counterparts. This requires optimization of observation depth and localization area coverage. Our results show that observation in r-band with ~600 seconds of integration time per pointing seems to be optimum for typical assumed brightnesses of electromagnetic counterparts, if we plan to spend equal amount of time per pointing. However, our results also reveal that we can gain by as much as 50% in detection efficiency if we linearly scale our integration time per pointing based on the tile probability.


title: VIGAN: Missing View Imputation with Generative Adversarial Networks

abstract: In an era when big data are becoming the norm, there is less concern with the quantity but more with the quality and completeness of the data. In many disciplines, data are collected from heterogeneous sources, resulting in multi-view or multi-modal datasets. The missing data problem has been challenging to address in multi-view data analysis. Especially, when certain samples miss an entire view of data, it creates the missing view problem. Classic multiple imputations or matrix completion methods are hardly effective here when no information can be based on in the specific view to impute data for such samples. The commonly-used simple method of removing samples with a missing view can dramatically reduce sample size, thus diminishing the statistical power of a subsequent analysis. In this paper, we propose a novel approach for view imputation via generative adversarial networks (GANs), which we name by VIGAN. This approach first treats each view as a separate domain and identifies domain-to-domain mappings via a GAN using randomly-sampled data from each view, and then employs a multi-modal denoising autoencoder (DAE) to reconstruct the missing view from the GAN outputs based on paired data across the views. Then, by optimizing the GAN and DAE jointly, our model enables the knowledge integration for domain mappings and view correspondences to effectively recover the missing view. Empirical results on benchmark datasets validate the VIGAN approach by comparing against the state of the art. The evaluation of VIGAN in a genetic study of substance use disorders further proves the effectiveness and usability of this approach in life science.


title: Gravitational Lensing by Rotating Wormholes

abstract: In this paper the deflection angle of light by a rotating Teo wormhole spacetime is calculated in the weak limit approximation. We mainly focus on the weak deflection angle by revealing the gravitational lensing as a partially global topological effect. We apply the Gauss-Bonnet theorem (GBT) to the optical geometry osculating the Teo-Randers wormhole optical geometry to calculate the deflection angle. Furthermore we find the same result using the standard geodesic method. We have found that the deflection angle can be written as a sum of two terms, namely the first term is proportional to the throat of the wormhole and depends entirely on the geometry, while the second term is proportional to the spin angular momentum parameter of the wormhole. A direct observation using lensing can shed light and potentially test the nature of rotating wormholes by comparing with the black holes systems.


title: Looking for the weak members of the C$_{60}^+$ family in the interstellar medium

abstract: We demonstrate, using the high resolution spectra from the ESPADONS spectrograph, fed with the 3.6m CFH telescope, that the strength ratios of the strong--to--weak spectral features, attributed to C$_{60}^+$, are variable. We found that in the range of expected 9366~\AA\ C$_{60}^+$ feature there are two diffuse bands centered at 9362.0$\pm$0.1 and 9365.3$\pm$0.1 \AA\ with variable intensity ratio. We confidently confirm the lack of 9428~\AA\ feature which, in the laboratory spectra of C$_{60}^+$, is stronger than 9366~\AA. The weakest laboratory feature, near 9348.4~\AA\, remains below the level of detection in all spectra. The intensity ratio 9577/9365 is variable. These facts contradict to their common origin and so -- the identification of some interstellar spectral features as being carried by the cation of the "soccer ball". We also refined the rest wavelength position of the strongest diffuse band in this range: it is 9576.8$\pm$0.1~\AA.


title: Exploring the Ideological Nature of Journalists' Social Networks on Twitter and Associations with News Story Content

abstract: The present work proposes the use of social media as a tool for better understanding the relationship between a journalists' social network and the content they produce. Specifically, we ask: what is the relationship between the ideological leaning of a journalist's social network on Twitter and the news content he or she produces? Using a novel dataset linking over 500,000 news articles produced by 1,000 journalists at 25 different news outlets, we show a modest correlation between the ideologies of who a journalist follows on Twitter and the content he or she produces. This research can provide the basis for greater self-reflection among media members about how they source their stories and how their own practice may be colored by their online networks. For researchers, the findings furnish a novel and important step in better understanding the construction of media stories and the mechanics of how ideology can play a role in shaping public information.


title: Multi-TeV Energy Resolution Studies with VERITAS

abstract: This work aims to investigate the systematic uncertainty in gamma-ray spectra arising from saturation effects from bright images reconstructed by VERITAS. The goal of the work is to improve or validate the energy resolution used for deriving gamma-ray spectra in the sub-TeV to multi-TeV energy regime with VERITAS. Saturation from multi-TeV gamma-ray events affects the image brightness used to reconstruct the energy of the primary gamma ray, and potentially biases the energy estimate. We discuss a method for investigating the energy resolution bias in these multi-TeV gamma-ray events by looking at showers with large core distances that do not saturate the cameras.


title: Spatial noise filtering through error correction for quantum sensing

abstract: Quantum systems can be used to measure various quantities in their environment with high precision. Often, however, their sensitivity is limited by the decohering effects of this same environment. Dynamical decoupling schemes are widely used to filter environmental noise from signals, but their performance is limited by the spectral properties of the signal and noise at hand. Quantum error correction schemes have therefore emerged as a complementary technique without the same limitations. To date, however, they have failed to correct the dominant noise type in many quantum sensors, which couples to each qubit in a sensor in the same way as the signal. Here we show how quantum error correction can correct for such noise, which dynamical decoupling can only partially address. Whereas dynamical decoupling exploits temporal noise correlations in signal and noise, our scheme exploits spatial correlations. We give explicit examples in small quantum devices and demonstrate a method by which error-correcting codes can be tailored to their noise.


title: Upward Partitioned Book Embeddings

abstract: We analyze a directed variation of the book embedding problem when the page partition is prespecified and the nodes on the spine must be in topological order (upward book embedding). Given a directed acyclic graph and a partition of its edges into $k$ pages, can we linearly order the vertices such that the drawing is upward (a topological sort) and each page avoids crossings? We prove that the problem is NP-complete for $k\ge 3$, and for $k\ge 4$ even in the special case when each page is a matching. By contrast, the problem can be solved in linear time for $k=2$ pages when pages are restricted to matchings. The problem comes from Jack Edmonds (1997), motivated as a generalization of the map folding problem from computational origami.


title: Quantum solitonic wave-packet of a meso-scopic system in singularity free gravity

abstract: In this paper we will discuss how to localise a quantum wave-packet due to self-gravitating meso-scopic object by taking into account gravitational self-interaction in the Schr\"odinger equation beyond General Relativity. In particular, we will study soliton-like solutions in infinite derivative ghost free theories of gravity, which resolves the gravitational $1/r$ singularity in the potential. We will show a unique feature that the quantum spread of such a gravitational system is larger than that of the Newtonian gravity, therefore enabling us a window of opportunity to test classical and quantum properties of such theories of gravity in the near future at a table-top experiment.


title: On the topological complexity of aspherical spaces

abstract: The well-known theorem of Eilenberg and Ganea expresses the Lusternik - Schnirelmann category of an aspherical space as the cohomological dimension of its fundamental group. In this paper we study a similar problem of determining algebraically the topological complexity of the Eilenberg-MacLane spaces. One of our main results states that in the case when the fundamental group is hyperbolic in the sense of Gromov the topological complexity of an aspherical space $K(\pi, 1)$ either equals or is by one larger than the cohomological dimension of $\pi\times \pi$. We approach the problem by studying essential cohomology classes, i.e. classes which can be obtained from the powers of the canonical class via coefficient homomorphisms. We describe a spectral sequence which allows to specify a full set of obstructions for a cohomology class to be essential. In the case of a hyperbolic group we establish a vanishing property of this spectral sequence which leads to the main result.


title: BadNets: Identifying Vulnerabilities in the Machine Learning Model Supply Chain

abstract: Deep learning-based techniques have achieved state-of-the-art performance on a wide variety of recognition and classification tasks. However, these networks are typically computationally expensive to train, requiring weeks of computation on many GPUs; as a result, many users outsource the training procedure to the cloud or rely on pre-trained models that are then fine-tuned for a specific task. In this paper we show that outsourced training introduces new security risks: an adversary can create a maliciously trained network (a backdoored neural network, or a \emph{BadNet}) that has state-of-the-art performance on the user's training and validation samples, but behaves badly on specific attacker-chosen inputs. We first explore the properties of BadNets in a toy example, by creating a backdoored handwritten digit classifier. Next, we demonstrate backdoors in a more realistic scenario by creating a U.S. street sign classifier that identifies stop signs as speed limits when a special sticker is added to the stop sign; we then show in addition that the backdoor in our US street sign detector can persist even if the network is later retrained for another task and cause a drop in accuracy of {25}\% on average when the backdoor trigger is present. These results demonstrate that backdoors in neural networks are both powerful and---because the behavior of neural networks is difficult to explicate---stealthy. This work provides motivation for further research into techniques for verifying and inspecting neural networks, just as we have developed tools for verifying and debugging software.


title: Representation Learning by Learning to Count

abstract: We introduce a novel method for representation learning that uses an artificial supervision signal based on counting visual primitives. This supervision signal is obtained from an equivariance relation, which does not require any manual annotation. We relate transformations of images to transformations of the representations. More specifically, we look for the representation that satisfies such relation rather than the transformations that match a given representation. In this paper, we use two image transformations in the context of counting: scaling and tiling. The first transformation exploits the fact that the number of visual primitives should be invariant to scale. The second transformation allows us to equate the total number of visual primitives in each tile to that in the whole image. These two transformations are combined in one constraint and used to train a neural network with a contrastive loss. The proposed task produces representations that perform on par or exceed the state of the art in transfer learning benchmarks.


title: Earthquakes economic costs through rank-size laws

abstract: This paper is devoted to assess the presence of some regularities in the magnitudes of the earthquakes in Italy between January $24^{th}$, 2016 and January $24^{th}$, 2017, and to propose an earthquakes cost indicator. The considered data includes the catastrophic events in Amatrice and in Marche region. To our purpose, we implement two typologies of rank-size analysis: the classical Zipf-Mandelbrot law and the so-called universal law proposed by Cerqueti and Ausloos (2016). The proposed generic measure of the economic impact of earthquakes moves from the assumption of the existence of a cause-effect relation between earthquakes magnitudes and economic costs. At this aim, we hypothesize that such a relation can be formalized in a functional way to show how infrastructure resistance affects the cost. Results allow us to clarify the impact of an earthquake on the social context and might serve for strengthen the struggle against the dramatic outcomes of such natural phenomena.


title: Dynamics of organizational culture: Individual beliefs vs. social conformity

abstract: The complex nature of organizational culture challenges our ability to infers its underlying dynamics from observational studies. Recent computational studies have adopted a distinct different view, where plausible mechanisms are proposed to describe a wide range of social phenomena, including the onset and evolution of organizational culture. In this spirit, this work introduces an empirically-grounded, agent-based model which relaxes a set of assumptions that describes past work - (a) omittance of an individual's strive for achieving cognitive coherence, (b) limited integration of important contextual factors - by utilizing networks of beliefs and incorporating social rank into the dynamics. As a result, we illustrate that: (i) an organization may appear to be increasingly coherent in terms of organizational culture, yet be composed of individuals with reduced levels of coherence, (ii) the components of social conformity - peer-pressure and social rank - are influential at different aggregation levels.


title: The Coming Test of Social Trust in America

abstract: 'Animal spirits' or confidence levels are heavily dependent on how current conditions compare to adaptation levels. In the US, with its highly flexible labor markets and weak safety nets, the unemployment rate seems to serve as a generalized job insecurity indicator. In data spanning the postwar period, approximately when the unemployment rate crosses above its adaptation level as modeled by an exponential moving average over the trailing four years, a collapse of confidence occurs, and unemployment accelerates upward into a recession. In the current context of massive inequality in incomes and wealth in America, secularly declining real incomes for most Americans, and minimal trust in central government (as reflected in the election of a 'third party candidate' in the recent Presidential election) it seems likely that Americans' trust in their economic system and system of government will face severe challenges in the next cyclical downturn. If the next cycle follows previous patterns, it will be triggered by a collapse of 'animal spirits' as the unemployment rate rises above its adaptation level.


title: Motif-based analysis of power grid robustness under attacks

abstract: Network motifs are often called the building blocks of networks. Analysis of motifs is found to be an indispensable tool for understanding local network structure, in contrast to measures based on node degree distribution and its functions that primarily address a global network topology. As a result, networks that are similar in terms of global topological properties may differ noticeably at a local level. In the context of power grids, this phenomenon of the impact of local structure has been recently documented in fragility analysis and power system classification. At the same time, most studies of power system networks still tend to focus on global topological measures of power grids, often failing to unveil hidden mechanisms behind vulnerability of real power systems and their dynamic response to malfunctions. In this paper a pilot study on motif-based analysis of power grid robustness under various types of intentional attacks is presented, with the goal of shedding light on local dynamics and vulnerability of power systems.


title: Pendular behavior of public transport networks

abstract: In this paper, we propose a methodology that bears close resemblance to the Fourier analysis of the first harmonic to study networks subjected to pendular behavior. In this context, pendular behavior is characterized by the phenomenon of people's dislocation from their homes to work in the morning and people's dislocation in the opposite direction in the afternoon. Pendular behavior is a relevant phenomenon that takes place in public transport networks because it may reduce the overall efficiency of the system as a result of the asymmetric utilization of the system in different directions. We apply this methodology to the bus transport system of Brasilia, which is a city that has commercial and residential activities in distinct boroughs. We show that this methodology can be used to characterize the pendular behavior of this system, identifying the most critical nodes and times of the day when this system is in more severe demanded.


title: Epidemic spread in interconnected directed networks

abstract: In the real world, many complex systems interact with other systems. In addition, the intra- or inter-systems for the spread of information about infectious diseases and the transmission of infectious diseases are often not random, but with direction. Hence, in this paper, we build epidemic model based on an interconnected directed network, which can be considered as the generalization of undirected networks and bipartite networks. By using the mean-field approach, we establish the Susceptible-Infectious-Susceptible model on this network. We theoretically analyze the model, and obtain the basic reproduction number, which is also the generalization of the critical number corresponding to undirected or bipartite networks. And we prove the global stability of disease-free and endemic equilibria via the basic reproduction number as a forward bifurcation parameter. We also give a condition for epidemic prevalence only on a single subnetwork. Furthermore, we carry out numerical simulations, and find that the independence between each node's in- and out-degrees greatly reduce the impact of the network's topological structure on disease spread.


title: Carrier loss mechanisms in textured crystalline Si-based solar cells

abstract: A quite general device analysis method that allows the direct evaluation of optical and recombination losses in crystalline silicon (c-Si)-based solar cells has been developed. By applying this technique, the optical and physical limiting factors of the state-of-the-art solar cells with ~20% efficiencies have been revealed. In the established method, the carrier loss mechanisms are characterized from the external quantum efficiency (EQE) analysis with very low computational cost. In particular, the EQE analyses of textured c-Si solar cells are implemented by employing the experimental reflectance spectra obtained directly from the actual devices while using flat optical models without any fitting parameters. We find that the developed method provides almost perfect fitting to EQE spectra reported for various textured c-Si solar cells, including c-Si heterojunction solar cells, a dopant-free c-Si solar cell with a MoOx layer, and an n-type passivated emitter with rear locally diffused (PERL) solar cell. The modeling of the recombination loss further allows the extraction of the minority carrier diffusion length and surface recombination velocity from the EQE analysis. Based on the EQE analysis results, the carrier loss mechanisms in different types of c-Si solar cells are discussed.


title: Twin Networks: Matching the Future for Sequence Generation

abstract: We propose a simple technique for encouraging generative RNNs to plan ahead. We train a "backward" recurrent network to generate a given sequence in reverse order, and we encourage states of the forward model to predict cotemporal states of the backward model. The backward network is used only during training, and plays no role during sampling or inference. We hypothesize that our approach eases modeling of long-term dependencies by implicitly forcing the forward states to hold information about the longer-term future (as contained in the backward states). We show empirically that our approach achieves 9% relative improvement for a speech recognition task, and achieves significant improvement on a COCO caption generation task.


title: Calibration of a Density-based Model of Urban Morphogenesis

abstract: We study a stochastic model of urban growth generating spatial distributions of population densities at an intermediate mesoscopic scale. The model is based on the antagonist interplay between the two opposite abstract processes of aggregation (preferential attachment) and diffusion (urban sprawl). Introducing indicators to quantify precisely urban form, the model is first statistically validated and intensively explored to understand its complex behavior across the parameter space. We then compute real morphological measures on local areas of size 50km covering all European Union, and show that the model can reproduce most of existing urban morphologies in Europe. It implies that the morphological dimension of urban growth processes at this scale are sufficiently captured by the two abstract processes of aggregation and diffusion.


title: Graphene/SiO2 nanocomposites: The enhancement of photocatalytic and biomedical activity of SiO2 nanoparticles by graphene

abstract: The exceptional conducting nature of graphene makes it a viable candidate for enhancing the effectiveness of photocatalytic and biomedical nanomaterials. Herein, the immobilization of monodispersed silicon dioxide (SiO2) nanoparticles on multiple graphene layers is demonstrated for intercalation of graphene nanoplatelets (GNPs). Interestingly, the loading of graphene nanoplatelets with SiO2 nanoparticles enhances the photocatalytic efficiency from 46% to 99%. For biomedical applications, it is found that 75% of Gram positive and 50% of Gram negative bacteria have been killed, hence bacterial proliferation is significantly restricted. Further, the cytotoxicity study reveals that the synthesised nanocomposites are non-toxic for both normal (HCEC) and cancerous (MCF-7, HEp-2) cell lines which signifies their potential as carriers for drug delivery. The prepared nanocomposites with controlled amount of carbon in the form of graphene can be employed for photocatalysis based waste water remediation, biomedicine and nano drug delivery


title: Quantum periodicity in the critical current of superconducting rings with asymmetric link-up of current leads

abstract: We use superconducting rings with asymmetric link-up of current leads for experimental investigation of winding number change at magnetic field corresponding to the half of the flux quantum inside the ring. According to the conventional theory, the critical current of such rings should change by jump due to this change. Experimental data obtained at measurements of aluminum rings agree with theoretical prediction in magnetic flux region close to integer numbers of the flux quantum and disagree in the region close to the half of the one, where a smooth change is observed instead of the jump. First measurements of tantalum ring give a hope for the jump. Investigation of this problem may have both fundamental and practical importance.


title: Empirical exploration of air traffic and human dynamics in terminal airspaces

abstract: Air traffic is widely known as a complex, task-critical techno-social system, with numerous interactions between airspace, procedures, aircraft and air traffic controllers. In order to develop and deploy high-level operational concepts and automation systems scientifically and effectively, it is essential to conduct an in-depth investigation on the intrinsic traffic-human dynamics and characteristics, which is not widely seen in the literature. To fill this gap, we propose a multi-layer network to model and analyze air traffic systems. A Route-based Airspace Network (RAN) and Flight Trajectory Network (FTN) encapsulate critical physical and operational characteristics; an Integrated Flow-Driven Network (IFDN) and Interrelated Conflict-Communication Network (ICCN) are formulated to represent air traffic flow transmissions and intervention from air traffic controllers, respectively. Furthermore, a set of analytical metrics including network variables, complex network attributes, controllers' cognitive complexity, and chaotic metrics are introduced and applied in a case study of Guangzhou terminal airspace. Empirical results show the existence of fundamental diagram and macroscopic fundamental diagram at the route, sector and terminal levels. Moreover, the dynamics and underlying mechanisms of "ATCOs-flow" interactions are revealed and interpreted by adaptive meta-cognition strategies based on network analysis of the ICCN. Finally, at the system level, chaos is identified in conflict system and human behavioral system when traffic switch to the semi-stable or congested phase. This study offers analytical tools for understanding the complex human-flow interactions at potentially a broad range of air traffic systems, and underpins future developments and automation of intelligent air traffic management systems.


title: Universal enveloping Lie Rota-Baxter algebra of preLie and post-Lie algebras

abstract: Universal enveloping Lie Rota-Baxter algebras of pre-Lie and post-Lie algebras are constructed. It is proved that the pairs of varieties (Lie Rota-Baxter algebras of zero weight,preLie algebras) and (Lie Rota-Baxter algebras of nonzero weight,post-Lie algebras) are PBW-pairs and the variety of Lie Rota-Baxter algebras is not Schreier.


title: Analytic sensitivity analysis for models with correlated input variables

abstract: An analytic formula is proposed to characterize the variance propagation from correlated input variables to the model response, by using multi-variate Taylor series. With the formula, partial variance contributions to the model response are then straightforwardly evaluated in the presence of input correlations. Additionally, an arbitrary variable is represented as the sum of independent and correlated parts. Universal expressions of the coefficients that specify the correlated and independent sections of a single variable are derived by employing linear correlation model. Based on the coefficients, it is nature to quantify the independent, correlated and coupling contributions to the total variance of model response. Numerical examples suggest the effectiveness and validation of our analytic framework for general models. A practical application of the analytic framework is also proposed to the sensitivity analysis of a deterministic HIV model.


title: A dynamical mean-field theory study of stripe order and d-wave superconductivity in the two-dimensional Hubbard model

abstract: We use cellular dynamical mean-field theory with extended unit cells to study the ground state of the two-dimensional repulsive Hubbard model at finite doping. We calculate the energy of states with d-wave superconductivity coexisting with spatially uniform magnetic order and find that they are energetically favoured in a large doping region as compared to the uniform solution. We study the spatial form of the superconducting and magnetic order parameters at different doping values.


title: Bitwise Source Separation on Hashed Spectra: An Efficient Posterior Estimation Scheme Using Partial Rank Order Metrics

abstract: This paper proposes an efficient bitwise solution to the single-channel source separation task. Most dictionary-based source separation algorithms rely on iterative update rules during the run time, which becomes computationally costly especially when we employ an overcomplete dictionary and sparse encoding that tend to give better separation results. To avoid such cost we propose a bitwise scheme on hashed spectra that leads to an efficient posterior probability calculation. For each source, the algorithm uses a partial rank order metric to extract robust features that form a binarized dictionary of hashed spectra. Then, for a mixture spectrum, its hash code is compared with each source's hashed dictionary in one pass. This simple voting-based dictionary search allows a fast and iteration-free estimation of ratio masking at each bin of a signal spectrogram. We verify that the proposed BitWise Source Separation (BWSS) algorithm produces sensible source separation results for the single-channel speech denoising task, with 6-8 dB mean SDR. To our knowledge, this is the first dictionary based algorithm for this task that is completely iteration-free in both training and testing.


title: Enhancement and sign change of magnetic correlations in a driven quantum many-body system

abstract: Periodic driving can be used to coherently control the properties of a many-body state and to realize new phases which are not accessible in static systems. For example, exposing materials to intense laser pulses enables to provoke metal-insulator transitions, control the magnetic order and induce transient superconducting behaviour well above the static transition temperature. However, pinning down the responsible mechanisms is often difficult, since the response to irradiation is governed by complex many-body dynamics. In contrast to static systems, where extensive calculations have been performed to explain phenomena such as high-temperature superconductivity, theoretical analyses of driven many-body Hamiltonians are more demanding and new theoretical approaches have been inspired by the recent observations. Here, we perform an experimental quantum simulation in a periodically modulated hexagonal lattice and show that anti-ferromagnetic correlations in a fermionic many-body system can be reduced or enhanced or even switched to ferromagnetic correlations. We first demonstrate that in the high frequency regime, the description of the many-body system by an effective Floquet-Hamiltonian with a renormalized tunnelling energy remains valid, by comparing the results to measurements in an equivalent static lattice. For near-resonant driving, the enhancement and sign reversal of correlations is explained by a microscopic model, in which the particle tunnelling and magnetic exchange energies can be controlled independently. In combination with the observed sufficiently long lifetime of correlations, Floquet engineering thus constitutes an alternative route to experimentally investigate unconventional pairing in strongly correlated systems.

categories: cond-mat.quant-gas cond-mat.str-el cond-mat.supr-con quant-ph


title: Disorder-induced half-integer quantized conductance plateau in quantum anomalous Hall insulator-superconductor structures

abstract: A weak superconducting proximity effect in the vicinity of the topological transition of a quantum anomalous Hall system has been proposed as a venue to realize a topological superconductor (TSC) with chiral Majorana edge modes (CMEMs). A recent experiment [Science 357, 294 (2017)] claimed to have observed such CMEMs in the form of a half-integer quantized conductance plateau in the two-terminal transport measurement of a quantum anomalous Hall-superconductor junction. Although the presence of a superconducting proximity effect generically splits the quantum Hall transition into two phase transitions with a gapped TSC in between, in this Rapid Communication we propose that a nearly flat conductance plateau, similar to that expected from CMEMs, can also arise from the percolation of quantum Hall edges well before the onset of the TSC or at temperatures much above the TSC gap. Our Rapid Communication, therefore, suggests that, in order to confirm the TSC, it is necessary to supplement the observation of the half-quantized conductance plateau with a hard superconducting gap (which is unlikely for a disordered system) from the conductance measurements or the heat transport measurement of the transport gap. Alternatively, the half-quantized thermal conductance would also serve as a smoking-gun signature of the TSC.


title: Bayesian delensing of CMB temperature and polarization

abstract: We develop the first algorithm able to jointly compute the maximum {\it a posteriori} estimate of the Cosmic Microwave Background (CMB) temperature and polarization fields, the gravitational potential by which they are lensed, and cosmological parameters such as the tensor-to-scalar ratio, $r$. This is an important step towards sampling from the joint posterior probability function of these quantities, which, assuming Gaussianity of the CMB fields and lensing potential, contains all available cosmological information and would yield theoretically optimal constraints. Attaining such optimal constraints will be crucial for next-generation CMB surveys like CMB-S4, where limits on $r$ could be improved by factors of a few over currently used sub-optimal quadratic estimators. The maximization procedure described here depends on a newly developed lensing algorithm, which we term \textsc{LenseFlow}, and which lenses a map by solving a system of ordinary differential equations. This description has conceptual advantages, such as allowing us to give a simple non-perturbative proof that the lensing determinant is equal to unity in the weak-lensing regime. The algorithm itself maintains this property even on pixelized maps, which is crucial for our purposes and unique to \textsc{LenseFlow} as compared to other lensing algorithms we have tested. It also has other useful properties such as that it can be trivially inverted (i.e. delensing) for the same computational cost as the forward operation, and can be used to compute lensing adjoint, Jacobian, and Hessian operators. We test and validate the maximization procedure on flat-sky simulations covering up to 600\,deg$^2$ with non-uniform noise and masking.


title: Optimal Water-Power Flow Problem: Formulation and Distributed Optimal Solution

abstract: This paper formalizes an optimal water-power flow (OWPF) problem to optimize the use of controllable assets across power and water systems while accounting for the couplings between the two infrastructures. Tanks and pumps are optimally managed to satisfy water demand while improving power grid operations; {for the power network, an AC optimal power flow formulation is augmented to accommodate the controllability of water pumps.} Unfortunately, the physics governing the operation of the two infrastructures and coupling constraints lead to a nonconvex (and, in fact, NP-hard) problem; however, after reformulating OWPF as a nonconvex, quadratically-constrained quadratic problem, a feasible point pursuit-successive convex approximation approach is used to identify feasible and optimal solutions. In addition, a distributed solver based on the alternating direction method of multipliers enables water and power operators to pursue individual objectives while respecting the couplings between the two networks. The merits of the proposed approach are demonstrated for the case of a distribution feeder coupled with a municipal water distribution network.


title: DIII Topological Superconductivity with Emergent Time-Reversal Symmetry

abstract: We find a new class of topological superconductors which possess an emergent time-reversal symmetry that is present only after projecting to an effective low-dimensional model. We show that a topological phase in symmetry class DIII can be realized in a noninteracting system coupled to an $s$-wave superconductor only if the physical time-reversal symmetry of the system is broken, and we provide three general criteria that must be satisfied in order to have such a phase. We also provide an explicit model which realizes the class DIII topological superconductor in 1D. We show that, just as in time-reversal invariant topological superconductors, the topological phase is characterized by a Kramers pair of Majorana fermions that are protected by the emergent time-reversal symmetry.


title: A Solution Method for the Reynolds-Averaged Navier-Stokes Equation

abstract: Using the Lagrangian transport of momentum, the Reynolds stress can be expressed in terms of basic turbulence parameters. DNS data at higher Reynolds numbers (Re= 1000 and 5200) have been used to again validate this theory, where it is the Lagrangian momentum balance between u2 and pressure fluctuation forces that determine the Reynolds stress at these conditions. This approach can be used to obtain key parameters such as the von Karman constant, inner layer thickness and the Reynolds stress itself. This expression for the Reynolds stress can be combined with RANS for solutions for turbulent channel and jet flows. Examples of these solutions are presented.


title: Impact of NLTE on determinations of atmospheric parameters and chemical abundances of very metal-poor stars

abstract: Based on high-resolution spectral observations for a sample of very metal-poor stars, we investigate how well stellar chemical abundances can be derived with available theoretical methods and computational tools.


title: Rational Ringel-Hall algebras, Hall polynomials of affine type and Canonical bases

abstract: In this paper, the rational Ringel-Hall algebras for tame quivers are introduced and are identified with the positive part of the quantum extended Kac-Moody algebras. By using the rational Ringel-Hall algebras, we show that the existence of Hall polynomials for tame quiver algebras. The PBW bases are constructed and new classes of perverse sheaves are shown to have strong purity property. These allows us to construct the canonical bases of the positive part of the quantum extended Kac-Moody algebras.


title: A Conditional Model of Wind Power Forecast Errors and Its Application in Scenario Generation

abstract: In power system operation, characterizing the stochastic nature of wind power is an important albeit challenging issue. It is well known that distributions of wind power forecast errors often exhibit significant variability with respect to different forecast values. Therefore, appropriate probabilistic models that can provide accurate information for conditional forecast error distributions are of great need. On the basis of Gaussian mixture model, this paper constructs analytical conditional distributions of forecast errors for multiple wind farms with respect to forecast values. The accuracy of the proposed probabilistic models is verified by using historical data. Thereafter, a fast sampling method is proposed to generate scenarios from the conditional distributions which are non-Gaussian and interdependent. The efficiency of the proposed sampling method is verified.


title: Analytic Boosted Boson Discrimination at the Large Hadron Collider

abstract: Jet substructure is playing a central role at the Large Hadron Collider (LHC) probing the Standard Model in extreme regions of phase space and providing innovative ways to search for new physics. Analytic calculations of experimentally successful observables are a primary catalyst driving developments in jet substructure, allowing for a deeper understanding of observables and for the exploitation of increasingly subtle features of jets. In this paper we present a field theoretic framework enabling systematically improvable calculations of groomed multi-prong substructure observables, which builds on recent developments in multi-scale effective theories. We use this framework to compute for the first time the full spectrum for groomed tagging observables at the LHC, carefully treating both perturbative and non-perturbative contributions in all regions. Our analysis enables a precision understanding which we hope will improve the reach and sophistication of jet substructure techniques at the LHC.


title: Flat Monodromies and a Moduli Space Size Conjecture

abstract: We investigate how super-Planckian axions can arise when type IIB 3-form flux is used to restrict a two-axion field space to a one-dimensional winding trajectory. If one does not attempt to address notoriously complicated issues like Kahler moduli stabilization, SUSY-breaking and inflation, this can be done very explicitly. We show that the presence of flux generates flat monodromies in the moduli space which we therefore call 'Monodromic Moduli Space'. While we do indeed find long axionic trajectories, these are non-geodesic. Moreover, the length of geodesics remains highly constrained, in spite of the (finite) monodromy group introduced by the flux. We attempt to formulate this in terms of a 'Moduli Space Size Conjecture'. Interesting mathematical structures arise in that the relevant spaces turn out to be fundamental domains of congruence subgroups of the modular group. In addition, new perspectives on inflation in string theory emerge.


title: NuSTAR Resolves the First Dual AGN above 10 keV in SWIFT J2028.5+2543

abstract: We have discovered heavy obscuration in the dual active galactic nucleus (AGN) in the Swift/Burst Alert Telescope (BAT) source SWIFT J2028.5+2543 using Nuclear Spectroscopic Telescope Array (NuSTAR). While an early XMM-Newton study suggested the emission was mainly from NGC 6921, the superior spatial resolution of NuSTAR above 10 keV resolves the Swift/BAT emission into two sources associated with the nearby galaxies MCG +04-48-002 and NGC 6921 (z = 0.014) with a projected separation of 25.3 kpc (91"). NuSTAR's sensitivity above 10 keV finds both are heavily obscured to Compton-thick levels (N H=(1-2)x10^24 cm-2) and contribute equally to the BAT detection ({L}10-50 {keV}{{int}}= 6x10^42 erg s-1). The observed luminosity of both sources is severely diminished in the 2-10 keV band, illustrating the importance of >10 keV surveys like those with NuSTAR and Swift/BAT. Compared to archival X-ray data, MCG +04-48-002 shows significant variability (>3) between observations. Despite being bright X-ray AGNs, they are difficult to detect using optical emission-line diagnostics because MCG +04-48-002 is identified as a starburst/composite because of the high rates of star formation from a luminous infrared galaxy while NGC 6921 is only classified as a LINER using line detection limits. SWIFT J2028.5+2543 is the first dual AGN resolved above 10 keV and is the second most heavily obscured dual AGN discovered to date in the X-rays other than NGC 6240.


title: Black Holes and High Energy Physics: From Astrophysics to Large Extra Dimensions

abstract: Up to now, Einstein's general theory of relativity has passed all experimental tests. But yet we know that it is not a fundamental theory and that it is incompatible with quantum theory. While several extended and improved gravitational theories on classical and quantum level are nowadays available, it is a great challenge to find experimental setups to check their signatures. We discuss recent developments in direct observation of black holes comprising gravitational waves from black hole mergers, radio interferometry images of black hole shadows, and Hawking radiation of black holes in particle accelerators. These investigations cover the full black hole mass range from microscopic to stellar and supermassive black holes. We comment on the associated strong-field tests of Einstein's general theory of relativity and implications for quantum gravity. Special emphasis lies upon the physics of large extra dimensions and black hole evaporation, the existence of a minimal black hole mass, and the cross sections of higher-dimensional black holes. We complete this short review with the latest experimental constraints at the Large Hadron Collider.


title: Self-interacting Spin-2 Dark Matter

abstract: Recent developments in bigravity allow one to construct consistent theories of interacting spin-2 particles that are free of ghosts. In this framework, we propose an elementary spin-2 dark matter candidate with a mass well below the TeV scale. We show that, in a certain regime where the interactions induced by the spin-2 fields do not lead to large departures from the predictions of general relativity, such a light dark matter particle typically self-interacts and undergoes self-annihilations via 3-to-2 processes. We discuss its production mechanisms and also identify the regions of the parameter space where self-interactions can alleviate the discrepancies at small scales between the predictions of the collisionless dark matter paradigm and cosmological N-body simulations.


title: The S-matrix Bootstrap III: Higher Dimensional Amplitudes

abstract: We consider constraints on the S-matrix of any gapped, Lorentz invariant quantum field theory in 3+1 dimensions due to crossing symmetry, analyticity and unitarity. We extremize cubic couplings, quartic couplings and scattering lengths relevant for the elastic scattering amplitude of two identical scalar particles. In the cases where our results can be compared with the older S-matrix literature they are in excellent agreement. We also extremize a cubic coupling in 2+1 dimensions which we can directly compare to a universal bound for a QFT in AdS. This paper generalizes our previous 1+1 dimensional results of arXiv:1607.06109 and arXiv:1607.06110.


title: Maxwell's Equations in the Myers-Perry Geometry

abstract: We demonstrate separability of the Maxwell's equations in the Myers-Perry-(A)dS geometry and derive explicit solutions for various polarizations. Application of our construction to the four-dimensional Kerr black hole leads to a new ansatz for the Maxwell field which has significant advantages over the previously known parameterization.


title: Seeing Through Noise: Visually Driven Speaker Separation and Enhancement

abstract: Isolating the voice of a specific person while filtering out other voices or background noises is challenging when video is shot in noisy environments. We propose audio-visual methods to isolate the voice of a single speaker and eliminate unrelated sounds. First, face motions captured in the video are used to estimate the speaker's voice, by passing the silent video frames through a video-to-speech neural network-based model. Then the speech predictions are applied as a filter on the noisy input audio. This approach avoids using mixtures of sounds in the learning process, as the number of such possible mixtures is huge, and would inevitably bias the trained model. We evaluate our method on two audio-visual datasets, GRID and TCD-TIMIT, and show that our method attains significant SDR and PESQ improvements over the raw video-to-speech predictions, and a well-known audio-only method.


title: Do Low Surface Brightness galaxies host stellar bars?

abstract: With the aim of assessing if low surface brightness galaxies host stellar bars, and study the dependence of the occurrence of bars as a function of surface brightness, we use the Galaxy Zoo 2 dataset to construct a large volume-limited sample of galaxies, and segregate the galaxies as low and high surface brightness in terms of their central surface brightness. We find that the fraction of low surface brightness galaxies hosting strong bars is systematically lower than the one found for high surface brightness galaxies. The dependence of the bar fraction on the central surface brightness is mostly driven by a correlation of the surface brightness with the spin and the gas-richness of the galaxies, showing only a minor dependence on the surface brightness. We also find that the length of the bars shows a strong dependence on the surface brightness, and although some of this dependence is attributed to the gas content, even at fixed gas-to-stellar mass ratio, high surface brightness galaxies host longer bars than their low surface brightness counterparts, which we attribute to an anticorrelation of the surface brightness with the spin.


title: Hierarchical Bounds on Entropy Production Inferred from Partial Information

abstract: Systems driven away from thermal equilibrium constantly deliver entropy to their environment. Determining this entropy production requires detailed information about the system's internal states and dynamics. However, in most practical scenarios, only a part of a complex experimental system is accessible to an external observer. In order to address this challenge, two notions of partial entropy production have been introduced in the literature as a way to assign an entropy production to an observed subsystem: one due to Shiraishi and Sagawa [Phys. Rev. E 91, 012130 (2015)] and another due to Polettini and Esposito [arXiv:1703.05715 (2017)]. We show that although both of these schemes provide a lower bound on the total entropy production, the latter -- which utilizes an effective thermodynamics description-- gives a better estimate of the total dissipation. Using this effective thermodynamic framework, we establish a partitioning of the total entropy production into two contributions that individually verify integral fluctuation theorems: an observable partial entropy production and a hidden entropy production assigned to the unobserved subsystem. Our results offer broad implications for both theoretical and empirical systems when only partial information is available.


title: The Formation of Stellar Clusters in Magnetized, Filamentary Infrared Dark Clouds

abstract: Star formation in a filamentary infrared dark cloud (IRDC) is simulated over a dynamic range of 4.2 pc to 28 au for a period of $3.5\times 10^5$ yr, including magnetic fields and both radiative and outflow feedback from the protostars. At the end of the simulation, the star formation efficiency is 4.3 per cent and the star formation rate per free fall time is $\epsilon_{\rm ff}\simeq 0.04$, within the range of observed values (Krumholz et al. 2012a). The total stellar mass increases as $\sim\,t^2$, whereas the number of protostars increases as $\sim\,t^{1.5}$. We find that the density profile around most of the simulated protostars is $\sim\,\rho\propto r^{-1.5}$, as predicted by Murray & Chang (2015). At the end of the simulation, the protostellar mass function approaches the Chabrier (2005) stellar initial mass function. We infer that the time to form a star of median mass $0.2\,M_\odot$ is about $1.4\times 10^5$~yr from the median mass accretion rate. We find good agreement among the protostellar luminosities observed in the large sample of Dunham et al. (2013), our simulation, and a theoretical estimate, and conclude that the classical protostellar luminosity problem Kenyon et al. (1990) is resolved. The multiplicity of the stellar systems in the simulation agrees to within a factor 2 of observations of Class I young stellar objects; most of the simulated multiple systems are unbound. Bipolar protostellar outflows are launched using a sub-grid model, and extend up to 1 pc from their host star. The mass-velocity relation of the simulated outflows is consistent with both observation and theory.


title: First measurement of the $\nu_{\mu}$ charged-current cross section without pions in the final state on a water target

abstract: This paper reports the first differential measurement of the charged-current interaction cross section of $\nu_{\mu}$ on water with no pions in the final state. This flux-averaged measurement has been made using the T2K experiment's off-axis near detector, and is reported in doubly-differential bins of muon momentum and angle. The flux-averaged total cross section in a restricted region of phase space was found to be $ \sigma= (0.95 \pm 0.08 (\mbox{stat}) \pm 0.06 (\mbox{det. syst.}) \pm 0.04(\mbox{model syst.}) \pm{} 0.08(\mbox{flux}) ) \times 10^{-38} \mbox{cm}^2$ per n.


title: Universal RCFT Correlators from the Holomorphic Bootstrap

abstract: We elaborate and extend the method of Wronskian differential equations for conformal blocks to compute four-point correlation functions on the plane for classes of primary fields in rational (and possibly more general) conformal field theories. This approach leads to universal differential equations for families of CFT's and provides a very simple re-derivation of the BPZ results for the degenerate fields $\phi_{1,2}$ and $\phi_{2,1}$ in the c < 1 minimal models. We apply this technique to compute correlators for the WZW models corresponding to the Deligne-Cvitanovi\'c exceptional series of Lie algebras. The application turns out to be subtle in certain cases where there are multiple decoupled primaries. The power of this approach is demonstrated by applying it to compute four-point functions for the Baby Monster CFT, which does not belong to any minimal series.


title: Spin-dependent Andreev reflection in spin-orbit coupled systems by breaking time-reversal symmetry

abstract: We study theoretically the differential conductance at a junction between a time reversal symmetry broken spin orbit coupled system with a tunable band gap and a superconductor. We look for spin-dependent Andreev reflection (i.e, sub-gap transport) and show that when various mass terms compete in energy, there is substantial difference of Andreev reflection probability depending on the spin of the incident electron. We further analyze the origin of such spin-dependence and show how the incident angle of the electrons controls the spin-dependence of the transport.


title: Deterministic Browser

abstract: Timing attacks have been a continuous threat to users' privacy in modern browsers. To mitigate such attacks, existing approaches, such as Tor Browser and Fermata, add jitters to the browser clock so that an attacker cannot accurately measure an event. However, such defenses only raise the bar for an attacker but do not fundamentally mitigate timing attacks, i.e., it just takes longer than previous to launch a timing attack. In this paper, we propose a novel approach, called deterministic browser, which can provably prevent timing attacks in modern browsers. Borrowing from Physics, we introduce several concepts, such as an observer and a reference frame. Specifically, a snippet of JavaScript, i.e., an observer in JavaScript reference frame, will always obtain the same, fixed timing information so that timing attacks are prevented; at contrast, a user, i.e., an oracle observer, will perceive the JavaScript differently and do not experience the performance slowdown. We have implemented a prototype called DeterFox and our evaluation shows that the prototype can defend against browser-related timing attacks.


title: Multi-Transparency Windows and Fano interference Induced by Dipole-Dipole Couplings

abstract: We investigate the optical properties of a two-level system (TLS) coupled to a linear series of $N$ other TLS's with dipole-dipole coupling between the first neighbours. The first TLS is probed by weak field and we assume that it has a decay rate much stronger than the decay rates of the other TLS's. For N=1 and in the limit of a probe field much weaker than the dipole-dipole coupling, the optical response of the first TLS, i.e., its absorption and dispersion, are equivalent to those of a three-level atomic system in the configuration which allow one to observe electromagnetically induced transparency (EIT) phenomenon. Thus, here we are investigating a new kind of induced transparency where the dipole-dipole coupling plays the same role of the control field in EIT in three-level atoms. We describe this physical phenomenon, here named as Dipole-Dipole Induced Transparency (DDIT), and investigate how it scales with the number of coupled TLS's. In particular we have shown that the number of TLS's coupled to the main one is exactly equals to the number of transparency windows. The ideas presented here are very general and can be implemented in different physical systems such as array of superconducting qubits, array of quantum dots, spin chains, optical lattices, etc.


title: CARMA $\lambda$ = 1 cm Spectral Line Survey of Orion-KL

abstract: Orion-KL is a well known high mass star forming region that has long been the target of spectral line surveys and searches for complex molecules. One spectral window where the region had never been surveyed is around wavelengths of $\lambda$=1 cm. This is an important window to observe due to the fundamental and low energy transitions of numerous complex molecules that indicate the maximum spatial extent of the molecular species; knowing the spatial distribution of a molecule aids in determining the formation mechanism(s) of that molecule. Additionally, there are fewer transitions in this window, reducing confusion caused by blended lines that can be very problematic at shorter wavelengths ($\lambda<$3 mm). In this work, we present the first spectral line survey at $\lambda$=1 cm of the Orion-KL region. A total of 89 transitions were detected from 14 molecular species and isotopologues and two atomic species. The observations were conducted with the Combined Array for Research in Millimeter-wave Astronomy in both interferometric and single dish modes.


title: Optical EVPA rotations in blazars: testing a stochastic variability model with RoboPol data

abstract: We identify rotations of the polarization angle in a sample of blazars observed for three seasons with the RoboPol instrument. A simplistic stochastic variability model is tested against this sample of rotation events. The model is capable of producing samples of rotations with parameters similar to the observed ones, but fails to reproduce the polarization fraction at the same time. Even though we can neither accept nor conclusively reject the model, we point out various aspects of the observations that are fully consistent with a random walk process.


title: Integrated-optics heralded controlled-NOT gate for polarization-encoded qubits

abstract: Recent progress in integrated-optics technology has made photonics a promising platform for quantum networks and quantum computation protocols. Integrated optical circuits are characterized by small device footprints and unrivalled intrinsic interferometric stability. Here, we take advantage of femtosecond-laser-written waveguides' ability to process polarization-encoded qubits and present the first implementation of a heralded controlled-NOT gate on chip. We evaluate the gate performance in the computational basis and a superposition basis, showing that the gate can create polarization entanglement between two photons. Transmission through the integrated device is optimized using thermally-expanded-core fibers and adiabatically reduced mode-field diameters at the waveguide facets. This demonstration underlines the feasibility of integrated quantum gates for all-optical quantum networks and quantum repeaters.


title: Reflection Separation and Deblurring of Plenoptic Images

abstract: In this paper, we address the problem of reflection removal and deblurring from a single image captured by a plenoptic camera. We develop a two-stage approach to recover the scene depth and high resolution textures of the reflected and transmitted layers. For depth estimation in the presence of reflections, we train a classifier through convolutional neural networks. For recovering high resolution textures, we assume that the scene is composed of planar regions and perform the reconstruction of each layer by using an explicit form of the plenoptic camera point spread function. The proposed framework also recovers the sharp scene texture with different motion blurs applied to each layer. We demonstrate our method on challenging real and synthetic images.


title: The collapsing geometry of almost Ricci-flat 4-manifolds

abstract: We consider Riemannian 4-manifolds that Gromov-Hausdorff converge to a lower dimensional limit space, with the Ricci tensor going to zero. Among other things, we show that if the limit space is two dimensional then under some mild assumptions, the limiting four dimensional geometry away from the curvature blowup region is semiflat Kaehler.


title: Two-dimensional Radiative Magnetohydrodynamic Simulations of Partial Ionization in the Chromosphere. II. Dynamics and Energetics of the Low Solar Atmosphere

abstract: We investigate the effects of interactions between ions and neutrals on the chromosphere and overlying corona using 2.5D radiative MHD simulations with the Bifrost code. We have extended the code capabilities implementing ion-neutral interaction effects using the Generalized Ohm's Law, i.e., we include the Hall term and the ambipolar diffusion (Pedersen dissipation) in the induction equation. Our models span from the upper convection zone to the corona, with the photosphere, chromosphere and transition region partially ionized. Our simulations reveal that the interactions between ionized particles and neutral particles have important consequences for the magneto-thermodynamics of these modeled layers: 1) ambipolar diffusion increases the temperature in the chromosphere; 2) sporadically the horizontal magnetic field in the photosphere is diffused into the chromosphere due to the large ambipolar diffusion; 3) ambipolar diffusion concentrates electrical currents leading to more violent jets and reconnection processes, resulting in 3a) the formation of longer and faster spicules, 3b) heating of plasma during the spicule evolution, and 3c) decoupling of the plasma and magnetic field in spicules. Our results indicate that ambipolar diffusion is a critical ingredient for understanding the magneto-thermo-dynamic properties in the chromosphere and transition region. The numerical simulations have been made publicly available, similar to previous Bifrost simulations. This will allow the community to study realistic numerical simulations with a wider range of magnetic field configurations and physics modules than previously possible.


title: Internal sizes in $\mu$-abstract elementary classes

abstract: Working in the context of $\mu$-abstract elementary classes ($\mu$-AECs) - or, equivalently, accessible categories with all morphisms monomorphisms - we examine the two natural notions of size that occur, namely cardinality of underlying sets and internal size. The latter, purely category-theoretic, notion generalizes e.g. density character in complete metric spaces and cardinality of orthogonal bases in Hilbert spaces. We consider the relationship between these notions under mild set-theoretic hypotheses, including weakenings of the singular cardinal hypothesis. We also establish preliminary results on the existence and categoricity spectra of $\mu$-AECs, including specific examples showing dramatic failures of the eventual categoricity conjecture (with categoricity defined using cardinality) in $\mu$-AECs.


title: Recovering Nonuniform Planted Partitions via Iterated Projection

abstract: In the planted partition problem, the $n$ vertices of a random graph are partitioned into $k$ "clusters," and edges between vertices in the same cluster and different clusters are included with constant probability $p$ and $q$, respectively (where $0 \le q < p \le 1$). We give an efficient spectral algorithm that recovers the clusters with high probability, provided that the sizes of any two clusters are either very close or separated by $\geq \Omega(\sqrt n)$. We also discuss a generalization of planted partition in which the algorithm's input is not a random graph, but a random real symmetric matrix with independent above-diagonal entries. Our algorithm is an adaptation of a previous algorithm for the uniform case, i.e., when all clusters are size $n / k \geq \Omega(\sqrt n)$. The original algorithm recovers the clusters one by one via iterated projection: it constructs the orthogonal projection operator onto the dominant $k$-dimensional eigenspace of the random graph's adjacency matrix, uses it to recover one of the clusters, then deletes it and recurses on the remaining vertices. We show herein that a similar algorithm works in the nonuniform case.


title: Form Factors for Generalized Grey Brownian Motion

abstract: In this paper we investigate the form factors of paths for a class of non Gaussian processes. These processes are characterized in terms of the Mittag-Leffler function. In particular, we obtain a closed analytic form for the form factors, the Debye function, and can study their asymptotic decay.


title: Parisian ruin for the dual risk process in discrete-time

abstract: In this paper we consider the Parisian ruin probabilities for the dual risk model in a discrete-time setting. By exploiting the strong Markov property of the risk process we derive a recursive expression for the fnite-time Parisian ruin probability, in terms of classic discrete-time dual ruin probabilities. Moreover, we obtain an explicit expression for the corresponding infnite-time Parisian ruin probability as a limiting case. In order to obtain more analytic results, we employ a conditioning argument and derive a new expression for the classic infinite-time ruin probability in the dual risk model and hence, an alternative form of the infnite-time Parisian ruin probability. Finally, we explore some interesting special cases, including the Binomial/Geometric model, and obtain a simple expression for the Parisian ruin probability of the Gambler's ruin problem.


title: Motional studies of one and two laser-cooled trapped ions for electric-field sensing applications

abstract: We have studied the dynamics of one and two laser-cooled trapped $^{40}$Ca$^+$ ions by applying electric fields of different nature along the axial direction of the trap, namely, driving the motion with a harmonic dipolar field, or with white noise. These two types of driving induce distinct motional states of the axial modes; a coherent oscillation with the dipolar field, or an enhanced Brownian motion due to an additional contribution to the heating rate from the electric noise. In both scenarios, the sensitivity of an isolated ion and a laser-cooled two-ion crystal has been evaluated and compared. The analysis and understanding of this dynamics is important towards the implementation of a novel Penning-trap mass-spectroscopy technique based on optical detection, aiming at improving precision and sensitivity.