title: Energy of asymptotically AdS black holes in Exotic Massive Gravity and its log-extension

abstract: Recently a new three-dimensional theory of gravity, dubbed Exotic Massive Gravity, was proposed as a unitary theory both in the bulk as well as in the dual CFT. This is the second simplest example, the first being Minimal Massive Gravity. Since the divergence of the field equations vanishes on-shell, Exotic Massive Gravity has third-way consistency. Here we show how to compute mass and angular momentum in this theory, and then implement our result in various solutions, both for generic values of the couplings as well as at chiral points of the theory. For the latter, the asymptotic AdS behaviour is relaxed and the metric acquires logarithmic terms, which may lead to a logarithmic CFT in the boundary. Remarkably, even in the presence of this relaxed asymptotic behaviour, the charges turn out to be finite, defining non-linear solutions of what could be called Exotic Log Gravity.


title: Functional Aggregate Queries with Additive Inequalities

abstract: Motivated by fundamental applications in databases and relational machine learning, we formulate and study the problem of answering functional aggregate queries (FAQ) in which some of the input factors are defined by a collection of additive inequalities between variables. We refer to these queries as FAQ-AI for short. To answer FAQ-AI in the Boolean semiring, we define relaxed tree decompositions and relaxed submodular and fractional hypertree width parameters. We show that an extension of the InsideOut algorithm using Chazelle's geometric data structure for solving the semigroup range search problem can answer Boolean FAQ-AI in time given by these new width parameters. This new algorithm achieves lower complexity than known solutions for FAQ-AI. It also recovers some known results in database query answering. Our second contribution is a relaxation of the set of polymatroids that gives rise to the counting version of the submodular width, denoted by #subw. This new width is sandwiched between the submodular and the fractional hypertree widths. Any FAQ and FAQ-AI over one semiring can be answered in time proportional to #subw and respectively to the relaxed version of #subw. We present three applications of our FAQ-AI framework to relational machine learning: k-means clustering, training linear support vector machines, and training models using non-polynomial loss. These optimization problems can be solved over a database asymptotically faster than computing the join of the database relations.


title: Convexity of distinct sum sets

abstract: We study a combinatorial notion where given a set of lattice points one takes the set of all sums of subsets of a fixed size, and we ask if the given set comes from a convex lattice polytope whether the resulting set also comes from a convex lattice polytope. We obtain a positive result in dimension 2 and a negative result in higher dimensions. We apply this to the corner cut polyhedron.


title: Super resolution plasmonic imaging microscopy for submicron tracking emulsion detector

abstract: NIT is a super fine-grained nuclear emulsion which has a detection capability for ionizing particle with nanometric resolution and record the track by a line of silver nanograin with a various of shape and size. The particle tracks need to be read out by some microscopic techniques, here we focused on the optical response of silver nanograins to realize the readout method beyond the diffraction limit. In this paper, super-resolution plasmonic imaging microscopy (SPRIM), which utilized the polarization-dependent optical response due to Localized Surface Plasmon Resonance (LSPR) was developed. The spatial resolution of SPRIM to identify the nanograin position was achieved 5 nm. We showed that the SPRIM clearly discriminated the 100 keV carbon ions tracks with the mean range of 270 nm from single nanograins with the diameter of 60 nm.The recognition efficiency of 100 keV carbon track was 49 % and the angular resolution was 17 degree.


title: On generating of idempotent aggregation functions on finite lattices

abstract: In a recent paper we proposed the study of aggregation functions on lattices via clone theory approach. Observing that aggregation functions on lattices just correspond to $0,1$-monotone clones, we have shown that all aggregation functions on a finite lattice $L$ can be obtained as usual composition of lattice operations $\wedge,\vee$, and certain unary and binary aggregation functions. The aim of this paper is to present a generating set for the class of intermediate (or, equivalently, idempotent) aggregation functions. This set consists of lattice operations and certain ternary idempotent aggregation functions.


title: Dimensionality Reduction of Hyperspectral Imagery Based on Spatial-spectral Manifold Learning

abstract: The graph embedding (GE) methods have been widely applied for dimensionality reduction of hyperspectral imagery (HSI). However, a major challenge of GE is how to choose proper neighbors for graph construction and explore the spatial information of HSI data. In this paper, we proposed an unsupervised dimensionality reduction algorithm termed spatial-spectral manifold reconstruction preserving embedding (SSMRPE) for HSI classification. At first, a weighted mean filter (WMF) is employed to preprocess the image, which aims to reduce the influence of background noise. According to the spatial consistency property of HSI, the SSMRPE method utilizes a new spatial-spectral combined distance (SSCD) to fuse the spatial structure and spectral information for selecting effective spatial-spectral neighbors of HSI pixels. Then, it explores the spatial relationship between each point and its neighbors to adjusts the reconstruction weights for improving the efficiency of manifold reconstruction. As a result, the proposed method can extract the discriminant features and subsequently improve the classification performance of HSI. The experimental results on PaviaU and Salinas hyperspectral datasets indicate that SSMRPE can achieve better classification accuracies in comparison with some state-of-the-art methods.


title: Prediction of optimal catalysts for a given chemical reaction

abstract: We reveal a correlation between the M-X bond energy descriptor EMX for the optimal catalyst in a family of stoichiometry MiXj, and an intensive quantity defined as the standard enthalpy of the catalyzed reaction normalized to one mole of element X transferred by this reaction from reactants to products. M is a transition element, and the stoichiometry MiXj is fixed at the solid/fluid interface by the reaction conditions. We illustrate this for a relevant set of reactions involved in solar energy and industrial applications such as oxygen evolution, oxygen reduction and hydrogen evolution in electrolysis, hydrodesulfurization of thiophene, methanation of CO, hydrogenations of aromatics and alkenes, selective oxidation of methane, and ammonia synthesis and decomposition. We propose a quantitative model to explain this unexpected connection: this key finding and its interpretation should accelerate in silico discovery of catalysts.


title: The influence of pump coherence on the generation of position-momentum entanglement in down-conversion

abstract: Strong correlations in two conjugate variables are the signature of quantum entanglement and have played a key role in the development of modern physics. Entangled photons have become a standard tool in quantum information and foundations. An impressive example is position-momentum entanglement of photon pairs, explained heuristically through the correlations implied by a common birth zone and momentum conservation. However, these arguments entirely neglect the importance of the `quantumness', i.e. coherence, of the driving force behind the generation mechanism. We study theoretically and experimentally how the correlations depend on the coherence of the pump of nonlinear down-conversion. In the extreme case - a truly incoherent pump - only position correlations exist. By increasing the pump's coherence, correlations in momenta emerge until their strength is sufficient to produce entanglement. Our results shed light on entanglement generation and can be applied to adjust the entanglement for quantum information applications.


title: Temporal Hockey Action Recognition via Pose and Optical Flows

abstract: Recognizing actions in ice hockey using computer vision poses challenges due to bulky equipment and inadequate image quality. A novel two-stream framework has been designed to improve action recognition accuracy for hockey using three main components. First, pose is estimated via the Part Affinity Fields model to extract meaningful cues from the player. Second, optical flow (using LiteFlowNet) is used to extract temporal features. Third, pose and optical flow streams are fused and passed to fully-connected layers to estimate the hockey player's action. A novel publicly available dataset named HARPET (Hockey Action Recognition Pose Estimation, Temporal) was created, composed of sequences of annotated actions and pose of hockey players including their hockey sticks as an extension of human body pose. Three contributions are recognized. (1) The novel two-stream architecture achieves 85% action recognition accuracy, with the inclusion of optical flows increasing accuracy by about 10%. (2) The unique localization of hand-held objects (e.g., hockey sticks) as part of pose increases accuracy by about 13%. (3) For pose estimation, a bigger and more general dataset, MSCOCO, is successfully used for transfer learning to a smaller and more specific dataset, HARPET, achieving a PCKh of 87%.


title: On the clone of aggregation functions on bounded lattices

abstract: The main aim of this paper is to study aggregation functions on lattices via clone theory approach. Observing that the aggregation functions on lattices just correspond to $0,1$-monotone clones, as the main result we show that for any finite $n$-element lattice $L$ there is a set of at most $2n+2$ aggregation functions on $L$ from which the respective clone is generated. Namely, the set of generating aggregation functions consists only of at most $n$ unary functions, at most $n$ binary functions, and lattice operations $\wedge,\vee$, and all aggregation functions of $L$ are composed of them by usual term composition. Moreover, our approach works also for infinite lattices (such as mostly considered bounded real intervals $[a,b]$), where in contrast to finite case infinite suprema and (or, equivalently, a kind of limit process) have to be considered.


title: Hen 3-160 - the first symbiotic binary with Mira variable S star

abstract: Hen 3-160 is reported in Belczynski et al.'s (2000) catalog as a symbiotic binary system with M7 giant donor. Using $V$- and $I$-band photometry collected over 20 years we have found that the giant is a Mira variable pulsating with 242.5-day period. The period-luminosity relation locates Hen 3-160 at the distance of about 9.4 kpc, and its Galactic coordinates ($l=267.7^{\circ}$, $b=-7.9^{\circ}$) place it $\sim$1.3 kpc above the disc. This position combined with relatively high proper motions (pm$_{\rm{RA}}=-1.5$ mas yr$^{-1}$, pm$_{\rm{DEC}}=+2.9$ mas yr$^{-1}$, Gaia DR2) indicates that Hen 3-160 has to be a Galactic extended thick-disc object. Our red optical and infrared spectra show the presence of ZrO and YO molecular bands that appear relatively strong compared to the TiO bands. Here we propose that the giant in this system is intrinsic S star, enriched in products of slow neutron capture processes occurring in its interior during an AGB phase which would make Hen 3-160 the first symbiotic system with Mira variable S star.


title: Time Projection Chamber (TPC) Detectors for Nuclear Astrophysics Studies With Gamma Beams

abstract: Gamma-Beams at the HIgS facility in the USA and anticipated at the ELI-NP facility, now constructed in Romania, present unique new opportunities to advance research in nuclear astrophysics; not the least of which is resolving open questions in oxygen formation during stellar helium burning via a precise measurement of the 12C(a,g) reaction. Time projection chamber (TPC) detectors operating with low pressure gas (as an active target) are ideally suited for such studies. We review the progress of the current research program and plans for the future at the HI{\gamma}S facility with the optical readout TPC (O-TPC) and the development of an electronic readout TPC for the ELI-NP facility (ELITPC).


title: Bioinformatics Computational Cluster Batch Task Profiling with Machine Learning for Failure Prediction

abstract: Motivation: Traditional computational cluster schedulers are based on user inputs and run time needs request for memory and CPU, not IO. Heavily IO bound task run times, like ones seen in many big data and bioinformatics problems, are dependent on the IO subsystems scheduling and are problematic for cluster resource scheduling. The problematic rescheduling of IO intensive and errant tasks is a lost resource. Understanding the conditions in both successful and failed tasks and differentiating them could provide knowledge to enhancing cluster scheduling and intelligent resource optimization. Results: We analyze a production computational cluster contributing 6.7 thousand CPU hours to research over two years. Through this analysis we develop a machine learning task profiling agent for clusters that attempts to predict failures between identically provision requested tasks.


title: Kinetic modelling of competition and depletion of shared miRNAs by competing endogenous RNAs

abstract: Non-conding RNAs play a key role in the post-transcriptional regulation of mRNA translation and turnover in eukaryotes. miRNAs, in particular, interact with their target RNAs through protein-mediated, sequence-specific binding, giving rise to extended and highly heterogeneous miRNA-RNA interaction networks. Within such networks, competition to bind miRNAs can generate an effective positive coupling between their targets. Competing endogenous RNAs (ceRNAs) can in turn regulate each other through miRNA-mediated crosstalk. Albeit potentially weak, ceRNA interactions can occur both dynamically, affecting e.g. the regulatory clock, and at stationarity, in which case ceRNA networks as a whole can be implicated in the composition of the cell's proteome. Many features of ceRNA interactions, including the conditions under which they become significant, can be unraveled by mathematical and in silico models. We review the understanding of the ceRNA effect obtained within such frameworks, focusing on the methods employed to quantify it, its role in the processing of gene expression noise, and how network topology can determine its reach.


title: Quantized representations of knot groups

abstract: We propose a new non-commutative generalization of the representation variety and the character variety of a knot group. Our strategy is to reformulate the construction of the algebra of functions on the space of representations in terms of Hopf algebra objects in a braided category (braided Hopf algebra). The construction works under the assumption that the algebra is braided commutative. The resulting knot invariant is a module with a coadjoint action. Taking the coinvariants yields a new quantum character variety that may be thought of as an alternative to the skein module. We give concrete examples for a few of the simplest knots and links.


title: Atomic antiferromagnetic domain wall propagation beyond the relativistic limit

abstract: We theoretically investigate the dynamics of atomic domain walls (DWs) in antiferromagnets driven by a spin-orbit field. For a DW with the width of a few lattice constants, we identify a Peierls-like pinning effect, with the depinning field exponentially decaying with the DW width, so that a spin-orbit field moderately larger than the threshold can drive the propagation of an atomic DW in a step-wise manner. For a broad DW, the Peierls pinning is negligibly small. However, the external spin-orbit field can induce a fast DW propagation, accompanied by a significant shrinking of its width down to atomic scales. Before stepping into the pinning region, noticeable spin waves are emitted at the tail of the DW. The spin-wave emission event not only broadens the effective width of the DW, but also pushes the DW velocity over the magnonic barrier, which is generally believed to be the relativistic limit of the DW speed. While the existing dynamic theory based on the continuum approximation fails in the atomic scale, we develop an energy conversion theory to interpret the DW dynamics beyond the relativistic limit.


title: TEST: A Terminology Extraction System for Technology Related Terms

abstract: Tracking developments in the highly dynamic data-technology landscape are vital to keeping up with novel technologies and tools, in the various areas of Artificial Intelligence (AI). However, It is difficult to keep track of all the relevant technology keywords. In this paper, we propose a novel system that addresses this problem. This tool is used to automatically detect the existence of new technologies and tools in text, and extract terms used to describe these new technologies. The extracted new terms can be logged as new AI technologies as they are found on-the-fly in the web. It can be subsequently classified into the relevant semantic labels and AI domains. Our proposed tool is based on a two-stage cascading model -- the first stage classifies if the sentence contains a technology term or not; and the second stage identifies the technology keyword in the sentence. We obtain a competitive accuracy for both tasks of sentence classification and text identification.


title: Coincidence and noncoincidence of dimensions in compact subsets of $[0,1]$

abstract: We show that given any six numbers $r,s,t,u,v,w \in (0,1]$ satisfying $r \leq s \leq \min(t,u) \leq \max(t,u) \leq v \leq w$, it is possible to construct a compact subset of $[0,1]$ with Hausdorff dimension equal to $r$, lower modified box dimension equal to $s$, packing dimension equal to $t$, lower box dimension equal to $u$, upper box dimension equal to $v$ and Assouad dimension equal to $w$. Moreover, the set constructed is an $r$-Hausdorff set and a $t$-packing set.


title: Extremal Cylinder Configurations I: Configuration $C_{\mathfrak{m}}$

abstract: We study the path $\Gamma=\{ C_{6,x}\ \vert\ x\in [0,1]\}$ in the moduli space of configurations of 6 equal cylinders touching the unit sphere. Among the configurations $C_{6,x}$ is the record configuration $C_{\mathfrak{m}}$ of \cite{OS}. We show that $C_{\mathfrak{m}}$ is a local sharp maximum of the distance function, so in particular the configuration $C_{\mathfrak{m}}$ is not only unlockable but rigid. We show that if $\frac{(1 + x) (1 + 3 x)}{3}$ is a rational number but not a square of a rational number, the configuration $C_{6,x}$ has some hidden symmetries, part of which we explain.


title: Smoothing Traffic Flow via Control of Autonomous Vehicles

abstract: The emergence of autonomous vehicles is expected to revolutionize road transportation in the near future. Although large-scale numerical simulations and small-scale experiments have shown promising results, a comprehensive theoretical understanding to smooth traffic flow via autonomous vehicles is lacking. In this paper, from a control-theoretic perspective, we establish analytical results on the controllability, stabilizability, and reachability of a mixed traffic system consisting of human-driven vehicles and autonomous vehicles in a ring road. We show that the mixed traffic system is not completely controllable, but is stabilizable, indicating that autonomous vehicles can not only suppress unstable traffic waves but also guide the traffic flow to a higher speed. Accordingly, we establish the maximum traffic speed achievable via controlling autonomous vehicles. Numerical results show that the traffic speed can be increased by over 6% when there are only 5% autonomous vehicles. We also design an optimal control strategy for autonomous vehicles to actively dampen undesirable perturbations. These theoretical findings validate the high potential of autonomous vehicles to smooth traffic flow.


title: Photoacoustic Tomography with Direction Dependent Data: An Exact Series Reconstruction Approach

abstract: Photoacoustic image reconstruction often assumes that the restriction of the acoustic pressure on the detection surface is given. However, commonly used detectors often have a certain directivity and frequency dependence, in which case the measured data are more accurately described as a linear combination of the acoustic pressure and its normal derivative on the detection surface. In this paper, we consider the inverse source problem for data that are a combination of an acoustic pressure of the wave equation and its normal derivative For the special case of a spherical detection geometry we derive exact frequency domain reconstruction formulas. We present numerical results showing the robustness and validity of the derived formulas. Moreover, we compare several different combinations of the pressure and its normal derivative showing that used measurement model significantly affects the recovered initial pressure.


title: The observable $E_g$ statistics

abstract: Recently Moradinezhad Dizgah & Durrer have shown that the $E_g$ statistics, useful to test theories of modified gravity, is plagued by additional scale and bias dependent lensing contributions. In this work we develop and illustrate a method to remove these lensing terms by using in addition to the galaxy clustering data also shear data and the correlations of shear and galaxy clustering. We introduce a truly observable statistics termed $\tilde E_g$ which conserves the properties of scale and bias independence on linear scales. The method discussed here is best adapted to photometric surveys. It is found that the corrections to the original $E_g$ statistics are small for the present DES data, but for future surveys of the quality of Euclid they are very substantial.


title: Sum-Product Phenomena for Planar Hypercomplex Numbers

abstract: We study the sum-product problem for the planar hypercomplex numbers: the dual numbers and double numbers. These number systems are similar to the complex numbers, but it turns out that they have a very different combinatorial behavior. We identify parameters that control the behavior of these problems, and derive sum-product bounds that depend on these parameters. For the dual numbers we expose a range where the minimum value of $\max\{|A+A|,|AA|\}$ is neither close to $|A|$ nor to $|A|^2$. To obtain our main sum-product bound, we extend Elekes' sum-product technique that relies on point-line incidences. Our extension is significantly more involved than the original proof, and in some sense runs the original technique a few times in a bootstrapping manner. We also study point-line incidences in the dual plane and in the double plane, developing analogs of the Szemeredi-Trotter theorem. As in the case of the sum-product problem, it turns out that the dual and double variants behave differently than the complex and real ones.


title: Robot Assisted Tower Construction - A Resource Distribution Task to Study Human-Robot Collaboration and Interaction with Groups of People

abstract: Research on human-robot collaboration or human-robot teaming, has focused predominantly on understanding and enabling collaboration between a single robot and a single human. Extending human-robot collaboration research beyond the dyad, raises novel questions about how a robot should distribute resources among group members and about what the social and task related consequences of the distribution are. Methodological advances are needed to allow researchers to collect data about human robot collaboration that involves multiple people. This paper presents Tower Construction, a novel resource distribution task that allows researchers to examine collaboration between a robot and groups of people. By focusing on the question of whether and how a robot's distribution of resources (wooden blocks required for a building task) affects collaboration dynamics and outcomes, we provide a case of how this task can be applied in a laboratory study with 124 participants to collect data about human robot collaboration that involves multiple humans. We highlight the kinds of insights the task can yield. In particular we find that the distribution of resources affects perceptions of performance, and interpersonal dynamics between human team-members.


title: Neural networks versus Logistic regression for 30 days all-cause readmission prediction

abstract: Heart failure (HF) is one of the leading causes of hospital admissions in the US. Readmission within 30 days after a HF hospitalization is both a recognized indicator for disease progression and a source of considerable financial burden to the healthcare system. Consequently, the identification of patients at risk for readmission is a key step in improving disease management and patient outcome. In this work, we used a large administrative claims dataset to (1)explore the systematic application of neural network-based models versus logistic regression for predicting 30 days all-cause readmission after discharge from a HF admission, and (2)to examine the additive value of patients' hospitalization timelines on prediction performance. Based on data from 272,778 (49% female) patients with a mean (SD) age of 73 years (14) and 343,328 HF admissions (67% of total admissions), we trained and tested our predictive readmission models following a stratified 5-fold cross-validation scheme. Among the deep learning approaches, a recurrent neural network (RNN) combined with conditional random fields (CRF) model (RNNCRF) achieved the best performance in readmission prediction with 0.642 AUC (95% CI, 0.640-0.645). Other models, such as those based on RNN, convolutional neural networks and CRF alone had lower performance, with a non-timeline based model (MLP) performing worst. A competitive model based on logistic regression with LASSO achieved a performance of 0.643 AUC (95%CI, 0.640-0.646). We conclude that data from patient timelines improve 30 day readmission prediction for neural network-based models, that a logistic regression with LASSO has equal performance to the best neural network model and that the use of administrative data result in competitive performance compared to published approaches based on richer clinical datasets.


title: Feigin and Odesskii's elliptic algebras

abstract: We study the elliptic algebras $Q_{n,k}(E,\tau)$ introduced by Feigin and Odesskii as a generalization of Sklyanin algebras. They form a family of quadratic algebras parametrized by coprime integers $n>k\geq 1$, an elliptic curve $E$, and a point $\tau\in E$. We consider and compare several different definitions of the algebras and provide proofs of various statements about them made by Feigin and Odesskii. For example, we show that $Q_{n,k}(E,0)$, and $Q_{n,n-1}(E,\tau)$ are polynomial rings on $n$ variables. We also show that $Q_{n,k}(E,\tau+\zeta)$ is a twist of $Q_{n,k}(E,\tau)$ when $\zeta$ is an $n$-torsion point. This paper is the first of several we are writing about the algebras $Q_{n,k}(E,\tau)$.


title: TaxoGen: Unsupervised Topic Taxonomy Construction by Adaptive Term Embedding and Clustering

abstract: Taxonomy construction is not only a fundamental task for semantic analysis of text corpora, but also an important step for applications such as information filtering, recommendation, and Web search. Existing pattern-based methods extract hypernym-hyponym term pairs and then organize these pairs into a taxonomy. However, by considering each term as an independent concept node, they overlook the topical proximity and the semantic correlations among terms. In this paper, we propose a method for constructing topic taxonomies, wherein every node represents a conceptual topic and is defined as a cluster of semantically coherent concept terms. Our method, TaxoGen, uses term embeddings and hierarchical clustering to construct a topic taxonomy in a recursive fashion. To ensure the quality of the recursive process, it consists of: (1) an adaptive spherical clustering module for allocating terms to proper levels when splitting a coarse topic into fine-grained ones; (2) a local embedding module for learning term embeddings that maintain strong discriminative power at different levels of the taxonomy. Our experiments on two real datasets demonstrate the effectiveness of TaxoGen compared with baseline methods.


title: On the Variance of the Length of the Longest Common Subsequences in Random Words With an Omitted Letter

abstract: We investigate the variance of the length of the longest common subsequences of two independent random words of size $n$, where the letters of one word are i.i.d. uniformly drawn from $\{\alpha_1, \alpha_2, \cdots, \alpha_m\}$, while the letters of the other word are i.i.d. drawn from $\{\alpha_1, \alpha_2, \cdots, \alpha_m, \alpha_{m+1}\}$, with probability $p > 0$ to be $\alpha_{m+1}$, and $(1-p)/m > 0$ for all the other letters. The order of the variance of this length is shown to be linear in $n$.


title: Computing Ribbon Obstructions for Colored Knots

abstract: Kjuchukova's $\Xi_p$ invariant gives a ribbon obstruction for Fox $p$-colored knots. The invariant is derived from dihedral branched covers of 4-manifolds, and is needed to calculate the signatures of these covers, when singularities on the branching sets are present. In this note, we give an algorithm for evaluating $\Xi_p$ from a colored knot diagram, and compute a couple of examples.


title: Convex Hypersurfaces with Prescribed Scalar Curvature and Asymptotic Boundary in Hyperbolic Space

abstract: The existence of a smooth complete strictly locally convex hypersurface with prescribed scalar curvature and asymptotic boundary at infinity in $\mathbb{H}^{3}$ is proved under the assumption that there exists a strictly locally convex subsolution.


title: An attractive $\phi^4$ theory in light-front coordinates

abstract: We study an attractive $\phi^4$ interaction using Tamm-Dancoff truncation with light-front coordinates in $3+1$ dimensions. The truncated theory requires a coupling constant renormalization, we compute its $\beta$ function non-perturbatively, show that the model is asymptotically free, and find the corresponding Callan-Symanzik equations. The model supports bound states, we find the wave function for the ground state of the two-particle sector. We also give a bound for the $N$-particle ground state energy within a mean field approximation, including the corresponding result for the case of $2+1$ dimensions where the model does not require renormalization.


title: Surface measures and integration by parts formula on levels sets induced by functionals of the Brownian motion in $\mathbb R^n$

abstract: On the infinite dimensional space $E$ of continuous paths from $[0,1]$ to $\mathbb R^n$, $n \ge 3$, endowed with the Wiener measure $\mu$, we construct a surface measure defined on level sets of the $L^2$-norm of $n$-dimensional processes that are solutions to a class of stochastic gradient system-type equations, and provide an integration by parts formula involving this surface measure. We follow the approach to surface measures in Gaussian spaces proposed via techniques of Malliavin calculus by Airault and Malliavin in 1988.


title: Optimal work in a harmonic trap with bounded stiffness

abstract: We apply Pontryagin's principle to drive rapidly a trapped overdamped Brownian particle in contact with a thermal bath between two equilibrium states corresponding to different trap stiffness $\kappa$. We work out the optimal time dependence $\kappa(t)$ by minimising the work performed on the particle under the non-holonomic constraint $0\leq\kappa\leq\kappa_{\max}$, an experimentally relevant situation. Several important differences arise, as compared with the case of unbounded stiffness that has been analysed in the literature. First, two arbitrary equilibrium states may not always be connected. Second, depending on the operating time $t_{\text{f}}$ and the desired compression ratio $\kappa_{\text{f}}/\kappa_{\text{\i}}$, different types of solutions emerge. Finally, the differences in the minimum value of the work brought about by the bounds may become quite large, which may have a relevant impact on the optimisation of heat engines.


title: Quantum Experiments and Graphs III: High-Dimensional and Multi-Particle Entanglement

abstract: Quantum entanglement plays an important role in quantum information processes, such as quantum computation and quantum communication. Experiments in laboratories are unquestionably crucial to increase our understanding of quantum systems and inspire new insights into future applications. However, there are no general recipes for the creation of arbitrary quantum states with many particles entangled in high dimensions. Here, we exploit a recent connection between quantum experiments and graph theory and answer this question for a plethora of classes of entangled states. We find experimental setups for Greenberger-Horne-Zeilinger states, W states, general Dicke states, and asymmetrically high-dimensional multipartite entangled states. This result sheds light on the producibility of arbitrary quantum states using photonic technology with probabilistic pair sources and allows us to understand the underlying technological and fundamental properties of entanglement.


title: Selection of cyanobacteria over green algae in a photo-sequencing batch bioreactor fed with wastewater

abstract: A strategy based on photo sequencing batch operation was used to select cyanobacteria over unsettled green algae in a wastewater treatment system, evaluating for the first time the effect of hydraulic regimes on nutritional dynamics and microorganisms competition. During 30 days of operation, an initial microalgae mixed consortia dominated by the green microalgae Scenedesmus sp. was cultivated in two different photo-sequencing batch reactors operated at hydraulic retention time (HRT) of 6 days (PSBR6) and 4 days (PSBR4) at a theoretical solids retention time (SRT) of 10 d. Both reactors were compared with a semi-continuous reactor (SC10) operated at 10 d of HRT and 10 days of SRT (used as a control). The results indicated that PSBR6 and PSBR4 decreased Scenedesmus sp. population by 88% and 48%, respectively. However, only PSBR6 provided suitable conditions to select cyanobacteria from an initial green algae dominated culture. These conditions included volumetric loads of 11.72 mg TN L-1d-1, 2.04 mg TP L-1d-1 and 53.31 mg TOC L-1d-1. The remaining nutrients in the culture led also to a phosphorus limiting N:P ratio (34:1) that improved the increase of cyanobacteria from an initial 2% until 70% of the total population. In addition, PSBR6 reached a biomass production of 0.12 g L-1d-1, while removing TN, TP and TOC by 58%, 83% and 85%, respectively. Conversely, the application of higher nutrients loads caused by lower HRT (PSBR4) led to an increase of only 13% of cyanobacteria while SC10 remained with the same biomass composition during all the experimental time. Thus, this study showed that the dominance of cyanobacteria in microalgal based wastewater treatment systems can be controlled by the operational and nutritional conditions. This knowledge could contribute to control microalgae contamination from up-scaling cyanobacterial biomass production in wastewater treatment systems.


title: Joint T1 and T2 Mapping with Tiny Dictionaries and Subspace-Constrained Reconstruction

abstract: Purpose: To develop a method that adaptively generates tiny dictionaries for joint T1-T2 mapping. Theory: This work breaks the bond between dictionary size and representation accuracy (i) by approximating the Bloch-response manifold by piece-wise linear functions and (ii) by adaptively refining the sampling grid depending on the locally-linear approximation error. Methods: Data acquisition was accomplished with use of an 2D radially sampled Inversion-Recovery Hybrid-State Free Precession sequence. Adaptive dictionaries are generated with different error tolerances and compared to a heuristically designed dictionary. Based on simulation results, tiny dictionaries were used for T1-T2 mapping in phantom and in vivo studies. Reconstruction and parameter mapping were performed entirely in subspace. Results: All experiments demonstrated excellent agreement between the proposed mapping technique and template matching using heuristic dictionaries. Conclusion: Adaptive dictionaries in combination with manifold projection allow to reduce the necessary dictionary sizes by one to two orders of magnitude.


title: The Fair Division of Hereditary Set Systems

abstract: We consider the fair division of indivisible items using the maximin shares measure. Recent work on the topic has focused on extending results beyond the class of additive valuation functions. In this spirit, we study the case where the items form an hereditary set system. We present a simple algorithm that allocates each agent a bundle of items whose value is at least $0.3636$ times the maximin share of the agent. This improves upon the current best known guarantee of $0.2$ due to Ghodsi et al. The analysis of the algorithm is almost tight; we present an instance where the algorithm provides a guarantee of at most $0.3738$. We also show that the algorithm can be implemented in polynomial time given a valuation oracle for each agent.


title: Isospin breaking corrections to the HVP at the physical point

abstract: A determination of the hadronic vacuum polarization contribution to the anomalous magnetic moment of the muon from lattice QCD aiming at a precision of $1\%$ requires to include isospin breaking corrections in the computation. We present a lattice calculation of the QED and strong isospin breaking corrections to the hadronic vacuum polarization with Domain Wall fermions. The results are obtained using quark masses which are tuned such that pion and kaon masses agree with their physical values including isospin breaking corrections.


title: Weakly bound solitons and two-soliton molecules in dipolar Bose-Einstein condensates

abstract: Analytic expressions have been derived for the interaction potential between dipolar bright solitons and the binding energy of a two-soliton molecule. The properties of these localized structures are explored with a focus on their behavior in the weakly bound regime, with a small binding energy. Using the variational approach a coupled system of ordinary differential equations for the parameters of a soliton molecule is obtained for the description of their evolution. Predictions of the model are compared with numerical simulations of the governing nonlocal Gross-Pitaevskii equation and good qualitative agreement between them is demonstrated.


title: Counting subrings of $\mathbb Z^n$ of non-zero co-rank

abstract: In this paper we study subrings of $\mathbb Z^{n+k}$ of co-rank $k$.


title: Homogeneous probability measures on the Cantor set

abstract: We show that every homeomorphism between closed measure zero subsets extends to a measure preserving auto-homeomorphism, whenever the Cantor set is endowed with a suitable probability measure. This is valid both for the standard product measure, as well as for the universal homogeneous rational measure.


title: Geometry of environment-to-phenotype mapping: Unifying adaptation strategies in varying environments

abstract: Biological organisms exhibit diverse strategies for adapting to varying environments. For example, a population of organisms may express the same phenotype in all environments (`unvarying strategy'), or follow environmental cues and express alternative phenotypes to match the environment (`tracking strategy'), or diversify into coexisting phenotypes to cope with environmental uncertainty (`bet-hedging strategy'). We introduce a general framework for studying how organisms respond to environmental variations, which models an adaptation strategy by an abstract mapping from environmental cues to phenotypic traits. Depending on the accuracy of environmental cues and the strength of natural selection, we find different adaptation strategies represented by mappings that maximize the longterm growth rate of a population. The previously studied strategies emerge as special cases of our model: the tracking strategy is favorable when environmental cues are accurate, whereas when cues are noisy, organisms can either use an unvarying strategy or, remarkably, use the uninformative cue as a source of randomness to bet-hedge. Our model of the environment-to-phenotype mapping is based on a network with hidden units; the performance of the strategies is shown to rely on having a high-dimensional internal representation, which can even be random.


title: Learning Dynamical Demand Response Model in Real-Time Pricing Program

abstract: Price responsiveness is a major feature of end use customers (EUCs) that participate in demand response (DR) programs, and has been conventionally modeled with static demand functions, which take the electricity price as the input and the aggregate energy consumption as the output. This, however, neglects the inherent temporal correlation of the EUC behaviors, and may result in large errors when predicting the actual responses of EUCs in real-time pricing (RTP) programs. In this paper, we propose a dynamical DR model so as to capture the temporal behavior of the EUCs. The states in the proposed dynamical DR model can be explicitly chosen, in which case the model can be represented by a linear function or a multi-layer feedforward neural network, or implicitly chosen, in which case the model can be represented by a recurrent neural network or a long short-term memory unit network. In both cases, the dynamical DR model can be learned from historical price and energy consumption data. Numerical simulation illustrated how the states are chosen and also showed the proposed dynamical DR model significantly outperforms the static ones.


title: Modeling random walkers on growing random networks

abstract: We present continuum models that describe the evolution of the position of a random walker on a growing network using four different growth algorithms. Three of these involve a random element, including one in which the motility rate of the random walker controls the network topology. For motility rates in which the position of the walker can be treated as quasi-stationary, we present accurate approximations to replace pair probabilities that allow us to numerically solve an otherwise intractable system of equations.


title: The algorithm of formation of a training set for an artificial neural network for image segmentation

abstract: This article suggests an algorithm of formation a training set for artificial neural network in case of image segmentation. The distinctive feature of this algorithm is that it using only one image for segmentation. The segmentation performs using three-layer perceptron. The main method of the segmentation is a method of region growing. Neural network is using for get a decision to include pixel into an area or not. Impulse noise is using for generation of a training set. Pixels damaged by noise are not related to the same region. Suggested method has been tested with help of computer experiment in automatic and interactive modes.


title: EgoReID Dataset: Person Re-identification in Videos Acquired by Mobile Devices with First-Person Point-of-View

abstract: In recent years, we have seen the performance of video-based person Re-Identification (ReID) methods have improved considerably. However, most of the work in this area has dealt with videos acquired by fixed cameras with wider field of view. Recently, widespread use of wearable cameras and recording devices such as cellphones have opened the door to interesting research in first-person Point-of-view (POV) videos (egocentric videos). Nonetheless, analysis of such videos is challenging due to factors such as poor video quality due to ego-motion, blurriness, severe changes in lighting conditions and perspective distortions. To facilitate the research towards conquering these challenges, this paper contributes a new dataset called EgoReID. The dataset is captured using 3 mobile cellphones with non-overlapping field-of-view. It contains 900 IDs and around 10,200 tracks with a total of 176,000 detections. The dataset also contains 12-sensor meta data e.g. camera orientation pitch and rotation for each video. In addition, we propose a new framework which takes advantage of both visual and sensor meta data to successfully perform Person ReID. We extend image-based re-ID method employing human body parsing trained on ten datasets to video-based re-ID. In our method, first frame level local features are extracted for each semantic region, then 3D convolutions are applied to encode the temporal information in each sequence of semantic regions. Additionally, we employ sensor meta data to predict targets' next camera and their estimated time of arrival, which considerably improves our ReID performance as it significantly reduces our search space.


title: Channel Modeling for Over-water Communications

abstract: Over-water communication has been an important research field of wireless communications and radar. Since there are so many parameters in this environment that are changing continuously in the spatial and temporal domains such as weather and sea surface parameters. Hence, accurately modeling the over-water propagation channel is very crucial and challenging at the same time. In this report, we will shed some light on the parabolic equation (PE) method which is one of the main methods used to model the radio waves propagation over variable terrain and through the homogeneous and inhomogeneous atmosphere. Besides ray-tracing, PE is among the most widely used approaches nowadays for deterministically analyze over-water channels. We are trying to pave the way for better understanding of the mathematical background for the PE and develop a tool to perform advanced analysis for the over-water communication channel taking into consideration its spatial and temporal behavior.


title: The power of being explicit: demystifying work, heat, and free energy in the physics of computation

abstract: Interest in the thermodynamics of computation has revived in recent years, driven by developments in science, economics and technology. Given the consequences of the growing demand for computational power, the idea of reducing the energy cost of computations has gained new importance. Simultaneously, many biological networks are now interpreted as information-processing or computational systems constrained by their underlying thermodynamics. Indeed, some suggest that low-cost, high-density biological systems may help to mitigate the rising demand for computational power and the "end" of Moore's law of exponential growth in the density of transistors. In this chapter we address widespread misconceptions about thermodynamics and the thermodynamics of computation. In particular, we will argue against the general perception that a measurement or copy operation can be performed at no cost, against the emphasis placed on the significance of erasure operations, and against the careless discussion of heat and work. While not universal, these misconceptions are sufficiently prevalent (particularly within interdisciplinary contexts) to warrant a detailed discussion. In the process, we will argue that explicitly representing fundamental processes is a useful tool, serving to demystify key concepts. We first give a brief overview of thermodynamics, then the history of the thermodynamics of computation - particularly in terms of copy and measurement operations inherent to classic thought experiments. Subsequently, we analyse these ideas via an explicit biochemical representation of the entire cycle of Szilard's engine. In doing so we show that molecular computation is both a promising engineering paradigm, and a valuable tool in providing fundamental understanding.


title: Electron-Tunneling-Assisted Non-Abelian Braiding of Rotating Majorana Bound States

abstract: It has been argued that fluctuations of fermion parity are harmful for the demonstration of non-Abelian anyonic statistics. Here, we demonstrate a striking exception in which such fluctuations are actively used. We present a theory of coherent electron transport from a tunneling tip into a Corbino geometry Josephson junction where four Majorana bound states (MBSs) rotate. While the MBSs rotate, electron tunneling happens from the tip to one of the MBSs thereby changing the fermion parity of the MBSs. The tunneling events in combination with the rotation allow us to identify a novel braiding operator that does not commute with the braiding cycles in the absence of tunneling, revealing the non-Abelian nature of MBSs. The time-averaged tunneling current exhibits resonances as a function of the tip voltage with a period that is a direct consequence of the interference between the non-commuting braiding operations. Our work opens up a possibility for utilizing parity non-conserving processes to control non-Abelian states.


title: The homotopy Leray spectral sequence

abstract: In this work, we build a spectral sequence in motivic homotopy that is analogous to both the Serre spectral sequence in algebraic topology and the Leray spectral sequence in algebraic geometry. Here, we focus on laying the foundations necessary to build the spectral sequence and give a convenient description of its $E_2$-page. Our description of the $E_2$-page is in terms of homology of the local system of fibers, which is given using a theory similar to Rost's cycle modules. We close by providing some sample applications of the spectral sequence and some hints at future work.


title: Fast logarithmic Fourier-Laplace transform of nonintegrable functions

abstract: We present an efficient and very flexible numerical fast Fourier-Laplace transform, that extends the logarithmic Fourier transform (LFT) introduced by Haines and Jones [Geophys. J. Int. 92(1):171 (1988)] for functions varying over many scales to nonintegrable functions. In particular, these include cases of the asymptotic form $f(\nu\to0)\sim\nu^a$ and $f(|\nu|\to\infty)\sim\nu^b$ with arbitrary real $a>b$. Furthermore, we prove that the numerical transform converges exponentially fast in the number of data points, provided that the function is analytic in a cone $|\Im{\nu}|<\theta|\Re{\nu}|$ with a finite opening angle $\theta$ around the real axis and satisfies $|f(\nu)f(1/\nu)|<\nu^c$ as $\nu\to 0$ with a positive constant $c$, which is the case for the class of functions with power-law tails. Based on these properties we derive ideal transformation parameters and discuss how the logarithmic Fourier transform can be applied to convolutions. The ability of the logarithmic Fourier transform to perform these operations on multiscale (non-integrable) functions with power-law tails with exponentially small errors makes it the method of choice for many physical applications, which we demonstrate on typical examples. These include benchmarks against known analytical results inaccessible to other numerical methods, as well as physical models near criticality.


title: On the compressibility of tensors

abstract: Tensors are often compressed by expressing them in low rank tensor formats. In this paper, we develop three methodologies that bound the compressibility of a tensor: (1) Algebraic structure, (2) Smoothness, and (3) Displacement structure. For each methodology, we derive bounds on storage costs that partially explain the abundance of compressible tensors in applied mathematics. For example, we show that the solution tensor $\mathcal{X} \in \mathbb{C}^{n \times n \times n}$ of a discretized Poisson equation $-\nabla^2 u =1$ on $[-1,1]^3$ with zero Dirichlet conditions can be approximated to a relative accuracy of $0<\epsilon<1$ in the Frobenius norm by a tensor in tensor-train format with $\mathcal{O}(n (\log n)^2 (\log(1/\epsilon))^2)$ degrees of freedom. As this bound is constructive, we are also able to solve this equation spectrally with $\mathcal{O}(n (\log n)^3 (\log(1/\epsilon))^3)$ complexity.


title: Supersymmetric elements in divided powers algebras

abstract: Description of adjoint invariants of general Linear Lie superalgebras $\mathfrak{gl}(m|n)$ by Kantor and Trishin is given in terms of supersymmetric polynomials. Later, generators of invariants of the adjoint action of the general linear supergroup $GL(m|n)$ and generators of supersymmetric polynomials were determined over fields of positive characteristic. In this paper, we introduce the concept of supersymmetric elements in the divided powers algebra $Div[x_1, \ldots, x_m,y_1, \ldots, y_n]$, and give a characterization of supersymmetric elements via a system of linear equations. Then we determine generators of supersymmetric elements for divided powers algebras in the cases when $n=0$, $n=1$, and $m\leq 2, n=2$.


title: Coupling of Real-Time and Co-Simulation for the Evaluation of the Large Scale Integration of Electric Vehicles into Intelligent Power Systems

abstract: This paper addresses the validation of electric vehicle supply equipment by means of a real-time capable co-simulation approach. This setup implies both pure software and real-time simulation tasks with different sampling rates dependent on the type of the performed experiment. In contrast, controller and power hardware-in-the-loop simulations are methodologies which ask for real-time execution of simulation models with well-defined simulation sampling rates. Software and real-time methods are connected one to each other using an embedded software interface. It is able to process signals with different time step sizes and is called "LabLink". Its design implies both common and specific input and output layers (middle layer), as well as a data bus (core). The LabLink enables the application of the co-simulation methodology on the proposed experimental platform targeting the testing of electric vehicle supply equipment. The test setup architecture and representative examples for the implemented co-simulation are presented in this paper. As such, a validation of the usability of this testing platform can be highlighted aiming to support a higher penetration of electric vehicles.


title: On the Reversible Geodesics for a Finsler space with Randers change of Quartic metric

abstract: In this paper, we consider a Finsler space with a Randers change of Quartic metric F = $\sqrt[4]{\alpha^4 + \beta^4} + \beta$. The conditions for this space to be with reversible geodesics are obtained. Further, we study some geometrical properties of F with reversible geodesics and prove that the Finsler metric F induces a generalized weighted quasi-distance $d_F$ on M.


title: Properties of Kepler Stars with the Most Powerful Flares

abstract: We analyze physical characteristics of late-type stars wherein the Kepler mission registered superflares. We use the revised stellar fundamental parameters, i.e. effective temperatures Teff and surface gravitational accelerations log g, from the Kepler archive published in 2017, as compared to previous studies by Balona (2015) based on the release of 2011. Among superflare stars there are both single objects and members of eclipsing binaries. We select the late-type stars (with Teff $< 6500$ K) wherein occured the most powerful flares with the total flare energy $> 10^{35}$ erg and consider their locations in the (Teff - log g) diagram. Both components of binaries and single stars appear to reside mostly in between the main sequence and the subgiant branches and therefore have larger radii compared to that of the Sun. Besides, as a rule these single stars are fast rotators and can be considered as young objects that it is difficult to attribute to "solar-type stars". Extremely high flare energy of these stars requires quite strong magnetic fields that cannot be generated even due to scaling of the solar dynamo. Apparently, for explanation of the strongest non-stationary phenomena on stars considered, it would be worthwhile to attract another regime of the dynamo mechanism that can be realized in these objects.


title: Multicomponent kinematics in a massive filamentary IRDC

abstract: To probe the initial conditions for high-mass star and cluster formation, we investigate the properties of dense filaments within the infrared dark cloud G035.39-00.33 (IRDC G035.39) in a combined Very Large Array (VLA) and the Green Bank Telescope (GBT) mosaic tracing the NH3 (1,1) and (2,2) emission down to 0.08 pc scales. Using agglomerative hierarchical clustering on multiple line-of-sight velocity component fitting results, we identify seven extended velocity-coherent components in our data, likely representing spatially coherent physical structures, some exhibiting complex gas motions. The velocity gradient magnitude distribution peaks at its mode of 0.35 km/s/pc and has a long tail extending into higher values of 1.5 - 2 km/s/pc, and is generally consistent with those found toward the same cloud in other molecular tracers and with the values found towards nearby low-mass dense cloud cores at the same scales. Contrary to observational and theoretical expectations, we find the non-thermal ammonia line widths to be systematically narrower (by about 20%) than those of N2H+ (1-0) line transition observed with similar resolution. If the observed ordered velocity gradients represent the core envelope solid-body rotation, we estimate the specific angular momentum to be about 2 x 10^21 cm^2/s, similar to the low-mass star-forming cores. Together with the previous finding of subsonic motions in G035.39, our results demonstrate high levels of similarity between kinematics of a high-mass star-forming IRDC and the low-mass star formation regime.


title: Online learning with stability guarantees: A memory-based real-time model predictive controller

abstract: We propose and analyze a real-time model predictive control (MPC) scheme that utilizes stored data to improve its performance by learning the value function online with stability guarantees. For linear and nonlinear systems, a learning method is presented that makes use of basic analytic properties of the cost function and is proven to learn the MPC control law and the value function on the limit set of the closed-loop state trajectory. The main idea is to generate a smart warm start based on historical data that improves future data points and thus future warm starts. We show that these warm starts are asymptotically exact and converge to the solution of the MPC optimization problem. Thereby, the suboptimality of the applied control input resulting from the real-time requirements vanishes over time. Simulative examples show that existing real-time MPC schemes can be improved by storing data and the proposed learning scheme.


title: Uncovering Urban Mobility and City Dynamics from Large-Scale Taxi Origin-Destination (O-D) Trips: Case Study in Washington DC Area

abstract: We perform a systematic analysis on the large-scale taxi trip data to uncover urban mobility and city dynamics in multimodal urban transportation environments. As a case study, we use the taxi origin-destination trip data and some additional data sources in Washington DC area. We first study basic characteristics of taxi trips, then focus on five important aspects. Three of them concern urban mobility, which are respectively mobility and cost including effect of traffic congestion, trip safety, and multimodal connectivity; the other two pertain to city dynamics, which are respectively transportation resilience and the relation between trip patterns and land use. For these aspects, we use appropriate statistical methods and geographic techniques to mine patterns and characteristics from taxi trip data for better understanding qualitative and quantitative impacts of the inputs from key stakeholders on available measures of effectiveness on urban mobility and city dynamics, where key stakeholders include road users, system operators, and city. Finally, we briefly summarize our findings and discuss some critical roles and implications of the uncovered patterns and characteristics from the relation between taxi system and key stakeholders. The results can support road users by providing evidence-based information of trip cost, mobility, safety, multimodal connectivity and transportation resilience, can assist taxi drivers and operators to deliver transportation services in a higher quality of mobility, safety and operational efficiency, and can also help city planners and policy makers to transform multimodal transportation and to manage urban resources in a more effective and better way.


title: Meta Architecture Search

abstract: Neural Architecture Search (NAS) has been quite successful in constructing state-of-the-art models on a variety of tasks. Unfortunately, the computational cost can make it difficult to scale. In this paper, we make the first attempt to study Meta Architecture Search which aims at learning a task-agnostic representation that can be used to speed up the process of architecture search on a large number of tasks. We propose the Bayesian Meta Architecture SEarch (BASE) framework which takes advantage of a Bayesian formulation of the architecture search problem to learn over an entire set of tasks simultaneously. We show that on Imagenet classification, we can find a model that achieves 25.7% top-1 error and 8.1% top-5 error by adapting the architecture in less than an hour from an 8 GPU days pretrained meta-network. By learning a good prior for NAS, our method dramatically decreases the required computation cost while achieving comparable performance to current state-of-the-art methods - even finding competitive models for unseen datasets with very quick adaptation. We believe our framework will open up new possibilities for efficient and massively scalable architecture search research across multiple tasks.


title: Results and Prospects from NOvA

abstract: NOvA is a long-baseline neutrino experiment that uses an upgraded NuMI neutrino source at Fermilab and a 14-kton detector at Ash River, Minnesota. The detector has a highly active, finely segmented design that offers superb event identification capability. This talk presents the latest $\nu_\mu$ ($\bar{\nu}_\mu$) disappearance and $\nu_e$ ($\bar{\nu}_e$) appearance combined results using the first NOvA anti-neutrino beam data. In the far detector, 18 $\bar{\nu}_e$ candidate events are observed, with a significance of $\bar{\nu}_e$ appearance more than 4 $\sigma$. The NOvA results favor a normal neutrino mass hierarchy.


title: Doubling Theorem and Boundary States of Five-Dimensional Weyl Semimetal

abstract: We study the generic band structures of the five-dimensional (5D) Weyl semimetal, in which the band degeneracies are 2D Weyl surfaces in the momentum space, and may have non-trivial linkings with each other if they carry nonzero second Chern numbers. We prove a number of theorems constraining the topological linking configurations of the Weyl surfaces, which can be viewed as a 5D generalization of the celebrated Doubling Theorem for 3D Weyl semimetal. As a direct physical consequence of these constraints, the 5D Weyl semimetal hosts a rich structure of topological boundary states. We show that on the 4D boundary of the 5D Weyl semimetal, there are 3D chiral Fermi hypersurfaces protected by bulk Weyl surfaces. On top of that, for bulk Weyl surfaces that are linked and carry nonzero second Chern numbers, the associated boundary 3D Fermi hypersurfaces will shrink to singularities at certain energies, which trace out a protected 1D Weyl nodal arc, in analogy to the Fermi arc on the 3D Weyl semimetal surface.


title: Inference and Sampling of $K_{33}$-free Ising Models

abstract: We call an Ising model tractable when it is possible to compute its partition function value (statistical inference) in polynomial time. The tractability also implies an ability to sample configurations of this model in polynomial time. The notion of tractability extends the basic case of planar zero-field Ising models. Our starting point is to describe algorithms for the basic case computing partition function and sampling efficiently. To derive the algorithms, we use an equivalent linear transition to perfect matching counting and sampling on an expanded dual graph. Then, we extend our tractable inference and sampling algorithms to models, whose triconnected components are either planar or graphs of $O(1)$ size. In particular, it results in a polynomial-time inference and sampling algorithms for $K_{33}$ (minor) free topologies of zero-field Ising models - a generalization of planar graphs with a potentially unbounded genus.

categories: stat.CO cond-mat.stat-mech cs.LG stat.ML


title: Cubulating one-relator products with torsion

abstract: We generalize results of Lauer and Wise to show that a one-relator product of locally indicable groups whose defining relator has exponent at least 4 admits a proper and cocompact action on a CAT(0) cube complex if the factors do.


title: New strong maximum and comparison principles for fully nonlinear degenerate elliptic PDEs

abstract: We introduce a notion of subunit vector field for fully nonlinear degenerate elliptic equations. We prove that an interior maximum of a viscosity subsolution of such an equation propagates along the trajectories of subunit vector fields. This implies strong maximum and minimum principles when the operator has a family of subunit vector fields satisfying the H\"ormander condition. In particular these results hold for a large class of nonlinear subelliptic PDEs in Carnot groups. We prove also a strong comparison principle for degenerate elliptic equations that can be written in Hamilton-Jacobi-Bellman form, such as those involving the Pucci's extremal operators over H\"ormander vector fields.


title: Bayesian Propagation of Record Linkage Uncertainty into Population Size Estimation of Human Rights Violations

abstract: Multiple-systems or capture-recapture estimation are common techniques for population size estimation, particularly in the quantitative study of human rights violations. These methods rely on multiple samples from the population, along with the information of which individuals appear in which samples. The goal of record linkage techniques is to identify unique individuals across samples based on the information collected on them. Linkage decisions are subject to uncertainty when such information contains errors and missingness, and when different individuals have very similar characteristics. Uncertainty in the linkage should be propagated into the stage of population size estimation. We propose an approach called linkage-averaging to propagate linkage uncertainty, as quantified by some Bayesian record linkage methodologies, into a subsequent stage of population size estimation. Linkage-averaging is a two-stage approach in which the results from the record linkage stage are fed into the population size estimation stage. We show that under some conditions the results of this approach correspond to those of a proper Bayesian joint model for both record linkage and population size estimation. The two-stage nature of linkage-averaging allows us to combine different record linkage models with different capture-recapture models, which facilitates model exploration. We present a case study from the Salvadoran civil war, where we are interested in estimating the total number of civilian killings using lists of witnesses' reports collected by different organizations. These lists contain duplicates, typographical and spelling errors, missingness, and other inaccuracies that lead to uncertainty in the linkage. We show how linkage-averaging can be used for transferring the uncertainty in the linkage of these lists into different models for population size estimation.


title: Fingerprint oxygen redox reactions in batteries through high-efficiency mapping of resonant inelastic X-ray scattering (mRIXS)

abstract: Realizing reversible reduction-oxidation (Redox) reactions of lattice oxygen in batteries is a promising way to improve the energy and power density. However, conventional oxygen absorption spectroscopy fails to distinguish the critical oxygen chemistry in oxide-based battery electrodes. Therefore, high-efficiency full-range mapping of resonant inelastic X-ray scattering (mRIXS) has been developed as a reliable probe of oxygen redox reactions. Here, based on mRIXS results collected from a series of Li1.17Ni0.21Co0.08Mn0.54O2 electrodes at different electrochemical states and its comparison with peroxides, we provide a comprehensive analysis of five components observed in the mRIXS results. While almost all the components change upon electrochemical cycling, comparison with peroxide species show that only two evolving features correspond to the critical oxidized oxygen states. One is a specific feature at 531.0eV excitation and 523.7eV emission energy, the other is a low-energy loss feature. We show that both features evolve with electrochemical cycling of Li1.17Ni0.21Co0.08Mn0.54O2 electrodes, and could be used for characterizing oxygen redox states in battery electrodes. This work is the first benchmark for a complete assignment of all the important mRIXS features collected from battery materials, which provides guidelines for future studies in characterization, analysis and theoretical calculation for probing and understanding oxygen redox reactions.


title: Multicarrier Chirp-Division Multiplexing for Wireless Communications

abstract: We propose a multicarrier chirp-division multiplexing (MCDM) system in which orthogonal chirp waveforms are utilized as frequency subcarriers. Orthogonal characteristics of chirp subcarriers are analyzed in respect to cross-correlation coefficients among subcarriers. Moreover, orthogonal chirp transform (OCT) is developed to implement MCDM systems. In addition, we design a low complexity receiver, including packet synchronization, carrier frequency offset compensation, channel estimation, and symbol detection. Proposed MCDM systems have both advantages of chirp waveforms and multicarrier architectures. Computational complexity of our proposed detector is discussed in detail. The bit-error-rate (BER) performance of the MCDM system is evaluated in simulations and indoor radio frequency (RF) experiments. We have demonstrated effectiveness of MCDM systems both in simulation and experimental results, comparing to orthogonal frequency division multiplexing (OFDM) systems. Moreover, MCDM can be further applied to higher order modulations for enabling higher data rates for RF wireless communications.


title: Hybrid Hughes-Hartogs Power Allocation Algorithms for OFDMA Systems

abstract: This work analyzes the discrete solution of Hughes-Hartogs (HH) for the transmission rate maximization problem with power constraint in the OFDMA systems and explores mechanisms to reduce the computational complexity of greedy algorithms. In addition to the solution characterization, a computational complexity analysis is developed, considering the number of executed operations for running time purpose. Moreover, we have compared the system capacity via the throughput obtained with the HH solution, and its variants combined with three complexity reduction mechanisms. These tools consist of an initial allocation bit vector calculated by rounding the results of the water-filling (WF) solution, the multiple subchannels per iteration updating, and the adoption of a subchannel grouping procedure. Our findings indicate that the update of multiple subchannels and the subcarriers grouping techniques reduce the number of iterations required for convergence of the original HH, with some throughput degradation. Also, the bit-allocation mechanism based on the WF is deployed as an alternative to overcome the HH solution, increasing the computational complexity.


title: Sum-free Sets of Integers with a Forbidden Sum

abstract: A set of integers is sum-free if it contains no solution to the equation $x+y=z$. We study sum-free subsets of the set of integers $[n]=\{1,\ldots,n\}$ for which the integer $2n+1$ cannot be represented as a sum of their elements. We prove a bound of $O(2^{n/3})$ on the number of these sets, which matches, up to a multiplicative constant, the lower bound obtained by considering all subsets of $B_n = \{ \lceil \frac{2}{3}(n+1) \rceil, \ldots, n \}$. A main ingredient in the proof is a stability theorem saying that if a subset of $[n]$ of size close to $|B_n|$ contains only a few subsets that contradict the sum-freeness or the forbidden sum, then it is almost contained in $B_n$. Our results are motivated by the question of counting symmetric complete sum-free subsets of cyclic groups of prime order. The proofs involve Freiman's $3k-4$ theorem, Green's arithmetic removal lemma, and structural results on independent sets in hypergraphs.


title: Kinect Sensor Based Gesture Recognition for Surveillance Application

abstract: Hand gesture recognition has been granted as one of the emerging fields in research today providing a natural way of communication between man and a machine. Gestures are some forms of body motions which a person expresses when doing a work or giving a reply. Human body tracking is a well studied topic in todays era of Human Computer Interaction and it can be formed by the virtue of human skeleton structures. These skeleton structures have been detected successfully due to the smart progress of some devices, used to measure depth. Human body movements have been viewed using these depth sensors which can provide sufficient accuracy while tracking full body in real time mode with low cost. In reality action and reaction activities are hardly periodic in a multi person perspective situation. Also recognizing their complex a-periodic gestures are highly challenging for detection in surveillance system.


title: Spin dynamics of $3d$ and $4d$ impurities embedded in prototypical topological insulators

abstract: Topological insulators are insulating bulk materials hosting conducting surface states. Their magnetic doping breaks time-reversal symmetry and generates numerous interesting effects such as dissipationless transport. Nonetheless, their dynamical properties are still poorly understood. Here, we perform a systematic investigation of transverse spin excitations of $3d$ and $4d$ single impurities embedded in two prototypical topological insulators (Bi$_2$Te$_3$ and Bi$_2$Se$_3$). The impurity-induced states within the bulk gap of the topological insulators are found to have a drastic impact on the spin excitation spectra, resulting in very high lifetimes reaching up to ${microseconds}$. An intuitive picture of the spin dynamics is obtained by mapping onto a generalized Landau-Lifshitz-Gilbert phenomenological model. The first quantity extracted from this mapping procedure is the magnetic anisotropy energy, which is then compared to the one provided by the magnetic force theorem. This uncovers some difficulties encountered with the latter, which can provide erroneous results for impurities with a high density of states at the Fermi energy. Moreover, the Gilbert damping and nutation tensors are obtained. The nutation effects can lead to a non-negligible shift in the spin excitation resonance in the high-frequency regime. Finally, we study the impact of the surface state on the spin dynamics, which may be severely altered due to the repositioning of the impurity-induced state in comparison to the bulk case. Our systematic investigation of this series of magnetic impurities sheds light on their spin dynamics within topological insulators, with implications for available and future experimental studies as, for instance, on the viability of using such impurities for solid-state qubits.


title: Analyzing standardization needs for CHIL-based testing of power systems and components

abstract: Real-time simulation methods for investigations on electric networks and integration of grid connected generation units are increasingly in the focus of ongoing research areas. While laboratory testing methods are the predominant method for the verification of safety and quality related features of grid-connected generation units in the past, load flow modeling verification methods have been integrated in state-of-the-art standardization frameworks recently. The next step is comprised in real-time simulation methodologies applied for compliance testing of entire power electronic systems integrated in power distribution networks. The Controller Hardware-in-the-Loop (CHIL) approach is an appropriate methodology that combines numerical simulations with software modeling approaches and classical hardware testing in labs. Control boards represent the hardware device directly connected to the power electronic periphery, which is entirely simulated in a real-time simulation environment. Hereby, input signals from voltage and current measurements and output signals for power system control are exchanged in real-time. Thanks to this setup the testing of the true behavior of entire generation units within the electric network can be emulated precisely. With the application of CHIL a shorter time to market and a lower risk in the development phase can be achieved. However, an analysis from realized CHIL experiments shows the need for more harmonized procedures. This paper addresses this topic and provides an outlook about necessary future CHIL standardization needs.


title: Hardware-in-the-Loop Co-Simulation Based Validation of Power System Control Applications

abstract: Renewables are key enablers for the realization of a sustainable energy supply but grid operators and energy utilities have to mange their intermittent behavior and limited storage capabilities by ensuring the security of supply and power quality. Advanced control approaches, automation concepts, and communication technologies have the potential to address these challenges by providing new intelligent solutions and products. However, the validation of certain aspects of such smart grid systems, especially advanced control and automation concepts is still a challenge. The main aim of this work therefore is to introduce a hardware-in-the-loop co-simulation-based validation framework which allows the simulation of large-scale power networks and control solutions together with real-world components. The application of this concept to a selected voltage control example shows its applicability.


title: A simple local expression for the prefactor in transition state theory

abstract: We present a simple and accurate computational technique to determine the frequency prefactor in harmonic transition state theory without necessitating full phonon density of states (DOS) calculations. The atoms in the system are partitioned into an "active region", where the kinetic process takes place, and an "environment" surrounding the active region. It is shown that the prefactor can be obtained by a partial phonon DOS calculation of the active region with a simple correction term accounting for the environment, under reasonable assumptions regarding atomic interactions. Convergence with respect to the size of the active region is investigated for different systems, as well as the reduction in computational costs when compared to full phonon DOS calculation. Additionally, we provide an open source implementation of the algorithm that can be added as an extension to LAMMPS software.


title: The effect of the interphase kinetics on the motion of a quantum crystal in superfluid liquid

abstract: The fall of a quantum crystal in the state of "burst-like growth" in a superfluid liquid is considered. The experimental data of the pressure variation in the container during the fall of a crystal are discussed. The model of the motion of the crystal is suggested taking the interface dynamics into account. The results for the numerical simulation of the fall of a crystal are consistent with the experimental data. We find a significant effect of the liquid-crystal interface kinetics on the hydrodynamics of the liquid flow encircling a crystal.


title: Doing Math in Jest: Reflections on Useless Math, the Unreasonable Effectiveness of Mathematics, and the Ethical Obligations of Mathematicians

abstract: Mathematicians occasionally discover interesting truths even when they are playing with mathematical ideas with no thoughts about possible consequences of their actions. This paper describes two specific instances of this phenomenon. The discussion touches upon the theme of the unreasonable effectiveness of mathematics as well as the ethical obligations of mathematicians.


title: Polluted White Dwarfs: Mixing Regions and Diffusion Timescales

abstract: Many isolated white dwarfs (WDs) show spectral evidence of atmospheric metal pollution. Since heavy element sedimentation timescales are short, this most likely indicates ongoing accretion. Accreted metals encounter a variety of mixing processes at the WD surface: convection, gravitational sedimentation, overshoot, and thermohaline instability. We present MESA WD models that explore each of these processes and their implications for inferred accretion rates. We provide diffusion timescales for many individual metals, and we quantify the regimes in which thermohaline mixing dominates over gravitational sedimentation in setting the effective settling rate of the heavy elements. We build upon and confirm earlier work finding that accretion rates as high as $10^{13} \, \rm g \, s^{-1}$ are needed to explain observed pollution in DA WDs for $T_{\rm eff} > 15,000 \, \rm K$, and we provide tabulated results from our models that enable accretion rate inferences from observations of polluted DA WDs. If these rates are representative of young WDs, we estimate that the total mass of planetesimal material accreted over a WD lifetime may be as high as $10^{28} \, \rm g$, though this estimate is susceptible to potential selection biases and uncertainties about the nature of disk processes that supply accretion to the WD surface. We also find that polluted DB WDs experience much less thermohaline mixing than DA WDs, and we do not expect thermohaline instability to be active for polluted DB WDs with $T_{\rm eff} < 18,000 \, \rm K$.


title: Search-Guided, Lightly-supervised Training of Structured Prediction Energy Networks

abstract: In structured output prediction tasks, labeling ground-truth training output is often expensive. However, for many tasks, even when the true output is unknown, we can evaluate predictions using a scalar reward function, which may be easily assembled from human knowledge or non-differentiable pipelines. But searching through the entire output space to find the best output with respect to this reward function is typically intractable. In this paper, we instead use efficient truncated randomized search in this reward function to train structured prediction energy networks (SPENs), which provide efficient test-time inference using gradient-based search on a smooth, learned representation of the score landscape, and have previously yielded state-of-the-art results in structured prediction. In particular, this truncated randomized search in the reward function yields previously unknown local improvements, providing effective supervision to SPENs, avoiding their traditional need for labeled training data.


title: Deterministic creation of entangled atom-light Schr\"odinger-cat states

abstract: Quantum physics allows for entanglement between microscopic and macroscopic objects, described by discrete and continuous variables, respectively. As in Schr\"odinger's famous cat gedanken experiment, a box enclosing the objects can keep the entanglement alive. For applications in quantum information processing, however, it is essential to access the objects and manipulate them with suitable quantum tools. Here we reach this goal and deterministically generate entangled light-matter states by reflecting a coherent light pulse with up to four photons on average from an optical cavity containing one atom. The quantum light propagates freely and reaches a remote receiver for quantum state tomography. We produce a plethora of quantum states and observe negative-valued Wigner functions, a characteristic sign of non-classicality. As a first application, we demonstrate a quantum-logic gate between an atom and a light pulse, with the photonic qubit encoded in the phase of the light field.


title: Detailed X-Ray Mapping of the Shocked Ejecta and Circumstellar Medium in the Galactic Core-Collapse Supernova Remnant G292.0+1.8

abstract: G292.0+1.8 (G292) is a young ($\sim$3000 yr), Galactic textbook-type core-collapse supernova remnant (CCSNR). It is characterized by X-ray, optical and infrared emission from ejecta and circumstellar medium (CSM) features, and contains a pulsar (PSR J1124-5916) and pulsar wind nebula that have been observed in X-rays and radio. Previous studies have revealed a complex, dynamically evolving, oxygen-rich remnant, a striking relic from the explosion of a massive star. Here, using our deep (530 ks) $\textit{Chandra}$ ACIS data, we present high spatial-resolution maps (based on a regional grid size of a few arcsec) of the shocked CSM and metal-rich ejecta in G292. We make the first $\textit{Chandra}$-detection of Fe-rich ejecta in G292. We identify the X-ray counterpart of the northern equatorial belt, a component of a ring-like CSM structure identified earlier in the infrared band. We show the detailed spatial distributions of ejecta enriched in O, Ne, Mg, Si, S and Fe. We find that the bulk of the Si, S and Fe-rich X-ray-emitting ejecta are located in the northwestern hemisphere of the remnant, opposite to the pulsar's projected angular displacement to the southeast from the SNR's center. This suggests that the pulsar's kick may have originated from gravitational and hydrodynamic forces during an asymmetric explosion, rather than from anisotropic neutrino emission. Based on abundance ratios and our estimated CSM and ejecta masses, we constrain the progenitor mass to 13 M$_{\odot}$ $\lesssim$ M $\lesssim$ 30 M$_{\odot}$


title: Strong representation equivalence for compact symmetric spaces of real rank one

abstract: Let $G/K$ be a simply connected compact irreducible symmetric space of real rank one. For each $K$-type $\tau$ we compare the notions of $\tau$-representation equivalence with $\tau$-isospectrality. We exhibit infinitely many $K$-types $\tau$ so that, for arbitrary discrete subgroups $\Gamma$ and $\Gamma'$ of $G$, if the multiplicities of $\lambda$ in the spectra of the Laplace operators acting on sections of the induced $\tau$-vector bundles over $\Gamma\backslash G/K$ and $\Gamma'\backslash G/K$ agree for all but finitely many $\lambda$, then $\Gamma$ and $\Gamma'$ are $\tau$-representation equivalent in $G$ (i.e.\ $\dim \operatorname{Hom}_G(V_\pi, L^2(\Gamma\backslash G))=\dim \operatorname{Hom}_G(V_\pi, L^2(\Gamma'\backslash G))$ for all $\pi\in \widehat G$ satisfying $\operatorname{Hom}_K(V_\tau,V_\pi)\neq0$). In particular $\Gamma\backslash G/K$ and $\Gamma'\backslash G/K$ are $\tau$-isospectral (i.e.\ the multiplicities agree for all $\lambda$). We specially study the case of $p$-form representations, i.e. the irreducible subrepresentations $\tau$ of the representation $\tau_p$ of $K$ on the $p$-exterior power of the complexified cotangent bundle $\bigwedge^p T_{\mathbb C}^*M$. We show that for such $\tau$, in most cases $\tau$-isospectrality implies $\tau$-representation equivalence. We construct an explicit counter-example for $G/K= \operatorname{SO}(4n)/ \operatorname{SO}(4n-1)\simeq S^{4n-1}$.


title: Bayesian semiparametric modelling of phase-varying point processes

abstract: We propose a Bayesian semiparametric approach for registration of multiple point processes. Our approach entails modelling the mean measures of the phase-varying point processes with a Bernstein-Dirichlet prior, which induces a prior on the space of all warp functions. Theoretical results on the support of the induced priors are derived, and posterior consistency is obtained under mild conditions. Numerical experiments suggest a good performance of the proposed methods, and a climatology real-data example is used to showcase how the method can be employed in practice.


title: A conclusive theorem on Finsler metrics of sectional flag curvature

abstract: If the flag curvature of a Finsler manifold reduces to sectional curvature, then locally either the Finsler metric is Riemannian, or the flag curvature is isotropic.


title: Frustrated Magnetism from Local Moments in FeSe

abstract: We investigate properties of a spin-1 Heisenberg model with extended and biquadratic interactions, which captures crucial aspects of the low energy physics in FeSe. While we show that the model exhibits a rich phase diagram with four different magnetic ordering tendencies, we identify a parameter regime with strong competition between N\`eel, staggered dimer, and stripe-like magnetic fluctuations, accounting for the physical properties of FeSe. Through the comparison of numerically evaluated spin and Raman response with experiments, we find evidence for enhanced magnetic frustration between N\`eel and co-linear stripe ordering tendencies, which increases with increasing temperature. The explanation of these spectral behaviors with this frustrated spin model supports the idea of local spin interactions in FeSe.


title: A self-starting bi-chromatic LiNbO3 soliton microcomb

abstract: For its many useful properties, including second and third-order optical nonlinearity as well as electro-optic control, lithium niobate is considered an important potential microcomb material. Here, a soliton microcomb is demonstrated in a monolithic high-Q lithium niobate resonator. Besides the demonstration of soliton mode locking, the photorefractive effect enables mode locking to self-start and soliton switching to occur bi-directionally. Second-harmonic generation of the soliton spectrum is also observed, an essential step for comb self-referencing. The Raman shock time constant of lithium niobate is also determined by measurement of soliton self-frequency-shift. Besides the considerable technical simplification provided by a self-starting soliton system, these demonstrations, together with the electro-optic and piezoelectric properties of lithium niobate, open the door to a multi-functional microcomb providing f-2f generation and fast electrical control of optical frequency and repetition rate, all of which are critical in applications including time keeping, frequency synthesis/division, spectroscopy and signal generation.


title: Simple model of complex dynamics of activity patterns in developing networks of neuronal cultures

abstract: Living neuronal networks in dissociated neuronal cultures are widely known for their ability to generate highly robust spatiotemporal activity patterns in various experimental conditions. These include neuronal avalanches satisfying the power scaling law and thereby exemplifying self-organized criticality in living systems. A crucial question is how these patterns can be explained and modeled in a way that is biologically meaningful, mathematically tractable and yet broad enough to account for neuronal heterogeneity and complexity. Here we propose a simple model which may offer an answer to this question. Our derivations are based on just few phenomenological observations concerning input-output behavior of an isolated neuron. A distinctive feature of the model is that at the simplest level of description it comprises of only two variables, a network activity variable and an exogenous variable corresponding to energy needed to sustain the activity and modulate the efficacy of signal transmission. Strikingly, this simple model is already capable of explaining emergence of network spikes and bursts in developing neuronal cultures. The model behavior and predictions are supported by empirical observations and published experimental evidence on cultured neurons behavior exposed to oxygen and energy deprivation. At the larger, network scale, introduction of the energy-dependent regulatory mechanism enables the network to balance on the edge of the network percolation transition. Network activity in this state shows population bursts satisfying the scaling avalanche conditions. This network state is self-sustainable and represents a balance between global network-wide processes and spontaneous activity of individual elements.


title: Technical Note: A Novel Electromagnetic-Tracked Scintillation Dosimeter for Accurate In Vivo Dosimetry in HDR Brachytherapy

abstract: Since large dose are administrated to the patient in brachytherapy treatment, ensuring the right dose is delivered is highly critical. This study presents a first step in solving the standing issue of accurately knowing the dosimeter position at all time during in vivo dosimetry. In this work, an energy independent dosimeter, namely plastic scintillation detector, is coupled to an electromagnetic (EM) sensor having sub-mm positional accuracy for real-time tracking of the dosimeter position. However, adding an EM sensor adds materials in the path to the scintillator and thus could potentially perturb the dose measurements.To confirm the perturbation presence, 4 different sensors were placed in front of the scintillator so the radiation does not arrive to it directly. Variation of the distance between the sensor and the scintillator was used to quantify the effect on the signal at 0{\deg} and 90{\deg}.To test the dependence for each sensor, the signal measurement were taken from 0{\deg} to 90{\deg} with 10${\deg}$ increment. The 5PCBDOF sensor showed an increased signal of almost $20{\%}$ with increasing beam angle. Sensor 5DOF, 5DOFthin and 6DOFshowed no significant angle dependance.The 6DOF and 5DOFthin sensor's cable revealed no extra signal attenuation. The latter gives a smaller overall attenuation. Therefore, the 5DOFthin is chosen to be part of the novel dosimeter construction. It has a jitter error of $\pm$ 0.06 mm and a reproductibility of$ {\pm}$ 0.008 mm. In the optimal operating range, the average positional uncertainty is less than 0.2 mm. Average angle errors are at most of 1.1${\deg}$. It is feasible to integrate an EM tracking sensor to an energy independent plastic scintillation dosimeter with minimal impact to the collected signal as well as sufficient positional accuracy to keep dose uncertainty below 5${\%}$.


title: Black holes in 4d $\mathcal{N}=4$ Super-Yang-Mills

abstract: We resolve a long-standing question: does the four-dimensional $\mathcal{N}=4$ SU(N) Super-Yang-Mills theory on $S^3$ at large N contain enough states to account for the entropy of rotating electrically-charged BPS black holes in AdS$_5$? Our answer is positive. We reconsider the large N limit of the superconformal index, using the Bethe Ansatz formulation, and find an exponentially large contribution which exactly reproduces the Bekenstein-Hawking entropy of the black holes of Gutowski-Reall. Besides, the large N limit exhibits a complicated structure, with many competing exponential contributions and Stokes lines, hinting at new physics.


title: The Beta- flatness Condition in CR Spheres Multiplicity Results

abstract: We give multiplicity results for the problem of prescribing the scalar curvature on Cauchy- Riemann spheres under Beta-flatness condition. To give a lower bound for the number of solutions, we use Bahri methods based on the theory of critical points at infinity and a Poincare-Hopf type formula.


title: A high-energy density antiferroelectric made by interfacial electrostatic engineering

abstract: Dielectric capacitors hold a tremendous advantage for energy storage due to their fast charge/discharge times and stability in comparison to batteries and supercapacitors. A key limitation to today's dielectric capacitors, however, is the low storage capacity of conventional dielectric materials. To mitigate this issue, antiferroelectric materials have been proposed, but relatively few families of antiferroelectric materials have been identified to date. Here, we propose a new design strategy for the construction of lead-free antiferroelectric materials using interfacial electrostatic engineering. We begin with a ferroelectric material with one of the highest known bulk polarizations, BiFeO3. We show that by confining atomically-precise thin layers of BiFeO3 in a dielectric matrix that we can induce a metastable antiferroelectric structure. Application of an electric field reversibly switches between this new phase and a ferroelectric state, in addition, tuning of the dielectric layer causes coexistence of the ferroelectric and antiferroelectric states. Precise engineering of the structure generates an antiferroelectric phase with energy storage comparable to that of the best lead-based materials. The use of electrostatic confinement provides a new pathway for the design of engineered antiferroelectric materials with large and potentially coupled responses.


title: Residuated operators and Dedekind-MacNeille completion

abstract: The concept of operator residuation for bounded posets with unary operation was introduced by the first two authors. It turns out that in some cases when these operators are transformed into lattice terms and the poset ${\mathbf P}$ is completed into a Dedekind-MacNeille completion $\BDM(\mathbf P)$ then the complete lattice $\BDM(\mathbf P)$ becomes a residuated lattice with respect to these transformed terms. It is shown that this holds in particular for Boolean posets and for relatively pseudocomplemented posets. More complicated situation is with orthomodular and pseudo-orthomodular posets. We show which operators $M$ (multiplication) and $R$ (residuation) yield operator left-residuation in a pseudo-orthomodular poset ${\mathbf P}$ and if $\BDM(\mathbf P)$ is an orthomodular lattice then the transformed lattice terms $\odot$ and $\to$ form a left residuation in $\BDM(\mathbf P)$. However, it is a problem to determine when $\BDM(\mathbf P)$ is an orthomodular lattice. We get some classes of pseudo-orthomodular posets for which their Dedekind-MacNeille completion is an orthomodular lattice and we introduce the so called strongly $D$-continuous pseudo-orthomodular posets. Finally we prove that,for a pseudo-orthomodular poset ${\mathbf P}$, the Dedekind-MacNeille completion $\BDM(\mathbf P)$ is an orthomodular lattice if and only if ${\mathbf P}$ is strongly $D$-continuous.