title: The Harmonic Edit Distance

abstract: This short note introduces a new distance between strings, where the cost of an insertion or deletion is inversely proportional to the string length. It improves upon previous results by admitting a simple, explicit formula involving only the length of the longest common subsequence and satisfying the triangle inequality at the same time, while not requiring any parameter tuning.


title: Classification of bi-Hamiltonian pairs extended by isometries

abstract: The aim of this article is to classify pairs of first-order Hamiltonian operators of Dubrovin-Novikov type such that one of them has a non-local part defined by an isometry of its leading coefficient. An example of such bi-Hamiltonian pair was recently found for the constant astigmatism equation. We obtain a classification in the case of 2 dependent variables, and a significant new example that is an extension of a hydrodynamic type system obtained from a particular solution of the WDVV equations.


title: Multi-band behaviour of the TeV blazar PG 1553+113 in optical range on diverse timescales

abstract: Context. The TeV BL Lac object PG 1553+113 is one of the primary candidates for a binary supermassive black hole system. Aims. We study the flux and spectral variability of PG 1553+113 on intra-night to long-term timescales using (i) BVRI data collected over 76 nights from January 2016 to August 2019 involving nine optical telescopes and (ii) historical VR data (including ours) obtained for the period from 2005 to 2019. Methods. We analysed the light curves using various statistical tests, fitting and cross-correlation techniques, and methods for the search for periodicity. We examined the colour-magnitude diagrams before and after the corresponding light curves were corrected for the long-term variations. Results. Our intra-night monitoring, supplemented with literature data, results in a low duty cycle of ~(10-18)%. In April 2019, we recorded a flare, which marks the brightest state of PG 1553+113 for the period from 2005 to 2019: R = 13.2 mag. This flare is found to show a clockwise spectral hysteresis loop on its VR colour-magnitude diagram and a time lag in the sense that the V-band variations lead the R-band ones. We obtain estimates of the radius, the magnetic field strength, and the electron energy that characterize the emission region related to the flare. We find a median period of (2.21 +/- 0.04) years using the historical light curves. In addition, we detect a secondary period of about 210 days using the historical light curves corrected for the long-term variations. We briefly discuss the possible origin of this period.


title: Normed amenability and bounded cohomology over non-Archimedean fields

abstract: We study continuous bounded cohomology of totally disconnected locally compact groups with coefficients in a non-Archimedean valued field $K$. To capture the features of classical amenability that induce the vanishing of real bounded cohomology, we introduce the notion of normed $K$-amenability, of which we prove an algebraic characterization. It implies that normed $K$-amenable groups are locally elliptic, and it relates an invariant, the norm of a $K$-amenable group, to the order of its discrete finite $p$-subquotients, where $p$ is the characteristic of the residue field of $K$. Moreover, we prove a bounded-cohomological characterization for discrete groups. The algebraic characterization shows that normed $K$-amenability is a very restrictive condition, so the bounded cohomological one suggests that there should be plenty of groups with rich bounded cohomology with trivial $K$ coefficients. We explore this intuition by studying the injectivity and surjectivity of the comparison map, for which surprisingly general statements are available. Among these, we show that if either $K$ has positive characteristic or its residue field has characteristic 0, then the comparison map is injective in all degrees. If $K$ is a finite extension of $\mathbb{Q}_p$, we classify quasimorphisms of a group and relate them to its subgroup structure. For discrete groups, we show that suitable finiteness conditions imply that the comparison map is an isomorphism. A motivation as to why the comparison map is often an isomorphism, in stark contrast with the real case, is given by moving to topological spaces. We show that over a non-Archimedean field, bounded cohomology is a cohomology theory in the sense of Eilenberg--Steenrod, except for a weaker version of the additivity axiom which is however equivalent for finite disjoint unions. In particular there exists a Mayer--Vietoris sequence.


title: A Psychophysically Oriented Saliency Map Prediction Model

abstract: Visual attention is one of the most significant characteristics for selecting and understanding the outside redundancy world. The human vision system cannot process all information simultaneously due to the visual information bottleneck. In order to reduce the redundant input of visual information, the human visual system mainly focuses on dominant parts of scenes. This is commonly known as visual saliency map prediction. This paper proposed a new psychophysical saliency prediction architecture, WECSF, inspired by multi-channel model of visual cortex functioning in humans. The model consists of opponent color channels, wavelet transform, wavelet energy map, and contrast sensitivity function for extracting low-level image features and providing a maximum approximation to the human visual system. The proposed model is evaluated using several datasets, including the MIT1003, MIT300, TORONTO, SID4VAM, and UCF Sports datasets. We also quantitatively and qualitatively compare the saliency prediction performance with that of other state-of-the-art models. Our model achieved strongly stable and better performance with different metrics on natural images, psychophysical synthetic images and dynamic videos. Additionally, we found that Fourier and spectral-inspired saliency prediction models outperformed other state-of-the-art non-neural network and even deep neural network models on psychophysical synthetic images. It can be explained and supported by the Fourier Vision Hypothesis. In the meantime, we suggest that deep neural networks need specific architectures and goals to be able to predict salient performance on psychophysical synthetic images better and more reliably. Finally, the proposed model could be used as a computational model of primate vision system and help us understand mechanism of primate vision system.


title: Gravitational Waves from Disks Around Spinning Black Holes: Simulations in Full General Relativity

abstract: We present fully general-relativistic numerical evolutions of self-gravitating tori around spinning black holes with dimensionless spin $a/M = 0.7$ parallel or anti-parallel to the disk angular momentum. The initial disks are unstable to the hydrodynamic Papaloizou-Pringle Instability which causes them to grow persistent orbiting matter clumps. The effect of black hole spin on the growth and saturation of the instability is assessed. We find that the instability behaves similarly to prior simulations with non-spinning black holes, with a shift in frequency due to spin-induced changes in disk orbital period. Copious gravitational waves are generated by these systems, and we analyze their detectability by current and future gravitational wave observatories for large range of masses. We find that systems of $10 M_\odot$ - relevant for black hole-neutron star mergers - are detectable by Cosmic Explorer out to $\sim300$ Mpc, while DECIGO (LISA) will be able to detect systems of $1000 M_\odot$ ($10^5M_\odot$) - relevant for disks forming in collapsing supermassive stars - out to cosmological redshift of $z\sim5$ ($z\sim 1$). Computing the accretion rate of these systems we find that these systems may also be promising sources of coincident electromagnetic signals.


title: Designing locally maximally entangled quantum states with arbitrary local symmetries

abstract: One of the key ingredients of many LOCC protocols in quantum information is a multiparticle (locally) maximally entangled quantum state, aka a critical state, that possesses local symmetries. We show how to design critical states with arbitrarily large local unitary symmetry. We explain that such states can be realised in a quantum system of distinguishable traps with bosons or fermions occupying a finite number of modes. Then, local symmetries of the designed quantum state are equal to the unitary group of local mode operations acting diagonally on all traps. Therefore, such a group of symmetries is naturally protected against errors that occur in a physical realisation of mode operators. We also link our results with the existence of so-called strictly semistable states with particular asymptotic diagonal symmetries. Our main technical result states that the $N$th tensor power of any irreducible representation of $\mathrm{SU}(N)$ contains a copy of the trivial representation. This is established via a direct combinatorial analysis of Littlewood-Richardson rules utilising certain combinatorial objects which we call telescopes.


title: Exploring market power using deep reinforcement learning for intelligent bidding strategies

abstract: Decentralized electricity markets are often dominated by a small set of generator companies who control the majority of the capacity. In this paper, we explore the effect of the total controlled electricity capacity by a single, or group, of generator companies can have on the average electricity price. We demonstrate this through the use of ElecSim, a simulation of a country-wide energy market. We develop a strategic agent, representing a generation company, which uses a deep deterministic policy gradient reinforcement learning algorithm to bid in a uniform pricing electricity market. A uniform pricing market is one where all players are paid the highest accepted price. ElecSim is parameterized to the United Kingdom for the year 2018. This work can help inform policy on how to best regulate a market to ensure that the price of electricity remains competitive. We find that capacity has an impact on the average electricity price in a single year. If any single generator company, or a collaborating group of generator companies, control more than ${\sim}$11$\%$ of generation capacity and bid strategically, prices begin to increase by ${\sim}$25$\%$. The value of ${\sim}$25\% and ${\sim}$11\% may vary between market structures and countries. For instance, different load profiles may favour a particular type of generator or a different distribution of generation capacity. Once the capacity controlled by a generator company, which bids strategically, is higher than ${\sim}$35\%, prices increase exponentially. We observe that the use of a market cap of approximately double the average market price has the effect of significantly decreasing this effect and maintaining a competitive market. A fair and competitive electricity market provides value to consumers and enables a more competitive economy through the utilisation of electricity by both industry and consumers.


title: The dynamical vertex approximation for many-electron systems with spontaneously broken SU(2)-symmetry

abstract: We generalize the formalism of the dynamical vertex approximation (D$\Gamma$A) -- a diagrammatic extension of the dynamical mean-field theory (DMFT)-- to treat magnetically ordered phases. To this aim, we start by concisely illustrating the many-electron formalism for performing ladder resummations of Feynman diagrams in systems with broken SU(2)-symmetry, associated to ferromagnetic (FM) or antiferromagnetic (AF) order. We then analyze the algorithmic simplifications introduced by taking the local approximation of the two-particle irreducible vertex functions in the Bethe-Salpeter equations, which defines the ladder implementation of D$\Gamma$A for magnetic systems. The relation of this assumption with the DMFT limit of large coordination-number/ high-dimensions is explicitly discussed. As a last step, we derive the expression for the ladder D$\Gamma$A self-energy in the FM- and AF-ordered phases of the Hubbard model. The physics emerging in the AF-ordered case is explicitly illustrated by means of approximated calculations based on a static mean-field input for the D$\Gamma$A equations. The results obtained capture fundamental aspects of both metallic and insulating ground states of two-dimensional antiferromagnets, providing a reliable compass for future, more extensive applications of our approach. Possible routes to further develop diagrammatic-based treatments of magnetic phases in correlated electron systems are briefly outlined in the conclusions.


title: Tunable Ohmic contact in graphene/HfS$_2$ van der Waals heterostructure

abstract: With the use of density functional theory calculations and addition of van der Waals correction, the graphene/HfS$_2$ heterojunction is constructed, and its electronic properties are examined thoroughly. This interface is determined as $n$-type Ohmic and the impacts of different amounts of interlayer distance and strain on the contact are shown using Schottky barrier height and electron injection efficiency. Dipole moment and workfunction of the interface are also altered when subjected to change in these two categories. The transition between Ohmic to Schottky contact is also depicted to be possible by applying a perpendicular electric field, proving this to be yet another useful method for tuning different properties of this structure. The conclusions given in this paper can exert an immense amount of influence on the development of two-dimensional HfS$_2$ based devices in the future.


title: Jacobi Ensemble, Hurwitz Numbers and Wilson Polynomials

abstract: We express the topological expansion of the Jacobi Unitary Ensemble in terms of triple monotone Hurwitz numbers. This completes the combinatorial interpretation of the topological expansion of the classical unitary invariant matrix ensembles. We also provide effective formulae for generating functions of multipoint correlators of the Jacobi Unitary Ensemble in terms of Wilson polynomials, generalizing the known relations between one point correlators and Wilson polynomials.


title: Positive solutions and harmonic measure for Schr\"{o}dinger operators in uniform domains

abstract: We give bilateral pointwise estimates for positive solutions of the equation \begin{equation*} \left\{ \begin{aligned} -\triangle u & = \omega u \, \,& & \mbox{in} \, \, \Omega, \quad u \ge 0, \\ u & = f \, \, & &\mbox{on} \, \, \partial \Omega , \end{aligned} \right. \end{equation*} in a bounded uniform domain $\Omega\subset {\bf R}^n$, where $\omega$ is a locally finite Borel measure in $\Omega$, and $f\ge 0$ is integrable with respect to harmonic measure $d H^{x}$ on $\partial\Omega$. We also give sufficient and matching necessary conditions for the existence of a positive solution in terms of the exponential integrability of $M^{*} (m \omega)(z)=\int_\Omega M(x, z) m(x)\, d \omega (x)$ on $\partial\Omega$ with respect to $f \, d H^{x_0}$, where $M(x, \cdot)$ is Martin's function with pole at $x_0\in \Omega, m(x)=\min (1, G(x, x_0))$, and $G$ is Green's function. These results give bilateral bounds for the harmonic measure associated with the Schr\"{o}dinger operator $-\triangle - \omega $ on $\Omega$, and in the case $f=1$, a criterion for the existence of the gauge function. Applications to elliptic equations of Riccati type with quadratic growth in the gradient are given.


title: Listen, Look and Deliberate: Visual context-aware speech recognition using pre-trained text-video representations

abstract: In this study, we try to address the problem of leveraging visual signals to improve Automatic Speech Recognition (ASR), also known as visual context-aware ASR (VC-ASR). We explore novel VC-ASR approaches to leverage video and text representations extracted by a self-supervised pre-trained text-video embedding model. Firstly, we propose a multi-stream attention architecture to leverage signals from both audio and video modalities. This architecture consists of separate encoders for the two modalities and a single decoder that attends over them. We show that this architecture is better than fusing modalities at the signal level. Additionally, we also explore leveraging the visual information in a second pass model, which has also been referred to as a `deliberation model'. The deliberation model accepts audio representations and text hypotheses from the first pass ASR and combines them with a visual stream for an improved visual context-aware recognition. The proposed deliberation scheme can work on top of any well trained ASR and also enabled us to leverage the pre-trained text model to ground the hypotheses with the visual features. Our experiments on HOW2 dataset show that multi-stream and deliberation architectures are very effective at the VC-ASR task. We evaluate the proposed models for two scenarios; clean audio stream and distorted audio in which we mask out some specific words in the audio. The deliberation model outperforms the multi-stream model and achieves a relative WER improvement of 6% and 8.7% for the clean and masked data, respectively, compared to an audio-only model. The deliberation model also improves recovering the masked words by 59% relative.


title: A Semantic Framework for Enabling Radio Spectrum Policy Management and Evaluation

abstract: Because radio spectrum is a finite resource, its usage and sharing is regulated by government agencies. These agencies define policies to manage spectrum allocation and assignment across multiple organizations, systems, and devices. With more portions of the radio spectrum being licensed for commercial use, the importance of providing an increased level of automation when evaluating such policies becomes crucial for the efficiency and efficacy of spectrum management. We introduce our Dynamic Spectrum Access Policy Framework for supporting the United States government's mission to enable both federal and non-federal entities to compatibly utilize available spectrum. The DSA Policy Framework acts as a machine-readable policy repository providing policy management features and spectrum access request evaluation. The framework utilizes a novel policy representation using OWL and PROV-O along with a domain-specific reasoning implementation that mixes GeoSPARQL, OWL reasoning, and knowledge graph traversal to evaluate incoming spectrum access requests and explain how applicable policies were used. The framework is currently being used to support live, over-the-air field exercises involving a diverse set of federal and commercial radios, as a component of a prototype spectrum management system.


title: Photon echoes using atomic frequency combs in Pr:YSO -- experiment and semiclassical theory

abstract: Photon echoes in rare-earth-doped crystals are studied to understand the challenges of making broadband quantum memories using the atomic frequency comb (AFC) protocol in systems with hyperfine structure. The hyperfine structure of Pr^{3+} poses an obstacle to this goal because frequencies associated with the hyperfine transitions change the simple picture of modulation at an externally imposed frequency. The current work focuses on the intermediate case where the hyperfine spacing is comparable to the comb spacing, a challenging regime that has recently been considered. Operating in this regime may facilitate storing quantum information over a larger spectral range in such systems. In this work, we prepare broadband AFCs using optical combs with tooth spacings ranging from 1 MHz to 16 MHz in fine steps, and measure transmission spectra and photon echoes for each. We predict the spectra and echoes theoretically using the optical combs as input to either a rate equation code or a density matrix code, which calculates the redistribution of populations. We then use the redistributed populations as input to a semiclassical theory using the frequency-dependent dielectric function. The two sets of predictions each give a good, but different account of the photon echoes.


title: Kimera-Multi: a System for Distributed Multi-Robot Metric-Semantic Simultaneous Localization and Mapping

abstract: We present the first fully distributed multi-robot system for dense metric-semantic Simultaneous Localization and Mapping (SLAM). Our system, dubbed Kimera-Multi, is implemented by a team of robots equipped with visual-inertial sensors, and builds a 3D mesh model of the environment in real-time, where each face of the mesh is annotated with a semantic label (e.g., building, road, objects). In Kimera-Multi, each robot builds a local trajectory estimate and a local mesh using Kimera. Then, when two robots are within communication range, they initiate a distributed place recognition and robust pose graph optimization protocol with a novel incremental maximum clique outlier rejection; the protocol allows the robots to improve their local trajectory estimates by leveraging inter-robot loop closures. Finally, each robot uses its improved trajectory estimate to correct the local mesh using mesh deformation techniques. We demonstrate Kimera-Multi in photo-realistic simulations and real data. Kimera-Multi (i) is able to build accurate 3D metric-semantic meshes, (ii) is robust to incorrect loop closures while requiring less computation than state-of-the-art distributed SLAM back-ends, and (iii) is efficient, both in terms of computation at each robot as well as communication bandwidth.


title: MM-COVID: A Multilingual and Multimodal Data Repository for Combating COVID-19 Disinformation

abstract: The COVID-19 epidemic is considered as the global health crisis of the whole society and the greatest challenge mankind faced since World War Two. Unfortunately, the fake news about COVID-19 is spreading as fast as the virus itself. The incorrect health measurements, anxiety, and hate speeches will have bad consequences on people's physical health, as well as their mental health in the whole world. To help better combat the COVID-19 fake news, we propose a new fake news detection dataset MM-COVID(Multilingual and Multidimensional COVID-19 Fake News Data Repository). This dataset provides the multilingual fake news and the relevant social context. We collect 3981 pieces of fake news content and 7192 trustworthy information from English, Spanish, Portuguese, Hindi, French and Italian, 6 different languages. We present a detailed and exploratory analysis of MM-COVID from different perspectives and demonstrate the utility of MM-COVID in several potential applications of COVID-19 fake news study on multilingual and social media.


title: Smoothness of densities for path-dependent SDEs under H\"ormander's condition

abstract: We establish the existence of smooth densities for solutions to a broad class of path-dependent SDEs under a H\"ormander-type condition. The classical scheme based on the reduced Malliavin matrix turns out to be unavailable in the path-dependent context. We approach the problem by lifting the given $n$-dimensional path-dependent SDE into a suitable $L_p$-type Banach space in such a way that the lifted Banach-space-valued equation becomes a state-dependent reformulation of the original SDE. We then formulate H\"ormander's bracket condition in $\mathbb R^n$ for non-anticipative SDE coefficients defining the Lie brackets in terms of vertical derivatives in the sense of the functional It\^o calculus. Our pathway to the main result engages an interplay between the analysis of SDEs in Banach spaces, Malliavin calculus, and rough path techniques.


title: Implications of Gravitational Waves for Supersymmetric Grand Unification

abstract: Supersymmetric grand unification based on $SO(10)$ is one of the most attractive paradigms in physics beyond the Standard Model. Inspired by the recent NANOGrav signal, we discuss the implications of detecting a stochastic gravitational wave background emitted by a network of cosmic strings for the $SO(10)$ grand unification. Starting from a minimal model with multiple steps of symmetry breaking, we show that it generally prefers a high intermediate scale above $10^{14}\, \mathrm{GeV}$ that is favored by observable primordial gravitational waves. The observed spectrum can potentially narrow the possible range of the cosmic string scale and restricts the unified couplings and the unification scale by requiring gauge coupling unification. As an indirect consequence of the high cosmic string scale, the monopole abundance places non-trivial constraints on the theory. These are complementary to the proton decay constraints and probe different facets of supersymmetric $SO(10)$ unification theories.


title: Exploiting collisions for sampling-based multicopter motion planning

abstract: Multicopters with collision-resilient designs can operate with trajectories involving collisions. This paper presents a sampling-based method that can exploit collisions for better motion planning. The method is built upon the basis of the RRT* algorithm and takes advantages of fast motion primitive generation and collision checking for multicopters. It generates collision states by detecting potential intersections between motion primitives and obstacles, and connects these states with other sampled states to form collision-inclusive trajectories. We show that allowing collision helps improve the performance of the sampling-based planner in narrow spaces like tunnels. Finally, an experiment of tracking the trajectory generated by the collision-inclusive planner is presented.


title: Frequency Gating: Improved Convolutional Neural Networks for Speech Enhancement in the Time-Frequency Domain

abstract: One of the strengths of traditional convolutional neural networks (CNNs) is their inherent translational invariance. However, for the task of speech enhancement in the time-frequency domain, this property cannot be fully exploited due to a lack of invariance in the frequency direction. In this paper we propose to remedy this inefficiency by introducing a method, which we call Frequency Gating, to compute multiplicative weights for the kernels of the CNN in order to make them frequency dependent. Several mechanisms are explored: temporal gating, in which weights are dependent on prior time frames, local gating, whose weights are generated based on a single time frame and the ones adjacent to it, and frequency-wise gating, where each kernel is assigned a weight independent of the input data. Experiments with an autoencoder neural network with skip connections show that both local and frequency-wise gating outperform the baseline and are therefore viable ways to improve CNN-based speech enhancement neural networks. In addition, a loss function based on the extended short-time objective intelligibility score (ESTOI) is introduced, which we show to outperform the standard mean squared error (MSE) loss function.


title: Synthesis of Interval Observers for Nonlinear Discrete-Time Systems

abstract: A systematic procedure to synthesize interval observers for nonlinear discrete-time systems is proposed. The feedback gains and other matrices are found from the solutions to semidefinite feasibility programs. Two cases are considered: (1) the interval observer is in the same coordinate frame as the given system, and (2) the interval observer uses a coordinate transformation. The conditions where coordinate transformations are necessary are detailed. Numerical examples are provided to showcase the effectiveness of the interval observers and demonstrate their application to sampled-data systems.


title: Image Clustering using an Augmented Generative Adversarial Network and Information Maximization

abstract: Image clustering has recently attracted significant attention due to the increased availability of unlabelled datasets. The efficiency of traditional clustering algorithms heavily depends on the distance functions used and the dimensionality of the features. Therefore, performance degradation is often observed when tackling either unprocessed images or high-dimensional features extracted from processed images. To deal with these challenges, we propose a deep clustering framework consisting of a modified generative adversarial network (GAN) and an auxiliary classifier. The modification employs Sobel operations prior to the discriminator of the GAN to enhance the separability of the learned features. The discriminator is then leveraged to generate representations as the input to an auxiliary classifier. An adaptive objective function is utilised to train the auxiliary classifier for clustering the representations, aiming to increase the robustness by minimizing the divergence of multiple representations generated by the discriminator. The auxiliary classifier is implemented with a group of multiple cluster-heads, where a tolerance hyper-parameter is used to tackle imbalanced data. Our results indicate that the proposed method significantly outperforms state-of-the-art clustering methods on CIFAR-10 and CIFAR-100, and is competitive on the STL10 and MNIST datasets.


title: On the competition for ultimately stiff and strong architected materials

abstract: Advances in manufacturing techniques may now realize virtually any imaginable microstructures, paving the way for architected materials with properties beyond those found in nature. This has lead to a quest for closing gaps in property-space by carefully designed metamaterials. Development of mechanical metamaterials has gone from open truss lattice structures to closed plate lattice structures with stiffness close to theoretical bounds. However, the quest for optimally stiff and strong materials is complex. Plate lattice structures have higher stiffness and (yield) strength but are prone to buckling at low volume fractions. Hence here, truss lattice structures may still be optimal. To make things more complicated, hollow trusses or structural hierarchy bring closed-walled microstructures back in the competition. Based on analytical and numerical studies of common microstructures from the literature, we provide higher order interpolation schemes for their effective stiffness and (buckling) strength. Furthermore, we provide a case study based on multi-property Ashby charts for weight-optimal porous beams under bending, that demonstrates the intricate interplay between structure and microarchitecture that plays the key role in the design of ultimate load carrying structures. The provided interpolation schemes may also be used to account for microstructural yield and buckling in multiscale design optimization schemes.


title: Metrics also Disagree in the Low Scoring Range: Revisiting Summarization Evaluation Metrics

abstract: In text summarization, evaluating the efficacy of automatic metrics without human judgments has become recently popular. One exemplar work concludes that automatic metrics strongly disagree when ranking high-scoring summaries. In this paper, we revisit their experiments and find that their observations stem from the fact that metrics disagree in ranking summaries from any narrow scoring range. We hypothesize that this may be because summaries are similar to each other in a narrow scoring range and are thus, difficult to rank. Apart from the width of the scoring range of summaries, we analyze three other properties that impact inter-metric agreement - Ease of Summarization, Abstractiveness, and Coverage. To encourage reproducible research, we make all our analysis code and data publicly available.


title: Lipkin model on a quantum computer

abstract: Atomic nuclei are important laboratories for exploring and testing new insights into the universe, such as experiments to directly detect dark matter or explore properties of neutrinos. The targets of interest are often heavy, complex nuclei that challenge our ability to reliably model them (as well as quantify the uncertainty of those models) with classical computers. Hence there is great interest in applying quantum computation to nuclear structure for these applications. As an early step in this direction, especially with regards to the uncertainties in the relevant quantum calculations, we develop circuits to implement variational quantum eigensolver (VQE) algorithms for the Lipkin-Meshkov-Glick model, which is often used in the nuclear physics community as a testbed for many-body methods. We present quantum circuits for VQE for two and three particles and discuss the construction of circuits for more particles. Implementing the VQE for a two-particle system on the IBM Quantum Experience, we identify initialization and two-qubit gates as the largest sources of error. We find that error mitigation procedures reduce the errors in the results significantly, but additional quantum hardware improvements are needed for quantum calculations to be sufficiently accurate to be competitive with the best current classical methods.


title: Topological obstructed atomic limit by annihilating Dirac fermions

abstract: We show that annihilating a pair of Dirac fermions implies a topological transition from the critical semi-metallic phase to an Obstructed Atomic Limit (OAL) insulator phase instead of a trivial insulator. This is shown to happen because of branch-cuts in the phase of the wave functions, leading to non trivial Zak phase along certain directions. To this end, we study their Z$_2$ invariant and also study the phase transition using Entanglement Entropy. We use low energy Hamiltonians and numerical result from model systems to show this effect. These transitions are observed in realistic materials including strained graphene and buckled honeycomb group-V (Sb/As).


title: On the permanence of renormalons in compactified spaces

abstract: We investigate the existence and behavior of renormalon singularities with respect to $d$ spatial compactifications and quasiperiodic boundary conditions. Employing a toy model (scalar field theory with quartic interaction) we find that the size of the compactification and the number of compactified dimensions do not influence the number and the location of the renormalon poles. The only influence occurs in the residues. We enforce the need to carefully check the asymptotic approximations every time there is some result about the appearance of new renormalon poles or their cancellation.


title: Network Optimization via Smooth Exact Penalty Functions Enabled by Distributed Gradient Computation

abstract: This paper proposes a distributed algorithm for a network of agents to solve an optimization problem with separable objective function and locally coupled constraints. Our strategy is based on reformulating the original constrained problem as the unconstrained optimization of a smooth (continuously differentiable) exact penalty function. Computing the gradient of this penalty function in a distributed way is challenging even under the separability assumptions on the original optimization problem. Our technical approach shows that the distributed computation problem for the gradient can be formulated as a system of linear algebraic equations defined by separable problem data. To solve it, we design an exponentially fast, input-to-state stable distributed algorithm that does not require the individual agent matrices to be invertible. We employ this strategy to compute the gradient of the penalty function at the current network state. Our distributed algorithmic solver for the original constrained optimization problem interconnects this estimation with the prescription of having the agents follow the resulting direction. Numerical simulations illustrate the convergence and robustness properties of the proposed algorithm.


title: Enabling DER Participation in Frequency Regulation Markets

abstract: Distributed energy resources (DERs) are playing an increasing role in ancillary services for the bulk grid, particularly in frequency regulation. In this paper, we propose a framework for collections of DERs, combined to form microgrids and controlled by aggregators, to participate in frequency regulation markets. Our approach covers both the identification of bids for the market clearing stage and the mechanisms for the real-time allocation of the regulation signal. The proposed framework is hierarchical, consisting of a top layer and a bottom layer. The top layer consists of the aggregators communicating in a distributed fashion to optimally disaggregate the regulation signal requested by the system operator. The bottom layer consists of the DERs inside each microgrid whose power levels are adjusted so that the tie line power matches the output of the corresponding aggregator in the top layer. The coordination at the top layer requires the knowledge of cost functions, ramp rates and capacity bounds of the aggregators. We develop meaningful abstractions for these quantities respecting the power flow constraints and taking into account the load uncertainties, and propose a provably correct distributed algorithm for optimal disaggregation of regulation signal amongst the microgrids.


title: Reliable Off-policy Evaluation for Reinforcement Learning

abstract: In a sequential decision-making problem, off-policy evaluation estimates the expected cumulative reward of a target policy using logged trajectory data generated from a different behavior policy, without execution of the target policy. Reinforcement learning in high-stake environments, such as healthcare and education, is often limited to off-policy settings due to safety or ethical concerns, or inability of exploration. Hence it is imperative to quantify the uncertainty of the off-policy estimate before deployment of the target policy. In this paper, we propose a novel framework that provides robust and optimistic cumulative reward estimates using one or multiple logged trajectories data. Leveraging methodologies from distributionally robust optimization, we show that with proper selection of the size of the distributional uncertainty set, these estimates serve as confidence bounds with non-asymptotic and asymptotic guarantees under stochastic or adversarial environments. Our results are also generalized to batch reinforcement learning and are supported by empirical analysis.


title: The Concept of Average Loop Impact as a System-Wide Measure of Feedback Dominance Analysis

abstract: In system dynamics, the concept of loop impact measures the effect of a feedback loop on the curvature in the behaviour of the stocks in the loop (Hayward & Boswell, 2014). It is a ratio measure of the acceleration imparted by the loop into a stock and can also be thought of as a ratio measure of the force exerted between adjacent stocks in the loop (Hayward & Roach, 2017). As such, a loop of n stocks is described by n impacts. Loop impact is used to examine regions of loop dominance in stock behaviour. Sometimes, it is helpful to present a dominance analysis for a complete system rather than an individual stock. This paper introduces the concept of average loop impact to explore such a system-wide loop dominance analysis.


title: Flexible confinement leads to multiple relaxation regimes in glassy colloidal liquids

abstract: Understanding relaxation of supercooled fluids is a major challenge and confining such systems can lead to bewildering behaviour. Here we exploit an optically confined colloidal model system in which we use reduced pressure as a control parameter. The dynamics of the system are ``Arrhenius'' at low and moderate pressure, but at higher pressures relaxation is faster than expected. We associate this faster relaxation with a decrease in density adjacent to the confining boundary due to local ordering in the system enabled by the flexible wall.


title: Evolution of Artificial Intelligent Plane

abstract: With the growth of the internet, it is becoming hard to manage, configure and monitor networks. Recent trends to control and operate them is artificial intelligence based automation to minimize human intervention. Albeit this concept has been introduced since a decade with several different names, but the underlying goal remains the same, which is to make network intelligent enough to assemble, reassemble if configuration changes, and detect a problem on its own and fix it. As a result, in addition to Data Plane, Control Plane and Management Plane, a new plane called Artificial Intelligence (AI) Plane is introduced. Our main objective is to analyze all major AI plane techniques, frameworks and algorithms proposed in various types of networks. We propose a comprehensive and network independent framework to cover all aspects of AI plane, in particular we provide a systematically means of comparison. In conjunction to make AI plane understand simpler, this framework highlights relevant challenges and design considerations for future research. To the best of our knowledge this is the first survey report which represents a complete comparison of AI planes with their investigation issues in several types of networks.


title: Ensemble Knowledge Distillation for CTR Prediction

abstract: Recently, deep learning-based models have been widely studied for click-through rate (CTR) prediction and lead to improved prediction accuracy in many industrial applications. However, current research focuses primarily on building complex network architectures to better capture sophisticated feature interactions and dynamic user behaviors. The increased model complexity may slow down online inference and hinder its adoption in real-time applications. Instead, our work targets at a new model training strategy based on knowledge distillation (KD). KD is a teacher-student learning framework to transfer knowledge learned from a teacher model to a student model. The KD strategy not only allows us to simplify the student model as a vanilla DNN model but also achieves significant accuracy improvements over the state-of-the-art teacher models. The benefits thus motivate us to further explore the use of a powerful ensemble of teachers for more accurate student model training. We also propose some novel techniques to facilitate ensembled CTR prediction, including teacher gating and early stopping by distillation loss. We conduct comprehensive experiments against 12 existing models and across three industrial datasets. Both offline and online A/B testing results show the effectiveness of our KD-based training strategy.


title: Graphene-based Wireless Agile Interconnects for Massive Heterogeneous Multi-chip Processors

abstract: The main design principles in computer architecture have recently shifted from a monolithic scaling-driven approach to the development of heterogeneous architectures that tightly co-integrate multiple specialized processor and memory chiplets. In such data-hungry multi-chip architectures, current Networks-in-Package (NiPs) may not be enough to cater to their heterogeneous and fast-changing communication demands. This position paper makes the case for wireless in-package nanonetworking as the enabler of efficient and versatile wired-wireless interconnect fabrics for massive heterogeneous processors. To that end, the use of graphene-based antennas and transceivers with unique frequency-beam reconfigurability in the terahertz band is proposed. The feasibility of such a nanonetworking vision and the main research challenges towards its realization are analyzed from the technological, communications, and computer architecture perspectives.


title: LDU factorization

abstract: LU-factorization of matrices is one of the fundamental algorithms of linear algebra. The widespread use of supercomputers with distributed memory requires a review of traditional algorithms, which were based on the common memory of a computer. Matrix block recursive algorithms are a class of algorithms that provide coarse-grained parallelization. The block recursive LU factorization algorithm was obtained in 2010. This algorithm is called LEU-factorization. It, like the traditional LU-algorithm, is designed for matrices over number fields. However, it does not solve the problem of numerical instability. We propose a generalization of the LEU algorithm to the case of a commutative domain and its field of quotients. This LDU factorization algorithm decomposes the matrix over the commutative domain into a product of three matrices, in which the matrices L and U belong to the commutative domain, and the elements of the weighted truncated permutation matrix D are the elements inverse to the product of some pair of minors. All elements are calculated without errors, so the problem of instability does not arise.


title: Note on some properties of generalized affine Grassmannian slices

abstract: Braverman, Finkelberg and Nakajima introduced the generalized affine Grassmannian slices $\overline{\mathcal W}^{\lambda}_{\mu}$ and showed that they are Coulomb branches of $3d$ $\mathcal N=4$ gauge theories. We prove a conjecture of theirs that a transversal slice of $\mathcal W^{\nu}_{\mu}$ in $\overline{\mathcal W}^{\lambda}_{\mu}$ is isomorphic to $\overline{\mathcal W}^{\lambda}_{\nu}$. In addition, they conjecture that Coulomb branches of $3d$ $\mathcal N=4$ gauge theories have symplectic singularities, and we confirm this conjecture for generalized affine Grassmannian slices $\overline{\mathcal W}^{\lambda}_{\mu}$. Along the way we give a new proof of the smoothness of $\mathcal W^{\nu}_{\mu}$, which has been previously proven by Muthiah and Weekes using different method.


title: Constituents of graded Lie algebras of maximal class and chain lengths of thin Lie algebras

abstract: Thin Lie algebras are infinite-dimensional graded Lie algebras $L=\bigoplus_{i=1}^{\infty}$, with $\dim(L_1)=2$ and satisfying a covering property: for each $i$, each nonzero $z\in L_i$ satisfies $[zL_1]=L_{i+1}$. It follows that each homogeneous components $L_i$ is either one- or two-dimensional, and in the latter case is called a diamond. Hence $L_1$ is a diamond, and if there are no other diamonds then $L$ is a graded Lie algebra of maximal class. We present simpler proofs of some fundamental facts on graded Lie algebras of maximal class, and on thin Lie algebras, based on a uniform method, with emphasis on a polynomial interpretation. Among else, we determine the possible values for the most fundamental parameter of such algebras, which is the dimension of their largest metabelian quotient.


title: On Possibilistic Conditions to Contextuality and Nonlocality

abstract: Contextuality and nonlocality are non-classical properties exhibited by quantum statistics whose implications profoundly impact both foundations and applications of quantum theory. In this paper we provide some insights into logical contextuality and inequality-free proofs. The former can be understood as the possibility version of contextuality, while the latter refers to proofs of quantum contextuality/nonlocality that are not based on violations of some noncontextuality (or Bell) inequality. The present work aims to build a bridge between these two concepts from what we call possibilistic paradoxes, which are sets of possibilistic conditions whose occurrence implies contextuality/nonlocality. As main result, we demonstrate the existence of possibilistic paradoxes whose occurrence is a necessary and sufficient condition for logical contextuality in a very important class of scenarios. Finally, we discuss some interesting consequences arising from the completeness of these possibilistic paradoxes.


title: Learning Hybrid Control Barrier Functions from Data

abstract: Motivated by the lack of systematic tools to obtain safe control laws for hybrid systems, we propose an optimization-based framework for learning certifiably safe control laws from data. In particular, we assume a setting in which the system dynamics are known and in which data exhibiting safe system behavior is available. We propose hybrid control barrier functions for hybrid systems as a means to synthesize safe control inputs. Based on this notion, we present an optimization-based framework to learn such hybrid control barrier functions from data. Importantly, we identify sufficient conditions on the data such that feasibility of the optimization problem ensures correctness of the learned hybrid control barrier functions, and hence the safety of the system. We illustrate our findings in two simulations studies, including a compass gait walker.


title: Classification of Non-Supersymmetric Pati-Salam Heterotic String Models

abstract: We extend the classification of fermionic $\mathbb{Z}_2\times\mathbb{Z}_2$ heterotic string orbifolds to non--supersymmetric Pati--Salam (PS) models in two classes of vacua, that we dub $\tilde S$--models and $S$--models. The first correspond to compactifications of a tachyonic ten--dimensional vacuum, whereas the second correspond to compactifications of the ten--dimensional tachyon--free $SO(16)\times SO(16)$ heterotic string. In both cases we develop a systematic method to extract tachyon--free four--dimensional models. We show that tachyon--free configurations arise with probability $\sim0.002$ and $\sim0.01$ in the first and second case, respectively. We adapt the `fertility methodology' that facilitates the extraction of phenomenological models. We show that Pati--Salam $\tilde S$--models do not contain heavy Higgs scalar representations that are required to break the PS symmetry to the Standard Model and are therefore not phenomenologically viable. Hence, we argue that in $\tilde S$--models the $SO(10)$ GUT symmetry must be broken at the string scale to the Standard--like Model subgroup. We extract tachyon--free three generation models in both cases that contain an equal number of massless bosonic and fermionic degrees of freedom, ${\it i.e.}$ with $a_{00}=N_b^0-N_f^0=0$, and analyse their one--loop partition function.


title: The KdV hierarchy in terms of whole powers of an integro-differential operator

abstract: It is shown that equations of the Korteweg-de Vries hierarchy and their conservation laws can be expressed via the whole powers of an integro-differential operator and functions provided by them.


title: Irreducible Modules of Reductive Groups with Borel-stable Line

abstract: Let $p$ be a prime number and $\Bbbk=\bar{\mathbb{F}}_p$, the algebraic closure of the finite field $\mathbb{F}_p$ of $p$ elements. Let ${\bf G}$ be a connected reductive group defined over $\mathbb{F}_p$ and ${\bf B}$ be a Borel subgroup of ${\bf G}$ (not necessarily defined over $\mathbb{F}_p$). We show that for each (one-dimensional) character $\theta$ of ${\bf B}$ (not necessarily rational), there is a unique (up to isomorphism) irreducible $\Bbbk{\bf G}$-module $\mathbb{L}(\theta)$ containing $\theta$ as a $\Bbbk{\bf B}$-submodule, and moreover, $\mathbb{L}(\theta)$ is isomorphic to a parabolic induction from a finite-dimensional irreducible $\Bbbk{\bf L}$-module for some Levi subgroup ${\bf L}$ of ${\bf G}$. Thus, we have classified and constructed all (abstract) irreducible $\Bbbk{\bf G}$-modules with ${\bf B}$-stable line (i.e. an one-dimensional $\Bbbk{\bf B}$-submodule). As a byproduct, we give a new proof of a result of Borel and Tits on the classification of finite-dimensional irreducible $\Bbbk{\bf G}$-modules.


title: An Embedded Model Estimator for Non-Stationary Random Functions using Multiple Secondary Variables

abstract: An algorithm for non-stationary spatial modelling using multiple secondary variables is developed. It combines Geostatistics with Quantile Random Forests to give a new interpolation and stochastic simulation algorithm. This paper introduces the method and shows that it has consistency results that are similar in nature to those applying to geostatistical modelling and to Quantile Random Forests. The method allows for embedding of simpler interpolation techniques, such as Kriging, to further condition the model. The algorithm works by estimating a conditional distribution for the target variable at each target location. The family of such distributions is called the envelope of the target variable. From this, it is possible to obtain spatial estimates, quantiles and uncertainty. An algorithm to produce conditional simulations from the envelope is also developed. As they sample from the envelope, realizations are therefore locally influenced by relative changes of importance of secondary variables, trends and variability.


title: Practical Bayesian System Identification using Hamiltonian Monte Carlo

abstract: This paper considers Bayesian parameter estimation of dynamic systems using a Markov Chain Monte Carlo (MCMC) approach. The Metroplis-Hastings (MH) algorithm is employed, and the main contribution of the paper is to examine and illustrate the efficacy of a particular proposal density based on energy preserving Hamiltonian dynamics, which results in what is known in the statistics literature as ``Hamiltonian Monte--Carlo'' (HMC). The very significant utility of this approach is that, as will be illustrated, it greatly reduces (almost to the point of elimination) the typically very high correlation in the Metropolis--Hastings chain which has been observed by several authors to restrict the application of the MH approach to only very low dimension model structures. The paper illustrates how the HMC approach may be applied to both significant dimension linear and nonlinear model structures, even when the system order is unknown, and using both simulated and real data.


title: Joint Estimation of Expertise and Reward Preferences From Human Demonstrations

abstract: When a robot learns from human examples, most approaches assume that the human partner provides examples of optimal behavior. However, there are applications in which the robot learns from non-expert humans. We argue that the robot should learn not only about the human's objectives, but also about their expertise level. The robot could then leverage this joint information to reduce or increase the frequency at which it provides assistance to its human's partner or be more cautious when learning new skills from novice users. Similarly, by taking into account the human's expertise, the robot would also be able of inferring a human's true objectives even when the human's fails to properly demonstrate these objectives due to a lack of expertise. In this paper, we propose to jointly infer the expertise level and objective function of a human given observations of their (possibly) non-optimal demonstrations. Two inference approaches are proposed. In the first approach, inference is done over a finite, discrete set of possible objective functions and expertise levels. In the second approach, the robot optimizes over the space of all possible hypotheses and finds the objective function and expertise level that best explain the observed human behavior. We demonstrate our proposed approaches both in simulation and with real user data.


title: Improving reproducibility of quantum devices with completely undoped architectures

abstract: The reproducible operation of quantum electronic devices is a key requirement for future quantum information processing and spintronics applications. Traditionally quantum devices have been fabricated from modulation doped heterostructures, where there is an intrinsic lack of reproducibility due to the random potential from ionized donors. Here we show that we can greatly improve reproducibility over modulation doped devices by using a completely undoped architecture, with superior uniformity in the confinement potential and more consistent operating voltages for both electron and hole devices. Our results demonstrate that undoped heterostructures have significant advantages over modulation doping for reproducible manufacturing of quantum devices.


title: Oscillating 4-Polytopal Universe in Regge Calculus

abstract: The discretized closed Friedmann-Lema\^itre-Robertson-Walker (FLRW) universe with positive cosmological constant is investigated by Regge calculus. According to the Collins-Williams formalism, a hyperspherical Cauchy surface is replaced with regular 4-polytopes. Numerical solutions to the Regge equations approximate well to the continuum solution during the era of small edge length. Unlike the expanding polyhedral universe in three dimensions, the 4-polytopal universes repeat expansions and contractions. To go beyond the approximation using regular 4-polytopes we introduce pseudo-regular 4-polytopes by averaging the dihedral angles of the tessellated regular 600-cell. The degree of precision of the tessellation is called the frequency. Regge equations for the pseudo-regular 4-polytope have simple and unique expressions for any frequency. In the infinite frequency limit, the pseudo-regular 4-polytope model approaches the continuum FLRW universe.


title: Distance-Based Anomaly Detection for Industrial Surfaces Using Triplet Networks

abstract: Surface anomaly detection plays an important quality control role in many manufacturing industries to reduce scrap production. Machine-based visual inspections have been utilized in recent years to conduct this task instead of human experts. In particular, deep learning Convolutional Neural Networks (CNNs) have been at the forefront of these image processing-based solutions due to their predictive accuracy and efficiency. Training a CNN on a classification objective requires a sufficiently large amount of defective data, which is often not available. In this paper, we address that challenge by training the CNN on surface texture patches with a distance-based anomaly detection objective instead. A deep residual-based triplet network model is utilized, and defective training samples are synthesized exclusively from non-defective samples via random erasing techniques to directly learn a similarity metric between the same-class samples and out-of-class samples. Evaluation results demonstrate the approach's strength in detecting different types of anomalies, such as bent, broken, or cracked surfaces, for known surfaces that are part of the training data and unseen novel surfaces.


title: Localising In Complex Scenes Using Balanced Adversarial Adaptation

abstract: Domain adaptation and generative modelling have collectively mitigated the expensive nature of data collection and labelling by leveraging the rich abundance of accurate, labelled data in simulation environments. In this work, we study the performance gap that exists between representations optimised for localisation on simulation environments and the application of such representations in a real-world setting. Our method exploits the shared geometric similarities between simulation and real-world environments whilst maintaining invariance towards visual discrepancies. This is achieved by optimising a representation extractor to project both simulated and real representations into a shared representation space. Our method uses a symmetrical adversarial approach which encourages the representation extractor to conceal the domain that features are extracted from and simultaneously preserves robust attributes between source and target domains that are beneficial for localisation. We evaluate our method by adapting representations optimised for indoor Habitat simulated environments (Matterport3D and Replica) to a real-world indoor environment (Active Vision Dataset), showing that it compares favourably against fully-supervised approaches.


title: Deep Learning based Monocular Depth Prediction: Datasets, Methods and Applications

abstract: Estimating depth from RGB images can facilitate many computer vision tasks, such as indoor localization, height estimation, and simultaneous localization and mapping (SLAM). Recently, monocular depth estimation has obtained great progress owing to the rapid development of deep learning techniques. They surpass traditional machine learning-based methods by a large margin in terms of accuracy and speed. Despite the rapid progress in this topic, there are lacking of a comprehensive review, which is needed to summarize the current progress and provide the future directions. In this survey, we first introduce the datasets for depth estimation, and then give a comprehensive introduction of the methods from three perspectives: supervised learning-based methods, unsupervised learning-based methods, and sparse samples guidance-based methods. In addition, downstream applications that benefit from the progress have also been illustrated. Finally, we point out the future directions and conclude the paper.


title: What time is it? Temporal Analysis of Novels

abstract: Recognizing the flow of time in a story is a crucial aspect of understanding it. Prior work related to time has primarily focused on identifying temporal expressions or relative sequencing of events, but here we propose computationally annotating each line of a book with wall clock times, even in the absence of explicit time-descriptive phrases. To do so, we construct a data set of hourly time phrases from 52,183 fictional books. We then construct a time-of-day classification model that achieves an average error of 2.27 hours. Furthermore, we show that by analyzing a book in whole using dynamic programming of breakpoints, we can roughly partition a book into segments that each correspond to a particular time-of-day. This approach improves upon baselines by over two hours. Finally, we apply our model to a corpus of literature categorized by different periods in history, to show interesting trends of hourly activity throughout the past. Among several observations we find that the fraction of events taking place past 10 P.M jumps past 1880 - coincident with the advent of the electric light bulb and city lights.


title: Quantum-Inspired Algorithms from Randomized Numerical Linear Algebra

abstract: We create classical (non-quantum) dynamic data structures supporting queries for recommender systems and least-squares regression that are comparable to their quantum analogues. De-quantizing such algorithms has received a flurry of attention in recent years; we obtain sharper bounds for these problems. More significantly, we achieve these improvements by arguing that the previous quantum-inspired algorithms for these problems are doing leverage or ridge-leverage score sampling in disguise; these are powerful and standard techniques in randomized numerical linear algebra. With this recognition, we are able to employ the large body of work in numerical linear algebra to obtain algorithms for these problems that are simpler or faster (or both) than existing approaches. Our experiments demonstrate that the proposed data structures also work well on real-world datasets.


title: Characterization of Folding and Stretching in Mixing Enhancements

abstract: This research paper presents a 2D numerical model of an electrokinetic T-junction micromixer based on the stretching and folding theory presented by Ottino. Particle deformation was considered by simulating 2 $\mu m$ massless particles as 8-point square cells. Furthermore, stretching and folding definitions are proposed, compatible with a Lagrangian particle approach. Moreover, mixing homogeneity and consistency were measured in a 200 $\mu m$ square region of interest neighboring the outlet. Statistical analysis of the exiting mixing homogeneity at four different electric field conditions (93.5 V/cm, 109.8 V/cm, 126 V/cm and 117.9 V/cm, corresponding to a 23V, 27V, 29V and 31V potential difference) show that mixing consistency and homogeneity are not always increased with a higher electric field intensity, even after electrokinetic instabilities are formed, as increasingly unstable flow conditions decrease the ratio of folding to stretching ($m$), hindering the interaction between substances. Finally, an optimal proportion of stretching to folding was found for maximizing mixing efficiency at $m =0.0045$.


title: What Does CNN Shift Invariance Look Like? A Visualization Study

abstract: Feature extraction with convolutional neural networks (CNNs) is a popular method to represent images for machine learning tasks. These representations seek to capture global image content, and ideally should be independent of geometric transformations. We focus on measuring and visualizing the shift invariance of extracted features from popular off-the-shelf CNN models. We present the results of three experiments comparing representations of millions of images with exhaustively shifted objects, examining both local invariance (within a few pixels) and global invariance (across the image frame). We conclude that features extracted from popular networks are not globally invariant, and that biases and artifacts exist within this variance. Additionally, we determine that anti-aliased models significantly improve local invariance but do not impact global invariance. Finally, we provide a code repository for experiment reproduction, as well as a website to interact with our results at https://jakehlee.github.io/visualize-invariance.


title: Stable predictions for health related anticausal prediction tasks affected by selection biases: the need to deconfound the test set features

abstract: In health related machine learning applications, the training data often corresponds to a non-representative sample from the target populations where the learners will be deployed. In anticausal prediction tasks, selection biases often make the associations between confounders and the outcome variable unstable across different target environments. As a consequence, the predictions from confounded learners are often unstable, and might fail to generalize in shifted test environments. Stable prediction approaches aim to solve this problem by producing predictions that are stable across unknown test environments. These approaches, however, are sometimes applied to the training data alone with the hope that training an unconfounded model will be enough to generate stable predictions in shifted test sets. Here, we show that this is insufficient, and that improved stability can be achieved by deconfounding the test set features as well. We illustrate these observations using both synthetic data and real world data from a mobile health study.


title: Tensor Completion via Tensor QR Decomposition and $L_{2,1}$-Norm Minimization

abstract: In this paper, we consider the tensor completion problem, which has many researchers in the machine learning particularly concerned. Our fast and precise method is built on extending the $L_{2,1}$-norm minimization and Qatar Riyal decomposition (LNM-QR) method for matrix completions to tensor completions, and is different from the popular tensor completion methods using the tensor singular value decomposition (t-SVD). In terms of shortening the computing time, t-SVD is replaced with the method computing an approximate t-SVD based on Qatar Riyal decomposition (CTSVD-QR), which can be used to compute the largest $r \left(r>0 \right)$ singular values (tubes) and their associated singular vectors (of tubes) iteratively. We, in addition, use the tensor $L_{2,1}$-norm instead of the tensor nuclear norm to minimize our model on account of it is easy to optimize. Then in terms of improving accuracy, ADMM, a gradient-search-based method, plays a crucial part in our method. Numerical experimental results show that our method is faster than those state-of-the-art algorithms and have excellent accuracy.


title: Performance Optimization on Practical Quantum Random Number Generators: Modification on Min-entropy Evaluation and Acceleration on Post Processing

abstract: Quantum random number generation is a technique to generate random numbers by extracting randomness from specific quantum processes. As for practical random number generators, they are required not only to have no information leakage but also have a high speed at generating random sequences. In this paper, we consider the generators based on laser phase noise and propose a method to modify the estimation of min-entropy, which can guarantee no information leakage to the eavesdropper. We also accelerate post processing based on Toeplitz matrix with Fast Fourier Transformation, reducing its time complexity to O(nlogn). Furthermore, we discuss the influence on post processing speed by block length and find a proper block length to process a fixed-length raw sequence.


title: R-Matrix theory with level-dependent boundary condition parameters

abstract: I present a new formalism of the R-matrix theory where the formal parameters for the resonance energies and widths are identical to the observed values. By allowing the boundary condition parameters to vary from level to level, the freedom required to adjust the formal parameters for the pole positions to the observed values is obtained. The basis of the resulting theory becomes nonorthogonal, and I describe the procedure to construct a consistent R-matrix theory with such a nonorthogonal basis. And by adjusting the normalization of the states that form the basis, the formal parameters for the reduced decay widths also become the same as those observed, leaving no formal parameters that are different from the observed ones. A demonstration of the developed theory to the elastic 12C+p scattering data is presented.


title: Automatic Summarization of Open-Domain Podcast Episodes

abstract: We present implementation details of our abstractive summarizers that achieve competitive results on the Podcast Summarization task of TREC 2020. A concise textual summary that captures important information is crucial for users to decide whether to listen to the podcast. Prior work focuses primarily on learning contextualized representations. Instead, we investigate several less-studied aspects of neural abstractive summarization, including (i) the importance of selecting important segments from transcripts to serve as input to the summarizer; (ii) striking a balance between the amount and quality of training instances; (iii) the appropriate summary length and start/end points. We highlight the design considerations behind our system and offer key insights into the strengths and weaknesses of neural abstractive systems. Our results suggest that identifying important segments from transcripts to use as input to an abstractive summarizer is advantageous for summarizing long documents. Our best system achieves a quality rating of 1.559 judged by NIST evaluators---an absolute increase of 0.268 (+21%) over the creator descriptions.


title: Spectral Galerkin boundary element methods for high-frequency sound-hard scattering problems

abstract: This paper is concerned with the design of two different classes of Galerkin boundary element methods for the solution of high-frequency sound-hard scattering problems in the exterior of two-dimensional smooth convex scatterers. Both methods require a small increase in the order of $k^{\epsilon}$ (for any $\epsilon >0$) in the number of degrees of freedom to guarantee frequency independent precisions with increasing wavenumber $k$. In addition, the accuracy of the numerical solutions are independent of frequency provided sufficiently many terms in the asymptotic expansion are incorporated into the integral equation formulation. Numerical results validate our theoretical findings.


title: CxGBERT: BERT meets Construction Grammar

abstract: While lexico-semantic elements no doubt capture a large amount of linguistic information, it has been argued that they do not capture all information contained in text. This assumption is central to constructionist approaches to language which argue that language consists of constructions, learned pairings of a form and a function or meaning that are either frequent or have a meaning that cannot be predicted from its component parts. BERT's training objectives give it access to a tremendous amount of lexico-semantic information, and while BERTology has shown that BERT captures certain important linguistic dimensions, there have been no studies exploring the extent to which BERT might have access to constructional information. In this work we design several probes and conduct extensive experiments to answer this question. Our results allow us to conclude that BERT does indeed have access to a significant amount of information, much of which linguists typically call constructional information. The impact of this observation is potentially far-reaching as it provides insights into what deep learning methods learn from text, while also showing that information contained in constructions is redundantly encoded in lexico-semantics.


title: Mixture of Finite Mixtures Model for Basket Trial

abstract: With the recent paradigm shift from cytotoxic drugs to new generation of target therapy and immuno-oncology therapy during oncology drug developments, patients with various cancer (sub)types may be eligible to participate in a basket trial if they have the same molecular target. Bayesian hierarchical modeling (BHM) are widely used in basket trial data analysis, where they adaptively borrow information among different cohorts (subtypes) rather than fully pool the data together or doing stratified analysis based on each cohort. Those approaches, however, may have the risk of over shrinkage estimation because of the invalidated exchangeable assumption. We propose a two-step procedure to find the balance between pooled and stratified analysis. In the first step, we treat it as a clustering problem by grouping cohorts into clusters that share the similar treatment effect. In the second step, we use shrinkage estimator from BHM to estimate treatment effects for cohorts within each cluster under exchangeable assumption. For clustering part, we adapt the mixture of finite mixtures (MFM) approach to have consistent estimate of the number of clusters. We investigate the performance of our proposed method in simulation studies and apply this method to Vemurafenib basket trial data analysis.


title: Multiplicity one for min-max theory in compact manifolds with boundary and its applications

abstract: We prove the multiplicity one theorem for min-max free boundary minimal hypersurfaces in compact manifolds with boundary of dimension between 3 and 7 for generic metrics. To approach this, we develop existence and regularity theory for free boundary hypersurface with prescribed mean curvature, which includes the regularity theory for minimizers, compactness theory, and a generic min-max theory with Morse index bounds. As applications, we construct new free boundary minimal hypersurfaces in the unit balls in Euclidean spaces and self-shrinkers of the mean curvature flows with arbitrarily large entropy.


title: Automated data extraction of bar chart raster images

abstract: Objective: To develop software utilizing optical character recognition toward the automatic extraction of data from bar charts for meta-analysis. Methods: We utilized a multistep data extraction approach that included figure extraction, text detection, and image disassembly. PubMed Central papers that were processed in this manner included clinical trials regarding macular degeneration, a disease causing blindness with a heavy disease burden and many clinical trials. Bar chart characteristics were extracted in both an automated and manual fashion. These two approaches were then compared for accuracy. These characteristics were then compared using a Bland-Altman analysis. Results: Based on Bland-Altman analysis, 91.8% of data points were within the limits of agreement. By comparing our automated data extraction with manual data extraction, automated data extraction yielded the following accuracies: X-axis labels 79.5%, Y-tick values 88.6%, Y-axis label 88.6%, Bar value <5% error 88.0%. Discussion: Based on our analysis, we achieved an agreement between automated data extraction and manual data extraction. A major source of error was the incorrect delineation of 7s as 2s by optical character recognition library. We also would benefit from adding redundancy checks in the form of a deep neural network to boost our bar detection accuracy. Further refinements to this method are justified to extract tabulated and line graph data to facilitate automated data gathering for meta-analysis.


title: Posture Adjustment for a Wheel-legged Robotic System via Leg Force Control with Prescribed Transient Performance

abstract: This work proposes a force control strategy with prescribed transient performance for the legs of a wheel-legged robotic system to realize the posture adjustment on uneven roads. A dynamic model of the robotic system is established with the body postures as inputs and the leg forces as outputs, such that the desired forces for the wheel-legs are calculated by the posture reference and feedback. Based on the funnel control scheme, the legs realize force tracking with prescribed transient performance. To improve the robustness of the force control system, an event-based mechanism is designed for the online segment of the funnel function. As a result, the force tracking error of the wheel-leg evolves inside the performance funnel with proved convergence. The absence of Zeno behavior for the event-triggering condition is also guaranteed. The proposed control scheme is applied to the wheel-legged physical prototype for the performance of force tracking and posture adjustment. Multiple comparative experimental results are presented to validate the stability and effectiveness of the proposed methodology.


title: On the classification of quaternary optimal Hermitian LCD codes

abstract: We propose a method for a classification of quaternary Hermitian LCD codes having large minimum weights. As an example, we give a classification of quaternary optimal Hermitian LCD codes of dimension 3.


title: Renorming AM-spaces

abstract: We prove that any separable AM-space $X$ has an equivalent lattice norm for which no non-trivial surjective lattice isometries exist. Moreover, if $X$ has no more than one atom, then this new norm may be an AM-norm. As our main tool, we introduce and investigate the class of so called Benyamini spaces, which ``approximate'' general AM-spaces.


title: Uncertainty-Aware Constraint Learning for Adaptive Safe Motion Planning from Demonstrations

abstract: We present a method for learning to satisfy uncertain constraints from demonstrations. Our method uses robust optimization to obtain a belief over the potentially infinite set of possible constraints consistent with the demonstrations, and then uses this belief to plan trajectories that trade off performance with satisfying the possible constraints. We use these trajectories in a closed-loop policy that executes and replans using belief updates, which incorporate data gathered during execution. We derive guarantees on the accuracy of our constraint belief and probabilistic guarantees on plan safety. We present results on a 7-DOF arm and 12D quadrotor, showing our method can learn to satisfy high-dimensional (up to 30D) uncertain constraints, and outperforms baselines in safety and efficiency.


title: Overdamped Phase Diffusion in hBN Encapsulated Graphene Josephson Junctions

abstract: We investigate the zero-bias behavior of Josephson junctions made of encapsulated graphene boron nitride heterostructures in the long ballistic junction regime. For temperatures down to 2.7K, the junctions appear non-hysteretic with respect to the switching and retrapping currents $I_C$ and $I_R$. A small non-zero resistance is observed even around zero bias current, and scales with temperature as dictated by the phase diffusion mechanism. By varying the graphene carrier concentration we are able to confirm that the observed phase diffusion mechanism follows the trend for an overdamped Josephson junction. This is in contrast with the majority of graphene-based junctions which are underdamped and shorted by the environment at high frequencies.


title: Probing the spectrum of the Jaynes-Cummings-Rabi model by its isomorphism to an atom inside a parametric amplifier cavity

abstract: We show how the Jaynes--Cummings--Rabi model of cavity quantum electrodynamics can be realized via an isomorphism to the Hamiltonian of a qubit inside a parametric amplifier cavity. This realization clears the way to observe the full spectrum of the Rabi model via a probe applied to a parametric amplifier cavity containing a qubit and a parametric oscillator operating below threshold. An important outcome of the isomorphism is that the actual frequencies are replaced by detunings which make it feasible to reach the ultra-strong coupling regime. We find that inside this regime the probed spectrum displays a narrow resonance peak that is traced back to the transition between ground and first excited states. The exact form of these states is given at an energy crossing and then extended numerically. At the crossing, the eigenstates are entangled states of field and atom where the field is found inside squeezed cat states.


title: Near-Optimal Learning of Tree-Structured Distributions by Chow-Liu

abstract: We provide finite sample guarantees for the classical Chow-Liu algorithm (IEEE Trans.~Inform.~Theory, 1968) to learn a tree-structured graphical model of a distribution. For a distribution $P$ on $\Sigma^n$ and a tree $T$ on $n$ nodes, we say $T$ is an $\varepsilon$-approximate tree for $P$ if there is a $T$-structured distribution $Q$ such that $D(P\;||\;Q)$ is at most $\varepsilon$ more than the best possible tree-structured distribution for $P$. We show that if $P$ itself is tree-structured, then the Chow-Liu algorithm with the plug-in estimator for mutual information with $\widetilde{O}(|\Sigma|^3 n\varepsilon^{-1})$ i.i.d.~samples outputs an $\varepsilon$-approximate tree for $P$ with constant probability. In contrast, for a general $P$ (which may not be tree-structured), $\Omega(n^2\varepsilon^{-2})$ samples are necessary to find an $\varepsilon$-approximate tree. Our upper bound is based on a new conditional independence tester that addresses an open problem posed by Canonne, Diakonikolas, Kane, and Stewart~(STOC, 2018): we prove that for three random variables $X,Y,Z$ each over $\Sigma$, testing if $I(X; Y \mid Z)$ is $0$ or $\geq \varepsilon$ is possible with $\widetilde{O}(|\Sigma|^3/\varepsilon)$ samples. Finally, we show that for a specific tree $T$, with $\widetilde{O} (|\Sigma|^2n\varepsilon^{-1})$ samples from a distribution $P$ over $\Sigma^n$, one can efficiently learn the closest $T$-structured distribution in KL divergence by applying the add-1 estimator at each node.


title: Fine Perceptive GANs for Brain MR Image Super-Resolution in Wavelet Domain

abstract: Magnetic resonance imaging plays an important role in computer-aided diagnosis and brain exploration. However, limited by hardware, scanning time and cost, it's challenging to acquire high-resolution (HR) magnetic resonance (MR) image clinically. In this paper, fine perceptive generative adversarial networks (FP-GANs) is proposed to produce HR MR images from low-resolution counterparts. It can cope with the detail insensitive problem of the existing super-resolution model in a divide-and-conquer manner. Specifically, FP-GANs firstly divides an MR image into low-frequency global approximation and high-frequency anatomical texture in wavelet domain. Then each sub-band generative adversarial network (sub-band GAN) conquers the super-resolution procedure of each single sub-band image. Meanwhile, sub-band attention is deployed to tune focus between global and texture information. It can focus on sub-band images instead of feature maps to further enhance the anatomical reconstruction ability of FP-GANs. In addition, inverse discrete wavelet transformation (IDWT) is integrated into model for taking the reconstruction of whole image into account. Experiments on MultiRes_7T dataset demonstrate that FP-GANs outperforms the competing methods quantitatively and qualitatively.


title: Asymptotic expansion of smooth functions in polynomials in deterministic matrices and iid GUE matrices

abstract: Let $X^N$ be a family of $N\times N$ independent GUE random matrices, $Z^N$ a family of deterministic matrices, $P$ a self-adjoint non-commutative polynomial, that is for any $N$, $P(X^N)$ is self-adjoint, $f$ a smooth function. We prove that for any $k$, if $f$ is smooth enough, there exist deterministic constants $\alpha_i^P(f,Z^N)$ such that $$ \mathbb{E}\left[\frac{1}{N}\text{Tr}\left( f(P(X^N,Z^N)) \right)\right]\ =\ \sum_{i=0}^k \frac{\alpha_i^P(f,Z^N)}{N^{2i}}\ +\ \mathcal{O}(N^{-2k-2}) .$$ Besides the constants $\alpha_i^P(f,Z^N)$ are built explicitly with the help of free probability. In particular, if $x$ is a free semicircular system, then when the support of $f$ and the spectrum of $P(x,Z^N)$ are disjoint, for all $i$, $\alpha_i^P(f,Z^N)=0$. As a corollary, we prove that given $\alpha<1/2$, for $N$ large enough, every eigenvalue of $P(X^N,Z^N)$ is $N^{-\alpha}$-close from the spectrum of $P(x,Z^N)$.


title: A Computationally Efficient Classification Algorithm in Posterior Drift Model: Phase Transition and Minimax Adaptivity

abstract: In massive data analysis, training and testing data often come from very different sources, and their probability distributions are not necessarily identical. A feature example is nonparametric classification in posterior drift model where the conditional distributions of the label given the covariates are possibly different. In this paper, we derive minimax rate of the excess risk for nonparametric classification in posterior drift model in the setting that both training and testing data have smooth distributions, extending a recent work by Cai and Wei (2019) who only impose smoothness condition on the distribution of testing data. The minimax rate demonstrates a phase transition characterized by the mutual relationship between the smoothness orders of the training and testing data distributions. We also propose a computationally efficient and data-driven nearest neighbor classifier which achieves the minimax excess risk (up to a logarithm factor). Simulation studies and a real-world application are conducted to demonstrate our approach.


title: Topological Insulators-Based Magnetic Heterostructure

abstract: The combination of magnetism and topology in magnetic topological insulators (MTIs) has led to unprecedented advancements of time reversal symmetry-breaking topological quantum physics in the past decade. Compared with the uniform films, the MTI heterostructures provide a better framework to manipulate the spin-orbit coupling and spin properties. In this review, we summarize the fundamental mechanisms related to the physical orders host in (Bi,Sb)2(Te,Se)3-based hybrid systems. Besides, we provide an assessment on the general strategies to enhance the magnetic coupling and spin-orbit torque strength through different structural engineering approaches and effective interfacial interactions. Finally, we offer an outlook of MTI heterostructures-based spintronics applications, particularly in view of their feasibility to achieve room-temperature operation.


title: Focus beyond quadratic speedups for error-corrected quantum advantage

abstract: In this perspective, we discuss conditions under which it would be possible for a modest fault-tolerant quantum computer to realize a runtime advantage by executing a quantum algorithm with only a small polynomial speedup over the best classical alternative. The challenge is that the computation must finish within a reasonable amount of time while being difficult enough that the small quantum scaling advantage would compensate for the large constant factor overheads associated with error-correction. We compute several examples of such runtimes using state-of-the-art surface code constructions under a variety of assumptions. We conclude that quadratic speedups will not enable quantum advantage on early generations of such fault-tolerant devices unless there is a significant improvement in how we would realize quantum error-correction. While this conclusion persists even if we were to increase the rate of logical gates in the surface code by more than an order of magnitude, we also repeat this analysis for speedups by other polynomial degrees and find that quartic speedups look significantly more practical.


title: Quasi-self-similar fractals containing "Y" have dimension larger than one

abstract: Suppose $X$ is a compact connected metric space and $f: X \to X$ is a metric coarse expanding conformal map in the sense of Ha\"issinsky-Pilgrim. We show that if $X$ contains a homeomorphic copy of the letter "Y", then the Hausdorff dimension of $X$ is greater than one. As an application, we show that for a semi-hyperbolic rational map $f$ its Julia set $\mathcal{J}_f$ is quasi-symmetric equivalent to a space having Hausdorff dimension 1 if and only if $\mathcal{J}_f$ is homeomorphic to a circle or a closed interval.


title: "What Do You Mean by That?" A Parser-Independent Interactive Approach for Enhancing Text-to-SQL

abstract: In Natural Language Interfaces to Databases systems, the text-to-SQL technique allows users to query databases by using natural language questions. Though significant progress in this area has been made recently, most parsers may fall short when they are deployed in real systems. One main reason stems from the difficulty of fully understanding the users' natural language questions. In this paper, we include human in the loop and present a novel parser-independent interactive approach (PIIA) that interacts with users using multi-choice questions and can easily work with arbitrary parsers. Experiments were conducted on two cross-domain datasets, the WikiSQL and the more complex Spider, with five state-of-the-art parsers. These demonstrated that PIIA is capable of enhancing the text-to-SQL performance with limited interaction turns by using both simulation and human evaluation.


title: Unstable singular del Pezzo hypersurfaces with lower index

abstract: We give examples of K-unstable singular del Pezzo surfaces which are weighted hypersurfaces with index 2.


title: Variationally optimized orbital approach to trions in two-dimensional materials

abstract: In this work, trions in two-dimensional (2D) space are studied by variational method with trial wavefunctions being constructed by linear combinations of 2D slater-type orbitals (STOs). Via this method, trion energy levels and wavefunctions can be calculated efficiently with fairly good accuracy. We first apply this method to study trion energy levels in a 2D hydrogen-like system with respect to a wide range of mass ratios and screening lengths. We find that the ground-state trion is bound for the whole parameter range, and an excited-state trion with antisymmetric permutation of electrons with finite angular momentum is bound for large electron-hole mass ratios or long screening lengths. The binding energies of ground-state trions calculated by the present method agree well with those calculated by more sophisticated but computationally-demanding methods. We then calculate trion states in various monolayer transition metal dichalcogenides (TMDCs) by using this method with the inclusion of electron-hole exchange (EHX) interaction. For TMDCs, we found that the effect of EHX can be significant in determining the trion binding energy and the possible existence of stable excited-state trions.


title: Non-global logarithms in hadron collisions at $N_c=3$

abstract: We calculate the rapidity gap survival probability associated with the Higgs decay and Higgs plus dijet production in proton-proton collisions by resumming the leading non-global logarithms without any approximation to the number of colors. For dijet production, depending on partonic subprocesses, the probability involves various `color multipoles', i.e., the product of 4 ($qq\to qq$) or 6 ($qg\to qg$) or 8 ($gg\to gg$) Wilson lines. We calculate all these multipoles for a fixed dijet configuration and discuss the factorization of higher multipoles into lower multipoles as well as the validity of the large-$N_c$ approximation.


title: Bayesian bandwidth estimation for local linear fitting in nonparametric regression models

abstract: This paper presents a Bayesian sampling approach to bandwidth estimation for the local linear estimator of the regression function in a nonparametric regression model. In the Bayesian sampling approach, the error density is approximated by a location-mixture density of Gaussian densities with means the individual errors and variance a constant parameter. This mixture density has the form of a kernel density estimator of errors and is referred to as the kernel-form error density (c.f., Zhang et al., 2014). While Zhang et al. (2014) use the local constant (also known as the Nadaraya- Watson) estimator to estimate the regression function, we extend this to the local linear estimator, which produces more accurate estimation. The proposed investigation is motivated by the lack of data-driven methods for simultaneously choosing bandwidths in the local linear estimator of the regression function and kernel-form error density. Treating bandwidths as parameters, we derive an approximate (pseudo) likelihood and a posterior. A simulation study shows that the proposed bandwidth estimation outperforms the rule-of-thumb and cross-validation methods under the criterion of integrated squared errors. The proposed bandwidth estimation method is validated through a nonparametric regression model involving firm ownership concentration, and a model involving state-price density estimation.


title: Thurston's fragmentation and c-principles

abstract: In this paper, we generalize the original idea of Thurston for the so called Mather-Thurston's theorem for foliated bundles to prove new variants of this theorem for PL homeomorphisms, contactormorphisms. These versions answer questions posed by Gelfand -Fuks and Greenberg on PL foliations and Rybicki on contactomorphisms. The interesting point about the original Thurston's technique compared to the better known Segal-McDuff's proof of the Mather-Thurston theorem is that it gives a compactly supported c-principle theorem without knowing the relevant local statement on open balls. In the appendix, we show that Thurston's fragmentation implies the non-abelian Poincare duality theorem and its generalization using blob complexes.


title: A wall model based on neural networks for LES of turbulent flows over periodic hills

abstract: In this work, a data-driven wall model for turbulent flows over periodic hills is developed using the feedforward neural network (FNN) and wall-resolved LES (WRLES) data. To develop a wall model applicable to different flow regimes, the flow data in the near wall region at all streamwise locations are grouped together as the training dataset. In the developed FNN wall models, we employ the wall-normal distance, near-wall velocities and pressure gradients as input features and the wall shear stresses as output labels, respectively. The prediction accuracy and generalization capacity of the trained FNN wall model are examined by comparing the predicted wall shear stresses with the WRLES data. For the instantaneous wall shear stress, the FNN predictions show an overall good agreement with the WRLES data with some discrepancies observed at locations near the crest of the hill. The correlation coefficients between the FNN predictions and WRLES predictions are larger than 0.7 at most streamwise locations. For the mean wall shear stress, the FNN predictions agree very well with WRLES data. More importantly, overall good performance of the FNN wall model is observed for different Reynolds numbers, demonstrating its good generalization capacity.


title: Simulation analysis of the Compton-to-peak method for quantifying radiocesium deposition quantities

abstract: Compton-to-peak analysis is a method for selecting coefficients for converting count rates measured with in situ gamma ray spectrometry to radioactivity concentrations of $^{134}$Cs and $^{137}$Cs in the environment. Compton-to-peak analysis is based on the count rate ratio between the spectral regions containing scattered gamma rays to the primary $^{134}$Cs and $^{137}$Cs photopeaks (known as the Compton-to-peak ratio - RCP). RCP changes with the vertical distribution of $^{134}$Cs and $^{137}$Cs within the ground. Inferring this distribution enables the selection of appropriate count rate to activity concentration conversion coefficients. Here PHITS was used to simulate the dependency of RCP on different vertical distributions of $^{134}$Cs and $^{137}$Cs within the ground. A model was created of a LaBr$_3$(Ce) detector used in drone helicopter aerial surveys in Fukushima Prefecture. The model was verified by comparing simulated gamma ray spectra to measurements from test sources. Simulations were performed for the infinite half-space geometry to calculate the dependency of RCP on the mass depth distribution (exponential or uniform) of $^{134}$Cs and $^{137}$Cs within the ground, and on the altitude of the detector above the ground. The calculations suggest that the sensitivity of the Compton-to-peak method is greatest for the initial period following nuclear fallout when $^{134}$Cs and $^{137}$Cs are located close to the ground surface, and for aerial surveys conducted at low altitudes. This is because the relative differences calculated between RCP with respect to changes in the mass depth distribution were largest for these two cases. Data on the measurement height above and on the $^{134}$Cs to $^{137}$Cs activity ratio is necessary for applying the Compton-to-peak method to determine the distribution and radioactivity concentration of $^{134}$Cs and $^{137}$Cs within the ground.


title: Minimal controllability problems on linear structural descriptor systems

abstract: We consider minimal controllability problems (MCPs) on linear structural descriptor systems. We address two problems of determining the minimum number of input nodes such that a descriptor system is structurally controllable. We show that MCP0 for structural descriptor systems can be solved in polynomial time. This is the same as the existing results on typical structural linear time invariant (LTI) systems. However, the derivation of the result is considerably different because the derivation technique of the existing result cannot be used for descriptor systems. Instead, we use the Dulmage--Mendelsohn decomposition. Moreover, we prove that the results for MCP1 are different from those for usual LTI systems. In fact, MCP1 for descriptor systems is an NP-hard problem, while MCP1 for LTI systems can be solved in polynomial time.


title: Comparisons of Dirichlet, Neumann and Laplacian eigenvalues on graphs and applications

abstract: In this paper, we obtain some comparisons of the Dirichlet, Neumann and Laplacian eigenvalues on graphs. We also discuss the rigidity and some of their applications including some Lichnerowicz-type, Fiedler-type and Friedman-type estimates for Dirichlet eigenvalues and Neumann eigenvalues.