title: A Transfer Learning Approach for Automated Segmentation of Prostate Whole Gland and Transition Zone in Diffusion Weighted MRI

abstract: The segmentation of prostate whole gland and transition zone in Diffusion Weighted MRI (DWI) are the first step in designing computer-aided detection algorithms for prostate cancer. However, variations in MRI acquisition parameters and scanner manufacturing result in different appearances of prostate tissue in the images. Convolutional neural networks (CNNs) which have shown to be successful in various medical image analysis tasks including segmentation are typically sensitive to the variations in imaging parameters. This sensitivity leads to poor segmentation performance of CNNs trained on a source cohort and tested on a target cohort from a different scanner and hence, it limits the applicability of CNNs for cross-cohort training and testing. Contouring prostate whole gland and transition zone in DWI images are time-consuming and expensive. Thus, it is important to enable CNNs pretrained on images of source domain, to segment images of target domain with minimum requirement for manual segmentation of images from the target domain. In this work, we propose a transfer learning method based on a modified U-net architecture and loss function, for segmentation of prostate whole gland and transition zone in DWIs using a CNN pretrained on a source dataset and tested on the target dataset. We explore the effect of the size of subset of target dataset used for fine-tuning the pre-trained CNN on the overall segmentation accuracy. Our results show that with a fine-tuning data as few as 30 patients from the target domain, the proposed transfer learning-based algorithm can reach dice score coefficient of 0.80 for both prostate whole gland and transition zone segmentation. Using a fine-tuning data of 115 patients from the target domain, dice score coefficient of 0.85 and 0.84 are achieved for segmentation of whole gland and transition zone, respectively, in the target domain.


title: Projective-umbilic points of circular real hypersurfaces in $\mathbb C^2$

abstract: We show that the boundary of any bounded strongly pseudoconvex complete circular domain in $\mathbb C^2$ must contain points that are exceptionally tangent to a projective image of the unit sphere.


title: Process Query Language: Design, Implementation, and Evaluation

abstract: Organizations can benefit from the use of practices, techniques, and tools from the area of business process management. Through the focus on processes, they create process models that require management, including support for versioning, refactoring and querying. Querying thus far has primarily focused on structural properties of models rather than on exploiting behavioral properties capturing aspects of model execution. While the latter is more challenging, it is also more effective, especially when models are used for auditing or process automation. The focus of this paper is to overcome the challenges associated with behavioral querying of process models in order to unlock its benefits. The first challenge concerns determining decidability of the building blocks of the query language, which are the possible behavioral relations between process tasks. The second challenge concerns achieving acceptable performance of query evaluation. The evaluation of a query may require expensive checks in all process models, of which there may be thousands. In light of these challenges, this paper proposes a special-purpose programming language, namely Process Query Language (PQL) for behavioral querying of process model collections. The language relies on a set of behavioral predicates between process tasks, whose usefulness has been empirically evaluated with a pool of process model stakeholders. This study resulted in a selection of the predicates to be implemented in PQL, whose decidability has also been formally proven. The computational performance of the language has been extensively evaluated through a set of experiments against two large process model collections.


title: Single-frequency mid-infrared chip laser with a sub-hertz Lorentzian linewidth

abstract: A guided-wave chip laser operating in a single longitudinal mode at 2860 nm is presented. The cavity was set in the Littman-Metcalf configuration to achieve single-frequency operation with a side-mode suppression ratio above 33 dB. The chip laser's linewidth was found to be limited by mechanical fluctuations, but its Lorentzian contribution was estimated to be lower than 1 Hz using a heterodyne technique. This demonstration incorporates a high coherence source with the simplicity provided by the compactness of chip lasers.


title: Forecasting Fertility with Parametric Mixture Models

abstract: This paper sets out a forecasting method that employs a mixture of parametric functions to capture the pattern of fertility with respect to age. The overall level of cohort fertility is decomposed over the range of fertile ages using a mixture of parametric density functions. The level of fertility and the parameters describing the shape of the fertility curve are projected foward using time series methods. The model is estimated within a Bayesian framework, allowing predictive distributions of future fertility rates to be produced that naturally incorporate both time series and parametric uncertainty. A number of choices are possible for the precise form of the functions used in the two-component mixtures. The performance of several model variants is tested on data from four countries; England and Wales, the USA, Sweden and France. The former two countries exhibit multi-modality in their fertility rate curves as a function of age, while the latter two are largely uni-modal. The models are estimated using Hamiltonian Monte Carlo and the `stan` software package on data covering the period up to 2006, with the period 2007-2016 held back for assessment purposes. Forecasting performance is found to be comparable to other models identified as producing accurate fertility forecasts in the literature.


title: Thermodynamics of a hierarchical mixture of cubes

abstract: We investigate a toy model for phase transitions in mixtures of incompressible droplets. The model consists of non-overlapping hypercubes in $\mathbb Z^d$ of sidelengths $2^j$, $j\in N_0$. Cubes belong to an admissible set $\mathbb B$ such that if two cubes overlap, then one is contained in the other. Cubes of sidelength $2^j$ have activity $z_j$ and density $\rho_j$. We prove explicit formulas for the pressure and entropy, prove a van-der-Waals type equation of state, and invert the density-activity relations. In addition we explore phase transitions for parameter-dependent activities $z_j(\mu) = \exp( 2^{dj} \mu - E_j)$. We prove a sufficient criterion for absence of phase transition, show that constant energies $E_j\equiv\lambda$ lead to a continuous phase transition, and prove a necessary and sufficient condition for the existence of a first-order phase transition.


title: Finite-density QCD transition in magnetic field background

abstract: Using numerical simulations of lattice QCD with physical quark masses, we reveal the influence of magnetic-field background on chiral and deconfinement crossovers in finite-temperature QCD at low baryonic density. In the absence of thermodynamic singularity, we identify these transitions with inflection points of the approximate order parameters: normalized light-quark condensate and renormalized Polyakov loop, respectively. We show that the quadratic curvature of the chiral transition temperature in the ``temperature--chemical potential'' plane depends rather weakly on the strength of the background magnetic field. At weak magnetic fields, the thermal width of the chiral crossover gets narrower as the density of the baryon matter increases, possibly indicating a proximity to a real thermodynamic phase transition. Remarkably, the curvature of the chiral thermal width flips its sign at $eB_{\mathrm{fl}} \simeq 0.6\,\mathrm{GeV}^2$, so that above the flipping point $B > B_{\mathrm{fl}}$, the chiral width gets wider as the baryon density increases. Approximately at the same strength of magnetic field, the chiral and deconfining crossovers merge together at $T \approx 140\,\mathrm{MeV}$. The phase diagram in the parameter space ``temperature-chemical potential-magnetic field'' is outlined, and single-quark entropy and single-quark magnetization are explored. The curvature of the chiral thermal width allows us to estimate an approximate position of the chiral critical endpoint at zero magnetic field: $(T_c^{\text{CEP}}, \mu_B^{\text{CEP}})= (100(25)\, \text{MeV},\ 800(140)\,\text{MeV})$.


title: An Efficient Sampling-based Method for Online Informative Path Planning in Unknown Environments

abstract: The ability to plan informative paths online is essential to robot autonomy. In particular, sampling-based approaches are often used as they are capable of using arbitrary information gain formulations. However, they are prone to local minima, resulting in sub-optimal trajectories, and sometimes do not reach global coverage. In this paper, we present a new RRT*-inspired online informative path planning algorithm. Our method continuously expands a single tree of candidate trajectories and rewires segments to maintain the tree and refine intermediate trajectories. This allows the algorithm to achieve global coverage and maximize the utility of a path in a global context, using a single objective function. We demonstrate the algorithm's capabilities in the applications of autonomous indoor exploration as well as accurate Truncated Signed Distance Field (TSDF)-based 3D reconstruction on-board a Micro Aerial vehicle (MAV). We study the impact of commonly used information gain and cost formulations in these scenarios and propose a novel TSDF-based 3D reconstruction gain and cost-utility formulation. Detailed evaluation in realistic simulation environments show that our approach outperforms state of the art methods in these tasks. Experiments on a real MAV demonstrate the ability of our method to robustly plan in real-time, exploring an indoor environment solely with on-board sensing and computation. We make our framework available for future research.


title: Magnetic field induced symmetry breaking in nonequilibrium quantum networks

abstract: We study the effect of an applied magnetic field on the nonequilibrium transport properties of a general cubic quantum network described by a tight-binding Hamiltonian with specially designed couplings to the leads that preserve open-system symmetries. We demonstrate that the symmetry of open systems can be manipulated by the direction of the magnetic field. Starting with all the symmetries preserved in absence of a field, the anisotropic and isotropic fields systematically break the symmetries, influencing all nonequilibrium properties. For simple cubic systems, we are able to identify the steady states that comprise of pure states, bath-dependent states (nonequilibrium steady states), and also nonphysical states. As an application, we show numerically for large cubic networks that the symmetry breaking can control nonequilibrium currents and that different environmental interactions can lead to novel features which can be engineered in artificial super-lattices and cold atoms.


title: Distinguishing phases using the dynamical response of driven-dissipative light-matter systems

abstract: We present a peculiar transition triggered by infinitesimal dissipation in the interpolating Dicke-Tavis-Cummings model. The model describes a ubiquitous light-matter setting using a collection of two-level systems interacting with quantum light trapped in an optical cavity. In a previous work [Phys. Rev. Lett. 120, 183603 (2018)], dissipation was shown to extend a normal phase (dark state) into new regions of the model's parameter space. Harnessing Keldysh's action formalism to compute the response function of the light, we show that the normal phase does not merely spread but encompasses a transition between the old and the dissipation-stabilized regimes of the normal phase. This transition, however, solely manifests in the dynamical fluctuations atop the empty cavity, through stabilization of an excited state of the closed system. Consequently, we reveal that the fluctuations flip from being particlelike to holelike across this transition. This inversion is also accompanied by the behavior of the Liouvillian eigenvalues akin to exceptional points. Our work forges the way to discovering transitions in a wide variety of driven-dissipative systems and is highly pertinent for current experiments.


title: Natural Language Processing via LDA Topic Model in Recommendation Systems

abstract: Today, Internet is one of the widest available media worldwide. Recommendation systems are increasingly being used in various applications such as movie recommendation, mobile recommendation, article recommendation and etc. Collaborative Filtering (CF) and Content-Based (CB) are Well-known techniques for building recommendation systems. Topic modeling based on LDA, is a powerful technique for semantic mining and perform topic extraction. In the past few years, many articles have been published based on LDA technique for building recommendation systems. In this paper, we present taxonomy of recommendation systems and applications based on LDA. In addition, we utilize LDA and Gibbs sampling algorithms to evaluate ISWC and WWW conference publications in computer science. Our study suggest that the recommendation systems based on LDA could be effective in building smart recommendation system in online communities.


title: Defending Against Physically Realizable Attacks on Image Classification

abstract: We study the problem of defending deep neural network approaches for image classification from physically realizable attacks. First, we demonstrate that the two most scalable and effective methods for learning robust models, adversarial training with PGD attacks and randomized smoothing, exhibit very limited effectiveness against three of the highest profile physical attacks. Next, we propose a new abstract adversarial model, rectangular occlusion attacks, in which an adversary places a small adversarially crafted rectangle in an image, and develop two approaches for efficiently computing the resulting adversarial examples. Finally, we demonstrate that adversarial training using our new attack yields image classification models that exhibit high robustness against the physically realizable attacks we study, offering the first effective generic defense against such attacks.


title: Signal processing approach to mesh refinement in simulations of axisymmetric droplet dynamics

abstract: We propose a novel mesh refinement scheme based on signal processing for boundary integral simulations of inviscid droplet dynamics with axial symmetry. A key idea is to directly access the Fourier coefficients of a principal curvature as a function of the arclength through a natural change of variables. The trapezoidal rule is applied to those Fourier-type integrals and the resulting formula fits in the framework of the non-uniform fast Fourier transform. This observation enables to efficiently use an envelope analysis and smoothing filter to generate guidelines for mesh refinement in two singularity formation scenarios. Applications also include a non-iterative construction of the uniform parametrization for an important class of plane curves, which is used in a convergence study of the time-stepping procedure implemented in the previous work by Nitsche and Steen [J. Comput. Phys. 200 (2004) 299].


title: Thermodynamics of a phase-driven proximity Josephson junction

abstract: We study the thermodynamic properties of a superconductor/normal metal/superconductor Josephson junction {in the short limit}. Owing to the proximity effect, such a junction constitutes a thermodynamic system where {phase difference}, supercurrent, temperature and entropy are thermodynamical variables connected by equations of state. These allow conceiving quasi-static processes that we characterize in terms of heat and work exchanged. Finally, we combine such processes to construct a Josephson-based Otto and Stirling cycles. We study the related performance in both engine and refrigerator operating mode.


title: Quantum displacement sensing and cooling in 3D levitated cavity optomechanics

abstract: Ultra-high sensitivity detection of quantum-scale displacements in cavity optomechanics optimises the combined errors from measurement back-action and imprecisions from incoming quantum noises. This sets the well-known Standard Quantum Limit (SQL). Normal quantum cavity optomechanics allows cooling and detection of a single degree of freedom, along the cavity axis. However, a recent breakthrough that allows quantum ground-state cooling of levitated nanoparticles [Delic et al, arxiv:1911.04406], is uniquely 3D in character, with coupling along the $x$, $y$ and $z$ axes. We investigate current experiments and show that the underlying behaviour is far from the addition of independent 1D components and that ground-state cooling and sensing analysis must consider- to date neglected- 3D hybridisation effects. We characterise the additional 3D spectral contributions and find direct and indirect hybridising pathways can destructively interfere suppressing of 3D effects at certain parameters in order to approach, and possibly surpass, the SQL. We identify a sympathetic cooling mechanism that can enhance cooling of weaker coupled modes, arising from optomechanically induced correlations.


title: Constrained Random Phase Approximation of the effective Coulomb interaction in lattice models of twisted bilayer graphene

abstract: Recent experiments on twisted bilayer graphene show the urgent need for establishing a low-energy lattice model for the system. We use the constrained random phase approximation to study the interaction parameters of such models taking into account screening from the moire bands left outside the model space. Based on an atomic-scale tight-binding model, we develop a numerically tractable approximation to the polarization function and study its behavior for different twist angles. We find that the polarization has three different momentum regimes. For small momenta, the polarization is quadratic, leading to a linear dielectric function expected for a two-dimensional dielectric material. For large momenta, the polarization becomes independent of the twist angle and approaches that of uncoupled graphene layers. In the intermediate momentum regime, the dependence on the twist-angle is strong. Close to the largest magic angle the dielectric function peaks at a momentum of $~1/(4 \: nm)$ attaining values of 25, meaning very strong screening at intermediate distances. We also calculate the effective screened Coulomb interaction in real space and give estimates for the on-site and extended interaction terms for the recently developed hexagonal-lattice model. For free-standing TBG the effective interaction decays slower than $1/r$ at intermediate distances $r$, while it remains essentially unscreened at large enough $r$.


title: Leveraging Implicit Expert Knowledge for Non-Circular Machine Learning in Sepsis Prediction

abstract: Sepsis is the leading cause of death in non-coronary intensive care units. Moreover, a delay of antibiotic treatment of patients with severe sepsis by only few hours is associated with increased mortality. This insight makes accurate models for early prediction of sepsis a key task in machine learning for healthcare. Previous approaches have achieved high AUROC by learning from electronic health records where sepsis labels were defined automatically following established clinical criteria. We argue that the practice of incorporating the clinical criteria that are used to automatically define ground truth sepsis labels as features of severity scoring models is inherently circular and compromises the validity of the proposed approaches. We propose to create an independent ground truth for sepsis research by exploiting implicit knowledge of clinical practitioners via an electronic questionnaire which records attending physicians' daily judgements of patients' sepsis status. We show that despite its small size, our dataset allows to achieve state-of-the-art AUROC scores. An inspection of learned weights for standardized features of the linear model lets us infer potentially surprising feature contributions and allows to interpret seemingly counterintuitive findings.


title: Out-of-time-ordered correlator in non-Hermitian quantum systems

abstract: We study the behavior of the out-of-time-ordered correlator (OTOC) in a non-Hermitian quantum Ising system. We show that the OTOC can diagnose not only the ground state exceptional point, which hosts the Yang-Lee edge singularity, but also the \textit{dynamical} exceptional point at the excited state. We find that the evolution of the OTOC in the parity-time symmetric phase can be divided into two stages: in the short-time stage, the OTOC oscillates periodically, and when the parameter is near the ground state exceptional point, this oscillation behavior can be described by both the scaling theory of the $(0+1)$D Yang-Lee edge singularity and the scaling theory of the $(1+1)$D quantum Ising model; while in the long-time stage the OTOC increases exponentially, controlled by the dynamical exceptional point. Possible experimental realizations are then discussed.


title: The Nature of Class I Sources: Periodic Variables in Orion

abstract: We present a quantitative, empirically based argument that at least some Class I sources are low-mass, pre-main-sequence stars surrounded by spatially extended envelopes of dusty gas. The source luminosity arises principally from stellar gravitational contraction, as in optically visible pre-main-sequence stars that lack such envelopes. We base our argument on the fact that some Class I sources in Orion and other star-forming regions have been observed by Spitzer to be periodic variables in the mid-infrared, and with periods consistent with T Tauri rotation rates. Using a radiative transfer code, we construct a variety of dust envelopes surrounding rotating, spotted stars, to see if an envelope that produces a Class I SED at least broadly matches the observed modulations in luminosity. Acceptable envelopes can either be spherical or flattened, and may or may not have polar cavities. The key requirement is that they have a modest equatorial optical depth at the Spitzer waveband of 3.6 ${\mu}$m, typically ${\tau_{3.6}}$ ${\approx}$ 0.6. The total envelope mass, based on this limited study, is at most about 0.1 $\text{M}_{\odot}$, less than a typical stellar mass. Future studies should focus on the dynamics of the envelope, to determine whether material is actually falling onto the circumstellar disk.


title: Cooling condition for multilevel quantum absorption refrigerators

abstract: Models for quantum absorption refrigerators serve as test beds for exploring concepts and developing methods in quantum thermodynamics. Here, we depart from the minimal, ideal design and consider a generic multilevel model for a quantum absorption refrigerator, which potentially suffers from lossy processes. Based on a full-counting statistics approach, we derive a formal cooling condition for the refrigerator, which can be feasibly evaluated analytically and numerically. We exemplify our approach on a three-level model for a quantum absorption refrigerator that suffers from different forms of non-ideality (heat leakage, competition between different cooling pathways), and examine the cooling current with different designs. This study assists in identifying the cooling window of imperfect thermal machines.


title: Explaining the MiniBooNE excess by a decaying sterile neutrino with mass in the 250 MeV range

abstract: The MiniBooNE collaboration has reported an excess of $460.5\pm 95.8$ electron-like events ($4.8\sigma$). We propose an explanation of these events in terms of a sterile neutrino decaying into a photon and a light neutrino. The sterile neutrino has a mass around 250 MeV and it is produced from kaon decays in the proton beam target via mixing with the muon or the electron in the range $10^{-11} \lesssim |U_{\ell 4}|^2 \lesssim 10^{-7}$ ($\ell = e,\mu$). The model can be tested by considering the time distribution of the events in MiniBooNE and by looking for single-photon events in running or upcoming neutrino experiments, in particular by the suite of liquid argon detectors in the short-baseline neutrino program at Fermilab.


title: Equivalence Checking of Non-deterministic Operations

abstract: Checking the semantic equivalence of operations is an important task in software development. For instance, regression testing is a routine task performed when software systems are developed and improved, and software package managers require the equivalence of operations in different versions of a package within the same major number version. A solid foundation is required to support a good automation of this process. It has been shown that the notion of equivalence is not obvious when non-deterministic features are present. In this paper, we discuss a general notion of equivalence in functional logic programs and develop a practical method to check it. Our method is integrated in a property-based testing tool which is used in a software package manager to check the semantic versioning of software packages.


title: Gradient Boost with Convolution Neural Network for Stock Forecast

abstract: Market economy closely connects aspects to all walks of life. The stock forecast is one of task among studies on the market economy. However, information on markets economy contains a lot of noise and uncertainties, which lead economy forecasting to become a challenging task. Ensemble learning and deep learning are the most methods to solve the stock forecast task. In this paper, we present a model combining the advantages of two methods to forecast the change of stock price. The proposed method combines CNN and GBoost. The experimental results on six market indexes show that the proposed method has better performance against current popular methods.


title: Sparse Harmonic Transforms II: Best $s$-Term Approximation Guarantees for Bounded Orthonormal Product Bases in Sublinear-Time

abstract: In this paper, we develop a sublinear-time compressive sensing algorithm for approximating functions of many variables which are compressible in a given Bounded Orthonormal Product Basis (BOPB). The resulting algorithm is shown to both have an associated best $s$-term recovery guarantee in the given BOPB, and also to work well numerically for solving sparse approximation problems involving functions contained in the span of fairly general sets of as many as $\sim10^{230}$ orthonormal basis functions. All code is made publicly available. As part of the proof of the main recovery guarantee new variants of the well known CoSaMP algorithm are proposed which can utilize any sufficiently accurate support identification procedure satisfying a {Support Identification Property (SIP)} in order to obtain strong sparse approximation guarantees. These new CoSaMP variants are then proven to have both runtime and recovery error behavior which are largely determined by the associated runtime and error behavior of the chosen support identification method. The main theoretical results of the paper are then shown by developing a sublinear-time support identification algorithm for general BOPB sets which is robust to arbitrary additive errors. Using this new support identification method to create a new CoSaMP variant then results in a new robust sublinear-time compressive sensing algorithm for BOPB-compressible functions of many variables.


title: Automatic Table completion using Knowledge Base

abstract: Table is a popular data format to organize and present relational information. Users often have to manually compose tables when gathering their desiderate information (e.g., entities and their attributes) for decision making. In this work, we propose to resolve a new type of heterogeneous query viz: tabular query, which contains a natural language query description, column names of the desired table, and an example row. We aim to acquire more entity tuples (rows) and automatically fill the table specified by the tabular query. We design a novel framework AutoTableComplete which aims to integrate schema specific structural information with the natural language contextual information provided by the user, to complete tables automatically, using a heterogeneous knowledge base (KB) as the main information source. Given a tabular query as input, our framework first constructs a set of candidate chains that connect the given example entities in KB. We learn to select the best matching chain from these candidates using the semantic context from tabular query. The selected chain is then converted into a SPARQL query, executed against KB to gather a set of candidate rows, that are then ranked in order of their relevance to the tabular query, to complete the desired table. We construct a new dataset based on tables in Wikipedia pages and Freebase, using which we perform a wide range of experiments to demonstrate the effectiveness of AutoTableComplete as well as present a detailed error analysis of our method.


title: Target-Specific Action Classification for Automated Assessment of Human Motor Behavior from Video

abstract: Objective monitoring and assessment of human motor behavior can improve the diagnosis and management of several medical conditions. Over the past decade, significant advances have been made in the use of wearable technology for continuously monitoring human motor behavior in free-living conditions. However, wearable technology remains ill-suited for applications which require monitoring and interpretation of complex motor behaviors (e.g. involving interactions with the environment). Recent advances in computer vision and deep learning have opened up new possibilities for extracting information from video recordings. In this paper, we present a hierarchical vision-based behavior phenotyping method for classification of basic human actions in video recordings performed using a single RGB camera. Our method addresses challenges associated with tracking multiple human actors and classification of actions in videos recorded in changing environments with different fields of view. We implement a cascaded pose tracker that uses temporal relationships between detections for short-term tracking and appearance-based tracklet fusion for long-term tracking. Furthermore, for action classification, we use pose evolution maps derived from the cascaded pose tracker as low-dimensional and interpretable representations of the movement sequences for training a convolutional neural network. The cascaded pose tracker achieves an average accuracy of 88\% in tracking the target human actor in our video recordings, and overall system achieves average test accuracy of 84\% for target-specific action classification in untrimmed video recordings.


title: Output-sensitive Information flow analysis

abstract: Constant-time programming is a countermeasure to prevent cache based attacks where programs should not perform memory accesses that depend on secrets. In some cases this policy can be safely relaxed if one can prove that the program does not leak more information than the public outputs of the computation. We propose a novel approach for verifying constant-time programming based on a new information flow property, called output-sensitive noninterference. Noninterference states that a public observer cannot learn anything about the private data. Since real systems need to intentionally declassify some information, this property is too strong in practice. In order to take into account public outputs we proceed as follows: instead of using complex explicit declassification policies, we partition variables in three sets: input, output and leakage variables. Then, we propose a typing system to statically check that leakage variables do not leak more information about the secret inputs than the public normal output. The novelty of our approach is that we track the dependence of leakage variables with respect not only to the initial values of input variables (as in classical approaches for noninterference), but taking also into account the final values of output variables. We adapted this approach to LLVM IR and we developed a prototype to verify LLVM implementations.


title: Analytical study of superconducting RF cavity detuning compensation

abstract: The cavities in superconducting linacs tend to operate with narrow bandwidths that are comparable to microphonic induced detuning from external forces. Proportional-Integral (PI) feedback loops are used to stabilize the cavity voltage in response to the varying cavity resonant frequency. Without feedback, the cavity voltage variation with detuning is non-linear, but in this paper we show that in the regime where the detuning amplitude is smaller than the frequency of the detuning, which is typically the case, the response can be linearized so as to provide simple analytical characterizations of PI loop performance as a function of the various parameters involved (integral and proportional gains, noise and low pass filter bandwidth).


title: Understanding Architectures Learnt by Cell-based Neural Architecture Search

abstract: Neural architecture search (NAS) searches architectures automatically for given tasks, e.g., image classification and language modeling. Improving the search efficiency and effectiveness have attracted increasing attention in recent years. However, few efforts have been devoted to understanding the generated architectures. In this paper, we first reveal that existing NAS algorithms (e.g., DARTS, ENAS) tend to favor architectures with wide and shallow cell structures. These favorable architectures consistently achieve fast convergence and are consequently selected by NAS algorithms. Our empirical and theoretical study further confirms that their fast convergence derives from their smooth loss landscape and accurate gradient information. Nonetheless, these architectures may not necessarily lead to better generalization performance compared with other candidate architectures in the same search space, and therefore further improvement is possible by revising existing NAS algorithms.


title: Toric $G$-Fano Threefolds

abstract: We classify toric Fano threefolds having at worst terminal singularities such that a rank of a $G$-invariant part of a class group equals one, where $G$ is a group acting on the variety by automorphisms.


title: Reinforcement Learning for Portfolio Management

abstract: In this thesis, we develop a comprehensive account of the expressive power, modelling efficiency, and performance advantages of so-called trading agents (i.e., Deep Soft Recurrent Q-Network (DSRQN) and Mixture of Score Machines (MSM)), based on both traditional system identification (model-based approach) as well as on context-independent agents (model-free approach). The analysis provides conclusive support for the ability of model-free reinforcement learning methods to act as universal trading agents, which are not only capable of reducing the computational and memory complexity (owing to their linear scaling with the size of the universe), but also serve as generalizing strategies across assets and markets, regardless of the trading universe on which they have been trained. The relatively low volume of daily returns in financial market data is addressed via data augmentation (a generative approach) and a choice of pre-training strategies, both of which are validated against current state-of-the-art models. For rigour, a risk-sensitive framework which includes transaction costs is considered, and its performance advantages are demonstrated in a variety of scenarios, from synthetic time-series (sinusoidal, sawtooth and chirp waves), simulated market series (surrogate data based), through to real market data (S\&P 500 and EURO STOXX 50). The analysis and simulations confirm the superiority of universal model-free reinforcement learning agents over current portfolio management model in asset allocation strategies, with the achieved performance advantage of as much as 9.2\% in annualized cumulative returns and 13.4\% in annualized Sharpe Ratio.


title: Rigidity theorem for a static triple with half harmonic Weyl curvature

abstract: In this paper, we prove that the static triple with half harmonic Weyl curvature and positive scalar curvature must be the standard hemisphere.


title: Dimer Physics in the Frustrated Cairo Pentagonal Antiferromagnet Bi2Fe4O9

abstract: The research field of magnetic frustration is dominated by triangle-based lattices but exotic phenomena can also be observed in pentagonal networks. A peculiar noncollinear magnetic order is indeed known to be stabilized in Bi2Fe4O9 materializing a Cairo pentagonal lattice. We present the spin wave excitations in the magnetically ordered state, obtained by inelastic neutron scattering. They reveal an unconventional excited state related to local precession of pairs of spins. The magnetic excitations are then modeled to determine the superexchange interactions for which the frustration is indeed at the origin of the spin arrangement. This analysis unveils a hierarchy in the interactions, leading to a paramagnetic state (close to the N\'eel temperature) constituted of strongly coupled dimers separated by much less correlated spins. This produces two types of response to an applied magnetic field associated with the two nonequivalent Fe sites, as observed in the magnetization distributions obtained using polarized neutrons.


title: Dirac neutrino mass generation from Majorana messenger

abstract: The radiative type-I seesaw has been already implemented to explain the lightness of Majorana neutrinos with both Majorana and Dirac heavy fermions, and the lightness of Dirac neutrinos with Dirac heavy fermions. In this work we present a minimal implementation of the radiative type-I seesaw with light Dirac neutrinos and heavy Majorana fermions. An inert doublet and a complex singlet scalar complete the dark sector which is protected by an Abelian fermiophobic gauge symmetry that also forbids tree level mass contributions for the full set of light neutrinos. A fermion vector-like extension of the model is also proposed where the light right-handed neutrinos can thermalize in the primordial plasma and the extra gauge boson can be directly produced at colliders. In particular, the current upper bound on $\Delta N_{\text{eff}}$ reported by PLANCK points to large ratios $M_{Z'}/g'\gtrsim 40\ \text{TeV}$ which can be competitive with collider constraint for $g'$ sufficiently large in the ballpark of the Standard Model values, while future cosmic microwave background experiments may probe all the no minimal models presented here.


title: Generalized cones as Lorentzian length spaces: Causality, curvature, and singularity theorems

abstract: We study generalizations of Lorentzian warped products with one-dimensional base of the form $I\times_f X$, where $I$ is an interval, $X$ is a length space and $f$ is a positive continuous function. These generalized cones furnish an important class of Lorentzian length spaces in the sense of [Kunzinger, S\"amann; Ann. Glob. Anal. Geom. 54(3):399--447, 2018], displaying optimal causality properties that allow for explicit descriptions of all underlying notions. In addition, synthetic sectional curvature bounds of generalized cones are directly related to metric curvature bounds of the fiber $X$. The interest in such spaces comes both from metric geometry and from General Relativity, where warped products underlie important cosmological models (FLRW spacetimes). Moreover, we prove singularity theorems for these spaces, showing that non-positive lower timelike curvature bounds imply the existence of incomplete timelike geodesics.


title: On almost sure convergence of random variables with finite chaos decomposition

abstract: Under mild conditions on a family of independent random variables $(X_n)$ we prove that almost sure convergence of a sequence of tetrahedral polynomial chaoses of uniformly bounded degrees in the variables $(X_n)$ implies the almost sure convergence of their homogeneous parts. This generalizes a recent result due to Poly and Zheng obtained under stronger integrability conditions. In particular for i.i.d. sequences we provide a simple necessary and sufficient condition for this property to hold. We also discuss similar phenomena for sums of multiple stochastic integrals with respect to Poisson processes, answering a question by Poly and Zheng.


title: NeMo: a toolkit for building AI applications using Neural Modules

abstract: NeMo (Neural Modules) is a Python framework-agnostic toolkit for creating AI applications through re-usability, abstraction, and composition. NeMo is built around neural modules, conceptual blocks of neural networks that take typed inputs and produce typed outputs. Such modules typically represent data layers, encoders, decoders, language models, loss functions, or methods of combining activations. NeMo makes it easy to combine and re-use these building blocks while providing a level of semantic correctness checking via its neural type system. The toolkit comes with extendable collections of pre-built modules for automatic speech recognition and natural language processing. Furthermore, NeMo provides built-in support for distributed training and mixed precision on latest NVIDIA GPUs. NeMo is open-source https://github.com/NVIDIA/NeMo


title: Clustering-induced velocity-reversals of active colloids mixed with passive particles

abstract: Recent experiments have shown that colloidal suspensions can spontaneously self-assemble into dense clusters of various internal structures, sizes and dynamical properties when doped with active Janus particles. Characteristically, these clusters move ballistically during their formation, but dynamically revert their velocity and temporarily move opposite to the self-propulsion direction of the Janus particles they contain. Here we explore a simple effective model of colloidal mixtures which allows reproducing most aspects seen in experiments, including the morphology and the velocity-reversal of the clusters. We attribute the latter to the nonreciprocal phoretic attractions of the passive particles to the active colloids' caps, taking place even at close contact and pushing the active particles backwards. When the phoretic interactions are repulsive, in turn, they cause dynamical aggregation of passive colloids in the chemical density minima produced by the active particles, as recently seen in experiments; in other parameter regimes they induce travelling fronts of active particles pursued by passive ones coexisting with an active gas.


title: Renormalon structure in compactified spacetime

abstract: We point out that the location of renormalon singularities in theory on a circle-compactified spacetime $\mathbb{R}^{d-1} \times S^1$ (with a small radius $R \Lambda \ll 1$) can differ from that on the non-compactified spacetime $\mathbb{R}^d$. We argue this under the following assumptions, which are often realized in large $N$ theories with twisted boundary conditions: (i) a loop integrand of a renormalon diagram is volume independent, i.e. it is not modified by the compactification, and (ii) the loop momentum variable along the $S^1$ direction is not associated with the twisted boundary conditions and takes the values $n/R$ with integer $n$. We find that the Borel singularity is generally shifted by $-1/2$ in the Borel $u$-plane, where the renormalon ambiguity of $\mathcal{O}(\Lambda^k)$ is changed to $\mathcal{O}(\Lambda^{k-1}/R)$ due to the circle compactification $\mathbb{R}^d \to \mathbb{R}^{d-1} \times S^1$. The result is general for any dimension $d$ and is independent of details of the quantities under consideration. As an example, we study the $\mathbb{C} P^{N-1}$ model on $\mathbb{R} \times S^1$ with $\mathbb{Z}_N$ twisted boundary conditions in the large $N$ limit.


title: Magnetic Weyl Semimetal Phase in a Kagome Crystal

abstract: Weyl semimetals are crystalline solids that host emergent relativistic Weyl fermions and have characteristic surface Fermi-arcs in their electronic structure. Weyl semimetals with broken time reversal symmetry are difficult to identify unambiguously. In this work, using angle-resolved photoemission spectroscopy, we visualized the electronic structure of the ferromagnetic crystal Co3Sn2S2 and discovered its characteristic surface Fermi-arcs and linear bulk band dispersions across the Weyl points. These results establish Co3Sn2S2 as a magnetic Weyl semimetal that may serve as a platform for realizing phenomena such as chiral magnetic effects, unusually large anomalous Hall effect and quantum anomalous Hall effect.


title: The quantum limit to incoherent imaging is achieved by linear interferometry

abstract: We solve the general problem of determining, through imaging, the three-dimensional positions of $N$ weak incoherent point-like emitters in an arbitrary spatial configuration. We show that a structured measurement strategy in which a linear interferometer feeds into an array of photo-detectors is always optimal for this estimation problem, in the sense that it saturates the quantum Cram\'er-Rao bound. We provide a method for the explicit construction of the optimal interferometer. Further explicit results for the quantum Fisher information and the optimal interferometer design that attains it are obtained for the case of one and two incoherent emitters in the paraxial regime. This work provides insights into the phenomenon of super-resolution through incoherent imaging that has attracted much attention recently. Our results will find a wide range of applications over a broad spectrum of frequencies, from fluorescence microscopy to stellar interferometry.


title: An inexact proximal augmented Lagrangian framework with arbitrary linearly convergent inner solver for composite convex optimization

abstract: We propose an inexact proximal augmented Lagrangian framework with explicit inner problem termination rule for composite convex optimization problems. We consider arbitrary linearly convergent inner solver including in particular stochastic algorithms, making the resulting framework more scalable facing the ever-increasing problem dimension. Each subproblem is solved inexactly with an explicit and self-adaptive stopping criterion, without requiring to set an a priori target accuracy. When the primal and dual domain are bounded, our method achieves $O(1/\sqrt{\epsilon})$ and $O(1/{\epsilon})$ complexity bound in terms of number of inner solver iterations, respectively for the strongly convex and non-strongly convex case. Without the boundedness assumption, only logarithm terms need to be added and the above two complexity bounds increase respectively to $\tilde O(1/\sqrt{\epsilon})$ and $\tilde O(1/{\epsilon})$, which hold both for obtaining $\epsilon$-optimal and $\epsilon$-KKT solution. Within the general framework that we propose, we also obtain $\tilde O(1/{\epsilon})$ and $\tilde O(1/{\epsilon^2})$ complexity bounds under relative smoothness assumption on the differentiable component of the objective function. We show through theoretical analysis as well as numerical experiments the computational speedup possibly achieved by the use of randomized inner solvers for large-scale problems.


title: A novel approach for the analysis of the geometry involved in determining light curves of pulsars

abstract: In this work, we introduce the use of the differential geometry Frenet-Serret equations to describe a magnetic line in a pulsar magnetosphere. These equations, which need to be solved numerically, fix the magnetic line in terms of their tangent, normal, and binormal vectors at each position, given assumptions on the radius of curvature and torsion. Once the representation of the magnetic line is defined, we provide the relevant set of transformations between reference frames; the ultimate aim is to express the map of the emission directions in the star co-rotating frame. In this frame, an emission map can be directly read as a light curve seen by observers located at a certain fixed angle with respect to the rotational axis. We provide a detailed step-by-step numerical recipe to obtain the emission map for a given emission process, and give a set of simplified benchmark tests. Key to our approach is that it offers a setting to achieve an effective description of the system's geometry {\it together} with the radiation spectrum. This allows to compute multi-frequency light curves produced by a specific radiation process (and not just geometry) in the pulsar magnetosphere, and intimately relates with averaged observables such as the spectral energy distribution.


title: The Gromov-Lawson codimension 2 obstruction to positive scalar curvature and the C*-index

abstract: Gromov and Lawson developed a codimension 2 index obstruction to positive scalar curvature for a closed spin manifold M, later refined by Hanke, Pape and Schick. Kubota has shown that also this obstruction can be obtained from the Rosenberg index of the ambient manifold M which takes values in the K-theory of the maximal C*-algebra of the fundamental group of M, using relative index constructions. In this note, we give a slightly simplified account of Kubota's work and remark that it also applies to the signature operator, thus recovering the homotopy invariance of higher signatures of codimension 2 submanifolds of Higson, Schick, Xie.


title: An extended two-dimensional vocal tract model for fast acoustic simulation of single-axis symmetric three-dimensional tubes

abstract: The simulation of two-dimensional (2D) wave propagation is an affordable computational task and its use can potentially improve time performance in vocal tracts' acoustic analysis. Several models have been designed that rely on 2D wave solvers and include 2D representations of three-dimensional (3D) vocal tract-like geometries. However, until now, only the acoustics of straight 3D tubes with circular cross-sections have been successfully replicated with this approach. Furthermore, the simulation of the resulting 2D shapes requires extremely high spatio-temporal resolutions, dramatically reducing the speed boost deriving from the usage of a 2D wave solver. In this paper, we introduce an in-progress novel vocal tract model that extends the 2D Finite-Difference Time-Domain wave solver (2.5D FDTD) by adding tube depth, derived from the area functions, to the acoustic solver. The model combines the speed of a light 2D numerical scheme with the ability to natively simulate 3D tubes that are symmetric in one dimension, hence relaxing previous resolution requirements. An implementation of the 2.5D FDTD is presented, along with evaluation of its performance in the case of static vowel modeling. The paper discusses the current features and limits of the approach, and the potential impact on computational acoustics applications.


title: Understanding LSTM -- a tutorial into Long Short-Term Memory Recurrent Neural Networks

abstract: Long Short-Term Memory Recurrent Neural Networks (LSTM-RNN) are one of the most powerful dynamic classifiers publicly known. The network itself and the related learning algorithms are reasonably well documented to get an idea how it works. This paper will shed more light into understanding how LSTM-RNNs evolved and why they work impressively well, focusing on the early, ground-breaking publications. We significantly improved documentation and fixed a number of errors and inconsistencies that accumulated in previous publications. To support understanding we as well revised and unified the notation used.


title: Zero-shot Reading Comprehension by Cross-lingual Transfer Learning with Multi-lingual Language Representation Model

abstract: Because it is not feasible to collect training data for every language, there is a growing interest in cross-lingual transfer learning. In this paper, we systematically explore zero-shot cross-lingual transfer learning on reading comprehension tasks with a language representation model pre-trained on multi-lingual corpus. The experimental results show that with pre-trained language representation zero-shot learning is feasible, and translating the source data into the target language is not necessary and even degrades the performance. We further explore what does the model learn in zero-shot setting.


title: What are Neural Networks made of?

abstract: The success of Deep Learning methods is not well understood, though various attempts at explaining it have been made, typically centered on properties of stochastic gradient descent. Even less clear is why certain neural network architectures perform better than others. We provide a potential opening with the hypothesis that neural network training is a form of Genetic Programming.


title: Efficient simulation of open quantum systems coupled to a fermionic bath

abstract: We present and analyze the fermionic time evolving density matrix using orthogonal polynomials algorithm (fTEDOPA), which enables the numerically exact simulation of open quantum systems coupled to a fermionic environment. The method allows for simulating the time evolution of open quantum systems with arbitrary spectral densities at zero or finite temperatures with controllable and certified error. We demonstrate the efficacy of the method towards the simulation of quintessential fermionic open quantum systems including the resonant level model and quantum dot coupled to an impurity and towards simulating hitherto intractable problems in quantum transport. Furthermore, we demonstrate significant efficiency gains in the computational costs by performing simulations in the Heisenberg picture. Finally, we compare different approaches for simulating finite-temperature situations and provide guidelines for choosing between these approaches.


title: Material Gain Concentration Quenching in Organic Dye-Doped Polymer Thin Films

abstract: The optimization of material gain in optically pumped dye-doped polymer thin films is an important task in the development of organic solid-state lasers. In this work, we present a theoretical model that accommodates the influence of concentration quenching on material gain and employ it to study the novel dye molecule 2-(4-(bis(4-(tert-butyl)phenyl)amino)benzylidene)malononitrile (PMN) and the well-established dye molecule 4-(dicyanomethylene)-2-methyl-6-(4-dimethylaminostyryl)-4H-pyran (DCM) embedded in poly(methyl methacrylate) (PMMA). Polycarbonate was tested as an alternative host material for PMN. The material gain in these dye-doped polymer thin films was determined by the variable stripe length method. The inclusion of concentration quenching in the material gain expression is able to significantly reduce the overestimation of the gain efficiency inherent to a linear model.


title: Sequential Ensemble Transform for Bayesian Inverse Problems

abstract: We present the Sequential Ensemble Transform (SET) method, an approach for generating approximate samples from a Bayesian posterior distribution. The method explores the posterior distribution by solving a sequence of discrete optimal transport problems to produce a series of transport plans which map prior samples to posterior samples. We prove that the sequence of Dirac mixture distributions produced by the SET method converges weakly to the true posterior as the sample size approaches infinity. Furthermore, our numerical results indicate that, when compared to standard Sequential Monte Carlo (SMC) methods, the SET approach is more robust to the choice of Markov mutation kernels and requires less computational efforts to reach a similar accuracy when used to explore complex posterior distributions. Finally, we describe adaptive schemes that allow to completely automate the use of the SET method.


title: Fault-Diagnosing SLAM for Varying Scale Change Detection

abstract: In this paper, we present a new fault diagnosis (FD) -based approach for detection of imagery changes that can detect significant changes as inconsistencies between different sub-modules (e.g., self-localizaiton) of visual SLAM. Unlike classical change detection approaches such as pairwise image comparison (PC) and anomaly detection (AD), neither the memorization of each map image nor the maintenance of up-to-date place-specific anomaly detectors are required in this FD approach. A significant challenge that is encountered when incorporating different SLAM sub-modules into FD involves dealing with the varying scales of objects that have changed (e.g., the appearance of small dangerous obstacles on the floor). To address this issue, we reconsider the bag-of-words (BoW) image representation, by exploiting its recent advances in terms of self-localization and change detection. As a key advantage, BoW image representation can be reorganized into any different scaling by simply cropping the original BoW image. Furthermore, we propose to combine different self-localization modules with strong and weak BoW features with different discriminativity, and to treat inconsistency between strong and weak self-localization as an indicator of change. The efficacy of the proposed approach for FD with/without AD and/or PC was experimentally validated.


title: Bayesian Optimization for Iterative Learning

abstract: The performance of deep (reinforcement) learning systems crucially depends on the choice of hyperparameters. Their tuning is notoriously expensive, typically requiring an iterative training process to run for numerous steps to convergence. Traditional tuning algorithms only consider the final performance of hyperparameters acquired after many expensive iterations and ignore intermediate information from earlier training steps. In this paper, we present a Bayesian optimization (BO) approach which exploits the iterative structure of learning algorithms for efficient hyperparameter tuning. We propose to learn an evaluation function compressing learning progress at any stage of the training process into a single numeric score according to both training success and stability. Our BO framework is then balancing the benefit of assessing a hyperparameter setting over additional training steps against their computation cost. We further increase model efficiency by selectively including scores from different training steps for any evaluated hyperparameter set. We demonstrate the efficiency of our algorithm by tuning hyperparameters for the training of deep reinforcement learning agents and convolutional neural networks. Our algorithm outperforms all existing baselines in identifying optimal hyperparameters in minimal time.


title: Mining Minimal Map-Segments for Visual Place Classifiers

abstract: In visual place recognition (VPR), map segmentation (MS) is a preprocessing technique used to partition a given view-sequence map into place classes (i.e., map segments) so that each class has good place-specific training images for a visual place classifier (VPC). Existing approaches to MS implicitly/explicitly suppose that map segments have a certain size, or individual map segments are balanced in size. However, recent VPR systems showed that very small important map segments (minimal map segments) often suffice for VPC, and the remaining large unimportant portion of the map should be discarded to minimize map maintenance cost. Here, a new MS algorithm that can mine minimal map segments from a large view-sequence map is presented. To solve the inherently NP hard problem, MS is formulated as a video-segmentation problem and the efficient point-trajectory based paradigm of video segmentation is used. The proposed map representation was implemented with three types of VPC: deep convolutional neural network, bag-of-words, and object class detector, and each was integrated into a Monte Carlo localization algorithm (MCL) within a topometric VPR framework. Experiments using the publicly available NCLT dataset thoroughly investigate the efficacy of MS in terms of VPR performance.


title: SANVis: Visual Analytics for Understanding Self-Attention Networks

abstract: Attention networks, a deep neural network architecture inspired by humans' attention mechanism, have seen significant success in image captioning, machine translation, and many other applications. Recently, they have been further evolved into an advanced approach called multi-head self-attention networks, which can encode a set of input vectors, e.g., word vectors in a sentence, into another set of vectors. Such encoding aims at simultaneously capturing diverse syntactic and semantic features within a set, each of which corresponds to a particular attention head, forming altogether multi-head attention. Meanwhile, the increased model complexity prevents users from easily understanding and manipulating the inner workings of models. To tackle the challenges, we present a visual analytics system called SANVis, which helps users understand the behaviors and the characteristics of multi-head self-attention networks. Using a state-of-the-art self-attention model called Transformer, we demonstrate usage scenarios of SANVis in machine translation tasks. Our system is available at http://short.sanvis.org


title: Optimal Rates for Learning Hidden Tree Structures

abstract: We provide high probability finite sample complexity guarantees for hidden non-parametric structure learning of tree-shaped graphical models, whose hidden and observable nodes are discrete random variables with either finite or countable alphabets. We study a fundamental quantity called the (noisy) information threshold, which arises naturally from the error analysis of the Chow-Liu algorithm and, as we discuss, provides explicit necessary and sufficient conditions on sample complexity, by effectively summarizing the difficulty of the tree-structure learning problem. Specifically, we show that the finite sample complexity of the Chow-Liu algorithm for ensuring exact structure recovery from noisy data is inversely proportional to the information threshold squared (provided it is positive), and scales almost logarithmically relative to the number of nodes over a given probability of failure. Conversely, we show that, if the number of samples is less than an absolute constant times the inverse of information threshold squared, then no algorithm can recover the hidden tree structure with probability greater than one half. As a consequence, our upper and lower bounds match with respect to the information threshold, indicating that it is a fundamental quantity for the problem of learning hidden tree-structured models. Further, the Chow-Liu algorithm with noisy data as input achieves the optimal rate with respect to the information threshold. Lastly, as a byproduct of our analysis, we resolve the problem of tree structure learning in the presence of non-identically distributed observation noise, providing conditions for convergence of the Chow-Liu algorithm under this setting, as well.


title: Supersymmetric phases of 4d N=4 SYM at large N

abstract: We find a family of complex saddle-points at large N of the matrix model for the superconformal index of SU(N) N=4 super Yang-Mills theory on $S^3 \times S^1$ with one chemical potential $\tau$. The saddle-point configurations are labelled by points $(m,n)$ on the lattice $\Lambda_\tau= \mathbb{Z} \tau +\mathbb{Z}$ with $\text{gcd}(m,n)=1$. The eigenvalues at a given saddle are uniformly distributed along a string winding $(m,n)$ times along the $(A,B)$ cycles of the torus $\mathbb{C}/\Lambda_\tau$. The action of the matrix model extended to the torus is closely related to the Bloch-Wigner elliptic dilogarithm, and the related Bloch formula allows us to calculate the action at the saddle-points in terms of real-analytic Eisenstein series. The actions of $(0,1)$ and $(1,0)$ agree with that of pure AdS$_5$ and the supersymmetric AdS$_5$ black hole, respectively. The black hole saddle dominates the canonical ensemble when $\tau$ is close to the origin, and there are new saddles that dominate when $\tau$ approaches rational points. The extension of the action in terms of modular forms leads to a simple treatment of the Cardy-like limit $\tau\to 0$.


title: Street Crossing Aid Using Light-weight CNNs for the Visually Impaired

abstract: In this paper, we address an issue that the visually impaired commonly face while crossing intersections and propose a solution that takes form as a mobile application. The application utilizes a deep learning convolutional neural network model, LytNetV2, to output necessary information that the visually impaired may lack when without human companions or guide-dogs. A prototype of the application runs on iOS devices of versions 11 or above. It is designed for comprehensiveness, concision, accuracy, and computational efficiency through delivering the two most important pieces of information, pedestrian traffic light color and direction, required to cross the road in real-time. Furthermore, it is specifically aimed to support those facing financial burden as the solution takes the form of a free mobile application. Through the modification and utilization of key principles in MobileNetV3 such as depthwise seperable convolutions and squeeze-excite layers, the deep neural network model achieves a classification accuracy of 96% and average angle error of 6.15 degrees, while running at a frame rate of 16.34 frames per second. Additionally, the model is trained as an image classifier, allowing for a faster and more accurate model. The network is able to outperform other methods such as object detection and non-deep learning algorithms in both accuracy and thoroughness. The information is delivered through both auditory signals and vibrations, and it has been tested on seven visually impaired and has received above satisfactory responses.


title: HybCache: Hybrid Side-Channel-Resilient Caches for Trusted Execution Environments

abstract: Modern multi-core processors share cache resources for maximum cache utilization and performance gains. However, this leaves the cache vulnerable to side-channel attacks, where timing differences in shared cache behavior are exploited to infer information on the victim's execution patterns, ultimately leaking private information. The root cause for these attacks is mutually distrusting processes sharing cache entries and accessing them in a deterministic manner. Various defenses against cache side-channel attacks have been proposed. However, they either degrade performance significantly, impose impractical restrictions, or can only defeat certain classes of these attacks. More importantly, they assume that side-channel-resilient caches are required for the entire execution workload and do not allow to selectively enable the mitigation only for the security-critical portion of the workload. We present a generic mechanism for a flexible and soft partitioning of set-associative caches and propose a hybrid cache architecture, called HybCache. HybCache can be configured to selectively apply side-channel-resilient cache behavior only for isolated execution domains, while providing the non-isolated execution with conventional cache behavior, capacity and performance. An isolation domain can include one or more processes, specific portions of code, or a Trusted Execution Environment. We show that, with minimal hardware modifications and kernel support, HybCache can provide side-channel-resilient cache only for isolated execution with a performance overhead of 3.5-5%, while incurring no performance overhead for the remaining execution workload. We provide a simulator-based and hardware implementation of HybCache to evaluate the performance and area overheads, and show how it mitigates typical access-based and contention-based cache attacks.


title: Multiprocessor Real-Time Locking Protocols: A Systematic Review

abstract: We systematically survey the literature on analytically sound multiprocessor real-time locking protocols from 1988 until 2018, covering the following topics: progress mechanisms that prevent the lock-holder preemption problem, spin-lock protocols, binary semaphore protocols, independence-preserving (or fully preemptive) locking protocols, reader-writer and k-exclusion synchronization, support for nested critical sections, and implementation and system-integration aspects. A special focus is placed on the suspension-oblivious and suspension-aware analysis approaches for semaphore protocols, their respective notions of priority inversion, optimality criteria, lower bounds on maximum priority-inversion blocking, and matching asymptotically optimal locking protocols.


title: On Huisman's conjectures about unramified real curves

abstract: Let $X \subset \mathbb{P}^{n}$ be an unramified real curve with $X(\mathbb{R}) \neq \emptyset$. If $n \geq 3$ is odd, Huisman conjectures that $X$ is an $M$-curve and that every branch of $X(\mathbb{R})$ is a pseudo-line. If $n \geq 4$ is even, he conjectures that $X$ is a rational normal curve or a twisted form of a such. We disprove the first conjecture by giving a family of counterexamples. We remark that the second conjecture follows for generic curves of odd degree from the formula enumerating the number of complex inflection points.


title: Metric-Based Few-Shot Learning for Video Action Recognition

abstract: In the few-shot scenario, a learner must effectively generalize to unseen classes given a small support set of labeled examples. While a relatively large amount of research has gone into few-shot learning for image classification, little work has been done on few-shot video classification. In this work, we address the task of few-shot video action recognition with a set of two-stream models. We evaluate the performance of a set of convolutional and recurrent neural network video encoder architectures used in conjunction with three popular metric-based few-shot algorithms. We train and evaluate using a few-shot split of the Kinetics 600 dataset. Our experiments confirm the importance of the two-stream setup, and find prototypical networks and pooled long short-term memory network embeddings to give the best performance as few-shot method and video encoder, respectively. For a 5-shot 5-way task, this setup obtains 84.2% accuracy on the test set and 59.4% on a special "challenge" test set, composed of highly confusable classes.


title: A novel algorithm for confidence sub-contour box estimation: an alternative to traditional confidence intervals

abstract: The factor estimation process is a really challenging task for non-linear models. Even whether researchers manage to successfully estimate model factors, they still must estimate their confidence intervals, which could require a high computational cost to turn them into informative measures. Some methods in the literature attempt to estimate regions within the estimation search space where factors may jointly exist and fit the real data (confidence contours), however, its estimation process raises several issues as the number of factors increases. Hence, in this paper, we focus on the estimation of a subregion within the confidence contour that we called as Confidence Subcontour Box (CSB). We proposed two main algorithms for CSB estimation, as well as its interpretation and validation. Given the way we estimated CSB, we expected and validated some useful properties of this new kind of confidence interval: a user-defined uncertainty level, asymmetrical intervals, sensitivity assessment related to the interval length for each factor, and the identification of true-influential factors.


title: Field-free spin-orbit torque switching through domain wall motion

abstract: Deterministic current-induced spin-orbit torque (SOT) switching of magnetization in a heavy transition metal/ferromagnetic metal/oxide magnetic heterostructure with the ferromagnetic layer being perpendicularly-magnetized typically requires an externally-applied in-plane field to break the switching symmetry. We show that by inserting an in-plane magnetized ferromagnetic layer CoFeB underneath the conventional W/CoFeB/MgO SOT heterostructure, deterministic SOT switching of the perpendicularly-magnetized top CoFeB layer can be realized without the need of in-plane bias field. Kerr imaging study further unveils that the observed switching is mainly dominated by domain nucleation and domain wall motion, which might limit the potentiality of using this type of multilayer stack design for nanoscale SOT-MRAM application. Comparison of the experimental switching behavior with micromagnetic simulations reveals that the deterministic switching in our devices cannot be explained by the stray field contribution of the in-plane magnetized layer, and the roughness-caused N\'eel coupling effect might play a more important role in achieving the observed field-free deterministic switching.


title: Spin-orbitronic materials with record spin-charge conversion from high-throughput ab initio calculations

abstract: The spin Hall effect (SHE) is an important spintronics phenomenon, which allows transforming a charge current into a spin current and vice versa without the use of magnetic materials or magnetic fields. To gain new insight into the physics of the SHE and to identify materials with a substantial spin Hall conductivities (SHC), we performed high-precision, high-throughput ab initio electronic structure calculations of the intrinsic SHC for over 20,000 non-magnetic crystals. The calculations reveal a strong and unexpected relation of the magnitude of the SHC with the crystalline symmetry, which we show exists because large SHC is typically associated with mirror symmetry protected nodal lines in the band structure. From the new developed database, we identify new promising materials. This includes eleven materials with a SHC comparable or even larger than that the up to now record Pt as well as materials with different types of spin currents, which could allow for new types of spin-obitronics devices.


title: Growth of SiO2 microparticles by using modified Stober method: Effect of ammonia solution concentration and TEOS concentration

abstract: The unique structural features and suitability of the SiO2 micro particles in different application areas have mobilized a worldwide interest in the last few decades. In this report a classical method known as the Stober method has been used to synthesize silica micro spheres. These microparticles have been synthesized by the reaction of tetraethyl orthosilicate (Si(OC2H5)4, TEOS) (silica precursor) with water in an alcoholic medium (e.g. ethanol) in the presence of KCl electrolyte and ammonia as a catalyst. It has been observed that the size of the microparticles closely depends on the amount of the TEOS and ammonia. A decrease in the size of micro particles from 2.1 micrometer to 1.7 micrometer has been confirmed as the amount of TEOS increases from 3.5 ml to 6.4 ml respectively. In similar way a decrease in the diameter of the micro particles from 2.1 micrometer to 1.7 micrometer has been observed with increase in the ammonia content from 3 ml to 9 ml.


title: Quantum fluctuations of the friction force induced by the dynamical Casimir emission

abstract: We study a quantum model of dynamical Casimir effect in an optical cavity enclosed by a freely moving mirror attached to a harmonic spring. The quantum fluctuations of the friction force exerted by the dynamical Casimir emission onto the moving mirror are investigated, as well as their consequences on the quantum state of the mirror oscillation. Observable signatures of the interplay of the nonlinear nature of the effective mirror-cavity coupling and of the discreteness of the emitted photons are pointed out, in particular as a fast diffusion of the mirror oscillation phase. These results are interpreted in the language of quantum field theories on curved space-times as a breakdown of the standard semiclassical theory of the backreaction.


title: Quantizing momentum transport in bilayer graphene

abstract: The momentum transport in ultraclean bilayer graphene is characterized by the viscous transport. In quantizing magnetic field the momentum current passes through the guiding centers of cyclotron orbits. In this study we derive the quantized Hall viscosity of bilayer graphene that is the next topological feature after the quantum Hall effect. This can be detected in the non-local magnetoresistivity measurements that varies with the quantized steps of magnetoresistivity.


title: The Impact of Peculiar Velocities on the Estimation of the Hubble Constant from Gravitational Wave Standard Sirens

abstract: In this work we investigate the systematic uncertainties that arise from the calculation of the peculiar velocity when estimating the Hubble constant ($H_0$) from gravitational wave standard sirens. We study the GW170817 event and the estimation of the peculiar velocity of its host galaxy, NGC 4993, when using Gaussian smoothing over nearby galaxies. NGC 4993 being a relatively nearby galaxy, at $\sim 40 \ {\rm Mpc}$ away, is subject to a significant effect of peculiar velocities. We demonstrate a direct dependence of the estimated peculiar velocity value on the choice of smoothing scale. We show that when not accounting for this systematic, a bias of $\sim 200 \ {\rm km \ s ^{-1}}$ in the peculiar velocity incurs a bias of $\sim 4 \ {\rm km \ s ^{-1} \ Mpc^{-1}}$ on the Hubble constant. We formulate a Bayesian model that accounts for the dependence of the peculiar velocity on the smoothing scale and by marginalising over this parameter we remove the need for a choice of smoothing scale. The proposed model yields $H_0 = 68.6 ^{+14.0}_{-8.5}~{\rm km\ s^{-1}\ Mpc^{-1}}$. We demonstrate that under this model a more robust unbiased estimate of the Hubble constant from nearby GW sources is obtained.

categories: astro-ph.CO astro-ph.GA astro-ph.HE gr-qc


title: Flavor structures of charged fermions and massive neutrinos

abstract: Most of the free parameters in the Standard Model (SM) -- a quantum field theory which has successfully elucidated the behaviors of strong, weak and electromagnetic interactions of all the known fundamental particles, come from the lepton and quark flavors. The discovery of neutrino oscillations has proved that the SM is incomplete, at least in its lepton sector; and thus the door of opportunity is opened to exploring new physics beyond the SM and solving a number of flavor puzzles. In this review article we give an overview of important progress made in understanding the mass spectra, flavor mixing patterns, CP-violating effects and underlying flavor structures of charged leptons, neutrinos and quarks in the past twenty years. After introducing the standard pictures of fermion mass generation, flavor mixing and CP violation in the SM extended with the presence of massive Dirac or Majorana neutrinos, we briefly summarize current experimental knowledge about the flavor parameters of quarks and leptons. Various ways of describing flavor mixing and CP violation are discussed, the renormalization-group evolution of flavor parameters is illuminated, and the matter effects on neutrino oscillations are interpreted. Taking account of possible extra neutrino species, we propose a standard parametrization of the $6\times 6$ flavor mixing matrix and comment on the phenomenological aspects of heavy, keV-scale and light sterile neutrinos. We pay particular attention to those novel and essentially model-independent ideas or approaches regarding how to determine the Yukawa textures of Dirac fermions and the effective mass matrix of Majorana neutrinos, including simple discrete and continuous flavor symmetries. An outlook to the future development in unravelling the mysteries of flavor structures is also given.


title: Causal inference and machine learning approaches for evaluation of the health impacts of large-scale air quality regulations

abstract: We develop a causal inference approach to estimate the number of adverse health events prevented by large-scale air quality regulations via changes in exposure to multiple pollutants. This approach is motivated by regulations that impact pollution levels in all areas within their purview. We introduce a causal estimand called the Total Events Avoided (TEA) by the regulation, defined as the difference in the expected number of health events under the no-regulation pollution exposures and the observed number of health events under the with-regulation pollution exposures. We propose a matching method and a machine learning method that leverage high-resolution, population-level pollution and health data to estimate the TEA. Our approach improves upon traditional methods for regulation health impact analyses by clarifying the causal identifying assumptions, utilizing population-level data, minimizing parametric assumptions, and considering the impacts of multiple pollutants simultaneously. To reduce model-dependence, the TEA estimate captures health impacts only for units in the data whose anticipated no-regulation features are within the support of the observed with-regulation data, thereby providing a conservative but data-driven assessment to complement traditional parametric approaches. We apply these methods to investigate the health impacts of the 1990 Clean Air Act Amendments in the US Medicare population.


title: An Automatic Genetic Algorithm Framework for the Optimization of Three-dimensional Surgical Plans of Forearm Corrective Osteotomies

abstract: 3D computer-assisted corrective osteotomy has become the state-of-the-art for surgical treatment of complex bone deformities. Despite available technologies, the automatic generation of clinically acceptable, ready-to-use preoperative planning solutions is currently not possible for such pathologies. Multiple contradicting and mutually dependent objectives have to be considered, as well as clinical and technical constraints, generally requiring iterative manual adjustments. This leads to unnecessary efforts and unbearable clinical costs, hindering also the quality of patient treatment. In this paper, we propose an optimization framework for the generation of ready-to-use preoperative planning solutions in a fully automatic fashion. An automatic diagnostic assessment using patient-specific 3D models is performed for 3D malunion quantification and definition of the optimization parameters. Afterward, clinical objectives are translated into the optimization module, and controlled through tailored fitness functions based on a weighted and multi-staged optimization approach. The optimization is based on a genetic algorithm capable of solving multi-objective optimization problems with non-linear constraints. The framework outputs a complete preoperative planning solution including position and orientation of the osteotomy plane, transformation to achieve the bone reduction, and position and orientation of the fixation plate and screws. A qualitative validation was performed on 36 consecutive cases of radius osteotomy where solutions generated by the optimization algorithm (OA) were compared against the gold standard (GS) solutions generated by experienced surgeons. Solutions were blinded and presented to 6 readers, who voted OA solutions to be better in 55% of the time. The quantitative evaluation was based on different error measurements, showing average improvements with respect to the GS.


title: Time-step dependent force interpolation scheme for suppressing numerical Cherenkov instability in relativistic particle-in-cell simulations

abstract: The WT scheme, a piecewise polynomial force interpolation scheme with time-step dependency, is proposed in this paper for relativistic particle-in-cell (PIC) simulations. The WT scheme removes the lowest order numerical Cherenkov instability (NCI) growth rate for arbitrary time steps allowed by the Courant condition. While NCI from higher order resonances is still present, the numerical tests show that for smaller time steps, the numerical instability grows much slower than using the optimal time step found in previous studies. The WT scheme is efficient for improving the quality and flexibility of relativistic PIC simulations.

categories: physics.comp-ph astro-ph.HE physics.acc-ph physics.plasm-ph


title: Nonexponential decay of Feshbach molecules

abstract: We analyze the temporal behavior of the survival probability of an unstable $^6$Li Feshbach molecule close to the BCS-BEC crossover. We find different instances of nonexponential decay as the magnetic field approaches the resonance value, at which the molecule becomes stable. We observe a transition from an exponential decay towards a regime dominated by a stretched-exponential law.


title: A lower semicontinuity result for linearised elasto-plasticity coupled with damage in $W^{1,\gamma}$, $\gamma>1$

abstract: We prove the lower semicontinuity of functionals of the form \[ \int \limits_\Omega \! V(\alpha) \, \mathrm{d} |\mathrm{E} u| \, , \] with respect to the weak converge of $\alpha$ in $W^{1,\gamma}(\Omega)$, $\gamma > 1$, and the weak* convergence of $u$ in $BD(\Omega)$, where $\Omega \subset \mathbb{R}^n$. These functional arise in the variational modelling of linearised elasto-plasticity coupled with damage and their lower semicontinuity is crucial in the proof of existence of quasi-static evolutions. This is the first result achieved for subcritical exponents $\gamma < n$.


title: Repositioning Bikes with Carrier Vehicles and Bike Trailers in Bike Sharing Systems

abstract: Bike Sharing Systems (BSSs) have been adopted in many major cities of the world due to traffic congestion and carbon emissions. Although there have been approaches to exploiting either bike trailers via crowdsourcing or carrier vehicles to reposition bikes in the ``right'' stations in the ``right'' time, they do not jointly consider the usage of both bike trailers and carrier vehicles. In this paper, we aim to take advantage of both bike trailers and carrier vehicles to reduce the loss of demand with regard to the crowdsourcing of bike trailers and the fuel cost of carrier vehicles. In the experiment, we exhibit that our approach outperforms baselines in several datasets from bike sharing companies.


title: Localized solutions of the Dirac equation in free space and electromagnetic space-time crystals

abstract: Localized solutions of the Dirac equation for an electron moving in free space and electromagnetic field lattices with periodic dependence on space-time coordinates (electromagnetic space-time crystals) are treated using the expansions in basis wave functions. The techniques for calculating these functions with any prescribed accuracy are presented. It is shown that in the crystals created by two counterpropagating plane electromagnetic waves with the same or the opposite circular polarizations, the Dirac equation describing the basis functions reduces to matrix ordinary differential equations. These functions and the corresponding mean values of velocity, momentum, energy, and spin operators are found for the both types of crystals. Localized solutions describing the families of orthonormal beams in electromagnetic space-time crystals and free space, defined by a given set of orthonormal complex scalar functions on a two-dimensional manifold, are obtained. By way of illustration the orthonormal beams in free space and various localized states with complex vortex structure of probability currents, defined by the spherical harmonics, are presented. The obtained solutions have high probability density only in very small core regions. The evolution of wave packets with one-dimensional localization in the both types of crystals created by two circularly polarized waves is described.


title: Numerical simulations of NMR relaxation in chalk using local Robin boundary conditions

abstract: The interpretation of nuclear magnetic resonance (NMR) data is of interest in a number of fields. In \"{O}gren [Eur. Phys. J. B (2014) 87: 255] local boundary conditions for random walk simulations of NMR relaxation in digital domains were presented. Here, we have applied those boundary conditions to large, three-dimensional (3D) porous media samples. We compared the random walk results with known solutions and then applied them to highly structured 3D domains, from images derived using synchrotron radiation CT scanning of North Sea chalk samples. As expected, there were systematic errors caused by digitalization of the pore surfaces so we quantified those errors, and by using linear local boundary conditions, we were able to significantly improve the output. We also present a technique for treating numerical data prior to input into the ESPRIT algorithm for retrieving Laplace components of time series from NMR data (commonly called $T$-inversion).


title: Results from an extended Falcon all-sky survey for continuous gravitational waves

abstract: We present the results of an all-sky search for continuous gravitational wave signals with frequencies in the 200-600 Hz range and frequency derivative (spindown) from -1e-8 through 1.11e-9 Hz/s. Together with the results from [1], this search completes the all-sky survey for frequencies between 20 to 600 Hz on O1 data. It also demonstrates the scalability of our search on a parameter space 26 times larger than previously considered. The results presented here complement the LIGO O2 data results [2,3] with comparable when not better sensitivity and do not rely on data with irregularities in the noise-subtraction procedure. We establish strict upper limits which hold for worst-case signal parameters and dedicated upper limits for generic ~0 spindown signals, such as those expected from boson condensates around black holes.


title: Radiative association of atomic and ionic carbon

abstract: We present calculated cross sections and rate coefficients for the formation of the dicarbon cation (C$_2^+$) by the radiative association process in collisions of a C$(^3P)$ atom and a C$^+(^2P^o)$ ion. Molecular structure calculations for a number of low-lying doublet and quartet states of C$_2^+$ are used to obtain the potential energy surfaces and transition dipole moments coupling the states of interest, substantially increasing the available molecular data for C$_2^+$. Using a quantum-mechanical method, we explore a number of allowed transitions and determine those contributing to the radiative association process. The calculations extend the available data for this process down to the temperature of 100 K, where the rate coefficient is found to be about $2\times 10^{-18}$ cm$^3$/s. We provide analytical fits suitable for incorporation into astrochemical reaction databases.


title: On the Convergence of Approximate and Regularized Policy Iteration Schemes

abstract: Entropy regularized algorithms such as Soft Q-learning and Soft Actor-Critic, recently showed state-of-the-art performance on a number of challenging reinforcement learning (RL) tasks. The regularized formulation modifies the standard RL objective and thus generally converges to a policy different from the optimal greedy policy of the original RL problem. Practically, it is important to control the sub-optimality of the regularized optimal policy. In this paper, we establish sufficient conditions for convergence of a large class of regularized dynamic programming algorithms, unified under regularized modified policy iteration (MPI) and conservative value iteration (VI) schemes. We provide explicit convergence rates to the optimality depending on the decrease rate of the regularization parameter. Our experiments show that the empirical error closely follows the established theoretical convergence rates. In addition to optimality, we demonstrate two desirable behaviours of the regularized algorithms even in the absence of approximations: robustness to stochasticity of environment and safety of trajectories induced by the policy iterates.


title: On the distribution of periods of holomorphic cusp forms and zeroes of period polynomials

abstract: In this paper we determine the limiting distribution of the image of the Eichler--Shimura map or equivalently the limiting joint distribution of the coefficients of the period polynomials associated to a fixed cusp form. The limiting distribution is shown to be the distribution of a certain transformation of two independent random variables both of which are equidistributed on the circle $\mathbb{R}/\mathbb{Z}$, where the transformation is connected to the additive twist of the cuspidal $L$-function. Furthermore we determine the asymptotic behavior of the zeroes of the period polynomials of a fixed cusp form. We use the method of moments and the main ingredients in the proofs are additive twists of $L$-functions and bounds for both individual and sums of Kloosterman sums.


title: Role of Defects in Photocatalytic Water Splitting: Monodoped vs Codoped SrTiO$_3$

abstract: Using the hybrid density functional theory and \textit{ab initio} atomistic thermodynamics, we report monodoping of non-metal (N) or metal (Mn) in SrTiO$_3$ can induce visible light absorption, but none of them are suitable to ameliorate the photocatalytic activity. Therefore, in order to achieve enhanced photocatalytic activity of SrTiO$_3$, we have employed codoped Mn and N simultaneously in SrTiO$_3$ to modulate its electronic properties effectively. In the codoped SrTiO$_3$, the recombination of photogenerated charge carriers is suppressed, and the diffusion and mobility are increased owing to the passivation of discrete localized states. Our results reveal that Mn$_{\textrm{Sr}}\textrm{N}_\textrm{O}$ (codoping of Mn at Sr site and N at O site) is the most promising candidate for enhancing the photocatalytic activity of SrTiO$_3$ under visible light.


title: Leavitt vs. $C^*$ pullbacks

abstract: We show that certain pullbacks of $*$-algebras equivariant with respect to a compact group action remain pullbacks upon completing to $C^*$-algebras. This unifies a number of results in the literature on graph algebras, showing that pullbacks of Leavitt path algebras lift automatically to pullbacks of the corresponding graph $C^*$-algebras.


title: Corrector equations in fluid mechanics: Effective viscosity of colloidal suspensions

abstract: Consider a colloidal suspension of rigid particles in a steady Stokes flow. In a celebrated work, Einstein argued that in the regime of dilute particles the system behaves at leading order like a Stokes fluid with some explicit effective viscosity. In the present contribution, we rigorously define a notion of effective viscosity, regardless of the dilute regime assumption. More precisely, we establish a homogenization result when particles are distributed according to a given stationary and ergodic random point process. The main novelty is the introduction and analysis of suitable corrector equations.


title: Non-Abelian Orbifolds of Lattice Vertex Operator Algebras

abstract: We construct orbifolds of holomorphic lattice Vertex Operator Algebras for non-Abelian finite automorphism groups $G$. To this end, we construct twisted modules for automorphisms $g$ together with the projective representation of the centralizer of $g$ on the twisted module. This allows us to extract the irreducible modules of the fixed point VOA $V^G$, and to compute their characters and modular transformation properties. We then construct holomorphic VOAs by adjoining such modules to $V^G$. Applying these methods to extremal lattices in $d=48$ and $d=72$, we construct more than fifty new holomorphic VOAs of central charge 48 and 72, many of which have a very small number of light states.


title: Twice differentiability of solutions to fully nonlinear parabolic equations near the boundary

abstract: In this paper, we prove $\mathcal{H}^{2+\alpha}$ regularity for viscosity solutions to non-convex fully nonlinear parabolic equations near the boundary. This constitutes the parabolic counterpart of a similar $C^{2, \alpha}$ regularity result due to Silvestre and Sirakov proved in [15] for solutions to non-convex fully nonlinear elliptic equations.


title: Resolving Linear Polarization due to Emission and Extinction of Aligned Dust Grains on NGC1333 IRAS4A with JVLA and ALMA

abstract: We report high angular resolution observations of linearly polarized dust emission towards the Class 0 young stellar object (YSO) NGC1333 IRAS4A (hereafter, IRAS4A) using the Karl G. Jansky Very Large Array (JVLA) at K (11.5-16.7 mm), Ka (8.1-10.3 mm), and Q bands (6.3-7.9 mm), and using the Atacama Large Millimeter Array (ALMA) at Band 6 (1.2 mm) and Band 7 (0.85-0.89 mm). On 100-1000 AU scales, all of these observations consistently trace the hourglass shaped magnetic field topology as shown in the previous studies. In the innermost 100 AU region of IRAS4A1, the polarization position angles (E-field) detected at 6.3-16.7 mm are consistent, however, are nearly 90 degrees offset from those detected at 1.2 mm and 0.85-0.89 mm. Such a 90 degree offset may be explained by that the inner $\sim$100 AU area is optically thick at wavelengths shorter than $\sim$1.5 mm, whereby the observations probe the absorption of aligned dust against the weakly or unpolarized warm dust emission from the innermost region. This can also consistently explain why the highest angular resolution ALMA images at Band 7 show that the polarization percentage increases with dust brightness temperature in the inner $\sim$100 AU region of IRAS4A1. Following this interpretation and assuming that the dust grains are aligned with the magnetic fields, the inferred magnetic field position angle based on the 90$^{\circ}$ rotated at 6.3-7.9 mm in the central peak of IRAS4A1 is $\sim-22^{\circ}$, which is approximately consistent with the outflow direction $\sim-9^{\circ}$.