title: PETALO: a Time-of-Flight PET with liquid xenon

abstract: Liquid xenon offers several features, which make it suitable for applications in nuclear medicine, such as high scintillation yield and fast scintillation decay time. Moreover, being a continuous medium with a uniform response, liquid xenon allows one to avoid most of the geometrical distortions of conventional detectors based on scintillating crystals. In this paper, we describe how these properties have motivated the development of a novel concept for positron emission tomography scanners with Time-Of-Flight measurement, which combines a liquid xenon scintillating volume and silicon photomultipliers as sensors. A Monte Carlo investigation has pointed out that this technology would provide an excellent intrinsic time resolution, down to 70 ps. Also, the transparency of liquid xenon to UV and blue wavelengths opens the possibility of exploiting both scintillation and Cherenkov light for a high-sensitivity positron emission tomography scanner with Time-Of-Flight capabilities. Monte Carlo simulations point to a time resolution of 30-50 ps obtained using Cherenkov light. A prototype is being built to demonstrate the high resolution in energy, time and reconstruction of spatial coordinates of this concept, using a ring of 30 cm internal diameter and a depth of 3 cm instrumented with VUV-sensitive silicon photomultipliers.


title: Synthesizing Safe and Efficient Kernel Extensions for Packet Processing

abstract: Extended Berkeley Packet Filter (BPF) has emerged as a powerful method to extend packet-processing functionality in the Linux operating system. BPF allows users to write code in high-level languages (like C or Rust) and execute them at specific hooks in the kernel, such as the network device driver. To ensure safe execution of a user-developed BPF program in kernel context, Linux uses an in-kernel static checker. The checker allows a program to execute only if it can prove that the program is crash-free, always accesses memory within safe bounds, and avoids leaking kernel data. BPF programming is not easy. One, even modest-sized BPF programs are deemed too large to analyze and rejected by the kernel checker. Two, the kernel checker may incorrectly determine that a BPF program exhibits unsafe behaviors. Three, even small performance optimizations to BPF code (e.g., 5% gains) must be meticulously hand-crafted by expert developers. Traditional optimizing compilers for BPF are often inadequate since the kernel checker's safety constraints are incompatible with rule-based optimizations. We present K2, a program-synthesis-based compiler that automatically optimizes BPF bytecode with formal correctness and safety guarantees. K2 produces code with 6--26% reduced size, 1.36%--55.03% lower average packet-processing latency, and 0--4.75% higher throughput (packets per second per core) relative to the best clang-compiled program, across benchmarks drawn from Cilium, Facebook, and the Linux kernel. K2 incorporates several domain-specific techniques to make synthesis practical by accelerating equivalence-checking of BPF programs by 6 orders of magnitude.


title: Experimental observation of the origin and structure of elasto-inertial turbulence

abstract: Turbulence generally arises in shear flows if velocities and hence inertial forces are sufficiently large. In striking contrast, viscoelastic fluids can exhibit disordered motion even at vanishing inertia. Intermediate between these cases, a novel state of chaotic motion, `elasto-inertial turbulence' (EIT), has been observed in a narrow Reynolds number interval. We here determine the origin of EIT in experiments and show that characteristic EIT structures can be detected across an unexpectedly wide range of parameters. Close to onset a pattern of chevron shaped streaks emerges in excellent agreement with linear theory. However, the instability can be traced to far lower Reynolds numbers than permitted by theory. For increasing inertia, a secondary instability gives rise to a wall mode composed of inclined near wall streaks and shear layers. This mode persists to what is known as the `maximum drag reduction limit' and overall EIT is found to dominate viscoelastic flows across more than three orders of magnitude in Reynolds number.


title: Cross cross resonance gate

abstract: Implementation of high-fidelity swapping operations is of vital importance to execute quantum algorithms on a quantum processor with limited connectivity. We present an efficient pulse control technique, cross-cross resonance (CCR) gate, to implement iSWAP and SWAP operations with dispersively-coupled fixed-frequency transmon qubits. The key ingredient of the CCR gate is simultaneously driving both of the coupled qubits at the frequency of another qubit, wherein the fast two-qubit interaction roughly equivalent to the XY entangling gates is realized without strongly driving the qubits. We develop the calibration technique for the CCR gate and evaluate the performance of iSWAP and SWAP gates The CCR gate shows roughly two-fold improvement in the average gate error and more than 10~\% reduction in gate times from the conventional decomposition based on the cross resonance gate.


title: TEC: Tensor Ensemble Classifier for Big Data

abstract: Tensor (multidimensional array) classification problem has become very popular in modern applications such as image recognition and high dimensional spatio-temporal data analysis. Support Tensor Machine (STM) classifier, which is extended from the support vector machine, takes CANDECOMP / Parafac (CP) form of tensor data as input and predicts the data labels. The distribution-free and statistically consistent properties of STM highlight its potential in successfully handling wide varieties of data applications. Training a STM can be computationally expensive with high-dimensional tensors. However, reducing the size of tensor with a random projection technique can reduce the computational time and cost, making it feasible to handle large size tensors on regular machines. We name an STM estimated with randomly projected tensor as Random Projection-based Support Tensor Machine (RPSTM). In this work, we propose a Tensor Ensemble Classifier (TEC), which aggregates multiple RPSTMs for big tensor classification. TEC utilizes the ensemble idea to minimize the excessive classification risk brought by random projection, providing statistically consistent predictions while taking the computational advantage of RPSTM. Since each RPSTM can be estimated independently, TEC can further take advantage of parallel computing techniques and be more computationally efficient. The theoretical and numerical results demonstrate the decent performance of TEC model in high-dimensional tensor classification problems. The model prediction is statistically consistent as its risk is shown to converge to the optimal Bayes risk. Besides, we highlight the trade-off between the computational cost and the prediction risk for TEC model. The method is validated by extensive simulation and a real data example. We prepare a python package for applying TEC, which is available at our GitHub.


title: The quasi normal modes of growing dirty black holes

abstract: The ringdown of a perturbed black hole contains fundamental information about space-time in the form of Quasi Normal Modes (QNM). Modifications to general relativity, or extended profiles of other fields surrounding the black hole, so called "black hole hair", can perturb the QNM frequencies. Previous works have examined the QNM frequencies of spherically symmetric "dirty" black holes - that is black holes surrounded by arbitrary matter fields. Such analyses were restricted to static systems, making the assumption that the metric perturbation was independent of time. However, in most physical cases such black holes will actually be growing dynamically due to accretion of the surrounding matter. Here we develop a perturbative analytic method that allows us to compute for the first time the time dependent QNM deviations of such growing dirty black holes. Whilst both are small, we show that the change in QNM frequency due to the accretion can be of the same order or larger than the change due to the static matter distribution itself, and therefore should not be neglected in such calculations. We present the case of spherically symmetric accretion of a complex scalar field as an illustrative example, but the method has the potential to be extended to more complicated cases.


title: Spreader events and the limitations of projected networks for capturing dynamics on multipartite networks

abstract: Many systems of scientific interest can be conceptualized as multipartite networks. Examples include the spread of sexually transmitted infections, scientific collaborations, human friendships, product recommendation systems, and metabolic networks. In practice, these systems are often studied after projection onto a single class of nodes, losing crucial information. Here, we address a significant knowledge gap by comparing transmission dynamics on temporal multipartite networks and on their time-aggregated unipartite projections to determine the impact of the lost information on our ability to predict the systems' dynamics. We show that the dynamics of transmission models can be dramatically dissimilar on multipartite networks and on their projections at three levels: final outcome, the magnitude of the variability from realization to realization, and overall shape of the temporal trajectory. We find that the ratio of the number of nodes to the number of active edges over the time aggregation scale determines the ability of projected networks to capture the dynamics on the multipartite network. Finally, we explore which properties of a multipartite network are crucial in generating synthetic networks that better reproduce the dynamical behavior observed in real multipartite networks.


title: Precise Laplace asymptotics for singular stochastic PDEs: The case of 2D gPAM

abstract: We implement a Laplace method for the renormalised solution to the generalised 2D Parabolic Anderson Model (gPAM) driven by a small spatial white noise. Our work rests upon Hairer's theory of regularity structures which allows to generalise classical ideas of Azencott and Ben Arous on path space as well as Aida and Inahama and Kawabi on rough path space to the space of models. The technical cornerstone of our argument is a Taylor expansion of the solution in the noise intensity parameter: We prove precise bounds for its terms and the remainder and use them to estimate asymptotically irrevelant terms to arbitrary order. While most of our arguments are not specific to gPAM, we also outline how to adapt those that are.


title: Structural and dynamical properties of gel networks

abstract: The competition of depletion attractions and longer-ranged repulsions between colloidal particles in colloid-polymer mixtures leads to the formation of heterogeneous gel-like structures. For instance, gel networks, i.e., states where the colloids arrange in thin strands that span the whole system occur at low packing fractions for attractions that are stronger than those at the binodal line of equilibrium liquid-fluid phase separation. By using Brownian dynamics simulations we explore the formation, structure, and ageing dynamics of gel networks. We determine reduced network that focus on the essential connections in a gel network. We compare the observed properties to those of bulky gels or cluster fluids. Our results demonstrate that both the structure as well as the (often slow) dynamics of the stable or meta-stable heterogenous states in colloid-polymer mixtures possess distinct features on various length and time scales and thus are richly divers.


title: Validating Clustering Frameworks for Electric Load Demand Profiles

abstract: Large-scale deployment of smart meters has made it possible to collect sufficient and high-resolution data of residential electric demand profiles. Clustering analysis of these profiles is important to further analyze and comment on electricity consumption patterns. Although many clustering techniques have been proposed in the literature over the years, it is often noticed that different techniques fit best for different datasets. To identify the most suitable technique, standard clustering validity indices are often used. These indices focus primarily on the intrinsic characteristics of the clustering results. Moreover, different indices often give conflicting recommendations which can only be clarified with heuristics about the dataset and/or the expected cluster structures -- information that is rarely available in practical situations. This paper presents a novel scheme to validate and compare the clustering results objectively. Additionally, the proposed scheme considers all the steps prior to the clustering algorithm, including the pre-processing and dimensionality reduction steps, in order to provide recommendations over the complete framework. Accordingly, the proposed strategy is shown to provide better, unbiased, and uniform recommendations as compared to the standard Clustering Validity Indices.


title: Capturing High-level Nondeterminism in Concurrent Programs for Practical Concurrency Model Agnostic Record & Replay

abstract: With concurrency being integral to most software systems, developers combine high-level concurrency models in the same application to tackle each problem with appropriate abstractions. While languages and libraries offer a wide range of concurrency models, debugging support for applications that combine them has not yet gained much attention. Record & replay aids debugging by deterministically reproducing recorded bugs, but is typically designed for a single concurrency model only. This paper proposes a practical concurrency-model-agnostic record & replay approach for multi-paradigm concurrent programs, i.e. applications that combine concurrency models. Our approach traces high-level nondeterministic events by using a uniform model-agnostic trace format and infrastructure. This enables orderingbased record & replay support for a wide range of concurrency models, and thereby enables debugging of applications that combine them. In addition, it allows language implementors to add new concurrency models and reuse the model-agnostic record & replay support. We argue that a concurrency-model-agnostic record & replay is practical and enables advanced debugging support for a wide range of concurrency models. The evaluation shows that our approach is expressive and flexible enough to support record & replay of applications using threads & locks, communicating event loops, communicating sequential processes, software transactional memory and combinations of those concurrency models. For the actor model, we reach recording performance competitive with an optimized special-purpose record & replay solution. The average recording overhead on the Savina actor benchmark suite is 10% (min. 0%, max. 23%). The performance for other concurrency models and combinations thereof is at a similar level. We believe our concurrency-model-agnostic approach helps developers of applications that mix and match concurrency models. We hope that this substrate inspires new tools and languages making building and maintaining of multi-paradigm concurrent applications simpler and safer.


title: Finding Bugs with Specification-Based Testing is Easy!

abstract: Automated specification-based testing has a long history with several notable tools having emerged. For example, QuickCheck for Haskell focuses on testing against user-provided properties. Others, such as JMLUnit, use specifications in the form of pre- and post-conditions to drive testing. An interesting (and under-explored) question is how effective this approach is at finding bugs in practice. In general, one would assume automated testing is less effective at bug finding than static verification. But, how much less effective? To shed light on this question, we consider automated testing of programs written in Whiley -- a language with first-class support for specifications. Whilst originally designed with static verification in mind, we have anecdotally found automated testing for Whiley surprisingly useful and cost-effective. For example, when an error is detected with automated testing, a counterexample is always provided. This has motivated the more rigorous empirical examination presented in this paper. To that end, we provide a technical discussion of the implementation behind an automated testing tool for Whiley. Here, a key usability concern is the ability to parameterise the input space, and we present novel approaches for references and lambdas. We then report on several large experiments investigating the tool's effectiveness at bug finding using a range of benchmarks, including a suite of 1800+ mutants. The results indicate the automated testing is effective in many cases, and that sampling offers useful performance benefits with only modest reductions in bug-finding capability. Finally, we report on some real-world uses of the tool where it has proved effective at finding bugs (such as in the standard library).


title: Serverless Workflows with Durable Functions and Netherite

abstract: Serverless is an increasingly popular choice for service architects because it can provide elasticity and load-based billing with minimal developer effort. A common and important use case is to compose serverless functions and cloud storage into reliable workflows. However, existing solutions for authoring workflows provide a rudimentary experience compared to writing standard code in a modern programming language. Furthermore, executing workflows reliably in an elastic serverless environment poses significant performance challenges. To address these, we propose Durable Functions, a programming model for serverless workflows, and Netherite, a distributed execution engine to execute them efficiently. Workflows in Durable Functions are expressed as task-parallel code in a host language of choice. Internally, the workflows are translated to fine-grained stateful communicating processes, which are load-balanced over an elastic cluster. The main challenge is to minimize the cost of reliably persisting progress to storage while supporting elastic scale. Netherite solves this by introducing partitioning, recovery logs, asynchronous snapshots, and speculative communication. Our results show that Durable Functions simplifies the expression of complex workflows, and that Netherite achieves lower latency and higher throughput than the prevailing approaches for serverless workflows in Azure and AWS, by orders of magnitude in some cases.


title: Beyond Perturbation Stability: LP Recovery Guarantees for MAP Inference on Noisy Stable Instances

abstract: Several works have shown that perturbation stable instances of the MAP inference problem in Potts models can be solved exactly using a natural linear programming (LP) relaxation. However, most of these works give few (or no) guarantees for the LP solutions on instances that do not satisfy the relatively strict perturbation stability definitions. In this work, we go beyond these stability results by showing that the LP approximately recovers the MAP solution of a stable instance even after the instance is corrupted by noise. This "noisy stable" model realistically fits with practical MAP inference problems: we design an algorithm for finding "close" stable instances, and show that several real-world instances from computer vision have nearby instances that are perturbation stable. These results suggest a new theoretical explanation for the excellent performance of this LP relaxation in practice.


title: Harmonic generation predominantly from a single spin channel in a half metal

abstract: Harmonic generation in atoms and molecules has reshaped our understanding of ultrafast phenomena beyond the traditional nonlinear optics and has launched attosecond physics. Harmonics from solids represent a new frontier, where both majority and minority spin channels contribute to harmonics.} This is true even in a ferromagnet whose electronic states are equally available to optical excitation. Here, we demonstrate that harmonics can be generated {mostly} from a single spin channel in half metallic chromium dioxide. {An energy gap in the minority channel greatly reduces the harmonic generation}, so harmonics predominantly emit from the majority channel, with a small contribution from the minority channel. However, this is only possible when the incident photon energy is well below the energy gap in the minority channel, so all the transitions in the minority channel are virtual. The onset of the photon energy is determined by the transition energy between the dipole-allowed transition between the O-$2p$ and Cr-$3d$ states. Harmonics {mainly} from a single spin channel can be detected, regardless of laser field strength, as far as the photon energy is below the minority band energy gap. This prediction should be tested experimentally.


title: Compact groups from semi-analytical models of galaxy formation -- II: Different assembly channels

abstract: We study the formation of over 6000 compact groups (CGs) of galaxies identified in mock redshift-space galaxy catalogues built from semi-analytical models of galaxy formation (SAMs) run on the Millennium Simulations. We select CGs of 4 members in our mock SDSS galaxy catalogues and, for each CG, we trace back in time the real-space positions of the most massive progenitors of their 4 galaxies. By analysing the evolution of the distance of the galaxy members to the centre of mass of the group, we identify 4 channels of CG formation. The classification of these assembly channels is performed with an automatic recipe inferred from a preliminary visual inspection and based on the orbit of the galaxy with the fewest number of orbits. Most CGs show late assembly, with the last galaxy arriving on its first or second passage, while only 10-20 per cent form by the gradual contraction of their orbits by dynamical friction, and only a few per cent forming early with little subsequent contraction. However, a SAM from a higher resolution simulation leads to earlier assembly. Assembly histories of CGs also depend on cosmological parameters. At similar resolution, CGs assemble later in SAMs built on parent cosmological simulations of high density parameter. Several observed properties of mock CGs correlate with their assembly history: early-assembling CGs are smaller, with shorter crossing times, and greater magnitude gaps between their brightest two members, and their brightest galaxies have smaller spatial offsets and are more passive.


title: Casual and Hardcore Player Traits and Gratifications of Pok\'emon GO, Harry Potter: Wizards Unite, Ingress

abstract: Location-based games (LBG) impose virtual spaces on top of physical locations. Studies have explored LBG from various perspectives. However, a comprehensive study of who these players are, their traits, their gratifications, and the links between them is conspicuously absent from the literature. In this paper, we aim to address this lacuna through a series of surveys with 2390 active LBG players utilizing Tondello's Player Traits Model and Scale of Game playing Preferences, and Hamari's scale of LBG gratifications. Our findings (1) illustrate an association between player satisfaction and social aspects of the studied games, (2) explicate how the core-loops of the studied games impact the expressed gratifications and the affine traits of players, and (3) indicate a strong distinction between hardcore and casual players based on both traits and gratifications. Overall our findings shed light into the players of LBG, their traits, and gratifications they derive from playing LBGs.


title: Trace formulas for the modified Mathieu equation

abstract: For the radial and one-dimensional Schr\"{o}dinger operator $H$ with growing potential $q(x)$ we outline a method of obtaining the trace identities - an asymptotic expansion of the Fredholm determinant $\mathrm{det}_{F}(H-\lambda I)$ as $\lambda\to-\infty$. As an illustrating example, we consider Schr\"{o}dinger operator with the potential $q(x)=2\cosh 2x$, associated with the modified Mathieu equation.


title: Practical and Private (Deep) Learning without Sampling or Shuffling

abstract: We consider training models with differential privacy (DP) using mini-batch gradients. The existing state-of-the-art, Differentially Private Stochastic Gradient Descent (DP-SGD), requires privacy amplification by sampling or shuffling to obtain the best privacy/accuracy/computation trade-offs. Unfortunately, the precise requirements on exact sampling and shuffling can be hard to obtain in important practical scenarios, particularly federated learning (FL). We design and analyze a DP variant of Follow-The-Regularized-Leader (DP-FTRL) that compares favorably (both theoretically and empirically) to amplified DP-SGD, while allowing for much more flexible data access patterns. DP-FTRL does not use any form of privacy amplification. The code is available at https://github.com/google-research/federated/tree/master/dp_ftrl and https://github.com/google-research/DP-FTRL .


title: Spin Berry points as crucial for ultrafast demagnetization

abstract: Laser-induced ultrafast demagnetization has puzzled researchers around the world for over two decades. Intrinsic complexity in electronic, magnetic, and phononic subsystems is difficult to understand microscopically. So far it is not possible to explain demagnetization using a single mechanism, which suggests a crucial piece of information still missing. In this paper, we return to a fundamental aspect of physics: spin and its change within each band in the entire Brillouin zone. We employ fcc Ni as an example and use an extremely dense {\bf k} mesh to map out spin changes for every band close to the Fermi level along all the high symmetry lines. To our surprise, spin angular momentum at some special {\bf k} points abruptly changes from $\pm \hbar/2$ to $\mp \hbar/2$ simply by moving from one crystal momentum point to the next. This explains why intraband transitions, which the spin superdiffusion model is based upon, can induce a sharp spin moment reduction, and why electric current can change spin orientation in spintronics. These special {\bf k} points, which are called spin Berry points, are not random and appear when several bands are close to each other, so the Berry potential of spin majority states is different from that of spin minority states. Although within a single band, spin Berry points jump, when we group several neighboring bands together, they form distinctive smooth spin Berry lines. It is the band structure that disrupts those lines. Spin Berry points are crucial to laser-induced ultrafast demagnetization and spintronics.


title: How do exponential size solutions arise in semidefinite programming?

abstract: A striking pathology of semidefinite programs (SDPs) is illustrated by a classical example of Khachiyan: feasible solutions in SDPs may need exponential space even to write down. Such exponential size solutions are the main obstacle to solve a long standing, fundamental open problem: can we decide feasibility of SDPs in polynomial time? The consensus seems that SDPs with large size solutions are rare. However, here we prove that they are actually quite common: a linear change of variables transforms every strictly feasible SDP into a Khachiyan type SDP, in which the leading variables are large. As to ``how large", that depends on the singularity degree of a dual problem. Further, we present some SDPs coming from sum-of-squares proofs, in which large solutions appear naturally, without any change of variables. We also partially answer the question: how do we represent such large solutions in polynomial space?


title: Weierstrass models

abstract: Elliptic K3 admit contraction to plane models, the Weierstrass models. We define a higher dimensional notion of Weierstrass models, show that they are compactification of torsors in a unique form, and propose an application to the kahler geometry of a class of lagrangian fibrations on irreducible symplectic manifolds.


title: Calculated phonon modes, infrared and Raman spectra in orthorhombic $\alpha$-MoO$_3$ and monolayer MoO$_3$

abstract: Orhorhombic $\alpha$-MoO$_3$ is a layered oxide with various applications and with excellent potential to be exfoliated as a 2D ultrathin film or monolayer. In this paper, we present a first-principles computational study of its vibrational properties. Our focus is on the zone center modes which can be measured by a combination of infared and Raman spectroscopy. The polarization dependent spectra are simulated. Calculations are also performed for a monolayer form in which "double layers" of Mo$_2$O$_6$ which are weakly van der Waals bonded in the $\alpha$-structure are isolated. Shift in phonon frequencies are analyzed.


title: Yoneda Hacking: The Algebra of Attacker Actions

abstract: Our work focuses on modeling the security of systems from their component-level designs. Towards this goal, we develop a categorical formalism to model attacker actions. Equipping the categorical formalism with algebras produces two interesting results for security modeling. First, using the Yoneda lemma, we can model attacker reconnaissance missions. In this context, the Yoneda lemma shows us that if two system representations, one being complete and the other being the attacker's incomplete view, agree at every possible test, they behave the same. The implication is that attackers can still successfully exploit the system even with incomplete information. Second, we model the potential changes to the system via an exploit. An exploit either manipulates the interactions between system components, such as providing the wrong values to a sensor, or changes the components themselves, such as controlling a global positioning system (GPS). One additional benefit of using category theory is that mathematical operations can be represented as formal diagrams, helpful in applying this analysis in a model-based design setting. We illustrate this modeling framework using an unmanned aerial vehicle (UAV) cyber-physical system model. We demonstrate and model two types of attacks (1) a rewiring attack, which violates data integrity, and (2) a rewriting attack, which violates availability.


title: Repeated Games with Switching Costs: Stationary vs History Independent Strategies

abstract: We study zero-sum repeated games where the minimizing player has to pay a certain cost each time he changes his action. Our contribution is twofold. First, we show that the value of the game exists in stationary strategies, depending solely on the previous action of the minimizing player, not the entire history. We provide a full characterization of the value and the optimal strategies. The strategies exhibit a robustness property and typically do not change with a small perturbation of the switching costs. Second, we consider a case where the minimizing player is limited to playing simpler strategies that are completely history-independent. Here too, we provide a full characterization of the (minimax) value and the strategies for obtaining it. Moreover, we present several bounds on the loss due to this limitation.


title: Harmonic chains and the thermal diode effect

abstract: Harmonic oscillator chains connecting two harmonic reservoirs at different constant temperatures cannot act as thermal diodes, irrespective of structural asymmetry. However, here we prove that perfectly harmonic junctions can rectify heat once the reservoirs (described by white Langevin noise) are placed under temperature gradients, which are asymmetric at the two sides, an effect that we term "temperature-gradient harmonic oscillator diodes". This nonlinear diode effect results from the additional constraint -- the imposed thermal gradient at the boundaries. We demonstrate the rectification behavior based on the exact analytical formulation of steady state heat transport in harmonic systems coupled to Langevin baths, which can describe quantum and classical transport, both regimes realizing the diode effect under the involved boundary conditions. Our study shows that asymmetric harmonic systems, such as room-temperature hydrocarbon molecules with varying side groups and end groups, or a linear lattice of trapped ions may rectify heat by going beyond simple boundary conditions.


title: SocNavBench: A Grounded Simulation Testing Framework for Evaluating Social Navigation

abstract: The human-robot interaction (HRI) community has developed many methods for robots to navigate safely and socially alongside humans. However, experimental procedures to evaluate these works are usually constructed on a per-method basis. Such disparate evaluations make it difficult to compare the performance of such methods across the literature. To bridge this gap, we introduce SocNavBench, a simulation framework for evaluating social navigation algorithms. SocNavBench comprises a simulator with photo-realistic capabilities and curated social navigation scenarios grounded in real-world pedestrian data. We also provide an implementation of a suite of metrics to quantify the performance of navigation algorithms on these scenarios. Altogether, SocNavBench provides a test framework for evaluating disparate social navigation methods in a consistent and interpretable manner. To illustrate its use, we demonstrate testing three existing social navigation methods and a baseline method on SocNavBench, showing how the suite of metrics helps infer their performance trade-offs. Our code is open-source, allowing the addition of new scenarios and metrics by the community to help evolve SocNavBench to reflect advancements in our understanding of social navigation.


title: Actions of sl_2 on algebras appearing in categorification

abstract: We prove that many of the recently-constructed algebras and categories which appear in categorification can be equipped with an action of $\mathfrak{sl}_2$ by derivations. The $\mathfrak{sl}_2$ representations which appear are filtered by tensor products of coverma modules. In a future paper, we will address the implications of the $\mathfrak{sl}_2$ structure for categorification.


title: Density functional theory method for twisted geometries with application to torsional deformations in group-IV nanotubes

abstract: We present a real-space formulation and implementation of Kohn-Sham Density Functional Theory suited to twisted geometries, and apply it to the study of torsional deformations of X (X = C, Si, Ge, Sn) nanotubes. Our formulation is based on higher order finite difference discretization in helical coordinates, uses ab intio pseudopotentials, and naturally incorporates rotational (cyclic) and screw operation (i.e., helical) symmetries. We discuss several aspects of the computational method, including the form of the governing equations, details of the numerical implementation, as well as its convergence, accuracy and efficiency properties. The technique presented here is particularly well suited to the first principles simulation of quasi-one-dimensional structures and their deformations, and many systems of interest can be investigated using small simulation cells containing just a few atoms. We apply the method to systematically study the properties of single-wall zigzag and armchair group-IV nanotubes, as they undergo twisting. For the range of deformations considered, the mechanical behavior of the tubes is found to be largely consistent with isotropic linear elasticity, with the torsional stiffness varying as the cube of the nanotube radius. Furthermore, for a given tube radius, this quantity is seen to be highest for carbon nanotubes and the lowest for those of tin, while nanotubes of silicon and germanium have intermediate values close to each other. We also describe different aspects of the variation in electronic properties of the nanotubes as they are twisted. In particular, we find that akin to the well known behavior of armchair carbon nanotubes, armchair nanotubes of silicon, germanium and tin also exhibit bandgaps that vary periodically with imposed rate of twist, and that the periodicity of the variation scales in an inverse quadratic manner with the tube radius.


title: Legendre Trajectories of Trans-$S$-Manifolds

abstract: In this paper, we consider Legendre trajectories of trans-$S$-manifolds. We obtain curvature characterizations of these curves and give a classification theorem. We also investigate Legendre curves whose Frenet frame fields are linearly dependent with certain combination of characteristic vector fields of the trans-$S$-manifold.


title: Constructing Dampened LTI Systems Generating Polynomial Bases

abstract: We present an alternative derivation of the LTI system underlying the Legendre Delay Network (LDN). To this end, we first construct an LTI system that generates the Legendre polynomials. We then dampen the system by approximating a windowed impulse response, using what we call a "delay re-encoder". The resulting LTI system is equivalent to the LDN system. This technique can be applied to arbitrary polynomial bases, although there typically is no closed-form equation that describes the state-transition matrix.


title: Generalized Continuity Equations for Schr\"odinger and Dirac Equations

abstract: The concept of the generalized continuity equation (GCE) was recently introduced in [J. Phys. A: Math. and Theor. {\bf 52}, 1552034 (2019)], and was derived in the context of $N$ independent Schr\"{o}dinger systems. The GCE is induced by a symmetry transformation which mixes the states of these systems, even though the $N$-system Lagrangian does not. As the $N$-system Schr\"{o}dinger Lagrangian is not invariant under such a transformation, the GCE will involve source terms which, under certain conditions vanish and lead to conserved currents. These conditions may hold globally or locally in a finite domain, leading to globally or locally conserved currents, respectively. In this work, we extend this idea to the case of arbitrary $SU(N)$-transformations and we show that a similar GCE emerges for $N$ systems in the Dirac dynamics framework. The emerging GCEs and the conditions which lead to the attendant conservation laws provide a rich phenomenology and potential use for the preparation and control of fermionic states.


title: PURSUhInT: In Search of Informative Hint Points Based on Layer Clustering for Knowledge Distillation

abstract: One of the most efficient methods for model compression is hint distillation, where the student model is injected with information (hints) from several different layers of the teacher model. Although the selection of hint points can drastically alter the compression performance, conventional distillation approaches overlook this fact and use the same hint points as in the early studies. Therefore, we propose a clustering based hint selection methodology, where the layers of teacher model are clustered with respect to several metrics and the cluster centers are used as the hint points. Our method is applicable for any student network, once it is applied on a chosen teacher network. The proposed approach is validated in CIFAR-100 and ImageNet datasets, using various teacher-student pairs and numerous hint distillation methods. Our results show that hint points selected by our algorithm results in superior compression performance compared to state-of-the-art knowledge distillation algorithms on the same student models and datasets.


title: Moderating effects of retail operations and hard-sell sales techniques on salesperson's interpersonal skills and customer repurchase intention

abstract: Salesperson's interpersonal skills have always played an important role in influencing various stages of customer's purchase decision. With the increase in retail outlets and merchandisers, retail operations have taken a pivotal role in influencing the salesperson's sales practices and customer's purchase decisions.This study tries to examine the influence of retail operations and hard-selling startegies on the relationship between salesperson's interpersonal skills and customer repurchase intention. Salesperson's interpersonal skills are the trained and tacit competencies that a salesperson employs to improve customer relationship and sales performance. Many organizations prefer skill training fails to attract repetitive purchases due to unavoidable extraneous factors. It has become a necessity to understand the role of extraneous factors like retail operations on the relationship between salesperson's interpersonal skills and customer repurchase intention. The findings suggest that retail operations significantly moderate the relationship between salesperson's interpersonal skills and customer repurchase intention. We also find that hard-sell sales techniques play a significant moderating role in negatively infleuncing customer repurchase intention . This study has important implications for retailers and sales managers.


title: Image-Based Trajectory Tracking through Unknown Environments without Absolute Positioning

abstract: This paper describes a stereo image-based visual servoing system for trajectory tracking by a non-holonomic robot without externally derived pose information nor a known visual map of the environment. It is called trajectory servoing. The critical component is a feature-based, indirect Simultaneous Localization And Mapping (SLAM) method to provide a pool of available features with estimated depth, so that they may be propagated forward in time to generate image feature trajectories for visual servoing. Short and long distance experiments show the benefits of trajectory servoing for navigating unknown areas without absolute positioning. Empirically, trajectory servoing has better trajectory tracking performance than pose-based feedback when both rely on the same underlying SLAM system.


title: Laser Inter-Satellite Links in a Starlink Constellation

abstract: Laser inter-satellite links (LISLs) are envisioned between satellites in upcoming satellite constellations, such as Phase I of SpaceX's Starlink. Within a constellation, satellites can establish LISLs with other satellites in the same orbital plane or in different orbital planes. We present a classification of LISLs based on the location of satellites within a constellation and the duration of LISLs. Then, using satellite constellation for Phase I of Starlink, we study the effect of varying a satellite's LISL range on the number of different types of LISLs it can establish with other satellites. In addition to permanent LISLs, we observe a significant number of temporary LISLs between satellites in crossing orbital planes. Such LISLs can play a vital role in achieving low-latency paths within next-generation optical wireless satellite networks.


title: Engineering insulator-metal transition in a class of decorated aperiodic lattices: a quantum dynamical study

abstract: We investigate the quantum dynamics of wave packets in a class of decorated lattices, both quasiperiodic and random, where a nominal quasi-one dimensionality is introduced at local levels, bringing in a deterministic or even random variations in the distribution of the coordination number throughout the system. We show that certain correlations in the numerical values of the system Hamiltonian can cause a drastic change in the dynamical evolution of the wave packet, revealing a complete delocalization, independent of the energy of the travelling particle, even in the absence of any translational invariance. We use an exact decimation of a selected subset of the degrees of freedom, and an analysis of the commutation of the $2 \times 2$ transfer matrices on a renormalized version of the parent systems within a tight binding framework. An in-depth analysis of the mean square displacement, temporal autocorrelation function and the inverse participation ratio establishes the gross change in the behaviour of the wave packet dynamics. The consequence is the occurrence of a parameter-driven insulator-metal transition over the full (or a major) range of the energy spectrum in each case. In certain cases, inclusion of an external magnetic flux enables us to control the transition. The observation is general, and, to our mind, can inspire experiments involving photonics or matter wave localization.


title: Scalable Multiagent Driving Policies For Reducing Traffic Congestion

abstract: Traffic congestion is a major challenge in modern urban settings. The industry-wide development of autonomous and automated vehicles (AVs) motivates the question of how can AVs contribute to congestion reduction. Past research has shown that in small scale mixed traffic scenarios with both AVs and human-driven vehicles, a small fraction of AVs executing a controlled multiagent driving policy can mitigate congestion. In this paper, we scale up existing approaches and develop new multiagent driving policies for AVs in scenarios with greater complexity. We start by showing that a congestion metric used by past research is manipulable in open road network scenarios where vehicles dynamically join and leave the road. We then propose using a different metric that is robust to manipulation and reflects open network traffic efficiency. Next, we propose a modular transfer reinforcement learning approach, and use it to scale up a multiagent driving policy to outperform human-like traffic and existing approaches in a simulated realistic scenario, which is an order of magnitude larger than past scenarios (hundreds instead of tens of vehicles). Additionally, our modular transfer learning approach saves up to 80% of the training time in our experiments, by focusing its data collection on key locations in the network. Finally, we show for the first time a distributed multiagent policy that improves congestion over human-driven traffic. The distributed approach is more realistic and practical, as it relies solely on existing sensing and actuation capabilities, and does not require adding new communication infrastructure.


title: A Skew Dividing Surface for Accurate Nonadiabatic Mean-Field Ring Polymer Rates

abstract: Mean-Field Ring Polymer Molecular Dynamics (MF-RPMD) is a powerful, efficient, and accurate method for approximate quantum dynamic simulations of multi-level system dynamics. Initial efforts to compute nonadiabatic reaction rates using MF-RPMD were not successful; recent work showed that this can be remedied by including a simple, if adhoc, correction term that accounts for the formation of `kinked' or mixed electronic state ring polymer configurations. Here, we build on this idea, introducing a electronic state population based reaction coordinate and novel skew dividing surface that constrains nuclear positions to configurations where the reactant and product state potentials are near-degenerate and that samples kinked electronic state configurations. We then demonstrate the numerical accuracy of this method in computing rates for a series of nonadiabatic model systems.


title: Simultaneous Bandwidths Determination for DK-HAC Estimators and Long-Run Variance Estimation in Nonparametric Settings

abstract: We consider the derivation of data-dependent simultaneous bandwidths for double kernel heteroskedasticity and autocorrelation consistent (DK-HAC) estimators. In addition to the usual smoothing over lagged autocovariances for classical HAC estimators, the DK-HAC estimator also applies smoothing over the time direction. We obtain the optimal bandwidths that jointly minimize the global asymptotic MSE criterion and discuss the trade-off between bias and variance with respect to smoothing over lagged autocovariances and over time. Unlike the MSE results of Andrews (1991), we establish how nonstationarity affects the bias-variance trade-o?. We use the plug-in approach to construct data-dependent bandwidths for the DK-HAC estimators and compare them with the DK-HAC estimators from Casini (2021) that use data-dependent bandwidths obtained from a sequential MSE criterion. The former performs better in terms of size control, especially with stationary and close to stationary data. Finally, we consider long-run variance estimation under the assumption that the series is a function of a nonparametric estimator rather than of a semiparametric estimator that enjoys the usual T^(1/2) rate of convergence. Thus, we also establish the validity of consistent long-run variance estimation in nonparametric parameter estimation settings.


title: The one-sided Lipschitz condition in the follow-the-leader approximation of scalar conservation laws

abstract: We consider the follow-the-leader particle approximation scheme for a $1d$ scalar conservation law with nonnegative $L^\infty_c$ initial datum and with a $C^1$ concave flux, which is known to provide convergence towards the entropy solution $\rho$ to the corresponding Cauchy problem. We provide two novel contributions to this theory. First, we prove that the one-sided Lipschitz condition satisfied by the approximating density $\rho^n$ is a discrete version of an entropy condition; more precisely, under fairly general assumptions on $f$ (which imply concavity of $f$) we prove that the continuum version $\left(f(\rho)/\rho\right)_x\leq 1/t$ of said condition allows to select a unique weak solution, despite $\left(f(\rho)/\rho\right)_x\leq 1/t$ is apparently weaker than the classical Oleinik-Hoff one-sided Lipschitz condition $f'(\rho)_x\leq 1/t$. Said result relies on an improved version of Hoff's uniqueness proof. A byproduct of it is that the entropy condition is encoded in the particle scheme prior to the many-particle limit, which was never proven before. Second, we prove that in case $f(\rho)=\rho(A-\rho^\gamma)$ the one-sided Lipschitz condition can be improved to a discrete version of the classical (and sharp) Oleinik-Hoff condition. In order to make the paper self-contained, we provide proofs (in some cases alternative ones) of all steps of the convergence of the particle scheme.


title: Revisiting the analysis of HW Vir eclipse timing data I. A frequentist data modeling approach and a dynamical stability analysis

abstract: HW Vir is a short-period binary that presents eclipse timing variations. Circumbinary planets have been proposed as a possible explanation, although the properties of the planets differ in each new study. Our aim is to perform robust model selection methods for eclipse timing variations (ETV) and error calculation techniques based on a frequentist approach for the case of the HW Vir system. We initially performed simultaneous light and radial velocity curve analysis to derive the masses of the binary. We then analyzed the eclipse timing variation of the system by fitting multiple models. To select the best model, we searched the confidence levels for the best model by creating an $\chi^2$ surface grid and bootstrap methods for each pair of parameters. We searched for stable orbital configurations for our adopted ETV model. The masses of the binary are found as 0.413 $\pm$ 0.008 $M_\odot$ and 0.128 $\pm$ 0.004 $M_\odot$. Under the assumption of two light time effects superimposed on a secular change, the minimum masses of the circumbinary objects are calculated as $25.0_{-2.2}^{+3.5} \ M_{Jup}$ and $13.9_{-0.45}^{+0.60}\ M_{Jup}$. The projected semi-major axes are found to be $7.8_{-1.0}^{+1.4}\ au$ and $4.56_{-0.22}^{+0.27}\ au$ in respective order. We find that this configuration is unstable within a 3$\sigma$ range on the semi-major axis and eccentricity of the outer circumbinary object.


title: Local Clustering in Contextual Multi-Armed Bandits

abstract: We study identifying user clusters in contextual multi-armed bandits (MAB). Contextual MAB is an effective tool for many real applications, such as content recommendation and online advertisement. In practice, user dependency plays an essential role in the user's actions, and thus the rewards. Clustering similar users can improve the quality of reward estimation, which in turn leads to more effective content recommendation and targeted advertising. Different from traditional clustering settings, we cluster users based on the unknown bandit parameters, which will be estimated incrementally. In particular, we define the problem of cluster detection in contextual MAB, and propose a bandit algorithm, LOCB, embedded with local clustering procedure. And, we provide theoretical analysis about LOCB in terms of the correctness and efficiency of clustering and its regret bound. Finally, we evaluate the proposed algorithm from various aspects, which outperforms state-of-the-art baselines.


title: Software-Supported Audits of Decision-Making Systems: Testing Google and Facebook's Political Advertising Policies

abstract: How can society understand and hold accountable complex human and algorithmic decision-making systems whose systematic errors are opaque to the public? These systems routinely make decisions on individual rights and well-being, and on protecting society and the democratic process. Practical and statistical constraints on external audits--such as dimensional complexity--can lead researchers and regulators to miss important sources of error in these complex decision-making systems. In this paper, we design and implement a software-supported approach to audit studies that auto-generates audit materials and coordinates volunteer activity. We implemented this software in the case of political advertising policies enacted by Facebook and Google during the 2018 U.S. election. Guided by this software, a team of volunteers posted 477 auto-generated ads and analyzed the companies' actions, finding systematic errors in how companies enforced policies. We find that software can overcome some common constraints of audit studies, within limitations related to sample size and volunteer capacity.


title: Gradient Descent on Neural Networks Typically Occurs at the Edge of Stability

abstract: We empirically demonstrate that full-batch gradient descent on neural network training objectives typically operates in a regime we call the Edge of Stability. In this regime, the maximum eigenvalue of the training loss Hessian hovers just above the numerical value $2 / \text{(step size)}$, and the training loss behaves non-monotonically over short timescales, yet consistently decreases over long timescales. Since this behavior is inconsistent with several widespread presumptions in the field of optimization, our findings raise questions as to whether these presumptions are relevant to neural network training. We hope that our findings will inspire future efforts aimed at rigorously understanding optimization at the Edge of Stability. Code is available at https://github.com/locuslab/edge-of-stability.


title: Waiter-Client Triangle-Factor Game on the Edges of the Complete Graph

abstract: Consider the following game played by two players, called Waiter and Client, on the edges of $K_n$ (where $n$ is divisible by $3$). Initially, all the edges are unclaimed. In each round, Waiter picks two yet unclaimed edges. Client then chooses one of these two edges to be added to Waiter's graph and one to be added to Client's graph. Waiter wins if she forces Client to create a $K_3$-factor in Client's graph at some point, while if she does not manage to do that, Client wins. It is not difficult to see that for large enough $n$, Waiter has a winning strategy. The question considered by Clemens et al. is how long the game will last if Waiter aims to win as soon as possible, Client aims to delay her as much as possible, and both players play optimally. Denote this optimal number of rounds by $\tau_{WC}(\mathcal{F}_{n,K_3-\text{fac}},1 ) $. Clemens et al. proved that $\frac{13}{12}n \leq \tau_{WC}(\mathcal{F}_{n,K_3-\text{fac}},1 ) \leq \frac{7}{6}n+o(n) $, and conjectured that $\tau_{WC}(\mathcal{F}_{n,K_3-\text{fac}},1 ) = \frac{7}{6}n+o(n) $. In this note, we verify their conjecture.


title: Partitioned Graph Convolution Using Adversarial and Regression Networks for Road Travel Speed Prediction

abstract: Access to quality travel time information for roads in a road network has become increasingly important with the rising demand for real-time travel time estimation for paths within road networks. In the context of the Danish road network (DRN) dataset used in this paper, the data coverage is sparse and skewed towards arterial roads, with a coverage of 23.88% across 850,980 road segments, which makes travel time estimation difficult. Existing solutions for graph-based data processing often neglect the size of the graph, which is an apparent problem for road networks with a large amount of connected road segments. To this end, we propose a framework for predicting road segment travel speed histograms for dataless edges, based on a latent representation generated by an adversarially regularized convolutional network. We apply a partitioning algorithm to divide the graph into dense subgraphs, and then train a model for each subgraph to predict speed histograms for the nodes. The framework achieves an accuracy of 71.5% intersection and 78.5% correlation on predicting travel speed histograms using the DRN dataset. Furthermore, experiments show that partitioning the dataset into clusters increases the performance of the framework. Specifically, partitioning the road network dataset into 100 clusters, with approximately 500 road segments in each cluster, achieves a better performance than when using 10 and 20 clusters.


title: Language-agnostic Topic Classification for Wikipedia

abstract: A major challenge for many analyses of Wikipedia dynamics -- e.g., imbalances in content quality, geographic differences in what content is popular, what types of articles attract more editor discussion -- is grouping the very diverse range of Wikipedia articles into coherent, consistent topics. This problem has been addressed using various approaches based on Wikipedia's category network, WikiProjects, and external taxonomies. However, these approaches have always been limited in their coverage: typically, only a small subset of articles can be classified, or the method cannot be applied across (the more than 300) languages on Wikipedia. In this paper, we propose a language-agnostic approach based on the links in an article for classifying articles into a taxonomy of topics that can be easily applied to (almost) any language and article on Wikipedia. We show that it matches the performance of a language-dependent approach while being simpler and having much greater coverage.


title: Penalized Poisson model for network meta-analysis of individual patient time-to-event data

abstract: Network meta-analysis (NMA) allows the combination of direct and indirect evidence from a set of randomized clinical trials. Performing NMA using individual patient data (IPD) is considered as a "gold standard" approach as it provides several advantages over NMA based on aggregate data. For example, it allows to perform advanced modelling of covariates or covariate-treatment interactions. An important issue in IPD NMA is the selection of influential parameters among terms that account for inconsistency, covariates, covariate-by-treatment interactions or non-proportionality of treatments effect for time to event data. This issue has not been deeply studied in the literature yet and in particular not for time-to-event data. A major difficulty is to jointly account for between-trial heterogeneity which could have a major influence on the selection process. The use of penalized generalized mixed effect model is a solution, but existing implementations have several shortcomings and an important computational cost that precludes their use for complex IPD NMA. In this article, we propose a penalized Poisson regression model to perform IPD NMA of time-to-event data. It is based only on fixed effect parameters which improve its computational cost over the use of random effects. It could be easily implemented using existing penalized regression package. Computer code is shared for implementation. The methods were applied on simulated data to illustrate the importance to take into account between trial heterogeneity during the selection procedure. Finally, it was applied to an IPD NMA of overall survival of chemotherapy and radiotherapy in nasopharyngeal carcinoma.


title: Knowledge-aware Zero-Shot Learning: Survey and Perspective

abstract: Zero-shot learning (ZSL) which aims at predicting classes that have never appeared during the training using external knowledge (a.k.a. side information) has been widely investigated. In this paper we present a literature review towards ZSL in the perspective of external knowledge, where we categorize the external knowledge, review their methods and compare different external knowledge. With the literature review, we further discuss and outlook the role of symbolic knowledge in addressing ZSL and other machine learning sample shortage issues.


title: Randomness is inherently imprecise

abstract: We use the martingale-theoretic approach of game-theoretic probability to incorporate imprecision into the study of randomness. In particular, we define several notions of randomness associated with interval, rather than precise, forecasting systems, and study their properties. The richer mathematical structure that thus arises lets us, amongst other things, better understand and place existing results for the precise limit. When we focus on constant interval forecasts, we find that every sequence of binary outcomes has an associated filter of intervals it is random for. It may happen that none of these intervals is precise -- a single real number -- which justifies the title of this paper. We illustrate this by showing that randomness associated with non-stationary precise forecasting systems can be captured by a constant interval forecast, which must then be less precise: a gain in model simplicity is thus paid for by a loss in precision. But imprecise randomness can't always be explained away as a result of oversimplification: we show that there are sequences that are random for a constant interval forecast, but never random for any {\comp} (more) precise forecasting system. We also show that the set of sequences that are random for a non-vacuous interval forecasting system is meagre, as it is for precise forecasting systems.


title: A note on cardinal preserving embeddings

abstract: We prove the consistency of the theory ZFC + there is a strongly compact cardinal from the existence of a cardinal preserving embedding from the universe into an inner model. The proof almost shows that under SCH, every cardinal preserving embedding preserves the cofinality and continuum functions.


title: CURE: Code-Aware Neural Machine Translation for Automatic Program Repair

abstract: Automatic program repair (APR) is crucial to improve software reliability. Recently, neural machine translation (NMT) techniques have been used to fix software bugs automatically. While promising, these approaches have two major limitations. Their search space often does not contain the correct fix, and their search strategy ignores software knowledge such as strict code syntax. Due to these limitations, existing NMT-based techniques underperform the best template-based approaches. We propose CURE, a new NMT-based APR technique with three major novelties. First, CURE pre-trains a programming language (PL) model on a large software codebase to learn developer-like source code before the APR task. Second, CURE designs a new code-aware search strategy that finds more correct fixes by focusing on compilable patches and patches that are close in length to the buggy code. Finally, CURE uses a subword tokenization technique to generate a smaller search space that contains more correct fixes. Our evaluation on two widely-used benchmarks shows that CURE correctly fixes 57 Defects4J bugs and 26 QuixBugs bugs, outperforming all existing APR techniques on both benchmarks.


title: Density of Periodic Points for Latt\`es maps over Finite Fields

abstract: Let $L_d$ be the Latt\`es map associated to the multiplication-by-$d$ endomorphism of an elliptic curve $E$ defined over a finite field $\mathbb{F}_q$. We determine the density $\delta(L_d,q)$ of periodic points for $L_d$ in $\mathbb{P}^1(\mathbb{F}_q)$. We show that the periodic point densities $\delta(L_d,q^n)$ converge as $n \rightarrow \infty$ along certain arithmetic progressions, and compute simple explicit formulas for $\delta(L_\ell,q)$ when $\ell$ is a prime and $E$ belongs to a special family of supersingular elliptic curves.


title: Noisy Truncated SGD: Optimization and Generalization

abstract: Recent empirical work on stochastic gradient descent (SGD) applied to over-parameterized deep learning has shown that most gradient components over epochs are quite small. Inspired by such observations, we rigorously study properties of Truncated SGD (T-SGD), that truncates the majority of small gradient components to zeros. Considering non-convex optimization problems, we show that the convergence rate of T-SGD matches the order of vanilla SGD. We also establish the generalization error bound for T-SGD. Further, we propose Noisy Truncated SGD (NT-SGD), which adds Gaussian noise to the truncated gradients. We prove that NT-SGD has the same convergence rate as T-SGD for non-convex optimization problems. We demonstrate that with the help of noise, NT-SGD can provably escape from saddle points and requires less noise compared to previous related work. We also prove that NT-SGD achieves better generalization error bound compared to T-SGD because of the noise. Our generalization analysis is based on uniform stability and we show that additional noise in the gradient update can boost the stability. Our experiments on a variety of benchmark datasets (MNIST, Fashion-MNIST, CIFAR-10, and CIFAR-100) with various networks (VGG and ResNet) validate the theoretical properties of NT-SGD, i.e., NT-SGD matches the speed and accuracy of vanilla SGD while effectively working with sparse gradients, and can successfully escape poor local minima.


title: An Optimal Deterministic Algorithm for Geodesic Farthest-Point Voronoi Diagrams in Simple Polygons

abstract: Given a set $S$ of $m$ point sites in a simple polygon $P$ of $n$ vertices, we consider the problem of computing the geodesic farthest-point Voronoi diagram for $S$ in $P$. It is known that the problem has an $\Omega(n+m\log m)$ time lower bound. Previously, a randomized algorithm was proposed [Barba, SoCG 2019] that can solve the problem in $O(n+m\log m)$ expected time. The previous best deterministic algorithms solve the problem in $O(n\log \log n+ m\log m)$ time [Oh, Barba, and Ahn, SoCG 2016] or in $O(n+m\log m+m\log^2 n)$ time [Oh and Ahn, SoCG 2017]. In this paper, we present a deterministic algorithm of $O(n+m\log m)$ time, which is optimal. This answers an open question posed by Mitchell in the Handbook of Computational Geometry two decades ago.


title: Thoughts on the Proteins Native State

abstract: The presence of metamorphism in the protein's native state is not yet fully understood. In an attempt to throw light on this issue here we present an assessment, in terms of the amide hydrogen exchange protection factor, that aims to determine the likely existence of structural fluctuations in the native-state consistent with both the upper bound marginal stability of proteins and the metamorphism presence. The preliminary results enable us to conclude that the native-state metamorphism is, indeed, more probable than thought.


title: Recovering or Testing Extended-Affine Equivalence

abstract: Extended Affine (EA) equivalence is the equivalence relation between two vectorial Boolean functions $F$ and $G$ such that there exist two affine permutations $A$, $B$, and an affine function $C$ satisfying $G = A \circ F \circ B + C$. While the problem has a simple formulation, it is very difficult in practice to test whether two functions are EA-equivalent. This problem has two variants: {\em EA-partitioning} deals with partitioning a set of functions into disjoint EA-equivalence classes, and \emph{EA-recovery} is about recovering the tuple $(A,B,C)$ if it exists. In this paper, we present a new algorithm that efficiently solves the EA-recovery problem for quadratic functions. Although its worst-case complexity occurs when dealing with APN functions, it supersedes, in terms of performance, all previously known algorithms for solving this problem for all quadratic functions and in any dimension, even in the case of APN functions. This approach is based on the Jacobian matrix of the functions, a tool whose study in this context can be of independent interest. The best approach for EA-partitioning in practice mainly relies on class invariants. We provide an overview of the known invariants along with a new one based on the \emph{ortho-derivative}. This new invariant is applicable to quadratic APN functions, a specific type of functions that is of great interest, and of which tens of thousands need to be sorted into distinct EA-classes. Our ortho-derivative-based invariant is very fast to compute, and it practically always distinguishes between EA-inequivalent quadratic APN functions.


title: Quantization for spectral super-resolution

abstract: We show that the method of distributed noise-shaping beta-quantization offers superior performance for the problem of spectral super-resolution with quantization whenever there is redundancy in the number of measurements. More precisely, we define the oversampling ratio $\lambda$ as the largest integer such that $\lfloor M/\lambda\rfloor - 1\geq 4/\Delta$, where $M$ denotes the number of Fourier measurements and $\Delta$ is the minimum separation distance associated with the atomic measure to be resolved. We prove that for any number $K\geq 2$ of quantization levels available for the real and imaginary parts of the measurements, our quantization method combined with either TV-min/BLASSO or ESPRIT guarantees reconstruction accuracy of order $O(M^{1/4}\lambda^{5/4} K^{- \lambda/2})$ and $O(M^{3/2} \lambda^{1/2} K^{- \lambda})$ respectively, where the implicit constants are independent of $M$, $K$ and $\lambda$. In contrast, naive rounding or memoryless scalar quantization for the same alphabet offers a guarantee of order $O(M^{-1}K^{-1})$ only, regardless of the reconstruction algorithm.


title: Topological Uhlmann phase transitions for a spin-j particle in a magnetic field

abstract: The generalization of the geometric phase to the realm of mixed states is known as Uhlmann phase. Recently, applications of this concept to the field of topological insulators have been made and an experimental observation of a characteristic critical temperature at which the topological Uhlmann phase disappears has also been reported. Surprisingly, to our knowledge, the Uhlmann phase of such a paradigmatic system as the spin-$j$ particle in presence of a slowly rotating magnetic field has not been reported to date. Here we study the case of such a system in a thermal ensemble. We find that the Uhlmann phase is given by the argument of a complex valued second kind Chebyshev polynomial of order $2j$. Correspondingly, the Uhlmann phase displays $2j$ singularities, occurying at the roots of such polynomials which define critical temperatures at which the system undergoes topological order transitions. Appealing to the argument principle of complex analysis each topological order is characterized by a winding number, which happen to be $2j$ for the ground state and decrease by unity each time increasing temperature passes through a critical value. We hope this study encourages experimental verification of this phenomenon of thermal control of topological properties, as has already been done for the spin-$1/2$ particle.


title: An HPC-Based Hydrothermal Finite Element Simulator for Modeling Underground Response to Community-Scale Geothermal Energy Production

abstract: Geothermal heat, as renewable energy, shows great advantage with respect to its environmental impact due to its significantly lower CO2 emissions than conventional fossil fuel. Open and closed-loop geothermal heat pumps, which utilize shallow geothermal systems, are an efficient technology for cooling and heating buildings, especially in urban areas. Integrated use of geothermal energy technologies for district heating, cooling, and thermal energy storage can be applied to optimize the subsurface for communities to provide them with multiple sustainable energy and community resilience benefits. The utilization of the subsurface resources may lead to a variation in the underground environment, which might further impact local environmental conditions. However, very few simulators can handle such a highly complex set of coupled computations on a regional or city scale. We have developed high-performance computing (HPC) based hydrothermal finite element (FE) simulator that can simulate the subsurface and its hydrothermal conditions at a scale of tens of km. The HPC simulator enables us to investigate the subsurface thermal and hydrologic response to the built underground environment (such as basements and subways) at the community scale. In this study, a coupled hydrothermal simulator is developed based on the open-source finite element library deal.II. The HPC simulator was validated by comparing the results of a benchmark case study against COMSOL Multiphysics, in which Aquifer Thermal Energy Storage (ATES) is modeled and a process of heat injection into ATES is simulated. The use of an energy pile system at the Treasure Island redevelopment site (San Francisco, CA, USA) was selected as a case study to demonstrate the HPC capability of the developed simulator. The simulator is capable of modeling multiple city-scale geothermal scenarios in a reasonable amount of time.


title: Secure Evaluation of Knowledge Graph Merging Gain

abstract: Finding out the differences and commonalities between the knowledge of two parties is an important task. Such a comparison becomes necessary, when one party wants to determine how much it is worth to acquire the knowledge of the second party, or similarly when two parties try to determine, whether a collaboration could be beneficial. When these two parties cannot trust each other (for example, due to them being competitors) performing such a comparison is challenging as neither of them would be willing to share any of their assets. This paper addresses this problem for knowledge graphs, without a need for non-disclosure agreements nor a third party during the protocol. During the protocol, the intersection between the two knowledge graphs is determined in a privacy preserving fashion. This is followed by the computation of various metrics, which give an indication of the potential gain from obtaining the other parties knowledge graph, while still keeping the actual knowledge graph contents secret. The protocol makes use of blind signatures and (counting) Bloom filters to reduce the amount of leaked information. Finally, the party who wants to obtain the other's knowledge graph can get a part of such in a way that neither party is able to know beforehand which parts of the graph are obtained (i.e., they cannot choose to only get or share the good parts). After inspection of the quality of this part, the Buyer can decide to proceed with the transaction. The analysis of the protocol indicates that the developed protocol is secure against malicious participants. Further experimental analysis shows that the resource consumption scales linear with the number of statements in the knowledge graph.


title: Flexible Model Aggregation for Quantile Regression

abstract: Quantile regression is a fundamental problem in statistical learning motivated by a need to quantify uncertainty in predictions, or to model a diverse population without being overly reductive. For instance, epidemiological forecasts, cost estimates, and revenue predictions all benefit from being able to quantify the range of possible values accurately. As such, many models have been developed for this problem over many years of research in statistics, machine learning, and related fields. Rather than proposing yet another (new) algorithm for quantile regression we adopt a meta viewpoint: we investigate methods for aggregating any number of conditional quantile models, in order to improve accuracy and robustness. We consider weighted ensembles where weights may vary over not only individual models, but also over quantile levels, and feature values. All of the models we consider in this paper can be fit using modern deep learning toolkits, and hence are widely accessible (from an implementation point of view) and scalable. To improve the accuracy of the predicted quantiles (or equivalently, prediction intervals), we develop tools for ensuring that quantiles remain monotonically ordered, and apply conformal calibration methods. These can be used without any modification of the original library of base models. We also review some basic theory surrounding quantile aggregation and related scoring rules, and contribute a few new results to this literature (for example, the fact that post sorting or post isotonic regression can only improve the weighted interval score). Finally, we provide an extensive suite of empirical comparisons across 34 data sets from two different benchmark repositories.


title: Determining a priori a RANS model's applicable range via global epistemic uncertainty quantification

abstract: Calibrating a Reynolds-averaged Navier-Stokes (RANS) model against data leads to an improvement. Determining {\it a priori} if such an improvement generalizes to flows outside the calibration data is an outstanding challenge. This work attempts to address this challenge via global epistemic Uncertainty Quantification (UQ). Unlike the available epistemic UQ methods that are local and tell us a model's uncertainty at one specific flow condition, the global epistemic UQ method presented in this work tells us also whether a perturbation of the original model would generalize. Specifically, the global epistemic UQ method evaluates a potential improvement in terms of its "effectiveness" and "inconsistency". Any improvement can be put in one of the following four quadrants: first, high effectiveness, low inconsistency; second, high effectiveness, high inconsistency; third, low effectiveness, low inconsistency; and fourth, low effectiveness, high inconsistency. An improvement would generalize if and only if it is in the high effectiveness and low inconsistency quadrant. To demonstrate the concept, we apply the global epistemic UQ to full Reynolds stress modeling of a stratified shear layer. The global epistemic UQ results point to a model coefficient in the pressure-strain correlation closure (among others) as effective and consistent for predicting the quantity of interest of shear layer's growth. We calibrate the model coefficient such that our RANS matches direct numerical simulation data at one flow condition. We show that the calibrated model generalizes to several other test flow conditions. On the other hand, when calibrating a high inconsistency term, we get a model that works at only the calibrated condition.


title: Necessary and Sufficient Conditions for Domination Results for Proper Scoring Rules

abstract: Scoring rules measure the deviation between a probabilistic forecast and reality. Strictly proper scoring rules have the property that for any forecast, the mathematical expectation of the score of a forecast p by the lights of p is strictly better than the mathematical expectation of any other forecast q by the lights of p. Probabilistic forecasts need not satisfy the axioms of the probability calculus, but Predd, et al. (2009) have shown that given a finite sample space and any strictly proper additive and continuous scoring rule, the score for any forecast that does not satisfy the axioms of probability is strictly dominated by the score for some probabilistically consistent forecast. Recently, this result has been extended to non-additive continuous scoring rules. In this paper, a condition weaker than continuity is given that suffices for the result, and the condition is proved to be optimal.


title: Recursive Training for Zero-Shot Semantic Segmentation

abstract: General purpose semantic segmentation relies on a backbone CNN network to extract discriminative features that help classify each image pixel into a 'seen' object class (ie., the object classes available during training) or a background class. Zero-shot semantic segmentation is a challenging task that requires a computer vision model to identify image pixels belonging to an object class which it has never seen before. Equipping a general purpose semantic segmentation model to separate image pixels of 'unseen' classes from the background remains an open challenge. Some recent models have approached this problem by fine-tuning the final pixel classification layer of a semantic segmentation model for a Zero-Shot setting, but struggle to learn discriminative features due to the lack of supervision. We propose a recursive training scheme to supervise the retraining of a semantic segmentation model for a zero-shot setting using a pseudo-feature representation. To this end, we propose a Zero-Shot Maximum Mean Discrepancy (ZS-MMD) loss that weighs high confidence outputs of the pixel classification layer as a pseudo-feature representation, and feeds it back to the generator. By closing-the-loop on the generator end, we provide supervision during retraining that in turn helps the model learn a more discriminative feature representation for 'unseen' classes. We show that using our recursive training and ZS-MMD loss, our proposed model achieves state-of-the-art performance on the Pascal-VOC 2012 dataset and Pascal-Context dataset.


title: CXR-Net: An Artificial Intelligence Pipeline for Quick Covid-19 Screening of Chest X-Rays

abstract: CXR-Net is a two-module Artificial Intelligence pipeline for the quick detection of SARS-CoV-2 from chest X-rays (CXRs). Module 1 was trained on a public dataset of 6395 CXRs with radiologist annotated lung contours to generate masks of the lungs that overlap the heart and large vasa. Module 2 is a hybrid convnet in which the first convolutional layer with learned coefficients is replaced by a layer with fixed coefficients provided by the Wavelet Scattering Transform (WST). Module 2 takes as inputs the patients CXRs and corresponding lung masks calculated by Module 1, and produces as outputs a class assignment (Covid vs. non-Covid) and high resolution heat maps that identify the SARS associated lung regions. Module 2 was trained on a dataset of CXRs from non-Covid and RT-PCR confirmed Covid patients acquired at the Henry Ford Health System (HFHS) Hospital in Detroit. All non-Covid CXRs were from pre-Covid era (2018-2019), and included images from both normal lungs and lungs affected by non-Covid pathologies. Training and test sets consisted of 2265 CXRs (1417 Covid negative, 848 Covid positive), and 1532 CXRs (945 Covid negative, 587 Covid positive), respectively. Six distinct cross-validation models, each trained on 1887 images and validated against 378 images, were combined into an ensemble model that was used to classify the CXR images of the test set with resulting Accuracy = 0.789, Precision = 0.739, Recall = 0.693, F1 score = 0.715, ROC(AUC) = 0.852.


title: Conforming finite element DIVDIV complexes and the application for the linearized Einstein-Bianchi system

abstract: This paper presents the first family of conforming finite element divdiv complexes on tetrahedral grids in three dimensions. In these complexes, finite element spaces of $H(\text{divdiv},\Omega;\mathbb{S})$ are from a current preprint [Chen and Huang, arXiv: 2007.12399, 2020] while finite element spaces of both $H(\text{symcurl},\Omega;\mathbb{T})$ and $H^1(\Omega;\mathbb{R}^3)$ are newly constructed here. It is proved that these finite element complexes are exact. As a result, they can be used to discretize the linearized Einstein-Bianchi system within the dual formulation.


title: Thermodynamics of ideal gas at Planck scale with strong quantum gravity measurement

abstract: More recently in [J. Phys. A: Math. Theor. 53, 115303 (2020)], we have introduced a set of noncommutative algebra that describes the space-time at the Planck scale. The interesting significant result we found is that the generalized uncertainty principle induced a maximal length of quantum gravity which has different physical implications to the one of generalized uncertainty principle with minimal length. The emergence of a maximal length in this theory revealed strong quantum gravitational effects at this scale and predicted the detection of gravity particles with low energies. To make evidence of these predictions, we study the dynamics of a free particle confined in an infinite square well potential in one dimension of this space. Since the effects of quantum gravity are strong in this space, we show that the energy spectrum of this system is weakly proportional to the ordinary one of quantum mechanics free of the theory of gravity. The states of this particle exhibit proprieties similar to the standard coherent states which are consequences of quantum fluctuation at this scale. Then, with the spectrum of this system at hand, we analyze the thermodynamic quantities within the canonical and microcanonical ensembles of an ideal gas made up of $N$ indistinguishable particles at the Planck scale. The results show a complete consistency between both statistical descriptions. Furthermore, a comparison with the results obtained in the context of minimal length scenarios and black hole theories indicates that the maximal length in this theory induces logarithmic corrections of deformed parameters which are consequences of a strong quantum gravitational effect.


title: A Closer Look at the Russell Paradox

abstract: Two types of approximation to the paradoxical Russell Set are presented, one approximating it from below, one from above. It is shown that any lower approximation gives rise to a better approximation containing it, and that any upper approximation contains a distinct better approximation. The Russell Paradox is then seen to be the claim that two of these processes of better approximations stop, and at the same set. This suggests that the unrestricted Axiom of Comprehension is, not a coherent intuition worthy of rescue from a mysterious paradox, but simply wishful thinking, a confusion of sets as extensional objects with classes defined by a property.


title: Design and Performance Characterization of RADICAL-Pilot on Leadership-class Platforms

abstract: Many extreme scale scientific applications have workloads comprised of a large number of individual high-performance tasks. The Pilot abstraction decouples workload specification, resource management, and task execution via job placeholders and late-binding. As such, suitable implementations of the Pilot abstraction can support the collective execution of large number of tasks on supercomputers. We introduce RADICAL-Pilot (RP) as a portable, modular and extensible pilot-enabled runtime system. We describe RP's design, architecture and implementation. We characterize its performance and show its ability to scalably execute workloads comprised of tens of thousands heterogeneous tasks on DOE and NSF leadership-class HPC platforms. Specifically, we investigate RP's weak/strong scaling with CPU/GPU, single/multi core, (non)MPI tasks and Python functions when using most of ORNL Summit and TACC Frontera. RADICAL-Pilot can be used stand-alone, as well as the runtime for third-party workflow systems.


title: The Age of Correlated Features in Supervised Learning based Forecasting

abstract: In this paper, we analyze the impact of information freshness on supervised learning based forecasting. In these applications, a neural network is trained to predict a time-varying target (e.g., solar power), based on multiple correlated features (e.g., temperature, humidity, and cloud coverage). The features are collected from different data sources and are subject to heterogeneous and time-varying ages. By using an information-theoretic approach, we prove that the minimum training loss is a function of the ages of the features, where the function is not always monotonic. However, if the empirical distribution of the training data is close to the distribution of a Markov chain, then the training loss is approximately a non-decreasing age function. Both the training loss and testing loss depict similar growth patterns as the age increases. An experiment on solar power prediction is conducted to validate our theory. Our theoretical and experimental results suggest that it is beneficial to (i) combine the training data with different age values into a large training dataset and jointly train the forecasting decisions for these age values, and (ii) feed the age value as a part of the input feature to the neural network.


title: Colossal switchable photocurrents in topological Janus transition metal dichalcogenides

abstract: Nonlinear optical properties, such as bulk photovoltaic effects, possess great potential in energy harvesting, photodetection, rectification, etc. To enable efficient light-current conversion, materials with strong photo-responsivity are highly desirable. In this work, we predict that monolayer Janus transition metal dichalcogenides (JTMDs) in the 1T' phase possess colossal nonlinear photoconductivity owing to their topological band mixing, strong inversion symmetry breaking, and small electronic bandgap. 1T' JTMDs have inverted bandgaps on the order of 10 meV and are exceptionally responsive to light in the terahertz (THz) range. By first-principles calculations, we reveal that 1T' JTMDs possess shift current (SC) conductivity as large as $2300 ~\rm nm \cdot \mu A / V^2$, equivalent to a photo-responsivity of $2800 ~\rm mA/W$. The circular current (CC) conductivity of 1T' JTMDs is as large as $10^4~ \rm nm \cdot \mu A / V^2$. These remarkable photo-responsivities indicate that the 1T' JTMDs can serve as efficient photodetectors in the THz range. We also find that external stimuli such as the in-plane strain and out-of-plane electric field can induce topological phase transitions in 1T' JTMDs and that the SC can abruptly flip their directions. The abrupt change of the nonlinear photocurrent can be used to characterize the topological transition and has potential applications in 2D optomechanics and nonlinear optoelectronics.


title: Monoidal Abelian Envelopes with a quotient property

abstract: We study abelian envelopes for pseudo-tensor categories with the property that every object in the envelope is a quotient of an object in the pseudo-tensor category. We establish an intrinsic criterion on pseudo-tensor categories for the existence of an abelian envelope satisfying this quotient property. This allows us to interpret the extension of scalars and Deligne tensor product of tensor categories as abelian envelopes, and to enlarge the class of tensor categories for which all extensions of scalars and tensor products are known to remain tensor categories. For an affine group scheme G, we show that pseudo-tensor subcategories of RepG have abelian envelopes with the quotient property, and we study many other such examples. This leads us to conjecture that all abelian envelopes satisfy the quotient property.


title: The Cost of Pollution in the Upper Atoyac River Basin: A Systematic Review

abstract: The Atoyac River is among the two most polluted in Mexico. Water quality in the Upper Atoyac River Basin (UARB) has been devastated by industrial and municipal wastewater, as well as from effluents from local dwellers, that go through little to no treatment, affecting health, production, ecosystems and property value. We did a systematic review and mapping of the costs that pollution imposes on different sectors and localities in the UARB, and initially found 358 studies, of which 17 were of our particular interest. We focus on estimating the cost of pollution through different valuation methods such as averted costs, hedonic pricing, and contingent valuation, and for that we only use 10 studies. Costs range from less than a million to over $16 million dollars a year, depending on the sector, with agriculture, industry and tourism yielding the highest costs. This exercise is the first of its kind in the UARB that maps costs for sectors and localities affected, and sheds light on the need of additional research to estimate the total cost of pollution throughout the basin. This information may help design further research needs in the region.


title: On the Performance of Dual-Gate Reconfigurable Nanowire Transistors

abstract: We investigate the operation of dual-gate reconfigurable field-effect transistor (RFET) in the programgate at drain (PGAD) and program-gate at source (PGAS) configurations. To this end, dual-gate silicon nanowire (SiNW) FETs are fabricated based on anisotropic wet chemical silicon etching and nickel silicidation yielding silicide-SiNW Schottky junctions at source and drain. Whereas in PGAD-configuration ambipolar operation is suppressed, switching is deteriorated due to the injection through a Schottky-barrier. Operating the RFET in PGAS configuration yields a switching behavior close to a conventional MOSFET. This, howewer, needs to be traded off against strongly non-linear output characteristics for small bias.


title: A Brief Survey of Current Software Engineering Practices in Continuous Integration and Automated Accessibility Testing

abstract: It's long been accepted that continuous integration (CI) in software engineering increases the code quality of enterprise projects when adhered to by it's practitioners. But is any of that effort to increase code quality and velocity directed towards improving software accessibility accommodations? What are the potential benefits quoted in literature? Does it fit with the modern agile way that teams operate in most enterprises? This paper attempts to map the current scene of the software engineering effort spent on improving accessibility via continuous integration and it's hurdles to adoption as quoted by researchers. We also try to explore steps that agile teams may take to train members on how to implement accessibility testing and introduce key diagrams to visualize processes to implement CI based accessibility testing procedures in the software development lifecycle.


title: Reducing Conservativeness Oriented Offline Reinforcement Learning

abstract: In offline reinforcement learning, a policy learns to maximize cumulative rewards with a fixed collection of data. Towards conservative strategy, current methods choose to regularize the behavior policy or learn a lower bound of the value function. However, exorbitant conservation tends to impair the policy's generalization ability and degrade its performance, especially for the mixed datasets. In this paper, we propose the method of reducing conservativeness oriented reinforcement learning. On the one hand, the policy is trained to pay more attention to the minority samples in the static dataset to address the data imbalance problem. On the other hand, we give a tighter lower bound of value function than previous methods to discover potential optimal actions. Consequently, our proposed method is able to tackle the skewed distribution of the provided dataset and derive a value function closer to the expected value function. Experimental results demonstrate that our proposed method outperforms the state-of-the-art methods in D4RL offline reinforcement learning evaluation tasks and our own designed mixed datasets.


title: Positive solutions for the fractional Schr\"{o}dinger equations with logarithmic and critical nonlinearities

abstract: In this paper, we study a class of fractional Schr\"{o}dinger equations involving logarithmic and critical nonlinearities on an unbounded domain, and show that such an equation with positive or sign-changing weight potentials admits at least one positive ground state solution and the associated energy is positive (or negative). By applying the Nehari manifold method and Ljusternik-Schnirelmann category, we deeply investigate how the weight potential affects the multiplicity of positive solutions, and obtain the relationship between the number of positive solutions and the category of some sets related to the weight potential.


title: Effect of deuteron breakup on the deuteron-$\Xi$ correlation function

abstract: The hadron-deuteron correlation function has attracted many interests as a potential method to access the three-hadron interactions. However, the weakly-bound nature of deuteron has not been considered in the preceding studies. In this study, the breakup effect of deuteron on the deuteron-$\Xi^-$ ($d$-$\Xi^-$) correlation function $C_{d\Xi^-}$ is investigated. The $d$-$\Xi^-$ scattering is described by a nucleon-nucleon-$\Xi$ three-body reaction model. The continuum-discretized coupled-channels method, which is a fully quantum-mechanical and non-perturbative reaction model, is adopted. $C_{d\Xi^-}$ turns out to be sensitive to the strong interaction and enhanced by the deuteron breakup effect by 6--8 % for the $d$-$\Xi^-$ relative momentum below about 70 MeV/$c$. Low-lying neutron-neutron continuum states are responsible for this enhancement. Within the adopted model, the deuteron breakup effect on $C_{d\Xi^-}$ is found to be appreciable but not very significant. Except for the enhancement by several percent, studies on $C_{d\Xi^-}$ without the deuteron breakup effect can be justified.


title: Development of a cavity with photonic crystal structure for axion searches

abstract: Two cavities in different size with the photonic crystal structure have been developed for axion searches. In the cavities, the dispersion relation in the photonic crystal is utilised, and so was named to "DRiPC cavities". The size of the smaller one is 100 mm x 100 mm x 10 mm, where 16 cylindrical metal poles with a diameter of 4 mm are introduced in a 4x4 grid at 20 mm intervals. In this study, the grid interval in x direction in the small size cavity, Lx, was changed to investigate resonance frequency, Q-value, and electric field profile at each Lx. The lowest three frequencies have been compared with the ones simulated by the finite element method to be found in excellent agreement. The lowest frequency mode could be tuned from 5.10 GHz (Lx = 25.0 mm) to 6.72 GHz (13.9 mm), centering on 5.87 GHz at Lx = 20 mm. This wide range tunability, 27.7%, was suitable for a search with a modest Q-value. By examining the electric field distributions with the bead pull method, the lowest frequency mode at Lx = 16.0 - 25.0 mm were TM010-like. This mode was also obtained in a larger size cavity (180 mm x 180 mm x 20 mm x 2) with the same photonic crystal structure. These results led us to conclude a DRiPC cavity has the noble features for future axion search experiments.